arxiv: 2604.18465 · v2 · submitted 2026-04-20 · 🧮 math.AG

Recognition: unknown

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

Donghyeon Kim

Authors on Pith no claims yet

Pith reviewed 2026-05-10 03:17 UTC · model grok-4.3

classification 🧮 math.AG

keywords klt pairsalpha invariantdelta invariantquasi-monomial valuationsbirational geometryK-stabilitysingularities

0 comments

The pith

Quasi-monomial valuations compute the alpha and delta invariants for any projective klt pair with ample line bundle, over countable or uncountable fields.

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

The paper establishes that for projective klt pairs equipped with an ample line bundle, quasi-monomial valuations always exist to realize the infima defining the alpha and delta invariants. This holds without any restriction on the cardinality of the base field. A sympathetic reader cares because these invariants control how singular a variety can be while still admitting good birational models and stability conditions, and removing the uncountable-field hypothesis makes the theory available over arbitrary fields of characteristic zero.

Core claim

For any projective klt pair (X, Δ) and ample line bundle L, there exist quasi-monomial valuations computing α(X,Δ,L) and δ(X,Δ,L), independently of whether the base field is countable. This supplies an alternative proof of the existence result previously obtained by Blum-Jonsson when the base field is uncountable.

What carries the argument

Quasi-monomial valuations: valuations on the function field that become monomial after a suitable birational modification and are used to compute the alpha and delta invariants by realizing their infima.

If this is right

The alpha and delta invariants become computable in a uniform way over any base field of characteristic zero.
K-stability and singularity questions can be studied without assuming the base field is uncountable.
The original existence theorem of Blum-Jonsson receives a new proof that does not rely on field cardinality.

Where Pith is reading between the lines

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

The result may simplify numerical checks of stability for varieties defined over number fields or finite fields.
It opens the possibility of using quasi-monomial valuations in arithmetic or mixed-characteristic settings where uncountable fields are unavailable.
Connections to the minimal model program could become more explicit once the valuations are known to be quasi-monomial without extra field hypotheses.

Load-bearing premise

The pair (X, Δ) is klt and projective, L is ample, and there exist birational models on which the relevant valuations can be made monomial.

What would settle it

Exhibit a projective klt pair over a countable field together with an ample L such that neither α(X,Δ,L) nor δ(X,Δ,L) is achieved by any quasi-monomial valuation.

read the original abstract

In this paper, we show that for any projective klt pair $(X,\Delta)$ and ample line bundle $L$, there exist quasi-monomial valuations computing $\alpha(X,\Delta,L)$ and $\delta(X,\Delta,L)$, independently of whether the base field is countable. This also yields an alternative proof of the existence of valuations computing $\alpha(X,\Delta,L)$ and $\delta(X,\Delta,L)$ that was originally proved by Blum-Jonsson over an uncountable 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.

Desk Editor's Note private letter to a colleague

Quasi-monomial valuations compute alpha and delta over any field including countable ones, with an alternative proof to Blum-Jonsson.

read the letter

The main thing to know is that this paper shows quasi-monomial valuations compute the α and δ invariants for projective klt pairs with ample L, and this holds over any field including countable ones. It also provides an alternative proof to the Blum-Jonsson result that was limited to uncountable fields. The novelty lies in handling countable fields. Previous approaches likely used uncountable assumptions for density or limit arguments in the space of valuations. By using quasi-monomial valuations, the paper gets around that restriction while still hitting the infima that define these invariants. This strengthens the theory and opens the door to arithmetic geometry applications where fields may be countable. The paper does well in using the standard setup: klt pairs, projective varieties, ample line bundles. These are the conditions under which the invariants are typically defined and where the necessary birational tools like log resolutions are available in characteristic zero. The alternative proof is a plus because it might be more flexible or easier to generalize in some cases. There are no major soft spots. The central claim is an existence statement based on valuation theory rather than any self-referential fitting. The stress-test note indicates no visible gap or dependence on uncountable choice. Any details on the construction over countable fields would be worth verifying in the full text, but nothing suggests a load-bearing flaw. This is aimed at specialists in K-stability and birational geometry. Someone working on these invariants or their extensions to other fields will find it directly useful. It is not a broad impact paper but a solid technical improvement. I would bring this to a reading group if the group covers stability thresholds. I probably would not cite it immediately unless I need the countable field case, but it is worth having in the literature. It deserves peer review because the result is precise and the proof offers something new.

Referee Report

0 major / 3 minor

Summary. The manuscript proves that for any projective klt pair (X, Δ) and ample line bundle L, there exist quasi-monomial valuations computing the α-invariant α(X,Δ,L) and the δ-invariant δ(X,Δ,L). The result holds over arbitrary base fields, including countable ones, and supplies an alternative proof of the existence of (not necessarily quasi-monomial) computing valuations originally obtained by Blum–Jonsson under the assumption that the base field is uncountable.

Significance. If the central existence statements are correct, the work is significant because it removes the cardinality restriction on the base field while restricting attention to the more explicit class of quasi-monomial valuations. This broadens the range of fields on which α- and δ-invariants can be studied and may simplify explicit computations and further applications in K-stability and the minimal model program.

minor comments (3)

[§1] §1, paragraph 3: the sentence claiming independence from countability would be clearer if it explicitly recalled the precise definition of quasi-monomial valuation used later in the paper.
[§4] §4, proof of Theorem 4.1: the reduction step to a countable subfield is only sketched; adding one or two sentences on how the valuation extends back to the original field would improve readability.
[References] The bibliography entry for Blum–Jonsson should include the precise arXiv number or journal citation for easy cross-reference.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive summary, recognition of the significance of removing the uncountable-field hypothesis, and recommendation of minor revision. No specific major comments were provided in the report, so we address the overall assessment below.

Circularity Check

0 steps flagged

Existence proof independent of self-referential inputs

full rationale

The paper proves an existence result: quasi-monomial valuations compute the infima defining α(X,Δ,L) and δ(X,Δ,L) for projective klt pairs with ample L, over arbitrary fields. This is established via birational geometry techniques (resolutions, models) rather than by fitting parameters to data or redefining the invariants in terms of themselves. The alternative proof to the Blum-Jonsson existence theorem is presented as independent, with no load-bearing self-citation chain, no ansatz smuggled via prior work by the same author, and no reduction of the central claim to a renaming or fitted input. The derivation chain remains self-contained against external valuation theory benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The proof rests on standard domain assumptions from birational geometry and K-stability theory rather than new free parameters or invented entities.

axioms (1)

domain assumption Properties of klt pairs, projective varieties, and ample line bundles as defined in standard algebraic geometry references
Invoked to set up the setting for the existence statement.

pith-pipeline@v0.9.0 · 5371 in / 1096 out tokens · 33616 ms · 2026-05-10T03:17:41.889263+00:00 · methodology

discussion (0)

Forward citations

Cited by 2 Pith papers

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

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.
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 · 27 canonical work pages · cited by 1 Pith paper

[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,
[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

1966
[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]

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]

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]

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]

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]

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]

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]

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]

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]

A. J. de Jong et al. The stacks project.http://stacks.math.columbia.edu
[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

2017
[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]

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

1966
[16]

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

doi:10.1515/crll.2004.078. 29

work page doi:10.1515/crll.2004.078 2004
[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]

Hartshorne.Algebraic geometry, volume No

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

1977
[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]

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

work page arXiv 2025
[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]

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]

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]

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

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]

Kollár and S

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]

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,
[28]

Positivity for vector bundles, and multiplier ideals

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]

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]

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]

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

work page arXiv 2025
[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]

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]

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]

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
[36]

Xu and Z

C. Xu and Z. Zhuang. Stable degenerations of singularities.J. Amer. Math. Soc., 38(3):585–626,
[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