Pith. sign in

REVIEW 3 major objections 4 minor 38 references

A valuative approach to the anticanonical minimal model program

T0 review · 3 major / 4 minor · reviewed 2026-08-15 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read Every potentially klt triple's log canonical threshold is attained by a quasi-monomial valuation, and this makes the anticanonical minimal model program runnable for such triples.

desk verdict Genuine extension of Xu's theorem to pklt triples, with a localized proof gap at non-closed centers that is fixable. read the letter →

arxiv 2506.13637 v1 pith:CFZUKGTM submitted 2025-06-16 math.AG

Sung Rak Choi , Sungwook Jang , Donghyeon Kim , Dae-Won Lee This is my paper · ORCID
classification math.AG MSC 14B0514E0514E3014F18
keywords logcanonicalthresholdquasi-monomialvaluationspotentialtriplespotentiallykltminimalmodelprogramanticanonicalMMPdualcomplexasymptoticmultiplierideals
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

This paper proves that for every potentially klt (pklt) triple $(X, \Delta, D)$ — a pair together with a pseudoeffective divisor $D$ that behaves like a flexible replacement for the anticanonical class — the log canonical threshold (a number measuring how singular the triple is) is actually attained by a quasi-monomial valuation, a valuation given by monomial weights in local coordinates on a log smooth model. This extends the corresponding result for klt pairs to a strictly broader class, since potential triples are more general than generalized pairs. The proof approximates the threshold by perturbing $D$ with small ample divisors, producing valuations with a common center, then passes to a field extension and a log smooth model where the asymptotic order function is Lipschitz continuous, so a limit valuation exists and still computes the threshold. As a consequence the minimal model program can be run on any pklt triple, and for the special choice $D = -(K_X + \Delta)$ the anticanonical MMP can be run on potential pairs; in dimension two this yields a $-(K_X + \Delta)$-minimal model.

What carries the argument

The argument is carried by the dual complex $\mathcal{D}(E)$ of a log-smooth model $(Y, E)$ over $X$, the simplicial complex whose points are quasi-monomial valuations with log discrepancy 1, together with the asymptotic order function $\nu \mapsto \sigma_\nu(D)$. On this complex the function is Lipschitz continuous, so convergent sequences of valuations preserve the ratio that defines the threshold. The other load-bearing tool is the diminished multiplier ideal sheaf $\mathcal{J}_\sigma(X, \Delta, c\|D\|)$, which encodes where the threshold is achieved and produces an auxiliary graded sequence $\mathfrak{c}_{\bullet,\ell}$ that approximates the threshold of the perturbed divisor $D + (1/\ell)A$. A Diophantine approximation and a base field extension place all approximating valuations on a single dual complex, allowing the limiting argument to run.

What would settle it

One could falsify Theorem 1.1 by producing a pklt triple $(X, \Delta, D)$ for which the ratio $A_{X,\Delta}(\omega)/\sigma_\omega(D)$ is strictly larger than $\mathrm{lct}_\sigma(X, \Delta, D)$ for every quasi-monomial valuation $\omega$. Short of that, the key continuity premise can be tested directly: find a sequence of pseudoeffective divisors $D_\ell$ converging to $D$ and valuations $\nu_\ell$ converging to $\nu$ on a fixed dual complex for which $\sigma_{\nu_\ell}(D_\ell)$ does not converge to $\sigma_\nu(D)$.

Watch

Extended reading notes

Core claim

The central discovery is that the log canonical threshold of a pklt triple is computed by a quasi-monomial valuation: there exists $\omega$ with $\mathrm{lct}_\sigma(X, \Delta, D) = A_{X,\Delta}(\omega)/\sigma_\omega(D)$. The equality realises the infimum defining the threshold, not merely approximates it, and the minimising valuation can be chosen so that its center is a prescribed point. The proof shows that for such triples the threshold of $D$ is the limit of thresholds of $D + (1/\ell)A$, each of which is computed by a quasi-monomial valuation after a base field extension; a compactness argument on the dual complex of a log smooth model, using the Lipschitz continuity of $\nu \mapsto \sigma_\nu(D)$, forces the limit to be a valuation that still computes the original threshold. This gives a partial positive answer to the question of whether diminished multiplier ideal loci control thresholds, and it is the key input for running the MMP with scaling on pklt triples.

Load-bearing premise

The load-bearing premise is that the asymptotic order function $\nu \mapsto \sigma_\nu(D)$ is Lipschitz continuous on the dual complex of the log-smooth model obtained after base field extension; if that continuity, or the interchange of infimum and limit used to identify the limit valuation, fails, the constructed limit valuation need not compute the threshold.

Editorial extensions

If this is right

  • Any pklt triple $(X, \Delta, D)$ admits a run of the $(K_X + \Delta + (1+\varepsilon)D)$-MMP with scaling of an ample divisor, for sufficiently small $\varepsilon > 0$.
  • For a potential pair, i.e. a pair with $D = -(K_X + \Delta)$ pseudoeffective, the anticanonical MMP $-(K_X + \Delta)$ can be run with scaling.
  • In dimension two the anticanonical MMP has no flips and terminates, producing a $-(K_X + \Delta)$-minimal model.
  • The property of being pklt is open under scaling: $(X, \Delta, (1+\varepsilon)D)$ is pklt for small $\varepsilon$, which converts the problem into a klt-pair perturbation.
  • The weak conjecture on log canonical thresholds — that the infimum is attained by a quasi-monomial valuation — holds for all pklt triples, not only klt pairs.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • The same valuative framework may give a uniform proof of the weak conjecture for other classes of thresholds defined by asymptotic order functions, wherever a Lipschitz continuity statement on a dual complex is available.
  • If the Lipschitz continuity of $\nu \mapsto \sigma_\nu(D)$ holds on dual complexes uniformly in families, the log canonical thresholds of pklt triples should vary continuously in families, extending ACC-type results for pair thresholds.
  • The proof constructs the computing valuation as a limit of restrictions of valuations after field extension; it leaves open whether the limit itself is quasi-monomial on the original variety, or only becomes so after base change.
  • A testable extension is to replace the boundedness-of-complements input by an $\mathbb{R}$-divisor version; the paper explicitly notes its arguments are restricted to $\mathbb{Q}$-divisors because of this step.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

3 major / 4 minor

Summary. The paper defines potential triples (X,Δ,D), where (X,Δ) is a pair and D is a pseudoeffective Q-Cartier divisor, and studies the threshold lctσ(X,Δ,D)=inf_ν A_{X,Δ}(ν)/σ_ν(D). The main theorem (Theorem 1.1) asserts that for a pklt triple this infimum is computed by a quasi-monomial valuation, extending Xu's theorem for klt pairs to potential triples. The proof follows Xu's blueprint: approximate D by D+1/ℓA, use asymptotic multiplier ideals and the approximation result Proposition 3.14 to produce valuations with a common center, extract a convergent subsequence via Kollár components, pass to a log-smooth model over a field extension, and use Lipschitz continuity of ν↦σ_ν(D) on dual complexes to pass to the limit. The paper then derives Theorem 1.2 and Corollaries 1.3–1.4, which run the (K_X+Δ+(1+ε)D)-MMP and the −(K_X+Δ)-MMP for pklt triples.

Significance. If the main theorem is correct, it is a genuine extension of Xu's theorem and gives a positive answer to [Leh, Question 6.15] in the setting of potential triples. The framework of potential triples is more flexible than generalized pairs, so the result is likely to be useful for anticanonical MMP and adjoint-type questions. The paper is clearly organized and the strategy follows a credible published blueprint; the derivation is parameter-free and the main statement is concrete and falsifiable. The applications (Proposition 4.2, Theorem 1.2, Corollaries 1.3–1.4) are straightforward consequences once Theorem 1.1 is available. The obstacles are technical and localized: the treatment of non-closed centers and two valuation-theoretic limit arguments need repair.

major comments (3)
  1. [Theorem 1.1, Step 2 (Section 4, p. 24); Proposition 3.14] The proof does not cover the case where the generic point x of an irreducible component of Z(Jσ(X,Δ,lctσ(D)||D||)) is not a closed point. This case is not vacuous: for X a smooth del Pezzo surface, E a (-1)-curve, Δ=0, D=(1/2)E, the triple is pklt and lctσ(D)=2 is computed by ord_E, whose center is the generic point of E, so x has codimension one. Over the DVR O_{X,x}, every proper birational morphism from a normal curve is an isomorphism, so no Kollár component S with f^{-1}(x)=S exists. Step 2 nevertheless invokes Remark 2.12(4) to write each computing valuation ν_j as a limit of normalized Kollár components S_{ij} over (X_x,Δ_x), and Step 3 constructs plt blowups extracting these S_{ij}; both are unjustified in this case. A separate argument is needed for the case where Z(I) has a divisorial component; in that case the minimizing valuation is the divisorial valuation of that component and is automatically quasi-monomial.
  2. [Lemma 2.13 (Section 2.5)] The proof interchanges inf_ν and lim_{ℓ→∞} without justification: the equality lctσ(D)=inf_ν lim_ℓ A_ν/σ_ν(D+1/ℓ A)=lim_ℓ inf_ν A_ν/σ_ν(D+1/ℓ A) is not a formal consequence of pointwise convergence. This lemma is used in Proposition 3.14 (Steps 1 and 3) and in Step 1 of Theorem 1.1, so the gap is load-bearing. I believe the statement is true, but the proof needs a separate lower-bound argument, for example using an almost-minimizing valuation for lctσ(D) and the pointwise convergence σ_ν(D+1/ℓ A)→σ_ν(D); the exchange of limits cannot be left as an assertion.
  3. [Proposition 2.7 (Section 2.4)] The Lipschitz constant is defined as L=M1 σ_{ν0}(D)+M2 max_J |D·H^{dimX−|J|−1}·E_J|, but the proof does not justify that σ_{ν0}(D) is finite for the valuation ν0 supplied by [BFJ, Theorem B]. In addition, the passage to ℓ→∞ inside the [BFJ] inequality requires that the quantities on both sides converge; the intersection terms do converge, but the finiteness of the limit of M1 ν0(||D+1/ℓ A||) is exactly the unproved finiteness of σ_{ν0}(D). Since Proposition 2.7 is the input that makes the limit valuation ν0 in Theorem 1.1 compute lctσ, this point should be addressed explicitly.
minor comments (4)
  1. [Section 2.1] The abbreviation 'plc' is used in Lemma 2.6 without being defined; the paper defines pklt and weakly pklt but not the potential log canonical analogue, so the intended meaning should be stated explicitly.
  2. [Proof of Theorem 1.1, Step 1 (Section 4, p. 23)] The graded sequence a_{m,ℓ} is defined using 1/ℓ A in the proof of the theorem, whereas Proposition 3.14 uses 1/ℓ! A; the factorial growth is used in the stabilization argument in Proposition 3.10(3), so the notation should be reconciled.
  3. [Proposition 3.14, Step 3 (Section 3.3, p. 21)] The reference 'by Proposition 3.7' should be 'by Theorem 3.7', which is the statement about lct_q(X,Δ,a_•) being characterized by non-containment of multiplier ideals.
  4. [Section 2.4] Immediately before Proposition 2.7, the notation QM(X,E) is used, but the log-smooth pair is denoted (Y,E); this should read QM(Y,E).

Circularity Check

0 steps flagged · score 1.0 of 10

No significant circularity: Theorem 1.1 reduces to external theorems (Xu's klt-pair theorem and [BFJ]), and the self-citations that occur are auxiliary rather than the target conclusion.

full rationale

The claimed derivation of Theorem 1.1 is a reduction, not a renaming. The paper defines lct_sigma as an infimum over all valuations and then proves that the infimum is attained by a quasi-monomial valuation. The approximating valuations are produced by Xu's theorem for klt pairs (Theorem 2.11 and Remark 2.12, from [Xu2]) applied to asymptotic multiplier ideal sheaves; Xu's theorem is an external result and is not equivalent to the pklt lct_sigma statement being proved. The continuity input on sigma_nu(D) is [BFJ, Theorem B], also external. No parameter is fitted and no 'prediction' is read back from the data. The self-citations that occur ([CJK, Theorem 4.4] and [CJL2, Lemma 2.5]) are used in the MMP application (Theorem 1.2) as auxiliary transfer statements; they do not contain the target lct_sigma computability conclusion, and Theorem 1.1 itself can be read without them. The gaps noted in the reader's take (finiteness of the Lipschitz constant in Proposition 2.7, the infimum-limit exchange in Lemma 2.13, and the codimension-one center issue for Kollár components in Steps 2-3) are mathematical correctness risks, not circularities: they concern whether the quoted external machinery applies, not whether the conclusion was assumed in the hypotheses. Remark 4.3 itself flags the Q-divisor restriction, which is an honest limitation statement rather than a circular step. Accordingly, no step in the derivation chain reduces to its own input by construction.

Assumptions & free parameters 0 free parameters · 6 assumptions · 0 invented entities

The central theorem rests on a body of established results in the minimal model program and valuation theory. The paper supplies the new framework of potential triples and the new theorem, but the listed imports are the load-bearing inputs that are not proven in this paper.

assumptions (6)
  • domain assumption Xu's theorem (Theorem 2.11): for a klt pair, the log canonical threshold of a graded sequence of ideals is computed by a quasi-monomial valuation.
    Used as the main ingredient in Step 2 of Theorem 1.1 to replace approximating valuations by quasi-monomial ones with the same log discrepancy, as summarized in Remark 2.12.
  • domain assumption [BFJ, Theorem B]: Lipschitz continuity of asymptotic order functions on the dual complex of a log-smooth model.
    Underlies Proposition 2.7, which is used to pass to the limit in Step 3 of the proof of Theorem 1.1.
  • domain assumption Birkar's boundedness of complements [B1, Theorem 1.8].
    Used in Step 3 of Theorem 1.1 to find a uniform integer N0 and effective Q-Weil divisors Δ_ij such that (X_x, Δ_x + Δ_ij) is log canonical with S_ij as a log canonical place.
  • domain assumption [LX2, Proposition 3.9]: sequential compactness of the set of valuations with bounded log discrepancy and fixed center.
    Used in Step 2 of Theorem 1.1 to extract a convergent subsequence from the sequence of valuations ν_j.
  • standard math Existence of Kollár components [Pro, Theorem 1.1] and [Xu1, Lemma 1].
    Used in Step 2 of Theorem 1.1 to write each ν_j as a limit of normalized Kollár components.
  • standard math Algebraically closed field of characteristic zero.
    Standing assumption stated at the beginning of the paper, required for the multiplier ideal and resolution techniques used throughout.

how reviews work

0 comments
Cite this review

Pith. "Pith review of A valuative approach to the anticanonical minimal model program." pith.science (2026). https://pith.science/paper/CFZUKGTM

@misc{pith2026250613637,
  author       = {Pith},
  title        = {Pith review of: A valuative approach to the anticanonical minimal model program},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/CFZUKGTM}},
  note         = {Machine review of arXiv:2506.13637}
}
abstract

In this paper, we show that the log canonical threshold of a potentially klt triple can be computed by a quasi-monomial valuation. The notion of potential triples provides a larger and more flexible framework to work with than that of generalized pairs. Our main result can be considered as an extension to the result of Xu on klt pairs. As an application of the main result, we show that we can run the MMP on any potentially klt triples and $-(K_X+\Delta)$-MMP on the potentially klt pairs.

Review history (2 revisions) →

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

38 extracted references · 33 canonical work pages

  1. [1]

    Birkar, Anti-pluricanonical systems on F ano varieties , Ann

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

    work page 2019

  2. [2]

    Birkar, Generalised pairs in birational geometry

    C. Birkar, Generalised pairs in birational geometry. EMS Surv. Math. Sci. 8 (2021), no. 1-2, 5–24

    work page 2021

  3. [3]

    Birkar, P

    C. Birkar, P. Cascini, C. 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]

    Blum, Existence of valuations with smallest normalized volume, Compos

    H. Blum, Existence of valuations with smallest normalized volume, Compos. Math. 154 (2018), no. 4, 820--849

    work page 2018

  5. [5]

    Birkar, P

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

    work page 2010

  6. [6]

    Boucksom, C

    S. Boucksom, C. Favre, and M. Jonsson, A refinement of I zumi's theorem , Valuation theory in interaction, EMS Ser. Congr. Rep. (2014), 55--81 , Eur. Math. Soc., Z\"urich

    work page 2014

  7. [7]

    Blum and M

    H. Blum and M. Jonsson, Thresholds, valuations, and K-stability, Adv. Math. 365, 107062

    work page

  8. [8]

    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), 283–331

    work page 2016

Show all 38 references
  1. [9]

    G. Chen, J. Han, J. Liu, and L. Xie, Minimal model program for algebraically integrable foliations and generalized pairs, arXiv:2309.15823v2 https://arxiv.org/abs/2309.15823, (2023)

    2023 arXiv

  2. [10]

    S. Choi, S. Jang, ACC of plc thresholds, Manuscripta Mathematica, Volume 174, pages 491–503, (2024)

    2024

  3. [11]

    S. Choi, S. Jang, and D. Kim, Adjoint asymptotic multiplier ideal sheaves, arXiv:2311.07441 https://arxiv.org/abs/2311.07441, arXiv:2311.07441, (2024)

    2024

  4. [12]

    S. Choi, S. Jang, and D.-W. Lee, Plc pairs with good asymptotic base loci, arXiv:2411.04628 https://arxiv.org/abs/2411.04628, (2024)

    2024 arXiv

  5. [13]

    S. Choi, S. Jang, and D.-W. Lee, On minimal model program and Zariski decomposition of potential triples, arXiv:2502.00790 https://arxiv.org/abs/2502.00790, (2025)

    2025 arXiv

  6. [14]

    Choi and J

    S. Choi and J. Park, Potentially non-klt locus and its applications, Math. Ann. 366(1), 141--166 (2016)

    2016

  7. [15]

    Fujino, Foundations of the minimal model program, MSJ Memoirs, vol

    O. Fujino, Foundations of the minimal model program, MSJ Memoirs, vol. 35, Mathematical Society of Japan, Tokyo, 2017

    2017

  8. [16]

    de Fernex, L

    T. de Fernex, L. Ein and Musta t a , Vanishing theorems and singularities in birational

  9. [17]

    de Fernex, J

    T. de Fernex, J. Koll\'ar, and C. Xu, The dual complex of singularities, Higher dimensional algebraic geometry---in honour of P rofessor Y ujiro K awamata's sixtieth birthday, Adv. Stud. Pure Math. 74 103--129, Math. Soc. Japan, Tokyo , (2017)

    2017

  10. [18]

    Hacon, A derived category approach to generic vanishing, J

    C. Hacon, A derived category approach to generic vanishing, J. Reine Angew. Math. 575 (2004), 173--187

    2004

  11. [19]

    Jang, Anticanonical minimal models and Zariski decomposition, arXiv:2405.10533 https://arxiv.org/abs/2405.10533, (2024)

    S. Jang, Anticanonical minimal models and Zariski decomposition, arXiv:2405.10533 https://arxiv.org/abs/2405.10533, (2024)

    2024 arXiv

  12. [20]

    Jow, Asymptotic order-of-vanishing functions on the pseudoeffective cone, Pacific J

    S-Y. Jow, Asymptotic order-of-vanishing functions on the pseudoeffective cone, Pacific J. Math. 288 (2017), no. 2 , 377--380

    2017

  13. [21]

    Jonsson and M

    M. Jonsson and M. Musta t a , Valuations and asymptotic invariants for sequences of ideals, Ann. Inst. Fourier (Grenoble) 62 (2012), no. 6, 2145--2209

    2012

  14. [22]

    Koll \'a r, Singularities of the minimal model program, Cambridge Tracts in Mathematics, vol

    J. Koll \'a r, Singularities of the minimal model program, Cambridge Tracts in Mathematics, vol. 200, Cambridge University Press, Cambridge, (2013)

    2013

  15. [23]

    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

  16. [24]

    S. Keel, K. Matsuki, and J. McKernan, Log abundance theorem for threefolds, Duke Math. J. 75 (1994), 99–119

    1994

  17. [25]

    Lazarsfeld, Positivity in algebraic geometry

    R. Lazarsfeld, Positivity in algebraic geometry. II Positivity for vector bundles, and multiplier ideals Ergeb. Math. Grenzgeb., vol. 49, Springer-Verlag, Berlin

  18. [26]

    Lehmann, On Eckl’s -effective reduction map, Trans

    B. Lehmann, On Eckl’s -effective reduction map, Trans. Amer. Math. Soc. 366 (2014), 1525--1549

    2014

  19. [27]

    Lehmann, Algebraic bounds on analytic multiplier ideals, Ann

    B. Lehmann, Algebraic bounds on analytic multiplier ideals, Ann. Inst. Fourier (Grenoble) 64 (2014), no. 3, 1077--1108

    2014

  20. [28]

    Lazić and T

    V. Lazić and T. Peternell, On generalised abundance, I, Publ. Res. Inst. Math. Sci. 56 (2020), no. 2, 353--389

    2020

  21. [29]

    Li and C

    C. Li and C. Xu, Stability of valuations: higher rational rank, Peking Math. J. 1 (2018), no. 1, 1--79

    2018

  22. [30]

    Li and C

    C. Li and C. Xu, Stability of valuations and K oll\'ar components , J. Eur. Math. Soc. (JEMS) 22 (2020), no. 8, 2573--2627

    2020

  23. [31]

    Nakayama, (2004)

    N. Nakayama, (2004). Zariski-decomposition and abundance (Vol. 14). Tokyo: Mathematical Society of Japan

    2004

  24. [32]

    Prokhorov, Blow-ups of canonical singularities, Algebra (Moscow, 1998), 301--317, de Gruyter, Berlin, (2000)

    Y. Prokhorov, Blow-ups of canonical singularities, Algebra (Moscow, 1998), 301--317, de Gruyter, Berlin, (2000)

    2000

  25. [33]

    A. J. de Jong et al., The Stacks Project, Available at http://stacks.math.columbia.edu

  26. [34]

    Takagi, A subadditivity formula for multiplier ideals associated to log pairs, Proc

    S. Takagi, A subadditivity formula for multiplier ideals associated to log pairs, Proc. Amer. Math. Soc. 141 (2013), no. 1, 93--102

    2013

  27. [35]

    Xu, Finiteness of algebraic fundamental groups, Compos

    C. Xu, Finiteness of algebraic fundamental groups, Compos. Math. 150 (2014), no. 3, 409--414

    2014

  28. [36]

    Xu, A minimizing valuation is quasi-monomial, Ann

    C. Xu, A minimizing valuation is quasi-monomial, Ann. of Math. (2) 191(3): 1003--1030 (May 2020)

    2020

  29. [37]

    Xu, K-stability for varieties with a big anticanonical class, Epijournal Géom

    C. Xu, K-stability for varieties with a big anticanonical class, Epijournal Géom. Algébriqué, (2023) Art. 7, 9

    2023

  30. [38]

    Xu, K-stability of Fano varieties, New Mathematical Monographs, vol

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

    2025

Pith tools

Reviewed August 15, 2026 · model on record in the stance chip above.