Let $M_1$ and $M_2$ be orientable irreducible 3--manifolds with connected boundary and suppose $\partial M_1\cong\partial M_2$. Let $M$ be a closed 3--manifold obtained by gluing $M_1$ to $M_2$ along the boundary. We show that if the gluing homeomorphism is sufficiently complicated, then $M$ is not homeomorphic to $S^3$ and all small-genus Heegaard splittings of $M$ are standard in a certain sense. In particular, $g(M)=g(M_1)+g(M_2)-g(\partial M_i)$, where $g(M)$ denotes the Heegaard genus of $M$. This theorem is also true for certain manifolds with multiple boundary components.
Critical surfaces are defined by Bachman as topological index 2 surfaces, generalizing incompressible surfaces and strongly irreducible surfaces. In this paper we give a condition to obtain critical Heegaard surfaces by amalgamation. As a special case, we obtain critical Heegaard surfaces by boundary stabilization. It gives critical Heegaard surfaces of non-minimal genus, for 3-manifolds which do not admit distinct Heegaard splittings (up to isotopy).
Critical surfaces can be regarded as topological index 2 minimal surfaces which was introduced by David Bachman. In this paper we give a sufficient condition and a necessary condition for self-amalgamated Heegaard surfaces to be critical.
Let M_1 and M_2 be compact, orientable 3-manifolds, and M the manifold obtained by gluing some component F of \bdy M_1 to some component of \bdy M_2 by a homeomorphism ϕ. We show that when ϕis "sufficiently complicated" then (1) the amalgamation of low genus, unstabilized, boundary-unstabilized Heegaard splittings of M_i is an unstabilized splitting of M, (2) every low genus, unstabilized Heegaard splitting of M can be expressed as an amalgamation of unstabilized, boundary-unstabilized splittings of M_i, and possibly a Type II splitting of F \times I, and (3) if there is no Type II splitting i…
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 essentia…
Let $M=W\cup_T V$ be an amalgamation of two compact 3-manifolds along a torus, where $W$ is the exterior of a knot in a homology sphere. Let $N$ be the manifold obtained by replacing $W$ with a solid torus such that the boundary of a Seifert surface in $W$ is a meridian of the solid torus. This means that there is a degree-one map $f\colon M\to N$, pinching $W$ into a solid torus while fixing $V$. We prove that $g(M)\ge g(N)$, where $g(M)$ denotes the Heegaard genus. An immediate corollary is that the tunnel number of a satellite knot is at least as large as the tunnel number of its pattern kn…
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.
We construct families of manifolds that have pairs of genus $g$ Heegaard splittings that must be stabilized roughly $g$ times to become equivalent. We also show that when two unstabilized, boundary-unstabilized Heegaard splittings are amalgamated by a "sufficiently complicated" map, the resulting splitting is unstabilized. As a corollary, we produce a manifold that has distance one Heegaard splittings of arbitrarily high genus. Finally, we show that in a 3-manifold formed by a sufficiently complicated gluing, a low genus, unstabilized Heegaard splitting can be expressed in a unique way as an a…
Let M be a totally orientable graph manifold with characteristic submanifold T and let M = V cup_S W be a Heegaard splitting. We prove that S is standard. In particular, S is the amalgamation of strongly irreducible Heegaard splittings. The splitting surfaces S_i of these strongly irreducible Heegaard splittings have the property that for each vertex manifold N of M, S_i cap N is either horizontal, pseudohorizontal, vertical or pseudovertical.
We give a combinatorial proof of a theorem first proved by Souto which says the following. Let M_1 and M_2 be simple 3-manifolds with connected boundary of genus g>0. If M_1 and M_2 are glued via a complicated map, then every minimal Heegaard splitting of the resulting closed 3-manifold is an amalgamation. This proof also provides an algorithm to find a bound on the complexity of the gluing map.
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.
Let M_1 and M_2 be compact, orientable 3-manifolds with incompressible boundary, and M the manifold obtained by gluing with a homeomorphism $ϕ:\bdy M_1 \to \bdy M_2$. We analyze the relationship between the sets of low genus Heegaard splittings of M_1, M_2, and M, assuming the map ϕis "sufficiently complicated." This analysis yields counter-examples to the Stabilization Conjecture, a resolution of the higher genus analogue of a conjecture of Gordon, and a result about the uniqueness of expressions of Heegaard splittings as amalgamations.
Let $M$ be an orientable, irreducible $3$-manifold admitting a weakly reducible genus three Heegaard splitting as a minimal genus Heegaard splitting. In this article, we prove that if $[f]$, $[g]\in Mod(M)$ give the same correspondence between two isotopy classes of generalized Heegaard splittings consisting of two Heegaard splittings of genus two, say $[\mathbf{H}]\to[\mathbf{H}']$, then there exists a representative $h$ of the difference $[h]=[g]\cdot[f]^{-1}$ such that (i) $h$ preserves a suitably chosen embedding of the Heegaard surface $F'$ obtained by amalgamation from $\mathbf{H}'$ whic…
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 requi…
We show that every irreducible toroidal integer homology sphere graph manifold has a left-orderable fundamental group. This is established by way of a specialization of a result due to Bludov and Glass for the almagamated products that arise, and in this setting work of Boyer, Rolfsen and Wiest may be applied. Our result then depends on input from 3-manifold topology and Heegaard Floer homology.
Let $M$ be a surface sum of 3-manifolds $M_1$ and $M_2$ along a bounded connected surface $F$ and $\partial_i$ be the component of $\partial M_i$ containing $F$. If $M_i$ has a high distance Heegaard splitting, then any minimal Heegaard splitting of $M$ is the amalgamation of those of $M^1, M^2$ and $M^*$, where $M^i=M_i\setminus\partial_i\times I$, and $M^{*}=\partial_1\times I\cup_{F} \partial_2\times I$. Furthermore, once both $\partial_i\setminus F$ are connected, then $g(M) = Min\bigl\{g(M_1)+g(M_2), α\bigr\}$, where $α= g(M_1) + g(M_2) + 1/2(2χ(F) + 2 - χ(\partial_1) - χ(\partial_2)) - M…
From the view of Heegaard splitting, it is known that if a closed orientable 3-manifold admits a distance at least three Heegaard splitting, then it is hyperbolic. However, for a closed orientable 3-manifold admitting only distance at most two Heegaard splittings, there are examples shows that it could be reducible, Seifert, toroidal or hyperbolic. According to Thurston's Geometrization conjecture, the most important piece of eight geometries is hyperbolic. Thus to read out a hyperbolic 3-manifold from a distance two Heegaard splittings is critical in studying Heegaard splittings. Inspired by …
We show that sub-surfaces of a Heegaard surface for which the relative Hempel distance of the splitting is sufficiently high have to appear in any Heegaard surface of genus bounded by half that distance.
We prove that the mapping class group of a Heegaard splitting with a distance of at least 3 is finite. However, we have constructed a counterexample with a distance of 2 that disproves this assertion. In addition, the fact that the mapping class group of a Heegaard splitting with a distance of at most 1 is infinite, when combined with our results, provides an answer to the question of the finiteness of mapping class groups as viewed from Heegaard distance.
We describe an example of a closed orientable 3-manifold with distinct distance three genus two Heegaard splittings. This demonstrates that the constructions of alternate genus two Heegaard splittings of closed orientable 3-manifolds described by Rubinstein and Scharlemann in their 1998 paper Genus Two Heegaard Splittings of Orientable 3-Manifolds, does not yield all alternate genus two splittings and must be augmented.
In this paper, we show that, for any integers $n\geq 2$ and $g\geq 2$, there exist genus-$g$ Heegaard splittings of compact 3-manifolds with distance exactly $n$.
We show that, for any integers, $g \geq 3$ and $n \geq 2$, there exists a link in $S^3$ such that its complement has a genus $g$ Heegaard splitting with distance $n$.
Following an example discovered by John Berge, we show that there is a 4-component link L \subset (S^1 x S^2)#(S^1 x S^2) so that, generically, the result of Dehn surgery on L is a 3-manifold with two inequivalent genus 2 Heegaard splittings, and each of these Heegaard splittings is of Hempel distance 3.
We show that if the Hempel distance of a Heegaard splitting is larger than three then the mapping class group of the Heegaard splitting is isomorphic to a subgroup of the mapping class group of the ambient 3-manifold. This implies that given two handlebody sets in the curve complex for a surface that are distance at least four apart, the group of automorphisms of the curve complex that preserve both handlebody sets is finite.
We define "fat" train tracks and use them to give a combinatorial criterion for the Hempel distance of Heegaard splittings for closed orientable 3-manifolds. We apply this criterion to 3-manifolds obtained from surgery on knots in the three sphere.
In 2001, J. Hempel proved the existence of Heegaard splittings of arbitrarily high distance by using a high power of a pseudo-Anosov map as the gluing map between two handlebodies. We show that lower bounds on distance can also be obtained when using a high power of a suitably chosen Dehn twist. In certain cases, we can then determine the exact distance of the resulting splitting. These results can be seen as a natural extension of work by A. Casson and C. Gordon in 1987 regarding strongly irreducible Heegaard splittings.
Kevin Hartshorn showed that if a three-dimensional manifold $M$ admits a Heegaard surface $Σ$ with Hempel distance $d$ then every incompressible surface in $M$ has genus at least $\frac{d}{2}$. Scharlemann-Tomova generalized this, proving that in such a manifold, every other Heegaard surface for $M$ of genus $g' < \frac{d}{2}$ is a stabilization of $Σ$. In the present paper, we show that Hartshorn's bound is sharp and Scharlemann-Tomova's bound is very close to sharp. In particular, for every pair of integers $g \geq 2, d \geq 2$, we construct a three-manifold $M$ with a genus $g$, distance $d…
In a previous paper we introduced a notion of "genericity" for countable sets of curves in the curve complex of a surface S, based on the Lebesgue measure on the space of projective measured laminations in S. With this definition we prove that for each fixed g > 1 the set of irreducible genus g Heegaard splittings of high distance is generic, in the set of all irreducible Heegaard splittings. Our definition of "genericity" is different and more intrinsic then the one given via random walks.
We give another proof of a theorem of Scharlemann and Tomova and of a theorem of Hartshorn. The two theorems together say the following. Let M be a compact orientable irreducible 3--manifold and P a Heegaard surface of M. Suppose Q is either an incompressible surface or a strongly irreducible Heegaard surface in M. Then either the Hempel distance d(P) <= 2 genus(Q) or P is isotopic to Q. This theorem can be naturally extended to bicompressible but weakly incompressible surfaces.
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.
We prove a theorem which bounds Heegaard genus from below under special kinds of toroidal amalgamations of $3$-manifolds. As a consequence, we conclude $t(K_1\# K_2)\geq \max\{t(K_1),t(K_2)\}$ for any pair of knots $K_1,K_2\subset S^3$, where $t(K)$ denotes the tunnel number of $K$.
Let $M=H_{+}\cup_{S} H_{-}$ be a genus $g$ Heegaard splitting with Heegaard distance $n\geq κ+2$: (1) Let $c_{1}$, $c_{2}$ be two slopes in the same component of $\partial_{-}H_{-}$, such that the natural Heegaard splitting $M^{i}=H_{+}\cup_{S} (H_{-}\cup_{c_{i}} 2-handle)$ has distance less than $n$, then the distance of $c_{1}$ and $c_{2}$ in the curve complex of $\partial_{-}H_{-}$ is at most $3\mathfrak{M}+2$, where $κ$ and $\mathfrak{M}$ are constants due to Masur-Minsky. (2) Let $M^{*}$ be the manifold obtained by attaching a collection of handlebodies $\mathscr{H}$ to $\partial_{-} H_{-…
Suppose $K$ is a knot in $S^3$ with bridge number $n$ and bridge distance greater than $2n$. We show that there are at most ${2n\choose n}$ distinct minimal genus Heegaard splittings of $S^3\setminusη(K)$. These splittings can be divided into two families. Two splittings from the same family become equivalent after at most one stabilization. If $K$ has bridge distance at least $4n$, then two splittings from different families become equivalent only after $n-1$ stabilizations. Further, we construct representatives of the isotopy classes of the minimal tunnel systems for $K$ corresponding to the…
In this paper, we prove that (1) For any integers $n\geq 1$ and $g\geq 2$, there is a closed 3-manifold $M_{g}^{n}$ which admits a distance $n$ Heegaard splitting of genus $g$ except that the pair of $(g, n)$ is $(2, 1)$. Furthermore, $M_{g}^{n}$ can be chosen to be hyperbolic except that the pair of $(g, n)$ is $(3, 1)$. (2) For any integers $g\geq 2$ and $n\geq 4$, there are infinitely many non-homeomorphic closed 3-manifolds admitting distance $n$ Heegaard splittings of genus $g$.
Let K be a knot in a closed orientable irreducible 3-manifold M and let P be a Heegaard splitting of the knot complement of genus at least two. Suppose Q is a bridge surface for K. Then either \begin{itemize} \item $d(P)\leq 2-χ(Q-K)$, or \item K can be isotoped to be disjoint from Q so that after the isotopy Q is a Heegaard surface for the knot exterior and is isotopic to a possibly stabilized copy of P. \end{itemize}
We define a notion of Hempel distance for one-sided Heegaard splittings and show that the existence of alternate surfaces restricts distance for one-sided splittings in a manner similar to Hartshorn's and Scharlemann-Tomova's results for two-sided splittings. We also show that every geometrically compressible one-sided Heegaard surface in a non-Haken 3-manifold is stabilized, and show that the mapping class group of the two-sided Heegaard splitting induced by a high distance one-sided splitting is isomorphic to the fundamental group of the one-sided surface.
We prove (Theorem~1.5) that there exists a constant $Λ> 0$ so that if $M$ is a $(μ,d)$-generic complete hyperbolic 3-manifold of volume $\vol[M] < \infty$ and $Σ\subset M$ is a Heegaard surface of genus $g(Σ) > Λ\vol[M]$, then $d(Σ) \leq 2$, where $d(Σ)$ denotes the distance of $Σ$ as defined by Hempel. The key for the proof of the main result is Theorem~1.8 which is on independent interest. There we prove that if $M$ is a compact 3-manifold that can be triangulated using at most $t$ tetrahedra (possibly with missing or truncated vertices), and $Σ$ is a Heegaard surface for $M$ with $g(Σ) \geq…
Suppose M is a compact orientable irreducible 3-manifold with Heegaard splitting surfaces P and Q. Then either Q is isotopic to a possibly stabilized copy of P or the Hempel distance of the splitting P is no greater than twice the genus of Q. More generally, if P and Q are bicompressible but weakly incompressible connected closed separating surfaces in M then either a) P and Q can be well-separated or b) P and Q are isotopic or c) the Hempel distance of P is no greater than twice the genus of Q.
This article is the author's contribution to the volume "Problems on mapping class groups and related topics" which will be published in December 2006, with Benson Farb as Editor. Various individuals were invited by Farb to submit open problems which seemed interesting to them about surface mapping class groups. We singled out a particular recent development, Hempel's concept of the `Heegaard distance' of an element in the mapping class group, and used it to describe a number of open questions which relate to the correspondence between Heegaard surfaces in 3-manifolds and the mapping class gro…
We show that if a Heegaard splitting is the result of stabilizing a high distance Heegaard splitting exactly once then its mapping class group is finitely generated.
We show that the number of stabilizations needed to interchange the handlebodies of a Heegaard splitting of a closed 3-manifold by an isotopy is bounded below by the smaller of twice its genus or half its Hempel distance. This is a combinatorial version of a proof by Hass, Thompson and Thurston of a similar theorem, but with an explicit bound in terms of distance. We also show that in a 3-manifold with boundary, the stable genus of a Heegaard splitting and a boundary stabilization of itself is bounded below by the same value.
We give an upper bound for the Reidemeister-Singer distance between two Heegaard splittings in terms of the genera and the number of cusp points of the product map of Morse functions for the splittings. It suggests that a certain development in singularity theory may lead to the best possible bound for the Reidemeister-Singer distance.
We give a simple criterion for a Heegaard splitting to yield a Haken manifold. As a consequence, we construct many Haken manifolds, in particular homology spheres, with prescribed properties, namely Heegaard genus, Heegaard distance and Casson invariant. Along the way we give simpler and shorter proofs of the existence of splittings with specified Heegaard distance, originally proven by Ido-Jang-Kobayashi, of the existence of hyperbolic manifolds with prescribed Casson invariant, originally due to Lubotzky-Maher-Wu, and of a result about subsurface projections of disc sets (for which we even g…
J Hempel [Topology, 2001] showed that the set of distances of the Heegaard splittings (S,V, h^n(V)) is unbounded, as long as the stable and unstable laminations of h avoid the closure of V in PML(S). Here h is a pseudo-Anosov homeomorphism of a surface S while V is the set of isotopy classes of simple closed curves in S bounding essential disks in a fixed handlebody. With the same hypothesis we show the distance of the splitting (S,V, h^n(V)) grows linearly with n, answering a question of A Casson. In addition we prove the converse of Hempel's theorem. Our method is to study the action of h on…
We show that if the monodromy of an open book decomposition has sufficiently high displacement distance, acting on the loop and arc complex for a page, then it is the unique minimal Euler characteristic open book for the manifold. In particular, we show that such an open book induces the unique (up to isotopy) minimal genus Heegaard surface for the manifold, and that this Heegaard surface has cyclic mapping class group.
We show that if $M$ is a closed three manifold with a Heegaard splitting with sufficiently big "handlebody distance" then the subgroup of the mapping class group of the Heegaard surface, which extend to both handlebodies is finite. As a corollary, this implies that under the same hypothesis, the mapping class group of $M$ is finite.
In this paper, by putting a separating incompressible surface in a 3-manifold into Morse position relative to the height function associated to a strongly irreducible Heegaard splitting, we show that an incompressible subsurface of the Heegaard splitting can be found, by decomposing the 3-manifold along the separating surface. Further if the Heegaard surface is of Hempel distance at least 4, then there is a pair of such subsurfaces on both sides of the given separating surface. This gives a particularly simple hierarchy for the 3-manifold.
We define integral measures of complexity for Heegaard splittings based on the graph dual to the curve complex and on the pants complex defined by Hatcher and Thurston. As the Heegaard splitting is stabilized, the sequence of complexities turns out to converge to a non-trivial limit depending only on the manifold. We then use a similar method to compare different manifolds, defining a distance which converges under stabilization to an integer related to Dehn surgeries between the two manifolds.
A gap in a paper of Rubinstein-Scharlemann is explored: new examples are found of closed orientable 3-manifolds with possibly multiple genus 2 Heegaard splittings. Properties common to all the examples in the original paper are not universally shared by the new examples: some of the new examples have Hempel distance 3, and it is not clear that a single stabilization always makes the multiple splittings isotopic.
We show if M is a closed, connected, orientable, hyperbolic 3-manifold with Heegaard genus g then g >= 1/2 cosh(r) where r denotes the radius of any isometrically embedded ball in M. Assuming an unpublished result of Pitts and Rubinstein improves this to g >= 1/2 cosh(r) + 1/2. We also give an upper bound on the volume in terms of the flip distance of a Heegaard splitting, and describe isoperimetric surfaces in hyperbolic balls.
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.
For a Heegaard surface F in a closed orientable 3-manifold M, H(M,F) = Diff(M)/Diff(M,F) is the space of Heegaard surfaces equivalent to the Heegaard splitting (M,F). Its path components are the isotopy classes of Heegaard splittings equivalent to (M,F). We describe H(M,F) in terms of Diff(M) and the Goeritz group of (M,F). In particular, for hyperbolic M each path component is a classifying space for the Goeritz group, and when the (Hempel) distance of (M,F) is greater than 3, each path component of H(M,F) is contractible. For splittings of genus 0 or 1, we determine the complete homotopy typ…
Let $P, Q$ be Heegaard surfaces of a closed orientable 3-manifold. In this paper, we introduce a method for giving an upper bound of Hempel distance of $P$ by using the Reeb graph derived from a certain horizontal arc in the ambient space $[0,1]\times[0,1]$ of the Rubinstein-Scharlemann graphic derived from $P$ and $Q$. This is a refinement of a part of Johnson's arguments used for determining stable genera required for flipping high distance Heegaard splittings.
We show that closed 3-manifolds with high Heegaard distance and bounded subsurface Heegaard distance are primitive stable when they are regarded as representations from the free group corresponding to the handlebody. This implies that any point on the boundary of Schottky space can be approximated by primitive stable representations corresponding to closed hyperbolic 3-manifolds.
Let K' be a hyperbolic knot in S^3 and suppose that some Dehn surgery on K' with distance at least 3 from the meridian yields a 3-manifold M of Heegaard genus 2. We show that if M does not contain an embedded Dyck's surface (the closed non-orientable surface of Euler characteristic -1), then the knot dual to the surgery is either 0-bridge or 1-bridge with respect to a genus 2 Heegaard splitting of M. In the case M does contain an embedded Dyck's surface, we obtain similar results. As a corollary, if M does not contain an incompressible genus 2 surface, then the tunnel number of K' is at most 2…
We show that for any given closed orientable 3-manifold M with a Heegaard surface of genus g, any positive integers b and n, there exists a knot K in M which admits a (g,b)-bridge splitting of distance greater than n with respect to the Heegaard surface except for (g,b) = (0,1), (0,2).
