Pith. sign in

REVIEW 1 minor 65 references

Quantitativity in the Mordell Conjecture

T0 review · 0 major / 1 minor · reviewed 2026-06-26 · grok-4.3

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

Pith's one-line read Yu-Yuan-Zhou establish explicit quantitative bounds for the number of rational points on curves of genus at least two.

desk verdict This is a survey recapping the Yu-Yuan-Zhou quantitative uniformity result for the Mordell conjecture, with no new proofs or derivations of its own. read the letter →

arxiv 2606.27129 v1 pith:I6V6VGE5 submitted 2026-06-25 math.NT math.AG

Xinyi Yuan This is my paper · ORCID
classification math.NTmath.AG
keywords MordellconjecturerationalpointsuniformboundsquantitativeestimatesalgebraiccurvesnumberfieldsFaltingstheorem
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 presents the quantitative version of the uniform Mordell problem. The Mordell conjecture, proved by Faltings, asserts only finitely many rational points exist on a smooth projective curve of genus at least two over a number field. The uniform version supplies bounds on this number that depend only on the genus and the degree of the number field, and was settled by combining Vojta's work with results of Dimitrov-Habegger-Gao and Kühne. Yu-Yuan-Zhou add explicit size estimates to these uniform bounds. A sympathetic reader cares because the result turns a statement of finiteness into one with concrete, usable upper limits.

What carries the argument

The quantitative uniformity problem for rational points on curves of genus at least two, which produces explicit bounds by merging prior uniformity results with new estimates.

What would settle it

An explicit curve of genus at least two over a number field whose number of rational points exceeds the quantitative upper bound stated in the Yu-Yuan-Zhou theorem.

Watch

Extended reading notes

Core claim

The recent work of Yu-Yuan-Zhou proves a quantitative refinement of the uniform Mordell problem by supplying explicit upper bounds on the number of rational points, obtained by combining the uniformity theorems of Vojta, Dimitrov-Habegger-Gao and Kühne with additional estimates.

Load-bearing premise

The uniformity theorems of Vojta, Dimitrov-Habegger-Gao and Kühne can be combined with the estimates supplied by Yu-Yuan-Zhou to yield explicit bounds.

Editorial extensions

If this is right

  • The number of rational points on such curves is bounded by an explicit function of the genus and the degree of the number field.
  • These bounds are effective and in principle allow computation of all rational points once the bound is known.
  • Finiteness statements in the Mordell conjecture become effective rather than purely existential.
  • The same combination of uniformity and estimates applies to related Diophantine finiteness problems.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • The explicit bounds may permit practical enumeration algorithms for rational points on individual curves once the constants are computed.
  • The approach could extend to give quantitative statements for other uniform finiteness results in arithmetic geometry.
  • Height functions and their distribution on moduli spaces become more directly usable for bounding point counts.
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 is a survey on the Mordell conjecture, which asserts finiteness of rational points on smooth projective curves of genus at least 2 over number fields. It recalls that the uniform Mordell problem (uniform upper bounds on the number of such points) has been solved by combining Vojta's work with results of Dimitrov--Habegger--Gao and Kuhne. The paper then introduces a quantitative version of this uniformity problem, attributing its proof to the recent work of Yu--Yuan--Zhou.

Significance. If the summary of the cited external results is accurate, the survey offers a concise overview of progress toward quantitative bounds in Diophantine geometry. It explicitly credits the combination of uniformity theorems with the additional estimates supplied by Yu--Yuan--Zhou, providing a clear pointer to the literature for readers interested in effective versions of the Mordell conjecture.

minor comments (1)
  1. The abstract refers to 'the recent work of Yu--Yuan--Zhou' without a citation; adding the arXiv or journal reference in the introduction would improve traceability.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive assessment of the manuscript and for recommending acceptance. The report correctly captures the scope of the survey as an overview of the uniform Mordell problem and its quantitative strengthening due to Yu--Yuan--Zhou.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity; survey reports external result

full rationale

The manuscript is explicitly a survey whose sole purpose is to introduce a quantitative uniformity result already proved in the cited external work of Yu--Yuan--Zhou. No derivations, equations, or load-bearing steps are advanced inside the paper itself. The central claim therefore rests entirely on the correctness of that prior proof and does not reduce to any self-referential construction, fitted input, or self-citation chain within the present text.

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

This is an expository survey; no free parameters, axioms, or invented entities are introduced by the paper itself.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Quantitativity in the Mordell Conjecture." pith.science (2026). https://pith.science/paper/I6V6VGE5

@misc{pith2026260627129,
  author       = {Pith},
  title        = {Pith review of: Quantitativity in the Mordell Conjecture},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/I6V6VGE5}},
  note         = {Machine review of arXiv:2606.27129}
}
read the original abstract

The Mordell conjecture asserts that there are only finitely many rational points on a smooth projective curve of genus at least two over a number field. The uniform Mordell problem asks for suitable upper bounds on the number of rational points in the Mordell conjecture, and has been solved by combining works of Vojta, Dimitrov--Habegger--Gao and Kuhne. In this survey, we will introduce a quantitative version of the uniformity problem proved by the recent work of Yu--Yuan--Zhou.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

65 extracted references · 42 canonical work pages

  1. [1]

    S. J. Arakelov, An intersection theory for divisors on an arithmetic surface , Izv. Akad. Nauk SSSR Ser. Mat. , 38 (1974), pp. 1179--1192, https://doi.org/10.1070/IM1974v008n06ABEH002141

    work page doi:10.1070/im1974v008n06abeh002141 1974

  2. [2]

    V. G. Berkovich, Spectral theory and analytic geometry over non-Archimedean fields, Number 33 in Mathematical Surveys and Monographs, American Mathematical Society, 1990

    1990

  3. [3]

    Bombieri and W

    E. Bombieri and W. Gubler, Heights in D iophantine geometry , volume 4 of New Mathematical Monographs , Cambridge University Press, Cambridge, 2006

    2006

  4. [4]

    Bosch, W

    S. Bosch, W. L\"utkebohmert, and M. Raynaud, N\'eron models , Ergebnisse der Mathematik und ihrer Grenzgebiete (3), 21, Springer, Berlin, 1990

    1990

  5. [5]

    F. A. Bogomolov, Points of finite order on an abelian variety, Math. USSR Izv., 17 (1981), pp. 55-72, https://doi.org/10.1070/IM1981v017n01ABEH001329

    work page doi:10.1070/im1981v017n01abeh001329 1981

  6. [6]

    Bombieri, The M ordell conjecture revisited , Ann

    E. Bombieri, The M ordell conjecture revisited , Ann. Scuola Norm. Sup. Pisa Cl. Sci. (4) , 17 (1990), pp. 615--640

    1990

  7. [7]

    Cantat, Z

    S. Cantat, Z. Gao, P. Habegger, and J. Xie, The geometric B ogomolov conjecture , Duke Math. J. , 170 (2021), pp. 247--277, https://doi.org/10.1215/00127094-2020-0044

    work page doi:10.1215/00127094-2020-0044 2021

  8. [8]

    Cinkir, Zhang's conjecture and the effective Bogomolov conjecture over function fields , Invent

    Z. Cinkir, Zhang's conjecture and the effective Bogomolov conjecture over function fields , Invent. Math., 183 (2011), pp. 517--562, https://doi.org/10.1007/s00222-010-0282-7

    work page doi:10.1007/s00222-010-0282-7 2011

Show all 65 references
  1. [9]

    Chambert-Loir

    A. Chambert-Loir. Mesures et \' e quidistribution sur les espaces de B erkovich , J. Reine Angew. Math. , 595 (2006), pp. 215--235

    2006

  2. [10]

    Chambert-Loir and A

    A. Chambert-Loir and A. Thuillier, Mesures de Mahler et \'equidistribution logarithmique , Ann. Inst. Fourier (Grenoble) 59 (2009), 977--1014, https://doi.org/10.5802/aif.2454

    2009 doi

  3. [11]

    de Diego, Points rationnels sur les familles de courbes de genre au moins 2 , J

    T. de Diego, Points rationnels sur les familles de courbes de genre au moins 2 , J. Number Theory, 67 (1997), pp. 85--114, https://doi.org/10.1006/jnth.1997.2146

    1997 doi

  4. [12]

    Deligne, Le d\' e terminant de la cohomologie , In Current trends in arithmetical algebraic geometry ( A rcata, C alif., 1985) , Contemp

    P. Deligne, Le d\' e terminant de la cohomologie , In Current trends in arithmetical algebraic geometry ( A rcata, C alif., 1985) , Contemp. Math. 67, Amer. Math. Soc., Providence, RI, 1987, pp. 93--177

    1985

  5. [13]

    Dimitrov, Z

    V. Dimitrov, Z. Gao, and P. Habegger, Uniformity in Mordell-Lang for curves , Ann. of Math. (2) 194 (2021), no. 1, 237--298

    2021

  6. [14]

    de Jong, N\'eron-Tate heights of cycles on Jacobians , J

    R. de Jong, N\'eron-Tate heights of cycles on Jacobians , J. Algebraic Geom. 27 (2018), pp. 339--381, https://doi.org/10.1090/jag/700

    2018 doi

  7. [15]

    Faber, The geometric B ogomolov conjecture for curves of small genus , Experiment

    X. Faber, The geometric B ogomolov conjecture for curves of small genus , Experiment. Math. , 18 (2009), pp. 347--367, https://doi.org/10.1080/10586458.2009.10129049

    2009 doi

  8. [16]

    a tze f\

    G. Faltings. Endlichkeitss\" a tze f\" u r abelsche V ariet\" a ten \" u ber Z ahlk\" o rpern , Invent. Math. , 73 (1983), pp. 349--366, https://doi.org/10.1007/BF01388432

    1983 doi

  9. [17]

    Faltings, Calculus on arithmetic surfaces , Ann

    G. Faltings, Calculus on arithmetic surfaces , Ann. of Math. (2) , 119 (1984), pp. 387--424, https://doi.org/10.2307/2007043

    1984 doi

  10. [18]

    Faltings, Diophantine approximation on abelian varieties , Ann

    G. Faltings, Diophantine approximation on abelian varieties , Ann. of Math. (2) , 133 (1991), pp. 549--576, https://doi.org/10.2307/2944319

    1991 doi

  11. [19]

    Faltings, The general case of S

    G. Faltings, The general case of S. Lang's conjecture , in Barsotti Symposium in Algebraic Geometry (Abano Terme, 1991), Perspect. Math. 15, Academic Press, San Diego, CA, 1994, pp. 175--182

    1991

  12. [20]

    Gao, Recent developments of the uniform Mordell–Lang conjecture , preprint, https://arxiv.org/abs/2104.03431, 2021

    Z. Gao, Recent developments of the uniform Mordell–Lang conjecture , preprint, https://arxiv.org/abs/2104.03431, 2021

    2021

  13. [21]

    Z. Gao, T. Ge, and L. K\"uhne, The Uniform Mordell-Lang Conjecture , https://arxiv.org/abs/2105.15085, 2021

    2021

  14. [22]

    Gao and P

    Z. Gao and P. Habegger, Heights in families of abelian varieties and the geometric B ogomolov conjecture , Ann. of Math. (2) , 189 (2019), pp. 527--604, https://doi.org/10.4007/annals.2019.189.2.3

    2019 doi

  15. [23]

    Gillet and C

    H. Gillet and C. Soul\' e , Arithmetic intersection theory , Inst. Hautes \' E tudes Sci. Publ. Math. , 72 (1990, 1991), pp. 93--174

    1990

  16. [24]

    Gillet and C

    H. Gillet and C. Soul\' e , An arithmetic R iemann- R och theorem , Invent. Math. , 110(3):473--543, 1992, https://doi.org/10.1007/BF01231343

    1992 doi

  17. [25]

    Gubler, The B ogomolov conjecture for totally degenerate abelian varieties , Invent

    W. Gubler, The B ogomolov conjecture for totally degenerate abelian varieties , Invent. Math. , 169 (2007), pp. 377--400, https://doi.org/10.1007/s00222-007-0049-y

    2007 doi

  18. [26]

    Hriljac, Heights and Arakelov's intersection theory , Amer

    P. Hriljac, Heights and Arakelov's intersection theory , Amer. J. Math. 107 (1985), pp. 23--38, https://doi.org/10.2307/2374455

    1985 doi

  19. [27]

    Hindry and J

    M. Hindry and J. H. Silverman, Diophantine geometry , Graduate Texts in Mathematics 201. Springer-Verlag, New York, 2000

    2000

  20. [28]

    Habegger, The number of rational points on a curve of genus at least two , ICM--International Congress of Mathematicians 3

    P. Habegger, The number of rational points on a curve of genus at least two , ICM--International Congress of Mathematicians 3. Sections 1--4, EMS Press, Berlin, pp. 1838--1869

  21. [29]

    Ikoma, S

    H. Ikoma, S. Kawaguchi, and A. Moriwaki, The M ordell conjecture---a complete proof from D iophantine geometry , Cambridge Tracts in Mathematics 226. Cambridge University Press, Cambridge, 2022

    2022

  22. [30]

    G. A. Kabatjanski i and V. I. Leven ste in, Bounds for packings on the sphere and in space , Problemy Pereda ci Informacii , 14 (1978), pp. 3--25

    1978

  23. [31]

    K\"uhne, Equidistribution in Families of Abelian Varieties and Uniformity , preprint, https://arxiv.org/abs/2101.10272v2, 2021

    L. K\"uhne, Equidistribution in Families of Abelian Varieties and Uniformity , preprint, https://arxiv.org/abs/2101.10272v2, 2021

    2021

  24. [32]

    Lang, Introduction to Arakelov theory , Springer-Verlag, New York, 1988

    S. Lang, Introduction to Arakelov theory , Springer-Verlag, New York, 1988

    1988

  25. [33]

    Looper, J

    N. Looper, J. Silverman, and R. Wilms, A uniform quantitative Manin-Mumford theorem for curves over function fields , J. Reine Angew. Math. 828 (2025), pp. 127--147

    2025

  26. [34]

    Lawrence and A

    B. Lawrence and A. Venkatesh, Diophantine problems and p -adic period mappings , Invent. Math. , 221 (2020), pp. 893--999

    2020

  27. [35]

    Mazur, Arithmetic on curves

    B. Mazur, Arithmetic on curves. Bulletin of the American Mathematical Society , 14 (1986), pp. 207--259, https://doi.org/10.1090/S0273-0979-1986-15430-3

    1986 doi

  28. [36]

    J. S. Milne, Jacobian varieties , Arithmetic geometry ( S torrs, C onn., 1984) , Springer, New York, 1986, pp. 167--212

    1984

  29. [37]

    J. S. Milne, Abelian varieties , 2008 https://www.jmilne.org/math/CourseNotes/av.html

    2008

  30. [38]

    L. J. Mordell, On the rational solutions of the indeterminate equations of the third and fourth degrees , Mathematical Proceedings of the Cambridge Philosophical Society 21 (1922), pp. 17--192

    1922

  31. [39]

    Mumford, A remark on Mordell's conjecture , Amer

    D. Mumford, A remark on Mordell's conjecture , Amer. J. Math. 87 (1965), pp. 1007--1016, https://doi.org/10.2307/2373258

    1965 doi

  32. [40]

    D. Mumford, Abelian varieties , Tata Institute of Fundamental Research Studies in Mathematics 5, Published for the Tata Institute of Fundamental Research, Bombay, 2008, with appendices by C. P. Ramanujam and Yuri Manin, corrected reprint of the second, 1974 edition

    2008

  33. [41]

    Rankin, The closest packing of spherical caps in n dimensions , Proceedings of the Glasgow Mathematical Association 2 (1955), pp

    R. Rankin, The closest packing of spherical caps in n dimensions , Proceedings of the Glasgow Mathematical Association 2 (1955), pp. 139--144, https://doi.org/10.1017/S2040618500033219

    1955 doi

  34. [42]

    Raynaud, Courbes sur une vari\'et\'e ab\'elienne et points de torsion , Invent

    M. Raynaud, Courbes sur une vari\'et\'e ab\'elienne et points de torsion , Invent. Math. , 71 (1983), pp. 207--233, https://doi.org/10.1007/BF01393342

    1983 doi

  35. [43]

    Raynaud, Sous-vari\'et\'es d'une vari\'et\'e ab\'elienne et points de torsion , in Arithmetic and geometry , Progr

    M. Raynaud, Sous-vari\'et\'es d'une vari\'et\'e ab\'elienne et points de torsion , in Arithmetic and geometry , Progr. Math. 1, Birkh\"auser Boston, Boston, 1983, pp. 327--352

    1983

  36. [44]

    R\'emond, D\'ecompte dans une conjecture de Lang , Invent

    G. R\'emond, D\'ecompte dans une conjecture de Lang , Invent. Math., 142 (2000), pp. 513--545, https://doi.org/10.1007/s002220000095

    2000 doi

  37. [45]

    R\'emond, In\'egalit\'e de Vojta en dimension sup\'erieure , Ann

    G. R\'emond, In\'egalit\'e de Vojta en dimension sup\'erieure , Ann. Scuola Norm. Sup. Pisa Cl. Sci. (4), 29 (2000), pp. 101--151, https://doi.org/10.1016/S0764-4442(00)88135-5

    2000 doi

  38. [46]

    J. -P. Serre, Lectures on the M ordell- W eil theorem , Friedr. Vieweg & Sohn, Braunschweig, 1989, translated from the French and edited by Martin Brown from notes by Michel Waldschmidt

    1989

  39. [47]

    Szpiro, E

    L. Szpiro, E. Ullmo, and S. Zhang, \' E quir\' e partition des petits points , Invent. Math. , 127 (1997), pp. 337--347, https://doi.org/10.1007/s002220050123

    1997 doi

  40. [48]

    Ullmo, P ositivit\'e et discr\`etion des points alg\'ebriques des courbes , Ann

    E. Ullmo, P ositivit\'e et discr\`etion des points alg\'ebriques des courbes , Ann. of Math. (2) , 147(1998), pp. 167--179, https://doi.org/10.2307/120987

    1998 doi

  41. [49]

    Vojta, Siegel's theorem in the compact case , Ann

    P. Vojta, Siegel's theorem in the compact case , Ann. of Math. (2) , 133 (1991), pp. 509--548, https://doi.org/10.2307/2944318

    1991 doi

  42. [50]

    Wilms, On arithmetic intersection numbers on self-products of curves , J

    R. Wilms, On arithmetic intersection numbers on self-products of curves , J. Algebraic Geom. 31 (2022), pp. 397--424, https://doi.org/10.1090/jag/777

    2022 doi

  43. [51]

    Xie and X

    J. Xie and X. Yuan, Geometric Bogomolov conjecture in arbitrary characteristics , Invent. Math. 229 (2022), pp. 607--637, https://doi.org/10.1007/s00222-022-01112-1

    2022 doi

  44. [52]

    Yamaki, Strict supports of canonical measures and applications to the geometric B ogomolov conjecture , Compos

    K. Yamaki, Strict supports of canonical measures and applications to the geometric B ogomolov conjecture , Compos. Math. , 152 (2016), pp. 997--1040, https://doi.org/10.1112/S0010437X15007721

    2016 doi

  45. [53]

    Yamaki, Non-density of small points on divisors on abelian varieties and the B ogomolov conjecture , J

    K. Yamaki, Non-density of small points on divisors on abelian varieties and the B ogomolov conjecture , J. Amer. Math. Soc. , 30 (2017), pp. 1133--1163, https://doi.org/10.1090/jams/874

    2017 doi

  46. [54]

    Yamaki, Trace of abelian varieties over function fields and the geometric B ogomolov conjecture , J

    K. Yamaki, Trace of abelian varieties over function fields and the geometric B ogomolov conjecture , J. Reine Angew. Math. , 741 (2018), pp. 133--159, https://doi.org/10.1515/crelle-2015-0086

    2018 doi

  47. [55]

    J. Yu, An Explicit Uniform Mordell Conjecture over Function Fields of Characteristic Zero , preprint, https://arxiv.org/abs/2307.02101, 2023, to appear in the Journal of Algebraic Geometry

    2023

  48. [56]

    Yuan, Big line bundles over arithmetic varieties , Invent

    X. Yuan, Big line bundles over arithmetic varieties , Invent. Math. , 173 (2008), pp. 603--649, https://doi.org/10.1007/s00222-008-0127-9

    2008 doi

  49. [57]

    Yuan, Arithmetic bigness and a uniform Bogomolov-type result , preprint, https://arxiv.org/abs/2108.05625, 2021, to appear in the Annals of Mathematics

    X. Yuan, Arithmetic bigness and a uniform Bogomolov-type result , preprint, https://arxiv.org/abs/2108.05625, 2021, to appear in the Annals of Mathematics

    2021

  50. [58]

    Yuan, On Vojta's proof of the Mordell conjecture , preprint, https://arxiv.org/abs/2508.11888, 2025

    X. Yuan, On Vojta's proof of the Mordell conjecture , preprint, https://arxiv.org/abs/2508.11888, 2025

    2025

  51. [59]

    J. Yu, X. Yuan, and S. Zhou. Quantitativity on the Number of Rational Points in the Mordell Conjecture , arXiv:2602.01820, 2026

    2026

  52. [60]

    Yuan and S

    X. Yuan and S. Zhang, The arithmetic Hodge index theorem for adelic line bundles , Math. Ann. 367 (2017), pp. 1123--1171, https://doi.org/10.1007/s00208-016-1414-1

    2017 doi

  53. [61]

    Yuan and S

    X. Yuan and S. Zhang, Adelic line bundles on quasi-projective varieties , preprint, https://arxiv.org/abs/2105.13587v6, 2021, to appear in the Annals of Mathematics Studies

    2021

  54. [62]

    Zhang, Admissible pairing on a curve , Invent

    S. Zhang, Admissible pairing on a curve , Invent. Math. 112 (1993), pp. 171--193, https://doi.org/10.1007/BF01232429

    1993 doi

  55. [63]

    Zhang, Small points and adelic metrics , J

    S. Zhang, Small points and adelic metrics , J. Algebraic Geom. , 4(1995), pp. 281--300

    1995

  56. [64]

    Zhang, Equidistribution of small points on abelian varieties , Ann.of Math

    S. Zhang, Equidistribution of small points on abelian varieties , Ann.of Math. (2), 147 (1998) , pp. 159--165, 1998, https://doi.org/10.2307/120986

    1998 doi

  57. [65]

    Zhang, Gross- S choen cycles and dualising sheaves , Invent

    S. Zhang, Gross- S choen cycles and dualising sheaves , Invent. Math. , 179 (2010), pp. 1--73, https://doi.org/10.1007/s00222-009-0209-3

    2010 doi

Pith tools

Reviewed June 26, 2026 · model on record in the stance chip above.