Dynamical Anomalous Subvarieties: Structure and Bounded Height Theorems
According to Medvedev and Scanlon, a polynomial $f(x)\in \bar{\mathbb Q}[x]$ of degree $d\geq 2$ is called disintegrated if it is not linearly conjugate to $x^d$ or $\pm C_d(x)$ (where $C_d(x)$ is the Chebyshev polynomial of degree $d$). Let $n\in\mathbb{N}$, let $f_1,\ldots,f_n\in \bar{\mathbb Q}[x]$ be disintegrated polynomials of degrees at least 2, and let $φ=f_1\times\ldots\times f_n$ be the corresponding coordinate-wise self-map of $({\mathbb P}^1)^n$. Let $X$ be an irreducible subvariety of $({\mathbb P}^1)^n$ of dimension $r$ defined over $\bar{\mathbb Q}$. We define the \emph{$φ$-anomalous} locus of $X$ which is related to the \emph{$φ$-periodic} subvarieties of $({\mathbb P}^1)^n$. We prove that the $φ$-anomalous locus of $X$ is Zariski closed; this is a dynamical analogue of a theorem of Bombieri, Masser, and Zannier \cite{BMZ07}. We also prove that the points in the intersection of $X$ with the union of all irreducible $φ$-periodic subvarieties of $({\mathbb P}^1)^n$ of codimension $r$ have bounded height outside the $φ$-anomalous locus of $X$; this is a dynamical analogue of Habegger's theorem \cite{Habegger09} which was previously conjectured in \cite{BMZ07}. The slightly more general self-maps $φ=f_1\times\ldots\times f_n$ where each $f_i\in \bar{\mathbb Q}(x)$ is a disintegrated rational map are also treated at the end of the paper.