Benjamin-Schramm convergence of arithmetic 3-manifolds
1. B-S convergence and limit multiplicity
Let be a semi-simple Lie group, let be a sequence of lattices in , without infinite repetitions. We say that locally symmetric spaces B-S converge if the relative volume of the thin part tends to 0. The limit is then a probability distribution on the set (topologized by Gromov-Hausdorff convergence) of finite volume locally symmetric spaces.
In their 7-author paper, Abert-Bergeron-… showed that
- If has higher rank ans has property (T), then for every non-trivial sequence, the limit is .
- For general semisimple , given an arithmetic lattice, the relative volume of the thin parts of its congruence coverings is at most a negative power of the volume. Thus B-S convergence holds.
1.1. Limit multiplicity
If is a lattice, acts on . If is uniform, this unitary representation splits as a direct sum of irreducibles with multiplicities . We define the atomic measure on
Definition 1 Let be a sequence of uniform lattices in . Say that it has the limiting multiplicity property if converges to the Plancherel measure on .
Sauvageot (1996) gave the following characterization. L-M property holds iff for every smooth compactly supported function on ,
Abert-Bergeron et al showed that if injectivity radii are uniformly bounded from below, B-S convergence implies limiting multiplicity property. The reason is that injectivity radius at the base-point tends to infinity, thus the effect of convolution with a small support kernel becomes independant of the kernel.
The converse is true (folklore): limiting multiplicity property implies B-S convergence.
I complete the discussion of congruence lattices in the remaining 2 and 3-dimensional cases.
2.1. Torsion free uniform case
Theorem 2 Let or . Let be a congruence uniform torsion free arithmetic lattice. Then
- Thin parts have small volume,
where constants depend only on . Note that “congruence” is intrinsically defined.
- Limiting multiplicity property holds. Given smooth compactly supported function on such that , support in , then
- In the non-congruence arithmetic case, the estimate on the thin part involves the discriminant of the trace field (the field generated by traces of matrices , ,
In fact, (2), applied to a smoothed characteristic function of a ball implies (1).
Odlyzko’s bound indicates that discriminants are usually large:
Corollary 3 For arithmetic in , admits a triangulation with vertices, degrees of vertices .
This had been conjectured by Gelander. There are many small triangles in the thin part, but their number is overwhelmed by large triangles of the thick part. The corollary relies on Dobrowolski’s 1976 theorem on Mahler measures of algebaric numbers, which yields a lower bound on injectivity radius
is obtained as the nerve of a cover of by balls.
2.2. Torsion case, non-uniform case
(Joint work with Jean Raimbault). We prove that every sequence of arithmetic congruence lattices of or B-S converges to .
2.3. Proof of torsion case, non-uniform case
Follow the 7 author paper. Consider the invariant random subgroup associated to (uniform measure on conjugates in the Chabauty space of closed subgroups of . The 7 show that B-S convergence is equivalent to convergence of the IRS to the Dirac measure at the trivial subgroup. We show that any limit of is supported on subgroups containing only torsion by unipotent elements. Such a subgroup cannot be Zariski dense. The 7 show that every nontrivial IRS is Zariski dense.
3. Proof of main theorem
The goal is the estimate
Using Selberg’s trace formula,
The dominant term comes from the trivial conjugacy class, one must estimate all other terms. If support, the number of nonzero terms is the number of closed geodesics of length , i.e. elements with eigenvalues . These eigenvalues are algebraic integers of a special type. Indeed, uniform arithmetic lattices are integer matrices in a product of one copy of and a number of orthogonal groups. Therefore, among the Galois conjugates of , at most two can have modulus . The Weil height is , it is very small. Equidistribution results exist for numbers of small Weil height.
Theorem 4 (Bilu) If are algebraic numbers of degrees tending to infinity and Weil height tending to 0, then the Galois conjugates of get uniformly distributed on the unit circle.
This implies a bound on nonzero terms,
and also on the number nonzero terms, when combined with a result of Kabatianskii-Levenstein on the number of nearly orthogonal unit vectors in Euclidean space.
Theorem 5 (Kabatianskii-Levenstein, Tao) Let be unit vectors that satisfy
Then , for some absolute constant .
Indeed, one constructs a unit vector in for each characteristic polynomial of element of length . Bilu’s theorem implies that they are nearly orthogonal.
Borel’s volume formula gives
thanks to Odlyzko’s bound.
This gives the result for maximal lattices. Generalizing to suitable finite index subgroups requires the notion of congruence subgroup.
Let be a quaternion algebra over a number field . Let be the group of unit quaternions. Then is a product of ‘s, ‘s and ‘s. Adjusting parameters allows to have exactly one noncompact factor. Pick an order of , i.e. an -submodule which is a subring. Then is a lattice in , which projects to a lattice of . The previous arguments apply to such lattices, provided is maximal. Say a lattice in is congruence if it contains the projection of for some order and some integer .
To treat the case of a congruence lattice , one views as sections of a vectorbundle over associated with representations of .