We present a new version of a generalisation to elliptic nets of a theorem of Ward [‘Memoir on elliptic divisibility sequences’, Amer. J. Math. 70 (1948), 31–74] on symmetry of elliptic divisibility sequences. Our results cover all that is known today.

We show that if F is $\mathbb{Q}$ or a multiquadratic number field, $p\in\left\{{2,3,5}\right\}$, and $K/F$ is a Galois extension of degree a power of p, then for elliptic curves $E/\mathbb{Q}$ ordered by height, the average dimension of the p-Selmer groups of $E/K$ is bounded. In particular, this provides a bound for the average K-rank of elliptic curves $E/\mathbb{Q}$ for such K. Additionally, we give bounds for certain representation–theoretic invariants of Mordell–Weil groups over Galois extensions of such F.

The central result is that: for each finite Galois extension $K/F$ of number fields and prime number p, as $E/\mathbb{Q}$ varies, the difference in dimension between the Galois fixed space in the p-Selmer group of $E/K$ and the p-Selmer group of $E/F$ has bounded average.

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.

Bogomolov and Tschinkel [‘Algebraic varieties over small fields’, Diophantine Geometry, U. Zannier (ed.), CRM Series, 4 (Scuola Normale Superiore di Pisa, Pisa, 2007), 73–91] proved that, given two complex elliptic curves $E_1$ and $E_2$ along with even degree-$2$ maps $\pi _j\colon E_j\to \mathbb {P}^1$ having different branch loci, the intersection of the image of the torsion points of $E_1$ and $E_2$ under their respective $\pi _j$ is finite. They conjectured (also in works with Fu) that the cardinality of this intersection is uniformly bounded independently of the elliptic curves. The recent proof of the uniform Manin–Mumford conjecture implies a full solution of the Bogomolov–Fu–Tschinkel conjecture. In this paper, we prove a generalisation of the Bogomolov–Fu–Tschinkel conjecture whereby, instead of even degree-$2$ maps, one can use any rational functions of bounded degree on the elliptic curves as long as they have different branch loci. Our approach combines Nevanlinna theory with the uniform Manin–Mumford conjecture. With similar techniques, we also prove a result on lower bounds for ranks of elliptic curves over number fields.

It is argued that a nonsingular elliptic curve admits a natural or fundamental abelian heap structure uniquely determined by the curve itself. It is shown that the set of complex analytic or rational functions from a nonsingular elliptic curve to itself is a truss arising from endomorphisms of this heap.

We discuss the $\ell $ -adic case of Mazur’s ‘Program B’ over $\mathbb {Q}$ : the problem of classifying the possible images of $\ell $ -adic Galois representations attached to elliptic curves E over $\mathbb {Q}$ , equivalently, classifying the rational points on the corresponding modular curves. The primes $\ell =2$ and $\ell \ge 13$ are addressed by prior work, so we focus on the remaining primes $\ell = 3, 5, 7, 11$ . For each of these $\ell $ , we compute the directed graph of arithmetically maximal $\ell $ -power level modular curves $X_H$ , compute explicit equations for all but three of them and classify the rational points on all of them except $X_{\mathrm {ns}}^{+}(N)$ , for $N = 27, 25, 49, 121$ and two-level $49$ curves of genus $9$ whose Jacobians have analytic rank $9$ .

Aside from the $\ell $ -adic images that are known to arise for infinitely many ${\overline {\mathbb {Q}}}$ -isomorphism classes of elliptic curves $E/\mathbb {Q}$ , we find only 22 exceptional images that arise for any prime $\ell $ and any $E/\mathbb {Q}$ without complex multiplication; these exceptional images are realised by 20 non-CM rational j-invariants. We conjecture that this list of 22 exceptional images is complete and show that any counterexamples must arise from unexpected rational points on $X_{\mathrm {ns}}^+(\ell )$ with $\ell \ge 19$ , or one of the six modular curves noted above. This yields a very efficient algorithm to compute the $\ell $ -adic images of Galois for any elliptic curve over $\mathbb {Q}$ .

In an appendix with John Voight, we generalise Ribet’s observation that simple abelian varieties attached to newforms on $\Gamma _1(N)$ are of $\operatorname {GL}_2$ -type; this extends Kolyvagin’s theorem that analytic rank zero implies algebraic rank zero to isogeny factors of the Jacobian of $X_H$ .

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.

The elliptic algebras in the title are connected graded $\mathbb {C}$-algebras, denoted $Q_{n,k}(E,\tau )$, depending on a pair of relatively prime integers $n>k\ge 1$, an elliptic curve E and a point $\tau \in E$. This paper examines a canonical homomorphism from $Q_{n,k}(E,\tau )$ to the twisted homogeneous coordinate ring $B(X_{n/k},\sigma ',\mathcal {L}^{\prime }_{n/k})$ on the characteristic variety $X_{n/k}$ for $Q_{n,k}(E,\tau )$. When $X_{n/k}$ is isomorphic to $E^g$ or the symmetric power $S^gE$, we show that the homomorphism $Q_{n,k}(E,\tau ) \to B(X_{n/k},\sigma ',\mathcal {L}^{\prime }_{n/k})$ is surjective, the relations for $B(X_{n/k},\sigma ',\mathcal {L}^{\prime }_{n/k})$ are generated in degrees $\le 3$ and the noncommutative scheme $\mathrm {Proj}_{nc}(Q_{n,k}(E,\tau ))$ has a closed subvariety that is isomorphic to $E^g$ or $S^gE$, respectively. When $X_{n/k}=E^g$ and $\tau =0$, the results about $B(X_{n/k},\sigma ',\mathcal {L}^{\prime }_{n/k})$ show that the morphism $\Phi _{|\mathcal {L}_{n/k}|}:E^g \to \mathbb {P}^{n-1}$ embeds $E^g$ as a projectively normal subvariety that is a scheme-theoretic intersection of quadric and cubic hypersurfaces.

Let P and Q be relatively prime integers greater than 1, and let f be a real valued discretely supported function on a finite dimensional real vector space V. We prove that if $f_{P}(x)=f(Px)-f(x)$ and $f_{Q}(x)=f(Qx)-f(x)$ are both $\Lambda $ -periodic for some lattice $\Lambda \subset V$ , then so is f (up to a modification at $0$ ). This result is used to prove a theorem on the arithmetic of elliptic function fields. In the last section, we discuss the higher rank analogue of this theorem and explain why it fails in rank 2. A full discussion of the higher rank case will appear in a forthcoming work.

Classification of AS-regular algebras is one of the main interests in noncommutative algebraic geometry. We say that a $3$-dimensional quadratic AS-regular algebra is of Type EC if its point scheme is an elliptic curve in $\mathbb {P}^{2}$. In this paper, we give a complete list of geometric pairs and a complete list of twisted superpotentials corresponding to such algebras. As an application, we show that there are only two exceptions up to isomorphism among all $3$-dimensional quadratic AS-regular algebras that cannot be written as a twist of a Calabi–Yau AS-regular algebra by a graded algebra automorphism.

We study Higgs bundles over an elliptic curve with complex reductive structure group, describing the (normalisation of) its moduli spaces and the associated Hitchin fibration. The case of trivial degree is covered by the work of Thaddeus in 2001. Our arguments are different from those of Thaddeus and cover arbitrary degree.

We prove model completeness for the expansion of the real field by the Weierstrass ℘ function as a function of the variable z and the parameter (or period) τ. We need to existentially define the partial derivatives of the ℘ function with respect to the variable z and the parameter τ. To obtain this result, it is necessary to include in the structure function symbols for the unrestricted exponential function and restricted sine function, the Weierstrass ζ function and the quasi-modular form E2 (we conjecture that these functions are not existentially definable from the functions ℘ alone or even if we use the exponential and restricted sine functions). We prove some auxiliary model-completeness results with the same functions composed with appropriate change of variables. In the conclusion, we make some remarks about the non-effectiveness of our proof and the difficulties to be overcome to obtain an effective model-completeness result, and how to extend these results to appropriate expansion of the real field by automorphic forms.

In this paper we construct a $\mathbb{Q}$-linear tannakian category $\mathsf{MEM}_{1}$ of universal mixed elliptic motives over the moduli space ${\mathcal{M}}_{1,1}$ of elliptic curves. It contains $\mathsf{MTM}$, the category of mixed Tate motives unramified over the integers. Each object of $\mathsf{MEM}_{1}$ is an object of $\mathsf{MTM}$ endowed with an action of $\text{SL}_{2}(\mathbb{Z})$ that is compatible with its structure. Universal mixed elliptic motives can be thought of as motivic local systems over ${\mathcal{M}}_{1,1}$ whose fiber over the tangential base point $\unicode[STIX]{x2202}/\unicode[STIX]{x2202}q$ at the cusp is a mixed Tate motive. The basic structure of the tannakian fundamental group of $\mathsf{MEM}$ is determined and the lowest order terms of a set (conjecturally, a minimal generating set) of relations are deduced from computations of Brown. This set of relations includes the arithmetic relations, which describe the ‘infinitesimal Galois action’. We use the presentation to give a new and more conceptual proof of the Ihara–Takao congruences.

We show that the canonical lift construction for ordinary elliptic curves over perfect fields of characteristic $p>0$ extends uniquely to arbitrary families of ordinary elliptic curves, even over $p$-adic formal schemes. In particular, the universal ordinary elliptic curve has a canonical lift. The existence statement is largely a formal consequence of the universal property of Witt vectors applied to the moduli space of ordinary elliptic curves, at least with enough level structure. As an application, we show how this point of view allows for more formal proofs of recent results of Finotti and Erdoğan.

For each discriminant $D>1$, McMullen constructed the Prym–Teichmüller curves $W_{D}(4)$ and $W_{D}(6)$ in ${\mathcal{M}}_{3}$ and ${\mathcal{M}}_{4}$, which constitute one of the few known infinite families of geometrically primitive Teichmüller curves. In the present paper, we determine for each $D$ the number and type of orbifold points on $W_{D}(6)$. These results, together with a previous result of the two authors in the genus $3$ case and with results of Lanneau–Nguyen and Möller, complete the topological characterisation of all Prym–Teichmüller curves and determine their genus. The study of orbifold points relies on the analysis of intersections of $W_{D}(6)$ with certain families of genus $4$ curves with extra automorphisms. As a side product of this study, we give an explicit construction of such families and describe their Prym–Torelli images, which turn out to be isomorphic to certain products of elliptic curves. We also give a geometric description of the flat surfaces associated to these families and describe the asymptotics of the genus of $W_{D}(6)$ for large $D$.

Let $E$ be an elliptic curve without complex multiplication (CM) over a number field $K$ , and let $G_{E}(\ell )$ be the image of the Galois representation induced by the action of the absolute Galois group of  $K$ on the $\ell$ -torsion subgroup of  $E$ . We present two probabilistic algorithms to simultaneously determine $G_{E}(\ell )$ up to local conjugacy for all primes $\ell$ by sampling images of Frobenius elements; one is of Las Vegas type and the other is a Monte Carlo algorithm. They determine $G_{E}(\ell )$ up to one of at most two isomorphic conjugacy classes of subgroups of $\mathbf{GL}_{2}(\mathbf{Z}/\ell \mathbf{Z})$ that have the same semisimplification, each of which occurs for an elliptic curve isogenous to $E$ . Under the GRH, their running times are polynomial in the bit-size $n$ of an integral Weierstrass equation for  $E$ , and for our Monte Carlo algorithm, quasilinear in $n$ . We have applied our algorithms to the non-CM elliptic curves in Cremona’s tables and the Stein–Watkins database, some 140 million curves of conductor up to  $10^{10}$ , thereby obtaining a conjecturally complete list of 63 exceptional Galois images $G_{E}(\ell )$ that arise for $E/\mathbf{Q}$ without CM. Under this conjecture, we determine a complete list of 160 exceptional Galois images $G_{E}(\ell )$ that arise for non-CM elliptic curves over quadratic fields with rational $j$ -invariants. We also give examples of exceptional Galois images that arise for non-CM elliptic curves over quadratic fields only when the $j$ -invariant is irrational.

It is well known that every elliptic curve over the rationals admits a parametrization by means of modular functions. In this short note, we show that only finitely many elliptic curves over $\mathbf{Q}$ can be parametrized by modular units. This answers a question raised by W. Zudilin in a recent work on Mahler measures. Further, we give the list of all elliptic curves $E$ of conductor up to 1000 parametrized by modular units supported in the rational torsion subgroup of $E$. Finally, we raise several open questions.

Let p be a prime and K a number field of degree p. We determine the finiteness of the number of elliptic curves, up to K-isomorphism, having a prescribed property, where this property is either that the curve contains a fixed torsion group as a subgroup or that it has a cyclic isogeny of prescribed degree.

In this work, we s uggest a defnition for the category of mixed motives generated by the motive h1 (E) for E an elliptic curve without complex multiplication. We then compute the cohomology of this category. Modulo a strengthening of the Beilinson-Soulé conjecture, we show that the cohomology of our category agrees with the expected motivic cohomology groups. Finally for each pure motive (Symnh1 (E)) (–1) we construct families of nontrivial motives whose highest associated weight graded piece is (Symnh1 (E)) (–1).

We obtain nontrivial estimates of quadratic character sums of division polynomials ${{\text{ }\!\!\psi\!\!\text{ }}_{n}}\left( P \right)$, $n\,=\,1,\,2,\,\ldots $ , evaluated at a given point $P$ on an elliptic curve over a finite field of $q$ elements. Our bounds are nontrivial if the order of $P$ is at least ${{q}^{{}^{1}/{}_{2+\varepsilon }}}$ for some fixed $\varepsilon \,>\,0$. This work is motivated by an open question about statistical indistinguishability of some cryptographically relevant sequences that was recently brought up by K. Lauter and the second author.