arXiv subjects
Publications and source records attributed to Ryan Derby-Talbot.
We show that {\sc Heegaard Genus $\leq g$}, the problem of deciding whether a triangulated 3-manifold admits a Heegaard splitting of genus less than or equal to $g$, is NP-hard. The result follows from a quadratic time reduction of the NP-complete problem {\sc CNF-SAT} to {\sc Heegaard Genus $\leq g$}.
A topologically minimal surface may be isotoped into a normal form with respect to a fixed triangulation. If the intersection with each tetrahedron is simply connected, then the pieces of this normal form are triangles, quadrilaterals, and helicoids. Helical pieces can have any number of positive or negative twists. We show here that the net twisting of the helical pieces of any such surface in a given triangulated 3-manifold is bounded.
Let $M$ be a 3-manifold with torus boundary components $T_1$ and $T_2$. Let $ϕ\colon T_1 \to T_2$ be a homeomorphism, $M_ϕ$ the manifold obtained from $M$ by gluing $T_1$ to $T_2$ via the map $ϕ$, and $T$ the image of $T_1$ in $M_ϕ$. We show that if $ϕ$ is "sufficiently complicated" then any incompressible or strongly irreducible surface in $M_ϕ$ can be isotoped to be disjoint from $T$. It follows that every Heegaard splitting of a 3-manifold admitting a "sufficiently complicated" JSJ decomposition is an amalgamation of Heegaard splittings of the components of the JSJ decomposition.
We show that after generic filling along a torus boundary component of a 3-manifold, no two closed, 2-sided, essential surfaces become isotopic, and no closed, 2-sided, essential surface becomes inessential. That is, the set of essential surfaces (considered up to isotopy) survives unchanged in all suitably generic Dehn fillings. Furthermore, for all but finitely many non-generic fillings, we show that two essential surfaces can only become isotopic in a constrained way.
We show that a strongly irreducible and boundary-strongly irreducible surface can be isotoped to be almost normal in a triangulated 3-manifold.
We survey known (and unknown) results about the behavior of Heegaard genus of 3-manifolds constructed via various gluings. The constructions we consider are (1) gluing together two 3-manifolds with incompressible boundary, (2) gluing together the boundary components of surface times I, and (3) gluing a handlebody to the boundary of a 3-manifold. We detail those cases in which it is known when the Heegaard genus is less than what is expected after gluing.
We address a special case of the Stabilization Problem for Heegaard splittings, establishing an upper bound on the number of stabilizations required to make a Heegaard splitting of a Haken 3-manifold isotopic to an amalgamation along an essential surface. As a consequence we show that for any positive integer $n$ there are 3-manifolds containing an essential torus and a Heegaard splitting such that the torus and splitting surface must intersect in at least $n$ simple closed curves. These give the first examples of lower bounds on the minimum number of curves of intersection between an essential surface and a Heegaard surface that are greater than one.
We find a geometric invariant of isotopy classes of strongly irreducible Heegaard splittings of toroidal 3-manifolds. Combining this invariant with a theorem of R Weidmann, proved here in the appendix, we show that a closed, totally orientable Seifert fibered space M has infinitely many isotopy classes of Heegaard splittings of the same genus if and only if M has an irreducible, horizontal Heegaard splitting, has a base orbifold of positive genus, and is not a circle bundle. This characterizes precisely which Seifert fibered spaces satisfy the converse of Waldhausen's conjecture.
Let $T$ be a separating incompressible torus in a 3-manifold $M$. Assuming that a genus $g$ Heegaard splitting $V \cup_S W$ can be positioned nicely with respect to $T$ (e.g. $V \cup_S W$ is strongly irreducible), we obtain an upper bound on the number of stabilizations required for $V \cup_S W$ to become isotopic to a Heegaard splitting which is an amalgamation along $T$. In particular, if $T$ is a canonical torus in the JSJ decomposition of $M$, then the number of necessary stabilizations is at most $4g-4$. As a corollary, this establishes an upper bound on the number of stabilizations required for $V \cup_S W$ and any Heegaard splitting obtained by a Dehn twist of $V \cup_S W$ along $T$ to become isotopic.
We show that after one stabilization, a strongly irreducible Heegaard splitting of suitably large genus of a graph manifold is isotopic to an amalgamation along a modified version of the system of canonical tori in the JSJ decomposition. As a corollary, two strongly irreducible Heegaard splittings of a graph manifold of suitably large genus are isotopic after at most one stabilization of the higher genus splitting.