pith. sign in

arxiv: 2606.09087 · v1 · pith:MWIUENMFnew · submitted 2026-06-08 · 🧮 math.AG

On the minimal model theory for generalized pairs of relative log numerical dimension zero

Cheng Zhang This is my paper

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

classification 🧮 math.AG
keywords minimal model theorygeneralized pairsklt pairslog numerical dimensioncanonical bundle formulabirational geometry
0
0 comments X

The pith

Generalized klt pairs of relative log numerical dimension zero admit numerically good minimal models if Generalized Nonvanishing holds.

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

The paper proves existence of numerically good minimal models for generalized klt pairs whose relative log numerical dimension is zero, under the assumption that Generalized Nonvanishing is true for those pairs. The argument proceeds by first establishing a numerical form of the generalized canonical bundle formula. A sympathetic reader would care because this supplies a conditional positive result inside the minimal model program for a class of pairs that generalizes ordinary klt pairs.

Core claim

We prove the existence of numerically good minimal models for generalized klt pairs of relative log numerical dimension zero, assuming Generalized Nonvanishing. To this end, we establish a numerical version of the generalized canonical bundle formula.

What carries the argument

Numerical version of the generalized canonical bundle formula, used to reduce the existence question for minimal models to numerical data on a lower-dimensional base.

If this is right

  • Numerically good minimal models exist for all generalized klt pairs satisfying the relative log numerical dimension zero condition, once Generalized Nonvanishing is granted.
  • A numerical generalized canonical bundle formula holds for these pairs and can be applied independently.
  • The result supplies a conditional step toward completing the minimal model program in the generalized-pair setting.

Where Pith is reading between the lines

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

  • If Generalized Nonvanishing can be verified in this restricted numerical-dimension-zero case, the same reduction technique might apply to nearby classes of pairs.
  • The numerical bundle formula may allow direct comparison between ordinary and generalized minimal model statements without passing through the full abundance conjecture.

Load-bearing premise

Generalized Nonvanishing holds for the generalized klt pairs under consideration.

What would settle it

An explicit generalized klt pair of relative log numerical dimension zero for which Generalized Nonvanishing fails and no numerically good minimal model exists.

read the original abstract

We prove the existence of numerically good minimal models for generalized klt pairs of relative log numerical dimension zero, assuming Generalized Nonvanishing. To this end, we establish a numerical version of the generalized canonical bundle formula, which may be of independent interest.

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

1 major / 2 minor

Summary. The manuscript proves the existence of numerically good minimal models for generalized klt pairs of relative log numerical dimension zero, assuming the Generalized Nonvanishing conjecture. The key technical step is the derivation of a numerical version of the generalized canonical bundle formula.

Significance. Conditional on Generalized Nonvanishing, the result extends minimal model theory to generalized pairs in the relative log numerical dimension zero case. The numerical canonical bundle formula is presented as potentially of independent interest and could serve as a tool in related problems in algebraic geometry.

major comments (1)
  1. [Abstract] The central existence statement (as stated in the abstract) is explicitly conditional on Generalized Nonvanishing for the pairs in question; no derivation or verification of this hypothesis is provided within the manuscript, so the result remains conditional rather than unconditional.
minor comments (2)
  1. [Introduction] Clarify in the introduction whether the numerical canonical bundle formula reduces to known cases when the generalized pair is ordinary (i.e., when the b-divisor is zero).
  2. [Main results] Ensure all notation for relative log numerical dimension is defined before its first use in the main theorem statement.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their review and recommendation of minor revision. We address the single major comment below.

read point-by-point responses

  1. Referee: [Abstract] The central existence statement (as stated in the abstract) is explicitly conditional on Generalized Nonvanishing for the pairs in question; no derivation or verification of this hypothesis is provided within the manuscript, so the result remains conditional rather than unconditional.

    Authors: We agree that the main theorem is conditional on the Generalized Nonvanishing conjecture, as is already stated explicitly in the abstract and in the introduction. The manuscript makes no claim to remove or verify this hypothesis; its purpose is to derive the existence of numerically good minimal models (and the supporting numerical generalized canonical bundle formula) assuming Generalized Nonvanishing. Because the conditional character of the result is clearly indicated, we see no need to alter the abstract or the statement of the theorem. revision: no

Circularity Check

0 steps flagged

No significant circularity; result is explicitly conditional on external assumption

full rationale

The paper states its central existence result for numerically good minimal models as conditional on the external Generalized Nonvanishing hypothesis and derives a supporting numerical generalized canonical bundle formula. No load-bearing steps reduce by definition, self-citation chain, or fitted-parameter renaming to the inputs; the derivation remains self-contained given the stated assumption, with no evidence of self-definitional constructions or internally forced predictions.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central claim rests on the external assumption of Generalized Nonvanishing and on standard background results in the minimal model program for generalized pairs.

axioms (1)
  • domain assumption Generalized Nonvanishing
    Explicitly assumed to obtain the existence of numerically good minimal models.

pith-pipeline@v0.9.1-grok · 5546 in / 1018 out tokens · 19777 ms · 2026-06-27T15:00:54.040591+00:00 · methodology

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

37 extracted references · 16 canonical work pages · 3 internal anchors

  1. [1]

    Ambro, The Adjunction Conjecture and its applications, arXiv:math.AG/9903060

    F. Ambro, The Adjunction Conjecture and its applications, arXiv:math.AG/9903060

    work page arXiv

  2. [2]

    Birkar, On existence of log minimal models II, J

    C. Birkar, On existence of log minimal models II, J. Reine Angew. Math., 658 (2011), 99-113

    2011

  3. [3]

    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

    2012

  4. [4]

    Birkar, Anti-pluricanonical systems on Fano varieties, Ann

    C. Birkar, Anti-pluricanonical systems on Fano varieties, Ann. of Math. (2) 190 (2) 345-463, September 2019. https://doi.org/10.4007/annals.2019.190.2.1

    work page doi:10.4007/annals.2019.190.2.1 2019

  5. [5]

    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. 193 (2021), no. 2, 347-405

    2021

  6. [6]

    Birkar, Singularities on Fano fibrations and beyond, arXiv:2305.18770

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

    work page arXiv

  7. [7]

    Birkar, P

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

    2010

  8. [8]

    Birkar, Z

    C. Birkar, Z. Hu, Polarized pairs, log minimal models, and Zariski decompositions, Nagoya Math. J. 215 (2014), 203-224

    2014

  9. [9]

    Birkar, D.-Q

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

    2016

  10. [10]

    G. Chen, J. Han, J. Liu, L. Xie, Minimal model program for algebraically integrable foliations and generalized pairs, preprint arXiv:2309.15823

    work page internal anchor Pith review Pith/arXiv arXiv

  11. [11]

    Debarre, Higher-dimensional algebraic geometry, Universitext, Springer-Verlag, New York, 2001

    O. Debarre, Higher-dimensional algebraic geometry, Universitext, Springer-Verlag, New York, 2001

    2001

  12. [12]

    O. Das, C. D. Hacon, On the Minimal Model Program for Kähler 3-Folds, arXiv:2306.11708

    work page arXiv

  13. [13]

    O. Das, C. D. Hacon, Transcendental Minimal Model Program for Projective Varieties, arXiv:2412.07650

    work page internal anchor Pith review arXiv

  14. [14]

    O. Das, C. D. Hacon, J. Y a n ez, MMP for Generalized pairs on Kähler 3-Folds, arXiv:2305.00524

    work page internal anchor Pith review arXiv

  15. [15]

    Filipazzi, On a generalized canonical bundle formula and generalized adjunction, Annali della Scuola Normale Superiore di Pisa

    S. Filipazzi, On a generalized canonical bundle formula and generalized adjunction, Annali della Scuola Normale Superiore di Pisa. Classe di scienze, vol. 21, no. extra 2 (2020), 1187-1221. MR4288631, Zbl 1473.14103

    work page arXiv 2020

  16. [16]

    Filipazzi, Generalized pairs in birational geometry, 2019

    S. Filipazzi, Generalized pairs in birational geometry, 2019. PhD thesis, University of Utah

    2019

  17. [17]

    Fujino, Semi-stable minimal model program for varieties with trivial canonical divisor, preprint, Proc

    O. Fujino, Semi-stable minimal model program for varieties with trivial canonical divisor, preprint, Proc. Japan Acad. Ser. A Math. Sci. 87 (2011), no. 3, 25-30

    2011

  18. [18]

    Fujino, Y

    O. Fujino, Y. Gongyo, On the moduli b-divisors of lc-trivial fibrations, Ann. Inst. Fourier (Grenoble) 64 (2014), no. 4, 1721-1735. http://doi.org/10.5802/aif.2894

    work page doi:10.5802/aif.2894 2014

  19. [19]

    Gongyo, On the minimal model theory for dlt pairs of numerical Kodaira dimension zero, Math

    Y. Gongyo, On the minimal model theory for dlt pairs of numerical Kodaira dimension zero, Math. Rest. Lett. 18 (2011), no. 5, 991-1000

    2011

  20. [20]

    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

    2019

  21. [21]

    Hashizume, Z

    K. Hashizume, Z. Hu, On minimal model theory for log abundant lc pairs, J. Reine Angew. Math., 767 (2020), 109-159

    2020

  22. [22]

    Hu, Log abundance of the moduli b-divisors of lc-trivial fibrations, preprint (2020), arXiv:2003.14379v3

    Z. Hu, Log abundance of the moduli b-divisors of lc-trivial fibrations, preprint (2020), arXiv:2003.14379v3

    work page arXiv 2020

  23. [23]

    Hu, P-trivial MMP, Zariski decompositions and minimal models for generalised pairs, preprint (2025), arXiv:2501.07551v1

    Z. Hu, P-trivial MMP, Zariski decompositions and minimal models for generalised pairs, preprint (2025), arXiv:2501.07551v1

    work page arXiv 2025

  24. [24]

    J. Han, Z. Li, Weak Zariski decompositions and log terminal models for generalized polarized pairs, Preprint (2018)

    2018

  25. [25]

    J. Han, W. Liu, On numerical nonvanishing for generalized log canonical pairs, Doc. Math. 25 (2020), p. 93-123

    2020

  26. [26]

    C. D. Hacon, J. Liu, Existence of generalized lc flips, arXiv: 2105.13590v3

    work page arXiv

  27. [27]

    C. D. Hacon, M. P a un, On the Canonical Bundle Formula and Adjunction for Generalized Kaehler Pairs, arXiv:2404.12007

    work page arXiv

  28. [28]

    C. D. Hacon, C. Xu, On finiteness of B-representations and semi-log canonical abundance in Minimal Models and Extremal Rays (Kyoto, 2011), Adv. Stud. Pure Math. 70 (2016), Math. Soc. Japan, Tokyo, 361-378

    2011

  29. [29]

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

    work page arXiv

  30. [30]

    Kawamata, Subadjunction of log canonical divisors II, Amer

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

    1998

  31. [31]

    Koll a r and S

    J. Koll a r and S. Mori, Birational geometry of algebraic varieties, Cambridge Tracts in Mathematics, vol. 134, Cambridge University Press, Cambridge, 1998

    1998

  32. [32]

    Lehmann, Numerical triviality and pullbacks, J

    B. Lehmann, Numerical triviality and pullbacks, J. Pure Appl. Algebra 219 (2015), 5637-5649. Zbl 1327.14040 MR 3390043

    work page arXiv 2015

  33. [33]

    Lazi c , Th

    V. Lazi c , Th. Peternell. On Generalised Abundance, I. Publ. Res. Inst. Math. Sci. 56 (2020), no. 2, 353-389

    2020

  34. [34]

    J. Liu, L. Xie, Relative Nakayama-Zariski decomposition and minimal models of generalized pairs, Peking Math. J. (2023)

    2023

  35. [35]

    Nakayama, Zariski-decomposition and abundance, MSJ Memoirs, vol

    N. Nakayama, Zariski-decomposition and abundance, MSJ Memoirs, vol. 14, Mathematical Society of Japan, Tokyo, 2004

    2004

  36. [36]

    I. R. Shafarevich, Basic algebraic geometry, 1, 3rd. ed., Springer-Verlag, 2013

    2013

  37. [37]

    Tsakanikas, On minimal models and the termination of flips for generalized pairs, Ph.D

    N. Tsakanikas, On minimal models and the termination of flips for generalized pairs, Ph.D. thesis, Universität des Saarlandes, (2021), https://dx.doi.org/10.22028/D291-34716

    work page doi:10.22028/d291-34716 2021