Algebraic dynamics and recursive inequalities
Junyi Xie
TL;DR
This work advances algebraic dynamics by providing an explicit algorithm to compute all dynamical degrees $\lambda_i(f)$ to arbitrary precision using mixed degrees and intersection theory. It establishes the lower semi-continuity of dynamical degrees in families, with concrete consequences such as base-change stability and links to Call–Silverman type questions. A key technical development is the recursive-inequality framework for degree sequences, built on Siu-type inequalities, which yields sharp 2D lower bounds and underpins the density of periodic points for cohomologically hyperbolic maps. The authors then apply these tools to prove the Kawaguchi–Silverman conjecture for a broad class of self-maps on projective surfaces, including all birational maps, and they outline pathways to further algorithmic and arithmetic developments. Overall, the paper integrates birational modeling, recursive-degree analysis, and arithmetic dynamics to connect geometric growth, dynamical behavior, and number-theoretic consequences in a cohesive framework.
Abstract
We get three basic results in algebraic dynamics: (1). We give the first algorithm to compute the dynamical degrees to arbitrary precision. (2). We prove that for a family of dominant rational self-maps, the dynamical degrees are lower semi-continuous with respect to the Zariski topology. This implies a conjecture of Call and Silverman. (3). We prove that the set of periodic points of a cohomologically hyperbolic rational self-map is Zariski dense. Moreover, we show that, after a large iterate, every degree sequence grows almost at a uniform rate. This property is not satisfied for general submultiplicative sequences. Finally, we prove the Kawaguchi-Silverman conjecture for a class of self-maps of projective surfaces including all the birational ones. In fact, for every dominant rational self-map, we find a family of recursive inequalities of some dynamically meaningful cycles. Our proofs are based on these inequalities.
