arxiv: 2604.05369 · v2 · submitted 2026-04-07 · 🧮 math.AG

Recognition: 2 theorem links

· Lean Theorem

Structure of the Anticanonical Minimal Model Program for Potentially klt Pairs

Donghyeon Kim , Dae-Won Lee

Authors on Pith no claims yet

Pith reviewed 2026-05-10 19:46 UTC · model grok-4.3

classification 🧮 math.AG

keywords anticanonical minimal model programpotentially klt pairsQ-factorial terminalizationbirational Zariski decompositionnonpositive mapsbirational geometryalgebraic geometry

0 comments

The pith

Any partial anticanonical MMP starting from a potentially klt pair lifts to a compatible sequence of nonpositive maps between the Q-factorial terminalizations of its successive steps.

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

The paper gives an alternative proof that the anticanonical minimal model program exists for potentially klt pairs, provided the anticanonical divisor admits a birational Zariski decomposition. It further proves a structure theorem that lets any partial run of this program be lifted to a sequence of nonpositive birational maps connecting the Q-factorial terminalizations of the varieties that appear along the way. This lifting organizes the steps of the program and shows how the geometry of the original pair relates to its terminal models. A reader would care because the result supplies a concrete way to track and compare models during the program without losing control of the terminalizations.

Core claim

We give an alternative proof of the existence of the anticanonical minimal model program for potentially klt pairs, assuming the anticanonical divisor admits a birational Zariski decomposition. Moreover, we establish a structure theorem showing that any partial anticanonical MMP starting from a potentially klt pair can be lifted to a compatible sequence of nonpositive maps between the Q-factorial terminalizations of its successive steps.

What carries the argument

The lifting of any partial anticanonical MMP to a compatible sequence of nonpositive maps between the Q-factorial terminalizations of successive steps.

Load-bearing premise

The anticanonical divisor admits a birational Zariski decomposition.

What would settle it

A concrete potentially klt pair whose anticanonical divisor has a birational Zariski decomposition but whose partial anticanonical MMP fails to lift to any sequence of nonpositive maps between the Q-factorial terminalizations of its steps.

read the original abstract

We give an alternative proof of the existence of the anticanonical minimal model program for potentially klt pairs, assuming the anticanonical divisor admits a birational Zariski decomposition. Moreover, we establish a structure theorem showing that any partial anticanonical MMP starting from a potentially klt pair can be lifted to a compatible sequence of nonpositive maps between the $\mathbb{Q}$-factorial terminalizations of its successive steps.

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

The paper gives a conditional alternative proof and a new lifting theorem for anticanonical MMPs on potentially klt pairs, but both depend on an assumption about birational Zariski decomposition that is taken as given rather than shown.

read the letter

The core contribution is the claim that any partial anticanonical MMP starting from a potentially klt pair lifts to a sequence of nonpositive maps between the Q-factorial terminalizations of the successive models, together with an alternative existence proof for the full run. Both results are stated under the hypothesis that the anticanonical divisor admits a birational Zariski decomposition. This lifting structure looks like the genuinely new piece; it is not just a restatement of earlier existence theorems in the literature on MMP for pairs. If the construction works, it supplies a cleaner way to track how the MMP behaves when you pass to terminalizations, which could be handy for people classifying Fano varieties or running higher-dimensional programs. The paper does a reasonable job of framing the lifting as a structural statement rather than just another existence result. The main limitation is that the assumption on the Zariski decomposition is not derived from the potentially klt condition inside the paper; it is used as an input. If that decomposition fails for some pairs (for instance when the divisor is not effective in the required way), the lifting and the alternative proof simply do not apply. Without the full derivations it is also impossible to check whether the nonpositive maps are constructed without hidden choices or whether the terminalizations stay Q-factorial throughout. The abstract is clear on what is claimed, but the absence of even a sketch of the lifting step leaves the technical strength unverified. This is written for people already working inside the minimal model program for pairs with mild singularities. A reader who needs structural control over anticanonical runs or who is willing to work conditionally on the Zariski decomposition hypothesis will find something concrete to use or adapt. I would send it to referees so that experts can examine the lifting construction in detail and decide whether the assumption can be relaxed or is standard in this setting.

Referee Report

1 major / 1 minor

Summary. The paper provides an alternative proof of the existence of the anticanonical minimal model program for potentially klt pairs, assuming that the anticanonical divisor admits a birational Zariski decomposition. It further establishes a structure theorem asserting that any partial anticanonical MMP starting from a potentially klt pair lifts to a compatible sequence of nonpositive maps between the Q-factorial terminalizations of its successive steps.

Significance. If the birational Zariski decomposition assumption holds, the alternative proof offers a potentially streamlined approach to the anticanonical MMP using standard MMP machinery, while the structure theorem on lifting to terminalizations provides a useful organizational framework for tracking birational steps in potentially klt settings. This could facilitate further study of the geometry of such pairs. The conditional framing is clearly stated, but limits applicability to cases where the decomposition exists.

major comments (1)

[Abstract] Abstract: the existence of the anticanonical MMP and the structure theorem on lifting partial MMPs to sequences of nonpositive maps between Q-factorial terminalizations are both stated as holding under the assumption that the anticanonical divisor admits a birational Zariski decomposition. This hypothesis is not derived, proven, or referenced to a specific prior result within the manuscript; it functions as an unexamined input. Since the lifting construction and alternative proof rely on it (as noted in the skeptic's analysis of the central claim), the results are conditional and do not establish the claims in full generality for all potentially klt pairs.

minor comments (1)

[Abstract] The abstract mentions 'nonpositive maps' and 'Q-factorial terminalizations' without a brief definition or reference to their standard properties in the MMP context; adding one sentence of clarification would improve accessibility.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their careful review and for recognizing the potential utility of the alternative proof and lifting structure theorem. The manuscript is explicitly conditional on the birational Zariski decomposition assumption, as stated throughout, and we address the major comment below.

read point-by-point responses

Referee: [Abstract] Abstract: the existence of the anticanonical MMP and the structure theorem on lifting partial MMPs to sequences of nonpositive maps between Q-factorial terminalizations are both stated as holding under the assumption that the anticanonical divisor admits a birational Zariski decomposition. This hypothesis is not derived, proven, or referenced to a specific prior result within the manuscript; it functions as an unexamined input. Since the lifting construction and alternative proof rely on it (as noted in the skeptic's analysis of the central claim), the results are conditional and do not establish the claims in full generality for all potentially klt pairs.

Authors: We agree that the results are conditional on the birational Zariski decomposition assumption, which is an explicit hypothesis of the paper rather than a derived claim. The abstract, introduction, and main theorems all state the results as holding under this assumption; the manuscript does not claim to prove the decomposition or to obtain unconditional statements for all potentially klt pairs. Our contributions are the alternative proof via standard MMP techniques and the lifting structure theorem, both derived from the assumption. The assumption is presented as an input (consistent with the paper's title and framing), not as an unexamined one. If the referee recommends adding a reference to prior literature on birational Zariski decompositions for potentially klt pairs, we can include a clarifying sentence in the introduction in revision. revision: partial

Circularity Check

0 steps flagged

No circularity; result is explicitly conditional on a stated external assumption.

full rationale

The paper states upfront that it provides an alternative proof of the existence of the anticanonical MMP for potentially klt pairs and a structure theorem for lifting partial MMP sequences, both under the explicit hypothesis that the anticanonical divisor admits a birational Zariski decomposition. This hypothesis is not derived inside the paper and is not used to prove itself. The derivation is presented as building on standard MMP machinery rather than re-deriving its own inputs, and no load-bearing step reduces by construction, self-citation chain, or renaming to the paper's own outputs. The work is therefore self-contained as a conditional theorem with no circular reduction.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claims rest on the standard framework of the minimal model program for klt pairs together with one explicit domain assumption; no free parameters or new entities are introduced.

axioms (2)

domain assumption The anticanonical divisor admits a birational Zariski decomposition
Explicitly stated as the hypothesis required for the existence proof.
standard math Standard properties of potentially klt pairs, Q-factorial terminalizations, and nonpositive maps in birational geometry
Background results from algebraic geometry invoked without proof.

pith-pipeline@v0.9.0 · 5357 in / 1300 out tokens · 96759 ms · 2026-05-10T19:46:36.993915+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Foundation/AbsoluteFloorClosure.lean reality_from_one_distinction unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

We give an alternative proof of the existence of the anticanonical minimal model program for potentially klt pairs, assuming the anticanonical divisor admits a birational Zariski decomposition.
IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

any partial anticanonical MMP ... lifted to a compatible sequence of nonpositive maps between the Q-factorial terminalizations

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

23 extracted references · 18 canonical work pages

[1]

S. Choi, D. Hwang, and J. Park. Factorization of anticanonical maps of Fano type variety.Int. Math. Res. Not. IMRN, (20):10118–10142, 2015.doi:10.1093/imrn/rnu274

work page doi:10.1093/imrn/rnu274 2015
[2]

S. Choi, S. Jang, D. Kim, and D.-W. Lee. A valuative approach to the anticanonical minimal model program. arXiv:2506.13637, 2025

work page arXiv 2025
[3]

S. Choi, S. Jang, and D.-W. Lee. On minimal model program and Zariski decomposition of potential triples.Taiwanese J. Math., 29(6):1261–1274, 2025.doi:10.11650/tjm/250406

work page doi:10.11650/tjm/250406 2025
[4]

Choi and J

S. Choi and J. Park. Potentially non-klt locus and its applications.Math. Ann., 366(1-2):141–166, 2016.doi:10.1007/s00208-015-1317-6. See arXiv:1412.8024v2 for updates

work page doi:10.1007/s00208-015-1317-6 2016
[5]

C. Favre. Holomorphic self-maps of singular rational surfaces.Publicacions Matem` atiques, 54(2):389– 432, 2010,0809.1724.doi:10.5565/PUBLMAT_54210_06

work page doi:10.5565/publmat_54210_06 2010
[6]

Hwang and J

D. Hwang and J. Park. Redundant blow-ups of rational surfaces with big anticanonical divisor.J. Pure Appl. Algebra, 219(12):5314–5329, 2015.doi:10.1016/j.jpaa.2015.05.015

work page doi:10.1016/j.jpaa.2015.05.015 2015
[7]

Jonsson and M

M. Jonsson and M. Musta t ¸˘ a. Valuations and asymptotic invariants for sequences of ideals.Ann. Inst. Fourier (Grenoble), 62(6):2145–2209, 2012.doi:10.5802/aif.2746

work page doi:10.5802/aif.2746 2012
[8]

Kim and D.-W

D. Kim and D.-W. Lee. Minimal model program on the generic fiber of log Calabi-Yau type fibration. arXiv:2512.02429, 2025

work page arXiv 2025
[9]

Koll´ ar.Singularities of the minimal model program, volume 200 ofCambridge Tracts in Mathe- matics

J. Koll´ ar.Singularities of the minimal model program, volume 200 ofCambridge Tracts in Mathe- matics. Cambridge University Press, Cambridge, 2013. doi:10.1017/CBO9781139547895. With a collaboration of S´ andor Kov´ acs

work page doi:10.1017/cbo9781139547895 2013
[10]

Koll´ ar and S

J. Koll´ ar and S. Mori.Birational geometry of algebraic varieties, volume 134 ofCambridge Tracts in Mathematics. Cambridge University Press, Cambridge, 1998. doi:10.1017/CBO9780511662560. With the collaboration of C. H. Clemens and A. Corti, Translated from the 1998 Japanese original

work page doi:10.1017/cbo9780511662560 1998
[11]

B. Lehmann. Algebraic bounds on analytic multiplier ideals.Annales de l’Institut Fourier, 64(3):1077– 1108, 2014.doi:10.5802/aif.2874

work page doi:10.5802/aif.2874 2014
[12]

Li and C

C. Li and C. Xu. Stability of valuations: higher rational rank.Peking Math. J., 1(1):1–79, 2018. doi:10.1007/s42543-018-0001-7

work page doi:10.1007/s42543-018-0001-7 2018
[13]

Liu and L

J. Liu and L. Xie. Relative Nakayama-Zariski decomposition and minimal models of generalized pairs.Peking Math. J., 8(2):299–349, 2025.doi:10.1007/s42543-023-00076-2

work page doi:10.1007/s42543-023-00076-2 2025
[14]

Nakayama.Zariski-decomposition and abundance, volume 14 ofMSJ Memoirs

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

2004
[15]

V. V. Nikulin. A remark on algebraic surfaces with polyhedral Mori cone.Nagoya Math. J., 157:73–92, 2000.doi:10.1017/S0027763000007194

work page doi:10.1017/s0027763000007194 2000
[16]

R. Ohta. On the relative version of Mori dream spaces.Eur. J. Math., 8:S147–S181, 2022. doi: 10.1007/s40879-022-00552-6

work page doi:10.1007/s40879-022-00552-6 2022
[17]

S. Okawa. On images of Mori dream spaces.Math. Ann., 364(3-4):1315–1342, 2016. doi:10.1007/ s00208-015-1245-5

2016
[18]

Saito, T

M.-H. Saito, T. Takebe, and H. Terajima. Deformation of Okamoto–Painlev´ e pairs and Painlev´ e equations.Journal of Algebraic Geometry, 11(2):311–362, 2002, math/0006026. doi:10.1090/ S1056-3911-01-00316-2

work page arXiv 2002
[19]

F. Sakai. Anticanonical models of rational surfaces.Math. Ann., 269(3):389–410, 1984. doi:10.1007/ BF01450701

1984
[20]

Classical algebraic geometry today

B. Totaro. Algebraic surfaces and hyperbolic geometry. InCurrent developments in algebraic geometry. Selected papers based on the presentations at the workshop “Classical algebraic geometry today”, 16 D. KIM AND D.-W. LEE MSRI, Berkeley, CA, USA, January 26–30, 2009, pages 405–426. Cambridge: Cambridge University Press, 2012

2009
[21]

C. Xu. A minimizing valuation is quasi-monomial.Ann. of Math. (2), 191(3):1003–1030, 2020. doi:10.4007/annals.2020.191.3.6

work page doi:10.4007/annals.2020.191.3.6 2020
[22]

Xu.K-stability of Fano varieties, volume 50 ofNew Mathematical Monographs

C. Xu.K-stability of Fano varieties, volume 50 ofNew Mathematical Monographs. Cambridge University Press, Cambridge, 2025

2025
[23]

D.-Q. Zhang. Logarithmic Enriques surfaces.J. Math. Kyoto. Univ., 31, 1991. doi:10.1215/kjm/ 1250519795. (Donghyeon Kim)Department of Mathematics, Yonsei University, 50 Yonsei-ro, Seodaemun- gu, Seoul 03722, Republic of Korea Email address:narimial0@gmail.com, whatisthat@yonsei.ac.kr (Dae-Won Lee)Department of Mathematics, Ewha Womans University, 52 Ewhay...

work page doi:10.1215/kjm/ 1991