In this paper, we generalise to the family of Fermat quartics $X^4 + Y^4 = 2^m, m \in \mathbb {Z}$, a result of Aigner [‘Über die Möglichkeit von $x^4 + y^4 = z^4$ in quadratischen Körpern’, Jahresber. Deutsch. Math.-Ver. 43 (1934), 226–228], which proves that there is only one quadratic field, namely $\mathbb {Q}(\sqrt {-7})$, that contains solutions to the Fermat quartic $X^4 + Y^4 = 1$. The $m \equiv 0 \pmod 4$ case is due to Aigner. The $m \equiv 2 \pmod 4$ case follows from a result of Emory [‘The Diophantine equation $X^4 + Y^4 = D^2Z^4$ in quadratic fields’, Integers 12 (2012), Article no. A65, 8 pages]. This paper focuses on the two cases $m \equiv 1, 3 \pmod 4$, classifying for $m \equiv 1 \pmod 4$ the infinitely many quadratic number fields that contain solutions, and proving for $m \equiv 3 \pmod 4$ that $\mathbb {Q}(\sqrt {2})$ and $\mathbb {Q}(\sqrt {-2})$ are the only quadratic number fields that contain solutions.

Given an elliptic curve $ E $ over $ \mathbb {Q} $ of analytic rank zero, its L-function can be twisted by an even primitive Dirichlet character $ \chi $ of order $ q $, and in many cases its associated special L-value $ \mathscr {L}(E, \chi ) $ is known to be integral after normalizing by certain periods. This article determines the precise value of $ \mathscr {L}(E, \chi ) $ in terms of Birch–Swinnerton-Dyer invariants when $ q = 3 $, classifies their asymptotic densities modulo $ 3 $ by fixing $ E $ and varying $ \chi $, and presents a lower bound on the $ 3 $-adic valuation of $ \mathscr {L}(E, 1) $, all of which arise from a congruence of modular symbols. These results also explain some phenomena observed by Dokchitser–Evans–Wiersema and by Kisilevsky–Nam.

We explore the relationship between (3-isogeny induced) Selmer group of an elliptic curve and the (3 part of) the ideal class group, over certain non-abelian number fields.

We study $\ell $-isogeny graphs of ordinary elliptic curves defined over $\mathbb {F}_q$ with an added level structure. Given an integer N coprime to p and $\ell ,$ we look at the graphs obtained by adding $\Gamma _0(N)$, $\Gamma _1(N),$ and $\Gamma (N)$-level structures to volcanoes. Given an order $\mathcal {O}$ in an imaginary quadratic field $K,$ we look at the action of generalized ideal class groups of $\mathcal {O}$ on the set of elliptic curves whose endomorphism rings are $\mathcal {O}$ along with a given level structure. We show how the structure of the craters of these graphs is determined by the choice of parameters.

We show that for $5/6$-th of all primes p, Hilbert’s 10th problem is unsolvable for the ring of integers of $\mathbb {Q}(\zeta _3, \sqrt [3]{p})$. We also show that there is an infinite set S of square-free integers such that Hilbert’s 10th problem is unsolvable over the ring of integers of $\mathbb {Q}(\zeta _3, \sqrt {D}, \sqrt [3]{p})$ for every $D \in S$ and for every prime $p \equiv 2, 5\ \pmod 9$. We use the CM elliptic curves $y^2=x^3-432 D^2$ associated with the cube-sum problem, with D varying in suitable congruence class, in our proof.

Let $K={\mathbb {Q}}(\sqrt {-7})$ and $\mathcal {O}$ the ring of integers in $K$. The prime $2$ splits in $K$, say $2{\mathcal {O}}={\mathfrak {p}}\cdot {\mathfrak {p}}^*$. Let $A$ be an elliptic curve defined over $K$ with complex multiplication by $\mathcal {O}$. Assume that $A$ has good ordinary reduction at both $\mathfrak {p}$ and ${\mathfrak {p}}^*$. Write $K_\infty$ for the field generated by the $2^\infty$–division points of $A$ over $K$ and let ${\mathcal {G}}={\mathrm {Gal}}(K_\infty /K)$. In this paper, by adopting a congruence formula of Yager and De Shalit, we construct the two-variable $2$-adic $L$-function on $\mathcal {G}$. Then by generalizing De Shalit’s local structure theorem to the two-variable setting, we prove a two-variable elliptic analogue of Iwasawa’s theorem on cyclotomic fields. As an application, we prove that every branch of the two-variable measure has Iwasawa $\mu$ invariant zero.

Let $E/\mathbb {Q}$ be an elliptic curve and let p be a prime of good supersingular reduction. Attached to E are pairs of Iwasawa invariants $\mu _p^\pm $ and $\lambda _p^\pm $ which encode arithmetic properties of E along the cyclotomic $\mathbb {Z}_p$-extension of $\mathbb {Q}$. A well-known conjecture of B. Perrin-Riou and R. Pollack asserts that $\mu _p^\pm =0$. We provide support for this conjecture by proving that for any $\ell \geq 0$, we have $\mu _p^\pm \leq 1$ for all but finitely many primes p with $\lambda _p^\pm =\ell $. Assuming a recent conjecture of D. Kundu and A. Ray, our result implies that $\mu _p^\pm \leq 1$ holds on a density 1 set of good supersingular primes for E.

For an elliptic curve E defined over a number field K and $L/K$ a Galois extension, we study the possibilities of the Galois group Gal$(L/K)$, when the Mordell–Weil rank of $E(L)$ increases from that of $E(K)$ by a small amount (namely 1, 2, and 3). In relation with the vanishing of corresponding L-functions at $s=1$, we prove several elliptic analogues of classical theorems related to Artin’s holomorphy conjecture. We then apply these to study the analytic minimal subfield, first introduced by Akbary and Murty, for the case when order of vanishing is 2. We also investigate how the order of vanishing changes as rank increases by 1 and vice versa, generalizing a theorem of Kolyvagin.

In this note, we prove a formula for the cancellation exponent $k_{v,n}$ between division polynomials $\psi _n$ and $\phi _n$ associated with a sequence $\{nP\}_{n\in \mathbb {N}}$ of points on an elliptic curve $E$ defined over a discrete valuation field $K$. The formula greatly generalizes the previously known special cases and treats also the case of non-standard Kodaira types for non-perfect residue fields.

We study the discriminants of the minimal polynomials $\mathcal {P}_n$ of the Ramanujan $t_n$ class invariants, which are defined for positive $n\equiv 11\pmod {24}$. We show that $\Delta (\mathcal {P}_n)$ divides $\Delta (H_n)$, where $H_n$ is the ring class polynomial, with quotient a perfect square and determine the sign of $\Delta (\mathcal {P}_n)$ based on the ideal class group structure of the order of discriminant $-n$. We also show that the discriminant of the number field generated by $j({(-1+\sqrt {-n})}/{2})$, where j is the j-invariant, divides $\Delta (\mathcal {P}_n)$. Moreover, using Ye’s computation of $\log|\Delta(H_n)|$ [‘Revisiting the Gross–Zagier discriminant formula’, Math. Nachr. 293 (2020), 1801–1826], we show that 3 never divides $\Delta(H_n)$, and thus $\Delta(\mathcal{P}_n)$, for all squarefree $n\equiv11\pmod{24}$.

Let E be an elliptic curve with positive rank over a number field K and let p be an odd prime number. Let $K_{\operatorname {cyc}}$ be the cyclotomic $\mathbb {Z}_p$-extension of K and $K_n$ its nth layer. The Mordell–Weil rank of E is said to be constant in the cyclotomic tower of K if for all n, the rank of $E(K_n)$ is equal to the rank of $E(K)$. We apply techniques in Iwasawa theory to obtain explicit conditions for the rank of an elliptic curve to be constant in this sense. We then indicate the potential applications to Hilbert’s tenth problem for number rings.

Let $A$ be a non-isotrivial ordinary abelian surface over a global function field of characteristic $p>0$ with good reduction everywhere. Suppose that $A$ does not have real multiplication by any real quadratic field with discriminant a multiple of $p$. We prove that there are infinitely many places modulo which $A$ is isogenous to the product of two elliptic curves.

Let $g \geq 1$ be an integer and let $A/\mathbb Q$ be an abelian variety that is isogenous over $\mathbb Q$ to a product of g elliptic curves defined over $\mathbb Q$, pairwise non-isogenous over $\overline {\mathbb Q}$ and each without complex multiplication. For an integer t and a positive real number x, denote by $\pi _A(x, t)$ the number of primes $p \leq x$, of good reduction for A, for which the Frobenius trace $a_{1, p}(A)$ associated to the reduction of A modulo p equals t. Assuming the Generalized Riemann Hypothesis for Dedekind zeta functions, we prove that $\pi _A(x, 0) \ll _A x^{1 - \frac {1}{3 g+1 }}/(\operatorname {log} x)^{1 - \frac {2}{3 g+1}}$ and $\pi _A(x, t) \ll _A x^{1 - \frac {1}{3 g + 2}}/(\operatorname {log} x)^{1 - \frac {2}{3 g + 2}}$ if $t \neq 0$. These bounds largely improve upon recent ones obtained for $g = 2$ by Chen, Jones, and Serban, and may be viewed as generalizations to arbitrary g of the bounds obtained for $g=1$ by Murty, Murty, and Saradha, combined with a refinement in the power of $\operatorname {log} x$ by Zywina. Under the assumptions stated above, we also prove the existence of a density one set of primes p satisfying $|a_{1, p}(A)|>p^{\frac {1}{3 g + 1} - \varepsilon }$ for any fixed $\varepsilon>0$.

We show that the conjecture of [27] for the special value at $s=1$ of the zeta function of an arithmetic surface is equivalent to the Birch–Swinnerton–Dyer conjecture for the Jacobian of the generic fibre.

Let E be an elliptic curve defined over a number field F with good ordinary reduction at all primes above p, and let $F_\infty $ be a finitely ramified uniform pro-p extension of F containing the cyclotomic $\mathbb {Z}_p$-extension $F_{\operatorname {cyc}}$. Set $F^{(n)}$ be the nth layer of the tower, and $F^{(n)}_{\operatorname {cyc}}$ the cyclotomic $\mathbb {Z}_p$-extension of $F^{(n)}$. We study the growth of the rank of $E(F^{(n)})$ by analyzing the growth of the $\lambda $-invariant of the Selmer group over $F^{(n)}_{ \operatorname {cyc}}$ as $n\rightarrow \infty $. This method has its origins in work of A. Cuoco, who studied $\mathbb {Z}_p^2$-extensions. Refined estimates for growth are proved that are close to conjectured estimates. The results are illustrated in special cases.

Let $E/\mathbb {Q}$ be an elliptic curve. For a prime p of good reduction, let $r(E,p)$ be the smallest non-negative integer that gives the x-coordinate of a point of maximal order in the group $E(\mathbb {F}_p)$. We prove unconditionally that $r(E,p)> 0.72\log \log p$ for infinitely many p, and $r(E,p)> 0.36 \log p$ under the assumption of the Generalized Riemann Hypothesis. These can be viewed as elliptic curve analogues of classical lower bounds on the least primitive root of a prime.

In noncommutative algebraic geometry an Artin–Schelter regular (AS-regular) algebra is one of the main interests, and every three-dimensional quadratic AS-regular algebra is a geometric algebra, introduced by Mori, whose point scheme is either $\mathbb {P}^{2}$ or a cubic curve in $\mathbb {P}^{2}$ by Artin et al. [‘Some algebras associated to automorphisms of elliptic curves’, in: The Grothendieck Festschrift, Vol. 1, Progress in Mathematics, 86 (Birkhäuser, Basel, 1990), 33–85]. In the preceding paper by the authors Itaba and Matsuno [‘Defining relations of 3-dimensional quadratic AS-regular algebras’, Math. J. Okayama Univ. 63 (2021), 61–86], we determined all possible defining relations for these geometric algebras. However, we did not check their AS-regularity. In this paper, by using twisted superpotentials and twists of superpotentials in the Mori–Smith sense, we check the AS-regularity of geometric algebras whose point schemes are not elliptic curves. For geometric algebras whose point schemes are elliptic curves, we give a simple condition for three-dimensional quadratic AS-regular algebras. As an application, we show that every three-dimensional quadratic AS-regular algebra is graded Morita equivalent to a Calabi–Yau AS-regular algebra.

In this paper we study the family of elliptic curves $E/{{\mathbb {Q}}}$, having good reduction at $2$ and $3$, and whose $j$-invariants are small. Within this set of elliptic curves, we consider the following two subfamilies: first, the set of elliptic curves $E$ such that the quotient $\Delta (E)/C(E)$ of the discriminant divided by the conductor is squarefree; and second, the set of elliptic curves $E$ such that the Szpiro quotient $\beta _E:=\log |\Delta (E)|/\log (C(E))$ is less than $7/4$. Both these families are conjectured to contain a positive proportion of elliptic curves, when ordered by conductor. Our main results determine asymptotics for both these families, when ordered by conductor. Moreover, we prove that the average size of the $2$-Selmer groups of elliptic curves in the first family, again when these curves are ordered by their conductors, is $3$. The key new ingredients necessary for the proofs are ‘uniformity estimates’, namely upper bounds on the number of elliptic curves with bounded height, whose discriminants are divisible by high powers of primes.