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

From MaRDI portal
scientific article
Language Label Description Also known as
English
Integral points and relative sizes of coordinates of orbits in \(\mathbb P^N\)
scientific article

    Statements

    Integral points and relative sizes of coordinates of orbits in \(\mathbb P^N\) (English)
    0 references
    0 references
    2 April 2015
    0 references
    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.
    0 references
    integral points
    0 references
    orbits
    0 references
    higher-dimensional dynamics
    0 references
    Vojta's conjecture
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references