arxiv: 2605.13881 · v1 · submitted 2026-05-11 · 🧮 math.AG

Recognition: no theorem link

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

Pinxian Bie

Authors on Pith no claims yet

Pith reviewed 2026-05-15 06:06 UTC · model grok-4.3

classification 🧮 math.AG

keywords Iitaka volumeDCC propertyreal coefficientsgeneralised pairsbirational geometryalgebraic varietiesvolume functions

0 comments

The pith

The set of Iitaka volumes for pairs of varieties satisfies the descending chain condition with real coefficients.

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

The paper establishes that the Iitaka volumes attached to a given collection of pairs of varieties obey the descending chain condition. This holds for ordinary pairs once the boundary coefficients are allowed to be arbitrary real numbers, extending earlier results that required rational coefficients. The same discreteness is shown for generalised pairs once natural boundedness conditions are imposed on the data. A reader cares because the DCC implies that the possible volumes cannot accumulate from above, which is a basic step in any classification or moduli problem for algebraic varieties.

Core claim

The central claim is that the set of Iitaka volumes of pairs of varieties satisfies the DCC property. For usual pairs this holds with real coefficients; for generalised pairs the same conclusion follows once natural boundedness assumptions are added.

What carries the argument

The Iitaka volume of a pair, defined as the volume of the canonical class plus the boundary divisor, which measures the asymptotic growth of sections.

Load-bearing premise

Natural boundedness assumptions on the generalised pairs are needed for the technical arguments to close.

What would settle it

An infinite strictly decreasing sequence of Iitaka volumes coming from a bounded collection of pairs 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.

Desk Editor's Note private letter to a colleague

This extends DCC for Iitaka volumes to real coefficients and generalized pairs under boundedness assumptions, but the abstract leaves the proofs uncheckable.

read the letter

This paper extends the DCC property for sets of Iitaka volumes from the usual pairs treated by Birkar and Li to the real-coefficient case and to generalized pairs. The real-coefficient version removes the rationality restriction that appeared in earlier statements, while the generalized-pair version adds natural boundedness hypotheses to keep the technical arguments under control. Both moves are straightforward generalizations of existing tools rather than a shift in method or a new conceptual framework. If the proofs go through cleanly, the results will serve as standard lemmas for boundedness arguments in the minimal model program with these more general objects. The abstract states the claims directly and cites the prior work without obvious circularity or invented quantities, which is a plus. The main limitation is that only the abstract is visible, so there is no way to inspect how the real-coefficient volumes are controlled or whether the boundedness conditions for generalized pairs are minimal or overly strong. A reader cannot yet tell if any step requires extra hidden assumptions on the coefficients or on the singularities. This work is aimed at specialists already using DCC statements as black-box inputs for their own boundedness theorems. Someone who needs the real-coefficient or generalized-pair versions will find it relevant once the details are confirmed. I would send it to referees so they can verify the adaptations and the precise form of the boundedness hypotheses.

Referee Report

1 major / 2 minor

Summary. The manuscript proves that the set of Iitaka volumes of a fixed collection of pairs of varieties satisfies the descending chain condition (DCC). It extends the theorems of Birkar and Li from the rational-coefficient case to real coefficients for ordinary pairs and establishes parallel DCC statements for generalised pairs, subject to natural boundedness hypotheses that are imposed for technical reasons.

Significance. If the results are correct, the paper supplies a useful generalization of known DCC properties for Iitaka volumes, which are central to the minimal model program and birational geometry. The extension to real coefficients removes an artificial restriction present in earlier work, while the treatment of generalised pairs broadens the applicability of the DCC principle under controlled hypotheses. These statements are directly comparable to the Birkar–Li theorems and therefore strengthen the existing toolkit for volume-based boundedness arguments.

major comments (1)

The precise formulation of the 'natural boundedness assumptions' required for the generalised-pair statements is not stated explicitly in the introduction or in the main theorems; because these hypotheses are load-bearing for the generalised-pair results, their exact content (e.g., bounds on the coefficients, on the dimension, or on the singularities) must be recorded verbatim so that the reader can verify applicability.

minor comments (2)

Notation for the Iitaka volume function and for the generalised pairs should be introduced once at the beginning and used consistently; occasional shifts between vol and Vol notation appear in the text.
The abstract claims a generalization of Birkar–Li but does not cite the precise statements being extended; adding the relevant theorem numbers from those papers in the introduction would clarify the exact scope of the new results.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the positive assessment of our manuscript and for the constructive comment. We address the point raised below.

read point-by-point responses

Referee: The precise formulation of the 'natural boundedness assumptions' required for the generalised-pair statements is not stated explicitly in the introduction or in the main theorems; because these hypotheses are load-bearing for the generalised-pair results, their exact content (e.g., bounds on the coefficients, on the dimension, or on the singularities) must be recorded verbatim so that the reader can verify applicability.

Authors: We agree that the natural boundedness assumptions for the generalised-pair results should be stated explicitly. In the revised manuscript we will record these hypotheses verbatim both in the introduction and in the statements of the relevant theorems, so that their precise content (including the imposed bounds on dimension, coefficients, and singularities) is immediately available to the reader. revision: yes

Circularity Check

0 steps flagged

No significant circularity; generalization of external results

full rationale

The paper generalizes the DCC property of Iitaka volumes from Birkar and Li's prior external theorems on usual pairs to the real-coefficient case and to generalised pairs (under boundedness assumptions). The abstract and summary position the work as an extension of independent prior results with no self-referential definitions, fitted parameters renamed as predictions, or load-bearing self-citations. The derivation chain is presented as building on established external theorems rather than reducing to its own inputs by construction, making the result self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

No free parameters, axioms, or invented entities are identifiable from the abstract alone.

pith-pipeline@v0.9.0 · 5331 in / 1004 out tokens · 26264 ms · 2026-05-15T06:06:32.306215+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

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

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

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

work page 2005
[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]

Birkar and C

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

work page arXiv 2022
[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]

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]

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]

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]

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

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

work page arXiv 2022
[10]

Birkar, Geometry of polarised varieties, Pub

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

work page 2023
[11]

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

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

work page arXiv 2023
[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]

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]

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]

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]

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]

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

work page 2008
[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]

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]

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]

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]

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]

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

work page 2013
[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]

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]

II , Amer

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

work page 1998
[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]

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]

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]

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]

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]

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