Abstract:The Mordell--Lang conjecture for abelian varieties states that the intersection of an algebraic subvariety $X$ with a subgroup of finite rank is contained in a finite union of cosets contained in $X$. In this article, we prove a uniform version of this conjecture, meaning that that the number of cosets necessary does not depend on the ambient abelian variety. To achieve this, we prove a general gap principle on algebraic points that extends the gap principle for curves embedded into their Jacobians, previously obtained by Dimitrov--Gao--Habegger and Kühne. Our new gap principle also implies the full uniform Bogomolov conjecture in abelian varieties.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to prove the uniform version of the Mordell - Lang Conjecture (Uniform Mordell - Lang Conjecture). Specifically, the goal of the paper is to prove that for the intersection of algebraic sub - varieties in abelian varieties and subgroups of finite rank, the number of required cosets does not depend on the choice of the ambient abelian variety.
### Specific problem description
The classical Mordell - Lang Conjecture states that the intersection of an irreducible closed sub - variety \(X\) in an abelian variety \(A\) and a finite - rank subgroup \(\Gamma\) can be covered by a finite number of cosets. However, the original version does not provide specific control over the number of these cosets.
The main result of the paper is to prove a more stringent version, namely the **Uniform Mordell - Lang Conjecture**:
\[
\text{Theorem 1.1 (Uniform Mordell - Lang Conjecture):} \quad \text{For all integers } g, d\geq0, \text{ there exists a constant } c(g, d)>0 \text{ satisfying the following property:}
\]
Let \(X\subseteq A\) be an irreducible closed sub - variety and \(\Gamma\subseteq A(F)\) be a finite - rank subgroup, then the intersection \(X(F)\cap\Gamma\) can be covered by at most
\[
c(\dim A, \deg L_X)^{1 + \text{rk}\Gamma}
\]
cosets contained in \(X\).
### Method of solving the problem
To prove this conjecture, the author introduced a new gap principle, which extends previous work on curves embedded in their Jacobian varieties. This new gap principle is applicable not only to curves but also to higher - dimensional sub - varieties and can derive the full form of the uniform Bogomolov Conjecture in abelian varieties.
By combining height inequalities, distribution theorems and other technical tools, the author successfully proved this uniform version of the Mordell - Lang Conjecture, thus solving a long - standing open problem.
### Main contributions
1. **New gap principle**: Generalizes the previous gap principle and is applicable to higher - dimensional sub - varieties.
2. **Uniform Bogomolov Conjecture**: As a by - product, proves the uniform Bogomolov Conjecture in abelian varieties.
3. **Construction of non - degenerate sub - varieties**: Through the techniques of Hilbert modular spaces and fiber products, constructs appropriate non - degenerate sub - varieties, which is one of the key steps in the proof.
In general, this paper solves an important variant of the Mordell - Lang Conjecture by introducing new mathematical tools and techniques, providing new perspectives and methods for research in related fields.