Back to search
2104.05339

ENDOMORPHISMS OF QUASI-PROJECTIVE VARIETIES - TOWARDS ZARISKI DENSE ORBIT AND KAWAGUCHI-SILVERMAN CONJECTURES

Jia Jia, Takahiro Shibata, Junyi Xie, De-Qi Zhang

correcthigh confidence
Category
Not specified
Journal tier
Strong Field
Processed
Sep 28, 2025, 12:56 AM

Audit review

The paper proves all three cases of ZDO in Theorem 1.12: (1) surfaces with d1>1 and d1≥d2, (2) threefold automorphisms with d3=1<d1, and (3) the cohomologically hyperbolic regime d1>max_{i≥2}di for smooth X, by introducing the Small Dynamical Degree (SDD) condition and showing ZDO holds under SDD (Theorem 8.4), then verifying SDD in cases (1)–(2) (Proposition 8.5) and, crucially, in case (3) (Proposition 8.6). This yields Theorem 1.12 asserting ZDO for all three settings . By contrast, the candidate solution (i) treats (2) only under an extra “simple cohomology” hypothesis (unnecessary here) and (ii) classifies (3) as likely open as of 2021, which is contradicted by the paper’s unconditional proof (over Q) via arithmetic-degree methods. The paper also records the standard functorialities about Zariski-dense orbits and generically finite maps used in the candidate’s reductions (Remark 3.5 and Proposition 3.13) . Therefore, the model’s assessment of (3) is incorrect relative to this April 2021 paper.

Referee report (LaTeX)

\textbf{Recommendation:} minor revisions

\textbf{Journal Tier:} strong field

\textbf{Justification:}

The paper supplies a unified, arithmetic-degree-based route (via the SDD condition) to prove ZDO in three major regimes, including the cohomologically hyperbolic case on smooth projective varieties. The structure is conceptually clean—verify SDD from dynamical-degree hypotheses, then deduce ZDO—and the technical ingredients are standard and carefully handled. Minor clarifications about field of definition and how the \$\mathbb{Q}\$-formulation interfaces with ZDO over algebraically closed fields would further improve readability.