Published online by Cambridge University Press: 24 June 2019
Let $K$ be an algebraically closed field of prime characteristic $p$, let $X$ be a semiabelian variety defined over a finite subfield of $K$, let $\unicode[STIX]{x1D6F7}:X\longrightarrow X$ be a regular self-map defined over $K$, let $V\subset X$ be a subvariety defined over $K$, and let $\unicode[STIX]{x1D6FC}\in X(K)$. The dynamical Mordell–Lang conjecture in characteristic $p$ predicts that the set $S=\{n\in \mathbb{N}:\unicode[STIX]{x1D6F7}^{n}(\unicode[STIX]{x1D6FC})\in V\}$ is a union of finitely many arithmetic progressions, along with finitely many $p$-sets, which are sets of the form $\{\sum _{i=1}^{m}c_{i}p^{k_{i}n_{i}}:n_{i}\in \mathbb{N}\}$ for some $m\in \mathbb{N}$, some rational numbers $c_{i}$ and some non-negative integers $k_{i}$. We prove that this conjecture is equivalent with some difficult diophantine problem in characteristic 0. In the case $X$ is an algebraic torus, we can prove the conjecture in two cases: either when $\dim (V)\leqslant 2$, or when no iterate of $\unicode[STIX]{x1D6F7}$ is a group endomorphism which induces the action of a power of the Frobenius on a positive dimensional algebraic subgroup of $X$. We end by proving that Vojta’s conjecture implies the dynamical Mordell–Lang conjecture for tori with no restriction.
The second author has been partially supported by a discovery grant from the National Science and Engineering Board of Canada. The third author has been partially supported by grant DMS-1363372 of the United States National Science Foundation and a Simons Foundation Fellowship.