An upper bound for polynomial volume growth of automorphisms of zero entropy
Pith reviewed 2026-05-23 22:17 UTC · model grok-4.3
The pith
Polynomial volume growth of zero-entropy automorphisms is at most (k/2 + 1)d when the pullback on the Néron-Severi space is unipotent.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
Let X be a normal projective variety of dimension d over an algebraically closed field and f an automorphism of X. Suppose that the pullback f* restricted to N¹(X)_R is unipotent and denote the index of the eigenvalue 1 by k+1. Then plov(f) ≤ (k/2 + 1)d. Moreover k ≤ 2(d-1), so plov(f) ≤ d².
What carries the argument
The index k+1 of eigenvalue 1 for the unipotent linear map f* on the real Néron-Severi space N¹(X)_R, which controls the polynomial volume growth of the automorphism.
If this is right
- The inequality plov(f) ≤ (k/2 + 1)d is optimal in certain cases.
- The bound k ≤ 2(d-1) extends a prior result from compact Kähler manifolds to arbitrary characteristic.
- Combining the two inequalities produces the overall bound plov(f) ≤ d².
- These results affirmatively answer questions posed by Cantat--Paris-Romaskevich and by Lin--Oguiso--Zhang.
Where Pith is reading between the lines
- The linear-algebraic control via the Jordan structure of f* might extend to give similar bounds for birational maps that are not necessarily automorphisms.
- Checking the bound on concrete families such as abelian varieties or surfaces would provide direct verification of the constant factor 1/2.
- The characteristic-independent nature of the k bound suggests the volume-growth statement may hold without extra assumptions in positive characteristic.
- Links between this polynomial growth and other dynamical invariants such as higher dynamical degrees could be explored using the same unipotent setup.
Load-bearing premise
The pullback f* on the real Néron-Severi space is unipotent.
What would settle it
An explicit automorphism on a d-dimensional variety whose pullback is unipotent of index k+1 but whose measured polynomial volume growth exceeds (k/2 + 1)d would disprove the stated inequality.
read the original abstract
Let $X$ be a normal projective variety of dimension $d$ over an algebraically closed field and $f$ an automorphism of $X$. Suppose that the pullback $f^*|_{\mathsf{N}^1(X)_\mathbf{R}}$ of $f$ on the real N\'eron--Severi space $\mathsf{N}^1(X)_\mathbf{R}$ is unipotent and denote the index of the eigenvalue $1$ by $k+1$. We establish the following upper bound for the polynomial volume growth $\mathrm{plov}(f)$ of $f$: \[ \mathrm{plov}(f) \le (k/2 + 1)d. \] This inequality is optimal in certain cases. Moreover, we prove that $k\le 2(d-1)$, extending a result of Dinh--Lin--Oguiso--Zhang for compact K\"ahler manifolds to arbitrary characteristic. By combining these two inequalities, we obtain the optimal bound \[ \mathrm{plov}(f) \le d^2, \] that affirmatively answers the questions of Cantat--Paris-Romaskevich and Lin--Oguiso--Zhang.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript establishes an upper bound plov(f) ≤ (k/2 + 1)d for the polynomial volume growth of an automorphism f of a d-dimensional normal projective variety X, assuming that f^* restricted to N¹(X)_R is unipotent with the index of the eigenvalue 1 equal to k+1. It further proves that k ≤ 2(d-1), extending a prior result to arbitrary characteristic, and combines these to obtain plov(f) ≤ d², resolving questions of Cantat--Paris-Romaskevich and Lin--Oguiso--Zhang. The bound is claimed to be optimal in certain cases.
Significance. If the results hold, this provides optimal bounds on polynomial volume growth for zero-entropy automorphisms on projective varieties in any characteristic. The extension of the bound on k to arbitrary characteristic and the affirmative answers to the cited questions represent a meaningful advance in the study of automorphisms and dynamical systems on algebraic varieties. The manuscript supplies the necessary derivations to support these claims; the preliminary concern that central claims cannot be checked from the abstract alone does not apply once the full text is consulted.
minor comments (2)
- Abstract: the statement that the first inequality 'is optimal in certain cases' would benefit from a brief parenthetical reference to the specific examples or section where optimality is verified.
- Introduction: clarify whether the unipotent hypothesis on f^* is used only for the plov bound or also enters the proof of k ≤ 2(d-1).
Simulated Author's Rebuttal
We thank the referee for their careful reading of the manuscript and for the positive assessment, including the recommendation of minor revision. The referee's summary correctly reflects our main theorems: the bound plov(f) ≤ (k/2 + 1)d when f^* is unipotent of index k+1, the extension k ≤ 2(d-1) to arbitrary characteristic, and the resulting optimal bound plov(f) ≤ d² that answers the questions posed by Cantat--Paris-Romaskevich and Lin--Oguiso--Zhang. No major comments appear in the report, so we have no specific points requiring point-by-point rebuttal or revision.
Circularity Check
No significant circularity
full rationale
The paper states explicit linear-algebraic hypotheses (unipotence of f^* on N^1(X)_R with index k+1) and derives two independent inequalities plov(f) ≤ (k/2 + 1)d and k ≤ 2(d-1) before combining them; these steps are presented as direct proofs extending prior results without any reduction of the target bounds to fitted parameters, self-definitions, or load-bearing self-citations. The derivation chain remains self-contained under the stated assumptions and does not invoke the enumerated circular patterns.
Axiom & Free-Parameter Ledger
axioms (2)
- standard math N¹(X)_R is a finite-dimensional real vector space on which an automorphism induces a linear pullback operator
- domain assumption Polynomial volume growth plov(f) is well-defined for automorphisms of normal projective varieties
Reference graph
Works this paper leans on
-
[1]
George E. Andrews, The theory of partitions , Cambridge Mathematical Library, Cambridge University Pr ess, Cambridge, 1998, Reprint of the 1976 original. MR1634067↑ 17
work page 1998
- [2]
-
[3]
M. Artin and M. V an den Bergh, Twisted homogeneous coordinate rings , J. Algebra 133 (1990), no. 2, 249–
work page 1990
-
[4]
Pierre Berthelot, Alexandre Grothendieck, and Luc Illus ie (eds.), Théorie des intersections et théorème de Riemann-Roch, Lecture Notes in Mathematics, vol. 225, Springer-V erlag, Berlin-New Y ork, 1971, Séminaire de Géométrie Algébrique du Bois-Marie 1966–1967 (SGA 6). Av ec la collaboration de D. Ferrand, J.-P . Jouanolou, O. Jussila, S. Kleiman, M. Ray...
work page 1971
-
[5]
Serge Cantat, Dynamics of automorphisms of compact complex surfaces , Frontiers in complex dynamics, Princeton Mathematical Series, vol. 51, Princeton Univers ity Press, Princeton, NJ, 2014, In celebration of John Milnor’s 80th birthday, pp. 463–514. MR3289919↑ 4
work page 2014
-
[6]
, Automorphisms and dynamics: a list of open problems , Proceedings of the International Congress of Mathematicians—Rio de Janeiro 2018. Vol. II. Invited lec tures, World Sci. Publ., Hackensack, NJ, 2018, pp. 619–634. MR3966782↑ 2, 3
work page 2018
-
[7]
Serge Cantat and Olga Paris-Romaskevich, Automorphisms of compact Kähler manifolds with slow dynami cs, Trans. Amer. Math. Soc. 374 (2021), no. 2, 1351–1389. MR4196396↑ 2, 3
work page 2021
-
[8]
Serge Cantat and Junyi Xie, On degrees of birational mappings , Math. Res. Lett. 27 (2020), no. 2, 319–337. MR4117078↑ 3
work page 2020
-
[9]
Nguyen-Bac Dang, Degrees of iterates of rational maps on normal projective va rieties, Proc. Lond. Math. Soc. (3) 121 (2020), no. 5, 1268–1310. MR4133708↑ 3, 6, 16 AN UPPER BOUND FOR plov 25
work page 2020
-
[10]
Nguyen-Bac Dang and Charles Favre, Spectral interpretations of dynamical degrees and applica tions, Ann. of Math. (2) 194 (2021), no. 1, 299–359. MR4276288↑ 3
work page 2021
-
[11]
Tien-Cuong Dinh, Hsueh-Y ung Lin, Keiji Oguiso, and De-Qi Zhang, Zero entropy automorphisms of compact Kähler manifolds and dynamical filtrations , Geom. Funct. Anal. 32 (2022), no. 3, 568–594. MR4431123↑ 2, 3, 4, 16
work page 2022
-
[12]
Tien-Cuong Dinh and Nessim Sibony, Groupes commutatifs d’automorphismes d’une variété kählé rienne compacte, Duke Math. J. 123 (2004), no. 2, 311–328. MR2066940↑ 8
work page 2004
-
[13]
, Equidistribution problems in complex dynamics of higher di mension, Internat. J. Math. 28 (2017), no. 7, 1750057, 31 pp. MR3667901↑ 3
work page 2017
-
[14]
Y u-Wei Fan, Lie Fu, and Genki Ouchi, Categorical polynomial entropy , Adv. Math. 383 (2021), Paper No. 107655, 50 pp. MR4233273↑ 2
work page 2021
-
[15]
Mihai Fulger and Brian Lehmann, Positive cones of dual cycle classes , Algebr. Geom. 4 (2017), no. 1, 1–28. MR3592463↑ 6
work page 2017
-
[16]
William Fulton, Intersection theory, second ed., Ergebnisse der Mathematik und ihrer Grenzgebi ete. 3. Folge. A Series of Modern Surveys in Mathematics [Results in Mathem atics and Related Areas. 3rd Series. A Series of Modern Surveys in Mathematics], vol. 2, Springer-V erlag, Berlin, 1998. MR1644323↑ 5, 6
work page 1998
-
[17]
M. Kh. Gizatullin, Rational G-surfaces, Izv. Akad. Nauk SSSR Ser. Mat. 44 (1980), no. 1, 110–144; Izv. Math. 16 (1981), no. 1, 103–134. MR563788↑ 4
work page 1980
-
[18]
Phillip Griffiths and Joseph Harris, Principles of algebraic geometry, Wiley-Interscience [John Wiley & Sons], New Y ork, 1978, Pure and Applied Mathematics. MR507725↑ 19
work page 1978
-
[19]
Mikhaïl Gromov, On the entropy of holomorphic maps , Enseign. Math. (2) 49 (2003), no. 3-4, 217–235, preprint SUNY (1977). MR2026895↑ 1
work page 2003
-
[20]
Fei Hu, A theorem of Tits type for automorphism groups of projective varieties in arbitrary characteristic , Math. Ann. 377 (2020), no. 3-4, 1573–1602, With an appendix by Tomohide Ter asoma. MR4126902↑ 6, 7, 8, 9
work page 2020
-
[21]
, Polynomial volume growth of quasi-unipotent automorphisms of abelian varieties (with an appendix in collaboration with Chen Jiang) , Int. Math. Res. Not. IMRN (2024), no. 8, 6374–6399. MR4735629↑ 2, 4, 6, 20, 23
work page 2024
- [22]
-
[23]
Keeler, Criteria for σ-ampleness, J
Dennis S. Keeler, Criteria for σ-ampleness, J. Amer. Math. Soc. 13 (2000), no. 3, 517–532. MR1758752↑ 2, 3, 5, 12, 22
work page 2000
-
[24]
Clémence Labrousse, Polynomial growth of the volume of balls for zero-entropy ge odesic systems, Nonlinear- ity 25 (2012), no. 11, 3049–3069. MR2980870↑ 2
work page 2012
- [25]
-
[26]
Federico Lo Bianco, On the cohomological action of automorphisms of compact Käh ler threefolds, Bull. Soc. Math. France 147 (2019), no. 3, 469–514. MR4030548↑ 2, 4
work page 2019
-
[27]
Jean-Pierre Marco, Polynomial entropies and integrable Hamiltonian systems, Regul. Chaotic Dyn. 18 (2013), no. 6, 623–655. MR3146583↑ 2
work page 2013
-
[28]
Proctor, Solution of two difficult combinatorial problems with linear algebra, Amer
Robert A. Proctor, Solution of two difficult combinatorial problems with linear algebra, Amer. Math. Monthly 89 (1982), no. 10, 721–734. MR683197↑ 20
work page 1982
-
[29]
Jean-Pierre Serre, Complex semisimple Lie algebras , Springer-V erlag, New Y ork, 1987, Translated from the French by G. A. Jones. MR914496↑ 19 26 FEI HU AND CHEN JIANG
work page 1987
-
[30]
Stanley, Some aspects of groups acting on finite posets , J
Richard P . Stanley, Some aspects of groups acting on finite posets , J. Combin. Theory Ser. A 32 (1982), no. 2, 132–161. MR654618↑ 20
work page 1982
-
[31]
Tuyen Trung Truong, Relative dynamical degrees of correspondences over a field o f arbitrary characteristic, J. Reine Angew. Math. 758 (2020), 139–182. MR4048444↑ 3, 4, 16
work page 2020
-
[32]
Y osef Y omdin,V olume growth and entropy, Israel J. Math. 57 (1987), no. 3, 285–300. MR889979↑ 2
work page 1987
-
[33]
De-Qi Zhang, A theorem of Tits type for compact Kähler manifolds , Invent. Math. 176 (2009), no. 3, 449–459. MR2501294↑ 4, 7 SCHOOL OF MATHEMATICS , N ANJING UNIVERSITY , N ANJING , C HINA DEPARTMENT OF MATHEMATICS , U NIVERSITY OF OSLO , O SLO , N ORWAY DEPARTMENT OF MATHEMATICS , H ARVARD UNIVERSITY , C AMBRIDGE , USA Email address: fhu@nju.edu.cn SHANG...
work page 2009
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.