Some 3-manifolds and 3-orbifolds with large fundamental group

Author:
Marc Lackenby

Journal:
Proc. Amer. Math. Soc. **135** (2007), 3393-3402

MSC (2000):
Primary 57N10, 57M25

DOI:
https://doi.org/10.1090/S0002-9939-07-09050-8

Published electronically:
June 22, 2007

MathSciNet review:
2322772

Full-text PDF Free Access

Abstract | References | Similar Articles | Additional Information

Abstract: We provide two new proofs of a theorem of Cooper, Long and Reid which asserts that, apart from an explicit finite list of exceptional manifolds, any compact orientable irreducible 3-manifold with non-empty boundary has large fundamental group. The first proof is direct and topological; the second is group-theoretic. These techniques are then applied to prove a string of results about (possibly closed) 3-orbifolds, which culminate in the following theorem. If is a knot in a compact orientable 3-manifold such that the complement of admits a complete finite-volume hyperbolic structure, then the orbifold obtained by assigning a singularity of order along has large fundamental group for infinitely many positive integers . We also obtain information about this set of values of . When is the 3-sphere, this has implications for the cyclic branched covers over the knot. In this case, we may also weaken the hypothesis that the complement of is hyperbolic to the assumption that is non-trivial.

**1.**B. Baumslag and S. Pride,*Groups with two more generators than relators*, J. London Math. Soc. (2)**17**(1978), 425-426. MR**0491967 (58:11137)****2.**M. Boileau and J. Porti,*Geometrization of 3-orbifolds of cyclic type*, Astérisque, vol. 272, 2001. MR**1844891 (2002f:57034)****3.**J. Button,*Strong Tits alternatives for compact 3-manifolds with boundary*, J. Pure Appl. Algebra**191**(2004), 89-98. MR**2048308 (2005f:57002)****4.**D. Cooper, C. Hodgson, and S. Kerckhoff,*Three-dimensional orbifolds and cone-manifolds*, MSJ Memoirs, vol. 5, Mathematical Society of Japan, 2000. MR**1778789 (2002c:57027)****5.**D. Cooper, D. Long, and A. Reid,*Essential closed surfaces in bounded -manifolds*, J. Amer. Math. Soc.**10**(1997), 553-563. MR**1431827 (97m:57021)****6.**J. Hempel,*3-Manifolds*, Ann. of Math. Studies, vol. 86, Princeton University Press, 1976. MR**0415619 (54:3702)****7.**J. Howie,*Free subgroups in groups of small deficiency*, J. Group Theory**1**(1998), 95-112. MR**1490160 (99e:20041)****8.**S. Kojima,*Finite covers of 3-manifolds containing essential surface of Euler characteristic*, Proc. Amer. Math. Soc.**101**(1987), 743-747. MR**911044 (89b:57010)****9.**M. Lackenby,*A characterisation of large finitely presented groups*, J. Algebra**287**(2005), 458-473. MR**2134155 (2006a:20048)****10.**D. Long,*Immersions and embeddings of totally geodesic surfaces*, Bull. London Math. Soc.**19**(1987), 481-484. MR**898729 (89g:57014)****11.**D. Long and G. Niblo,*Subgroup separability and -manifold groups*, Math. Z.**207**(1991), 209-215. MR**1109662 (92g:20047)****12.**J. Luecke,*Finite covers of 3-manifolds containing essential tori*, Trans. Amer. Math. Soc.**310**(1988), 381-391. MR**965759 (90c:57011)****13.**J. Morgan,*On Thurston's uniformization theorem for three-dimensional manifolds*, The Smith conjecture, Pure Appl. Math., vol. 112, Academic Press, 1979, pp. 37-125. MR**758464****14.**J. Ratcliffe,*Euler characteristics of 3-manifold groups and discrete subgroups of*, J. Pure Appl. Algebra**44**(1987), 303-314. MR**885114 (88f:22028)****15.**W. Thurston,*The geometry and topology of 3-manifolds (lecture notes)*, Princeton, 1978.

Retrieve articles in *Proceedings of the American Mathematical Society*
with MSC (2000):
57N10,
57M25

Retrieve articles in all journals with MSC (2000): 57N10, 57M25

Additional Information

**Marc Lackenby**

Affiliation:
Mathematical Institute, University of Oxford, 24-29 St Giles, Oxford OX1 3LB, United Kingdom

Email:
lackenby@maths.ox.ac.uk

DOI:
https://doi.org/10.1090/S0002-9939-07-09050-8

Received by editor(s):
May 12, 2006

Published electronically:
June 22, 2007

Additional Notes:
The author was supported by the EPSRC

Communicated by:
Daniel Ruberman

Article copyright:
© Copyright 2007
American Mathematical Society

The copyright for this article reverts to public domain 28 years after publication.