Skip to content
DraconiticResearch
Search Sources API
197,783 studies31 sourcesUpdated 11 min ago
PreprintarXiv licencearXiv

GCD and ABC inequalities for abelian varieties over function fields

Abstract

We prove two height inequalities for rational points on abelian varieties over function fields of characteristic 0. The first is the GCD inequality, which shows that the height with respect to a closed subscheme of an abelian variety of codimension at least 2 is much smaller than the usual height function. This can be viewed as a compact and geometric analogue of a theorem of Levin. The second is a special case of the (geometric) abc conjecture proposed by Vojta, which compares the truncated counting function and the usual counting function. This is a compact analogue of a theorem of Guo, Nguyen, Sun and Wang, and also resolves a conjecture of Buium, which was only known for traceless abelian varieties or constant abelian varieties previously. The proofs of these inequalities follow a common three-step pattern: from microscopic local estimates to local estimates, and then to global estimates. Building on the canonical Xie-Yuan heights, we control discrete counting functions by continuous integrals of Betti forms. The main new tools are uniform Nevanlinna-type estimates for families of linear entire curves on abelian varieties; combined with covering arguments based on Besicovitch theory and averaging, these handle overlaps and gaps precisely.

Related

  1. Twisted Deligne modules and abelian varieties over finite fields
    Sergey Rybakov
    arXivPreprintarXiv licenceFull textAlgebra & number theoryarXiv
  2. Explicit lower bounds on the conductors of elliptic curves and abelian varieties over number fields
    Pierre Tchamitchian
    Journal of Number TheoryPeer-reviewedCC BYFull textGeometry & topologyHAL
  3. Frobenius Alexander quandles, knot colorings, and isogeny classes of abelian varieties over finite fields
    WonTae Hwang
    arXivPreprintarXiv licenceFull textAlgebra & number theoryGeometry & topologyarXiv
  4. Abelian dynamical Galois groups over global function fields
    Andrea Ferraguti, Patrick Ingram, Carlo Pagano
    arXivPreprintarXiv licenceFull textAlgebra & number theoryarXiv
  5. On the finite transcendence of Frobenius traces for abelian varieties over ℚ
    Yuto Tsuruta
    arXivPreprintCC BY-SA 4.0Full textAlgebra & number theoryarXiv
BibTeX
@misc{gao2026inequalities,
  title = {{GCD and ABC inequalities for abelian varieties over function fields}},
  author = {Guoquan Gao},
  howpublished = {arXiv},
  year = {2026},
  month = oct,
  doi = {10.48550/arxiv.2610.20379},
  eprint = {2610.20379},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2610.20379},
}
RIS
TY  - UNPB
TI  - GCD and ABC inequalities for abelian varieties over function fields
AU  - Guoquan Gao
PY  - 2026
DA  - 2026/10/14
PB  - arXiv
DO  - 10.48550/arxiv.2610.20379
UR  - https://arxiv.org/abs/2610.20379
AB  - We prove two height inequalities for rational points on abelian varieties over function fields of characteristic 0. The first is the GCD inequality, which shows that the height with respect to a closed subscheme of an abelian variety of codimension at least 2 is much smaller than the usual height function. This can be viewed as a compact and geometric analogue of a theorem of Levin. The second is a special case of the (geometric) abc conjecture proposed by Vojta, which compares the truncated counting function and the usual counting function. This is a compact analogue of a theorem of Guo, Nguyen, Sun and Wang, and also resolves a conjecture of Buium, which was only known for traceless abelian varieties or constant abelian varieties previously. The proofs of these inequalities follow a common three-step pattern: from microscopic local estimates to local estimates, and then to global estimates. Building on the canonical Xie-Yuan heights, we control discrete counting functions by continuous integrals of Betti forms. The main new tools are uniform Nevanlinna-type estimates for families of linear entire curves on abelian varieties; combined with covering arguments based on Besicovitch theory and averaging, these handle overlaps and gaps precisely.
ER  -