arXiv subjects
Publications and source records attributed to Saul Schleimer.
Suppose that a three-manifold M contains infinitely many distinct strongly irreducible Heegaard splittings H + nK, obtained by Haken summing the surface H with n copies of the surface K. We show that K is incompressible. All known examples, of manifolds containing infinitely many irreducible Heegaard splittings, are of this form. We also give new examples of such manifolds.
We prove that the three-sphere recognition problem lies in the complexity class NP. Our work relies on Thompson's original proof that the problem is decidable [Math. Res. Let., 1994], Casson's version of her algorithm, and recent results of Agol, Hass, and Thurston [ArXiv, 2002].
A Heegaard splitting of a closed, orientable three-manifold satisfies the disjoint curve property if the splitting surface contains an essential simple closed curve and each handlebody contains an essential disk disjoint from this curve [Thompson, 1999]. A splitting is full if it does not have the disjoint curve property. This paper shows that in a closed, orientable three-manifold all splittings of sufficiently large genus have the disjoint curve property. From this and a solution to the generalized Waldhausen conjecture it would follow that any closed, orientable three manifold contains only finitely many full splittings.
The authors prove that for a closed surface of genus at least 3, the graph of pants decompositions has only one end.
J. Hempel's definition of the distance of a Heegaard surface generalizes to a complexity for a knot which is in bridge position with respect to a Heegaard surface. Our main result is that the distance of a knot in bridge position is bounded above by twice the genus, plus the number of boundary components, of an essential surface in the knot complement. As a consequence knots constructed via sufficiently high powers of pseudo-Anosov maps have minimal bridge presentations which are thin.
This paper studies Heegaard splittings of surface bundles via the curve complex of the fibre. The translation distance of the monodromy is the smallest distance it moves any vertex of the curve complex. We prove that the translation distance is bounded above in terms of the genus of any strongly irreducible Heegaard splitting. As a consequence, if a splitting surface has small genus compared to the translation distance of the monodromy, the splitting is standard.
A surface automorphism is strongly irreducible if every essential simple closed curve in the surface has nontrivial geometric intersection with its image. We show that a three-manifold admits only finitely many inequivalent surface bundle structures with strongly irreducible monodromy.
If a tangle, K, in the 3-ball has no planar, meridional, essential surfaces in its exterior then thin position for K has no thin levels.
We present the mathematical background of a software package that computes triangulations of mapping tori of surface homeomorphisms, suitable for Jeff Weeks's program SnapPea. It consists of two programs. jmt computes triangulations and prints them in a human-readable format. jsnap converts this format into SnapPea's triangulation file format and may be of independent interest because it allows for quick and easy generation of input for SnapPea. As an application, we obtain a new solution to the restricted conjugacy problem in the mapping class group.