Recognition: no theorem link
The minimal volume of stable surfaces of rank one
Pith reviewed 2026-05-12 04:46 UTC · model grok-4.3
The pith
The minimal volume of a stable surface of rank one is determined and attained by a unique surface up to isomorphism.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
We determine the minimal volume of a stable surface of rank one, and show that the surface attaining this minimum is unique up to isomorphism. This resolves a conjecture of Alexeev and the second author. The decisive step of the proof uses a plurigenus inequality re-derived by an AI chatbot and applied as a pluricanonical filter in the basket analysis; the same filter rules out additional cases in the classification of small-volume threefolds of general type and in Kollár's algebraic Montgomery-Yang problem.
What carries the argument
The plurigenus inequality, applied as a pluricanonical filter in the basket analysis of possible singularities for stable surfaces of rank one.
If this is right
- The same plurigenus inequality eliminates further cases in the classification of small-volume threefolds of general type.
- The inequality supplies a tool for resolving Kollár's algebraic Montgomery-Yang problem.
- Basket analysis combined with this filter becomes a systematic method for locating minimal-volume examples in related classes of varieties.
- The uniqueness statement implies that the moduli space of rank-one stable surfaces has a distinguished point corresponding to the minimal-volume example.
Where Pith is reading between the lines
- The explicit human-AI division of labor described here may be replicable in other classification problems where a single inequality can serve as a sharp filter.
- The approach suggests that minimal-volume questions for higher-dimensional stable varieties could be attacked by first isolating an analogous plurigenus-type inequality.
- Because the surface is unique, its invariants (such as its canonical class and singularity basket) become canonical reference data for studying the boundary of the moduli space of stable surfaces.
Load-bearing premise
The plurigenus inequality functions as the decisive pluricanonical filter that rules out every other candidate surface in the classification.
What would settle it
Explicit construction of a stable surface of rank one whose volume is strictly smaller than the claimed minimum, or of a second non-isomorphic surface that attains exactly the same volume.
read the original abstract
We determine the minimal volume of a stable surface of rank one, and show that the surface attaining this minimum is unique up to isomorphism. This resolves a conjecture of Alexeev and the second author. Of independent interest, the decisive step of the proof uses a plurigenus inequality re-derived by an AI chatbot and applied as a pluricanonical filter; we further apply this filter to rule out additional cases in the classification of small-volume threefolds of general type, and in Koll\'ar's algebraic Montgomery--Yang problem. The underlying inequality has classical antecedents. To our knowledge this is the first paper in birational geometry to claim a C2-level human--AI collaboration in the sense of Feng et al., where the AI's contribution is the recognition that this inequality functions as the decisive pluricanonical filter in the basket analysis.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript determines the minimal volume of a stable surface of rank one and proves that the surface attaining this minimum is unique up to isomorphism, thereby resolving a conjecture of Alexeev and the second author. The central argument applies a plurigenus inequality (re-derived via AI chatbot) as a pluricanonical filter within the basket analysis of the classification of rank-one stable surfaces; the same filter is used to address additional cases in the classification of small-volume threefolds of general type and in Kollár's algebraic Montgomery-Yang problem.
Significance. If the inequality derivation and basket enumeration are verified, the result settles a concrete open question on the geography of stable surfaces and supplies an explicit minimal volume together with a uniqueness statement. The explicit use of an AI-rederived classical inequality as a decisive filter constitutes a documented human-AI collaboration at the level described by Feng et al.; this methodological aspect is of independent interest provided the underlying steps are fully reproducible.
major comments (2)
- [Section containing the inequality derivation and its application to baskets] The plurigenus inequality is load-bearing for the claim that all but one basket are excluded. The manuscript must include the complete re-derivation (with every algebraic step, any intermediate simplifications, and the precise range of applicability) rather than only citing classical antecedents; without this, independent verification that the inequality correctly filters the baskets cannot be performed.
- [Basket classification and filtering section] The basket enumeration for rank-one stable surfaces must be shown to be exhaustive. The text should list every admissible basket (including those with small volume) and demonstrate explicitly that each except the claimed minimizer is ruled out by the inequality; any omitted configuration that could produce volume ≤ the stated minimum would undermine both the minimality and uniqueness assertions.
minor comments (2)
- [Introduction] The precise formulation of the Alexeev-second-author conjecture should be quoted verbatim in the introduction so that readers can see exactly which statement is being resolved.
- [Notation and preliminary sections] Notation for the plurigenus and the basket invariants should be introduced once and used consistently; a short table summarizing the filtered baskets would improve readability.
Simulated Author's Rebuttal
We thank the referee for their detailed and constructive report. We address each of the major comments below and have incorporated revisions to enhance the clarity and verifiability of the manuscript.
read point-by-point responses
-
Referee: The plurigenus inequality is load-bearing for the claim that all but one basket are excluded. The manuscript must include the complete re-derivation (with every algebraic step, any intermediate simplifications, and the precise range of applicability) rather than only citing classical antecedents; without this, independent verification that the inequality correctly filters the baskets cannot be performed.
Authors: We agree with the referee that a complete re-derivation is essential for independent verification. In the revised manuscript, we now provide the full derivation of the plurigenus inequality, including every algebraic step, all intermediate simplifications, and a precise statement of its range of applicability. This addition ensures that the application as a pluricanonical filter in the basket analysis can be fully checked. revision: yes
-
Referee: The basket enumeration for rank-one stable surfaces must be shown to be exhaustive. The text should list every admissible basket (including those with small volume) and demonstrate explicitly that each except the claimed minimizer is ruled out by the inequality; any omitted configuration that could produce volume ≤ the stated minimum would undermine both the minimality and uniqueness assertions.
Authors: We acknowledge the importance of demonstrating exhaustiveness. The revised manuscript now includes a complete list of all admissible baskets for rank-one stable surfaces, encompassing those with small volumes. For each basket other than the one achieving the minimal volume, we explicitly apply the plurigenus inequality to rule it out, with detailed calculations showing why it cannot attain the minimum or smaller volume. This addresses the concerns regarding minimality and uniqueness. revision: yes
Circularity Check
No significant circularity; derivation resolves external conjecture via classical inequality
full rationale
The paper's central claim resolves a conjecture of Alexeev and the second author by applying a plurigenus inequality (with stated classical antecedents) as a pluricanonical filter in basket analysis. No load-bearing step reduces by definition, fitted input, or self-citation chain to the target result itself. The AI re-derivation is presented as a recognition of an existing inequality's filtering role rather than a self-referential construction, and the enumeration of cases is framed as exhaustive against external classification results. The derivation chain remains self-contained against the stated external benchmarks and antecedents.
Axiom & Free-Parameter Ledger
axioms (1)
- domain assumption The plurigenus inequality holds and functions as a pluricanonical filter for basket analysis in the classification of stable surfaces.
Reference graph
Works this paper leans on
-
[1]
Abe, Classification of exceptional complements: elliptic curve case, in I
T. Abe, Classification of exceptional complements: elliptic curve case, in I. Cheltsov, X. Chen, L. Katzarkov and J. Park (eds.), Birational Geometry, K\"ahler--Einstein Metrics and Degenerations, Springer Proc. Math. Stat. 409, Springer, Cham, 2023, pp. 1--16
work page 2023
-
[2]
V. Alexeev, Log canonical surface singularities: arithmetical approach, in Flips and Abundance for Algebraic Threefolds, Ast\'erisque No. 211, Soc. Math. France, Paris (1992), 47--58
work page 1992
-
[3]
Alexeev, Two two-dimensional terminations, Duke Math
V. Alexeev, Two two-dimensional terminations, Duke Math. J. 69 (1993), no. 3, 527--545
work page 1993
-
[4]
Alexeev, Boundedness and K^2 for log surfaces, Internat
V. Alexeev, Boundedness and K^2 for log surfaces, Internat. J. Math. 5 (1994), 779--810
work page 1994
-
[5]
V. Alexeev, and W. Liu, Open surfaces of small volume, Algebr. Geom. 6 (2019), no. 3, 312--327
work page 2019
-
[6]
V. Alexeev, and W. Liu, On accumulation points of volumes of log surfaces, Izv. Math. 83 (2019), no. 4, 657--675
work page 2019
-
[7]
V. Alexeev, and W. Liu, Log surfaces of Picard rank one from four lines in the plane, Eur. J. Math. 5 (2019), no. 3, 622--639
work page 2019
-
[8]
V. Alexeev, and S. Mori, Bounding singular surfaces of general type, in Algebra, arithmetic and geometry with applications (West Lafayette, IN, 2000), 143--174, Springer, Berlin, 2004
work page 2000
-
[9]
V. Alexeev, H. Arg\"uz, and P. Bousseau, The KSBA moduli space of stable log Calabi--Yau surfaces, Forum of Mathematics, Pi (2025), Vol. 13:e22 1--72
work page 2025
-
[10]
V. Alexeev, W. Liu, and M. Sch\"utt, On the moduli space of stable surfaces with p_g=1 realizing the minimal volume, arXiv:2510.17678
-
[11]
E. Arbarello, M. Cornalba, P. A. Griffiths, and J. Harris, Geometry of Algebraic Curves. Vol. I, Grundlehren der mathematischen Wissenschaften 267, Springer-Verlag, New York, 1985
work page 1985
- [12]
-
[13]
G. N. Belousov, Del Pezzo surfaces with log terminal singularities, Mat. Zametki 83 (2008), no. 2, 170--180; English transl., Math. Notes 83 (2008), no. 1--2, 152--161
work page 2008
-
[14]
G. N. Belousov, The maximal number of singular points on log del Pezzo surfaces, J. Math. Sci. Univ. Tokyo 16 (2009), no. 2, 231--238
work page 2009
-
[15]
C. Birkar, and S.-J. Lee, Explicit Bounds on the Spectrum of 6d N=(1,0) Supergravity, arXiv:2507.06295
-
[16]
C. Birkar, and S.-J. Lee, A Picard rank bound for base surfaces of elliptic Calabi--Yau 3-folds, arXiv:2507.06317
-
[17]
C. Birkar, and J. Liu, On explicit bounds of Fano threefolds, arXiv:2311.06732, to appear in Journal f\"ur die reine und angewandte Mathematik
- [18]
-
[19]
Blache, Positivity results for Euler characteristics of singular surfaces, Math
R. Blache, Positivity results for Euler characteristics of singular surfaces, Math. Z. 215 (1994), 1--12
work page 1994
-
[20]
Blache, Riemann--Roch theorem for normal surfaces and applications, Abh
R. Blache, Riemann--Roch theorem for normal surfaces and applications, Abh. Math. Sem. Univ. Hamburg 65 (1995), 307--340
work page 1995
-
[21]
E. Brieskorn, Rationale Singularit\"aten komplexer Fl\"achen, Invent. Math. 4 (1968), 336--358
work page 1968
-
[22]
J. Bryan, B. Elek, F. Manners, G. Salafatinos, and R. Vakil, The motivic class of the space of genus 0 maps to the flag variety, arXiv:2601.07222
-
[23]
Cascini, New directions in the Minimal Model Program, Boll
P. Cascini, New directions in the Minimal Model Program, Boll. Unione Mat. Ital. 14 (2021), no. 1, 179--190
work page 2021
-
[24]
J. A. Chen, and M. Chen, An optimal boundedness on weak Q -Fano 3-folds , Adv. Math. 219 (2008), no. 6, 2086--2104
work page 2008
-
[25]
J. A. Chen, and M. Chen, Explicit birational geometry of threefolds of general type, I, Ann. Sci. \'Ec. Norm. Sup\'er. (4) 43 (2010), no. 3, 365--394
work page 2010
-
[26]
J. A. Chen, and M. Chen, Explicit birational geometry of 3-folds of general type, II, J. Differential Geom. 86 (2010), no. 2, 237--271
work page 2010
-
[27]
J. A. Chen, and M. Chen, Explicit birational geometry of 3-folds and 4-folds of general type, III, Compos. Math. 151 (2015), no. 6, 1041--1082
work page 2015
-
[28]
J. A. Chen, and C. D. Hacon, On the geography of threefolds of general type, J. Algebra 321 (2009), no. 9, 2500--2507
work page 2009
-
[29]
G. Codogni, Z. Patakfalvi, and L. Tasin, Effective positivity of Hodge bundles and applications, arXiv:2506.10515
- [30]
- [31]
-
[32]
Towards Autonomous Mathematics Research.arXiv preprint arXiv:2602.10177, 2026
T. Feng et al., Towards autonomous mathematics research, arXiv:2602.10177
-
[33]
O. Fujino, Effective base point free theorem for log canonical pairs---Koll\'ar type theorem, Tohoku Math. J. (2) 61 (2009), no. 4, 475--481
work page 2009
-
[34]
C. D. Hacon, and A. Langer, On birational boundedness of foliated surfaces, J. Reine Angew. Math. 770 (2021), 205--229
work page 2021
-
[35]
C. D. Hacon, J. M c Kernan, and C. Xu, ACC for log canonical thresholds, Ann. of Math. (2) 180 (2014), no. 2, 523--571
work page 2014
- [36]
-
[37]
J. Han, and J. Liu, On termination of flips and exceptionally noncanonical singularities, Geom. Topol. 29 (2025), no. 1, 399--441
work page 2025
-
[38]
R. Hartshorne, Algebraic geometry, Springer-Verlag, New York-Heidelberg (1977), Graduate Texts in Mathematics, no. 52
work page 1977
-
[39]
X. Hou, K. H. Leung, and Q. Xiang, A generalization of an addition theorem of Kneser, J. Number Theory 97 (2002), 1--9
work page 2002
-
[40]
D. Hwang, and J. Keum, The maximum number of singular points on rational homology projective planes, J. Algebraic Geom. 20 (2011), 495--523
work page 2011
-
[41]
D. Hwang, and J. Keum, Algebraic Montgomery--Yang problem: the non-cyclic case, Math. Ann. 350 (2011), no. 3, 721--754
work page 2011
-
[42]
D. Hwang, and J. Keum, Construction of singular rational surfaces of Picard number one with ample canonical divisor, Proc. Amer. Math. Soc. 140 (2012), no. 6, 1865--1879
work page 2012
-
[43]
D. Hwang, and J. Keum, Algebraic Montgomery--Yang problem: the nonrational surface case, Michigan Math. J., 62 (2013), no. 1, 3--37
work page 2013
-
[44]
D. Hwang, and J. Keum, Algebraic Montgomery--Yang problem: the log del Pezzo surface case, J. Math. Soc. Japan, 66 (2014), no. 4, 1073--1089
work page 2014
-
[45]
C. Jiang, A gap theorem for minimal log discrepancies of non-canonical singularities in dimension three, J. Algebraic Geom. 30 (2021), 759--800
work page 2021
-
[46]
W. Jo, J. Park, and K. Park, Algebraic Montgomery-Yang problem and smooth obstructions, Trans. Amer. Math. Soc. 378 (2025), no. 4, 2969--3003
work page 2025
-
[47]
D. Kanevsky, J. Salazar, and M. Harvey, R -equivalence on Cubic Surfaces I: Existing Cases with Non-Trivial Universal Equivalence, arXiv:2603.19215
-
[48]
Kawakita, On equivalent conjectures for minimal log discrepancies on smooth threefolds, J
M. Kawakita, On equivalent conjectures for minimal log discrepancies on smooth threefolds, J. Algebraic Geom.\ 30 (2021), no. 1, 97--149
work page 2021
-
[49]
M. Kawakita, Minimal log discrepancies on a fixed threefold, arXiv:2412.03006, to appear in Journal of Algebraic Geometry
-
[50]
Kawakita, Minimal log discrepancies on smooth threefolds, J
M. Kawakita, Minimal log discrepancies on smooth threefolds, J. London Math. Soc.\ 113 (2026), no. 3, Paper No.\ e70510
work page 2026
-
[51]
S. Keel, and J. M c Kernan, Rational curves on quasi-projective surfaces, Mem. Amer. Math. Soc. 140 (1999), no. 669
work page 1999
-
[52]
Koll\'ar, Shafarevich maps and plurigenera of algebraic varieties, Invent
J. Koll\'ar, Shafarevich maps and plurigenera of algebraic varieties, Invent. Math. 113 (1993), no. 1, 177--215
work page 1993
-
[53]
Koll\'ar, Log surfaces of general type; some conjectures, Contemp
J. Koll\'ar, Log surfaces of general type; some conjectures, Contemp. Math. 162 (1994), 261--275
work page 1994
-
[54]
Koll\'ar, Shafarevich Maps and Automorphic Forms, M
J. Koll\'ar, Shafarevich Maps and Automorphic Forms, M. B. Porter Lectures, Princeton University Press, Princeton, NJ, 1996
work page 1996
-
[55]
Koll\'ar, Is there a topological Bogomolov-Miyaoka-Yau inequality?, Pure Appl
J. Koll\'ar, Is there a topological Bogomolov-Miyaoka-Yau inequality?, Pure Appl. Math. Q., 4 (2008), no. 2, 203--236
work page 2008
-
[56]
Koll\'ar, Moduli of varieties of general type, in Handbook of Moduli
J. Koll\'ar, Moduli of varieties of general type, in Handbook of Moduli. Vol. II, Adv. Lect. Math. (ALM) 25, Int. Press, Somerville, MA, 2013, pp. 131--157
work page 2013
-
[57]
Koll\'ar, Singularities of the minimal model program, Cambridge Tracts in Math
J. Koll\'ar, Singularities of the minimal model program, Cambridge Tracts in Math. 200, Cambridge Univ. Press, Cambridge, 2013
work page 2013
-
[58]
J. Koll\'ar, and S. Mori, Birational geometry of algebraic varieties, Cambridge Tracts in Math. 134, Cambridge Univ. Press, Cambridge, 1998
work page 1998
-
[59]
Kuwata, On log canonical thresholds of reducible plane curves, Amer
T. Kuwata, On log canonical thresholds of reducible plane curves, Amer. J. Math. 121 (1999), 701--721
work page 1999
-
[60]
Liu, Remark on complements on surfaces, Forum Math
J. Liu, Remark on complements on surfaces, Forum Math. Sigma 11 (2023), e42
work page 2023
-
[61]
J. Liu, and W. Liu, The minimal volume of surfaces of log general type with non-empty non-klt locus, arXiv:2308.14268, to appear in Algebraic Geometry
-
[62]
J. Liu, and Y. Luo, Second largest accumulation point of minimal log discrepancies of threefolds, arXiv:2207.04610
-
[63]
J. Liu, and V. V. Shokurov, Optimal bounds on surfaces, arXiv:2305.19248, to appear in Algebraic Geometry and Physics
-
[64]
J. Liu, and L. Xiao, An optimal gap of minimal log discrepancies of threefold non-canonical singularities, J. Pure Appl. Algebra 225 (2021), no. 9, Paper No. 106674
work page 2021
-
[65]
J. Liu, and L. Xie, Divisors computing minimal log discrepancies on lc surfaces, Math. Proc. Cambridge Philos. Soc. 175 (2023), no. 1, 107--128
work page 2023
-
[66]
J. Liu, and L. Xie, Number of singular points on projective surfaces, Chin. Ann. Math. Ser. B 46 (2025), 713--724
work page 2025
-
[67]
W. Liu, The minimal volume of log canonical surfaces of general type with positive geometric genus, Israel J. Math. (online, 2025); doi:10.1007/s11856-025-2815-1
-
[68]
Y. Miyaoka, The maximal number of quotient singularities on surfaces with given numerical invariants, Math. Ann. 268 (1984), 159--171
work page 1984
-
[69]
The simplicity of the hodge bundle.arXiv preprint arXiv:2603.19052, 2026
A. Patel, The Simplicity of the Hodge Bundle, arXiv:2603.19052
-
[70]
Y. G. Prokhorov, On log canonical thresholds, II, Comm. Algebra 30 (2002), no. 12, 5809--5823
work page 2002
-
[71]
J. Schmitt, Extremal descendant integrals on moduli spaces of curves: An inequality discovered and proved in collaboration with AI, arXiv:2512.14575
-
[72]
V. V. Shokurov, Threefold log flips, with an appendix by Y. Kawamata, Izv. Ross. Akad. Nauk Ser. Mat. 56 (1992), no. 1, 105--203
work page 1992
-
[73]
V. V. Shokurov, Complements on surfaces, J. Math. Sci. (New York) 102 (2000), no. 2, 3876--3932
work page 2000
-
[74]
C. Spicer, and R. Svaldi, Effective generation for foliated surfaces: results and applications, J. Reine Angew. Math. 795 (2023), 45--84
work page 2023
-
[75]
Rank one foliations on toroidal varieties
C. Spicer, and L. Tasin, Rank one foliations on toroidal varieties, arXiv:2604.08100
work page internal anchor Pith review Pith/arXiv arXiv
-
[76]
ahler--Einstein metrics on certain K\
G. Tian, On K\"ahler--Einstein metrics on certain K\"ahler manifolds with c_1(M)>0 , Invent. Math. 89 (1987), 225--246
work page 1987
-
[77]
Totaro, Klt varieties with conjecturally minimal volume, Int
B. Totaro, Klt varieties with conjecturally minimal volume, Int. Math. Res. Not. IMRN (2024), no. 1, 462--491
work page 2024
-
[78]
B. Totaro, and C. Wang, Klt varieties of general type with small volume, Ann. Sc. Norm. Super. Pisa Cl. Sci. (5) 24 (2023), no. 3, 1557--1573
work page 2023
-
[79]
G. Xiao, Problem list, in Birational Geometry of Algebraic Varieties, Open Problems, The XXIIIrd International Symposium, The Taniguchi Foundation, 1988, pp. 36--41
work page 1988
-
[80]
Xiao, Bound of automorphisms of surfaces of general type, I, Ann
G. Xiao, Bound of automorphisms of surfaces of general type, I, Ann. of Math. (2) 139 (1994), no. 1, 51--77
work page 1994
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.