pith. sign in

arxiv: 2604.18465 · v3 · pith:NM6UI6M2new · submitted 2026-04-20 · 🧮 math.AG

On the quasi-monomiality of the α- and δ-invariants

Donghyeon Kim , Dae-Won Lee This is my paper

Pith reviewed 2026-05-21 00:37 UTC · model grok-4.3

classification 🧮 math.AG
keywords quasi-monomial valuationsklt pairsalpha invariantdelta invariantbirational geometryQ-Cartier divisorsprojective varieties
0
0 comments X

The pith

The alpha and delta invariants for projective klt pairs with big Q-Cartier divisors are computed by quasi-monomial valuations.

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

The paper shows that the alpha and delta invariants of a projective klt pair with a big Q-Cartier divisor are computed by quasi-monomial valuations. This holds over algebraically closed fields of characteristic zero without needing the field to be uncountable. A sympathetic reader cares because these invariants help measure the positivity and singularity of divisors in birational geometry, and quasi-monomial valuations are a restricted class that is easier to handle explicitly. The result extends prior statements by removing the uncountability assumption on the base field.

Core claim

For any projective klt pair (X,Δ) over an algebraically closed field of characteristic 0 and any big Q-Cartier Q-divisor L on X, the invariants α(X,Δ,L) and δ(X,Δ,L) are computed by quasi-monomial valuations.

What carries the argument

Quasi-monomial valuations that realize the infima defining the alpha and delta invariants.

If this is right

  • The computation of these invariants can focus on quasi-monomial valuations rather than all possible valuations.
  • The result applies without assuming the base field is uncountable.
  • Existing results on these invariants that assumed uncountability now extend to all algebraically closed fields of characteristic zero.

Where Pith is reading between the lines

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

  • If true, this could simplify explicit computations in examples where valuations are already known to be quasi-monomial.
  • The technique might extend to related invariants defined via infima over all valuations on the variety.
  • Testable by direct calculation on specific toric or toric-like pairs where the full set of valuations is understood.

Load-bearing premise

The pair must be klt and the divisor L must be big and Q-Cartier to control the valuations and apply birational geometry results.

What would settle it

A counterexample consisting of a projective klt pair and big Q-Cartier divisor where a non-quasi-monomial valuation gives a strictly smaller value for alpha or delta than any quasi-monomial one.

read the original abstract

In this paper, we show that for any projective klt pair $(X,\Delta)$ over an algebraically closed field of characteristic \(0\) and any big $\mathbb{Q}$-Cartier $\mathbb{Q}$-divisor $L$ on $X$, the invariants $\alpha(X,\Delta,L)$ and $\delta(X,\Delta,L)$ are computed by quasi-monomial valuations, without any uncountability assumption on the base field.

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 / 3 minor

Summary. The manuscript proves that for any projective klt pair (X, Δ) over an algebraically closed field of characteristic 0 and any big ℚ-Cartier ℚ-divisor L on X, the invariants α(X,Δ,L) and δ(X,Δ,L) are computed by quasi-monomial valuations, without requiring an uncountability assumption on the base field.

Significance. If the result holds, it removes a longstanding uncountability hypothesis from the computation of these birational invariants, enabling direct application over countable algebraically closed fields such as the algebraic closure of ℚ. This is valuable for explicit computations and potential arithmetic applications. The proof strategy—reducing via log resolution to monomial valuations on a toroidal exceptional locus, controlling discrepancies via the klt condition, ensuring finiteness via bigness of L, and working algebraically with graded pieces of associated graded rings—avoids generic point selection and uncountable extensions, providing a self-contained algebraic argument that strengthens the existing literature on α and δ invariants.

minor comments (3)
  1. The reduction step via log resolution to the toroidal case (described in the proof outline) would benefit from an explicit statement of how the quasi-monomial property is preserved under the chosen resolution and normalization; a short diagram or reference to the precise toroidal coordinates used would improve readability.
  2. In the discussion of the graded pieces of the associated graded rings, the notation for the S-functional and normalized volume could be made uniform with the definitions of α and δ earlier in the text to avoid any ambiguity in the infima restrictions.
  3. A brief remark on why the algebraic closure and characteristic zero suffice for the existence of suitable test configurations (without further base change) would help readers unfamiliar with the precise algebraic closure arguments.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive assessment of our manuscript and for recommending minor revision. The referee's summary correctly captures our main result: that α(X,Δ,L) and δ(X,Δ,L) are computed by quasi-monomial valuations for projective klt pairs over algebraically closed fields of characteristic zero, without any uncountability assumption. We appreciate the recognition that the algebraic proof strategy strengthens the existing literature.

Circularity Check

0 steps flagged

No significant circularity; derivation self-contained via standard birational reduction

full rationale

The manuscript derives quasi-monomiality of α(X,Δ,L) and δ(X,Δ,L) by applying a log resolution to reduce to a toroidal exceptional locus where candidate valuations become monomial, then invoking the klt hypothesis to ensure positive log discrepancies and bigness of L to guarantee finiteness of the normalized volume and S-functional. The infima are shown to coincide with their restrictions to the quasi-monomial locus by working directly with graded pieces of associated graded rings, using only algebraic closure and characteristic zero. No step equates the target invariants to a fitted parameter or self-citation by construction; the argument relies on external birational geometry results that are independent of the present claim and do not presuppose the quasi-monomial conclusion.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The paper is a proof in birational geometry that relies on standard background results about klt pairs, valuations, and big divisors rather than introducing new free parameters or entities.

axioms (1)
  • standard math Standard properties of klt pairs, quasi-monomial valuations, and big ℚ-Cartier divisors in characteristic zero algebraic geometry
    The statement invokes these as given background to establish the computation by quasi-monomial valuations.

pith-pipeline@v0.9.0 · 5595 in / 1347 out tokens · 79854 ms · 2026-05-21T00:37:01.560025+00:00 · methodology

Review history (2 revisions) →

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

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

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.

Forward citations

Cited by 2 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. On the normalized local volume of a non-closed point

    math.AG 2026-04 unverdicted novelty 7.0

    Normalized local volume at non-closed points is determined by the volumes at closed points.

  2. On the normalized local volume of a non-closed point

    math.AG 2026-04 unverdicted novelty 4.0

    The normalized local volume of a non-closed point equals an expression built from the normalized local volumes of closed points.

Reference graph

Works this paper leans on

37 extracted references · 37 canonical work pages · cited by 1 Pith paper

  1. [1]

    Berthelot, A

    P. Berthelot, A. Grothendieck, and L. Illusie, editors.Théorie des intersections et théorème de Riemann-Roch, volume Vol. 225 ofLecture Notes in Mathematics. Springer-Verlag, Berlin-New York,

    work page

  2. [2]

    Berthelot, A

    Séminaire de Géométrie Algébrique du Bois-Marie 1966–1967 (SGA 6), Dirigé par P. Berthelot, A. Grothendieck et L. Illusie. Avec la collaboration de D. Ferrand, J. P. Jouanolou, O. Jussila, S. Kleiman, M. Raynaud et J. P. Serre

    work page 1966

  3. [3]

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

    work page doi:10.4007/annals.2019.190.2.1 2019

  4. [4]

    Blum and M

    H. Blum and M. Jonsson. Thresholds, valuations, and K-stability.Adv. Math., 365:107062, 57, 2020. doi:10.1016/j.aim.2020.107062

    work page doi:10.1016/j.aim.2020.107062 2020

  5. [5]

    Blum and Y

    H. Blum and Y. Liu. Openness of uniform K-stability in families ofQ-Fano varieties.Ann. Sci. Éc. Norm. Supér. (4), 55(1):1–41, 2022. doi:10.24033/asens.2490

    work page doi:10.24033/asens.2490 2022

  6. [6]

    H. Blum, Y. Liu, and C. Xu. Openness of K-semistability for Fano varieties.Duke Math. J., 171(13):2753–2797, 2022. doi:10.1215/00127094-2022-0054

    work page doi:10.1215/00127094-2022-0054 2022

  7. [7]

    Boucksom and M

    S. Boucksom and M. Jonsson. A non-Archimedean approach to K-stability, II: Divisorial stability and openness.J. Reine Angew. Math., 805:1–53, 2023. doi:10.1515/crelle-2023-0062

    work page doi:10.1515/crelle-2023-0062 2023

  8. [8]

    Brunebarbe and M

    Y. Brunebarbe and M. Maculan. Counting integral points of bounded height on varieties with large fundamental group.J. Reine Angew. Math., 807:31–53, 2024. doi:10.1515/crelle-2023-0079

    work page doi:10.1515/crelle-2023-0079 2024

  9. [9]

    S. R. 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

  10. [10]

    de Fernex, L

    T. de Fernex, L. Ein, and M. Mustaţă. Log canonical thresholds on varieties with bounded singulari- ties. InClassification of algebraic varieties, EMS Ser. Congr. Rep., pages 221–257. Eur. Math. Soc., Zürich, 2011. doi:10.4171/007-1/10

    work page doi:10.4171/007-1/10 2011

  11. [11]

    de Fernex, J

    T. de Fernex, J. Kollár, and C. Xu. The dual complex of singularities. InHigher dimensional algebraic geometry—in honour of Professor Yujiro Kawamata’s sixtieth birthday, volume 74 ofAdv. Stud. Pure Math., pages 103–129. Math. Soc. Japan, Tokyo, 2017. doi:10.2969/aspm/07410103

    work page doi:10.2969/aspm/07410103 2017

  12. [12]

    A. J. de Jong et al. The stacks project.http://stacks.math.columbia.edu

    work page

  13. [13]

    Fujino.Foundations of the minimal model program, volume 35 ofMSJ Memoirs

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

    work page 2017

  14. [14]

    Fujita and Y

    K. Fujita and Y. Odaka. On the K-stability of Fano varieties and anticanonical divisors.Tohoku Math. J. (2), 70(4):511–521, 2018. doi:10.2748/tmj/1546570823

    work page doi:10.2748/tmj/1546570823 2018

  15. [15]

    Grothendieck

    A. Grothendieck. éléments de géométrie algébrique. IV. étude locale des schémas et des morphismes de schémas. III.Inst. Hautes Études Sci. Publ. Math., 28:255, 1966. URLhttp://www.numdam.org/ item?id=PMIHES_1966__28__255_0

    work page 1966

  16. [16]

    C. D. Hacon. A derived category approach to generic vanishing.J. Reine Angew. Math., 575:173–187,

    work page

  17. [17]

    doi:10.1515/crll.2004.078. 29

    work page doi:10.1515/crll.2004.078 2004

  18. [18]

    J. Han, M. Miao, L. Qi, L. Wang, and Z. Tong. Stable degenerations of log fano fibration germs. arXiv preprint arXiv:2603.09269, 2026

    work page arXiv 2026

  19. [19]

    Hartshorne.Algebraic geometry, volume No

    R. Hartshorne.Algebraic geometry, volume No. 52 ofGraduate Texts in Mathematics. Springer-Verlag, New York-Heidelberg, 1977

    work page 1977

  20. [20]

    Hassett.Introduction to algebraic geometry

    B. Hassett.Introduction to algebraic geometry. Cambridge University Press, Cambridge, 2007. doi:10.1017/CBO9780511755224

    work page doi:10.1017/cbo9780511755224 2007

  21. [21]

    M.HochsterandY.Yao.Genericlocaldualityandpurityexponents.arXiv preprint arXiv:2503.02830, 2025

    work page arXiv 2025

  22. [22]

    Jonsson and M

    M. Jonsson and M. Mustaţă. 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

  23. [23]

    Kawakita

    M. Kawakita. Inversion of adjunction on log canonicity.Invent. Math., 167(1):129–133, 2007. doi:10.1007/s00222-006-0008-z

    work page doi:10.1007/s00222-006-0008-z 2007

  24. [24]

    D. Kim. On diminished multiplier ideal and the termination of flips.Eur. J. Math., 12(1):Paper No. 10, 2026. doi:10.1007/s40879-026-00885-6

    work page doi:10.1007/s40879-026-00885-6 2026

  25. [25]

    2013 , PAGES =

    J. Kollár.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ándor Kovács

    work page doi:10.1017/cbo9781139547895 2013

  26. [26]

    1998 , PAGES =

    J. Kollár 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

  27. [27]

    Lazarsfeld.Positivity in algebraic geometry

    R. Lazarsfeld.Positivity in algebraic geometry. II, volume 49 ofErgebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge. A Series of Modern Surveys in Mathematics [Results in Mathematics and Related Areas. 3rd Series. A Series of Modern Surveys in Mathematics]. Springer-Verlag, Berlin,

    work page

  28. [28]

    2004 , PAGES =

    doi:10.1007/978-3-642-18808-4. Positivity for vector bundles, and multiplier ideals

    work page doi:10.1007/978-3-642-18808-4

  29. [29]

    B. Lehmann. Algebraic bounds on analytic multiplier ideals.Ann. Inst. Fourier (Grenoble), 64(3):1077–1108, 2014. doi:10.5802/aif.2874

    work page doi:10.5802/aif.2874 2014

  30. [30]

    Y. Liu, C. Xu, and Z. Zhuang. Finite generation for valuations computing stability thresholds and applications to K-stability.Ann. of Math. (2), 196(2):507–566, 2022. doi:10.4007/annals.2022.196.2.2

    work page doi:10.4007/annals.2022.196.2.2 2022

  31. [31]

    J. Peng. Asymptotics of stability thresholds. arXiv:2509.16458, 2025

    work page arXiv 2025

  32. [32]

    K. E. Smith. Local cohomology and base change.J. Algebra, 496:11–23, 2018. doi:10.1016/j.jalgebra.2017.09.036

    work page doi:10.1016/j.jalgebra.2017.09.036 2018

  33. [33]

    G. Tian. On Kähler-Einstein metrics on certain Kähler manifolds withC1(M)> 0.Invent. Math., 89(2):225–246, 1987. doi:10.1007/BF01389077

    work page doi:10.1007/bf01389077 1987

  34. [34]

    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

  35. [35]

    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

    work page 2025

  36. [36]

    Xu and Z

    C. Xu and Z. Zhuang. Stable degenerations of singularities.J. Amer. Math. Soc., 38(3):585–626,

    work page

  37. [37]

    (DonghyeonKim)Department of Mathematics, Yonsei University, 50 Yonsei-ro, Seodaemun- gu, Seoul 03722, Republic of Korea Email address:narimial0@gmail.com 30

    doi:10.1090/jams/1055. (DonghyeonKim)Department of Mathematics, Yonsei University, 50 Yonsei-ro, Seodaemun- gu, Seoul 03722, Republic of Korea Email address:narimial0@gmail.com 30

    work page doi:10.1090/jams/1055