Pith. sign in

REVIEW 2 major objections 5 minor 41 references

Log Calabi--Yau structure for endomorphisms on $\mathbf{P}^n$

T0 review · 2 major / 5 minor · reviewed 2026-08-15 · deepseek-v4-flash

Pith's one-line read After iteration, the ramification of any self-map of the projective plane becomes log Calabi-Yau, completing the surface case of the log Calabi-Yau conjecture.

desk verdict Strong paper with a genuinely new technique; the surface case of Gongyo's conjecture is resolved conditional on an unpublished Chang–Zhang lemma. read the letter →

arxiv 2608.02114 v1 pith:RMTGOMNL submitted 2026-08-03 math.AG math.DS

classification math.AGmath.DS MSC 14E2214B0537F80
keywords JacobiandeterminantramificationdivisorpolarizedendomorphismvaluativetreelogcanonicalthresholdCalabi-Yaupaireigenvaluation
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

The paper establishes that a $q$-polarized endomorphism $f$ of the complex projective plane can be iterated so that the normalized ramification pair $(P^2, R_{f^s}/(q^s-1))$ is log canonical, meaning it has controlled singularities and is a log Calabi-Yau pair. Together with earlier work, this completes the proof of the log Calabi-Yau conjecture for all smooth projective surfaces, where the plane without totally invariant curves had been the last open case. The paper also shows that for a general endomorphism of $P^n$ the ramification pair is log canonical in every dimension, and that in dimension at least four the ramification divisor is singular for every endomorphism while in dimensions one to three it is smooth for a general one. Passing to an iterate is shown to be necessary, and the normalization coefficient $1/(q^s-1)$ is optimal.

What carries the argument

The load-bearing objects are eigenvaluations in the valuative tree of the superattracting surface germ and the equivariant extraction of such a valuation. For a superattracting germ $f$ with local degree equal to $c_\infty(f)^2 = q^2$, the theorem asserts a primitive divisorial valuation $v$ with $(f^2)^* v = q^2 v$; the proof splits according to a known trichotomy for superattracting two-dimensional germs. Depending on whether the unique eigenvaluation is an end, is quasi-monomial, or there is a fixed segment, the proof uses volume comparison or rationality to force $v$ to be divisorial. The Rees construction then extracts $v$: an $m_p$-primary ideal with $v$ as unique Rees valuation is normalized-blown up, producing a normal $\mathbb{Q}$-factorial model $Y$ with a finite $q$-polarized lift $g$ of $f$ and a totally invariant prime divisor $E$ with $\operatorname{ord}_E = v$ and $g^* E = q E$. Adjunction along $E$, followed by inversion of adjunction, transfers log canonicity from the induced curve endomorphism back to the plane pair.

What would settle it

Exhibit a $q$-polarized endomorphism $f$ of $P^2$ and a point $p \in E_2(f)$ for which $(P^2, R_{f^s}/(q^s-1))$ is not log canonical near $p$ for every $s \geq 1$; or, to attack the cited input directly, find a degree-$q$ endomorphism $h$ of a smooth projective curve and an lc divisor $\Theta$ such that $(C, \Theta + R_{\Theta,h^s}/(q^s-1))$ is not lc for any $s$.

Watch

Extended reading notes

Core claim

The central claim is that the only obstruction to log canonicity of the ramification pair of an endomorphism of $P^2$ is a finite, totally invariant set of points where the germ is superattracting and Jacobian orders grow at the maximal rate $q^s$. Away from this set, a uniform exponential bound with ratio $\rho < q$ makes the pair klt after sufficiently many iterations. At each exceptional point, the paper produces a primitive divisorial eigenvaluation, a valuation scaling by $q^2$ under pullback by the second iterate, and extracts it on an equivariant birational model as a totally invariant prime divisor. Adjunction to that divisor, inversion of adjunction, and a one-dimensional log-canonicity statement for the induced curve endomorphism then give local log canonicity at the point. The power map shows the normalized ramification divisor can be non-klt, so log canonical is the best possible conclusion.

Load-bearing premise

The proof at the superattracting points relies on a one-dimensional log-canonicity statement that is cited from an unpublished preprint and not proved in this paper; if that statement were false, Step 3 of the main theorem would fail at the points of $E_2(f)$.

Editorial extensions

If this is right

  • Every $q$-polarized endomorphism of a smooth projective surface satisfies the log Calabi-Yau conjecture: after some iterate $s$, the pair $(X, R_{f^s}/(q^s-1))$ is log canonical.
  • For $P^2$, the normalized ramification divisor defines a log Calabi-Yau pair with $K_{P^2} + R_{f^s}/(q^s-1)$ numerically equivalent to zero; the power map shows the klt version fails, so log canonical is sharp.
  • In arbitrary dimension, $E_{\mathrm{Jac}}(f)$ is a proper totally invariant algebraic set, and $(P^n, R_{f^s}/(q^s-1))$ is klt outside it for all sufficiently large $s$; for $n \geq 4$ the ramification divisor is singular for every $f$, while for $n \leq 3$ it is smooth for general $f$.
  • One cannot avoid iteration in general: there are endomorphisms for which the first iterate is not log canonical, and $\mathrm{lct}(P^2; R_{f^s}) \geq 1/(q^s-1)$ is the optimal lower bound.

Reading between the lines

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

  • A direct proof of the one-dimensional log-canonicity statement currently supplied by the unpublished preprint [7] would remove the most vulnerable external dependence from the argument.
  • The equivariant-extraction mechanism suggests a higher-dimensional strategy: if every superattracting fixed point admitted a quasi-monomial eigenvaluation with rational weight ratios, the same normalized Rees construction could produce a totally invariant divisor and the argument might extend to $P^n$.
  • Quantifying the trichotomy for superattracting germs would likely yield an effective bound $N(q)$ in the surface case; the paper proves existence of an iterate without giving such a bound.
  • The normalized-volume cocycle introduced in Section 6.3 points to a possible alternative route to log canonicity that avoids adjunction: if normalized volume never increases along the orbit of a valuation, the discrepancy inequality follows directly.
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

2 major / 5 minor

Summary. The paper studies the singularities of ramification pairs (P^n, R_f) attached to q-polarized endomorphisms. The main results are: Theorem 1.1, asserting that for a general endomorphism f the pair (P^n, R_f) is log canonical and that R_f is smooth for general f when n <= 3 but singular for every f when n >= 4; Theorem 1.3, asserting that for every q-polarized endomorphism f of P^2 there is an iterate s such that (P^2, R_{f^s}/(q^s-1)) is log canonical and hence log Calabi-Yau; and Theorem 1.4, concerning the Jacobian exceptional set E_Jac(f) and klt-ness of the normalized ramification pair on its complement. The proof of Theorem 1.3 combines an estimate outside the exceptional set with a local analysis at superattracting points using the valuative tree, eigenvaluations, an equivariant extraction theorem, and an adjunction/inversion-of-adjunction argument.

Significance. If Theorem 1.3 is fully established, it completes Gongyo's conjecture for smooth projective surfaces, which is a central open problem in the birational geometry of polarized endomorphisms. The paper also proves a clean higher-dimensional generic statement (Theorem 1.1) and a structural result on the Jacobian exceptional set (Theorem 1.4). The surface proof is carefully organized and mostly self-contained: the local eigenvaluation theorem, the equivariant extraction, and the local-to-global descent in Step 3 of Theorem 1.3 fit together well. However, the proof of the key local log-canonicity statement, Proposition 4.7, depends on an unpublished arXiv preprint, and this dependency is load-bearing for the central theorem.

major comments (2)
  1. [§4.2, Proposition 4.7] The proof of local log canonicity at points of E_2(f) is not self-contained. After passing to the normalization of the extracted divisor and defining the one-dimensional pair (C, Theta), the proof invokes [7, Theorem 1.7] to conclude that (C, Theta + R_{Theta,h^s}/(q^s-1)) is lc for some s. This statement is load-bearing: without it, Step 3 of Theorem 1.3 fails at the points of E_2(f), because adjunction from (Y,E) gives no reason for Theta to vanish, so the parenthetical 'see also [4, Remark 2.8] when Theta = 0' does not cover the general case. Since [7] is an unpublished arXiv preprint, the manuscript as submitted does not independently establish Theorem 1.3; the authors should either supply a proof of the required one-dimensional statement inside the paper or replace [7] by a refereed published reference.
  2. [§4.2, Remark 4.8] The alternative proof of Proposition 4.7 advertised in Remark 4.8 depends on [7, Theorem 1.16(2)] applied to the g-pair (Y,0), which is an even heavier reliance on the same unpublished preprint. Remark 4.9 similarly suggests simplifying Step 3 by applying [7, Theorem 1.16(2)]. This reinforces the need either to make the local argument self-contained or to cite a published version of [7]; until then the claim that Theorem 1.3 'completes' Gongyo's conjecture for smooth projective surfaces remains conditional on an unrefereed external result.
minor comments (5)
  1. [§1, Abstract] The abstract states the log canonical threshold inequality for R_{f^s} as a global statement, but the proof establishes it pointwise via local log canonical thresholds; it would be helpful to phrase the inequality explicitly as a global consequence of the local estimates.
  2. [§2.3, Proposition 2.9] In Proposition 2.9(iii), the notation vol(nu) is defined by a lim sup, but the equality vol(nu) = alpha(nu)^{-1} is asserted from [13, Remark 3.33]; this could be stated as a citation rather than a definition to avoid ambiguity about the existence of the limit.
  3. [§4.2, Proof of Theorem 4.4] The phrase 'taking powers of these integrally equivalent ideals' is slightly nonstandard; it would be clearer to say 'taking powers of the equality of integral closures' and then to pass to integral closures again.
  4. [§4.3, Step 3] In Step 3, the statement 'Since df_p is nilpotent, by the chain rule d(f^2)_p = 0' is correct only because the germ is two-dimensional, where a nilpotent 2x2 matrix squares to zero. This dimension dependence could be mentioned explicitly to avoid confusion.
  5. [§5, Remark 5.2] Remark 5.2 introduces the functions eta_s(x) and asserts that they form an analytic submultiplicative cocycle, but no proof or reference is given for this assertion. Since the remark is not used later, this is a presentation issue, but it should be justified or explicitly labeled as a conjecture.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity found; the proof is conditional on an external unpublished result [7], which is a completeness risk, not a self-referential deduction.

full rationale

I walked the derivation chain of Theorem 1.3. The global degree computation in Step 1, the reduction to the finite exceptional set E2(f) via Proposition 2.14(iii), the existence of the divisorial eigenvaluation in Theorem 4.2, the equivariant extraction in Corollary 4.5, and the discrepancy descent in Step 3 all use published external ingredients or arguments contained in the paper. The invocation of [32, Theorem 4.2] for the E1(f) nonempty case is a published theorem by the second author; it handles a disjoint case and is a legitimate dependency rather than a circular reuse of the claim being proved. The example from [31] is auxiliary. Proposition 4.7 does quote [7, Theorem 1.7], and Remark 4.8 quotes [7, Theorem 1.16(2)], from an unpublished preprint; this makes the proof conditional and externally dependent, but it does not make the argument circular, because those are external one-dimensional log-canonicity statements and the paper supplies the adjunction computation and the crepant identity that genuinely reduce the surface claim to them. No fitted parameter is renamed as a prediction, and no definition is made in terms of the target result. I therefore cannot exhibit any step in which the paper's own equations or self-citations force the conclusion by construction.

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

The central claim rests almost entirely on established theorems about valuations, singularities, and holomorphic dynamics; the paper's own contribution is the synthesis and the eigenvaluation-extraction method. No free parameters are fitted to data. The only fragile support is the unpublished Chang-Zhang theorem [7].

assumptions (8)
  • domain assumption Favre-Jonsson valuative tree theory: structure of V, skewness alpha(nu), volume identity vol(nu)=alpha(nu)^{-1}, and eigenvaluation theorems (Propositions 2.9 and 2.10)
    Foundational for Section 2.3 and Section 4.1; used in Theorem 4.2 to control cases and derive the volume contradiction.
  • domain assumption Gignac-Ruggiero trichotomy (Proposition 2.11): for a superattracting surface germ, either a unique end eigenvaluation, a unique quasi-monomial eigenvaluation, or a maximal fixed segment I with c(f^2,nu)=c_infty(f)^2 on I
    The three-case proof of Theorem 4.2 follows this trichotomy; the constancy on the fixed segment is essential in Case 3.
  • domain assumption Favre-Jonsson classification of E_1(g), E_2(g), and uniform bound ord_x(R_{g^s}) <= C rho^s off E_1 union E_2 (Proposition 2.14, from [12])
    Used in Step 2 of Theorem 1.3 to obtain klt on the complement of E_2(f).
  • domain assumption Zariski's theorem: every primitive divisorial valuation on a smooth surface germ is the unique Rees valuation of a simple complete m-primary ideal
    Used in Corollary 4.5 to make Theorem 4.4's Rees-valuation hypothesis automatic for surfaces.
  • domain assumption Docampo's determinantal threshold formula: (Mat_{n+1}, det=0) has nonnegative log discrepancies
    Used in Theorem 1.1(3) to prove (P^n,R_f) is lc for general f.
  • standard math Kawakita's inversion of adjunction [24, Theorem]: lc restriction to a reduced divisor implies local lc in a neighborhood
    Used in Proposition 4.7 to pass from the curve pair (C, Theta + R_{Theta,h^s}/(q^s-1)) to lc of (Y, E+B_s/(q^s-1)) along E.
  • domain assumption Chang-Zhang [7, Theorem 1.7] (unpublished preprint): for a q-polarized endomorphism h of a smooth curve C, the pair (C, Theta + R_{Theta,h^s}/(q^s-1)) is lc for some s under the stated adjunction setup
    Load-bearing in Proposition 4.7; not proved in this paper and depends on a preprint.
  • domain assumption Broustet-Horing [5, Corollary 3.3]: (Y,E) is log canonical when E is a reduced totally invariant divisor under a polarized endomorphism of a smooth variety
    Used in Proposition 4.7 to establish lc of (Y,E) before adjunction.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Log Calabi--Yau structure for endomorphisms on $\mathbf{P}^n$." pith.science (2026). https://pith.science/paper/RMTGOMNL

@misc{pith2026260802114,
  author       = {Pith},
  title        = {Pith review of: Log Calabi--Yau structure for endomorphisms on $\mathbfP^n$},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/RMTGOMNL}},
  note         = {Machine review of arXiv:2608.02114}
}
abstract

Let $f:\mathbf{P}^n\to\mathbf{P}^n$ be a $q$-polarized endomorphism, where $q>1$, and let $R_f$ be its ramification divisor. We study the singularities of the ramification pair $(\mathbf{P}^n,R_f)$. We show that, for a general $f$, the pair $(\mathbf{P}^n,R_f)$ is log canonical. When $n=2$, we prove that there exists an integer $s\geq1$ such that the log canonical threshold $\mathrm{lct}(\mathbf{P}^2;R_{f^s})\geq1/(q^s-1)$. The passage to an iterate is necessary in general, and the lower bound is optimal. In particular, $(\mathbf{P}^2,R_{f^s}/(q^s-1))$ is a log Calabi--Yau pair, completing the proof of Gongyo's conjecture for smooth projective surfaces.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

41 extracted references · 35 canonical work pages

  1. [7]

    Chang and D.-Q

    W. Chang and D.-Q. Zhang,Log Calabi–Yau structure of algebraic varieties admitting a polarized endomor- phism, arXiv:2509.17927v1, 2025

  2. [1]

    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

  3. [2]

    H. Blum, Y. Liu, and L. Qi,Convexity of multiplicities of filtrations on local rings, Compos. Math.160 (2024), no. 4, 878–914

  4. [3]

    Boucksom, T

    S. Boucksom, T. de Fernex, C. Favre, and S. Urbinati,Valuation spaces and multiplier ideals on singular varieties, inRecent Advances in Algebraic Geometry, London Mathematical Society Lecture Note Series, vol. 417, Cambridge University Press, Cambridge, 2015, pp. 29–51

  5. [4]

    Broustet and Y

    A. Broustet and Y. Gongyo,Remarks on log Calabi–Yau structure of varieties admitting polarized endomor- phisms, Taiwanese J. Math.21(2017), no. 3, 569–582

  6. [5]

    Broustet and A

    A. Broustet and A. H¨ oring,Singularities of varieties admitting an endomorphism, Math. Ann.360(2014), no. 1–2, 439–456

  7. [6]

    Sharp Bounds for Totally Invariant Cycles of Projective Varieties

    W. Chang and Y. Luo,Sharp bounds for totally invariant cycles of projective varieties, arXiv:2607.27738v1, 2026

  8. [8]

    De Marco,Dynamical moduli spaces and elliptic curves, Ann

    L. De Marco,Dynamical moduli spaces and elliptic curves, Ann. Fac. Sci. Toulouse Math. (6)27(2018), no. 2, 389–420

Show all 41 references
  1. [9]

    Dinh,Analytic multiplicative cocycles over holomorphic dynamical systems, Complex Var

    T.-C. Dinh,Analytic multiplicative cocycles over holomorphic dynamical systems, Complex Var. Elliptic Equ. 54(2009), no. 3–4, 243–251

  2. [10]

    Docampo,Arcs on determinantal varieties, Trans

    R. Docampo,Arcs on determinantal varieties, Trans. Amer. Math. Soc.365(2013), no. 5, 2241–2269

  3. [11]

    L. Ein, R. Lazarsfeld, and K. E. Smith,Uniform approximation of Abhyankar valuation ideals in smooth function fields, Amer. J. Math.125(2003), no. 2, 409–440

  4. [12]

    Favre and M

    C. Favre and M. Jonsson,Brolin’s theorem for curves in two complex dimensions, Ann. Inst. Fourier (Greno- ble)53(2003), no. 5, 1461–1501

  5. [13]

    Favre and M

    C. Favre and M. Jonsson,The valuative tree, Lecture Notes in Mathematics, vol. 1853, Springer-Verlag, Berlin, 2004

  6. [14]

    Favre and M

    C. Favre and M. Jonsson,Eigenvaluations, Ann. Sci. ´Ec. Norm. Sup´ er. (4)40(2007), no. 2, 309–349

  7. [15]

    Fulton,Intersection theory, 2nd ed., Ergebnisse der Mathematik und ihrer Grenzgebiete (3), vol

    W. Fulton,Intersection theory, 2nd ed., Ergebnisse der Mathematik und ihrer Grenzgebiete (3), vol. 2, Springer-Verlag, Berlin, 1998

  8. [16]

    Gignac and M

    W. Gignac and M. Ruggiero,Growth of attraction rates for iterates of a superattracting germ in dimension two, Indiana Univ. Math. J.63(2014), no. 4, 1195–1234. LOG CALABI–YAU STRUCTURE FOR ENDOMORPHISMS ONP n 25

  9. [17]

    Gauthier, J

    T. Gauthier, J. Taflin, and G. Vigny,Sparsity of postcritically finite maps ofP k and beyond: A complex analytic approach, Publ. Math. Inst. Hautes ´Etudes Sci.143(2026), 1–96

  10. [18]

    Hartshorne,Algebraic geometry, Graduate Texts in Mathematics, vol

    R. Hartshorne,Algebraic geometry, Graduate Texts in Mathematics, vol. 52, Springer-Verlag, New York– Heidelberg, 1977

  11. [19]

    Heinzer and M.-K

    W. Heinzer and M.-K. Kim,The Rees valuations of complete ideals in a regular local ring, Comm. Algebra 43(2015), no. 8, 3249–3274

  12. [20]

    Hironaka,Resolution of singularities of an algebraic variety over a field of characteristic zero

    H. Hironaka,Resolution of singularities of an algebraic variety over a field of characteristic zero. I, Ann. of Math. (2)79(1964), no. 1, 109–203

  13. [21]

    Hironaka,Resolution of singularities of an algebraic variety over a field of characteristic zero

    H. Hironaka,Resolution of singularities of an algebraic variety over a field of characteristic zero. II, Ann. of Math. (2)79(1964), no. 2, 205–326

  14. [22]

    Huneke and I

    C. Huneke and I. Swanson,Integral closure of ideals, rings, and modules, London Mathematical Society Lecture Note Series, vol. 336, Cambridge University Press, Cambridge, 2006

  15. [23]

    Jonsson and M

    M. Jonsson and M. Mustat ¸˘ a,Valuations and asymptotic invariants for sequences of ideals, Ann. Inst. Fourier (Grenoble)62(2012), no. 6, 2145–2209

  16. [24]

    Kawakita,Inversion of adjunction on log canonicity, Invent

    M. Kawakita,Inversion of adjunction on log canonicity, Invent. Math.167(2007), no. 1, 129–133

  17. [25]

    Koll´ ar and S

    J. Koll´ ar and S. Mori,Birational geometry of algebraic varieties, Cambridge Tracts in Mathematics, vol. 134, Cambridge University Press, Cambridge, 1998

  18. [26]

    Lazarsfeld,Positivity in algebraic geometry

    R. Lazarsfeld,Positivity in algebraic geometry. I: Classical setting: line bundles and linear series, Ergebnisse der Mathematik und ihrer Grenzgebiete (3), vol. 48, Springer-Verlag, Berlin, 2004

  19. [27]

    Lazarsfeld,Positivity in algebraic geometry

    R. Lazarsfeld,Positivity in algebraic geometry. II: Positivity for vector bundles, and multiplier ideals, Ergeb- nisse der Mathematik und ihrer Grenzgebiete (3), vol. 49, Springer-Verlag, Berlin, 2004

  20. [28]

    Li,Minimizing normalized volumes of valuations, Math

    C. Li,Minimizing normalized volumes of valuations, Math. Z.289(2018), no. 1–2, 491–513

  21. [29]

    C. Li, Y. Liu, and C. Xu,A guided tour to normalized volume, inGeometric Analysis: In Honor of Gang Tian’s 60th Birthday, Progress in Mathematics, vol. 333, Birkh¨ auser, Cham, 2020, pp. 167–219

  22. [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(2022), no. 2, 507–566

  23. [31]

    Luo and D.-Q

    Y. Luo and D.-Q. Zhang,Galois self-covers of projective spaces and essential dimensions, arXiv:2606.10207v2, 2026

  24. [32]

    Meng,Log Calabi–Yau structure of projective threefolds admitting polarized endomorphisms, Int

    S. Meng,Log Calabi–Yau structure of projective threefolds admitting polarized endomorphisms, Int. Math. Res. Not. IMRN (2023), no. 24, 21272–21289; updated version, arXiv:2204.11244v3, 2025

  25. [33]

    Meng and D.-Q

    S. Meng and D.-Q. Zhang,Structures theorems and applications of non-isomorphic surjective endomorphisms of smooth projective threefolds, arXiv:2309.07005, 2023

  26. [34]

    S. Meng, L. Wang, and T. Yang,Dynamical Iitaka theory on Fano contractions, Algebra Number Theory (to appear), arXiv:2506.16057, 2025

  27. [35]

    Mumford,Abelian varieties, 2nd ed., with appendices by C

    D. Mumford,Abelian varieties, 2nd ed., with appendices by C. P. Ramanujam and Y. Manin, Tata Institute of Fundamental Research Studies in Mathematics, vol. 5, Oxford University Press, London, 1974

  28. [36]

    M. R. Parra,The Jacobian cocycle and equidistribution towards the Green current, arXiv:1103.4633, 2011

  29. [37]

    Rees,a-transforms of local rings and a theorem on multiplicities of ideals, Proc

    D. Rees,a-transforms of local rings and a theorem on multiplicities of ideals, Proc. Cambridge Philos. Soc. 57(1961), no. 1, 8–17

  30. [38]

    Xu,A minimizing valuation is quasi-monomial, Ann

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

  31. [39]

    Xu and Z

    C. Xu and Z. Zhuang,Uniqueness of the minimizer of the normalized volume function, Camb. J. Math.9 (2021), no. 1, 149–176

  32. [40]

    Xu and Z

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

  33. [41]

    Zariski and P

    O. Zariski and P. Samuel,Commutative algebra, Vol. II, reprint of the 1960 edition, Graduate Texts in Mathematics, vol. 29, Springer-Verlag, New York–Heidelberg, 1975. 26 YUJIE LUO AND SHENG MENG School of Mathematical Sciences, University of Science and Technology of China, P...

Pith tools

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