Arithmetic degree and its application to Zariski dense orbit conjecture

Abstract

We prove that for a dominant rational self-map $f$ on a quasi-projective variety defined over $\overline{\mathbb{Q}}$, there is a point whose $f$-orbit is well-defined and its arithmetic degree is arbitrary close to the first dynamical degree of $f$. As an application, we prove that Zariski dense orbit conjecture holds for a birational map defined over $\overline{\mathbb{Q}}$ such that the first dynamical degree is strictly larger than the third dynamical degree. In particular, the conjecture holds for birational maps on threefolds with first dynamical degree larger than $1$.