REVIEW 5 minor 299 references
Under a finite crepant map between klt singularities, normalized volume multiplies exactly by the degree of the map.
Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →
T0 review · grok-4.5
2026-07-30 13:13 UTC pith:HPKPQVEZ
load-bearing objection Clean proof of the finite-degree formula for normalized volumes in the non-Galois case; the lift-and-degeneration strategy works and the conjecture is settled.
The finite degree formula for normalized volumes
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
If f is a finite surjective morphism between klt singularities x in (X, Δ_X) and y in (Y, Δ_Y) with K_X + Δ_X = f^*(K_Y + Δ_Y), then the normalized volumes satisfy ĉvol(x, X, Δ_X) = deg(f) · ĉvol(y, Y, Δ_Y). The same scaling holds globally after summing over the preimage of a closed point.
What carries the argument
Stable degeneration to a K-semistable log Fano cone, lifted along the finite map (after finite base change) so that the central fibers carry isogenous torus actions and a log-crepant finite morphism of equal degree; volume equality on those cones then follows from matching log discrepancies and graded lengths.
Load-bearing premise
That a stable degeneration of the base singularity can be lifted, after a finite base change, to a special degeneration of the cover whose central fiber still carries a compatible K-semistable log Fano cone structure of the same degree.
What would settle it
Exhibit a finite surjective crepant morphism between concrete klt singularities (for example explicit quotient or hypersurface germs) whose normalized volumes can be computed independently and fail to scale by the topological degree.
If this is right
- The finite-degree formula used in moduli and boundedness arguments no longer requires the cover to be Galois.
- For a finite crepant map of klt pairs, the sum of normalized volumes over the preimage of any closed point equals degree times the volume at that point.
- K-semistability of polarized log Fano cones is preserved under finite crepant equivariant maps with matching Reeb vectors.
- Volume computations on covers reduce to computations on the base once a crepant finite map is known.
Where Pith is reading between the lines
- The same lifting-and-cone strategy may extend the formula to finite maps that are only crepant in codimension one, if branch contributions can be controlled.
- Once degree scaling is unconditional, comparison of local volumes becomes a practical test for whether a given finite map of singularities is crepant.
- The result suggests that normalized volume behaves like a multiplicative Euler characteristic under finite crepant covers, inviting parallel statements for other local stability thresholds.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper proves the finite degree formula for normalized volumes: if f:(x∈(X,Δ_X)) o(y∈(Y,Δ_Y)) is a finite surjective morphism of klt singularities with K_X+Δ_X=f^*(K_Y+Δ_Y), then ĉvol(x,X,Δ_X)=deg(f)·ĉvol(y,Y,Δ_Y). The argument reduces via stable degeneration ([XZ25]) to K-semistable log Fano cones. After a finite base change, a special degeneration of the base is lifted (Prop. 3.1) and the torus/log Fano cone structure is lifted with an isogeny of tori (Prop. 3.4). K-semistability is shown to be preserved for compatible Reeb vectors (Thm. 4.1) by approximating with quasi-regular vectors and applying the global finite-morphism result [LZ22] to the associated Kollár components; the volume equality on central fibers is then elementary (Lem. 5.1). Lower semicontinuity gives one inequality; the reverse follows from pullback of valuations and length comparison. A global corollary for pairs is deduced.
Significance. The finite degree formula was known only in the Galois case ([XZ21]) and was conjectured in several surveys. The general case is a basic structural property of normalized volume and has already been used (conditionally) in moduli and boundedness arguments. Establishing it unconditionally removes a recurring hypothesis and strengthens the foundations of local K-stability. The proof is a clean synthesis of stable degeneration, equivariant lifting via étale fundamental groups, and approximation by quasi-regular Reeb vectors; it does not rely on uniqueness of minimizers outside the Galois setting, which is a genuine advance over the earlier approach.
minor comments (5)
- [§3.1, Prop. 3.1] In the proof of Prop. 3.1 the identification B_0=S is used to conclude that B'_0 is local; a one-sentence reminder that the degree-0 part of a Z-graded local ring (or of the coordinate ring of a connected affine scheme with good Gm-action) is local would make the connectedness argument easier to parse.
- [§3.2, Lem. 3.2] Lemma 3.2 invokes the Künneth formula for étale fundamental groups of a product of a torus with a connected scheme; a precise reference (or a short justification that the relevant open subgroup is still of finite index) would help readers less familiar with the stacks-project citations.
- [§5, proof of Thm. 1.1] In the reverse inequality at the end of the proof of Thm. 1.1, the cokernel C of the injection O(Y)^⊕deg(f) o O(X) is asserted to have support of dimension ≤n-1; it is worth recording that this follows because the map is an isomorphism after inverting a non-zerodivisor (or after localizing at the generic point).
- [References] Several arXiv identifiers in the bibliography have future-looking year stamps (e.g., 2604, 2606, 2601). These should be updated to the actual public identifiers before publication.
- [Throughout] Typographical inconsistencies appear in a few places (e.g., “V aluations”, “F ano”, “Koll´ ar”); a uniform pass for accents and spacing would improve readability.
Circularity Check
No significant circularity: the finite-degree equality is derived from independent black-box theorems and direct calculations, not assumed or fitted.
full rationale
The central claim (Theorem 1.1) is not an input of the argument. The proof reduces the problem, via stable degeneration [XZ25/Thm 2.8], lifting of special degenerations and torus actions (Props. 3.1, 3.4), transfer of K-semistability along finite log-crepant morphisms of cones (Thm 4.1, approximating by quasi-regular Reeb vectors and invoking the global finite-morphism result [LZ22] on Kollár components), and an elementary graded-module volume computation (Lemma 5.1), to an equality on K-semistable log Fano cones; lower semicontinuity [BL21] and a direct valuation-pullback length comparison then close both inequalities. None of these steps defines normalized volume in terms of the degree formula, fits a parameter to the target, or renames a known pattern as the theorem. Citations to the Xu–Zhuang–Li–Liu circle (uniqueness of minimizers, stable degeneration, LSC, equivariant K-stability) supply distinct prior theorems used as black boxes with stated hypotheses; author overlap is ordinary background, not a self-fulfilling chain that forces the equality by construction. No fitted inputs or self-definitional loops appear.
Axiom & Free-Parameter Ledger
axioms (6)
- domain assumption Existence of a minimizer of normalized volume that is unique up to scaling and quasi-monomial ([Blu18], [XZ21], [BLQ24], [Xu20]).
- domain assumption Stable degeneration theorem: a klt singularity degenerates specially to a K-semistable log Fano cone with the same normalized volume ([XZ25, Thm 1.1], [LX18]).
- domain assumption Lower semicontinuity of normalized volume in families ([BL21, Thm 1]).
- domain assumption Equivariant K-stability comparison for log Fano pairs under finite crepant morphisms ([LZ22, Thm 1.2]).
- standard math Standard definitions and properties of klt/plt pairs, log discrepancies of valuations, Kollár components, and good torus actions on affine varieties.
- standard math Purity of the branch locus and existence of isogenies of tori lifting finite étale torus-equivariant covers (Lemmas 3.2–3.3, via étale fundamental groups).
read the original abstract
Let $f\colon \big(x\in (X, \Delta_X)\big)\to \big(y\in (Y, \Delta_Y)\big)$ be a finite surjective morphism between klt singularities such that $K_X+\Delta_X=f^*(K_Y+\Delta_Y)$. We show that the normalized volumes satisfy \[\widehat{\mathrm{vol}}(x, X, \Delta_X)=\mathrm{deg}(f)\cdot \widehat{\mathrm{vol}}(y, Y, \Delta_Y).\] This proves a conjecture in [LLX20, Zhu25, XZ26a].
Reference graph
Works this paper leans on
-
[1]
Journal of Latex , pages=
How to use latex , author=. Journal of Latex , pages=
-
[2]
1976 , Publisher =
Artin, Michael , Title =. 1976 , Publisher =
1976
-
[3]
Beauville, Arnaud , TITLE =. J. Differential Geom. , FJOURNAL =. 1983 , NUMBER =
1983
-
[4]
Campana, Fr\'ed\'eric , TITLE =. Bull. Soc. Math. France , FJOURNAL =. 2021 , NUMBER =. doi:10.24033/bsmf.2823 , URL =
-
[5]
Druel, St\'ephane and Guenancia, Henri , TITLE =. J. \'Ec. polytech. Math. , FJOURNAL =. 2018 , PAGES =. doi:10.5802/jep.65 , URL =
doi:10.5802/jep.65 2018
-
[6]
Druel, St\'ephane , TITLE =. Invent. Math. , FJOURNAL =. 2018 , NUMBER =. doi:10.1007/s00222-017-0748-y , URL =
-
[7]
Bakker, Benjamin and Guenancia, Henri and Lehn, Christian , TITLE =. Invent. Math. , FJOURNAL =. 2022 , NUMBER =. doi:10.1007/s00222-022-01096-y , URL =
-
[8]
Felisetti, Camilla and Shen, Junliang and Yin, Qizheng , TITLE =. Trans. Amer. Math. Soc. , FJOURNAL =. 2022 , NUMBER =. doi:10.1090/tran/8592 , URL =
-
[9]
Greb, Daniel and Guenancia, Henri and Kebekus, Stefan , TITLE =. Geom. Topol. , FJOURNAL =. 2019 , NUMBER =. doi:10.2140/gt.2019.23.2051 , URL =
-
[10]
G\"ortz, Ulrich and Wedhorn, Torsten , TITLE =. [2023] 2023 , PAGES =. doi:10.1007/978-3-658-43031-3 , URL =
-
[11]
Huybrechts, Daniel and Xu, Chenyang , TITLE =. J. Inst. Math. Jussieu , FJOURNAL =. 2022 , NUMBER =. doi:10.1017/S1474748020000365 , URL =
-
[12]
Koll\'ar, J\'anos , TITLE =. 1995 , PAGES =. doi:10.1515/9781400864195 , URL =
-
[13]
Minimal models and extremal rays (
Greb, Daniel and Kebekus, Stefan and Peternell, Thomas , TITLE =. Minimal models and extremal rays (. 2016 , ISBN =. doi:10.2969/aspm/07010067 , URL =
arXiv 2016
-
[14]
H\"oring, Andreas and Peternell, Thomas , TITLE =. Invent. Math. , FJOURNAL =. 2019 , NUMBER =. doi:10.1007/s00222-018-00853-2 , URL =
-
[15]
Kebekus, Stefan , TITLE =. Adv. Math. , FJOURNAL =. 2013 , PAGES =. doi:10.1016/j.aim.2013.06.013 , URL =
-
[16]
Namikawa, Yoshinori , TITLE =. J. Reine Angew. Math. , FJOURNAL =. 2006 , PAGES =. doi:10.1515/CRELLE.2006.079 , URL =
-
[17]
Schwald, Martin , TITLE =. \'Epijournal G\'eom. Alg\'ebrique , FJOURNAL =. 2020 , PAGES =. doi:10.46298/epiga.2020.volume4.4557 , URL =
-
[18]
Kebekus, Stefan and Schnell, Christian , TITLE =. J. Amer. Math. Soc. , FJOURNAL =. 2021 , NUMBER =. doi:10.1090/jams/962 , URL =
doi:10.1090/jams/962 2021
-
[19]
Greb, Daniel and Lehn, Christian and Rollenske, S\"onke , TITLE =. Ann. Sci. \'Ec. Norm. Sup\'er. (4) , FJOURNAL =. 2013 , NUMBER =. doi:10.24033/asens.2191 , URL =
-
[20]
Greb, Daniel and Kebekus, Stefan and Peternell, Thomas , TITLE =. Duke Math. J. , FJOURNAL =. 2016 , NUMBER =. doi:10.1215/00127094-3450859 , URL =
-
[21]
O'Grady, Kieran G. , TITLE =. J. Algebraic Geom. , FJOURNAL =. 2003 , NUMBER =. doi:10.1090/S1056-3911-03-00323-0 , URL =
-
[22]
Koll\'ar, J\'anos and Laza, Radu and Sacc\`a, Giulia and Voisin, Claire , TITLE =. Ann. Inst. Fourier (Grenoble) , FJOURNAL =. 2018 , NUMBER =. doi:10.5802/aif.3228 , URL =
-
[23]
and Peternell, Thomas , TITLE =
Greb, Daniel and Kebekus, Stefan and Kov\'acs, S\'andor J. and Peternell, Thomas , TITLE =. Publ. Math. Inst. Hautes \'Etudes Sci. , FJOURNAL =. 2011 , PAGES =. doi:10.1007/s10240-011-0036-0 , URL =
-
[24]
Beauville, Arnaud , TITLE =. Invent. Math. , FJOURNAL =. 2000 , NUMBER =. doi:10.1007/s002229900043 , URL =
-
[25]
Koll\'ar, J\'anos and Mori, Shigefumi , TITLE =. 1998 , PAGES =. doi:10.1017/CBO9780511662560 , URL =
-
[26]
Lai, Ching-Jui , TITLE =. Math. Ann. , FJOURNAL =. 2011 , NUMBER =. doi:10.1007/s00208-010-0574-7 , URL =
-
[27]
Birkar, Caucher and Cascini, Paolo and Hacon, Christopher D. and McKernan, James , TITLE =. J. Amer. Math. Soc. , FJOURNAL =. 2010 , NUMBER =. doi:10.1090/S0894-0347-09-00649-3 , URL =
-
[28]
Hacon, Christopher D. and Xu, Chenyang , TITLE =. Invent. Math. , FJOURNAL =. 2013 , NUMBER =. doi:10.1007/s00222-012-0409-0 , URL =
-
[29]
Catanese, Fabrizio , TITLE =. J. Differential Geom. , FJOURNAL =. 2007 , NUMBER =
2007
-
[30]
Iliev, Atanas and Manivel, Laurent , TITLE =. Ann. Sci. \'Ec. Norm. Sup\'er. (4) , FJOURNAL =. 2011 , NUMBER =. doi:10.24033/asens.2146 , URL =
-
[31]
Algebraic and complex geometry , SERIES =
Markman, Eyal , TITLE =. Algebraic and complex geometry , SERIES =. 2014 , ISBN =. doi:10.1007/978-3-319-05404-9\_10 , URL =
-
[32]
Huybrechts, Daniel , TITLE =. Invent. Math. , FJOURNAL =. 1999 , NUMBER =. doi:10.1007/s002220050280 , URL =
-
[33]
Marian, Alina and Zhao, Xiaolei , TITLE =. \'. 2020 , PAGES =. doi:10.46298/epiga.2020.volume4.5506 , URL =
-
[34]
Beauville, Arnaud , TITLE =. J. Topol. , FJOURNAL =. 2011 , NUMBER =. doi:10.1112/jtopol/jtr002 , URL =
-
[35]
Shen, Junliang and Yin, Qizheng , TITLE =. J. Inst. Math. Jussieu , FJOURNAL =. 2020 , NUMBER =. doi:10.1017/s147474801800049x , URL =
-
[36]
Debarre, Olivier and Kuznetsov, Alexander , TITLE =. Math. Ann. , FJOURNAL =. 2020 , NUMBER =. doi:10.1007/s00208-019-01893-6 , URL =
-
[37]
Ravi Vakil , journal=
-
[38]
2016 , publisher=
Kuznetsov, Alexander , booktitle=. 2016 , publisher=
2016
-
[39]
Bayer, Arend and Perry, Alexander , TITLE =. J. Reine Angew. Math. , FJOURNAL =. 2023 , PAGES =. doi:10.1515/crelle-2023-0021 , URL =
-
[40]
Recent advances in algebraic geometry , SERIES =
Debarre, Olivier and Iliev, Atanas and Manivel, Laurent , TITLE =. Recent advances in algebraic geometry , SERIES =. 2015 , ISBN =
2015
-
[41]
Debarre, Olivier , journal=
-
[42]
Guo, Hanfei and Liu, Zhiyu , journal=
-
[43]
Grégoire Menet , journal=
-
[44]
Sacc\`a, Giulia , journal=
-
[45]
Sacc\`a, Giulia , TITLE =. Geom. Topol. , FJOURNAL =. 2023 , NUMBER =. doi:10.2140/gt.2023.27.1479 , URL =
-
[46]
Local and global methods in algebraic geometry , SERIES =
Voisin, Claire , TITLE =. Local and global methods in algebraic geometry , SERIES =. [2018] 2018 , ISBN =. doi:10.1090/conm/712/14354 , URL =
-
[47]
Birational geometry and moduli spaces , SERIES =
Perego, Arvid , TITLE =. Birational geometry and moduli spaces , SERIES =. [2020] 2020 , ISBN =. doi:10.1007/978-3-030-37114-2\_9 , URL =
-
[48]
Sawon, Justin and Shen, Chen , TITLE =. Bull. Lond. Math. Soc. , FJOURNAL =. 2022 , NUMBER =
2022
-
[49]
Emma Brakkee and Chiara Camere and Annalisa Grossi and Laura Pertusi and Giulia Saccà and Sasha Viktorova , journal=
-
[50]
1970 , PAGES =
Mumford, David , TITLE =. 1970 , PAGES =
1970
-
[51]
1977 , PAGES =
Hartshorne, Robin , TITLE =. 1977 , PAGES =
1977
-
[52]
Valeria Bertini and Annalisa Grossi and Mirko Mauri and Enrica Mazzon , journal=
-
[53]
Arbarello, Enrico and Sacc\`a, Giulia and Ferretti, Andrea , TITLE =. J. Differential Geom. , FJOURNAL =. 2015 , NUMBER =
2015
-
[54]
Markushevich, Dimitri and Tikhomirov, Alexander S. , TITLE =. Internat. J. Math. , FJOURNAL =. 2007 , NUMBER =. doi:10.1142/S0129167X07004503 , URL =
-
[55]
Perego, Arvid and Rapagnetta, Antonio , TITLE =. Algebr. Geom. , FJOURNAL =. 2023 , NUMBER =. doi:10.14231/ag-2023-012 , URL =
-
[56]
Classification of algebraic and analytic manifolds (
Fujiki, Akira , TITLE =. Classification of algebraic and analytic manifolds (. 1983 , ISBN =
1983
-
[57]
Fu, Lie and Menet, Gr\'egoire , TITLE =. Math. Z. , FJOURNAL =. 2021 , NUMBER =. doi:10.1007/s00209-020-02682-7 , URL =
-
[58]
Pacific J
Collino, Alberto , TITLE =. Pacific J. Math. , FJOURNAL =. 1986 , NUMBER =
1986
-
[59]
Grothendieck, Alexander , TITLE =. Inst. Hautes \'Etudes Sci. Publ. Math. , FJOURNAL =. 1966 , PAGES =
1966
-
[60]
O'Grady, Kieran G. , TITLE =. Duke Math. J. , FJOURNAL =. 2006 , NUMBER =. doi:10.1215/S0012-7094-06-13413-0 , URL =
-
[61]
Debarre, Olivier and Kuznetsov, Alexander , year =. Algebr. Geom. , doi =
-
[62]
Pirozhkov, Dmitrii , TITLE =. Adv. Math. , FJOURNAL =. 2023 , PAGES =. doi:10.1016/j.aim.2023.109046 , URL =
arXiv 2023
-
[63]
2018 , publisher=
Kuznetsov, Alexander and Perry, Alexander , journal=. 2018 , publisher=
2018
-
[64]
Verbitsky, Mikhail , TITLE =. J. Algebraic Geom. , FJOURNAL =. 1996 , NUMBER =
1996
-
[65]
Projectivity and birational geometry of
Bayer, Arend and Macr\`. Projectivity and birational geometry of. J. Amer. Math. Soc. , FJOURNAL =. 2014 , NUMBER =. doi:10.1090/S0894-0347-2014-00790-6 , URL =
-
[66]
O'Grady, Kieran G. , TITLE =. Algebr. Geom. , FJOURNAL =. 2022 , NUMBER =. doi:10.14231/ag-2022-001 , URL =
-
[67]
Beckmann, Thorsten , TITLE =. Compos. Math. , FJOURNAL =. 2023 , NUMBER =. doi:10.1112/S0010437X22007849 , URL =
-
[68]
Bayer, Arend and Beentjes, Sjoerd Viktor and Feyzbakhsh, Soheyla and Hein, Georg and Martinelli, Diletta and Rezaee, Fatemeh and Schmidt, Benjamin , TITLE =. Geom. Topol. , FJOURNAL =. 2024 , NUMBER =. doi:10.2140/gt.2024.28.127 , URL =
-
[69]
Hartshorne, Robin , TITLE =. Inst. Hautes \'. 1975 , PAGES =
1975
-
[70]
Kapranov, M. , TITLE =. Compositio Math. , FJOURNAL =. 1999 , NUMBER =. doi:10.1023/A:1000664527238 , URL =
-
[71]
Huang, Shengyuan , TITLE =. J. Pure Appl. Algebra , FJOURNAL =. 2021 , NUMBER =. doi:10.1016/j.jpaa.2021.106673 , URL =
arXiv 2021
-
[72]
Toda, Yukinobu , TITLE =. J. Differential Geom. , FJOURNAL =. 2009 , NUMBER =
2009
-
[73]
Taelman, Lenny , TITLE =. Geom. Topol. , FJOURNAL =. 2023 , NUMBER =. doi:10.2140/gt.2023.27.2649 , URL =
-
[74]
O'Grady, Kieran G. , TITLE =. Manuscripta Math. , FJOURNAL =. 2012 , NUMBER =. doi:10.1007/s00229-011-0472-7 , URL =
-
[75]
O'Grady, Kieran G. , TITLE =. Pure Appl. Math. Q. , FJOURNAL =. 2008 , NUMBER =. doi:10.4310/PAMQ.2008.v4.n2.a6 , URL =
-
[76]
Triangle varieties and surface decomposition of hyper-
Voisin, Claire , journal=. Triangle varieties and surface decomposition of hyper-
-
[77]
Addington, Nicolas and Thomas, Richard , TITLE =. Duke Math. J. , FJOURNAL =. 2014 , NUMBER =. doi:10.1215/00127094-2738639 , URL =
-
[78]
Verbitsky, Mikhail , TITLE =. Geom. Funct. Anal. , FJOURNAL =. 1996 , NUMBER =. doi:10.1007/BF02247112 , URL =
-
[79]
Looijenga, Eduard and Lunts, Valery A. , TITLE =. Invent. Math. , FJOURNAL =. 1997 , NUMBER =. doi:10.1007/s002220050166 , URL =
-
[80]
Markushevich, Dimitri , TITLE =. Math. Ann. , FJOURNAL =. 2008 , NUMBER =. doi:10.1007/s00208-008-0227-2 , URL =
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.