Paper detail

Isolated Periodic Points in Several Nonarchimedean Variables

Let $φ: \mathbb{P}^{n}_{F} \to \mathbb{P}^{n}_{F}$ where $F$ is a complete valued field. If $x$ is a fixed point, such that the action of $φ$ on $T_{x}$ has eigenvalues $λ_{1}, \ldots, λ_{n}$, with $λ_{1}, \ldots, λ_{r}$ not contained in the multiplicative group generated by $λ_{r+1}, \ldots, λ_{n}$, then $φ$ has a codimension-$r$ fixed formal subvariety. Under mild assumptions, this subvariety is analytic. We use this to prove two results. First, we generalize results of Rivera-Letelier on isolated periodic points to higher dimension: if $F$ is $p$-adic, and each $|λ_{i}| \leq 1$, then there is an analytic neighborhood of $x$ without any other periodic points. And second, we prove Zhang's conjecture that there exists a $\overline{\mathbb{Q}}$-point with Zariski-dense forward orbit in two cases, extending results of Amerik, Bogomolov, and Rovinsky.