pith. sign in

arxiv: 2605.13881 · v2 · pith:3T6UPOJEnew · submitted 2026-05-11 · 🧮 math.AG

On the DCC Property of Iitaka Volume with Real Coefficients and Generalised Pairs

Pinxian Bie This is my paper

Pith reviewed 2026-05-20 23:03 UTC · model grok-4.3

classification 🧮 math.AG
keywords Iitaka volumeDCC propertyreal coefficientsgeneralised pairsalgebraic varietiesbirational geometrypairs of varieties
0
0 comments X

The pith

The Iitaka volumes of pairs of varieties satisfy the descending chain condition even with real coefficients.

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

This paper shows that the set of Iitaka volumes coming from a given collection of pairs of algebraic varieties obeys the descending chain condition. The result extends to the setting where the coefficients on the divisors are real numbers. It further holds for generalised pairs once natural boundedness assumptions are imposed on those pairs. These assumptions are used for technical reasons in the arguments. The property matters because it prevents infinite strictly decreasing sequences of volumes and thereby supports many classification statements in birational geometry.

Core claim

The central claim is that the set of Iitaka volumes of a given set of pairs of varieties satisfies the DCC property. This is established both when the coefficients are allowed to be real numbers and when the pairs are generalised pairs, provided natural boundedness assumptions hold.

What carries the argument

The descending chain condition imposed directly on the numerical set of Iitaka volumes, where each volume records the asymptotic growth rate of sections of multiples of a divisor on the variety.

If this is right

  • The possible Iitaka volumes below any fixed positive number form a discrete set.
  • Termination and existence results from the minimal model program extend more directly to real coefficients.
  • Families of generalised pairs with a fixed Iitaka volume are expected to satisfy boundedness statements.
  • Related numerical invariants attached to the same pairs are likely to inherit similar discreteness properties.

Where Pith is reading between the lines

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

  • The discreteness may simplify the construction of moduli spaces for varieties with bounded Iitaka volume.
  • Low-dimensional examples can be computed directly to produce concrete numerical checks of the DCC.
  • The same technique could be tested on other birational invariants such as log canonical thresholds.

Load-bearing premise

Natural boundedness assumptions on the generalised pairs must hold so that the technical steps of the proof remain valid.

What would settle it

An explicit infinite sequence of generalised pairs obeying the boundedness assumptions whose Iitaka volumes form a strictly decreasing chain would disprove the claim.

read the original abstract

We investigate the DCC property of the set of Iitaka volumes of a given set of pairs of varieties. We both generalize previous results of Birkar and Li about usual pairs to the real coefficient case, and also establish similar results on generalised pairs, where some natural boundedness assumptions are required for technical reasons.

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

2 major / 2 minor

Summary. The manuscript establishes the descending chain condition (DCC) for the set of Iitaka volumes associated to a fixed set of pairs of varieties. It extends the Birkar-Li theorems from the rational coefficient case to real coefficients, and proves an analogous DCC statement for generalised pairs, subject to natural boundedness assumptions on the generalised pairs that are imposed for technical reasons.

Significance. If the central claims hold, the result supplies a useful generalisation of known DCC statements for Iitaka volumes, which are frequently invoked in statements about the minimal model program, boundedness of varieties, and the behaviour of volume functions under birational transformations. The real-coefficient extension via approximation or continuity arguments, if rigorously carried out, would remove an artificial restriction present in earlier work.

major comments (2)
  1. [§3] §3 (or the section containing the statement for generalised pairs): the DCC result for generalised pairs is stated only under 'natural boundedness assumptions' whose necessity is not independently verified. The manuscript does not supply either a counter-example showing that DCC fails without these assumptions or a reduction showing that the assumptions are strictly weaker than those already needed for the Iitaka volume to be well-defined.
  2. [§2.3] §2.3 (the continuity/approximation argument for real coefficients): the claim that Iitaka volumes vary continuously under small real perturbations of the coefficients is used to pass from the rational to the real case, but no explicit modulus of continuity or reference to a prior lemma establishing uniform control on the volume function is cited, leaving open whether the DCC property survives the limit.
minor comments (2)
  1. [Introduction] Notation for generalised pairs (e.g., the pair (X, B + M)) should be introduced once in the introduction and used consistently; several later sections revert to ad-hoc symbols.
  2. [Abstract] The abstract and introduction both mention 'natural boundedness assumptions' without a forward reference to the precise statement; a single numbered assumption or hypothesis would improve readability.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading of the manuscript and the constructive comments. We address each major comment below and indicate the revisions we will make.

read point-by-point responses

  1. Referee: [§3] §3 (or the section containing the statement for generalised pairs): the DCC result for generalised pairs is stated only under 'natural boundedness assumptions' whose necessity is not independently verified. The manuscript does not supply either a counter-example showing that DCC fails without these assumptions or a reduction showing that the assumptions are strictly weaker than those already needed for the Iitaka volume to be well-defined.

    Authors: We agree that a clearer justification of the boundedness assumptions would improve the exposition. These assumptions are the minimal conditions under which the Iitaka volume of a generalised pair is known to be well-defined and positive, following the foundational setup in the literature on generalised pairs. Without them the volume may fail to be lower semi-continuous or may vanish for reasons unrelated to the DCC property itself. In the revised version we will add a short paragraph in §3 explaining this relationship and noting that the assumptions are strictly weaker than global boundedness of the underlying varieties, while remaining necessary for the technical reduction to the usual-pair case. We do not include an explicit counter-example, as constructing one would require a separate study of pathological unbounded generalised pairs outside the scope of the present work. revision: partial

  2. Referee: [§2.3] §2.3 (the continuity/approximation argument for real coefficients): the claim that Iitaka volumes vary continuously under small real perturbations of the coefficients is used to pass from the rational to the real case, but no explicit modulus of continuity or reference to a prior lemma establishing uniform control on the volume function is cited, leaving open whether the DCC property survives the limit.

    Authors: We thank the referee for this observation. The continuity of the Iitaka volume with respect to real coefficients follows from the continuity of the volume function on the space of R-divisors, which is established in standard references (e.g., the continuity results used in Birkar’s work on volumes). Because the DCC holds for the dense subset of rational coefficients and the volume function is continuous, any descending chain in the real case can be approximated by rational chains whose infimum is preserved in the limit. In the revised manuscript we will insert a reference to the relevant continuity lemma together with a brief paragraph in §2.3 making this approximation argument explicit, thereby confirming that the DCC property passes to the limit. revision: yes

Circularity Check

0 steps flagged

No significant circularity; generalization relies on cited external theorems with independent extensions

full rationale

The paper explicitly generalizes results from Birkar and Li (distinct authors) to real coefficients via approximation/continuity and to generalised pairs under stated boundedness assumptions required for technical reasons. No equations or steps reduce the DCC claim to self-definition, fitted parameters renamed as predictions, or load-bearing self-citations. The boundedness is an explicit hypothesis, not derived from the result itself. The derivation chain is self-contained against external benchmarks in algebraic geometry, with the central claim having independent content beyond prior citations.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Relies on prior theorems of Birkar and Li as background and introduces boundedness assumptions for the generalised-pair case.

axioms (1)
  • domain assumption Previous DCC results of Birkar and Li for usual pairs
    The paper generalizes these results to real coefficients and generalised pairs.

pith-pipeline@v0.9.0 · 5562 in / 1167 out tokens · 57825 ms · 2026-05-20T23:03:52.095203+00:00 · methodology

Review history (2 revisions) →

discussion (0)

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

Reference graph

Works this paper leans on

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

  1. [1]

    The Adjunction Conjecture and its applications

    F. Ambro, The Adjunction Conjecture and its applications , arXiv:math/9903060v3 (1999)

    work page internal anchor Pith review Pith/arXiv arXiv 1999

  2. [2]

    Florin Ambro, The moduli b -divisor of an lc-trivial fibration , Compos. Math. 141 (2005), no. 2, 385--403

    work page 2005

  3. [3]

    Birkar, P

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

    work page 2010

  4. [4]

    Birkar and C

    C. Birkar and C. D. Hacon, Variations of generalised pairs, arXiv:2204.10456 (2022)

    work page arXiv 2022

  5. [5]

    Birkar, Existence of log canonical flips and a special LMMP , Pub

    C. Birkar, Existence of log canonical flips and a special LMMP , Pub. Math. IHES. 115 (2012), 325--368

    work page 2012

  6. [6]

    Birkar, Anti-pluricanonical systems on Fano varieties , Ann

    C. Birkar, Anti-pluricanonical systems on Fano varieties , Ann. of Math. (2) 190 (2019), no. 2, 345 -- 463

    work page 2019

  7. [7]

    Birkar, Boundedness and volume of generalised pairs, arXiv:2103.14935 (2021)

    C. Birkar, Boundedness and volume of generalised pairs, arXiv:2103.14935 (2021)

    work page arXiv 2021

  8. [8]

    Birkar, Singularities of linear systems and boundedness of Fano varieties , Ann

    C. Birkar, Singularities of linear systems and boundedness of Fano varieties , Ann. of Math. (2) 193 (2021), no. 2, 347--405

    work page 2021

  9. [9]

    Birkar, Moduli of algebraic varieties, arXiv:2211.11237 (2022)

    C. Birkar, Moduli of algebraic varieties, arXiv:2211.11237 (2022)

    work page arXiv 2022

  10. [10]

    Birkar, Geometry of polarised varieties, Pub

    C. Birkar, Geometry of polarised varieties, Pub. Math. IHES. 137 (2023), 47–105

    work page 2023

  11. [11]

    Singularities on Fano fibrations and beyond

    C. Birkar, Singularities on Fano fibrations and beyond , arXiv:2305.18770 (2023)

    work page arXiv 2023

  12. [12]

    Birkar, Boundedness of Fano type fibrations , Ann

    C. Birkar, Boundedness of Fano type fibrations , Ann. Sci. \'Ec. Norm. Sup\'er. (4) 57 (2024), no. 3, 787--840

    work page 2024

  13. [13]

    Birkar and D-Q

    C. Birkar and D-Q. Zhang, Effectivity of Iitaka fibrations and pluricanonical systems of polarized pairs , Pub. Math. IHES. 123 (2016), no. 1, 283--331

    work page 2016

  14. [14]

    Chen, Boundedness of n -complements for generalized pairs, Eur

    G. Chen, Boundedness of n -complements for generalized pairs, Eur. J. Math. 9 (2023), no. 4, 95

    work page 2023

  15. [15]

    G. Chen, J. Han, and J. Liu, On effective log Iitaka fibrations and existence of complements , Int. Math. Res, Not. 2024 (2023), no. 10, 8329--8349

    work page 2024

  16. [16]

    G. Chen, J. Han, and W. Liu, On the litaka volumes of log canonical surfaces and threefolds , arXiv:2407.07391 (2024)

    work page arXiv 2024

  17. [17]

    S. R. Choi, The geography of log models and its applications, Ph.D. thesis, Johns Hopkins University, 2008

    work page 2008

  18. [18]

    Hashizume, Remarks on special kinds of the relative log minimal model program, Manuscripta Math

    K. Hashizume, Remarks on special kinds of the relative log minimal model program, Manuscripta Math. 160 (2019), no. 3-4, 285--314

    work page 2019

  19. [19]

    J. Han, J. Liu, and Q. Xue, On the equivalence between the effective adjunction conjectures of Prokhorov-Shokurov and of Li , arXiv:2312.15397, to appear in Algebra Number Theory (2023)

    work page arXiv 2023

  20. [20]

    C. D. Hacon, J. M c Kernan, and C. Xu, On the birational automorphisms of varieties of general type, Ann. of Math. (2) 177 (2013), no. 3, 1077--1111

    work page 2013

  21. [21]

    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

  22. [22]

    C. D. Hacon, J. M c Kernan, and C. Xu, Boundedness of moduli of varieties of general type, J. Eur. Math. Soc. 20 (2018), no. 4, 865--901

    work page 2018

  23. [23]

    C. D. Hacon and C. Xu, Existence of log canonical closures, Invent. Math. 192 (2013), no. 1, 161--195

    work page 2013

  24. [24]

    V. A. Iskovskikh and Y. G. Prokhorov, Fano varieties , in Algebraic Geometry, V, Encycl. Math. Sci. 47, Springer-Verlag, Berlin, 1999, pp. 1--247

    work page 1999

  25. [25]

    J. Jiao, J. Liu, and L. Xie, On generalized lc pairs with b-log abundant nef part, arXiv:2202.11256 (2022)

    work page arXiv 2022

  26. [26]

    II , Amer

    Yujiro Kawamata, Subadjunction of log canonical divisors. II , Amer. J. Math. 120 (1998), no. 5, 893--899

    work page 1998

  27. [27]

    Koll \'a r, Effective base point freeness, Math

    J. Koll \'a r, Effective base point freeness, Math. Ann. 296 (1993), no. 4, 595--605

    work page 1993

  28. [28]

    Koll \'a r, Families of varieties of general type, Cambridge University Press, 2023

    J. Koll \'a r, Families of varieties of general type, Cambridge University Press, 2023

    work page 2023

  29. [29]

    Li, Boundedness of the base varieties of certain fibrations, J

    Z. Li, Boundedness of the base varieties of certain fibrations, J. Lond. Math. Soc. (2) 109 (2024), no. 2, e12871

    work page 2024

  30. [30]

    Li, A variant of the effective adjunction conjecture with applications, J

    Z. Li, A variant of the effective adjunction conjecture with applications, J. Pure Appl. Algebra 228 (2024), no. 6, 107626, 22

    work page 2024

  31. [31]

    Liu and L

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

    work page 2023

  32. [32]

    Zhu, Boundedness of stable minimal models with klt singularities , Int

    M. Zhu, Boundedness of stable minimal models with klt singularities , Int. Math. Res. Not. 2025 (2025), no. 2, rnae293

    work page 2025