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

By Nathan M. Dunfield, Dylan Thurston. 2005

47 citations recorded by the source corpus.

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.

Subfields: Condensed Matter Physics, Geometry and Topology, Mathematical Physics

View Paper: https://www.semanticscholar.org/paper/dc1ef8218e5781769986597c1bec91dea1793729

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

In Geometry and Topology

In Mathematical Physics

Citations in the corpus

Finite covers of random 3-manifolds (2005, background): “Recent work of the first author and Dylan Thurston shows a similar sharp divergence behavior with respect to fibering over the circle, where here a group “fibers” if is an algebraic mapping torus [ DT1 ].”