Abstract:The isotrivial Mordell-Lang theorem of Moosa and Scanlon describes the set $X\cap\Gamma$ when $X$ is a subvariety of a semiabelian variety $G$ over a finite field $\mathbb{F}_q$ and $\Gamma$ is a finitely generated subgroup of $G$ that is invariant under the $q$-power Frobenius endomorphism $F$. That description is here made effective, and extended to arbitrary commutative algebraic groups $G$ and arbitrary finitely generated $\mathbb{Z}[F]$-submodules $\Gamma$. The approach is to use finite automata to give a concrete description of $X\cap \Gamma$. These methods and results have new applications even when specialised to the case when $G$ is an abelian variety over a finite field, $X\subseteq G$ a subvariety defined over a function field $K$, and $\Gamma=G(K)$. As an application of the automata-theoretic approach, a dichotomy theorem is established for the growth of the number of points in $X(K)$ of bounded height. As an application of the effective description of $X\cap\Gamma$, decision procedures are given for the following three diophantine problems: Is $X(K)$ nonempty? Is it infinite? Does it contain an infinite coset?
What problem does this paper attempt to address?
### Problems the paper attempts to solve
This paper aims to solve, in positive characteristic, especially for commutative algebraic groups defined over finite fields, how to effectively describe the intersection \(X \cap \Gamma\) of a sub - variety \(X\) and a finitely generated \(\mathbb{Z}[F]\)-submodule \(\Gamma\) which is invariant under the Frobenius endomorphism.
Specifically, the goals of the paper are:
1. **Making the Mordell - Lang theorem effective**: In the case of positive characteristic, give an explicit description of \(X \cap \Gamma\) and provide a method of constructing a finite automaton to recognize these intersection points. This is applicable not only to semi - abelian varieties but also extended to arbitrary commutative algebraic groups and any finitely generated \(\mathbb{Z}[F]\)-submodules.
2. **Solving specific Diophantine problems**: Based on the effective description, the paper provides decision algorithms for three Diophantine problems: the existence, infiniteness of rational points and whether they contain infinite cosets.
3. **Introducing new applications**: By using the theory of finite automata, the paper proves the dichotomy theorem of the height growth of rational points, that is, the number of rational points either grows at a log - polynomial rate or at a root - linear rate.
4. **Generalizing existing results**: The paper not only generalizes the existing Mordell - Lang theorem to broader algebraic groups and submodules but also provides a completely new proof method for automatic sets, unifying and recovering the results of [MS04] and [Ghi08].
### Main contributions
- Proposing an effective version of the Mordell - Lang theorem, which is applicable to any commutative algebraic group in positive characteristic.
- Introducing the concept of F - automatic sets and showing how to construct these sets using finite automata.
- Solving some important Diophantine problems, such as judging the existence, infiniteness of rational points on sub - varieties and whether they contain infinite cosets.
- Generalizing the existing structure theorems, applicable to broader algebraic structures, including the interaction between additive and multiplicative structures.
### Formula presentation
To ensure the correctness and readability of the formulas, the following are several key formulas and their Markdown formats:
- **Frobenius endomorphism**:
\[
F: G\rightarrow G
\]
is the endomorphism induced by the \(q\)-power Frobenius map.
- **F - orbit**:
\[
S(a; \delta):=\{F^{n}(\delta a):n <\omega\}
\]
- **Néron - Tate canonical height**:
\[
\hat{h}:G\rightarrow\mathbb{R}
\]
- **Height growth of rational points**:
\[
\#\{P\in X(K):\hat{h}(P)\leq H\}\leq C(\log H)^{d}\quad\text{or}\quad\#\{P\in X(K):\hat{h}(P)\leq H\}\geq C'\sqrt{H}
\]
Through these improvements and generalizations, the paper provides new tools and methods for the study of algebraic geometry and number theory in positive characteristic.