Covering Spaces of Arithmetic 3-Orbifolds
1 Mathematical Institute, University of Oxford, 24-29 St Giles', Oxford OX1 3LB, UK
2 Department of Mathematics, University of California, Santa Barbara, CA 93106, USA
3 Department of Mathematics, University of Texas, Austin, TX 78712, USA
Correspondence: Correspondence to be sent to: areid{at}math.utexas.edu
Let G be an arithmetic Kleinian group, and let O be the associated hyperbolic 3-orbifold or 3-manifold. In this paper, we prove that, in many cases, G is large, which means that some finite index subgroup admits a surjective homomorphism onto a non-abelian free group. This has many consequences, including that O has infinite virtual first Betti number and G has super-exponential subgroup growth. Our first result, which forms the basis for the entire paper, is that G is commensurable with a lattice containing the Klein group of order 4. Our second result is that if G has a finite index subgroup with first Betti number at least 4, then G is large. This is known to hold for many arithmetic lattices. In particular, we show that it is always the case when G contains A4, S4 or A5. Our third main result is that the Lubotzky-Sarnak conjecture and the geometrisation conjecture together imply that any arithmetic Kleinian group G is large. We also give a new elementary proof that arithmetic Kleinian groups do not have the congruence subgroup property, which avoids the use of the Golod-Shafarevich inequality.
References
- Borel A. Cohomologie de sous-groupes discrets et représentations de groupes semi-simples. Astérisque (1976) 32–33:73–112.
- Brown K. Cohomology of Groups (1982) New York: Springer. Graduate Texts in Mathematics, 87.
- Chinburg T., Friedman E., Jones K. N., Reid A. W. The smallest volume arithmetic hyperbolic 3-manifold. Annali della Scuola Normale Superiore di Pisa (2001) 30:1–40.
- Clozel L. On the cuspidal cohomology of arithmetic subgroups of
and the first betti number of arithmetic 3-manifolds. Duke Mathematical Journal (1987) 55:475–86.[CrossRef][ISI] - Cooper D., Long D. D., Reid A. W. Essential closed surfaces in bounded 3-manifolds. Journal of The American Mathematical Society (1997) 55:553–63.
- Coulsen D., Goodman O. A., Hodgson C. D., Neumann W. D. Computing arithmetic invariants of 3-manifolds. Experimental Mathematics (2000) 55:127–52.
- Dixon J., du Sautoy M., Mann A., Segal D. Analytic Pro-p Groups. (1999) Cambridge: Cambridge University Press. Cambridge Studies in Advanced Mathematics, 61.
- Dunfield N., Thurston W. The virtual Haken conjecture: Experiments and examples. Geometry and Topology (2003) 55:399–441.
- Hall P. The Eulerian functions of a group. The Quarterly Journal of Mathematics (1936) 55:134–51.
- Hempel J. Residual finiteness for 3-manifolds. In: Combinatorial Group Theory and Topology (1987) Princeton, NJ: Princeton University Press. 379–96. Annals of Mathematics Studies, 111. (Alta, Utah, 1984).
- Jones K. N., Reid A. W. Geodesic intersections in arithmetic hyperbolic 3-manifolds. Duke Mathematical Journal (1997) 55:75–86.
- Jørgenson T. Closed geodesics on Riemann surfaces. Proceedings of the American Mathematical Society (1978) 55:140–142.[CrossRef]
- Kojima S. Finite covers of 3-manifolds containing essential surface of Euler characteristic =0. Proceedings of the American Mathematical Society (1987) 55:743–7.
- Labesse J.-P., Schwermer J. On liftings and cusp cohomology of arithmetic groups. Inventiones Mathematicae (1986) 55:383–401.
- Lackenby M. A characterisation of large finitely presented groups. Journal of Algebra (2005) 55:458–73.
- Lackenby M. Heegaard splittings, the virtually Haken conjecture and Property (
). Inventiones Mathematicae (2006) 55:317–59. - Lackenby M. Covering spaces of 3-orbifolds. Duke Mathematical Journal (2007) 55:181–203.
- Lackenby M. Large groups, Property (
) and the homology growth of subgroups. (2005) preprint arxiv math.GR/0509036. - Lackenby M. Some 3-manifolds and 3-orbifolds with large fundamental group. Proceedings of the American Mathematical Society (2007) 55:3393–3402.
- Li J. S., Millson J. J. On the first betti number of a hyperbolic manifold with an arithmetic fundamental group. Duke Mathematical Journal (1993) 55:365–401.
- Long D. D. Immersions and embeddings of totally geodesic surfaces. The Bulletin of the London Mathematical Society (1987) 55:481–4.
- Long D. D., Niblo G. Subgroup separability and 3-manifold groups. Mathematische Zeitschrift (1991) 55:209–215.
- Long D. D., Reid A. W. Simple quotients of hyperbolic 3-manifold groups. Proceedings of the American Mathematical Society (1998) 55:877–80.
- Lubotzky A. Group presentations, p-adic analytic groups and lattices in
. Annals of Mathematics (1983) 55:115–30. - Lubotzky A. Subgroup growth and congruence subgroups. Inventiones Mathematicae (1995) 55:267–95.
- Lubotzky A. Free quotients and the first Betti number of some hyperbolic manifolds. Transformation Groups (1996) 55:71–82.
- Lubotzky A. Eigenvalues of the Laplacian, the first Betti number and the congruence subgroup problem. Annals of Mathematics (1996) 144:441–52.[CrossRef][ISI]
- Lubotzky A., Segal D. Subgroup Growth (2003) Boston, MA: Birkhäuser. Progress in Mathematics, 212.
- Lubotzky A., Zimmer R. Variants of Kazhdan's property for subgroups of semisimple groups. Israel Journal of Mathematics (1989) 66:289–99.[CrossRef][ISI]
- Luecke J. Finite covers of 3-manifolds containing essential tori. Transactions of the American Mathematical Society (1988) 55:381–91.
- Maclachlan C., Martin G. J. 2-generator arithmetic Kleinian groups. Journal fur die Reine und Angewandte Mathematik (1999) 511:95–117.[ISI]
- Maclachlan C., Reid A. W. The Arithmetic of Hyperbolic 3-Manifolds (2003) Berlin: Springer. Graduate Texts in Mathematics, 219.
- Margulis G. Discrete Subgroups of Semi-simple Lie Groups (1991) Berlin: Springer. Ergebnisse der Mathematik und ihr Grenzgebeite, 3.
- Narkiewicz W. Algebraic Numbers (1974) Warsaw: Polish Scientific Publishers.
- Rajan C. S. On the non-vanishing of the first Betti number of hyperbolic three manifolds. Mathematische Annalen (2004) 55:323–9.
- Reid A. W. Isospectrality and commensurability of arithmetic hyperbolic 2- and 3-manifolds. Duke Mathematical Journal (1992) 55:215–28.
- Suzuki M. Group Theory I (1980) Berlin: Springer. Grundlehren der Mathematischen Wissenschaften, 247.
| ||||||||||||||||||||||||||||||||||||||||||||||||||