×

Injectivity radii of hyperbolic integer homology 3-spheres. (English) Zbl 1312.57022

The purpose of this paper is to construct hyperbolic integer homology 3-spheres where the injectivity radius is arbitrarily large for nearly all points of the manifolds. The key claim is to construct a sequence \(\{N_{n}\}\) of manifolds such that for all large \( n,\) the manifold \(N_{n}\) has a complete hyperbolic metric of finite volume and moreover \[ {\lim} _{n \rightarrow \infty}{\text{vol}(thin_{R} N_{n}) \over {\text{vol}(N_{n})}}=0. \] This leads to the main result: Given positive constants \(R\) and \(\epsilon\) and a finitely-generated abelian group \(A\), there exists a closed hyperbolic 3-manifold \(M\) where \(H_{1}(M;{\mathbf {Z}})=A\) and \[ {{\text{vol}}(thin_{R}M) \over {\text{vol(M)}}} < \epsilon. \] The result is closely related to a conjecture of Bergeron and Venkatesh on growth of torsion in the homology of arithmetic hyperbolic 3-manifolds. As a consequence of the main result, the authors show that there exist closed hyperbolic 3-manifolds \(M_{n}\) which Benjamini-Schramm converge to \({\mathbf H}^{3}\) where \(\tau(M_{n})/\text{vol}(M_{n}) \rightarrow 0\) as \(n \rightarrow \infty\) and in particular the limit is not \(\tau^{(2)}({\mathbf H}^{3})=1/{6\pi}.\) Here \(\tau(M)\) is the logarithm of the analytic torsion and \(\tau^{(2)}({\mathbf H}^{3})\) is the \(L^{2}\)-analytic torsion of \({\mathbf H}^{3}\). At the end of this paper they give results by computational experiments which strongly support the conjecture as well as certain generalizations to nonarithmetic manifolds.

MSC:

57M50 General geometric structures on low-dimensional manifolds
30F40 Kleinian groups (aspects of compact Riemann surfaces and uniformization)

Software:

Magma

References:

[1] M Abert, N Bergeron, I Biringer, T Gelander, N Nikolov, J Raimbault, I Samet, On the growth of \(L^2\)-invariants for sequences of lattices in Lie groups, · Zbl 1223.53039
[2] I Agol, Criteria for virtual fibering, J. Topol. 1 (2008) 269 · Zbl 1148.57023 · doi:10.1112/jtopol/jtn003
[3] N Bergeron, A Venkatesh, The asymptotic growth of torsion homology for arithmetic groups, J. Inst. Math. Jussieu 12 (2013) 391 · Zbl 1266.22013 · doi:10.1017/S1474748012000667
[4] W Bosma, J Cannon, C Fieker, A Steel, Handbook of MAGMA functions
[5] N Boston, J S Ellenberg, Pro-\(p\) groups and towers of rational homology spheres, Geom. Topol. 10 (2006) 331 · Zbl 1108.57002 · doi:10.2140/gt.2006.10.331
[6] J F Brock, K W Bromberg, On the density of geometrically finite Kleinian groups, Acta Math. 192 (2004) 33 · Zbl 1055.57020 · doi:10.1007/BF02441085
[7] J F Brock, Y N Minsky, H Namazi, J Souto, Bounded combinatorics and uniform models for hyperbolic \(3\)-manifolds, · Zbl 1353.51014
[8] F Calegari, N M Dunfield, Data files and Magma programs for ‘Automorphic forms and rational homology \(3\)-spheres’ · Zbl 1103.57007
[9] F Calegari, N M Dunfield, Automorphic forms and rational homology \(3\)-spheres, Geom. Topol. 10 (2006) 295 · Zbl 1103.57007 · doi:10.2140/gt.2006.10.295
[10] F Calegari, A Venkatesh, A torsion Jacquet-Langlands correspondence,
[11] J Cheeger, Analytic torsion and the heat equation, Ann. of Math. 109 (1979) 259 · Zbl 0412.58026 · doi:10.2307/1971113
[12] V Gadre, The limit set of the handlebody set has measure zero
[13] S P Kerckhoff, The measure of the limit set of the handlebody group, Topology 29 (1990) 27 · Zbl 0713.57016 · doi:10.1016/0040-9383(90)90023-D
[14] T T Q Le, Hyperbolic volume, Mahler measure and homology growth · Zbl 1302.57005
[15] D D Long, A W Reid, Simple quotients of hyperbolic \(3\)-manifold groups, Proc. Amer. Math. Soc. 126 (1998) 877 · Zbl 0891.57012 · doi:10.1090/S0002-9939-98-04458-X
[16] J Lott, Heat kernels on covering spaces and topological invariants, J. Differential Geom. 35 (1992) 471 · Zbl 0770.58040
[17] W Lück, Approximating \(L^2\)-invariants by their finite-dimensional analogues, Geom. Funct. Anal. 4 (1994) 455 · Zbl 0853.57021 · doi:10.1007/BF01896404
[18] C T McMullen, Renormalization and \(3\)-manifolds which fiber over the circle, Annals of Math. Studies 142, Princeton Univ. Press (1996) · Zbl 0860.58002
[19] Y N Minsky, Bounded geometry for Kleinian groups, Invent. Math. 146 (2001) 143 · Zbl 1061.37026 · doi:10.1007/s002220100163
[20] W Müller, Analytic torsion and \(R\)-torsion of Riemannian manifolds, Adv. in Math. 28 (1978) 233 · Zbl 0395.57011 · doi:10.1016/0001-8708(78)90116-0
[21] H Namazi, Heegaard splittings and hyperbolic geometry, PhD thesis, Yale University (2005)
[22] H Namazi, J Souto, Heegaard splittings and pseudo-Anosov maps, Geom. Funct. Anal. 19 (2009) 1195 · Zbl 1210.57019 · doi:10.1007/s00039-009-0025-3
[23] A Page, Algorithms for arithmetic Kleinian groups
[24] A Page, KleinianGroups, version \(1.0\)
[25] C Petronio, J Porti, Negatively oriented ideal triangulations and a proof of Thurston’s hyperbolic Dehn filling theorem, Expo. Math. 18 (2000) 1 · Zbl 0977.57011
[26] J S Purcell, J Souto, Geometric limits of knot complements, J. Topol. 3 (2010) 759 · Zbl 1267.57022 · doi:10.1112/jtopol/jtq020
[27] M H , On the integral cohomology of Bianchi groups, Exp. Math. 20 (2011) 487 · Zbl 1269.22007 · doi:10.1080/10586458.2011.594671
[28] M H , On the integral cohomology of Bianchi groups (2012)
[29] M H , On the torsion homology of nonarithmetic hyperbolic tetrahedral groups, Int. J. Number Theory 8 (2012) 311 · Zbl 1243.30085 · doi:10.1142/S1793042112500182
[30] W P Thurston, Hyperbolic structures on \(3\)-manifolds, II: Surface groups and \(3\)-manifolds which fiber over the circle,
[31] W P Thurston, The geometry and topology of three-manifolds, Princeton Univ. Math. Dept. Lecture Notes (1979)
[32] G Tian, A pinching theorem on manifolds with negative curvature, preprint
[33] S K Yeung, Betti numbers on a tower of coverings, Duke Math. J. 73 (1994) 201 · Zbl 0818.22007 · doi:10.1215/S0012-7094-94-07308-0
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.