For each of n=1,2,3 we find the minimal height h^(P) of a nontorsion point P of an elliptic curve E over C(T) of discriminant degree d=12n (equivalently, of arithmetic genus n), and exhibit all (E,P) attaining this minimum. The minimal h^(P) was known to equal 1/30 for n=1 (Oguiso-Shioda) and 11/420 for n=2 (Nishiyama), but the formulas for the general (E,P) were not known, nor was the fact that these are also the minima for an elliptic curve of discriminant degree 12n over a function field of any genus. For n=3 both the minimal height (23/840) and the explicit curves are new. These (E,P) also have the property that that mP is an integral point (a point of naive height zero) for each m=1,2,...,M, where M=6,8,9 for n=1,2,3; this, too, is maximal in each of the three cases.
We define a new canonical height pairing on the rational points of elliptic curves over global function fields which takes values in the multiplicative group of a completion of the function field. This height serves as an analogue of both the classical Neron-Tate height and analytic p-adic heights. Our main result is that under some general hypotheses this pairing is non-degenerate.
We give an asymptotic formula for the number of elliptic curves over $\mathbb{Q}$ with bounded Faltings height. Silverman has shown that the Faltings height for elliptic curves over number fields can be expressed in terms of modular functions and the minimal discriminant of the elliptic curve. We use this to recast the problem as one of counting lattice points in a particular region in $\mathbb{R}^2$.
We give examples of points with particularly low height on elliptic curves over quadratic fields, recovered by a search over elliptic divisibility sequences. The smallest example identified satisfies dh(P)=0.0077127...: improving on the previous smallest for curves over quadratic fields of dh(P)=0.0194426... given by Everest and Ward; and comparable with some of the examples of smallest height on curves over Q tabulated by Elkies.
In this short note we prove a formula for local heights on elliptic curves over number fields in terms of intersection theory on a regular model over the ring of integers.
Given an elliptic curve E over a function field K=Q(T_1,...,T_n), we study the behavior of the canonical height ^h_(E_w) of the specialized elliptic curve E_w with respect to the height of w in Q^n. In this paper, we prove that there exists a uniform non-zero lower bound for the average of the quotient ^h_(E_w)(P_w)/h(w) for all non-torsion P in E(K).
Most systematic tables of data associated to ranks of elliptic curves order the curves by conductor. Recent developments, led by work of Bhargava-Shankar studying the average sizes of $n$-Selmer groups, have given new upper bounds on the average algebraic rank in families of elliptic curves over $\mathbb{Q}$ ordered by height. We describe databases of elliptic curves over $\mathbb{Q}$ ordered by height in which we compute ranks and $2$-Selmer group sizes, the distributions of which may also be compared to these theoretical results. A striking new phenomenon observed in these databases is that …
Let K be a number field and let E/K be an elliptic curve. If E has complex multiplication, we show that there is a positive lower bound for the canonical height of non-torsion points on E defined over the maximal abelian extension K^ab of K. This is analogous to results of Amoroso-Dvornicich and Amoroso-Zannier for the multiplicative group. We also show that if E has non-integral j-invariant (so that in particular E does not have complex multiplication), then there exists C > 0 such that there are only finitely many points P in E(K^ab) of canonical height less than C. This strengthens a result…
We count the number of rational elliptic curves of bounded naive height that have a rational $N$-isogeny, for $N \in \{2,3,4,5,6,8,9,12,16,18\}$. For some $N$, this is done by generalizing a method of Harron and Snowden. For the remaining cases, we use the framework of Ellenberg, Satriano and Zureick-Brown, in which the naive height of an elliptic curve is the height of the corresponding point on a moduli stack.
We show that the minimum $h_{\text{min}}$ of the stable Faltings height on elliptic curves found by Deligne is followed by a gap. This means that there is a constant $C >0$ such that for every elliptic curve $E/K$ with everywhere semistable reduction over a number field $K$, we either have $h(E/K)=h_{\text{min}}$ or $h(E/K)\geq h_{\text{min}} +C$. We determine such an absolute constant explicitly. On the contrary, we show that there is no such gap for elliptic curves with unstable reduction.
We give a direct proof that the Mazur-Tate and Coleman-Gross heights on elliptic curves coincide. The main ingredient is to extend the Coleman-Gross height to the case of divisors with non-disjoint support and, doing some $p$-adic analysis, show that, in particular, its component above $p$ gives, in the special case of an ordinary elliptic curve, the $p$-adic sigma function. We use this result to give a short proof of a theorem of Kim characterizing integral points on elliptic curves in some cases under weaker assumptions. As a further application, we give new formulas to compute double Colema…
We exhibit a precise connection between Néron--Tate heights on smooth curves and biextension heights of limit mixed Hodge structures associated to smoothing deformations of singular quotient curves. Our approach suggests a new way to compute Beilinson--Bloch heights in higher dimensions.
We prove that the number of rational points of bounded height on certain del Pezzo surfaces of degree 1 defined over Q grows linearly, as predicted by Manin's conjecture. Along the way, we investigate the average number of integral points of small naive height on quadratic twists of a fixed elliptic curve with full rational 2-torsion.
We describe an algorithm to compute the local component at p of the Coleman-Gross p-adic height pairing on divisors on hyperelliptic curves. As the height pairing is given in terms of a Coleman integral, we also provide new techniques to evaluate Coleman integrals of meromorphic differentials and present our algorithms as implemented in Sage.
We prove that, when elliptic curves $E/\mathbb{Q}$ are ordered by height, the average number of integral points $\#|E(\mathbb{Z})|$ is bounded, and in fact is less than $66$ (and at most $\frac{8}{9}$ on the minimalist conjecture). By "$E(\mathbb{Z})$" we mean the integral points on the corresponding quasiminimal Weierstrass model $E_{A,B}: y^2 = x^3 + Ax + B$ with which one computes the na\"ıve height. The methods combine ideas from work of Silverman, Helfgott, and Helfgott-Venkatesh with work of Bhargava-Shankar and a careful analysis of local heights for "most" elliptic curves. The same met…
In this article we prove several new uniform upper bounds on the number of points of bounded height on varieties over $\mathbb{F}_q[t]$. For projective curves, we prove the analogue of Walsh' result with polynomial dependence on $q$ and the degree $d$ of the curve. For affine curves, this yields an improvement to bounds by Sedunova, and Cluckers, Forey and Loeser. In higher dimensions, we prove a version of dimension growth for hypersurfaces of degree $d\geq 64$, building on work by Castryck, Cluckers, Dittmann and Nguyen in characteristic zero. These bounds depend polynomially on $q$ and $d$,…
We give a formula for the component at p of the p-adic height pairing of a divisor of degree 0 on a hyperelliptic curve. We use this to give a Chabauty-like method for finding p-adic approximations to p-integral points on such curves when the Mordell-Weil rank of the Jacobian equals the genus. In this case we get an explicit bound for the number of such p-integral points, and we are able to use the method in explicit computation. An important aspect of the method is that it only requires a basis of the Mordell-Weil group tensored with the rationals.
We introduce a procedure for constructing a generalized elliptic curve from a genus-one twisted curve, and we use this procedure to define an explicit, modular isomorphism between two compactifications of moduli stacks of elliptic curves with level structure.
We show that transcendental curves in $\mathbb R^n$ (not necessarily compact) have few rational points of bounded height provided that the curves are well behaved with respect to algebraic sets in a certain sense and can be parametrized by functions belonging to a specified algebra of infinitely differentiable functions. Examples of such curves include logarithmic spirals and solutions to Euler equations $x^2y''+xy'+cy=0$ with $c>0$.
We study the elliptic modular surface attached to the commutator subgroup of the modular group. This has an elliptic curve as base and only one singular fibre. We employ an algebraic approach and then consider some arithmetic questions.
We prove that all elliptic curves over quadratic fields with a subgroup isomorphic to $C_{16}$, as well as all elliptic curves over cubic fields with a subgroup isomorphic to $C_2\times C_{14}$, are base changes of elliptic curves defined over $\Q$. We obtain these results by studying geometric properties of modular curves and maps between modular curves, and then obtaining a modular description of these curves and maps.
We show that for any elliptic curve (with j invariant not 0 or 1728) over any field of characteristic different from 2 and 3, there exists an hyperelliptic curve H of genus 5 with two independent maps to the given elliptic curve. We also show that, if we want such a curve to be just geometrically hyperelliptic, so having a degree two map to a conic, then there are some with genus 3.
For several applications in the arithmetic of abelian varieties it is important to compute canonical heights. Following Faltings and Hriljac, we show how the canonical height on the Jacobian of a smooth projective curve can be computed using arithmetic intersection theory on a regular model of the curve in practice. In the case of hyperelliptic curves we present a complete algorithm that has been implemented in Magma. Several examples are computed and the behavior of the running time is discussed.
We discuss a non-computational elementary approach to a well-known criterion of divisibility by 2 in the group of rational points on an elliptic curve.
We prove a genus formula for modular curves of $D$-elliptic sheaves. We use this formula to show that the reductions of modular curves of $D$-elliptic sheaves attain the Drinfeld-Vladut bound as the degree of the discriminant of $D$ tends to infinity.
For $n\geq 2$, let $K=\overline{\mathbb{Q}}(\mathbb{P}^n)=\overline{\mathbb{Q}}(T_1, \ldots, T_n)$. Let $E/K$ be the elliptic curve defined by a minimal Weiestrass equation $y^2=x^3+Ax+B$, with $A,B \in \overline{\mathbb{Q}}[T_1, \ldots, T_n]$. There's a canonical height $\hat{h}_{E}$ on $E(K)$ induced by the divisor $(O)$, where $O$ is the zero element of $E(K)$. On the other hand, for each smooth hypersurface $Γ$ in $\mathbb{P}^n$ such that the reduction mod $Γ$ of $E$, $E_Γ / \overline{\mathbb{Q}}(Γ)$ is an elliptic curve with the zero element $O_Γ$, there is also a canonical height $\hat{h…
In this paper, we study the finiteness problem of torsion points on an elliptic curve whose coordinates satisfy some multiplicative dependence relations. In particular, we prove that on an elliptic curve defined over a number field there are only finitely many torsion points whose coordinates are multiplicatively dependent. Moreover, we produce an effective result when the elliptic curve is defined over the rational numbers or has complex multiplication.
For any number field, we prove that there exists an elliptic curve defined over this field such that its Shafarevich-Tate group has a nontrivial 2-torsion subgroup.
We develop a strategy for bounding from above the height of rational points of modular curves with values in number fields, by functions which are polynomial in the curve's level. Our main technical tools come from effective Arakelov descriptions of modular curves and jacobians. We then fulfill this program in the following particular case: If $p$ is a not-too-small prime number, let $X_0 (p )$ be the classical modular curve of level $p$ over $\bf Q$. Assume Brumer's conjecture on the dimension of winding quotients of $J_0 (p)$. We prove that there is a function $b(p)=O(p^{5} \log p )$ (depend…
The V_4-lines for each linearly normal space elliptic curve form the edges of a tetrahedron, however in case the elliptic curve has j=12^3, there exist Z_4-lines in addition. We show the arrangement of V_4 and Z_4-lines explicitly for the curve. As a corollary we obtain that each irreducible quartic curve with genus one has at most two Galois points.
We study the jumps in the archimedean height of the Ceresa cycle, as introduced by R. Hain in his work on normal functions on moduli spaces of curves, and as further analyzed by P. Brosnan and G. Pearlstein in terms of asymptotic Hodge theory. Our work is based on a study of the asymptotic behavior of the Hain-Reed beta-invariant in degenerating families of curves. We show that the height jump of the Ceresa cycle at a given stable curve is equal to the so-called "slope" of the dual graph of the curve, and we characterize those stable curves for which the height jump vanishes. We also obtain an…
We construct an integral model for Lubin-Tate curves as moduli of finite subgroups of formal deformations over complete Noetherian local rings. They are p-adic completions of the modular curves X_0(p) at a mod-p supersingular point. Our model is semistable in the sense that the only singularities of its special fiber are normal crossings. Given this model, we obtain a uniform presentation for the Dyer-Lashof algebra of Morava E-theories at height 2 as local moduli of power operations in elliptic cohomology.
In this paper, we consider an arithmetic Hodge index theorem for a family of semi-stable curves f: X \to B with f_{\bf C} being smooth, generalizing Faltings-Hriljac's arithmetic Hodge index theorem for an arithmetic surface.
We consider heights of horizontal irreducible divisors on an arithmetic surface with respect to some hermitian line bundle. We obtain both lower and upper bounds for these heights. The results are different and sometimes stronger that those of S.Zhang on the same question. The case of the relative dualizing sheaf with the Arakelov metric is made especially explicit.
The purpose of this paper is to give a linear and effective height inequality for algebraic points on curves over functional fields. Our height inequality can be viewed as the logarithmic canonical class inequality of a punctured curve over a functional field (a fibered surface minus a section).
Fix a positive integer $n$ and a finite field $\mathbb F_q$. We study the joint distribution of the rank of $E$, the $n$-Selmer group of $E$, and the $n$-torsion in the Tate-Shafarevich group of $E$ as $E$ varies over elliptic curves of fixed height $d \geq 2$ over $\mathbb F_q(t)$. We compute this joint distribution in the large $q$ limit. We also show that the "large $q$, then large height" limit of this distribution agrees with the one predicted by Bhargava-Kane-Lenstra-Poonen-Rains.
We use the weighted moduli height as defined in \cite{sh-h} to investigate the distribution of fine moduli points in the moduli space of genus two curves. We show that for any genus two curve with equation $y^2=f(x)$, its weighted moduli height $\mathfrak h (\mathfrak{p}) \leq 2^3 \sqrt{3 \cdot 5 \cdot 7} \, \cdot H(f)$, where $H(f)$ is the minimal naive height of the curve as defined in \cite{height}. Based on the weighted moduli height $\mathfrak h$ we create a database of genus two curves defined over $\mathbb Q$ with small $\mathfrak h$ and show that for small such height ($\mathfrak h < 5…
From the product of two elliptic curves, Shioda and Inose constructed an elliptic $K3$ surface having two $\mathrm{II}^*$ fibers. Its Mordell-Weil lattice structure depends on the morphisms between the two elliptic curves. In this paper, we give a method of writing down generators of the Mordell-Weil lattice of such elliptic surfaces when two elliptic curves are $3$-isogenous. In particular, we obtain a basis of the Mordell-Weil lattice for the singular $K3$ surfaces $X_{[3,3,3]}$, $X_{[3,2,3]}$ and $X_{[3,0,3]}$.
We establish a relation between intersection numbers of special cycles on a Shimura curve and special values of derivatives of metaplectic Eisenstein series at a place of bad reduction where p-adic uniformization in the sense of Cherednik and Drinfeld holds. The result extends the one established by one of us (S. Kudla: Ann. of Math. 146 (1997)) for the archimedean place and for the non-archimedean places of good reduction. The bulk of the paper is concerned with the corresponding problem on the Drinfeld upper half plane (the formal scheme version).
We study the splitting properties of the Verlinde bundles over elliptic curves. Our methods rely on the explicit description of the moduli space of semistable vector bundles on elliptic curves, and on the analysis of the symmetric powers of the Schrodinger representation of the Theta group.
We study stable curves of arithmetic genus 2 which admit two morphisms of finite degree $p$, resp. $d$, onto smooth elliptic curves, with particular attention to the case $p$ prime.
In this paper, we develop an algebraic de Rham theory for unipotent fundamental groups of once punctured elliptic curves over a field of characteristic zero using the universal elliptic KZB connection of Calaque-Enriquez-Etingof and Levin-Racinet. We use it to give an explicit version of Tannaka duality for unipotent connections over an elliptic curve with a regular singular point at the identity.
We study non-commutative degenerations of elliptic curves over local fields. The corresponding objects are close relatives of non-commutative tori of Connes and Rieffel.
