A lower bound on the orbit growth of a regular self-map of affine space

TL;DR

This paper establishes a lower bound on the growth rate of heights in orbits of regular self-maps of affine space, revealing structural properties of points with slow height growth and conditions for Zariski-dense orbits.

Contribution

It provides a new exponential lower bound on the height growth of orbits under regular self-maps, improving previous bounds and characterizing the structure of points with slow height increase.

Findings

If the height growth is slower than a certain rate, the orbit's coordinates follow polynomial patterns in n.

Zariski-dense orbits are either trivial or exhibit at least a specific growth rate in height.

The result improves the trivial lower bound on height growth by an exponential factor.

Abstract

We show that if $f : \mathbb{A}_{\bar{\mathbb{Q}}}^r \to \mathbb{A}_{\bar{\mathbb{Q}}}^r$ is a regular self-map and $P \in \mathbb{A}^r(\bar{\mathbb{Q}})$ has $\limsup_{n \in \mathbb{N}} \frac{\log{h_{\mathrm{aff}}(f^nP)}}{\log{n}} < 1/r$, where $h_{\textrm{aff}}$ is the affine Weil height, then $\mathbb{N}$ partitions into a finite set and finitely many full arithmetic progressions, on each of which the coordinates of $f^nP$ are polynomials in $n$. In particular, if $(f^nP)_{n \in \mathbb{N}}$ is a Zariski-dense orbit, then either $n = 1$ and $f$ is of the shape $t \mapsto \zeta t + c$, $\zeta \in \mu_{\infty}$, or else $\limsup_{n \in \mathbb{N}} \frac{\log{h_{\mathrm{aff}}(f^nP)}}{\log{n}} \geq 1/r$. This inequality is the exponential improvement of the trivial lower bound obtained from counting the points of bounded height in $\mathbb{A}^r(K)$.