TY - JOUR

T1 - Automorphic forms and rational homology 3-spheres

AU - Calegari, Frank

AU - Dunfield, Nathan M.

PY - 2006

Y1 - 2006

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=33645580189&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=33645580189&partnerID=8YFLogxK

U2 - 10.2140/gt.2006.10.295

DO - 10.2140/gt.2006.10.295

M3 - Article

AN - SCOPUS:33645580189

VL - 10

SP - 295

EP - 329

JO - Geometry and Topology

JF - Geometry and Topology

SN - 1364-0380

ER -