A random tunnel number one 3–manifold does not fiber over the circle

Dunfield, Nathan M¹ ; Thurston, Dylan P²

¹ Mathematics 253-37, California Institute of Technology, Pasadena, CA 91125, USA
² Mathematics, Barnard College, Columbia University MC 4436, New York, NY 10027, USA

Geometry & topology, Tome 10 (2006) no. 4, pp. 2431-2499.

Résumé

We address the question: how common is it for a 3–manifold to fiber over the circle? One motivation for considering this is to give insight into the fairly inscrutable Virtual Fibration Conjecture. For the special class of 3–manifolds with tunnel number one, we provide compelling theoretical and experimental evidence that fibering is a very rare property. Indeed, in various precise senses it happens with probability 0. Our main theorem is that this is true for a measured lamination model of random tunnel number one 3–manifolds.

The first ingredient is an algorithm of K Brown which can decide if a given tunnel number one 3–manifold fibers over the circle. Following the lead of Agol, Hass and W Thurston, we implement Brown’s algorithm very efficiently by working in the context of train tracks/interval exchanges. To analyze the resulting algorithm, we generalize work of Kerckhoff to understand the dynamics of splitting sequences of complete genus 2 interval exchanges. Combining all of this with a “magic splitting sequence” and work of Mirzakhani proves the main theorem.

The 3–manifold situation contrasts markedly with random 2–generator 1–relator groups; in particular, we show that such groups “fiber” with probability strictly between 0 and 1.

Détail

DOI : 10.2140/gt.2006.10.2431

Keywords: random 3-manifolds, tunnel number, interval exchanges, one-relator groups

Bibliographie

[1] I Agol, J Hass, W Thurston, The computational complexity of knot genus and spanning area, Trans. Amer. Math. Soc. 358 (2006) 3821

[2] J Berge, Documentation for the program Heegaard, preprint (c.1990)

[3] R Bieri, W D Neumann, R Strebel, A geometric invariant of discrete groups, Invent. Math. 90 (1987) 451

[4] J S Birman, Braids, links, and mapping class groups, Annals of Mathematics Studies 82, Princeton University Press (1974)

[5] A Borisov, M Sapir, Polynomial maps over finite fields and residual finiteness of mapping tori of group endomorphisms

[6] K S Brown, Trees, valuations, and the Bieri–Neumann–Strebel invariant, Invent. Math. 90 (1987) 479

[7] J O Button, Fibred and virtually fibred hyperbolic 3–manifolds in the censuses, Experiment. Math. 14 (2005) 231

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

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

[10] N M Dunfield, W P Thurston, Finite covers of random 3–manifolds, Invent. Math 166 (2006) 457

[11] M Dwass, Simple random walk and rank order statistics, Ann. Math. Statist. 38 (1967) 1042

[12] M Gromov, Hyperbolic groups, from: "Essays in group theory", Math. Sci. Res. Inst. Publ. 8, Springer (1987) 75

[13] J Hoste, M Thistlethwaite, Knotscape (1999)

[14] J Hoste, M Thistlethwaite, J Weeks, The first 1,701,936 knots, Math. Intelligencer 20 (1998) 33

[15] W Jaco, Adding a 2–handle to a 3–manifold: an application to property $R$, Proc. Amer. Math. Soc. 92 (1984) 288

[16] W Jaco, J L Tollefson, Algorithms for the complete decomposition of a closed 3–manifold, Illinois J. Math. 39 (1995) 358

[17] V A Kaimanovich, Poisson boundary of discrete groups, preprint (2001)

[18] V A Kaimanovich, H Masur, The Poisson boundary of Teichmüller space, J. Funct. Anal. 156 (1998) 301

[19] S P Kerckhoff, Simplicial systems for interval exchange maps and measured foliations, Ergodic Theory Dynam. Systems 5 (1985) 257

[20] C J Leininger, Surgeries on one component of the Whitehead link are virtually fibered, Topology 41 (2002) 307

[21] F Luo, R Stong, Dehn–Thurston coordinates for curves on surfaces, Comm. Anal. Geom. 12 (2004) 1

[22] H Masur, Measured foliations and handlebodies, Ergodic Theory Dynam. Systems 6 (1986) 99

[23] M Mirzakhani, Growth of the number of simple closed geodesics on hyperbolic surfaces, to appear in Ann. of Math.

[24] K Murasugi, On a certain subgroup of the group of an alternating link, Amer. J. Math. 85 (1963) 544

[25] A Y Ol’Shanskiĭ, Almost every group is hyperbolic, Internat. J. Algebra Comput. 2 (1992) 1

[26] R C Penner, J L Harer, Combinatorics of train tracks, Annals of Mathematics Studies 125, Princeton University Press (1992)

[27] D Poulalhon, G Schaeffer, Optimal coding and sampling of triangulations, from: "Automata, languages and programming", Lecture Notes in Comput. Sci. 2719, Springer (2003) 1080

[28] S Rankin, O Flint, J Schermann, Enumerating the prime alternating knots I, J. Knot Theory Ramifications 13 (2004) 57

[29] S Rankin, O Flint, J Schermann, Enumerating the prime alternating knots II, J. Knot Theory Ramifications 13 (2004) 101

[30] G Schaeffer, P Zinn-Justin, On the asymptotic number of plane curves and alternating knots, Experiment. Math. 13 (2004) 483

[31] M Scharlemann, Outermost forks and a theorem of Jaco, from: "Combinatorial methods in topology and algebraic geometry (Rochester, N.Y. 1982)", Contemp. Math. 44, Amer. Math. Soc. (1985) 189

[32] S Schleimer, Almost normal Heegaard splittings, PhD thesis, Berkeley (2001)

[33] J Stallings, On fibering certain 3–manifolds, from: "Topology of 3–manifolds and related topics (Proc. The Univ. of Georgia Institute, 1961)", Prentice-Hall (1962) 95

[34] J M Steele, The Bohnenblust–Spitzer algorithm and its applications\rm, Probabilistic methods in combinatorics and combinatorial optimization, J. Comput. Appl. Math. 142 (2002) 235

[35] J L Tollefson, N Wang, Taut normal surfaces, Topology 35 (1996) 55

[36] G S Walsh, Great circle links and virtually fibered knots, Topology 44 (2005) 947

[37] J Weeks, SnapPea