## Geometry & Topology

### Automorphic forms and rational homology 3–spheres

#### Abstract

We investigate a question of Cooper adjacent to the Virtual Haken Conjecture. Assuming certain conjectures in number theory, we show that there exist hyperbolic rational homology 3–spheres with arbitrarily large injectivity radius. These examples come from a tower of abelian covers of an explicit arithmetic 3–manifold. The conjectures we must assume are the Generalized Riemann Hypothesis and a mild strengthening of results of Taylor et al on part of the Langlands Program for $GL2$ of an imaginary quadratic field.

The proof of this theorem involves ruling out the existence of an irreducible two dimensional Galois representation $ρ$ of $Gal(ℚ¯∕ℚ(−2))$ satisfying certain prescribed ramification conditions. In contrast to similar questions of this form, $ρ$ is allowed to have arbitrary ramification at some prime $π$ of $ℤ[−2]$.

In the next paper in this volume, Boston and Ellenberg apply pro–$p$ techniques to our examples and show that our result is true unconditionally. Here, we give additional examples where their techniques apply, including some non-arithmetic examples.

Finally, we investigate the congruence covers of twist-knot orbifolds. Our experimental evidence suggests that these topologically similar orbifolds have rather different behavior depending on whether or not they are arithmetic. In particular, the congruence covers of the non-arithmetic orbifolds have a paucity of homology.

#### Article information

Source
Geom. Topol., Volume 10, Number 1 (2006), 295-329.

Dates
Revised: 28 February 2006
Accepted: 2 January 2006
First available in Project Euclid: 20 December 2017

https://projecteuclid.org/euclid.gt/1513799708

Digital Object Identifier
doi:10.2140/gt.2006.10.295

Mathematical Reviews number (MathSciNet)
MR2224458

Zentralblatt MATH identifier
1103.57007

#### Citation

Calegari, Frank; Dunfield, Nathan M. Automorphic forms and rational homology 3–spheres. Geom. Topol. 10 (2006), no. 1, 295--329. doi:10.2140/gt.2006.10.295. https://projecteuclid.org/euclid.gt/1513799708

#### References

• M Baker, M Boileau, S Wang, Towers of covers of hyperbolic 3–manifolds, Rend. Istit. Mat. Univ. Trieste 32 (2001) 35–43 (2002)
• N Boston, J S Ellenberg, Pro–$p$ groups and towers of rational homology spheres, Geom. Topol. 10 (2006) 331–334
• A Brumer, K Kramer, Non-existence of certain semistable abelian varieties, Manuscripta Math. 106 (2001) 291–304
• F Calegari, Semistable abelian varieties over $\mathbb{Q}$, Manuscripta Math. 113 (2004) 507–529
• F Calegari, N M Dunfield, Data files and Magma programs http:// www.computop.org/software/twist-congruence/
• H Carayol, Sur les représentations $l$–adiques associées aux formes modulaires de Hilbert, Ann. Sci. École Norm. Sup. $(4)$ 19 (1986) 409–468
• L Clozel, On the cuspidal cohomology of arithmetic subgroups of ${\rm SL}(2n)$ and the first Betti number of arithmetic 3–manifolds, Duke Math. J. 55 (1987) 475–486
• L Clozel, On the cohomology of Kottwitz's arithmetic varieties, Duke Math. J. 72 (1993) 757–795
• Computational Algebra Group, Magma, version 2.12 (2003) http:// magma.maths.usyd.edu.au/
• D Coulson, O A Goodman, C D Hodgson, W D Neumann, Computing arithmetic invariants of 3–manifolds, Experiment. Math. 9 (2000) 127–152
• J E Cremona, Hyperbolic tessellations, modular symbols, and elliptic curves over complex quadratic fields, Compositio Math. 51 (1984) 275–324
• J D Dixon, M P F du Sautoy, A Mann, D Segal, Analytic pro-$p$ groups, Cambridge Studies in Advanced Mathematics 61, Cambridge University Press, Cambridge (1999)
• N M Dunfield, W P Thurston, The virtual Haken conjecture: experiments and examples, Geom. Topol. 7 (2003) 399–441
• J-M Fontaine, Il n'y a pas de variété abélienne sur $\mathbb{Z}$, Invent. Math. 81 (1985) 515–538
• O Goodman, Snap: a computer program for studying arithmetic invariants of hyperbolic 3–manifolds http://www.ms.unimelb.edu.au/\char'176snap/
• F Grunewald, H Helling, J Mennicke, ${\rm SL}\sb{2}$ over complex quadratic number fields. I, Algebra i Logika 17 (1978) 512–580, 622
• G Harder, Eisenstein cohomology of arithmetic groups. The case ${\rm GL}\sb 2$, Invent. Math. 89 (1987) 37–118
• M Harris, D Soudry, R Taylor, $l$–adic representations associated to modular forms over imaginary quadratic fields. I. Lifting to $\mathrm{GSp}_4(\mathbb{Q})$, Invent. Math. 112 (1993) 377–411
• D Heard, Orb: a program for computing hyperbolic structures on orbifolds http://www.ms.unimelb.edu.au/\char'176snap/orb.html
• H M Hilden, M T Lozano, J M Montesinos-Amilibia, On the arithmetic 2–bridge knots and link orbifolds and a new knot invariant, J. Knot Theory Ramifications 4 (1995) 81–114
• J Hoste, P D Shanahan, Commensurability classes of twist knots, J. Knot Theory Ramifications 14 (2005) 91–100
• H Jacquet, R P Langlands, Automorphic forms on ${\rm GL}(2)$, Springer, Berlin (1970)
• R C Kirby, Problems in low-dimensional topology, from: “Geometric topology (Athens, GA, 1993)”, AMS/IP Stud. Adv. Math. 2, Amer. Math. Soc., Providence, RI (1997) 35–473
• J-P Labesse, J Schwermer, On liftings and cusp cohomology of arithmetic groups, Invent. Math. 83 (1986) 383–401
• A Lubotzky, }, Ann. of Math. $(2)$ 118 (1983) 115–130
• A Lubotzky, }, Ann. of Math. $(2)$ 144 (1996) 441–452
• A Lubotzky, Free quotients and the first Betti number of some hyperbolic manifolds, Transform. Groups 1 (1996) 71–82
• C Maclachlan, A W Reid, The arithmetic of hyperbolic 3–manifolds, Graduate Texts in Mathematics 219, Springer, New York (2003)
• J Martinet, Petits discriminants des corps de nombres, from: “Number theory days, 1980 (Exeter, 1980)”, London Math. Soc. Lecture Note Ser. 56, Cambridge Univ. Press, Cambridge (1982) 151–193
• J J Millson, }, Ann. of Math. $(2)$ 104 (1976) 235–247
• M F Newman, E A O'Brien, Application of computers to questions like those of Burnside. II, Internat. J. Algebra Comput. 6 (1996) 593–605
• G Perelman, The entropy formula for the Ricci flow and its geometric applications
• G Perelman, Ricci flow with surgery on three-manifolds
• C S Rajan, On the non-vanishing of the first Betti number of hyperbolic three manifolds, Math. Ann. 330 (2004) 323–329
• M Rapoport, T Zink, Über die lokale Zetafunktion von Shimuravarietäten. Monodromiefiltration und verschwindende Zyklen in ungleicher Charakteristik, Invent. Math. 68 (1982) 21–101
• J D Rogawski, Automorphic representations of unitary groups in three variables, Annals of Mathematics Studies 123, Princeton University Press, Princeton, NJ (1990)
• R Schoof, Abelian varieties over cyclotomic fields with good reduction everywhere, Math. Ann. 325 (2003) 413–448
• H P F Swinnerton-Dyer, On $l$–adic representations and congruences for coefficients of modular forms. II, from: “Modular functions of one variable, V (Proc. Second Internat. Conf., Univ. Bonn, Bonn, 1976)”, Springer, Berlin (1977) 63–90. Lecture Notes in Math., Vol. 601
• J Tate, The non-existence of certain Galois extensions of $\mathbb{Q}$ unramified outside $2$, from: “Arithmetic geometry (Tempe, AZ, 1993)”, Contemp. Math. 174, Amer. Math. Soc., Providence, RI (1994) 153–156
• R Taylor, $l$–adic representations associated to modular forms over imaginary quadratic fields. II, Invent. Math. 116 (1994) 619–643
• R Taylor, On Galois representations associated to Hilbert modular forms II, from: “Elliptic curves, modular forms & Fermatś last theorem (Hong Kong 1993)”, Ser. Number Theory I, International Press (1995) 185–191
• R Taylor, A Wiles, }, Ann. of Math. $(2)$ 141 (1995) 553–572
• R Taylor, T Yoshida, Compatibility of local and global Langlands correspondences, preprint (2004)
• The GAP Group, GAP – Groups, Algorithms and Programming, version 4.2 (2000) http://www-gap.dcs.st-and.ac.uk/\char'176gap/
• M-F Vignéras, Arithmétique des algèbres de quaternions, Lecture Notes in Mathematics 800, Springer, Berlin (1980)
• F Waldhausen, }, Ann. of Math. $(2)$ 88 (1968) 272–280
• J R Weeks, SnapPea: a computer program for investigating hyperbolic 3–manifolds http://www.geometrygames.org/
• A Weil, On discrete subgroups of Lie groups, Ann. of Math. $(2)$ 72 (1960) 369–384
• A Wiles, 1333035