It has been shown elsewhere that a strongly irreducible Heegaard splitting surface Q of a compact orientable 3-manifold M can, under reasonable side conditions, intersect a ball or a solid torus in M in only a few possible ways. Here we extend those results to describe how Q can intersect a handlebody in M.
Let $M$ be a closed orientable 3-manifold with a genus two Heegaard splitting $(V_1, V_2; F)$ and a non-trivial JSJ-decomposition, where all components of the intersection of the JSJ-tori and $V_i$ are not $\partial$-parallel in $V_i$ for $i=1,2$. If $G$ is a finite group of orientation-preserving diffeomorphisms acting on $M$ which preserves each handlebody of the Heegaard splitting and each piece of the JSJ-decomposition of $M$, then $G\cong \mathbb{Z}_2$ or $\mathbb{D}_2$ if $V_j\cap(\cup T_i)$ consists of at most two disks or at most two annuli.
Let $M$ be a closed orientable 3-manifold with a genus two Heegaard splitting $(V_1, V_2; F)$ and a non-trivial JSJ-decomposition, where all components of the intersection of the JSJ-tori and $V_i$ are not $\partial$-parallel in $V_i$ for $i=1,2$. If $G$ is a finite group of orientation-preserving smooth actions on $M$ which preserves each handlebody of the Heegaard splitting and each piece of the JSJ-decomposition of $M$, then $G\cong \mathbb{Z}_2$ or $\mathbb{D}_2$ unless $V_j\cap(\cup T_i)$ has three or more disk components for $j=1$ or 2.
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.
We construct infinitely many linearly independent quasi-homomorphisms on the mapping class group of a Riemann surface with genus at least two which vanish on a handlebody subgroup. As a corollary, we disprove a conjecture of Reznikov on bounded width in Heegaard splittings. Another corollary is that there are infinitely many linearly independent quasi-invariants on the Heegaard splittings of three-manifolds.
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 give a necessary and sufficient condition for a simple closed curve on the boundary of a genus two handlebody to decompose the handlebody into (torus with one boundary component times [0,1]. We use this condition to decide whether a simple closed curve on a genus two Heegaard surface is a GOF-knot (genus one fibered knot) which induces the Heegaard splitting. By using this, we determine the number and the positions with respect to the Heegaard splittings of GOF-knots in the 3-manifolds with reducible genus two Heegaard splittings. This is another proof of results of Morimoto and Baker.
School of Mathematical Sciences, East China Normal University(华东师范大学数学科学学院);School of Mathematical Sciences, Key Laboratory of MEA (Ministry of Education) & Shanghai Key Laboratory of PMMP, East China Normal University(华东师范大学数学科学学院、教育部MEA重点实验室与上海PMMP上海市重点实验室)
We construct simple curves from immersed curves in the setting of handlebodies and Heegaard splittings. We define a measure of complexity we call girth for closed curves in a handlebody. We extend this complexity to Heegaard splittings and pose a conjecture about all Heegaard splittings. We prove a test case of this conjecture. Let S be a compact surface embedded in the boundary of a handlebody H. Then the minimum girth over all curves in S can be achieved by a simple closed curve. We also present algorithms to compute the girth of curves and surfaces.
We study trivalent graphs in $S^{3}$ whose closed complement is a genus two handlebody. We show that such a graph, when put in thin position, has a simple (i. e. non-loop) level edge.
A specific set of 4g+1 elements is shown to generate the Goeritz group of the genus g+1 Heegaard splitting of a genus g handlebody. These generators are consistent with Powell's proposed generating set for the Goeritz group of the genus g+1 splitting of S^3. There are two proofs: one using purely classical techniques and one using thin position.
Let ${\mathcal H}$ be the group of isotopy classes of orientation preserving homeomorphisms of $S^3$ that preserve a Heegaard splitting of genus two. In this paper, we use a tree in the barycentric subdivision of the disk complex of a handlebody of the splitting to obtain a finite presentation of ${\mathcal H}$.
This paper studies the question of whether minimal genus Heegaard splittings of exterior spaces of knots which are connected sums are weakly reducible or not. Furthermore it is shown that the Heegaard splittings of the knots used by Morimoto to show that tunnel number can be sub-additive are all strongly irreducible. These are the first examples of strongly irreducible minimal genus Heegaard splittings of composite knots. We also give a characterization of when is a set of primitive annuli on a handlebody simultaneously primitive. This characterization is different from that given in [Go].
Scharlemann constructed a connected simplicial 2-complex $Γ$ with an action by the group ${\mathcal H_{2}}$ of isotopy classes of orientation preserving homeomorphisms of $S^3$ that preserve the isotopy class of an unknotted genus 2 handlebody $V$. In this paper we prove that the 2-complex $Γ$ is contractible. Therefore we get a finite presentation of ${\mathcal H_{2}}$.
We show that if $V^3$ is a handlebody in $\R^3$, with curves $J_1, ..., J_g \subset \partial V$ which are the attaching curves for a Heegaard splitting of a homology sphere, then there exists a homeomorphism $h\colon V \to V$ so that each of the curves $h(J_i)$ bounds an orientable surface in $\R^3 - int(V)$. This leads to a new characterization of homology spheres and also contradicts a remark of Haken (in 1969) regarding the Poincaré homology sphere.
Lei and Wu have given a description of the second homotopy group of a closed orientable 3-manifold in terms of the kernels of the epimorphisms from the fundamental group of a Heegaard splitting surface onto the fundamental groups of the two handlebody sides. In this note, we give a geometric derivation of this result and collect some observations about the relation between the various groups and the topology of the 3-manifold and the Heegaard splitting.
We consider finite group-actions on closed, orientable and nonorientable 3-manifolds M which preserve the two handlebodies of a Heegaard splitting of M of some genus g > 1 (maybe interchanging the two handlebodies). The maximal possible order of a finite group-action on a handlebody of genus g>1 is 12(g-1) in the orientation-preserving case and 24(g-1) in general, and the maximal order of a finite group preserving the Heegaard surface of a Heegaard splitting of genus g is 48(g-1). This defines a hierarchy for finite group-actions on 3-manifolds which we discuss in the present paper; we present…
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…
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 study the way a strongly irreducible Heegaard surface $Σ$ intersects a knot exterior $X$ embedded in a 3-manifold, and show that if $Σ\cap \partial X$ consists of simple closed curves which are essential in both $Σ$ and $\partial X$, then the intersection $X \cap Σ$ consists of meridional annuli only. As an application we show that when considering two Heegaard surfaces that intersect essentially and spinally (cf. Rubinstein and Shcarlemann) any embedded torus in the union of the two bounds a solid torus.
We consider a Heegaard splitting M=H_1 \cup_S H_2 of a 3-manifold M having an essential disk D in H_1 and an essential surface F in H_2 with |D \cap F|=1. (We require that boundary of F is in S when H_2 is a compressionbody with non-empty "minus" boundary.) Let F be a genus g surface with n boundary components. From S, we obtain a genus g(S)+2g+n-2 Heegaard splitting M=H'_1 \cup_S' H'_2 by cutting H_2 along F and attaching F \times [0,1] to H_1. As an application, by using a theorem due to Casson and Gordon, we give examples of 3-manifolds having two Heegaard splittings of distinct genera wher…
We show that under reasonable conditions, the spines of the handlebodies of a strongly irreducible Heegaard splitting will intersect a closed ball in a graph which is isotopic into the boundary of the ball. This is in some sense a generalization of the results by Scharlemann on how a strongly irreducible Heegaard splitting surface can intersect a ball.
Haken showed that the Heegaard splittings of reducible 3-manifolds are reducible, that is, a reducing 2-sphere can be found which intersects the Heegaard surface in a single simple closed curve. When the genus of the "interesting" surface increases from zero, more complicated phenomena occur. Kobayashi showed that if a 3-manifold $M^3$ contains an essential torus $T$, then it contains one which can be isotoped to intersect a strongly irreducible Heegaard splitting surface $F$ in a collection of simple closed curves which are essential in $T$ and in $F$. In general there is no global bound on t…
The mapping class group $MCG(Σ_g)$ of a surface of genus $g$ has a long-history in topology and group theory. More recently, the mapping class group $MCG(V_g)$ of a handlebody $V_g$ of genus $g$ has become an interesting topic in the study of $3$ manifolds, largely thanks to Heegaard splitting. While $MCG(V_g)$ can be regarded naturally as a sub group of $MCG(Σ_g)$, we could not find any complete proof of this fundamental theorem. It is the purpose of this paper that we give a rigorous proof of embedding of $MCG(V_g)$ into $MCG(V_g)$. The key step is: Any self-homeomorphism $f$ of handlebody $…
We offer a new proof that two closed oriented 4-manifolds are cobordant if their signatures agree, in the spirit of Lickorish's proof that all closed oriented 3-manifolds bound 4-manifolds. Where Lickorish uses Heegaard splittings we use trisections. In fact we begin with a subtle recasting of Lickorish's argument: Instead of factoring the gluing map for a Heegaard splitting as a product of Dehn twists, we encode each handlebody in a Heegaard splitting in terms of a Morse function on the surface and build the 4-manifold from a generic homotopy between the two functions. This extends up a dimen…
It is known that there are surface bundles of arbitrarily high genus which have genus two Heegaard splittings. The simplest examples are Seifert fibered spaces with the sphere as a base space, three exceptional fibers and which allow horizontal surfaces. We characterize the monodromy maps of all surface bundles with genus two Heegaard splittings and show that each is the result of integral Dehn surgery in one of these Seifert fibered spaces along loops where the Heegaard surface intersects a horizontal surface. (This type of surgery preserves both the bundle structure and the Heegaard splittin…
We show that if an orientable Seifert fibered space $M$ with an orientable genus $g$ base space admits a strongly irreducible horizontal Heegaard splitting then there is a one-to-one correspondence between isotopy classes of strongly irreducible horizontal Heegaard splittings and elements of $\mathbf{Z}^{2g}$. The correspondence is determined by the slopes of intersection of each Heegaard splitting with a collection of $2g$ incompressible tori in $M$. We also show that there are Seifert fibered spaces with infinitely many non-isotopic Heegaard splittings that determine Nielsen equivalent gener…
Given a stabilized Heegaard splitting of a $3$-manifold, the primitive disk complex for the splitting is the subcomplex of the disk complex for a handlebody in the splitting spanned by the vertices of the primitive disks. In this work, we study the structure of the primitive disk complex for the genus two Heegaard splitting of each lens space. In particular, we show that the complex for the genus two splitting for the lens space $L(p, q)$ with $1\leq q \leq p/2$ is connected if and only if $p \equiv \pm 1 \pmod q$, and describe the combinatorial structure of each of those complexes. As an appl…
We show there exists a linear function w: N->N with the following property. Let K be a hyperbolic knot in a hyperbolic 3-manifold M admitting a non-longitudinal S^3 surgery. If K is put into thin position with respect to a strongly irreducible, genus g Heegaard splitting of M then K intersects a thick level at most 2w(g) times. Typically, this shows that the bridge number of K with respect to this Heegaard splitting is at most w(g), and the tunnel number of K is at most w(g) + g-1.
A family of one-vertex triangulations of 3-manifolds, layered-triangulations, is defined. Layered-triangulations are first described for handlebodies and then extended to all 3-manifolds via Heegaard splittings. A complete and detailed analysis of layered-triangulations is given in the cases of the solid torus and lens spaces, including the classification of all normal and almost normal surfaces in these triangulations. Minimal layered-triangulations of lens spaces provide a common setting for new proofs of the classification of lens spaces admitting an embedded non orientable surface and the …
Let M be a closed 3-manifold with a given Heegaard splitting. We show that after a single stabilization, some core of the stabilized splitting has arbitrarily high distance with respect to the splitting surface. This generalizes a result of Minsky, Moriah, and Schleimer for knots in S^3. We also show that in the complex of curves, handlebody sets are either coarsely distinct or identical. We define the coarse mapping class group of a Heeegaard splitting, and show that if (S, V, W) is a Heegaard splitting of genus greater than or equal to 2, then the coarse mapping class group of (S,V,W) is iso…
A Heegaard splitting of an open 3-manifold is the partition of the manifold into two non-compact handlebodies which intersect on their common boundary. This paper proves several non-compact analogues of theorems about compact Heegaard splittings. The main theorem is: if N is a compact, connected, orientable 3-manifold with non-empty boundary, containing no S^2 components, and if M is obtained from N by removing the boundary then any two Heegaard splittings of M are properly ambient isotopic. This is a non-compact analogue of the classifications of splittings of (closed surface) x I and (closed…
A (1,1) knot K in a 3-manifold M is a knot that intersects each solid torus of a genus 1 Heegaard splitting of M in a single trivial arc. Choi and Ko developed a parameterization of this family of knots by a four-tuple of integers, which they call Schubert's normal form. This article presents an algorithm for constructing a doubly-pointed Heegaard diagram compatible with K, given a Schubert's normal form for K. The construction, coupled with results of Ozsváth and Szabó, provides a practical way to compute knot Floer homology groups for (1,1) knots. The construction uses train tracks, and its …
Given $(V_1,V_2)$ a Heegaard splitting of the complement of a composite knot $K=K_1# K_2$ in $S^3$, where $K_i, i=1,2$ are prime knots, we have a unique, up to isotopy, decomposing annulus $A$. When the intersection of $A$ and $V_1$ is a minimal collection of disks we study the components of $V_1-N(A)$ and show that at most one component is a 3-ball meeting $A$ in two disks. This is a crucial step in proving the conjecture that a necessary and sufficient condition for the tunnel number of a connected sum to be less than or equal to the sum of the tunnel numbers is that one of the knots has a H…
We show that any smooth, closed, oriented, connected 4--manifold can be trisected into three copies of $\natural^k (S^1 \times B^3)$, intersecting pairwise in 3--dimensional handlebodies, with triple intersection a closed 2--dimensional surface. Such a trisection is unique up to a natural stabilization operation. This is analogous to the existence, and uniqueness up to stabilization, of Heegaard splittings of 3--manifolds. A trisection of a 4--manifold $X$ arises from a Morse 2--function $G:X \to B^2$ and the obvious trisection of $B^2$, in much the same way that a Heegaard splitting of a 3--m…
We show that if two 3-manifolds with toroidal boundary are glued via a `sufficiently complicated' map then every Heegaard splitting of the resulting 3-manifold is weakly reducible. Additionally, if Z is a manifold obtained by gluing X and Y, two connected small manifolds with incompressible boundary, along a closed surface F. Then the genus g(Z) of Z is greater than or equal to 1/2(g(X)+g(Y)-2g(F)). Both results follow from a new technique to simplify the intersection between an incompressible surface and a strongly irreducible Heegaard splitting.
Given a Heegaard splitting of a three-manifold Y, we consider the SL(2,C) character variety of the Heegaard surface, and two complex Lagrangians associated to the handlebodies. We focus on the smooth open subset corresponding to irreducible representations. On that subset, the intersection of the Lagrangians is an oriented d-critical locus in the sense of Joyce. Bussi associates to such an intersection a perverse sheaf of vanishing cycles. We prove that in our setting, the perverse sheaf is an invariant of Y, i.e., it is independent of the Heegaard splitting. The hypercohomology of this sheaf …