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 →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
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$.
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
- 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.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
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)
- [§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.
- [§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, 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.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.
- [§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.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, 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
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
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)
- 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
- 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])
- 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
- domain assumption Docampo's determinantal threshold formula: (Mat_{n+1}, det=0) has nonnegative log discrepancies
- standard math Kawakita's inversion of adjunction [24, Theorem]: lc restriction to a reduced divisor implies local lc in a neighborhood
- 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
- 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
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.
Reference graph
Works this paper leans on
-
[7]
W. Chang and D.-Q. Zhang,Log Calabi–Yau structure of algebraic varieties admitting a polarized endomor- phism, arXiv:2509.17927v1, 2025
-
[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
work page 2018
-
[2]
H. Blum, Y. Liu, and L. Qi,Convexity of multiplicities of filtrations on local rings, Compos. Math.160 (2024), no. 4, 878–914
work page 2024
-
[3]
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
work page 2015
-
[4]
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
work page 2017
-
[5]
A. Broustet and A. H¨ oring,Singularities of varieties admitting an endomorphism, Math. Ann.360(2014), no. 1–2, 439–456
work page 2014
-
[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
work page Pith review arXiv 2026
-
[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
work page 2018
Show all 41 references
-
[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
2009
-
[10]
Docampo,Arcs on determinantal varieties, Trans
R. Docampo,Arcs on determinantal varieties, Trans. Amer. Math. Soc.365(2013), no. 5, 2241–2269
2013
-
[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
2003
-
[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
2003
-
[13]
Favre and M
C. Favre and M. Jonsson,The valuative tree, Lecture Notes in Mathematics, vol. 1853, Springer-Verlag, Berlin, 2004
2004
-
[14]
Favre and M
C. Favre and M. Jonsson,Eigenvaluations, Ann. Sci. ´Ec. Norm. Sup´ er. (4)40(2007), no. 2, 309–349
2007
-
[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
1998
-
[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
2014
-
[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
2026
-
[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
1977
-
[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
2015
-
[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
1964
-
[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
1964
-
[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
2006
-
[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
2012
-
[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
2007
-
[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
1998
-
[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
2004
-
[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
2004
-
[28]
Li,Minimizing normalized volumes of valuations, Math
C. Li,Minimizing normalized volumes of valuations, Math. Z.289(2018), no. 1–2, 491–513
2018
-
[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
2020
-
[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
2022
-
[31]
Luo and D.-Q
Y. Luo and D.-Q. Zhang,Galois self-covers of projective spaces and essential dimensions, arXiv:2606.10207v2, 2026
2026 arXiv
-
[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
2023 arXiv
-
[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
2023 arXiv
-
[34]
S. Meng, L. Wang, and T. Yang,Dynamical Iitaka theory on Fano contractions, Algebra Number Theory (to appear), arXiv:2506.16057, 2025
2025 arXiv
-
[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
1974
-
[36]
M. R. Parra,The Jacobian cocycle and equidistribution towards the Green current, arXiv:1103.4633, 2011
2011 arXiv
-
[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
1961
-
[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
2020
-
[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
2021
-
[40]
Xu and Z
C. Xu and Z. Zhuang,Stable degenerations of singularities, J. Amer. Math. Soc.38(2025), no. 3, 585–626
2025
-
[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...
1960
Reviewed August 15, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.