Uniform Manin-Mumford for a family of genus 2 curves

DOI10.4007/ANNALS.2020.191.3.5MaRDI QIDQ2173675zbMATH OpenOpenAlexFDO

Authors Holly Krieger, Laura De Marco, Hexi Ye

Publication date 17 April 2020

Published in Annals of Mathematics. Second Series (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1901.09945

zbMATH Keywords

arithmetic intersectionelliptic curvesLattès mapsManin-Mumfordnon-Archimedean potential theorypreperiodic pointstorsion points

Mathematics Subject Classification ID

Heights (11G50) Jacobians, Prym varieties (14H40) Holomorphic families of dynamical systems; holomorphic motions; semigroups of holomorphic maps (37F44) Dynamical systems on Berkovich spaces (37P50)

Abstract: We introduce a general strategy for proving quantitative and uniform bounds on the number of common points of height zero for a pair of inequivalent height functions on $mathbb{P}^1(overlinemathbbQ).$ We apply this strategy to prove a conjecture of Bogomolov, Fu, and Tschinkel asserting uniform bounds on the number of common torsion points of elliptic curves in the case of two Legendre curves over $mathbbC$. As a consequence, we obtain two uniform bounds for a two-dimensional family of genus 2 curves: a uniform Manin-Mumford bound for the family over $mathbbC$, and a uniform Bogomolov bound for the family over $overlinemathbbQ.$

Review text

The authors prove the existence an absolute effective positive constant \(B\) with the following property. Let \(X\) be a smooth bielliptic curve over \({\mathbb{C}}\) of genus \(2\) (bielliptic means that it admits a degree-two branched covering to an elliptic curve) and let \(P\) be a Weierstrass point on \(X\). Let \(j_P:X\hookrightarrow J(X)\) be the Abel-Jacobi embedding of \(X\) into its Jacobian based at \(P\) and \(J(X)^{\mathrm{tor}}\) the set of torsion points of \(J(X)\). Then \(\left| j_P(X)\cap J(X)^{\mathrm{tor}}\right|\le B\). The example due to \textit{M.~Stoll} [``Another new record, \url{http://www.mathe2.uni-bayreuth.de/stoll/torsion.html}] of the hyperelliptic curve \(y^2 = x^6 + 130 x^3 + 13\) shows that \(B\ge 34\). This result answers a question raised by \textit{B. Mazur} [Bull. Am. Math. Soc. (N.S.) 14, No. 2, 207--259 (1986; Zbl 0593.14021)]. The authors remark that there is no uniform bound for the order of the torsion points on \(X\) in its Jacobian. For the proof, the authors answer a special case of a conjecture by \textit{F. Bogomolov} and \textit{Y. Tschinkel} [in: Diophantine geometry. Selected papers of a the workshop, Pisa, Italy, April 12--July 22, 2005. Pisa: Edizioni della Normale. 73--91 (2007; Zbl 1142.14016)] and \textit{F. Bogomolov} et al. [in: Geometry and physics. A festschrift in honour of Nigel Hitchin. Volume 1. Oxford: Oxford University Press. 19--37 (2018; Zbl 1423.14214)]<. For \(t\in{\mathbb{C}}\setminus\{0,1\}\), let \(E_t\) be the Legendre curve \(y^2=x(x-1)(x-t)\) and \(\pi:(x,y)\mapsto x\) the standard projection on \(E_t\). The authors prove the existence of a uniform constant \(B\) such that, for all \(t_1\not=t_2\) in \({\mathbb{C}}\setminus\{0,1\}\), \(\left|\pi(E_{t_1}^{\mathrm{tor}})\cap \pi(E_{t_2}^{\mathrm{tor}})\right|\le B\). The new tool is a quantification of the approach of \textit{L. Szpiro} et al. [Invent. Math. 127, No. 2, 337--347 (1997; Zbl 0991.11035)], \textit{E. Ullmo} [Ann. Math. (2) 147, No. 1, 167--179 (1998; Zbl 0934.14013)], \textit{S.-W. Zhang} [Ann. Math. (2) 147, No. 1, 159--165 (1998; Zbl 0991.11034)] utilizing adelic equidistribution theory. The authors reduce to the setting where the curve is defined over the field \(\overline{{\mathbb{Q}}}\) of algebraic numbers, where they build on the proof of the quantitative equidistribution theorem for height functions on \({\mathbb P}^1(\overline{{\mathbb{Q}}})\) of \textit{C. Favre} and \textit{J. Rivera-Letelier} [Math. Ann. 335, No. 2, 311--361 (2006; Zbl 1175.11029)]. Consider the family of height functions \(\widehat{h}_t\) on \({\mathbb P}^1(\overline{{\mathbb{Q}}})\) induced from the Néron-Tate canonical height on the elliptic curve \(E_t\) for \(t \in{\mathbb{C}}\setminus\{0,1\}\); its zeroes are precisely the elements of \(\pi(E^{\mathrm{tor}}_t)\). The authors prove the existence of \(\delta>0\) such that \(\widehat{h}_{t_1}\widehat{h}_{t_2}\ge\delta\) for all \(t_1\not=t_2\) in \({\mathbb{C}}\setminus\{0,1\}\). They also prove upper and lower bounds for the product \(\widehat{h}_{t_1}\widehat{h}_{t_2}\) depending on the naive logarithmic height \(h(t_1,t_2)\) on \({\mathbb A}^2(\overline{{\mathbb{Q}}})\). In a forthcoming joint work, [``Common preperiodic points of quadratic polynomial, Preprint, \url{arXiv 1911.02458}], the authors implement their strategy for obtaining a uniform bound on the number of common preperiodic points for distinct polynomials of the form \(f_c(z) = z^2 + c\) with \(c \in {\mathbb{C}}\).

Recommendations

• On the torsion problem in Jacobians of curves of genus 2 over the rational number field
• On certain torsion subgroups of Jacobians of hyperelliptic curves of genus g 1
• On an analogue of the Lutz-Nagell theorem for hyperelliptic curves
• New curves of genus 2 over the field of rational numbers whose Jacobians contain torsion points of high order
• Curves in characteristic \(2\) with non-trivial \(2\)-torsion
• Simultaneous Torsion in the Legendre Family
• The height of S-integral points on hyperelliptic curves and the relative rank of Jacobians
• Torsion points and the Lattès family
• scientific article; zbMATH DE number 78528
• Bounding tangencies of sections on elliptic surfaces

Cited in

(31)

• On elements of large order on elliptic curves and multiplicative dependent images of rational functions over finite fields
• Common preperiodic points for quadratic polynomials
• Uniformity in Mordell-Lang for curves
• A consequence of the relative Bogomolov conjecture
• On the \(\mathrm{PGL}_2\)-invariant quadruples of torsion points of elliptic curves
• Schottky spaces and universal Mumford curves over \(\mathbb{Z}\)
• The relative Bogomolov conjecture for fibered products of elliptic curves
• Non-Archimedean integrals as limits of complex integrals
• On the Mahler measure of a family of genus 2 curves
• The Arakelov-Zhang pairing and Julia sets
• Elliptic curves with common torsion 𝑥-coordinates and hyperelliptic torsion packets
• Torsion points on isogenous abelian varieties
• The number of rational points on a curve of genus at least two
• The size of semigroup orbits modulo primes
• Diophantine approximations. Abstracts from the workshop held April 17--23, 2022
• Quasi-adelic measures and equidistribution on
• Dynamics on ℙ¹: preperiodic points and pairwise stability
• A bound for the torsion on subvarieties of abelian varieties
• A Tits alternative for endomorphisms of the projective line
• Convergence of Bergman measures towards the Zhang measure
• An inner product on adelic measures with applications to the Arakelov-Zhang pairing
• Intersecting the torsion of elliptic curves
• Bounded geometry for PCF-special subvarieties
• Analytic dynamics over \(\mathbf{Z} \). II: Uniform gap between Lattès and conjecture of Bogomolov-Fu-Tschinkel
• Uniform bounds on \(S\)-integral torsion points for \(\mathbb{G}_m\) and elliptic curves
• On the dynamical Bogomolov conjecture for families of split rational maps
• Moduli of hybrid curves. I: Variations of canonical measures
• Arithmetic bigness and a uniform Bogomolov-type result
• Sparsity of postcritically finite maps of \(\mathbb{P}^k\) and beyond: a complex analytic approach
• The uniform Mordell-Lang conjecture
• Uniform unlikely intersections for unicritical polynomials

This page was built for publication: Uniform Manin-Mumford for a family of genus 2 curves

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2173675)