English

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

Number Theory 2013-11-19 v1

Abstract

We show that if f:AQˉrAQˉrf : \mathbb{A}_{\bar{\mathbb{Q}}}^r \to \mathbb{A}_{\bar{\mathbb{Q}}}^r is a regular self-map and PAr(Qˉ)P \in \mathbb{A}^r(\bar{\mathbb{Q}}) has lim supnNloghaff(fnP)logn<1/r\limsup_{n \in \mathbb{N}} \frac{\log{h_{\mathrm{aff}}(f^nP)}}{\log{n}} < 1/r, where haffh_{\textrm{aff}} is the affine Weil height, then N\mathbb{N} partitions into a finite set and finitely many full arithmetic progressions, on each of which the coordinates of fnPf^nP are polynomials in nn. In particular, if (fnP)nN(f^nP)_{n \in \mathbb{N}} is a Zariski-dense orbit, then either n=1n = 1 and ff is of the shape tζt+ct \mapsto \zeta t + c, ζμ\zeta \in \mu_{\infty}, or else lim supnNloghaff(fnP)logn1/r\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 Ar(K)\mathbb{A}^r(K).

Keywords

Cite

@article{arxiv.1311.4133,
  title  = {A lower bound on the orbit growth of a regular self-map of affine space},
  author = {Vesselin Dimitrov},
  journal= {arXiv preprint arXiv:1311.4133},
  year   = {2013}
}