Abstract:Recent developments on the uniformity of the number of rational points on curves and subvarieties in a moving abelian variety rely on the geometric concept of the degeneracy locus. The first-named author investigated the degeneracy locus in certain mixed Shimura varieties. In this expository note we revisit some of these results while minimizing the use of mixed Shimura varieties while working in a family of principally polarized abelian varieties. We also explain their relevance for applications in diophantine geometry.
What problem does this paper attempt to address?
The problems that this paper attempts to solve mainly focus on the geometric description of the degeneration locus and its application in Diophantine geometry. Specifically, the author re - examines the degeneration locus in certain mixed Shimura varieties and tries to minimize the use of the language of mixed Shimura varieties, working in families of principally polarized abelian varieties. In addition, the author also explains the relevance of these results in Diophantine geometry.
### Main problems and goals
1. **Re - prove some arguments about the degeneration locus**:
- The author hopes to re - prove some arguments about the degeneration locus with the least amount of mixed Shimura variety language, especially the work in [Gao17a, Gao20a].
2. **Minimize the use of mixed Shimura varieties**:
- Work in the family of principally polarized abelian varieties \( A_g \) of dimension \( g \), instead of relying on the concept of mixed Shimura varieties.
3. **Definition and properties of the degeneration locus**:
- For any irreducible closed subvariety \( X\subseteq A_g \), define the \( t \)-th order degeneration locus \( X^{\deg(t)} \) and study its properties. In particular, \( X^{\deg(t)} \) is the union of at most countably infinitely many Zariski - closed subsets in \( X \), but is itself a Zariski - closed subset in \( X \).
4. **Geometric description of bi - algebraic subvarieties**:
- Re - examine the geometric description of a class of bi - algebraic subvarieties in \( A_g \). Although these subvarieties are not fully characterized, sufficient results are provided for application in Diophantine geometry.
5. **Application of key tools**:
- Use André's normality theorem of mixed Hodge structures as a key tool, similar to the first author's previous work [Gao17b, §8] and Bertrand's overview of Manin's kernel theorem [Ber20].
6. **Specific applications**:
- Study the degeneration locus when \( t = 0 \) and \( t = 1 \), especially their applications in the uniform Mordell - Lang conjecture and the relative Manin - Mumford conjecture.
### Formulas and symbol explanations
- \( A_g \): The family of principally polarized abelian varieties of dimension \( g \).
- \( X \): An irreducible closed subvariety in \( A_g \).
- \( X^{\deg(t)} \): The \( t \)-th order degeneration locus of \( X \).
- \( \text{End}(A/S) \): The endomorphism group of the abelian scheme \( A\to S \).
- \( \pi: A\to S \): The projection map of the abelian scheme.
- \( \text{Mon}(Y_{\text{reg}}) \): The connected algebraic monodromy group of \( Y_{\text{reg}} \).
Through these studies, the author aims to provide new proof methods and theoretical support for certain conjectures in Diophantine geometry.