The equidistribution of small points for strongly regular pairs of polynomial maps (Q2435118)

This paper proves equidistribution of periodic points under regular automorphisms on \(\mathbb A^n\). This generalizes earlier results for Hénon maps on \(\mathbb A^n\), as well as providing a non-archimedean counterpart to [\textit{T.-C. Dinh} and \textit{N. Sibony}, ``Density of Positive Currents and Dynamics of Hénon type automorphism of \(\mathbb C^k\)'', Preprint, \url{arXiv:1203.5810}]. More precisely, let \(K\) be a number field, \(v\) a place, \(f:\mathbb A^n \to \mathbb A^n\) an affine regular automorphism, and \(x_m \in \mathbb A^n(\overline K)\) a sequence of \(f\)-periodic points that are generic (i.e. any infinite subsequence is Zariski-dense). Letting \(\mu_m\) be the discrete probability measure supported on the Galois orbit of \(x_m\), Theorem A shows that \(\mu_m\) converges weakly to an \(f\)-invariant probability measure on the \(v\)-adic Berkovich projective space. The author actually introduces a generalization of affine regular automorphisms: a commuting pair \(S = \{f_1,f_2\}\) of polynomial self-maps on \(\mathbb A^n\) is \textit{strongly regular} if (1) \(f_i\)'s do not have a common indeterminacy point in \(\mathbb P^n\), (2) iterates \(f_i^m\) and \(f_1\circ f_2\) satisfy various degree conditions, and (3) \(f_i\)'s satisfy the height growth condition \(h(f_i(P))\gg h(P)\). The technical heart of the paper is Theorem 6.5: if \(S = \{f_1,f_2\}\) is strongly regular and in addition \(\deg f_1 = \deg f_2\), then a sequence of adelic metrics converges uniformly, say to \(\|\cdot \|_S\). To construct this metric, the author shows that \(\{f_1^m, f_2^m\}\) is also strongly regular (Corollary 6.4), so \((f_1^m, f_2^m)\) defines a morphism \(\phi_m: \mathbb P^n \rightarrow \mathbb P^{2n}\). Then the pullback via \(\phi_m\) of the \(v\)-adic sup norm on the degree-one line bundle is adelic for each \(m\). By extending the theory of Green functions and good reduction developed for affine regular automorphisms [\textit{S. Kawaguchi}, Algebra Number Theory 7, No. 5, 1225--1252 (2013; Zbl 1302.37067)] to the case of strongly regular pairs, the uniform convergence is proved. As a result of Theorem 6.5, \textit{X. Yuan}'s theory [Invent. Math. 173, No. 3, 603--649 (2008; Zbl 1146.14016)] immediately implies that given a strongly regular pair \(S = \{f_1,f_2\}\) such that \(\deg f_1 = \deg f_2\) and a generic sequence \(x_m\) which is small with respect to \(\|\cdot \|_S\), the Galois orbits of \(x_m\)'s are equidistributed (Theorem B). As for an affine regular automorphism \(f\), Proposition 7.1 shows that there exist \(l_1\) and \(l_2\) such that \(\deg f^{l_1} = \deg f^{-l_2}\). The author also proves that the \(f\)-periodic points over \(\overline K\) are Zariski-dense (Theorem C), by adapting the proof for polarizable morphisms [\textit{N. Fakhruddin}, J. Ramanujan Math. Soc. 18, No. 2, 109--122 (2003; Zbl 1053.14025)]. From these results, Theorem A follows from Theorem B.