This note contains an elementary discussion of the Arakelov intersection theory of elliptic curves. The main new results are a projection formula for elliptic arithmetic surfaces and a formula for the "energy" of an isogeny between Riemann surfaces of genus 1. The latter formula provides an answer to a question originally posed by Szpiro.
The purpose of this book is to build up the fundament of an Arakelov theory over adelic curves in order to provide a unified framework for the researches of arithmetic geometry in several directions.
We explicitly bound the Faltings height of a curve over Q polynomially in its Belyi degree. Similar bounds are proven for three other Arakelov invariants: the discriminant, Faltings' delta invariant and the self-intersection of the dualizing sheaf. Our results allow us to explicitly bound Arakelov invariants of modular curves, Hurwitz curves and Fermat curves in terms of their genus. Moreover, as an application, we show that the Couveignes-Edixhoven-Bruin algorithm to compute coefficients of modular forms for congruence subgroups of SL2(Z) runs in polynomial time under the Riemann hypothesis f…
In this paper we compute the asymptotics of the metric on the line bundle over the moduli space of curves that arises when attempting to compute the archimedean height of the algebraic cycle $C-C^-$ in the jacobian of a smooth projective curve of genus $g$. One way to express the results is to say that the metric extends (more or less) to the line bundle found by Moriwaki that has non-negative degree on every complete curve in $\Mbar_g$ not contained in the boundary.
For an integer $e$ and hyperbolic curve $X$ over $\overline{\mathbb Q}$, Mochizuki showed that there are only finitely many isomorphism classes of hyperbolic curves $Y$ of Euler characteristic $e$ with the same universal cover as $X$. We use Arakelov theory to prove an effective version of this finiteness statement.
This paper deals with Arakelov vector bundles over an arithmetic curve, i.e. over the set of places of a number field. The main result is that for each semistable bundle E, there is a bundle F such that $E \otimes F$ has at least a certain slope, but no global sections. It is motivated by an analogous theorem of Faltings for vector bundles over algebraic curves and contains the Minkowski-Hlawka theorem on sphere packings as a special case. The proof uses an adelic version of Siegel's mean value formula.
We derive explicit formulas for the Arakelov-Green function and the Faltings delta-invariant of a Riemann surface. A numerical example illustrates how these formulas can be used to calculate Arakelov invariants of curves.
The purpose of this article is to initiate Arakelov theory in a noncommutative setting. More precisely, we are concerned with Arakelov theory of noncommutative arithmetic curves. Our first main result is an arithmetic Riemann-Roch formula in this setup. We proceed with introducing the Grothendieck group of arithmetic vector bundles on a noncommutative arithmetic curve and show that there is a uniquely determined degree map, which we then use to define a height function. We prove a duality theorem for this height.
We compute an asymptotic expression for the Arakelov self-intersection number of the relative dualizing sheaf of Edixhoven's minimal regular model for the modular curve $X_0(p^2)$ over $\mathbb{Q}$. The computation of the self-intersection numbers are used to prove effective Bogolomov conjecture for the semi-stable models of modular curves $X_0(p^2)$ and obtain a bound on the stable Faltings height for those curves in a companion article arXiv:1802.06968.
In the context of arithmetic surfaces, Bost defined a generalized Arithmetic Chow Group (ACG) using the Sobolev space L^2_1. We study the behavior of these groups under pull-back and push-forward and we prove a projection formula. We use these results to define an action of the Hecke operators on the ACG of modular curves and to show that they are self-adjoint with respect to the arithmetic intersection product. The decomposition of the ACG in eigencomponents which follows allows us to define new numerical invariants, which are refined versions of the self-intersection of the dualizing sheaf. …
Given a choice of metric on the Riemann surface, the regularized determinant of Laplacian (analytic torsion) is defined via the complex power of elliptic operators: $$ \det(Δ)=\exp(-ζ'(0)) $$ In this paper we gave an asymptotic effective estimate of analytic torsion under Arakelov metric. In particular, after taking the logarithm it is asymptotically upper bounded by $g$ for $g>1$. The construction of a cohomology theory for arithmetic surfaces in Arakelov theory has long been an open problem. In particular, it is not known if $h^{1}(X,L)\ge 0$. We view this as an indirect piece of evidence th…
Arakelov-Green functions defined on metrized graphs have important role in relating arithmetical problems on algebraic curves into graph theoretical problems. In this paper, we clarify the combinatorial interpretation of certain Arakelov-Green functions by using electric circuit theory. The formulas we gave clearly show that such functions are piece-wisely defined, and each piece is a linear or quadratic function on each pair of edges of metrized graphs. These formulas lead to an algorithm for explicit computation of Arakelov-Green functions.
We use Arakelov theory to define a height on divisors of degree zero on a hyperelliptic curve over a global field, and show that this height has computably bounded difference from the Néron-Tate height of the corresponding point on the Jacobian. We give an algorithm to compute the set of points of bounded height with respect to this new height. This provides an `in principle' solution to the problem of determining the sets of points of bounded Néron-Tate heights on the Jacobian. We give a worked example of how to compute the bound over a global function field for several curves, of genera up t…
We establish, in the setting of Arakelov geometry over adelic curves, an arithmetic Hilbert-Samuel theorem describing the asymptotic behaviour of the metrized graded linear series of an adelic line bundle in terms of its arithmetic intersection number. We then study positivity conditions of adelic line bundles.
Let $N\geq 3$ be a composite, odd, and square-free integer and let $Γ$ be the principal congruence subgroup of level $N$. Let $X(N)$ be the modular curve of genus $g_Γ$ associated to $Γ$. In this article, we study the Arakelov invariant $e(Γ)=\barω^2/φ(N)$, with $\barω^2$ denoting the self-intersection of the relative dualizing sheaf for the minimal regular model of $X(N)$, equipped with the Arakelov metric, and $φ(N)$ is the Euler's phi function. Our main result is the asymptotics $e(Γ) = 2g_Γ\log(N) + o(g_Γ\log(N))$, as the level $N$ tends to infinity.
This memoir is devoted to the study of formal-analytic arithmetic surfaces. These are arithmetic counterparts, in the context of Arakelov geometry, of germs of smooth complex-analytic surfaces along a projective complex curve. Formal-analytic surfaces provide a natural framework for arithmetic algebraization theorems, old and new. Formal-analytic arithmetic surfaces admit a rich geometry which parallels the geometry of complex analytic surfaces. Notably the dichotomy between pseudoconvexity and pseudoconcavity plays a central role in their geometry. Our study of formal-analytic arithmetic surf…
Heuristics based on the Sato--Tate conjecture suggest that an abelian surface defined over a number field has infinitely many places of split reduction. We prove this result for abelian surfaces having real multiplication. Similar to Charles' theorem on exceptional isogeny of reductions of a given pair of elliptic curves and Elkies' theorem on supersingular reductions of a given elliptic curve, our theorem shows that a density-zero set of primes pertaining to the reduction of abelian varieties is infinite. The proof relies on the Arakelov intersection theory on Hilbert modular surfaces.
In this paper we prove new explicit formulas for Faltings' $δ$-invariant of an arbitrary hyperelliptic Riemann surface. This has several applications: For example we obtain an explicit lower bound for $δ$ depending only on the genus, and we deduce new explicit bounds for the Arakelov self-intersection number $ω^2$ associated to hyperelliptic curves over number fields. Furthermore, we obtain an improved version of Szpiro's small points conjecture for hyperelliptic curves of genus at least $3$. Our method allows us in addition to establish a generalization of Rosenhain's formula on $θ$-derivativ…
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 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.
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.
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.
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.
In this paper, we give an explicit description of the de Rham and p-adic polylogarithms for elliptic curves using the Kronecker theta function. We prove in particular that when the elliptic curve has complex multiplication and good reduction at p, then the specializations to torsion points of the p-adic elliptic polylogarithm are related to p-adic Eisenstein-Kronecker numbers, proving a p-adic analogue of the result of Beilinson and Levin expressing the complex elliptic polylogarithm in terms of Eisenstein-Kronecker-Lerch series. Our result is valid even if the elliptic curve has supersingular…
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 prove that the group of rational points of a non-isotrivial elliptic curve defined over the perfect closure of a function field in one variable over a finite field is finiteley generated.
We list the elliptic curves defined over $Q(\sqrt 5)$ with good reduction away from 2. There are 368 isomorphism classes. We give a global minimal model for each class.
For every normalized newform f in S_2(Gamma_1(N)) with complex multiplication, we study the modular parametrizations of elliptic curves C from the abelian variety A_f. We apply the results obtained when C is Gross's elliptic curve A(p).
I prove lower bounds of some parameters of elliptic curve over finite field. There parameters are closely interrelated with cryptographic stability of elliptic curve.
We compute equations for the families of elliptic curves 9-congruent to a given elliptic curve. We use these to find infinitely many non-trivial pairs of 9-congruent elliptic curves over Q, i.e. pairs of non-isogenous elliptic curves over Q whose 9-torsion subgroups are isomorphic as Galois modules.
Using a multidimensional large sieve inequality, we obtain a bound for the mean square error in the Chebotarev theorem for division fields of elliptic curves that is as strong as what is implied by the Generalized Riemann Hypothesis. As an application we prove a theorem to the effect that, according to height, almost all elliptic curves are Serre curves, where a Serre curve is an elliptic curve whose torsion subgroup, roughly speaking, has as much Galois symmetry as possible.
We show that every elliptic curve over a finite field of odd characteristic whose number of rational points is divisible by 4 is isogenous to an elliptic curve in Legendre form, with the sole exception of a minimal respectively maximal elliptic curve. We also collect some results concerning the supersingular Legendre parameters.
We describe the structure of Tate-Shafarevich groups of a constant elliptic curves over function fields by exploiting the volcano structure of isogeny graphs of elliptic curves over finite fields.
While there has been considerable interest in the problem of finding elliptic curves of high rank over $\mathbb{Q}$, very few parametrized families of elliptic curves of generic rank $\geq 8$ have been published. In this paper we use solutions of certain symmetric diophantine systems to construct several parametrized families of elliptic curves with their generic ranks ranging from at least 8 to at least 12. Specific numerical values of the parameters yield elliptic curves with quite large coefficients and we could therefore determine the precise rank only in a few cases where the rank of the …
An elliptic divisibility sequence is an integer recurrence sequence associated to an elliptic curve over the rationals together with a rational point on that curve. In this paper we present a higher-dimensional analogue over arbitrary base fields. Suppose E is an elliptic curve over a field K, and P_1, ..., P_n are points on E defined over K. To this information we associate an n-dimensional array of values in K satisfying a nonlinear recurrence relation. Arrays satisfying this relation are called elliptic nets. We demonstrate an explicit bijection between the set of elliptic nets and the set …
We analyze log-algebraic power series identities for formal groups of elliptic curves over $\mathbb{Q}$ which arise from modular parametrizations. We further investigate applications to special values of elliptic curve $L$-functions.
We describe iterated integrals as unipotent periods on families of marked elliptic curves in terms of multiple zeta values and elliptic multiple zeta values.
We show that average analytic rank of elliptic curves with prescribed torsion $G$ is bounded for every torsion group $G$ under GRH for elliptic curve $L$-functions.
In this paper, under GRH for elliptic $L$-functions, we give an upper bound for the probability for an elliptic curve with analytic rank $\leq a$ for $a \geq 11$, and also give an upper bound of $n$-th moments of analytic ranks of elliptic curves. These are applications of counting elliptic curves with local conditions, for example, having good reduction at $p$.
In this note we study an analogy between a positive definite quadratic form for elliptic curves over finite fields and a positive definite quadratic form for elliptic curves over the rational number field. A question is posed of which an affirmative answer would imply the analogue of the Riemann hypothesis for elliptic curves over the rational number field.
We investigate modularity of elliptic curves over a general totally real number field, establishing a finiteness result for the set non-modular $j$-invariants. By analyzing quadratic points on some modular curves, we show that all elliptic curves over certain real quadratic fields are modular.
We present a deterministic and explicit algorithm to compute the endomorphism rings of supersingular elliptic curves. As an example we compute the endomorphism rings of all supersingular elliptic curves defined over characteristic p=29,...,97.
We compute twists of the modular curve $X(13)$ that parametrise the elliptic curves 13-congruent to a given elliptic curve. Searching for rational points on these twists enables us to find non-trivial pairs of 13-congruent elliptic curves over ${\mathbb Q}$, i.e. pairs of non-isogenous elliptic curves over ${\mathbb Q}$ whose 13-torsion subgroups are isomorphic as Galois modules. We also find equations for the surfaces parametrising pairs of 13-congruent elliptic curves. There are two such surfaces, corresponding to 13-congruences that do, or do not, respect the Weil pairing. We write each as …
We prove that there are no non-constant global functions and no lifts of Frobenius on the first $p$-jet space on an elliptic curve unless the elliptic curve itself has a lift of Frobenius.
We derive a new bound for some bilinear sums over points of an elliptic curve over a finite field. We use this bound to improve a series of previous results on various exponential sums and some arithmetic problems involving points on elliptic curves.
We prove that the family $\mathcal{I}_{F_0}$ of elliptic curves over number fields that are geometrically isogenous to an elliptic curve with $F_0$-rational $j$-invariant is typically bounded in torsion. Under an additional uniformity assumption, we also prove that the family $\mathcal{I}_{d_0}$ of elliptic curves over number fields that are geometrically isogenous to an elliptic curve with degree $d_0$ $j$-invariant is typically bounded in torsion.