The virtual Haken conjecture: Experiments and examples

Dunfield, Nathan M¹ ; Thurston, William P²

¹ Department of Mathematics, Harvard University, Cambridge, Massachusetts 02138, USA
² Department of Mathematics, University of California at Davis, Davis, California 95616, USA

Geometry & topology, Tome 7 (2003) no. 1, pp. 399-441.

Résumé

A 3–manifold is Haken if it contains a topologically essential surface. The Virtual Haken Conjecture says that every irreducible 3–manifold with infinite fundamental group has a finite cover which is Haken. Here, we discuss two interrelated topics concerning this conjecture.

First, we describe computer experiments which give strong evidence that the Virtual Haken Conjecture is true for hyperbolic 3–manifolds. We took the complete Hodgson-Weeks census of 10,986 small-volume closed hyperbolic 3–manifolds, and for each of them found finite covers which are Haken. There are interesting and unexplained patterns in the data which may lead to a better understanding of this problem.

Second, we discuss a method for transferring the virtual Haken property under Dehn filling. In particular, we show that if a 3–manifold with torus boundary has a Seifert fibered Dehn filling with hyperbolic base orbifold, then most of the Dehn filled manifolds are virtually Haken. We use this to show that every non-trivial Dehn surgery on the figure-8 knot is virtually Haken.

Détail

DOI : 10.2140/gt.2003.7.399

Keywords: virtual Haken Conjecture, experimental evidence, Dehn filling, one-relator quotients, figure-8 knot

Bibliographie

[1] B Baumslag, S J Pride, Groups with two more generators than relators, J. London Math. Soc. $(2)$ 17 (1978) 425

[2] G Baumslag, J W Morgan, P B Shalen, Generalized triangle groups, Math. Proc. Cambridge Philos. Soc. 102 (1987) 25

[3] J S Birman, H M Hilden, Heegaard splittings of branched coverings of $S^{3}$, Trans. Amer. Math. Soc. 213 (1975) 315

[4] W Bosma, J Cannon, Handbook of MAGMA functions (1994)

[5] S Boyer, X Zhang, Virtual Haken 3–manifolds and Dehn filling, Topology 39 (2000) 103

[6] K S Brown, Buildings, Springer (1989)

[7] D Calegari, Promoting essential laminations, Invent. Math. 166 (2006) 583

[8] P J Callahan, M V Hildebrand, J R Weeks, A census of cusped hyperbolic 3–manifolds, Math. Comp. 68 (1999) 321

[9] A Casson, D Jungreis, Convergence groups and Seifert fibered 3–manifolds, Invent. Math. 118 (1994) 441

[10] S Choi, W Goldman, The deformation spaces of projectively flat structures on 2–orbifolds,

[11] J H Conway, R T Curtis, S P Norton, R A Parker, R A Wilson, Atlas of finite groups, Oxford University Press (1985)

[12] D Cooper, D D Long, Virtually Haken Dehn-filling, J. Differential Geom. 52 (1999) 173

[13] D Cooper, D D Long, Some surface subgroups survive surgery, Geom. Topol. 5 (2001) 347

[14] M Culler, P B Shalen, Bounded, separating, incompressible surfaces in knot manifolds, Invent. Math. 75 (1984) 537

[15] M Culler, C M Gordon, J Luecke, P B Shalen, Dehn surgery on knots, Ann. of Math. $(2)$ 125 (1987) 237

[16] J D Dixon, Computing irreducible representations of groups, Math. Comp. 24 (1970) 707

[17] J D Dixon, Exact solution of linear equations using $p$–adic expansions, Numer. Math. 40 (1982) 137

[18] N M Dunfield, Alexander and Thurston norms of fibered 3–manifolds, Pacific J. Math. 200 (2001) 43

[19] N M Dunfield, Which small volume hyperbolic 3–manifolds are Haken?, Slides from a talk at the University of Warwick (1999)

[20] N M Dunfield, W P Thurston, Data on the virtual Haken conjecture

[21] N M Dunfield, W P Thurston, Random 3–manifolds: Heuristics for the Virtual Haken Conjecture, in preparation

[22] B Fine, F Roehl, G Rosenberger, A Freiheitssatz for certain one-relator amalgamated products, from: "Combinatorial and geometric group theory (Edinburgh, 1993)", London Math. Soc. Lecture Note Ser. 204, Cambridge Univ. Press (1995) 73

[23] B Fine, G Rosenberger, Algebraic generalizations of discrete groups, Monographs and Textbooks in Pure and Applied Mathematics 223, Marcel Dekker (1999)

[24] B Freedman, M H Freedman, Kneser–Haken finiteness for bounded 3–manifolds locally free groups, and cyclic covers, Topology 37 (1998) 133

[25] D Gabai, Convergence groups are Fuchsian groups, Ann. of Math. $(2)$ 136 (1992) 447

[26] D Gabai, On the geometric and topological rigidity of hyperbolic 3–manifolds, J. Amer. Math. Soc. 10 (1997) 37

[27] D Gabai, G R Meyerhoff, N Thurston, Homotopy hyperbolic 3–manifolds are hyperbolic, Ann. of Math. $(2)$ 157 (2003) 335

[28] T G Group, GAP – Groups, Algorithms, and Programming, Version 4.2 (2000)

[29] O Goodman, Snap

[30] A E Hatcher, On the boundary curves of incompressible surfaces, Pacific J. Math. 99 (1982) 373

[31] G Havas, D F Holt, S Rees, Recognizing badly presented $\mathbb{Z}$–modules, Linear Algebra Appl. 192 (1993) 137

[32] G Havas, B S Majewski, Hermite normal form computation for integer matrices, from: "Proceedings of the Twenty-fifth Southeastern International Conference on Combinatorics, Graph Theory and Computing (Boca Raton, FL, 1994)" (1994) 87

[33] G Havas, B S Majewski, Integer matrix diagonalization, J. Symbolic Comput. 24 (1997) 399

[34] M Hildebrand, J Weeks, A computer generated census of cusped hyperbolic 3–manifolds, from: "Computers and mathematics (Cambridge, MA, 1989)", Springer (1989) 53

[35] D F Holt, W Plesken, A cohomological criterion for a finitely presented group to be infinite, J. London Math. Soc. $(2)$ 45 (1992) 469

[36] J Hoste, M Thistlethwaite, Knotscape

[37] W Jaco, U Oertel, An algorithm to decide if a 3–manifold is a Haken manifold, Topology 23 (1984) 195

[38] R Kirby, Problems in low-dimensional topology, from: "Geometric topology (Athens, GA, 1993)", AMS/IP Stud. Adv. Math. 2, Amer. Math. Soc. (1997) 35

[39] A Lubotzky, Eigenvalues of the Laplacian, the first Betti number and the congruence subgroup problem, Ann. of Math. $(2)$ 144 (1996) 441

[40] A Lubotzky, Free quotients and the first Betti number of some hyperbolic manifolds, Transform. Groups 1 (1996) 71

[41] W Meeks Iii, L Simon, S T Yau, Embedded minimal surfaces, exotic spheres, and manifolds with positive Ricci curvature, Ann. of Math. $(2)$ 116 (1982) 621

[42] G Mess, The Seifert fibered space conjecture and groups which are coarse quasi-isometric to planes, preprint

[43] W Plesken, Presentations and representations of groups, from: "Algorithmic algebra and number theory (Heidelberg, 1997)", Springer (1999) 423

[44] W Plesken, B Souvignier, Constructing rational representations of finite groups, Experiment. Math. 5 (1996) 39

[45] W Plesken, B Souvignier, Constructing representations of finite groups and applications to finitely presented groups, J. Algebra 202 (1998) 690

[46] L P Postnikova, A Šincel’, Primitive divisors of the expression $a^{n}-b^{n}$ in algebraic number fields, Mat. Sb. $($N.S.$)$ 75 (117) (1968) 171

[47] J D Rogawski, Automorphic representations of unitary groups in three variables, Annals of Mathematics Studies 123, Princeton University Press (1990)

[48] A Schinzel, Primitive divisors of the expression $A^{n}-B^{n}$ in algebraic number fields, J. Reine Angew. Math. 268/269 (1974) 27

[49] P Scott, There are no fake Seifert fibre spaces with infinite $\pi _{1}$, Ann. of Math. $(2)$ 117 (1983) 35

[50] J P Serre, Trees, Springer Monographs in Mathematics, Springer (2003)

[51] C T Simpson, Products of matrices, from: "Differential geometry, global analysis, and topology (Halifax, NS, 1990)", CMS Conf. Proc. 12, Amer. Math. Soc. (1991) 157

[52] C C Sims, Computation with finitely presented groups, Encyclopedia of Mathematics and its Applications 48, Cambridge University Press (1994)

[53] W P Thurston, The geometry and topology of 3–manifolds, Lecture notes (1978)

[54] F Waldhausen, The word problem in fundamental groups of sufficiently large irreducible 3–manifolds, Ann. of Math. $(2)$ 88 (1968) 272

[55] C T C Wall, Rational Euler characteristics, Proc. Cambridge Philos. Soc. 57 (1961) 182

[56] J Weeks, SnapPea

[57] Y Q Wu, Incompressibility of surfaces in surgered 3–manifolds, Topology 31 (1992) 271