Heegaard splittings and virtually Haken Dehn filling

Handlebody-preserving finite group actions on Haken manifolds with Heegaard genus two

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.

Haken spheres for genus two Heegaard splittings

A manifold which admits a reducible genus-$2$ Heegaard splitting is one of the $3$-sphere, $S^2 \times S^1$, lens spaces or their connected sums. For each of those splittings, the complex of Haken spheres is defined. When the manifold is the $3$-sphere, $S^2 \times S^1$ or the connected sum whose summands are lens spaces or $S^2 \times S^1$, the combinatorial structure of the complex has been studied by several authors. In particular, it was shown that those complexes are all contractible. In this work, we study the remaining cases, that is, when the manifolds are lens spaces. We give a precis…

Handlebody-preserving finite group actions on Haken manifolds with Heegaard genus two - II

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.

One-sided Heegaard splittings of non-Haken 3-manifolds

This paper has been withdrawn by the author, as the proof of Theorem 3.2 contains a flaw; subsequently, both it and Theorem 3.3 are not known to hold. The content of Section 5 has been improved and expanded upon in two separate papers. The structural properties in 5.1 and 5.2 appear in arXiv:1101.2603; the classification in 5.3 in arxiv:1101.2890. Please refer to Proposition 4.4 in the former as a reference for arXiv:0807.4795v1.

Effective Finiteness of irreducible Heegaard splittings of non Haken 3-manifolds

The main result is a short effective proof of Tao Li's theorem that a closed non Haken hyperbolic 3-manifold N has at most finitely many irreducible Heegaard splittings.

Combinatorial Dehn surgery on cubed and Haken 3-manifolds

A combinatorial condition is obtained for when immersed or embedded incompressible surfaces in compact 3-manifolds with tori boundary components remain incompressible after Dehn surgery. A combinatorial characterisation of hierarchies is described. A new proof is given of the topological rigidity theorem of Hass and Scott for 3-manifolds containing immersed incompressible surfaces, as found in cubings of non-positive curvature.

通过薄位置证明强哈肯定理

Strong Haken via Thin Position

本文利用 Heegaard 分裂的薄位置给出哈肯引理和强哈肯定理的新证明，并重新表述 Casson–Gordon 定理，揭示弱可约 Heegaard 分裂关于不可压缩曲面的额外结构。

The virtual Haken conjecture: Experiments and examples

A 3-manifold is Haken if it contains a topologically essential surface. The Virtual Haken Conjecture says that every irreducible 3-manifold with infinite fundamental group has a finite cover which is Haken. Here, we discuss two interrelated topics concerning this conjecture. First, we describe computer experiments which give strong evidence that the Virtual Haken Conjecture is true for hyperbolic 3-manifolds. We took the complete Hodgson-Weeks census of 10,986 small-volume closed hyperbolic 3-manifolds, and for each of them found finite covers which are Haken. There are interesting and unexpla…

Parity criterion and Dehn twists for unstabilized Heegaard splittings

We give a parity condition of a Heegaard diagram to show that it is unstabilized. This improves the result of [5]. As an application, we construct unstabilized Heegaard splittings by Dehn twists on any given Heegaard splitting.

Small 3-manifolds with large Heegaard distance

We construct examples of closed non-Haken hyperbolic 3-manifolds with a Heegaard splitting of arbitrarily large distance.

Heegaard Floer groups of Dehn surgeries

We use an algorithm by Ozsvath and Szabo to find closed formulae for the ranks of the hat version of the Heegaard Floer homology groups for non-zero Dehn surgeries on knots in the 3-sphere. As applications we provide new bounds on the number of distinct ranks of the Heegaard Floer groups a Dehn surgery can have. These in turn give a new lower bound on the rational Dehn surgery genus of a rational homology 3-sphere. We also provide novel obstructions for a knot to be a potential counterexample to the Cabling Conjecture.

通过球面复形证明强 Haken 定理

Strong Haken via Sphere Complexes

本文通过球面复形给出了 Scharlemann 强 Haken 定理的简短证明，并证明了分离出 S^2 × S^1 求和项的 3-流形 M 的任意 Heegaard 分裂限制为该求和项上的标准 Heegaard 分裂。

The Heegaard structure of Dehn filled manifolds

We expect manifolds obtained by Dehn filling to inherit properties from the knot manifold. To what extent does that hold true for the Heegaard structure? We study four changes to the Heegaard structure that may occur after filling: (1) Heegaard genus decreases, (2) a new Heegaard surface is created, (3) a non-stabilized Heegaard surface destabilizes, and (4) two or more non-isotopic Heegaard surfaces become isotopic. We survey general results that give quite satisfactory restrictions to phenomena (1) and (2) and, in a parallel thread, give a complete classification of when all four phenomena o…

High Distance Heegaard Splittings via Dehn Twists

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.

一个强的Haken定理

A Strong Haken's Theorem

本文推广了Haken定理，证明了对于紧致可定向3-流形，约化球面可直接作为Heegaard分裂的约化球面，无需1-手术操作。

Haken定理中的唯一性

Uniqueness in Haken's Theorem

本文研究Heegaard曲面在相交于单个圆时的定位唯一性，证明两种不同定位可通过同痕、推过稳定对及眼镜扭转序列相互转换。

双曲Heegaard分裂与Dehn扭转

Hyperbolic Heegaard splittings and Dehn twists

该研究针对满足pared非柱性的曲线粘合的亏格≥2的Heegaard分裂，证明当n≥14时，这类分裂具有双曲度量，对应Dehn扭转的闭曲线为特定长度的闭测地线，丰富了三维流形几何拓扑的相关结论。

Obtaining genus 2 Heegaard splittings from Dehn surgery

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…

Bridge number, Heegaard genus and non-integral Dehn surgery

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.

Heegaard Floer genus bounds for Dehn surgeries on knots

We provide a new obstruction for a rational homology 3-sphere to arise by Dehn surgery on a given knot in the 3-sphere. The obstruction takes the form of an inequality involving the genus of the knot, the surgery coefficient, and a count of L-structures on the 3-manifold, that is spin-c structures with the simplest possible associated Heegaard Floer group. Applications include an obstruction for two framed knots to yield the same 3-manifold, an obstruction that is particularly effective when working with families of framed knots. We introduce the rational and integral Dehn surgery genera for a…

Virtually Haken fillings and semi-bundles

Suppose that M is a fibered three-manifold whose fiber is a surface of positive genus with one boundary component. Assume that M is not a semi-bundle. We show that infinitely many fillings of M along dM are virtually Haken. It follows that infinitely many Dehn-surgeries of any non-trivial knot in the three-sphere are virtually Haken.

Heegaard splittings, the virtually Haken conjecture and Property tau

We examine three key conjectures in 3-manifold theory: the virtually Haken conjecture, the positive virtual b_1 conjecture and the virtually fibred conjecture. We explore the interaction of these conjectures with the following seemingly unrelated areas: eigenvalues of the Laplacian, and Heegaard splittings. We first give a necessary and sufficient condition, in terms of spectral geometry, for a finitely presented group to have a finite index subgroup with infinite abelianisation. For negatively curved 3-manifolds, we show that this is equivalent to a statement about generalised Heegaard splitt…

Asymmetric hyperbolic L-spaces, Heegaard genus, and Dehn filling

An L-space is a rational homology 3-sphere with minimal Heegaard Floer homology. We give the first examples of hyperbolic L-spaces with no symmetries. In particular, unlike all previously known L-spaces, these manifolds are not double branched covers of links in S^3. We prove the existence of infinitely many such examples (in several distinct families) using a mix of hyperbolic geometry, Floer theory, and verified computer calculations. Of independent interest is our technique for using interval arithmetic to certify symmetry groups and non-existence of isometries of cusped hyperbolic 3-manifo…

Mapping cone formula in Heegaard Floer homology and Dehn surgery on knots in $S^3$

We write down an explicit formula for the $+$ version of the Heegaard Floer homology (as an absolutely graded vector space over an arbitrary field) of the results of Dehn surgery on a knot $K$ in $S^3$ in terms of homological data derived from $CFK^{\infty}(K)$. This allows us to prove some results about Dehn surgery on knots in $S^3$. In particular, we show that for a fixed manifold there are only finitely many alternating knots that can produce it by surgery. This is an improvement on a recent result by Lackenby and Purcell. We also derive a lower bound on the genus of knots depending on the…

Heegaard splittings of the form H + nK

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.

One-sided and two-sided Heegaard splittings

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.

Explicit Dehn filling and Heegaard splittings

We prove an explicit, quantitative criterion that ensures the Heegaard surfaces in Dehn fillings behave "as expected." Given a cusped hyperbolic manifold X, and a Dehn filling whose meridian and longitude curves are longer than 2pi(2g-1), we show that every genus g Heegaard splitting of the filled manifold is isotopic to a splitting of the original manifold X. The analogous statement holds for fillings of multiple boundary tori. This gives an effective version of a theorem of Moriah-Rubinstein and Rieck-Sedgwick.

Thin position for incompressible surfaces in 3-manifolds

In this paper, we give an algorithm to build all compact orientable atoroidal Haken 3-manifolds with tori boundary or closed orientable Haken 3-manifolds, so that in both cases, there are embedded closed orientable separating incompressible surfaces which are not tori. Next, such incompressible surfaces are related to Heegaard splittings. For simplicity, we focus on the case of separating incompressible surfaces, since non-separating ones have been extensively studied. After putting the surfaces into Morse position relative to the height function associated to the Heegaard splittings, a thin p…

Invariant Heegaard Surfaces in Manifolds with Involutions and the Heegaard Genus of Double Covers

Let M be a 3-manifold admitting a strongly irreducible Heegaard surface S and f:M \to M an involution. We construct an invariant Heegaard surface for M of genus at most 8 g(S) - 7. As a consequence, given a (possibly branched) double cover π:M \to N we obtain the following bound on the Heegaard genus of N: g(N) \leq 4g(S) - 3. We also get a bound on the complexity of the branch set in terms of g(S). If we assume that M is non-Haken, by Casson and Gordon we may replace g(S) by g(M) in all the statements above.

Generalized handlebody sets and non-Haken 3-manifolds

In the curve complex for a surface, a handlebody set is the set of loops that bound properly embedded disks in a given handlebody bounded by the surface. A boundary set is the set of non-separating loops in the curve complex that bound two-sided, properly embedded surfaces. For a Heegaard splitting, the distance between the boundary sets of the handlebodies is zero if and only if the ambient manifold contains a non-separating, two sided incompressible surface. We show that the boundary set is 2-dense in the curve complex, i.e. every vertex is within two edges of a point in the boundary set.

Dehn Twists in Heegaard Floer Homology

We derive a new exact sequence in the hat-version of Heegaard Floer homology. As a consequence we see a functorial connection between the invariant of Legendrian knots and the contact element. As an application we derive two vanishing results of the contact element making it possible to easily read off its vanishing out of a surgery presentation in suitable situations.

Tori and Heegaard splittings

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…

Heegaard gradient of Seifert fibered 3-manifold

The infimal Heegaard gradient of a compact 3-manifold was defined and studied by Marc Lackenby in an approach toward the well-known virtually Haken conjecture. As instructive examples, we consider Seifert fibered 3-manifolds, and show that a Seifert fibered 3-manifold has zero infimal Heegaard gradient if and only if it virtually fibers over the circle or over a surface other than the 2-sphere. For a collection of finite coverings of a Seifert fibered 3-manifold, a necessary and sufficient condition to have zero infimal Heegaard gradient is also given.

Stabilization, amalgamation, and curves of intersection of Heegaard splittings

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…

Heegaard Floer手术公式与美容手术

Heegaard Floer Surgery Formula and Cosmetic Surgeries

本文利用Heegaard Floer同调公式，证明了特定结的美容手术系数必须大于1，并且非整数手术不会与原流形同胚。

Critical Heegaard Surfaces

In this paper we introduce "critical surfaces", which are described via a 1-complex whose definition is reminiscent of the curve complex. Our main result is that if the minimal genus common stabilization of a pair of strongly irreducible Heegaard splittings of a 3-manifold is not critical, then the manifold contains an incompressible surface. Conversely, we also show that if a non-Haken 3-manifold admits at most one Heegaard splitting of each genus, then it does not contain a critical Heegaard surface. In the final section we discuss how this work leads to a natural metric on the space of stro…

On the classification of Heegaard splittings

The long standing classification problem in the theory of Heegaard splittings of 3-manifolds is to exhibit for each closed 3-manifold a complete list, without duplication, of all its irreducible Heegaard surfaces, up to isotopy. We solve this problem for non Haken hyperbolic 3-manifolds.

Parity condition for irreducibility of Heegaard splittings

Casson and Gordon gave the rectangle condition for strong irreducibility of Heegaard splittings [1]. We give a parity condition for irreducibility of Heegaard splittings of irreducible manifolds. As an application, we give examples of non-stabilized Heegaard splittings by doing a single Dehn twist.

Degree one maps between small 3-manifolds and Heegaard genus

We prove a rigidity theorem for degree one maps between small 3-manifolds using Heegaard genus, and provide some applications and connections to Heegaard genus and Dehn surgery problems.

Disk complexes and genus two Heegaard splittings for non-prime 3-manifolds

Given a genus two Heegaard splitting for a non-prime 3-manifold, we define a special subcomplex of the disk complex for one of the handlebodies of the splitting, and then show that it is contractible. As applications, first we show that the complex of Haken spheres for the splitting is contractible, which refines the results of Lei and Lei-Zhang. Secondly, we classify all the genus two Heegaard splittings for non-prime 3-manifolds, which is a generalization of the result of Montesinos-Safont. Finally, we show that the mapping class group of the splitting, called the Goeritz group, is finitely …

Non-separating spheres and twisted Heegaard Floer homology

If a 3--manifold $Y$ contains a non-separating sphere, then some twisted Heegaard Floer homology of $Y$ is zero. This simple fact allows us to prove several results about Dehn surgery on knots in such manifolds. Similar results have been proved for knots in $L$--spaces.

Berge's distance 3 pairs of genus 2 Heegaard splittings

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.

Small surfaces and Dehn filling

We give a summary of known results on the maximal distances between Dehn fillings on a hyperbolic 3-manifold that yield 3-manifolds containing a surface of non-negative Euler characteristic that is either essential or Heegaard.

边界Dehn扭转的纽结Floer同调

Knot Floer homology of boundary Dehn twists

本文证明纽结Floer复形及翻转映射限制可确定Borromean纽结$\pm 1$手术的对偶纽结，进而表明Heegaard Floer同调能检测边界Dehn扭转。

Surface bundles with genus two Heegaard splittings

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…

Incompressible one-sided surfaces in even fillings of Figure 8 knot space

In the closed, non-Haken, hyperbolic class of examples generated by (2p,q) Dehn fillings of Figure 8 knot space, the geometrically incompressible one-sided surfaces are identified by the filling ratio p/q and determined to be unique in all cases. When applied to one-sided Heegaard splittings, this can be used to classify all geometrically incompressible splittings in this class of closed, hyperbolic examples; no analogous classification exists for two-sided Heegaard splittings.

Arc complexes, sphere complexes and Goeritz groups

We show that if a Heegaard splitting is obtained by gluing a splitting of Hempel distance at least 4 and the genus-1 splitting of $S^2 \times S^1$, then the Goeritz group of the splitting is finitely generated. To show this, we first provide a sufficient condition for a full subcomplex of the arc complex for a compact orientable surface to be contractible, which generalizes the result by Hatcher that the arc complexes are contractible. We then construct infinitely many Heegaard splittings, including the above-mentioned Heegaard splitting, for which suitably defined complexes of Haken spheres a…

3-Manifolds with irreducible Heegaard splittings of high genus

Non-isotopic Heegaard splittings of non-minimal genus were known previously only for very special 3-manifolds. We show in this paper that they are in fact a wide spread phenomenon in 3-manifold theory: We exhibit a large class of knots and manifolds obtained by Dehn surgery on these knots which admit such splittings. Many of the manifolds have irreducible Heegaard splittings of arbitrary large genus. All these splittings are horizontal and are isotopic, after one stabilization, to a multiple stabilization of certain canonical low genus vertical Heegaard splittings.

Heegaard splittings and 1-relator groups

We show that if $M$ is a fibered, orientable 3-manifold, and if $π_1 M$ has 1-relator presentation, then the presentation is induced by a Heegaard splitting of $M$. A corollary is that, for these manifolds, the rank of $π_1 M$ is equal to the "restricted" Heegaard genus of $M$. We also explore the analogy between 1-relator groups and Haken 3-manifolds, showing that every 1-relator group possesses a "1-relator hierarchy".

Incompressible surfaces, hyperbolic volume, Heegaard genus and homology

We show that if M is a complete, finite-volume, hyperbolic 3-manifold having exactly one cusp, and if H_1(M;Z_2) has dimension at least 6, then M has volume greater than 5.06. We also show that if M is a closed, orientable hyperbolic 3-manifold such that H_1(M;Z_2) has dimension at least 4, and if the image of the cup product map in H^2(M;Z_2) has dimension at most 1, then M has volume greater than 3.08. The proofs of these geometric results involve new topological results relating the Heegaard genus of a closed Haken manifold M to the Euler characteristic of the kishkes (i.e guts) of the comp…

Heegaard splittings and the pants complex

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.

Virtually Haken surgeries on once-punctured torus bundles

We describe a class $\mathcal{C}$ of punctured torus bundles such that, for each $M \in \mathcal{C}$, all but finitely many Dehn fillings on $M$ are virtually Haken. We show that $\mathcal{C}$ contains infinitely many commensurability classes, and we give evidence that $\mathcal{C}$ includes representatives of ``most'' commensurability classes of punctured torus bundles. In particular, we define an integer-valued complexity function on monodromies $f$ (essentially the length of the LR-factorization of $f_*$ in $PSL_2(\mathbb{Z})$), and use a computer to show that if the monodromy of $M$ has co…

Problems around 3-manifolds

This is a personal view of some problems on minimal surfaces, Ricci flow, polyhedral geometric structures, Haken 4-manifolds, contact structures and Heegaard splittings, singular incompressible surfaces after the Hamilton-Perelman revolution.

几乎L空间纽结的$CFK^\infty$类型

The $CFK^\infty$ Type of Almost L-space Knots

本文研究几乎L空间纽结，通过分类其$CFK^\infty$类型，证明其满足多种拓扑性质，并给出新的电缆链环检测结果。