Abstract:In this paper, we prove the converse of the dynamical Mordell--Lang conjecture in positive characteristic: For every subset $S \subseteq \mathbb{N}_0$ which is a union of finitely many arithmetic progressions along with finitely many $p$-sets of the form $\left \{ \sum_{j=1}^{m} c_j p^{k_jn_j} : n_j \in \mathbb{N}_0 \right \}$ ($c_j \in \mathbb{Q}$, $k_j \in \mathbb{N}_0$), there exist a split torus $X = \mathbb{G}_m^k$ defined over $K=\overline{\mathbb{F}_p}(t)$, an endomorphism $\Phi$ of $X$, $\alpha \in X(K)$ and a closed subvariety $V \subseteq X$ such that $\left \{ n \in \mathbb{N}_0 : \Phi^n(\alpha) \in V(K) \right \} = S$.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to prove the converse of the dynamical Mordell - Lang conjecture in positive characteristic. Specifically, the authors hope to prove that every set \(S\subseteq\mathbb{N}_0\) composed of finitely many arithmetic progressions and finitely many \(p\)-sets is a \(K - DML\) set, where \(K\) is a field of characteristic \(p\).
### Introduction to the Dynamical Mordell - Lang Conjecture
The dynamical Mordell - Lang conjecture predicts that, for a quasi - projective variety \(X\) defined over a field \(K\) of characteristic \(0\), its endomorphism \(\Phi\), a point \(\alpha\in X(K)\) and a closed subvariety \(V\subseteq X\), the set of all \(n\in\mathbb{N}_0\) such that \(\Phi^n(\alpha)\in V(K)\) is the union of finitely many arithmetic progressions.
### Challenges in Positive Characteristic
When the characteristic of the field \(K\) is positive, the above conjecture no longer holds. Therefore, Ghioca and Scanlon proposed a version of the dynamical Mordell - Lang conjecture in positive characteristic, that is, the set of all \(n\in\mathbb{N}_0\) such that \(\Phi^n(\alpha)\in V(K)\) is composed of finitely many arithmetic progressions and finitely many \(p\)-sets.
### Main Contributions of the Paper
The goal of this paper is to prove this converse, that is, every set \(S\subseteq\mathbb{N}_0\) composed of finitely many arithmetic progressions and finitely many \(p\)-sets is an \(F_p(t)-DML\) set (on the split torus). The main theorem is as follows:
**Theorem 1.6**:
Let \(S\) be a subset of \(\mathbb{N}_0\) composed of finitely many arithmetic progressions and finitely many \(p\)-sets, then \(S\) is an \(F_p(t)-DML\) set (on the split torus).
### Proof Ideas
To prove this conclusion, the authors simplify the problem through a series of lemmas and finally prove that every \(p\)-set \(B(p; c_1,\ldots, c_m; k,\ldots, k)\) is an \(F_p(t)-DML\) set. The key steps include:
1. **Lemma 2.1 and 2.2**: Prove that the union and intersection of arithmetic progressions and \(p\)-sets are still \(K - DML\) sets.
2. **Lemma 2.3**: Prove that scaled and translated sets are still \(K - DML\) sets.
3. **Lemma 3.4**: Prove by induction that \(p\)-sets in a specific form are \(F_p(t)-DML\) sets.
These steps together ensure that the paper can completely prove its main conclusion, thus solving the converse of the dynamical Mordell - Lang conjecture in positive characteristic.