Constructibility aspects of the cone conjecture

Daniil Serebrennikov

arxiv: 2604.27303 · v1 · submitted 2026-04-30 · 🧮 math.AG

Constructibility aspects of the cone conjecture

Daniil Serebrennikov This is my paper

Pith reviewed 2026-05-07 08:23 UTC · model grok-4.3

classification 🧮 math.AG

keywords K-trivial varietiescone conjectureminimal modelsautomorphism groupample conebirational geometryconstructibility

0 comments

The pith

For K-trivial varieties the automorphism group acts with finitely many orbits on ample classes of fixed volume, and minimal models with bounded polarization are finite in number up to isomorphism.

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

This paper proves two finiteness statements about K-trivial varieties that are presented as consequences of the Kawamata-Morrison-Totaro cone conjecture yet are shown to hold independently of the conjecture in every dimension. The first result asserts that the natural action of the automorphism group on ample divisor classes of any fixed volume produces only finitely many orbits. The second result asserts that a K-trivial variety has only finitely many isomorphism classes of minimal models once a bounded polarization is fixed on the models. Both statements are established using arguments that apply uniformly across dimensions without additional hypotheses on the cone conjecture itself.

Core claim

The paper establishes that for a K-trivial variety the natural action of its automorphism group on the set of ample divisor classes of fixed volume has only finitely many orbits. Additionally, the number of isomorphism classes of minimal models for a given K-trivial variety is finite if these models admit a bounded polarization. Both statements are proven unconditionally in all dimensions.

What carries the argument

Constructibility properties of subsets of the ample cone for K-trivial varieties, which are used to deduce orbit finiteness and model finiteness from the geometry of the cone.

If this is right

Any K-trivial variety with a fixed-volume ample class has only finitely many distinct polarized forms up to automorphism.
The set of minimal models of a K-trivial variety becomes finite once the polarization is required to lie in a bounded family.
Classification problems for K-trivial varieties with fixed numerical invariants reduce to finitely many cases without invoking the full cone conjecture.
The results apply equally in low and high dimensions, removing the need for dimension-specific arguments.

Where Pith is reading between the lines

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

The unconditional finiteness may allow direct construction of moduli spaces for polarized K-trivial varieties without first resolving the cone conjecture.
Similar constructibility techniques could be tested on related cones such as the effective cone or the movable cone to obtain parallel finiteness statements.

Load-bearing premise

The arguments rest on the standard definitions and basic properties of K-trivial varieties, ample cones, and minimal models in birational geometry.

What would settle it

An explicit K-trivial variety in any dimension together with an infinite sequence of distinct ample divisor classes of the same volume that lie in distinct orbits under the automorphism group would contradict the first claim.

read the original abstract

We establish two consequences of the Kawamata--Morrison--Totaro cone conjecture, and prove them unconditionally in all dimensions. First, for a K-trivial variety, the natural action of its automorphism group on the set of ample divisor classes of fixed volume has only finitely many orbits. Second, the number of (isomorphism classes of) minimal models for a given K-trivial variety is finite if these models admit a bounded polarization.

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

Serebrennikov gives unconditional proofs of two finiteness results for K-trivial varieties in all dimensions by applying constructibility to the relevant loci, without needing the full cone conjecture.

read the letter

The core of this paper is that it establishes two unconditional finiteness theorems for K-trivial varieties in arbitrary dimension. The automorphism group acts with finitely many orbits on the set of ample classes of fixed volume, and there are only finitely many minimal models up to isomorphism when a bounded polarization is fixed. These are presented as consequences of the cone conjecture that can be proved outright via constructibility arguments in the Néron-Severi space or related moduli spaces. That unconditional step in all dimensions is the actual advance; earlier literature had versions that stayed conditional or were limited to low dimensions or special cases. The abstract lays out the statements cleanly and the approach stays within standard definitions of K-trivial varieties, ample cones, and minimal models. The stress-test finds no internal contradictions or hidden assumptions on characteristic or singularities, which lines up with the claim that the proofs rest on basic properties plus constructibility. On the soft side, the full details of how the loci are shown to be constructible and how bounded polarization is used to control the models are not visible from the abstract alone, so any referee would need to check those steps for gaps in the dimension-independent arguments. The results also assume the usual setup for K-trivial varieties, and it is worth confirming whether they extend immediately to terminal or canonical singularities without extra work. This is aimed at people already working in birational geometry and the minimal model program for Calabi-Yau-type objects. A reader who cares about organizing finiteness statements around the cone conjecture will get something concrete from it. The claims are sharp enough and the method looks grounded enough that it should go to referees rather than a desk rejection.

Referee Report

0 major / 3 minor

Summary. The manuscript establishes two unconditional finiteness results for K-trivial varieties in all dimensions, presented as consequences of the Kawamata-Morrison-Totaro cone conjecture but proved independently via constructibility arguments. The first result states that the automorphism group of a K-trivial variety acts with only finitely many orbits on the set of ample divisor classes of fixed volume. The second states that a K-trivial variety has only finitely many isomorphism classes of minimal models, provided these models admit a bounded polarization. Both results are proved without assuming the full cone conjecture, relying on standard properties of the Néron-Severi space, ample cones, and minimal models.

Significance. If the results hold, they represent meaningful unconditional progress on finiteness questions in the birational geometry of K-trivial varieties, isolating constructible aspects of the ample cone and minimal model spaces that can be established independently of the full Kawamata-Morrison-Totaro conjecture. The approach strengthens the case for the conjecture by exhibiting concrete, provable consequences in all dimensions and provides a template for using constructibility to address orbit and model-counting problems without circularity or additional hypotheses on characteristic or singularities.

minor comments (3)

§2.3: The definition of 'bounded polarization' is introduced via a reference to a prior work; a self-contained sentence recalling the precise numerical condition (e.g., the volume bound or the class in the movable cone) would improve readability for readers outside the immediate subfield.
Theorem 1.1 and Theorem 1.2: The statements are clear, but the transition from the constructibility of the relevant locus in NS(X)_R to the finiteness of orbits (or models) would benefit from an explicit sentence indicating which theorem on constructible sets (e.g., Chevalley's theorem or a variant in the algebraic space setting) is applied.
Notation: The symbol 'K-trivial' is used throughout without a parenthetical reminder that it means K_X ≡ 0 in Pic(X)_Q; adding this once in the introduction would prevent any momentary ambiguity.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their careful reading and positive evaluation of the manuscript. The report recommends minor revision but raises no specific major comments or points requiring clarification. We are pleased that the unconditional nature of the two finiteness results and their independence from the full cone conjecture were recognized. We will make any minor editorial adjustments as needed in the revised version.

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The paper establishes two unconditional finiteness theorems for K-trivial varieties (finite Aut-orbits on fixed-volume ample classes, and finite minimal models under bounded polarization) via constructibility of loci in Néron-Severi space. These are explicitly proved without assuming the Kawamata-Morrison-Totaro cone conjecture, relying only on standard definitions and properties of ample cones and minimal models. No self-definitional reductions, fitted parameters renamed as predictions, load-bearing self-citations, or ansatz smuggling appear. The derivation chain is self-contained against external benchmarks in birational geometry.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The claims rest on the standard framework of complex algebraic geometry and the minimal model program. The cone conjecture is invoked only to motivate the statements; the actual proofs are unconditional and do not rely on it. No free parameters, new entities, or ad-hoc axioms are introduced in the abstract.

axioms (2)

standard math Standard axioms and definitions of algebraic geometry over the complex numbers
The paper works inside the usual category of complex projective varieties and uses the established language of divisors, cones, and birational maps.
domain assumption Basic properties of K-trivial varieties and the minimal model program
Assumes known facts about the canonical bundle being trivial and the existence of minimal models under suitable conditions.

pith-pipeline@v0.9.0 · 5349 in / 1553 out tokens · 76159 ms · 2026-05-07T08:23:07.757499+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

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

[1]

↑7 [SC11] V. V. Shokurov and S. R. Choi,Geography of log models: theory and applications, Central Euro- pean Journal of Mathematics9 (2011), no. 3, 489–534.↑28 [CMSP17] J. Carlson, S. M¨ uller-Stach, and C. Peters,Period Mappings and Period Domains, 2nd ed., Cambridge Studies in Advanced Mathematics, Cambridge University Press, Cambridge, 2017. ↑9, 13 [CL...

work page 2011
[2]

Li,A cone conjecture for log Calabi–Yau surfaces, Forum of Mathematics, Sigma13 (2025), e15

↑8, 21 [Li25] J. Li,A cone conjecture for log Calabi–Yau surfaces, Forum of Mathematics, Sigma13 (2025), e15. ↑25 [Mat02] K. Matsuki,Introduction to the Mori Program, Universitext, Springer New York, NY, 2002.↑27 [Max19] L. G. Maxim, Intersection Homology & Perverse Sheaves: with Applications to Singularities, Graduate Texts in Mathematics, Springer, Cham...

work page internal anchor Pith review arXiv 2025

[1] [1]

↑7 [SC11] V. V. Shokurov and S. R. Choi,Geography of log models: theory and applications, Central Euro- pean Journal of Mathematics9 (2011), no. 3, 489–534.↑28 [CMSP17] J. Carlson, S. M¨ uller-Stach, and C. Peters,Period Mappings and Period Domains, 2nd ed., Cambridge Studies in Advanced Mathematics, Cambridge University Press, Cambridge, 2017. ↑9, 13 [CL...

work page 2011

[2] [2]

Li,A cone conjecture for log Calabi–Yau surfaces, Forum of Mathematics, Sigma13 (2025), e15

↑8, 21 [Li25] J. Li,A cone conjecture for log Calabi–Yau surfaces, Forum of Mathematics, Sigma13 (2025), e15. ↑25 [Mat02] K. Matsuki,Introduction to the Mori Program, Universitext, Springer New York, NY, 2002.↑27 [Max19] L. G. Maxim, Intersection Homology & Perverse Sheaves: with Applications to Singularities, Graduate Texts in Mathematics, Springer, Cham...

work page internal anchor Pith review arXiv 2025