Boundedness of total Cartier indices for rational singularities in families

Jihao Liu; Ruicheng Hu; Sheng Qin

arxiv: 2605.22782 · v1 · pith:S25XHE3Nnew · submitted 2026-05-21 · 🧮 math.AG

Boundedness of total Cartier indices for rational singularities in families

Jihao Liu , Ruicheng Hu , Sheng Qin This is my paper

Pith reviewed 2026-05-22 02:57 UTC · model grok-4.3

classification 🧮 math.AG MSC 14B0514E30

keywords rational singularitiesCartier indexbounded familiesmoduli spacesbirational geometryvanishing theoremsalgebraic geometry

0 comments

The pith

The total Cartier index of varieties with rational singularities is bounded in any bounded family.

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

The paper establishes that varieties with rational singularities have a uniformly bounded total Cartier index whenever they appear in a bounded family. Bounded families are those where all members share fixed numerical invariants such as volume or Hilbert polynomial, allowing parametrization in a moduli space. This result solves a problem of Han and Jiang. The proof separates the surface case from higher dimensions and uses vanishing theorems available specifically for rational singularities. A reader would care because the bound supplies uniform control over the denominators needed to make the canonical divisor Cartier across the whole collection.

Core claim

We show that the total Cartier index of varieties with rational singularities in a bounded family is bounded. This solves a problem of Han and Jiang. The overall structure of the proof, which treats the surface case and the higher-dimensional case separately, was originated by generative AI and substantially corrected and elaborated by hand.

What carries the argument

The total Cartier index, the multiplicative factor that clears denominators of the canonical divisor after resolution, is the central quantity whose boundedness follows from the boundedness of the family together with rationality of the singularities.

If this is right

The minimal model program for these varieties admits a uniform choice of indices across the family.
Other birational invariants depending on the Cartier index remain uniformly controlled.
Moduli spaces of varieties with rational singularities acquire additional bounded numerical data.
Classification problems for such singular varieties obtain effective uniform bounds.

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 klt singularities provided analogous vanishing theorems hold.
Low-dimensional explicit examples could yield concrete numerical bounds and test sharpness.
The result connects to broader boundedness statements for Fano varieties or other classes carrying rational singularities.

Load-bearing premise

The family of varieties must be bounded in the algebraic geometry sense, with fixed invariants such as Hilbert polynomial or volume, so that the indices cannot grow without limit.

What would settle it

An explicit bounded family of varieties with rational singularities in which the total Cartier index becomes arbitrarily large would disprove the main result.

read the original abstract

We show that the total Cartier index of varieties with rational singularities in a bounded family is bounded. This solves a problem of Han and Jiang. The overall structure of the proof, which treats the surface case and the higher-dimensional case separately, was originated by generative AI, particularly the Rethlas system, and was substantially corrected and elaborated by hand.

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.

Desk Editor's Note private letter to a colleague

Solves the Han-Jiang problem with a surface-versus-higher-dimensional split, but the Q-Gorenstein requirement for a finite Cartier index is not obviously guaranteed by rational singularities alone.

read the letter

The main point is that this paper proves the total Cartier index stays bounded for rational singularities in a bounded family, which directly answers the Han-Jiang question. The proof splits into surfaces and higher dimensions and leans on standard vanishing after resolution. They are upfront that generative AI supplied the initial outline and that they reworked it by hand, which keeps the record clear without hiding the tool use. That part is handled reasonably for the current state of the field. The result itself is a concrete boundedness statement that was open, so the claim has a clear target and is not just a routine extension of prior work on rational singularities. The case split looks like a practical way to manage the different vanishing and resolution behaviors that appear in low versus high dimension. The soft spot is the definition of the Cartier index. It is the smallest m such that mK_X is Cartier, which presupposes that X is Q-Gorenstein. Rational singularities are defined by vanishing of higher direct images on a resolution and do not force Q-Gorenstein in dimension three or higher. The abstract states the boundedness claim without an explicit Q-Gorenstein hypothesis or a reduction showing that the index remains finite and uniformly controlled when the hypothesis is dropped. If the full argument proves that bounded families with rational singularities are automatically Q-Gorenstein or handles the non-Q-Gorenstein locus separately, that step needs to be visible; otherwise the statement as written risks applying to cases where the index is undefined. This is a fixable gap rather than a load-bearing contradiction, but it is the sort of point a referee will want clarified with a precise statement of the hypotheses. The paper is aimed at people working on birational geometry, moduli of singular varieties, and singularity invariants. A reader already following Han-Jiang type questions or boundedness results for indices will get direct value from the theorem if the details hold. It is worth sending to peer review because the problem is specific and previously open, the approach is transparent about its tools, and the central claim is stated sharply enough that referees can check the derivations and the assumption issue without starting from scratch.

Referee Report

2 major / 1 minor

Summary. The paper proves that the total Cartier index of varieties with rational singularities in a bounded family is bounded, solving a problem posed by Han and Jiang. The proof is divided into the surface case and the higher-dimensional case, relying on resolution of singularities, vanishing theorems, and properties of bounded families in algebraic geometry. The overall proof structure was initially generated by AI and then corrected and elaborated manually.

Significance. If the central claim holds with the necessary hypotheses in place, the result would resolve an open question on uniform bounds for Cartier indices in families of varieties with rational singularities, contributing to the understanding of singularities in moduli problems. The explicit disclosure of AI assistance in outlining the proof structure followed by manual verification adds a note of methodological transparency.

major comments (2)

[Abstract] Abstract and introduction: The statement that the total Cartier index is bounded for varieties with rational singularities does not explicitly assume or prove that the varieties are Q-Gorenstein. The Cartier index is defined only when mK_X is Cartier for some m, which requires Q-Gorenstein; rational singularities (R^i π_* O_Y = 0 for i > 0) do not imply Q-Gorenstein in dimension ≥ 3, so the index may be undefined or infinite for some members of the family, undermining the boundedness claim.
[Higher-dimensional case] Higher-dimensional case section: The argument using standard vanishing and resolution properties to bound the index needs to specify how the Q-Gorenstein condition is obtained or assumed, as the reduction from the surface case does not automatically extend without it; without this, the uniform bound does not apply to all rational singularities in the bounded family.

minor comments (1)

[Introduction] The paper should include a precise definition of 'total Cartier index' early in the introduction, including how it is summed or aggregated over the family.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and for identifying the need to clarify the Q-Gorenstein hypothesis. We address both major comments below and will revise the manuscript accordingly to make the assumptions explicit.

read point-by-point responses

Referee: [Abstract] Abstract and introduction: The statement that the total Cartier index is bounded for varieties with rational singularities does not explicitly assume or prove that the varieties are Q-Gorenstein. The Cartier index is defined only when mK_X is Cartier for some m, which requires Q-Gorenstein; rational singularities (R^i π_* O_Y = 0 for i > 0) do not imply Q-Gorenstein in dimension ≥ 3, so the index may be undefined or infinite for some members of the family, undermining the boundedness claim.

Authors: We agree that the Cartier index is defined only for Q-Gorenstein varieties. The Han-Jiang problem concerns bounded families of Q-Gorenstein varieties with rational singularities; the manuscript implicitly works in this setting. We will revise the abstract and introduction to state explicitly that we consider Q-Gorenstein varieties with rational singularities. This clarification does not alter the proof. revision: yes
Referee: [Higher-dimensional case] Higher-dimensional case section: The argument using standard vanishing and resolution properties to bound the index needs to specify how the Q-Gorenstein condition is obtained or assumed, as the reduction from the surface case does not automatically extend without it; without this, the uniform bound does not apply to all rational singularities in the bounded family.

Authors: We will add a clarifying paragraph at the beginning of the higher-dimensional case section stating that the bounded family consists of Q-Gorenstein varieties (as required for the Cartier index to be defined) with rational singularities. The reduction from the surface case proceeds under this standing hypothesis, which is standard in the literature on Cartier indices. The vanishing and resolution arguments then apply directly to produce the uniform bound. revision: yes

Circularity Check

0 steps flagged

No circularity: derivation relies on external geometric theorems

full rationale

The paper proves boundedness of the total Cartier index for rational singularities in a bounded family by separating surface and higher-dimensional cases and invoking standard vanishing theorems and resolution properties. No self-definitional loops, fitted parameters renamed as predictions, or load-bearing self-citations appear in the abstract or described structure. The result is self-contained against external algebraic geometry benchmarks (e.g., properties of rational singularities and bounded families), with no equations reducing by construction to the inputs. The mention of generative AI for proof structure is incidental and does not affect the mathematical chain.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The result relies on standard properties of rational singularities and bounded families in algebraic geometry; no new free parameters or invented entities are introduced in the abstract.

axioms (1)

domain assumption Rational singularities satisfy cohomology vanishing and admit resolutions with controlled discrepancies.
Invoked implicitly to control the Cartier index in families.

pith-pipeline@v0.9.0 · 5571 in / 1080 out tokens · 37999 ms · 2026-05-22T02:57:46.688886+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

16 extracted references · 16 canonical work pages · 1 internal anchor

[1]

S. Basu, R. Pollack, and M.-F. Roy, Algorithms in real algebraic geometry, Algorithms and Computation in Mathematics, 10, 2nd ed., Springer-Verlag, Berlin, 2006

work page 2006
[2]

Birkar, P

C. Birkar, P. Cascini, C. D. Hacon, and J. M c Kernan, Existence of minimal models for varieties of log general type, J. Amer. Math. Soc. 23 (2010), no. 2, 405--468

work page 2010
[3]

Bourbaki, Commutative algebra

N. Bourbaki, Commutative algebra. Chapters 1--7, Elements of Mathematics, Springer-Verlag, Berlin, 1989

work page 1989
[4]

a ten komplexer Fl \

E. Brieskorn, Rationale Singularit \"a ten komplexer Fl \"a chen , Invent. Math. 4 (1968), 336--358

work page 1968
[5]

D. Greb, S. Kebekus, and T. Peternell, \'Etale fundamental groups of Kawamata log terminal spaces, flat sheaves, and quotients of abelian varieties, Duke Math. J. 165 (2016), 1965--2004

work page 2016
[6]

Han and C

J. Han and C. Jiang, Total Cartier index of a bounded family, Pure Appl. Math. Q. 22 (2026), no. 1, 171--179, arXiv:2503.23968

work page arXiv 2026
[7]

R. M. Hardt, Semi-algebraic local-triviality in semi-algebraic mappings, Amer. J. Math. 102 (1980), 291--302

work page 1980
[8]

Hartshorne, Local cohomology, Lecture Notes in Math., vol

R. Hartshorne, Local cohomology, Lecture Notes in Math., vol. 41, Springer-Verlag, Berlin, 1967

work page 1967
[9]

H. Ju, G. Gao, J. Jiang, B. Wu, Z. Sun, L. Chen, Y. Wang, Y. Wang, Z. Wang, W. He, P. Wu, L. Xiao, R. Liu, B. Dai, and B. Dong, Automated Conjecture Resolution with Formal Verification, arXiv:2604.03789

work page internal anchor Pith review Pith/arXiv arXiv
[10]

Koll \'a r, Maps between local Picard groups, Algebraic Geom

J. Koll \'a r, Maps between local Picard groups, Algebraic Geom. 3 (2016), 461--495

work page 2016
[11]

Koll\'ar and S

J. Koll\'ar and S. Mori, Birational geometry of algebraic varieties, Cambridge Tracts in Math. 134, Cambridge Univ. Press, Cambridge, 1998

work page 1998
[12]

Mumford, Algebraic geometry I: complex projective varieties, Grundlehren Math

D. Mumford, Algebraic geometry I: complex projective varieties, Grundlehren Math. Wiss. 221, Springer-Verlag, Berlin, 1976

work page 1976
[13]

V. V. Shokurov, Threefold log flips, with an appendix in English by Y. Kawamata, Izv. Ross. Akad. Nauk Ser. Mat. 56 (1992), no. 1, 105--203

work page 1992
[14]

The Stacks Project Authors, The Stacks Project, https://stacks.math.columbia.edu

work page
[15]

Steinitz, Algebraische Theorie der K \"o rper , J

E. Steinitz, Algebraische Theorie der K \"o rper , J. Reine Angew. Math. 137 (1910), 167--309

work page 1910
[16]

Verdier, Stratifications de Whitney et th \'e or \`e me de Bertini-Sard , Invent

J.-L. Verdier, Stratifications de Whitney et th \'e or \`e me de Bertini-Sard , Invent. Math. 36 (1976), 295--312

work page 1976

[1] [1]

S. Basu, R. Pollack, and M.-F. Roy, Algorithms in real algebraic geometry, Algorithms and Computation in Mathematics, 10, 2nd ed., Springer-Verlag, Berlin, 2006

work page 2006

[2] [2]

Birkar, P

C. Birkar, P. Cascini, C. D. Hacon, and J. M c Kernan, Existence of minimal models for varieties of log general type, J. Amer. Math. Soc. 23 (2010), no. 2, 405--468

work page 2010

[3] [3]

Bourbaki, Commutative algebra

N. Bourbaki, Commutative algebra. Chapters 1--7, Elements of Mathematics, Springer-Verlag, Berlin, 1989

work page 1989

[4] [4]

a ten komplexer Fl \

E. Brieskorn, Rationale Singularit \"a ten komplexer Fl \"a chen , Invent. Math. 4 (1968), 336--358

work page 1968

[5] [5]

D. Greb, S. Kebekus, and T. Peternell, \'Etale fundamental groups of Kawamata log terminal spaces, flat sheaves, and quotients of abelian varieties, Duke Math. J. 165 (2016), 1965--2004

work page 2016

[6] [6]

Han and C

J. Han and C. Jiang, Total Cartier index of a bounded family, Pure Appl. Math. Q. 22 (2026), no. 1, 171--179, arXiv:2503.23968

work page arXiv 2026

[7] [7]

R. M. Hardt, Semi-algebraic local-triviality in semi-algebraic mappings, Amer. J. Math. 102 (1980), 291--302

work page 1980

[8] [8]

Hartshorne, Local cohomology, Lecture Notes in Math., vol

R. Hartshorne, Local cohomology, Lecture Notes in Math., vol. 41, Springer-Verlag, Berlin, 1967

work page 1967

[9] [9]

H. Ju, G. Gao, J. Jiang, B. Wu, Z. Sun, L. Chen, Y. Wang, Y. Wang, Z. Wang, W. He, P. Wu, L. Xiao, R. Liu, B. Dai, and B. Dong, Automated Conjecture Resolution with Formal Verification, arXiv:2604.03789

work page internal anchor Pith review Pith/arXiv arXiv

[10] [10]

Koll \'a r, Maps between local Picard groups, Algebraic Geom

J. Koll \'a r, Maps between local Picard groups, Algebraic Geom. 3 (2016), 461--495

work page 2016

[11] [11]

Koll\'ar and S

J. Koll\'ar and S. Mori, Birational geometry of algebraic varieties, Cambridge Tracts in Math. 134, Cambridge Univ. Press, Cambridge, 1998

work page 1998

[12] [12]

Mumford, Algebraic geometry I: complex projective varieties, Grundlehren Math

D. Mumford, Algebraic geometry I: complex projective varieties, Grundlehren Math. Wiss. 221, Springer-Verlag, Berlin, 1976

work page 1976

[13] [13]

V. V. Shokurov, Threefold log flips, with an appendix in English by Y. Kawamata, Izv. Ross. Akad. Nauk Ser. Mat. 56 (1992), no. 1, 105--203

work page 1992

[14] [14]

The Stacks Project Authors, The Stacks Project, https://stacks.math.columbia.edu

work page

[15] [15]

Steinitz, Algebraische Theorie der K \"o rper , J

E. Steinitz, Algebraische Theorie der K \"o rper , J. Reine Angew. Math. 137 (1910), 167--309

work page 1910

[16] [16]

Verdier, Stratifications de Whitney et th \'e or \`e me de Bertini-Sard , Invent

J.-L. Verdier, Stratifications de Whitney et th \'e or \`e me de Bertini-Sard , Invent. Math. 36 (1976), 295--312

work page 1976