Growth of generalized greatest common divisors along orbits of self-rational maps on projective varieties

Abstract

Consider a dominant rational self-map $f$ on a smooth projective variety $X$ defined over $\overline{\mathbb{Q}}$. We prove that \begin{align} \lim_{n \to \infty} \frac{h_{Y}(f^{n}(x))}{h_{H}(f^{n}(x)) } = 0, \end{align} where $h_{Y}$ is a height associated with a closed subscheme $Y \subset X$ of codimension $c$, $h_{H}$ is any ample height on $X$, and $x \in X(\overline{\mathbb{Q}})$ is a point with well-defined orbit, under the following assumptions: (1) either $f$ is a morphism, or $Y$ is pure dimensional, regularly embedded in $X$, and contained in the locus over which all iterates of $f$ are finite; (2) the orbit of $x$ is generic; (3) $d_{c}(f)^{1/c} < \alpha_{f}(x)$, where $d_{c}(f)$ is the $c$-th dynamical degree of $f$ and $ \alpha_{f}(x)$ is the arithmetic degree of $x$.