pith. sign in

arxiv: 2305.01752 · v4 · pith:FB3P4G6Nnew · submitted 2023-05-02 · 🧮 math.AG

Nakayama-Zariski decomposition and the termination of flips

Vladimir Lazi\'c , Zhixin Xie This is my paper

Pith reviewed 2026-05-24 09:02 UTC · model grok-4.3

classification 🧮 math.AG
keywords Nakayama-Zariski decompositiontermination of flipsminimal model programpseudoeffective pairsbirational geometryprojective varietiesflipsalgebraic geometry
0
0 comments X

The pith

For pseudoeffective projective pairs, termination of one flip sequence implies termination of all sequences, assuming a conjecture on the Nakayama-Zariski decomposition.

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

The paper shows that if flips terminate along one sequence for a pseudoeffective projective pair, then they terminate along every sequence, provided a conjecture holds on how the Nakayama-Zariski decomposition changes during minimal model program steps. This matters to algebraic geometers because termination of flips is required to guarantee that the minimal model program reaches a minimal model rather than continuing indefinitely. The argument reduces the global question of whether all sequences terminate to the behavior of a single decomposition under the program's operations. A reader would care because it offers a conditional route to proving termination in the pseudoeffective case without checking every possible sequence separately.

Core claim

We show that for pseudoeffective projective pairs the termination of one sequence of flips implies the termination of all flips, assuming a natural conjecture on the behaviour of the Nakayama-Zariski decomposition under the operations of a Minimal Model Program.

What carries the argument

The Nakayama-Zariski decomposition of the pseudoeffective cone, whose conjectured compatibility with flips and contractions transfers termination from one sequence to all others.

If this is right

  • Termination of flips reduces to checking a single sequence once the decomposition conjecture is granted.
  • The equivalence of termination across sequences follows directly for all pseudoeffective projective pairs.
  • The result applies uniformly to the entire minimal model program for such pairs.
  • Verification of the decomposition conjecture would complete the termination statement.

Where Pith is reading between the lines

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

  • Proving the decomposition conjecture on low-dimensional examples would immediately yield termination for those cases.
  • The same logic might connect termination questions to other birational invariants tracked by the decomposition.
  • If the conjecture holds in higher dimensions, it would streamline classification results that depend on flip termination.

Load-bearing premise

The Nakayama-Zariski decomposition changes in a predictable way when the minimal model program applies flips or other operations.

What would settle it

A pseudoeffective projective pair in which one sequence of flips terminates while another does not, or a direct counterexample to the conjectured behavior of the Nakayama-Zariski decomposition under minimal model program operations.

read the original abstract

We show that for pseudoeffective projective pairs the termination of one sequence of flips implies the termination of all flips, assuming a natural conjecture on the behaviour of the Nakayama-Zariski decomposition under the operations of a Minimal Model Program.

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

0 major / 1 minor

Summary. The manuscript shows that for pseudoeffective projective pairs the termination of one sequence of flips implies the termination of all flips, assuming a natural conjecture on the behaviour of the Nakayama-Zariski decomposition under the operations of a Minimal Model Program.

Significance. If the stated conjecture holds, the result supplies a useful reduction for the termination problem in the minimal model program: it suffices to establish termination along a single sequence rather than for every possible sequence. The argument is presented as a direct implication resting on the external conjecture rather than on any new unconditional proof of termination.

minor comments (1)
  1. The conjecture is described as 'natural' in the abstract; a brief paragraph recalling its precise statement (even if it appears later in the text) would help readers assess the scope of the implication immediately.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive report and recommendation to accept the manuscript.

Circularity Check

0 steps flagged

No circularity; central result is explicit conditional implication on external conjecture

full rationale

The paper states its main theorem as an implication that holds only under an explicitly assumed external conjecture on the behavior of the Nakayama-Zariski decomposition during MMP operations. No derivation step reduces a claimed prediction or first-principles result to a fitted parameter, self-definition, or self-citation chain; the conjecture is treated as an independent hypothesis rather than derived or smuggled in. The logical structure is therefore self-contained and non-circular.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central claim rests on one domain assumption: the unproven conjecture about Nakayama-Zariski decomposition behavior. No free parameters or invented entities are introduced.

axioms (1)
  • domain assumption Natural conjecture on the behaviour of the Nakayama-Zariski decomposition under MMP operations
    Explicitly required for the main theorem; without it the implication does not hold.

pith-pipeline@v0.9.0 · 5547 in / 1071 out tokens · 30090 ms · 2026-05-24T09:02:59.328288+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

29 extracted references · 29 canonical work pages

  1. [1]

    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

    work page 2010

  2. [2]

    Birkar and Z

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

    work page 2014

  3. [3]

    Birkar, Ascending chain condition for log canonical thresholds and termination of log flips, Duke Math

    C. Birkar, Ascending chain condition for log canonical thresholds and termination of log flips, Duke Math. J. 136 (2007), no. 1, 173--180

    work page 2007

  4. [4]

    , On existence of log minimal models and weak Z ariski decompositions , Math. Ann. 354 (2012), no. 2, 787--799

    work page 2012

  5. [5]

    Birkar and D.-Q

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

    work page 2016

  6. [6]

    G. D. Chen and N. Tsakanikas, On the termination of flips for log canonical generalized pairs, Acta Math. Sin. (Engl. Ser.) 39 (2023), no. 6, 967--994

    work page 2023

  7. [7]

    Fujino, Addendum to: `` T ermination of 4-fold canonical flips'' , Publ

    O. Fujino, Addendum to: `` T ermination of 4-fold canonical flips'' , Publ. Res. Inst. Math. Sci. 41 (2005), no. 1, 251--257

    work page 2005

  8. [8]

    , Special termination and reduction to pl flips, Flips for 3-folds and 4-folds (Alessio Corti, ed.), Oxford Lecture Ser. Math. Appl., vol. 35, Oxford Univ. Press, Oxford, 2007, pp. 63--75

    work page 2007

  9. [9]

    Gongyo and B

    Y. Gongyo and B. Lehmann, Reduction maps and minimal model theory, Compos. Math. 149 (2013), no. 2, 295--308

    work page 2013

  10. [10]

    Hashizume and Z.-Y

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

    work page 2020

  11. [11]

    Han and Z

    J. Han and Z. Li, Weak Z ariski decompositions and log terminal models for generalized pairs , Math. Z. 302 (2022), no. 2, 707--741

    work page 2022

  12. [12]

    C. D. Hacon and J. Liu, Existence of flips for generalized lc pairs, Camb. J. Math. 11 (2023), no. 4, 795--828

    work page 2023

  13. [13]

    C. D. Hacon and J. Moraga, On weak Z ariski decompositions and termination of flips , Math. Res. Lett. 27 (2020), no. 5, 1393--1422

    work page 2020

  14. [14]

    Hu, Log abundance of the moduli b-divisors of lc-trivial fibrations, arXiv:2003.14379 0= 2020

    Z. Hu, Log abundance of the moduli b-divisors of lc-trivial fibrations, arXiv:2003.14379 0= 2020

    work page arXiv 2003

  15. [15]

    Kawamata, Abundance theorem for minimal threefolds, Invent

    Y. Kawamata, Abundance theorem for minimal threefolds, Invent. Math. 108 (1992), no. 2, 229--246

    work page 1992

  16. [16]

    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

    work page 1998

  17. [17]

    Kawamata, K

    Y. Kawamata, K. Matsuda, and K. Matsuki, Introduction to the minimal model problem, Algebraic geometry, S endai, 1985, Adv. Stud. Pure Math., vol. 10, North-Holland, Amsterdam, 1987, pp. 283--360

    work page 1985

  18. [18]

    Lehmann, Comparing numerical dimensions, Algebra Number Theory 7 (2013), no

    B. Lehmann, Comparing numerical dimensions, Algebra Number Theory 7 (2013), no. 5, 1065--1100

    work page 2013

  19. [19]

    Lazi\' c , J

    V. Lazi\' c , J. Moraga, and N. Tsakanikas, Special termination for log canonical pairs, Asian J. Math. 27 (2023), no. 3, 423--440

    work page 2023

  20. [20]

    Lazi\'c and Th

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

    work page 2020

  21. [21]

    Lazi\' c and N

    V. Lazi\' c and N. Tsakanikas, On the existence of minimal models for log canonical pairs, Publ. Res. Inst. Math. Sci. 58 (2022), no. 2, 311--339

    work page 2022

  22. [22]

    (N.S.) 28 (2022), no

    , Special MMP for log canonical generalised pairs (with an appendix joint with X iaowei J iang) , Selecta Math. (N.S.) 28 (2022), no. 5, Paper No. 89

    work page 2022

  23. [23]

    Moraga, Termination of pseudo-effective 4-fold flips , arXiv:1802.10202 0= 2018

    J. Moraga, Termination of pseudo-effective 4-fold flips , arXiv:1802.10202 0= 2018

    work page arXiv 2018

  24. [24]

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

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

    work page 2004

  25. [25]

    V. V. Shokurov, A nonvanishing theorem, Izv. Akad. Nauk SSSR Ser. Mat. 49 (1985), no. 3, 635--651

    work page 1985

  26. [26]

    , 3 -fold log models , J. Math. Sci. 81 (1996), no. 3, 2667--2699

    work page 1996

  27. [27]

    , Letters of a bi-rationalist. V . M inimal log discrepancies and termination of log flips , Tr. Mat. Inst. Steklova 246 (2004), no. Algebr. Geom. Metody, Svyazi i Prilozh., 328--351

    work page 2004

  28. [28]

    , Letters of a bi-rationalist. VII . O rdered termination , Tr. Mat. Inst. Steklova 264 (2009), no. Mnogomernaya Algebraicheskaya Geometriya, 184--208

    work page 2009

  29. [29]

    Tsakanikas and L

    N. Tsakanikas and L. Xie, Remarks on the existence of minimal models of log canonical generalized pairs, arXiv:2301.09186 0= 2023

    work page arXiv 2023