Integral points and relative sizes of coordinates of orbits in \(\mathbb P^N\) (Q2339684)

Let \(\phi\in{\mathbb Q}(z)\) be a rational function, with rational coefficients, of degree \(d\geq 2\). According to \textit{J. H. Silverman} [Duke Math. J. 71, No. 3, 793--829 (1993; Zbl 0811.11052)], if the second iterate \(\phi^{(2)}=\phi\circ\phi\) of \(\phi\) is not a polynomial, then, for any \(P\in{\mathbb Q}\), the orbit \(O_\phi(P)\) of \(P\) under the iterates of \(\phi\) has a finite intersection with \({\mathbb Z}\). Besides, assuming that neither \(\phi^{(2)}(z)\) nor \(1/\phi^{(2)}(1/z)\) is a polynomial, for \(P\in{\mathbb Q}\) with \(O_\phi(P)\) infinite, the ratio of the number of digits of the numerator and denominator of the iterates \(\phi^{(m)}(P)\) tends to \(1\) as \(m\rightarrow \infty\). In the present paper, the author considers an extension in higher dimension. Let \(\phi:{\mathbb P}^N\rightarrow {\mathbb P}^N\) be a morphism defined over \({\mathbb Q}\) and \(D\) be an effective divisor on \({\mathbb P}^N\). The \textit{normal-crossing part} \(D_{\text{{nc}}}\) of \(D\) is the normal crossings subdivisor of \(D\) over the field \({\overline{\mathbb Q}}\) of algebraic numbers with the highest degree. For \(m\geq 1\), let \(D_{\text{{nc}}}^{(m)}\) be the normal crossing-part of the pull back \(D^{m}=(\phi^{(m)})^*D\). The author proves that if \(\phi\) has (polarization) degree \(d\geq 2\) and if, for some \(n\), \(\deg D_{\text{{nc}}}^{(n)}>N+1\), then Vojta's Conjecture on \({\mathbb P}^N\) for the divisor \(D_{\text{{nc}}}^{(n)}\) implies that for any \(P\in {\mathbb P}^N({\mathbb Q})\), the intersection of the orbit \(O_\phi(P)\) of \(P\) with \(({\mathbb P}^N\setminus D)({\mathbb Z})\) is not Zariski dense. As in dimension \(1\), a more precise version involving the number of digits of the coordinates of the iterates is given, assuming Vojta's conjecture for more divisors. Partial unconditional results are also proved, some of which rely on Schmidt's subspace theorem.