Pith. sign in

REVIEW 1 minor 33 references

Recent progress on the geometric Bombieri--Lang conjecture

T0 review · 0 major / 1 minor · reviewed 2026-07-03 · grok-4.3

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read The geometric Bombieri-Lang conjecture holds for varieties admitting finite morphisms to abelian varieties over function fields of characteristic zero.

desk verdict This is a survey that organizes how Xie-Yuan and Gao proved the geometric Bombieri-Lang conjecture for varieties with finite morphisms to abelian varieties, without adding new theorems. read the letter →

arxiv 2607.02165 v1 pith:YP44QUR7 submitted 2026-07-02 math.AG math.CVmath.NT

Junyi Xie This is my paper · ORCID
classification math.AGmath.CVmath.NT
keywords geometricBombieri-LangconjecturefunctionfieldsabelianvarietiesVojta'sdictionaryentirecurvesrationalpointsarithmeticgeometry
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

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.

What carries the argument

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

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.

Watch

Extended reading notes

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.

Load-bearing premise

The varieties under consideration admit finite morphisms to abelian varieties.

Editorial extensions

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.

Reading between the lines

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.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit.

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 · score 1.0 of 10

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.

Assumptions & free parameters 0 free parameters · 0 assumptions · 0 invented entities

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

how reviews work

0 comments
Cite this review

Pith. "Pith review of Recent progress on the geometric Bombieri--Lang conjecture." pith.science (2026). https://pith.science/paper/YP44QUR7

@misc{pith2026260702165,
  author       = {Pith},
  title        = {Pith review of: Recent progress on the geometric Bombieri--Lang conjecture},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/YP44QUR7}},
  note         = {Machine review of arXiv:2607.02165}
}
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.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

33 extracted references · 33 canonical work pages

  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

    work page 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

    work page 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

    work page 2010

  4. [4]

    Bell, Dragos Ghioca, and Thomas J

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

    work page 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

    work page 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

    work page 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

    work page 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

    work page 2024

Show all 33 references
  1. [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

  2. [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

  3. [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

  4. [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

  5. [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

  6. [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

  7. [15]

    The geometric dynamical Northcott and Bogomolov properties, 2019

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

    2019

  8. [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

  9. [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

  10. [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

  11. [19]

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

    1963

  12. [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

  13. [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

  14. [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

  15. [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

  16. [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

  17. [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

  18. [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

  19. [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

  20. [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

  21. [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

  22. [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

  23. [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

  24. [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

  25. [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

Pith tools

Reviewed July 3, 2026 · model on record in the stance chip above.