Abstract:We show that in high dimensions the set of stable lattices is almost of full measure in the space of unimodular lattices.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is: in high - dimensional space, the measure estimation problem of stable lattices in unimodular lattices. Specifically, the authors show that in high dimensions, the stable lattices almost occupy the entire measure of the unimodular lattices.
### Detailed Explanation:
1. **Background Introduction**:
- The paper defines \( G = SL_n(\mathbb{R}) \) and \( \Gamma = SL_n(\mathbb{Z}) \), and introduces a subgroup \( A\subset G \), which is the set of diagonal matrices.
- The quotient space \( L_n = G / \Gamma \) is naturally identified as the unimodular lattices in \( \mathbb{R}^n \).
- A lattice \( \Lambda \) is called stable if for any subgroup \( \Delta \subset \Lambda \), we have \( \text{vol}(\Delta \otimes \mathbb{R} / \Delta)\geq1 \).
2. **Core Problem**:
- Study the orbit problem of the \( A \)-action on \( L_n \).
- The study of stable lattices is closely related to classical problems in geometric number theory (such as the Minkowski conjecture) and the dynamics of the \( A \)-action.
- The specific goal is to prove that in high dimensions, the measure of the stable lattice set \( S(n) \) in \( L_n \) is close to 1.
3. **Main Results**:
- **Theorem 1**: Let \( m \) be the probability measure on \( L_n \) derived from the Haar measure on \( G \), then there exists a constant \( C>0 \) such that for sufficiently large \( n \),
\[
m(L_n\setminus S(n))\leq\left(\frac{C}{n}\right)^{\frac{n - 1}{2}}.
\]
In particular, as \( n\rightarrow\infty \), \( m(S(n))\rightarrow1 \).
4. **Technical Details**:
- The concepts of \( V_k(\Lambda) \) and \( \alpha_k(\Lambda) \) are introduced, and \( S(n)_k(t) \) and \( S(n)_k \) are defined.
- The Siegel formula and its variants are used to deal with the measure problem.
- Using Thunder's work and some combinatorial techniques, key inequalities and estimates are derived.
5. **Conclusion**:
- Through the above techniques and results, it is proved that in high dimensions, the stable lattices almost occupy the entire measure of the unimodular lattices, which answers the question raised by G. Harder and can be regarded as a manifestation of the mass concentration phenomenon of high - dimensional Euclidean balls along the equator.
### Summary:
This paper, through strict mathematical derivations, proves that in high dimensions, the measure of the stable lattice set in the unimodular lattice space is close to 1, thus providing an important theoretical basis for understanding the properties of lattices in high - dimensional spaces.