Shalen, Peter B.; Wagreich, Philip Growth rates, \(\mathbb{Z}_p\)-homology, and volumes of hyperbolic 3-manifolds. (English) Zbl 0768.57001 Trans. Am. Math. Soc. 331, No. 2, 895-917 (1992). The authors credit A. Lubotzky with inspiring the underlying result of this beautifully written paper: if the first homology \(H_ 1(M)\) (with \(Z_ p\) coefficients, for some prime \(p\)) has rank at least \(n+2\), then every \(n\)-generator subgroup of \(\pi_ 1(M)\) must be contained in infinitely many distinct finite-index subgroups of \(\pi_ 1(M)\) (and hence has infinite index). The authors prove this by fairly elementary but clever arguments, and derive many consequences for longstanding problems in the theory of 3-manifolds. For example, if \(M\) is closed and irreducible (and orientable), and \(H_ 1(M)\) has rank at least \(4\), then \(\pi_ 1(M)\) has a free subgroup of rank \(2\). Also, using an unpublished result of Jaco (reproven here by the authors) it is shown that if \(\pi_ 1(M)\) contains a genus \(g\) surface group, and \(H_ 1(M)\) has rank at least \(2g+2\), then \(M\) has a finite cover which is sufficiently large. When \(\pi_ 1(M)\) contains a free abelian subgroup of rank \(2\), the authors obtain various sharpenings of the torus theorem. A second direction of applications is to growth rates of fundamental groups of 3-manifolds. For example, if \(M\) is closed hyperbolic, and the rank of the rational first homology is at least one, then for any \(K<3^{1/4}\), the number of words of length \(n\) (for any fixed generating set) is at least \(K^ n\) for all sufficiently large \(n\). Another consequence of the underlying result is that if \(M\) is closed hyperbolic and \(H_ 1(M)\) has rank at least \(4\), any two noncommuting elements in \(\pi_ 1(M)\) generate a free subgroup. In a final section the authors use this to obtain lower bounds for the Margulis number, and hence the volumes, of hyperbolic 3-manifolds having enough homology. Reviewer: D.McCullough (Norman) Cited in 3 ReviewsCited in 22 Documents MSC: 57M05 Fundamental group, presentations, free differential calculus 57N10 Topology of general \(3\)-manifolds (MSC2010) 57M50 General geometric structures on low-dimensional manifolds 20F05 Generators, relations, and presentations of groups 20F14 Derived series, central series, and generalizations for groups 57M10 Covering spaces and low-dimensional topology 20E26 Residual properties and generalizations; residually finite groups 53C20 Global Riemannian geometry, including pinching 57M07 Topological methods in group theory Keywords:rank of first homology group; \(n\)-generator subgroup of the fundamental group; infinite index; 3-manifolds; free subgroup of rank 2; genus \(g\) surface group; finite cover which is sufficiently large; torus theorem; growth rates of fundamental groups of 3-manifolds; closed hyperbolic; Margulis number; volumes of hyperbolic 3-manifolds PDF BibTeX XML Cite \textit{P. B. Shalen} and \textit{P. Wagreich}, Trans. Am. Math. Soc. 331, No. 2, 895--917 (1992; Zbl 0768.57001) Full Text: DOI OpenURL