Abstract: We prove an equidistribution result for small subvarieties of an abelian variety which generalizes the Szpiro-Ullmo-Zhang theorem on equidistribution of small points.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the equidistribution of subvarieties in abelian varieties. Specifically, the authors generalize the Szpiro - Ullmo - Zhang theorem, which was originally only applicable to the equidistribution of small points, and this paper extends it to small subvarieties.
### Main problems
1. **Equidistribution of small points**: The Szpiro - Ullmo - Zhang theorem states that in an abelian variety, small points will be evenly distributed under a certain measure. The goal of this paper is to generalize this result to a broader object - small subvarieties.
2. **Strict equidistribution**: For a strictly small subvariety sequence (i.e., small subvarieties not in any proper torsion subvariety), the authors prove the equidistribution property of these small subvarieties on the abelian variety.
### Mathematical background
- **Abelian variety**: An abelian variety \(A\) defined over a number field \(K\), and a symmetric and ample line bundle \(L\) on it.
- **Height function**: The height function \(h_L(Y)\) defined by arithmetic intersection theory is used to measure the "size" of the subvariety \(Y\).
- **Torsion subvariety**: A special subvariety in an abelian variety, which is a twisted translation of some abelian subvariety.
### Main theorem
#### Strict equidistribution theorem (Theorem 1.1)
Let \(A/K\) be an abelian variety, \(L\) be a symmetric and ample line bundle on \(A\), and \(L\) be equipped with a cubic metric. If \((X_n)_{n\geq1}\) is a strictly small closed subvariety sequence (i.e., \(\hat{h}_L(X_n)\to0\) and not in any proper torsion subvariety), then for each continuous real - valued function \(f\) on \(A(\mathbb{C})\), we have:
\[
\int_{A(\mathbb{C})}f\,d\mu_n\to\int_{A(\mathbb{C})}f\,d\mu
\]
where \(d_n = \dim X_n\), \(g=\dim A\), and the measures \(\mu_n\) and \(\mu\) are respectively:
\[
\mu_n=\frac{c_1(L|_{X_n})^{d_n}}{\deg_L(X_n)}\delta_{X_n},\quad\mu = \frac{c_1(L)^g}{\deg_L(A)}
\]
### Explanation
This theorem shows that when considering small subvarieties in an abelian variety, as these subvarieties become increasingly "small" (the height approaches zero), their distribution on the abelian variety gradually approaches the uniform distribution of the entire abelian variety. This is not only a generalization of the equidistribution of points, but also provides a new perspective for understanding the geometric and arithmetic structures in abelian varieties.
### Applications and significance
This result has important applications in algebraic geometry and number theory, especially in studying the distribution of subvarieties in abelian varieties and their relationship with the height function. It provides a powerful tool for subsequent research and helps to deeply understand the complex structures in abelian varieties.