A uniform quantitative Manin-Mumford theorem for curves over function fields

We prove that any smooth projective geometrically connected non-isotrivial curve of genus g ≥ 2 over a one-dimensional function field of any characteristic has at most 16g + 32g + 124 torsion points for any Abel– Jacobi embedding of the curve into its Jacobian. The proof uses Zhang’s admissible pairing on curves, the arithmetic Hodge index theorem over function fields, and the metrized graph analogue of Elkies’ lower bound for the Green function. More generally, we prove an explicit Bogomolov-type result bounding the number of geometric points of small Néron–Tate height on the curve embedded into its Jacobian.

[1]  R. Wilms On arithmetic intersection numbers on self-products of curves , 2019, Journal of Algebraic Geometry.

[2]  William Fulton,et al.  Intersection theory, Second Edition , 1998, Ergebnisse der Mathematik und ihrer Grenzgebiete.

[3]  Farbod Shokrieh,et al.  Tropical moments of tropical Jacobians , 2018, Canadian Journal of Mathematics.

[4]  M. Raynaud Courbes sur une variété abélienne et points de torsion , 1983 .

[5]  Zubeyir Cinkir,et al.  Zhang’s Conjecture and the Effective Bogomolov Conjecture over function fields , 2009, 0901.3945.

[6]  Shou-Wu Zhang,et al.  Admissible pairing on a curve , 1993 .

[7]  A N Paršin,et al.  ALGEBRAIC CURVES OVER FUNCTION FIELDS. I , 1968 .

[8]  Matthew Baker,et al.  Metrized Graphs, Laplacian Operators, and Electrical Networks , 2005 .

[9]  Shou-wu Zhang SMALL POINTS AND ADELIC METRICS , 1994 .

[10]  Shou-Wu Zhang,et al.  Gross–Schoen cycles and dualising sheaves , 2008, 0812.0371.

[11]  A. Moriwaki A sharp slope inequality for general stable fibrations of curves. , 1996, alg-geom/9601003.

[12]  Zubeyir Cinkir Admissible invariants of genus 3 curves , 2014, 1405.7413.

[13]  KANAYAMA Naoki,et al.  Jacobian Varieties , 2003 .

[14]  R. D. Jong,et al.  N\'eron-Tate heights of cycles on jacobians , 2016, 1610.01932.

[15]  Thomas Scanlon,et al.  Diophantine Geometry from Model Theory , 2001, Bulletin of Symbolic Logic.

[16]  Damian Roessler,et al.  On -invariant subvarieties of semiabelian varieties and the Manin-Mumford conjecture , 2004 .

[17]  Robert Rumely,et al.  The capacity pairing. , 1993 .

[18]  Robert F. Coleman,et al.  Torsion points on curves and p-adic Abelian integrals , 1985 .

[19]  Shou-wu Zhang Heights and reductions of semi-stable varieties , 1996 .

[20]  Alexander Carney The arithmetic Hodge index theorem and rigidity of dynamical systems over function fields , 2018, Pacific Journal of Mathematics.

[21]  Lars Kuhne,et al.  Equidistribution in Families of Abelian Varieties and Uniformity , 2021, 2101.10272.

[22]  K. Yamaki Survey on the geometric Bogomolov conjecture , 2016, 1603.09083.

[23]  A. Buium Geometry of $p$-jets , 1996 .

[24]  R. Rumely,et al.  Harmonic Analysis on Metrized Graphs , 2004, Canadian Journal of Mathematics.

[25]  Johan P. Hansen,et al.  INTERSECTION THEORY , 2011 .