Track new results across pure and applied mathematics.
Search papers, labs, and topics across Lattice.
We establish two height inequalities for rational points on abelian varieties over function fields of characteristic 0, proving a GCD inequality analogous to Levin's theorem and a geometric ABC conjecture special case akin to Guo et al. These results, achieved through a unified microscopic-to-global estimation strategy, leverage canonical Xie-Yuan heights and uniform Nevanlinna-type estimates for linear entire curves on abelian varieties. The core technical innovation involves controlling discrete counting functions via continuous Betti form integrals, with covering arguments and averaging addressing overlaps and gaps.
A geometric ABC conjecture for abelian varieties over function fields is resolved, revealing a compact analogue of Vojta's proposal and Buium's conjecture.
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.