Abstract:In \cite{S}, Shyr derived an analogue of Dirichlet's class number formula for arithmetic Tori. We use this formula to derive a Brauer-Siegel formula for Tori, relating the Discriminant of a torus to the product of its regulator and class number. We apply this formula to derive asymptotics and lower bounds for Galois orbits of CM points in the Siegel modular variety $A_{g,1}$. Specifically, we ask that the sizes of these orbits grows like a power of Discriminant of the underlying endomorphism algebra. We prove this unconditionally in the case $g\leq 5$, and for all $g$ under the Generalized Riemann Hypothesis for CM fields. Along the way we derive a general transfer principle for torsion in ideal class groups of number fields.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is the estimation of the Galois orbit size of CM (complex multiplication) abelian varieties. Specifically, the author tries to prove the conjecture proposed by Edixhoven, that is, for a g -dimensional CM principally polarized abelian variety \( B \), there is a lower - bound relationship between the Galois orbit size of the point \( x \) in its corresponding Siegel modular space \( A_{g,1}(\mathbb{Q}) \) and the power of the discriminant of the center of the endomorphism ring of this abelian variety.
Expressed in a formula, the conjecture is as follows:
\[ |Gal(\mathbb{Q}/\mathbb{Q}) \cdot x| \gg_g \text{Disc}(Z(\text{End}(B)))^{\delta_g} \]
where \( \delta_g > 0 \) is a constant.
### Main contributions
1. **Generalization of the Brauer - Siegel formula**: The author uses the Dirichlet class number formula on arithmetic tori derived by Shyr to further derive the Brauer - Siegel formula applicable to tori. This formula links the discriminant of a torus to its regulator and class number.
2. **Lower bound of the Galois orbit of CM points**: Through the above formula, the author is able to give the asymptotic estimate and lower bound of the Galois orbit size of CM points in the Siegel modular space. Specifically, the author proves that when \( g\leqslant6 \), Edixhoven's conjecture holds; and on the premise that the generalized Riemann hypothesis (GRH) holds, it also holds for all \( g\in\mathbb{N} \).
3. **Results for Weyl CM points**: For Weyl CM points, the author proves that Edixhoven's conjecture holds for all \( g\in\mathbb{N} \) and gives a more precise asymptotic formula.
### Key techniques
- **Class number formula for arithmetic tori**: This is derived by Shyr and is similar to the Dirichlet class number formula on number fields.
- **Brauer - Siegel theorem**: Used to estimate the relationship between the class number and the regulator of tori.
- **Estimation of Galois orbits**: By analyzing the class group mapping of tori, the lower bound of the Galois orbit size is given.
### Applications
These results not only provide theoretical support for understanding the distribution of CM points, but also lay the foundation for generalizing Pila's work on the Andre - Oort conjecture to arbitrary Shimura varieties.
In short, the main objective of this paper is to solve the important problem of estimating the Galois orbit size of CM abelian varieties by introducing new mathematical tools and techniques.