Strong Limit Multiplicity for arithmetic hyperbolic surfaces and $3$-manifolds

Abstract

We show that every sequence of torsion-free arithmetic congruence lattices in $\mathrm{PGL}(2,\mathbb{R})$ or $\mathrm{PGL}(2,\mathbb{C})$ satisfies a strong quantitative version of the Limit Multiplicity property. We deduce that for $R>0$ in certain range, growing linearly in the degree of the invariant trace field, the volume of the $R$-thin part of any congruence arithmetic hyperbolic surface or congruence arithmetic hyperbolic $3$-manifold $M$ is of order at most $\mathrm{Vol}(M{)}^{11/12}$. As an application we prove Gelander's conjecture on homotopy type of arithmetic hyperbolic $3$-manifolds: We show that there are constants $A,B$ such that every such manifold $M$ is homotopy equivalent to a simplicial complex with at most $A\mathrm{Vol}(M)$ vertices, all of degrees bounded by $B$.

arXiv comment41 pages, condensed version rewritten according to referees' suggestions. Minor improvements in the main result

References in corpus (11)

• Representation zeta functions of compact p-adic analytic groups and arithmetic groups
• Limit multiplicities for principal congruence subgroups of GL(n) and SL(n)
• Spectre automorphe des variétés hyperboliques et applications topologiques
• The orbit method and analysis of automorphic forms
• On the convergence of arithmetic orbifolds
• An approximation principle for congruence subgroups
• Counting and effective rigidity in algebra and geometry
• Nombre de classes des tores de multiplication complexe et bornes inferieures pour orbites Galoisiennes de points speciaux
• An approximation principle for congruence subgroups II: application to the limit multiplicity problem
• Betti numbers of Shimura curves and arithmetic three--orbifolds
• Limit multiplicities for ${\mathrm{SL}}_2({\mathcal{O}}_F)$ in ${\mathrm{SL}}_2({\mathbb{R}}^{r_1}\oplus {\mathbb{C}}^{r_2})$

Cited by in corpus (3)

• The density hypothesis for horizontal families of lattices
• Bounds on Systoles and Homotopy Complexity
• Limit multiplicities for ${\mathrm{SL}}_2({\mathcal{O}}_F)$ in ${\mathrm{SL}}_2({\mathbb{R}}^{r_1}\oplus {\mathbb{C}}^{r_2})$