A klt generalized pair with infinitely generated canonical ring

Jihao Liu; Yanze Wang

A klt generalized pair with infinitely generated canonical ring

T0 review · 0 major / 4 minor · reviewed 2026-08-05 · deepseek-v4-flash

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

Pith's one-line read A klt generalized pair can have an infinitely generated canonical ring.

desk verdict A clean, parameter-free counterexample: first klt generalized pair with non-finitely generated canonical ring, via Totaro's invariant ring and the anti-affineness of E(A). read the letter →

arxiv 2608.03258 v1 pith:OSJ4CAIZ submitted 2026-08-04 math.AG

Jihao Liu , Yanze Wang This is my paper · ORCID

classification math.AG MSC 14E3013A5014K05

keywords generalizedpairscanonicalringsfinitegenerationHilbert'sfourteenthproblemanti-affinegroupskltsingularitiesnefdivisorsinvarianttheory

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

The paper constructs a smooth projective klt generalized pair over the complex numbers whose generalized log canonical ring is not finitely generated, a direct counterexample to the natural expectation that finite generation should persist from ordinary klt pairs. The construction works by encoding a classical non-finitely-generated invariant ring of Hilbert's fourteenth problem into the section ring of a projective bundle over an abelian variety. The key step is a descent lemma that identifies the global sections of symmetric powers of an associated bundle with the invariant ring of Totaro's representation, using Brion's theorem that the universal vector extension of an abelian variety is anti-affine. If correct, the example shows that bigness, abundance, low dimension, and analytic semi-positivity assumptions in known finite-generation results cannot be removed. The paper also computes that the relevant divisor class is nef with Iitaka dimension 11 and numerical dimension 15, so it is neither big nor abundant.

What carries the argument

The construction has three load-bearing components. First, Totaro's explicit representation U = (G_a)^4 acting on V = $A^{16}$ with non-finitely-generated invariant ring O(V)^U, which supplies the pathological ring. Second, Brion's theorem that the universal vector extension G = E(A) of an abelian variety A is anti-affine, i.e. O(G) = C; this forces every equivariant morphism from G to affine space to be constant. Third, the associated bundle E = G ×^U W, with W = V^∨, which is a rank-16 vector bundle on A filtrated by trivial line bundles, and the descent lemma identifying $H^{0}$(A, Sym^m E) with (Sym^m W)^U. The projective bundle X = P_A(E) then has canonical class K_X ∼ −16ξ, and the nef part M

What would settle it

Compute the graded pieces $H^{0}$(A, Sym^m E) directly from the description of E as an iterated extension of trivial line bundles (e.g. for m = 1, 2, 4, 8) and compare with the known dimensions of (Sym^m W)^U for Totaro's representation. Any mismatch in a single degree would disprove the descent lemma and hence the isomorphism R(X, ξ) ≅ O(V)^U.

Watch

Extended reading notes

Core claim

The main theorem exhibits a projective klt generalized pair (X, B, M) over C with X smooth, B = 0, M descending on X, and a nef Cartier divisor ξ such that K_X ∼ −16ξ, M_X ∼ 17ξ, hence K_X + B + M_X ∼ ξ. The generalized log canonical ring R(X, K_X + B + M_X) is isomorphic to R(X, ξ), which is in turn isomorphic to the invariant ring O(V)^U of an explicit 16-dimensional representation of U = (G_a)^4 constructed by Totaro. Since that invariant ring is known not to be finitely generated, the generalized canonical ring is not finitely generated either. The variety X has dimension 19, the divisor class ξ satisfies κ(X, ξ) = 11 < 15 = ν(X, ξ), and −K_X is nef while R(X, −K_X) is also not finitely

Load-bearing premise

The entire identification of the canonical ring with Totaro's invariant ring rests on Brion's theorem that the universal vector extension of an abelian variety has no nonconstant regular functions; if that failed, the descent lemma would not hold and the isomorphism would break.

Editorial extensions

If this is right

Finite generation of the generalized log canonical ring fails for projective klt generalized pairs in general, invalidating the direct analogue of the BCHM finite generation theorem.
The example has dimension 19, so any finite-generation statement in dimension at most 3, such as the Gongyo–Takayama result, cannot extend to all dimensions.
The nef divisor K_X + B + M_X is neither big nor abundant, so positivity assumptions of bigness or abundance cannot be dropped in positive finite-generation results.
The construction yields the first known smooth klt example with −K_X nef and R(X, −K_X) not finitely generated.
By contrapose of the analytic criterion of Gongyo–Takayama, the nef class 17ξ (and its pullbacks) admits no semi-positive singular Hermitian metric with vanishing Lelong numbers, giving algebraic examples of nef line bundles far from semi-positive in the analytic sense.

Reading between the lines

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

In our reading, the same descent mechanism should work for other anti-affine groups and other representations with non-finitely-generated invariant rings, potentially yielding additional examples or lower-dimensional counterexamples.
The authors state that the main result was obtained with generative AI and then human-verified; because the argument is a chain of standard theorems, an independent line-by-line check of the descent lemma (Proposition 3.4) and the projective bundle computation would be prudent.
The explicit dimension count suggests that the minimal possible dimension of a klt generalized pair with infinitely generated canonical ring is open; a search in dimensions 4 through 18, perhaps by varying the abelian variety and the representation, may settle it.
The identification of the canonical ring with an invariant ring could be tested computationally for low degrees, offering a direct check of the descent lemma before relying on the full theorem.

Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

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

Desk Editor's Note

read the letter

You should know this paper before anything else: it constructs the first projective klt generalized pair whose generalized log canonical ring is not finitely generated. The construction is transparent and load-bearing steps check out. Theorem 1.1 gives X smooth of dimension 19, B=0, M descending with M_X=17ξ, K_X∼-16ξ, and R(X,ξ) ≅ O(V)^U, where U≅(G_a)^4 acts on V=A^{16} by Totaro's non-finitely-generated invariant ring. The key descent lemma (Prop 3.4) uses Brion's theorem that E(A) is anti-affine, forcing H^0(A,F_L)=L^U. That step is correct, and the Chern class/projection formula computations giving ν=15 and κ=11 are consistent. The infinite generation is imported faithfully from Totaro, not assumed in disguise. No free parameters, no fitted normalizations. This is a genuine new result, and it sharply delimits the known positive theorems of Gongyo–Takayama.

The soft spots are real but minor. The dimension is 19, so the minimal-dimension question stays open; the paper says so. The nef part M is a multiple of ξ, so the example avoids the harder regime where M is not a line bundle class descending on X. The AI provenance is honestly disclosed in the abstract and Remark 1.5, but it does mean the verification burden is higher than for a human-only proof; the authors invite expert checking, and the paper is short enough that a referee can do it. The proof of Proposition 5.5 includes an explicit transcendence basis, which is good; the alternative via Rosenlicht is a reasonable shortcut. I did not find a circular step or a missing case. The remark comparing to the Atiyah bundle is a nice sanity check.

Who is this for? Specialists in birational geometry and MMP for generalized pairs, and anyone tracking the boundary of finite generation. It deserves a serious referee: the main theorem is important within the field, the construction is reproducible from the text, and the argument is largely self-contained once the two external theorems are granted. I would send it to review, and I would cite it. The only caveat for the referee: verify the descent lemma and the exact identification of H^0(A,Sym^m E) with the degree-m invariants, because everything rests on that. My own reading says it holds.

Referee Report

0 major / 4 minor

Summary. The paper constructs a smooth projective variety X of dimension 19 as P_A(E), where A is a 4-dimensional abelian variety and E is a rank-16 vector bundle obtained as an associated bundle to the universal vector extension G=E(A) of A, viewed as a U=(G_a)^4-torsor. Using Brion's theorem that E(A) is anti-affine, the authors prove a descent lemma identifying H^0(A,Sym^m E) with (Sym^m W)^U, where W is Totaro's explicit 16-dimensional representation whose invariant ring O(V)^U is not finitely generated. Setting B=0 and M=17ξ on X, they obtain a klt generalized pair with K_X+B+M_X∼ξ and R(X,K_X+B+M_X)≅O(V)^U, hence not finitely generated. They also compute κ(X,ξ)=11<15=ν(X,ξ), so the class is neither big nor abundant.

Significance. The result is significant: it gives the first example of a projective klt generalized pair whose generalized log canonical ring is not finitely generated, thereby showing that the BCHM finite-generation theorem does not extend to this broader category. The construction is explicit and parameter-free, resting on standard but powerful ingredients: Totaro's invariant-theoretic counterexample, Brion's anti-affineness theorem, and the projective bundle formula. The descent lemma is cleanly isolated and is the only place anti-affineness is used. The numerical computation κ=11<ν=15 demonstrates that the failure is not an artifact of small Iitaka dimension. I found no load-bearing mathematical error.

minor comments (4)

[Proof of Theorem 1.1(2)] The assertion that non-finite generation of R(X,ξ)=S implies non-finite generation of R(X,-K_X)=R(X,16ξ) is stated without proof. Since R(X,16ξ) is the 16-th Veronese of S, this is a standard consequence, but a one-sentence justification (finite generation of a Veronese subring of a section ring implies finite generation of the full section ring) would remove any doubt.
[Lemma 5.4, Step 3] The claim that for general v the set {u∈U | u·v∈dom(Φ)} is dense open in U is true but stated without argument. Spelling out that it is the preimage of the open dense dom(Φ) under the orbit map U→V, and hence dense open for general v, would improve rigor.
[Proposition 4.2] The divisor B_Y is negative effective (or zero) when X and Y are smooth and g is birational. It may help readers to note explicitly that the generalized klt condition only requires coefficients of B_Y to be <1, not that B_Y be effective.
[Throughout] Minor typographical issues: in Theorem 2.4, 'formula[Nag59]' lacks a space; the title and abstract contain extra spacing ('P AIR', 'INFINITEL Y', 'GENERA TED'). Reference [Gon24] is an annual report; a stable identifier or URL would be helpful if available.

Circularity Check

0 steps flagged · score 1.0 of 10

No significant circularity; the central derivation is self-contained and imports non-finite-generation from external invariant theory.

full rationale

The derivation chain is: (i) Totaro's explicit (G_a)^4-representation W with O(V)^U not finitely generated (Theorem 2.4, external); (ii) Brion's theorem that E(A) is anti-affine (Theorem 2.5, external); (iii) the associated bundle E=G×^U W (Set-up 3.2) and descent lemma Proposition 3.4 identifying H^0(A,Sym^m E) with (Sym^m W)^U via anti-affineness; (iv) the projective bundle computation K_X~-16ξ (Proposition 4.1(2)) and the choice M=17ξ giving K+B+M~ξ (Proposition 4.2); (v) hence R(X,K+B+M)≅R(X,ξ)≅O(V)^U (Lemma 5.2). Each isomorphism is proven, not assumed: the identification with O(V)^U follows from O(G)=C, not from the desired non-finite-generation. No parameter is fitted to a subset of data, no prediction is a renamed input, and no load-bearing uniqueness theorem is imported from the authors' own prior work. The only self-citation, [LX23, Example 2.2], is contextual (lc generalized pairs already known to fail) and is not used in the proof of Theorem 1.1. The AI-generated provenance note is irrelevant to circularity. Therefore no circular step is identifiable under the stated standards.

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

No free parameters are introduced; the construction is parameter-free and pulls from cited theorems. No new entities (particles, forces, dimensions) are postulated; all objects are standard: an abelian variety, its universal vector extension, an associated bundle, and a projectivization.

assumptions (5)

domain assumption Totaro's theorem: the ring of invariants O(V)^U for U=(G_a)^4 acting on V=A^16 via the explicit formula is not finitely generated.
Cited as [Tot08, Cor 7.1]; the non-finite-generation conclusion is imported from this external deep result.
domain assumption Brion's theorem: the universal vector extension E(A) of an abelian variety over a field of characteristic 0 is anti-affine, i.e., O(E(A)) = C.
Cited as [Bri09, Prop 2.3(i)]; used in the descent lemma to conclude every morphism G -> affine space is constant.
standard math The vector group U=(G_a)^4 is special, so every U-torsor is Zariski-locally trivial.
Used via [Ser58] to ensure the associated bundle is an algebraic vector bundle with local trivializations.
standard math Projective bundle formulas: π_* O_X(m) = Sym^m E and the relative Euler sequence determine the canonical class K_X.
Standard results [Har77] used to compute H^0(X,O_X(m)) and K_X ~ -16ξ.
standard math For a birational morphism g:Y -> X between smooth varieties, K_Y - g^*K_X is effective.
Used in Proposition 4.2 to show the generalized klt condition holds by producing B_Y with coefficients <= 0 < 1.

how reviews work

0 comments

Cite this review

Pith. "Pith review of A klt generalized pair with infinitely generated canonical ring." pith.science (2026). https://pith.science/paper/OSJ4CAIZ

@misc{pith2026260803258,
  author       = {Pith},
  title        = {Pith review of: A klt generalized pair with infinitely generated canonical ring},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/OSJ4CAIZ}},
  note         = {Machine review of arXiv:2608.03258}
}

read the original abstract

We construct a projective klt generalized pair over the complex numbers whose generalized log canonical ring is not finitely generated. The main result of this paper is obtained by generative AI, particularly GPT-5.6-sol-ultra, Fable 5, and the Danus system.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

20 extracted references · 16 canonical work pages

[1]

M. F. Atiyah, Vector bundles over an elliptic curve, Proc. London Math. Soc. (3) 7 (1957), 414--452

1957
[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

2010
[3]

J. P. Bell, D. Ghioca, and Z. Reichstein, On a dynamical version of a theorem of Rosenlicht, Ann. Sc. Norm. Super. Pisa Cl. Sci. (5) 17 (2017), no. 1, 187--204

work page 2017
[4]

Birkar and D.-Q

C. Birkar and D.-Q. Zhang, Effectivity of Iitaka fibrations and pluricanonical systems of polarized pairs, Publ. Math. Inst. Hautes \'Etudes Sci. 123 (2016), 283--331

work page 2016
[5]

Brion, Anti-affine algebraic groups, J

M. Brion, Anti-affine algebraic groups, J. Algebra 321 (2009), 934--952

work page 2009
[6]

Demailly, T

J.-P. Demailly, T. Peternell, and M. Schneider, Compact complex manifolds with numerically effective tangent bundles, J. Algebraic Geom. 3 (1994), 295--345

work page 1994
[7]

Gongyo, Research summary, in Annual Report 2023, Graduate School of Mathematical Sciences, The University of Tokyo, May 2024, p

Y. Gongyo, Research summary, in Annual Report 2023, Graduate School of Mathematical Sciences, The University of Tokyo, May 2024, p. 28

work page 2023
[8]

Gongyo and S

Y. Gongyo and S. Takayama, On twisted Kawamata's semi-positivity and finite generation of generalized canonical rings, arXiv:2404.07401

work page arXiv

Show all 20 references

[9]

Hartshorne, Algebraic geometry, Graduate Texts in Mathematics 52, Springer-Verlag, New York-Heidelberg, 1977

R. Hartshorne, Algebraic geometry, Graduate Texts in Mathematics 52, Springer-Verlag, New York-Heidelberg, 1977

1977
[10]

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

arXiv
[11]

Koll\'ar and S

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

1998
[12]

Lazarsfeld, Positivity in algebraic geometry I, II, Ergebnisse der Mathematik und ihrer Grenzgebiete 48, 49, Springer-Verlag, Berlin, 2004

R. Lazarsfeld, Positivity in algebraic geometry I, II, Ergebnisse der Mathematik und ihrer Grenzgebiete 48, 49, Springer-Verlag, Berlin, 2004

2004
[13]

J. Liu, G. Gao, Z. Sun, B. Wu, S. Liu, J. Jiang, H. Ju, L. Chen, R. Cheng, X. Zhang, and B. Dong, Danus: Orchestrating Mathematical Reasoning Agents with Fact-Graph Memory, arXiv:2607.06447

arXiv
[14]

Liu and L

J. Liu and L. Xie, Semi-ampleness of NQC generalized log canonical pairs, Adv. Math. 427 (2023), Paper No. 109126

2023
[15]

Mukai, Counterexample to Hilbert's fourteenth problem for the 3-dimensional additive group, RIMS Preprint 1343, Kyoto University, 2001

S. Mukai, Counterexample to Hilbert's fourteenth problem for the 3-dimensional additive group, RIMS Preprint 1343, Kyoto University, 2001

2001
[16]

Nagata, On the 14 -th problem of Hilbert, Amer

M. Nagata, On the 14 -th problem of Hilbert, Amer. J. Math. 81 (1959), 766--772

1959
[17]

Rosenlicht, Some basic theorems on algebraic groups, Amer

M. Rosenlicht, Some basic theorems on algebraic groups, Amer. J. Math. 78 (1956), 401--443

1956
[18]

Serre, Espaces fibr\'es alg\'ebriques, S\'eminaire C

J.-P. Serre, Espaces fibr\'es alg\'ebriques, S\'eminaire C. Chevalley, tome 3 (1958), Expos\'e no. 1

1958
[19]

V. V. Shokurov, Three-dimensional log perestroikas, Izv. Ross. Akad. Nauk Ser. Mat. 56 (1992), no. 1, 105--203

1992
[20]

Totaro, Hilbert's fourteenth problem over finite fields, and a conjecture on the cone of curves, Compos

B. Totaro, Hilbert's fourteenth problem over finite fields, and a conjecture on the cone of curves, Compos. Math. 144 (2008), 1176--1198

2008

Pith tools

Reviewed August 5, 2026 · model on record in the stance chip above.

[1] [1]

M. F. Atiyah, Vector bundles over an elliptic curve, Proc. London Math. Soc. (3) 7 (1957), 414--452

1957

[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

2010

[3] [3]

J. P. Bell, D. Ghioca, and Z. Reichstein, On a dynamical version of a theorem of Rosenlicht, Ann. Sc. Norm. Super. Pisa Cl. Sci. (5) 17 (2017), no. 1, 187--204

work page 2017

[4] [4]

Birkar and D.-Q

C. Birkar and D.-Q. Zhang, Effectivity of Iitaka fibrations and pluricanonical systems of polarized pairs, Publ. Math. Inst. Hautes \'Etudes Sci. 123 (2016), 283--331

work page 2016

[5] [5]

Brion, Anti-affine algebraic groups, J

M. Brion, Anti-affine algebraic groups, J. Algebra 321 (2009), 934--952

work page 2009

[6] [6]

Demailly, T

J.-P. Demailly, T. Peternell, and M. Schneider, Compact complex manifolds with numerically effective tangent bundles, J. Algebraic Geom. 3 (1994), 295--345

work page 1994

[7] [7]

Gongyo, Research summary, in Annual Report 2023, Graduate School of Mathematical Sciences, The University of Tokyo, May 2024, p

Y. Gongyo, Research summary, in Annual Report 2023, Graduate School of Mathematical Sciences, The University of Tokyo, May 2024, p. 28

work page 2023

[8] [8]

Gongyo and S

Y. Gongyo and S. Takayama, On twisted Kawamata's semi-positivity and finite generation of generalized canonical rings, arXiv:2404.07401

work page arXiv