Pith. sign in

REVIEW 3 major objections 4 minor 1 cited by

Dynamical Iitaka theory on Fano contractions

T0 review · 3 major / 4 minor · reviewed 2026-08-06 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read On Fano contractions, the ramification divisor is shown to be a dynamical eigenvector that forces a polarized quotient, yielding the Kawaguchi-Silverman conjecture for projective bundles over abelian varieties and Picard-number-one bases.

desk verdict New structure theorems for endomorphisms on Fano contractions, but the main proof hinges on an unpublished lemma; conditional acceptance. read the letter →

arxiv 2506.16057 v1 pith:N6G4PUP5 submitted 2025-06-19 math.AG math.DSmath.NT

Sheng Meng , Long Wang , Tianle Yang This is my paper · ORCID
classification math.AGmath.DSmath.NT MSC 14E3014M2520K3037P55
keywords dynamicalIitakadimensionramificationdivisorFanocontractionMorifibrespaceKawaguchi-Silvermanconjecturedegreetoricpair
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 aims to show that, on a Mori fibre space (an extremal Fano contraction $\pi\colon X\to Y$), the dynamics of a surjective endomorphism $f$ are controlled by its ramification divisor $R_f$. The two structure theorems state that under the hypotheses of Theorems 1.3 and 1.5, the pullback satisfies $f^*R_f\equiv\delta_f R_f$, and the $f$-Iitaka fibration of $R_f$ is an $f$-equivariant dominant rational map $X\dashrightarrow Z$ with $0<\dim Z<\dim X$ whose base is $\delta_f$-polarized. These constraints are strong enough to prove the Kawaguchi-Silverman conjecture for every smooth projective variety admitting an extremal Fano contraction to an abelian variety, and for every $\mathbb{P}^n$-bundle over a Q-abelian variety or a smooth projective variety of Picard number one. The reader should care because the results reduce a wide-open arithmetic conjecture to already-established polarized, abelian, and int-amplified cases, and they single out the ramification divisor as the key object when no divisorial contraction exists.

What carries the argument

The central object is the dynamical Iitaka fibration of the ramification divisor: the $f$-equivariant dominant rational map $\varphi_{f,R_f}\colon X\dashrightarrow Z$ whose base dimension equals the $f$-Iitaka dimension $\kappa_f(X,R_f)$, built from the span of the iterated pullbacks of $R_f$. The argument is carried by three interlocking mechanisms. First, the cone decompositions $\mathrm{Nef}(X)=\pi^*\mathrm{Nef}(Y)\oplus\mathbb{R}_{\ge0}D$ and $\mathrm{PE}(X)=\pi^*\mathrm{PE}(Y)\oplus\mathbb{R}_{\ge0}D$, where $D$ is the nef, $\pi$-ample eigenvector of $f^*$ with eigenvalue $\delta_f$. Second, the toric-pair criterion of Theorem 1.6: if a reduced divisor $D$ satisfies $K_X+D$ being $\pi$-trivial and $f^*D=qD$ with $q>1$, then the general fibres $(X_y,D|_{X_y})$ are toric pairs. Third, a finite equivariant cover splitting the horizontal part of $R_f$ into exactly the number of components forced by the toric structure, which yields the positivity $\kappa_f(X,R_f)>0$. Together these force $R_f$ to be non-big, numerically proportional to $\delta_f R_f$, and to have a nontrivial $f$-Iitaka fibration with $\delta_f$-polarized base.

What would settle it

Compute $f^*R_f$ for a concrete endomorphism of a $\mathbb{P}^2$-bundle over an elliptic curve with $\delta_{f|Y}=1$ and $\delta_f>1$; a single case where $f^*R_f\not\equiv\delta_f R_f$ would refute Theorems 1.5 and the KSC application. Alternatively, construct an extremal Fano contraction over an abelian variety with $\delta_f>\delta_{f|Y}$ admitting no finite equivariant cover that splits the horizontal ramification divisor, which would disprove Claim 6.4 and Theorem 6.3.

Watch

Extended reading notes

Core claim

On the paper's own terms: let $f$ be a surjective endomorphism of a smooth projective variety $X$ admitting an extremal Fano contraction $\pi\colon X\to Y$. Under the assumptions of Theorem 1.3 ($Y$ an abelian variety, $f$ with a Zariski dense orbit, $\delta_f>\delta_{f|Y}$) or Theorem 1.5 (smooth $f$-equivariant contraction, $\rho(Y)=1$, $\delta_{f|Y}=1$), the paper proves that $f^*R_f\equiv\delta_f R_f$, where $R_f$ is the ramification divisor and $\delta_f$ is the first dynamical degree, the spectral radius of $f^*$ on the N\'eron-Severi space. It then proves that the $f$-Iitaka fibration of $R_f$ gives an $f$-equivariant dominant rational map $\varphi\colon X\dashrightarrow Z$ with $0<\dim Z<\dim X$ and $\delta_f$-polarized $f|_Z$. From these structure theorems it derives that the Kawaguchi-Silverman conjecture holds for any smooth projective variety with an extremal Fano contraction to an abelian variety, and for any $\mathbb{P}^n$-bundle over a Q-abelian variety (a quasi-\'etale quotient of an abelian variety) or over a smooth projective variety of Picard number one, by reduction to the known polarized, abelian, and int-amplified cases.

Load-bearing premise

The proof rests on the existence of a finite equivariant cover of the base that separates the pieces of the ramification divisor and preserves the property that prime divisors pull back to prime divisors; the paper invokes this cover rather than proving it, and if it does not exist the main structure theorems do not follow.

Editorial extensions

If this is right

  • The Kawaguchi-Silverman conjecture holds for every smooth projective variety admitting an extremal Fano contraction to an abelian variety (Corollary 1.8).
  • The Kawaguchi-Silverman conjecture holds for every $\mathbb{P}^n$-bundle over a Q-abelian variety or a smooth projective variety of Picard number one (Corollary 1.9), generalizing earlier projective-bundle results over elliptic curves.
  • In the two structure-theorem settings, the paper answers Questions 1.1 and 1.2: the first dynamical degree is preserved along the $f$-Iitaka fibration of $R_f$, and $R_f$ cannot be big without forcing $f$ to be polarized and hence int-amplified, contradicting the degree drop.
  • When $\delta_f>\delta_{f|Y}$, the ramification divisor is $\delta_f$-eigen and not big, so the dynamics are governed by a lower-dimensional $\delta_f$-polarized quotient.

Reading between the lines

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

  • The proportionality $f^*R_f\equiv\delta_f R_f$ may hold for every equivariant extremal Fano contraction with $\delta_f>\delta_{f|Y}$, not only the two cases treated here; testing it on non-abelian or non-smooth bases would show whether the toric-pair and cone-decomposition machinery is the essential mechanism.
  • Theorem 1.6 is stated for Fano fibrations, but the same hypotheses---a reduced boundary $D$ with $K_X+D$ trivial on fibres and $f^*D=qD$ with $q>1$---appear likely to force toric general fibres in wider fibered settings, a claim that could be checked on explicit equivariant fibrations outside the extremal case.
  • A self-contained proof of the cover in Claim 6.4, instead of an appeal to [MZ24, Lemma 5.1], would probably extend Theorems 1.3 and 1.5 to singular or non-Q-factorial bases and remove the obstacle the authors identify as the main obstruction to further generalization.
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

3 major / 4 minor

Summary. The paper develops dynamical Iitaka theory for the ramification divisor of surjective endomorphisms on Fano contractions (Mori fibre spaces). The main results (Theorems 1.3 and 1.5) assert that, under the hypotheses δ_f > δ_{f|Y} and suitable conditions on the base Y, the ramification divisor satisfies f^*R_f ≡ δ_f R_f, and the f-Iitaka fibration of R_f induces an f-equivariant dominant rational map to a lower-dimensional variety Z on which f|_Z is δ_f-polarized. These structure theorems are then applied to prove the Kawaguchi-Silverman conjecture for projective bundles over abelian varieties or varieties of Picard number one (Corollaries 1.8 and 1.9). The proof strategy combines cone decompositions (Section 4), a toric characterization of general fibres via logarithmic sheaves (Theorem 1.6, Section 5), and a positivity theorem for κ_f(X,R_f) (Theorem 6.3, Section 6). The paper is clearly organized and the arguments in Sections 4 and 5 are detailed, but the crucial Claim 6.4, needed for Theorem 6.3, is not proved in the manuscript and depends on an unpublished preprint.

Significance. If the structure theorems are correct, they would verify Question 1.1 and Question 1.2 in the Fano-contraction setting and provide a conceptual proof of KSC for new classes of varieties, extending earlier results for projective bundles over elliptic curves and Fano varieties. The paper also contains potentially useful technical contributions: the cone decompositions (Theorem 4.5) and the toric characterization theorem (Theorem 1.6) are interesting in their own right. The writing is generally careful, and the non-disputed parts contain substantial and detailed proofs. However, the central theorems depend on Claim 6.4, whose proof is deferred to an unpublished preprint, and on Theorem 2.15 from the same preprint; as a consequence, the main claims are not yet established in the present manuscript.

major comments (3)
  1. [Section 6, Claim 6.4] Claim 6.4 is load-bearing for Theorem 6.3 and therefore for Theorems 1.3 and 1.5, but its proof is a single sentence referring to [MZ24, Lemma 5.1], an unpublished preprint. The claim requires the existence of an equivariant finite (or generically finite) cover pY → Y such that the pullback of the horizontal ramification divisor D splits into exactly s irreducible components, and such that pπ satisfies the hypotheses of Lemma 6.2. No construction, no verification of the exact component count, and no proof of equivariance of the lifted endomorphism are given in this paper. The manuscript itself states in §1.4 that the singularities of these equivariant covers are the main obstacle to generalizing the structure theorems. As written, the positivity statement κ_f(X,R_f) > 0 is not established, and the main structure theorems do not follow.
  2. [Lemma 7.1] The sign in the ramification divisor formula appears to be incorrect. From K_X = π^*B + aD with a < 0 and f^*D ≡ δ_f D, one obtains R_f = K_X - f^*K_X ≡ π^*(B - g^*B) + a(1 - δ_f)D, not a(δ_f - 1)D. With the printed sign, the effective divisor R_f would have a negative D-coefficient, contradicting the cone decomposition PE(X) = π^*PE(Y) ⊕ R_{≥0}D from Theorem 4.5. This error affects the proof that B - g^*B is pseudo-effective and must be corrected.
  3. [Corollary 1.9, proof] The proof of Corollary 1.9 in the case δ_f > δ_g > 1 invokes Theorem 2.15, which is the main theorem of the unpublished preprint [MZ24]. Thus the paper's headline application is conditional on another unpublished result. The authors should either prove this case directly or cite a published version of [MZ24].
minor comments (4)
  1. [Section 6, proof of Claim 6.4 (Theorem 1.3 case)] The text refers to 'Proposition 6.1' in the proof of Claim 6.4; no Proposition 6.1 is stated in the paper. This should be 'Lemma 6.1'.
  2. [Section 6, proof of Theorem 6.3] The notation f_*D_i appears in the proof of Theorem 6.3; the subsequent equations use the pullback f^*, so f_* should probably be f^* throughout this paragraph.
  3. [Section 5, Claim 5.2] The displayed isomorphism in Claim 5.2 uses f^* in the text but the surrounding discussion sometimes writes f_*; please clarify the notation.
  4. [References] Reference [NZ21] is listed as 'Preprint, 2021' with arXiv number 2310.03313, which appears to be from 2023; please update the year and version information.

Circularity Check

1 steps flagged · score 5.0 of 10

Theorems 1.3/1.5 hinge on Theorem 6.3, whose crux Claim 6.4 is proved by a one-sentence deferral to the unpublished first-author preprint [MZ24, Lemma 5.1]; §1.4 itself names the singularities of these covers as the main obstacle.

  1. self citation load bearing [Section 6, Theorem 6.3, proof of Claim 6.4; cf. §1.4]
    "By the same strategy as in the proof of [MZ24, Lemma 5.1], there exists a finite surjective morphism pY : pY → Y from a normal projective variety pY , such that the induced equivariant dynamical systems satisfy (1), (2) and (3)."

    Theorem 6.3, the positivity of κ_f(X, R_f) underpinning Theorems 1.3/1.5 and Corollaries 1.8/1.9, needs Claim 6.4: a cover pY → Y with p_X^{-1}(D) split into exactly s components and pπ^{-1}(Q) prime for every prime Q on pY, so that Lemma 6.2 forces the nontrivial relation pD ≡ 0 and hence κ > 0. The proof of (1)–(3) is one sentence deferring to [MZ24, Lemma 5.1], an unpublished preprint (arXiv:2408.00566v1) of which the first author of this paper is a coauthor; no construction, component count, or equivariance check is given here.

full rationale

The derivation is largely self-contained. Theorem 1.6 (toric-pair characterization via logarithmic 1-forms) is proved in Section 5 from standard external results; the cone decompositions (Theorem 4.5), the identities f*R_f ≡ δ_f R_f (Lemmas 7.1/7.3), and the reductions in Sections 7–8 are argued in the paper using in-paper lemmas. No self-definitional, fitted-input, uniqueness-imported, ansatz-by-citation, or renaming-of-known-results pattern occurs. The one load-bearing circular step is Claim 6.4: the existence of the equivariant cover pY → Y with p_X^{-1}(D) split into exactly s components and with pπ^{-1}(Q) prime for every prime Q on pY is asserted solely by 'the same strategy as in the proof of [MZ24, Lemma 5.1]', a preprint (arXiv:2408.00566v1) of which the present first author is a coauthor, and the paper's own §1.4 concedes that the singularities of these covers are 'the main obstacle'. Since Theorem 6.3 is the linchpin of Theorems 1.3/1.5 and Corollaries 1.8/1.9, the central claim reduces at that juncture to a self-citation that is itself unverified within the paper, although the surrounding derivation retains substantial independent content, so the result is not wholly forced by the citation chain. The separate invocation of [MZ24, Main Theorem] as Theorem 2.15 for the int-amplified case of Corollary 1.9 is self-citation but applied as a distinct theorem, not as a by-construction substitute for the present result.

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

The central claims rest on the dynamical Iitaka fibration machinery from [MZ23b], on standard facts from the minimal model program and toric geometry, and on the domain hypotheses of Theorems 1.3/1.5 (Zariski dense orbit, smooth equi-dimensional Fano contraction, δ_f > δ_{f|Y}). No free parameters or invented entities appear; the paper introduces no new divisors, particles, or fitted constants.

assumptions (8)
  • standard math Dynamical Iitaka fibration: for any Q-Cartier divisor D with κ_f(X,D) ≥ 0, there is an f-equivariant dominant rational map φ_{f,D}: X -> Y with dim Y = κ_f(X,D) (Theorem 3.4, from [MZ23b, Theorem 4.6]).
    Used throughout the paper, notably in Sections 6 and 7, to construct the equivariant fibration from R_f. It is a prior theorem by the first author's group, not a new result in this paper.
  • standard math KSC holds for polarized endomorphisms ([KS16a, Theorem 5])
    Used in Corollaries 1.8 and 1.9 for the δ_f-polarized endomorphism f|_Z.
  • standard math KSC holds for Q-abelian varieties ([KS16a], [Sil17], [MZ22, Theorem 2.8])
    Used in Corollary 1.8 for the base Y and in the reduction of the Q-abelian case in Corollary 1.9.
  • standard math KSC holds for int-amplified endomorphisms of Q-factorial klt projective varieties ([MZ24, Main Theorem])
    Used in Corollary 1.9 for the case δ_f > δ_g > 1. [MZ24] is an unpublished preprint by the first author.
  • standard math On an abelian variety A, an f^{-1}-invariant prime divisor is a translation of an abelian subvariety ([Xie25, Lemma 4.6])
    Used in Lemma 6.1 to show that a Zariski dense orbit rules out invariant prime divisors on the base, which is needed for the base change in Claim 6.4.
  • standard math Cone theorem for smooth projective varieties ([KM98, Theorem 3.7])
    Used in Lemma 7.1 and Claim 6.4 to identify K_X-negative extremal rays and to prove the base change property π(P) is Y or a prime divisor.
  • standard math Geometric characterization of toric varieties ([BMSZ18, Theorem 1.2]) and freeness of logarithmic cotangent sheaf under slope semistability ([GKP16, Theorem 1.20])
    Used at the end of the proof of Theorem 1.6 to conclude p(X_y, D_y) is a toric pair from c1 = c2 = 0 and semistability.
  • domain assumption Domain hypotheses of Theorems 1.3 and 1.5: k algebraically closed of characteristic zero; for KSC, X defined over Q; f admits a Zariski dense orbit in Theorem 1.3; π smooth and f-equivariant with ρ(Y)=1 and δ_{f|Y}=1 in Theorem 1.5
    These are explicit assumptions of the statements; they are used in the proofs for resolution of singularities, flatness, the Zariski dense orbit argument, and the reduction to polarized/int-amplified cases.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Dynamical Iitaka theory on Fano contractions." pith.science (2026). https://pith.science/paper/N6G4PUP5

@misc{pith2026250616057,
  author       = {Pith},
  title        = {Pith review of: Dynamical Iitaka theory on Fano contractions},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/N6G4PUP5}},
  note         = {Machine review of arXiv:2506.16057}
}
read the original abstract

We give several structure theorems for certain surjective endomorphisms on Mori fibre spaces, based on the dynamical Iitaka fibration of the ramification divisor. As an application, we prove the Kawaguchi-Silverman conjecture for projective bundles over abelian varieties or smooth projective varieties of Picard number one.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

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

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

    math.AG 2026-08 conditional novelty 7.0 of 10

    For every q-polarized endomorphism of P^2, some iterate (P^2, R_{f^s}/(q^s-1)) is log canonical, settling Gongyo's conjecture for smooth projective surfaces.

Reference graph

Works this paper leans on

13 extracted references · 10 canonical work pages · cited by 1 Pith paper

  1. [6]

    Polarized endomorphisms of log Calabi-Yau pairs

    arXiv:2406.18092v1. 3 [MYYn25] Joaqu´in Moraga, Wern Yeong, and Jos´ e Ignacio Y´ a˜ nez. Polarized endomorphisms of Fano varieties with complements. Int. Math. Res. Not. IMRN, 2025(8):Paper No. rnaf093, 18,

    work page Pith review arXiv 2025

  2. [7]

    Advances in the equivariant minimal model program and their applications in complex and arithmetic dynamics

    arXiv:2311.16369v1. 3, 5, 8, 10 [MZ23b] Sheng Meng and De-Qi Zhang. Structures theorems and applications of non-isomorphic sur- jective endomorphisms of smooth projective threefolds. Preprint,

    work page Pith review arXiv

  3. [8]

    Structures theorems and applications of non-isomorphic surjective endomorphisms of smooth projective threefolds

    arXiv:2309.07005v1. 2, 3, 5, 10, 11, 17 [MZ23c] Sheng Meng and Guolei Zhong. Rigidity of rationally connected smooth projective varieties from dynamical viewpoints. Math. Res. Lett. , 30(2):589–610,

    work page Pith review arXiv

  4. [9]

    Kawaguchi-Silverman conjecture for int-amplified endomorphism

    arXiv:2408.00566v1. 3, 10, 18 [NZ10] Noboru Nakayama and De-Qi Zhang. Polarized endomorphisms of complex normal varieties. Math. Ann., 346(4):991–1018,

    work page Pith review arXiv

  5. [11]

    5 [Xie23b] Junyi Xie

    arXiv:2307.05885v2. 5 [Xie23b] Junyi Xie. Remarks on algebraic dynamics in positive characteristic. J. Reine Angew. Math. , 797:117–153,

    arXiv

  6. [13]

    5 [Zha14] De-Qi Zhang

    arXiv:2504.01563v1. 5 [Zha14] De-Qi Zhang. Invariant hypersurfaces of endomorphisms of projective varieties. Adv. Math., 252:185–203,

    arXiv

  7. [1998]

    With the collaboration of C. H. Clemens and A. Corti, Translated from the 1998 Japanese original. 6, 16, 19 [KS16a] Shu Kawaguchi and Joseph H. Silverman. Dynamical canonical heights for Jordan blocks, arithmetic degrees of orbits, and nef canonical heights on abelian varieties. Trans. Amer. Math. Soc., 368(7):5009–5035,

    work page 1998

  8. [2005]

    ´Etale fundamental groups of Kawa- mata log terminal spaces, flat sheaves, and quotients of abelian varieties

    8 22 SHENG MENG, LONG W ANG, AND TIANLE YANG [GKP16] Daniel Greb, Stefan Kebekus, and Thomas Peternell. ´Etale fundamental groups of Kawa- mata log terminal spaces, flat sheaves, and quotients of abelian varieties. Duke Math. J. , 165(10):1965–2004,

    work page 1965

Show all 13 references
  1. [2020]

    Invari- ant subvarieties with small dynamical degree

    8, 21 [MMS`22] Yohsuke Matsuzawa, Sheng Meng, Takahiro Shibata, De-Qi Zhang, and Guolei Zhong. Invari- ant subvarieties with small dynamical degree. Int. Math. Res. Not. IMRN , 2022(15):11448– 11483,

    2022

  2. [2021]

    5 [Sil17] Joseph H

    arXiv:2310.03313v1. 5 [Sil17] Joseph H. Silverman. Arithmetic and dynamical degrees on abelian varieties. J. Th´ eor. Nom- bres Bordeaux, 29(1):151–167,

    arXiv

  3. [2023]

    5, 10 [Men20] Sheng Meng

    arXiv:2311.15489v1. 5, 10 [Men20] Sheng Meng. Building blocks of amplified endomorphisms of normal projective varieties. Math. Z. , 294(3-4):1727–1747,

    arXiv

  4. [2024]

    5 [MYnY24] Joaqu´in Moraga, Jos´ e Ignacio Y´ a˜ nez, and Wern Yeong

    arXiv:2409.06160v2. 5 [MYnY24] Joaqu´in Moraga, Jos´ e Ignacio Y´ a˜ nez, and Wern Yeong. Polarized endomorphisms of log Calabi-Yau pairs. Preprint,

    arXiv

  5. [2025]

    5 [XY25b] Junyi Xie and She Yang

    arXiv:2504.02295v1. 5 [XY25b] Junyi Xie and She Yang. Height arguments toward the dynamical Mordell-Lang problem in arbitrary characteristic. Preprint,

    arXiv

Pith tools

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