pith. machine review for the scientific record. sign in

arxiv: 2605.09847 · v1 · submitted 2026-05-11 · 🧮 math.AG

Recognition: 3 theorem links

· Lean Theorem

Geometric Shafarevich boundedness conjecture for families of polarized varieties

Junchao Shentu

Pith reviewed 2026-05-12 02:11 UTC · model grok-4.3

classification 🧮 math.AG
keywords Shafarevich conjecturemoduli stackstable minimal modelsKSB pairsboundednesspolarized varietiesminimal model programalgebraic geometry
0
0 comments X

The pith

The geometric Shafarevich boundedness conjecture holds for the moduli stack of stable minimal models.

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

This paper proves that the geometric Shafarevich boundedness conjecture is true for the moduli stack of stable minimal models. The conjecture asserts that families of such varieties over a fixed base, with good reduction outside a finite set, fall into finitely many isomorphism classes. The result applies in particular to the moduli stack of KSB pairs, which are stable pairs arising in the minimal model program. A sympathetic reader cares because the proof supplies a finiteness statement that limits how these families can vary while preserving stability conditions. It builds on the theory of algebraic stacks to organize the families into a single object whose boundedness follows from the conjecture.

Core claim

The authors establish the geometric Shafarevich boundedness conjecture for the moduli stack of stable minimal models, including in particular the moduli stack of KSB pairs. This means that, for fixed base and fixed numerical invariants, only finitely many isomorphism classes of such families exist when bad reduction is confined to a finite set of points.

What carries the argument

the moduli stack of stable minimal models, an algebraic stack that parametrizes families of polarized varieties satisfying the stability and singularity conditions required by the minimal model program

If this is right

  • Only finitely many isomorphism classes of stable minimal models exist over any fixed base with controlled reduction.
  • The same finiteness applies directly to KSB pairs with fixed Hilbert polynomial or other invariants.
  • The moduli stack itself has finitely many irreducible components when the base is fixed.
  • Stack-theoretic methods can now be applied to other finiteness questions involving polarized varieties that admit stable minimal models.

Where Pith is reading between the lines

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

  • The argument may extend to other classes of varieties once their stability conditions are shown to fit inside the stable minimal model framework.
  • Similar boundedness statements could be derived for moduli problems over bases of higher dimension by iterating the reduction steps.
  • Computational classification of such varieties becomes feasible in principle, since only a finite list needs checking for each set of invariants.

Load-bearing premise

The standard definitions and properties of stable minimal models and KSB pairs in the moduli stack context hold as assumed in the broader theory of algebraic stacks and the minimal model program.

What would settle it

An explicit infinite collection of pairwise non-isomorphic families of stable minimal models over a fixed base curve, all with good reduction outside one fixed finite set of points and with the same numerical invariants, would disprove the boundedness.

read the original abstract

We establish the geometric Shafarevich boundedness conjecture for the moduli stack of stable minimal models, including in particular the moduli stack of KSB pairs.

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 / 2 minor

Summary. The manuscript establishes the geometric Shafarevich boundedness conjecture for the moduli stack of stable minimal models, including in particular the moduli stack of KSB pairs. The argument proceeds by reducing the boundedness statement directly to the properness and projectivity of the relevant moduli stacks, which are taken as established results from the literature on the minimal model program.

Significance. If the reduction holds, the result confirms a conjecture with implications for the boundedness of families of polarized varieties with stable singularities. The approach is a strength because it avoids new foundational work and relies on existing properties of algebraic stacks and the MMP without introducing internal gaps, circularity, or dimension-specific failures.

minor comments (2)
  1. The abstract is extremely concise and omits any mention of the reduction to properness/projectivity; adding one sentence on the proof strategy would improve accessibility without altering the technical content.
  2. The title refers to 'families of polarized varieties' while the abstract and claim focus on stable minimal models and KSB pairs; a brief clarifying sentence in the introduction relating the two would help readers.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive assessment of the manuscript and their recommendation to accept. The summary accurately reflects the main result: a direct reduction of the geometric Shafarevich boundedness conjecture to the known properness and projectivity of the moduli stacks of stable minimal models (including KSB pairs) from the existing MMP literature.

Circularity Check

0 steps flagged

No significant circularity; derivation self-contained via external MMP results

full rationale

The paper proves the geometric Shafarevich boundedness conjecture for the moduli stack of stable minimal models (including KSB pairs) by reducing the boundedness statement directly to the properness and projectivity of the relevant moduli stacks. These properties are invoked as established results from the broader literature on the minimal model program and algebraic stacks, rather than being derived internally or via self-citation chains that reduce to the paper's own inputs. No self-definitional equations, fitted parameters renamed as predictions, or load-bearing uniqueness theorems from the authors' prior work appear in the derivation chain. The argument remains independent of the target conjecture and is externally falsifiable against standard MMP benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Abstract-only review provides no explicit free parameters, invented entities, or ad-hoc axioms; the result is stated as a proof relying on prior foundations of moduli theory and the minimal model program.

axioms (1)
  • standard math Standard axioms and definitions from algebraic geometry, stack theory, and the minimal model program for stable varieties.
    The claim presupposes the established framework for moduli stacks of stable minimal models and KSB pairs.

pith-pipeline@v0.9.0 · 5298 in / 1098 out tokens · 32844 ms · 2026-05-12T02:11:19.296023+00:00 · methodology

discussion (0)

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

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

Reference graph

Works this paper leans on

39 extracted references · 39 canonical work pages

  1. [1]

    Alexeev,Complete moduli in the presence of semiabelian group action, Ann

    V. Alexeev,Complete moduli in the presence of semiabelian group action, Ann. of Math. (2)155(2002), no. 3, 611–708. MR1923963

    work page 2002

  2. [2]

    S. Ju. Arakelov,Families of algebraic curves with fixed degeneracies, Izv. Akad. Nauk SSSR Ser. Mat.35 (1971), 1269–1293. MR0321933

    work page 1971

  3. [3]

    Bedulev and E

    E. Bedulev and E. Viehweg,On the Shafarevich conjecture for surfaces of general type over function fields, Invent. Math.139(2000), no. 3, 603–615. MR1738062

    work page 2000

  4. [4]

    Bierstone and F

    E. Bierstone and F. Vera Pacheco,Resolution of singularities of pairs preserving semi-simple normal crossings, Rev. R. Acad. Cienc. Exactas F´ ıs. Nat. Ser. A Mat. RACSAM107(2013), no. 1, 159–188. MR3031268

    work page 2013

  5. [5]

    Birkar,Moduli of algebraic varieties, arXiv:2211.11237

    C. Birkar,Moduli of algebraic varieties, arXiv:2211.11237

    work page arXiv

  6. [6]

    Campana and M

    F. Campana and M. P˘ aun,Foliations with positive slopes and birational stability of orbifold cotangent bundles, Publ. Math. Inst. Hautes ´Etudes Sci.129(2019), 1–49. MR3949026

    work page 2019

  7. [7]

    Deligne, ´Equations diff´ erentielles ` a points singuliers r´ eguliers, Lecture Notes in Mathematics, Vol

    P. Deligne, ´Equations diff´ erentielles ` a points singuliers r´ eguliers, Lecture Notes in Mathematics, Vol. 163, Springer-Verlag, Berlin-New York, 1970. MR0417174

    work page 1970

  8. [8]

    Faltings,Arakelov’s theorem for abelian varieties, Invent

    G. Faltings,Arakelov’s theorem for abelian varieties, Invent. Math.73(1983), no. 3, 337–347. MR718934

    work page 1983

  9. [9]

    Math.73(1983), no

    ,Endlichkeitss¨ atze f¨ ur abelsche Variet¨ aten ¨ uber Zahlk¨ orpern, Invent. Math.73(1983), no. 3, 349–366. MR718935

    work page 1983

  10. [10]

    Fujino,Abundance theorem for semi log canonical threefolds, Duke Math

    O. Fujino,Abundance theorem for semi log canonical threefolds, Duke Math. J.102(2000), no. 3, 513–532. MR1756108

    work page 2000

  11. [11]

    ,Semipositivity theorems for moduli problems, Ann. of Math. (2)187(2018), no. 3, 639–665. MR3779955

    work page 2018

  12. [12]

    Hacking,Compact moduli of plane curves, Duke Math

    P. Hacking,Compact moduli of plane curves, Duke Math. J.124(2004), no. 2, 213–257. MR2078368

    work page 2004

  13. [13]

    Kashiwara,A study of variation of mixed Hodge structure, Publ

    M. Kashiwara,A study of variation of mixed Hodge structure, Publ. Res. Inst. Math. Sci.22(1986), no. 5, 991–1024. MR866665

    work page 1986

  14. [14]

    Koll´ ar and N

    J. Koll´ ar and N. I. Shepherd-Barron,Threefolds and deformations of surface singularities, Invent. Math.91 (1988), no. 2, 299–338. MR922803

    work page 1988

  15. [15]

    Koll´ ar,Moduli of varieties of general type, arXiv:1008.0621

    J. Koll´ ar,Moduli of varieties of general type, arXiv:1008.0621

    work page arXiv

  16. [16]

    Koll´ ar,Projectivity of complete moduli, J

    J. Koll´ ar,Projectivity of complete moduli, J. Differential Geom.32(1990), no. 1, 235–268. MR1064874

    work page 1990

  17. [17]

    200, Cambridge University Press, Cambridge, 2013

    ,Singularities of the minimal model program, Cambridge Tracts in Mathematics, vol. 200, Cambridge University Press, Cambridge, 2013. With a collaboration of S´ andor Kov´ acs. MR3057950

    work page 2013

  18. [18]

    231, Cambridge Univer- sity Press, Cambridge, 2023

    ,Families of varieties of general type, Cambridge Tracts in Mathematics, vol. 231, Cambridge Univer- sity Press, Cambridge, 2023. With the collaboration of Klaus Altmann and S´ andor J. Kov´ acs. MR4566297

    work page 2023

  19. [19]

    Koll´ ar and C

    J. Koll´ ar and C. Y. Xu,Moduli of polarized Calabi-Yau pairs, Acta Math. Sin. (Engl. Ser.)36(2020), no. 6, 631–637. MR4110324

    work page 2020

  20. [20]

    S. J. Kov´ acs,Strong non-isotriviality and rigidity, Recent progress in arithmetic and algebraic geometry, 2005, pp. 47–55. MR2182770

    work page 2005

  21. [21]

    Part 2, 2009, pp

    ,Subvarieties of moduli stacks of canonically polarized varieties: generalizations of Shafarevich’s con- jecture, Algebraic geometry—Seattle 2005. Part 2, 2009, pp. 685–709. MR2483952

    work page 2005

  22. [22]

    S. J. Kov´ acs and M. Lieblich,Erratum for Boundedness of families of canonically polarized manifolds: a higher dimensional analogue of Shafarevich’s conjecture, Ann. of Math. (2)173(2011), no. 1, 585–617. MR2753611

    work page 2011

  23. [23]

    S. J. Kov´ acs and Z. Patakfalvi,Projectivity of the moduli space of stable log-varieties and subadditivity of log-Kodaira dimension, J. Amer. Math. Soc.30(2017), no. 4, 959–1021. MR3671934

    work page 2017

  24. [24]

    S. J. Kov´ acs and B. Taji,Arakelov inequalities in higher dimensions, J. Reine Angew. Math.806(2024), 115–145. MR4685085 BOUNDEDNESS OF FAMILIES 23

    work page 2024

  25. [25]

    K. Liu, A. Todorov, S.-T. Yau, and K. Zuo,Shafarevich’s conjecture for CY manifolds. I, Q. J. Pure Appl. Math.1(2005), no. 1, 28–67. MR2155142

    work page 2005

  26. [26]

    Olsson, Hom -stacks and restriction of scalars, Duke Math

    M. Olsson, Hom -stacks and restriction of scalars, Duke Math. J.134(2006), no. 1, 139–164. MR2239345

    work page 2006

  27. [27]

    ,A boundedness theorem for Hom-stacks, Math. Res. Lett.14(2007), no. 6, 1009–1021. MR2357471

    work page 2007

  28. [28]

    A. N. Parˇ sin,Algebraic curves over function fields. I, Izv. Akad. Nauk SSSR Ser. Mat.32(1968), 1191–1219. MR0257086

    work page 1968

  29. [29]

    Shentu,Stratified hyperbolicity of the moduli stack of stable minimal models, i, arXiv:2506.17537

    J. Shentu,Stratified hyperbolicity of the moduli stack of stable minimal models, i, arXiv:2506.17537

    work page arXiv

  30. [30]

    C. T. Simpson,Constructing variations of Hodge structure using Yang-Mills theory and applications to uni- formization, J. Amer. Math. Soc.1(1988), no. 4, 867–918. MR944577

    work page 1988

  31. [31]

    ,Harmonic bundles on noncompact curves, J. Amer. Math. Soc.3(1990), no. 3, 713–770. MR1040197

    work page 1990

  32. [32]

    Hautes ´Etudes Sci

    ,Higgs bundles and local systems, Inst. Hautes ´Etudes Sci. Publ. Math.75(1992), 5–95. MR1179076

    work page 1992

  33. [33]

    Viehweg,Weak positivity and the additivity of the Kodaira dimension for certain fibre spaces, Algebraic varieties and analytic varieties (Tokyo, 1981), 1983, pp

    E. Viehweg,Weak positivity and the additivity of the Kodaira dimension for certain fibre spaces, Algebraic varieties and analytic varieties (Tokyo, 1981), 1983, pp. 329–353. MR715656

    work page 1981

  34. [34]

    Viehweg and K

    E. Viehweg and K. Zuo,On the isotriviality of families of projective manifolds over curves, J. Algebraic Geom.10(2001), no. 4, 781–799. MR1838979

    work page 2001

  35. [35]

    VIII (Boston, MA, 2002), 2003, pp

    ,Discreteness of minimal models of Kodaira dimension zero and subvarieties of moduli stacks, Surveys in differential geometry, Vol. VIII (Boston, MA, 2002), 2003, pp. 337–356. MR2039995

    work page 2002

  36. [36]

    J.118 (2003), no

    ,On the Brody hyperbolicity of moduli spaces for canonically polarized manifolds, Duke Math. J.118 (2003), no. 1, 103–150. MR1978884

    work page 2003

  37. [37]

    Differential Geom.66(2004), no

    ,A characterization of certain Shimura curves in the moduli stack of abelian varieties, J. Differential Geom.66(2004), no. 2, 233–287. MR2106125

    work page 2004

  38. [38]

    Wei and L

    C. Wei and L. Wu,Hyperbolicity for Log Smooth Families with Maximal Variation, Int. Math. Res. Not. IMRN1(2023), 708–743. MR4530119

    work page 2023

  39. [39]

    Xu and Z

    C. Xu and Z. Zhuang,On positivity of the CM line bundle on K-moduli spaces, Ann. of Math. (2)192(2020), no. 3, 1005–1068. MR4172625 Email address:stjc@ustc.edu.cn School of Mathematical Sciences, University of Science and Technology of China, Hefei, 230026, China

    work page 2020