pith. sign in

arxiv: 2607.02165 · v1 · pith:YP44QUR7new · submitted 2026-07-02 · 🧮 math.AG · math.CV· math.NT

Recent progress on the geometric Bombieri--Lang conjecture

Junyi Xie This is my paper

Pith reviewed 2026-07-03 05:10 UTC · model grok-4.3

classification 🧮 math.AG math.CVmath.NT
keywords geometric Bombieri-Lang conjecturefunction fieldsabelian varietiesVojta's dictionaryentire curvesrational pointsarithmetic geometry
0
0 comments X

The pith

The geometric Bombieri-Lang conjecture holds for varieties admitting finite morphisms to abelian varieties over function fields of characteristic zero.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

This survey shows that the geometric Bombieri-Lang conjecture is established for varieties over function fields in characteristic zero whenever those varieties admit finite morphisms to abelian varieties. The result follows from combining theorems of Xie-Yuan with work of Guoquan Gao. The central technique realizes Vojta's dictionary explicitly by producing entire curves on the complex fibers from rational points of large height. A reader would care because the statement now covers a wide collection of varieties that arise naturally when studying rational points over function fields.

Core claim

The geometric Bombieri--Lang conjecture is proved for varieties admitting finite morphisms to abelian varieties, via work of Xie--Yuan and Guoquan Gao. The guiding idea, developed in joint work with Xinyi Yuan, is that Vojta's dictionary can be made concrete in this setting: from rational points of large height one constructs entire curves on complex fibers.

What carries the argument

Vojta's dictionary realized concretely by constructing entire curves on complex fibers from rational points of large height

If this is right

  • The conjecture holds for every variety in this class over function fields of characteristic zero.
  • Rational points of large height on such varieties correspond to entire curves on the complex fibers.
  • The arithmetic distribution of points is thereby linked directly to holomorphic curve constructions.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The same dictionary technique might be tested on concrete families such as genus-two curves over rational function fields to exhibit the curve construction explicitly.
  • Analogous reductions could be explored for the arithmetic Bombieri-Lang conjecture over number fields by seeking similar height-to-curve correspondences.
  • The survey leaves open whether the method extends to varieties lacking finite morphisms to abelian varieties.

Load-bearing premise

The varieties under consideration admit finite morphisms to abelian varieties.

What would settle it

A variety that admits a finite morphism to an abelian variety over a function field of characteristic zero yet possesses infinitely many rational points not contained in any proper subvariety would falsify the claim.

read the original abstract

We survey recent progress on the geometric Bombieri--Lang conjecture over function fields of characteristic zero. We discuss recent work of Xie--Yuan and Guoquan Gao, which together proves the conjecture for varieties admitting finite morphisms to abelian varieties. The guiding idea, developed in joint work with Xinyi Yuan, is that Vojta's dictionary can be made concrete in this setting: from rational points of large height one constructs entire curves on complex fibers.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 1 minor

Summary. The manuscript surveys recent progress on the geometric Bombieri--Lang conjecture over function fields of characteristic zero. It presents the combined results of Xie--Yuan and Guoquan Gao as establishing the conjecture for the class of varieties admitting finite morphisms to abelian varieties, and motivates the approach via the concrete realization of Vojta's dictionary through entire curves on complex fibers, drawing on joint work with Xinyi Yuan.

Significance. The geometric Bombieri--Lang conjecture is a major open problem in arithmetic geometry. Establishing it for varieties with finite morphisms to abelian varieties constitutes meaningful progress on a substantial subclass, and the survey usefully organizes the cited external results while highlighting the Vojta-dictionary perspective as a guiding principle.

minor comments (1)
  1. [Title and Abstract] The abstract states the characteristic-zero setting but the title does not; adding this qualifier to the title would improve immediate clarity for readers.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive report, which accurately summarizes the manuscript and recommends acceptance. We are pleased that the survey's organization of the results of Xie--Yuan and Gao, along with the Vojta-dictionary perspective, is viewed as useful.

Circularity Check

0 steps flagged

Survey of external results with non-load-bearing self-citation

full rationale

This is a survey paper whose central claims consist of attributing the geometric Bombieri-Lang conjecture (for the restricted class of varieties admitting finite morphisms to abelian varieties) to the cited works of Xie-Yuan and Gao. No internal derivation, equations, or new proof steps are advanced in the document. Self-citation of the author's prior joint work appears only as attribution of external results and does not reduce any argument here to a self-referential fit or definition by construction. The paper is therefore self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Only the abstract is available; no free parameters, axioms, or invented entities are identifiable from the given text.

pith-pipeline@v0.9.1-grok · 5587 in / 844 out tokens · 19518 ms · 2026-07-03T05:10:16.554338+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

33 extracted references

  1. [1]

    Weak semistable reduction in characteristic 0

    Dan Abramovich and Kalle Karu. Weak semistable reduction in characteristic 0. Inventiones Mathematicae , 139(2):241--273, 2000

    2000

  2. [2]

    Campana points, Vojta 's conjecture, and level structures on semistable abelian varieties

    Dan Abramovich and Anthony V \'a rilly-Alvarado. Campana points, Vojta 's conjecture, and level structures on semistable abelian varieties. Journal de Th \'e orie des Nombres de Bordeaux , 30(2):525--532, 2018

    2018

  3. [3]

    Hacon, and James McKernan

    Caucher Birkar, Paolo Cascini, Christopher D. Hacon, and James McKernan. Existence of minimal models for varieties of log general type. Journal of the American Mathematical Society , 23(2):405--468, 2010

    2010

  4. [4]

    Bell, Dragos Ghioca, and Thomas J

    Jason P. Bell, Dragos Ghioca, and Thomas J. Tucker. The dynamical Mordell--Lang problem, 2014

    2014

  5. [5]

    Parshin's method and the geometric Bombieri--Lang conjecture

    Finn Bartsch and Ariyan Javanpeykar. Parshin's method and the geometric Bombieri--Lang conjecture. Indagationes Mathematicae , 37(1):271--280, 2026

    2026

  6. [6]

    On the hyperbolicity of general hypersurfaces

    Damian Brotbek. On the hyperbolicity of general hypersurfaces. Publications Math \'e matiques de l'IH \'E S , 126:1--34, 2017

    2017

  7. [7]

    Intersections in jet spaces and a conjecture of S

    Alexandru Buium. Intersections in jet spaces and a conjecture of S . Lang . Annals of Mathematics , 136(3):557--567, 1992

    1992

  8. [8]

    Hyperbolicity of generic hypersurfaces of polynomial degree via Green--Griffiths jet differentials, 2024

    Beno \^i t Cadorel. Hyperbolicity of generic hypersurfaces of polynomial degree via Green--Griffiths jet differentials, 2024

    2024

  9. [9]

    On the distribution of rational points on ramified covers of abelian varieties

    Pietro Corvaja, Julian Lawrence Demeio, Ariyan Javanpeykar, Davide Lombardo, and Umberto Zannier. On the distribution of rational points on ramified covers of abelian varieties. Compositio Mathematica , 158(11):2109--2155, 2022

    2022

  10. [10]

    a tze f \

    Gerd Faltings. Endlichkeitss \"a tze f \"u r abelsche variet \"a ten \"u ber zahlk \"o rpern. Inventiones Mathematicae , 73(3):349--366, 1983

    1983

  11. [11]

    The general case of S

    Gerd Faltings. The general case of S . Lang 's conjecture. In Barsotti Symposium in Algebraic Geometry , volume 15 of Perspectives in Mathematics , pages 175--182. Academic Press, 1994

    1994

  12. [12]

    A counting argument for the geometric Bombieri--Lang conjecture on ramified covers of abelian varieties, 2026

    Guoquan Gao. A counting argument for the geometric Bombieri--Lang conjecture on ramified covers of abelian varieties, 2026

    2026

  13. [13]

    Rational points of varieties with ample cotangent bundle over function fields

    Henri Gillet and Damian R \"o ssler. Rational points of varieties with ample cotangent bundle over function fields. Mathematische Annalen , 371(3-4):1137--1162, 2018

    2018

  14. [14]

    u ber rationale punkte auf algebraischen kurven und funktionenk \

    Hans Grauert. Mordells vermutung \"u ber rationale punkte auf algebraischen kurven und funktionenk \"o rper. Publications Math \'e matiques de l'IH \'E S , 25:131--149, 1965

    1965

  15. [15]

    The geometric dynamical Northcott and Bogomolov properties, 2019

    Thomas Gauthier and Gabriel Vigny. The geometric dynamical Northcott and Bogomolov properties, 2019

    2019

  16. [16]

    The Mordell--Lang conjecture for function fields

    Ehud Hrushovski. The Mordell--Lang conjecture for function fields. Journal of the American Mathematical Society , 9(3):667--690, 1996

    1996

  17. [17]

    Meromorphic mappings onto compact complex spaces of general type

    Shoshichi Kobayashi and Takushiro Ochiai. Meromorphic mappings onto compact complex spaces of general type. Inventiones Mathematicae , 31:7--16, 1975

    1975

  18. [18]

    Diophantine problems and p -adic period mappings

    Brian Lawrence and Akshay Venkatesh. Diophantine problems and p -adic period mappings. Inventiones Mathematicae , 221(3):893--999, 2020

    2020

  19. [19]

    Ju. I. Manin. Rational points of algebraic curves over function fields. Izvestiya Akademii Nauk SSSR. Seriya Matematicheskaya , 27:1395--1440, 1963

    1963

  20. [20]

    Propri \'e t \'e s de descente des vari \'e t \'e s \`a fibr \'e cotangent ample

    Mireille Martin-Deschamps. Propri \'e t \'e s de descente des vari \'e t \'e s \`a fibr \'e cotangent ample. Annales de l'Institut Fourier , 34(3):39--64, 1984

    1984

  21. [21]

    A higher dimensional analogue of Mordell 's conjecture over function fields

    Junjiro Noguchi. A higher dimensional analogue of Mordell 's conjecture over function fields. Mathematische Annalen , 258(2):207--212, 1981

    1981

  22. [22]

    Hyperbolic fibre spaces and Mordell 's conjecture over function fields

    Junjiro Noguchi. Hyperbolic fibre spaces and Mordell 's conjecture over function fields. Publications of the Research Institute for Mathematical Sciences , 21(1):27--46, 1985

    1985

  23. [23]

    Meromorphic mappings into compact hyperbolic complex spaces and geometric diophantine problems

    Junjiro Noguchi. Meromorphic mappings into compact hyperbolic complex spaces and geometric diophantine problems. International Journal of Mathematics , 3(2):277--289, 1992

    1992

  24. [24]

    A. N. Parshin. Finiteness theorems and hyperbolic manifolds. In The Grothendieck Festschrift, Vol. III , volume 88 of Progress in Mathematics , pages 163--178. Birkh \"a user, 1990

    1990

  25. [25]

    Around the Mordell conjecture for function fields and a conjecture of S

    Michel Raynaud. Around the Mordell conjecture for function fields and a conjecture of S . Lang . In Algebraic Geometry , volume 1016 of Lecture Notes in Mathematics , pages 1--19. Springer, Berlin, 1983

    1983

  26. [26]

    Crit \`e res de platitude et de projectivit \'e : techniques de ``platification'' d'un module

    Michel Raynaud and Laurent Gruson. Crit \`e res de platitude et de projectivit \'e : techniques de ``platification'' d'un module. Inventiones Mathematicae , 13:1--89, 1971

    1971

  27. [27]

    Hyperbolicity of generic high-degree hypersurfaces in complex projective space

    Yum-Tong Siu. Hyperbolicity of generic high-degree hypersurfaces in complex projective space. Inventiones Mathematicae , 202(3):1069--1166, 2015

    2015

  28. [28]

    Diophantine Approximations and Value Distribution Theory , volume 1239 of Lecture Notes in Mathematics

    Paul Vojta. Diophantine Approximations and Value Distribution Theory , volume 1239 of Lecture Notes in Mathematics . Springer, 1987

    1987

  29. [29]

    Siegel's theorem in the compact case

    Paul Vojta. Siegel's theorem in the compact case. Annals of Mathematics , 133(3):509--548, 1991

    1991

  30. [30]

    Around the dynamical Mordell--Lang conjecture

    Junyi Xie. Around the dynamical Mordell--Lang conjecture. In Laura DeMarco and Mattias Jonsson, editors, Algebraic, Complex, and Arithmetic Dynamics , Simons Symposia, pages 59--98. Springer, Cham, 2026

    2026

  31. [31]

    Partial heights, entire curves, and the geometric Bombieri--Lang conjecture, 2023

    Junyi Xie and Xinyi Yuan. Partial heights, entire curves, and the geometric Bombieri--Lang conjecture, 2023. Acta Mathematica, to appear

    2023

  32. [32]

    The geometric Bombieri--Lang conjecture for ramified covers of abelian varieties

    Junyi Xie and Xinyi Yuan. The geometric Bombieri--Lang conjecture for ramified covers of abelian varieties. Peking Mathematical Journal , pages 1--24, 2026

    2026

  33. [33]

    Kobayashi hyperbolicity and higher-dimensional Nevanlinna theory

    Katsutoshi Yamanoi. Kobayashi hyperbolicity and higher-dimensional Nevanlinna theory. In Geometry and Analysis on Manifolds , pages 209--273. Birkh \"a user, 2015

    2015