We define sutured Heegaard diagrams for null-homologous knots in 3-manifolds. These diagrams are useful for computing the knot Floer homology at the top filtration level. As an application, we give a formula for the knot Floer homology of a Murasugi sum. Our result echoes Gabai's earlier works. We also show that for so-called 'semifibred' satellite knots, the top filtration term of the knot Floer homology is isomorphic to the counterpart of the companion.
Suppose H is an admissible Heegaard diagram for a balanced sutured manifold (M,γ). We prove that the number of generators of the associated sutured Heegaard Floer complex is an upper bound on the dimension of the sutured instanton homology of (M,γ). It follows, in particular, that strong L-spaces are instanton L-spaces.
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 show that all versions of Heegaard Floer homology, link Floer homology, and sutured Floer homology are natural. That is, they assign concrete groups to each based 3-manifold, based link, and balanced sutured manifold, respectively. Furthermore, we functorially assign isomorphisms to (based) diffeomorphisms, and show that this assignment is isotopy invariant. The proof relies on finding a simple generating set for the fundamental group of the "space of Heegaard diagrams," and then showing that Heegaard Floer homology has no monodromy around these generators. In fact, this allows us to give s…
We describe an invariant of a contact 3-manifold with convex boundary as an element of Juhász's sutured Floer homology. Our invariant generalizes the contact invariant in Heegaard Floer homology in the closed case, due to Ozsváth and Szabó. This version has some clarifications and new figures.
Suppose $(M, γ)$ is a balanced sutured manifold and $K$ is a rationally null-homologous knot in $M$. It is known that the rank of the sutured Floer homology of $M\backslash N(K)$ is at least twice the rank of the sutured Floer homology of $M$. This paper studies the properties of $K$ when the equality is achieved for instanton homology. As an application, we show that if $L\subset S^3$ is a fixed link and $K$ is a knot in the complement of $L$, then the instanton link Floer homology of $L\cup K$ achieves the minimum rank if and only if $K$ is the unknot in $S^3\backslash L$.
We show that if a surgery on a knot in a product sutured manifold yields the same product sutured manifold, then this knot is a 0-- or 1--crossing knot. The proof uses techniques from sutured manifold theory.
We study the sutured Floer homology invariants of the sutured manifold obtained by cutting a knot complement along a Seifert surface, R. We show that these invariants are finer than the "top term" of the knot Floer homology, which they contain. In particular, we use sutured Floer homology to distinguish two non-isotopic minimal genus Seifert surfaces for the knot 8_3. A key ingredient for this technique is finding appropriate Heegaard diagrams for the sutured manifold associated to the complement of a Seifert surface.
These are lecture notes from a series of lectures at the SMF summer school on "Geometric and Quantum Topology in Dimension 3", June 2014. The focus is on Heegaard Floer homology from the perspective of sutured Floer homology.
In this paper we construct a Floer-homology invariant for a natural and wide class of sutured manifolds that we call balanced. This generalizes the Heegaard Floer hat theory of closed three-manifolds and links. Our invariant is unchanged under product decompositions and is zero for nontaut sutured manifolds. As an application, an invariant of Seifert surfaces is given and is computed in a few interesting cases.
In this paper, we generalize the work of the second author and prove a grading shifting property, in sutured monopole and instanton Floer theories, for general balanced sutured manifolds. This result has a few consequences. First, we offer an algorithm that computes the Floer homologies of a family of sutured handle-bodies. Second, we obtain a canonical decomposition of sutured monopole and instanton Floer homologies and build polytopes for these two theories, which was initially achieved by Juhász for sutured (Heegaard) Floer homology. Third, we establish a Thurston-norm detection result for …
We define the action of the homology group $H_1(M,\partial M)$ on the sutured Floer homology $SFH(M,γ)$. It turns out that the contact invariant $EH(M,γ,ξ)$ is usually sent to zero by this action. This fact allows us to refine an earlier result proved by Ghiggini and the author. As a corollary, we classify knots in $#^n(S^1\times S^2)$ which have simple knot Floer homology groups: They are essentially the Borromean knots.
We construct maps on hat Heegaard Floer homology for cobordisms decorated with graphs. The graph TQFT allows for cobordisms with disconnected ends. Our construction uses Juhász's sutured Floer TQFT. We compute the maps for several elementary graph cobordisms. As an application, we compute the action of the fundamental group on hat Heegaard Floer homology.
We exhibit the first example of a knot in the three-sphere with a pair of minimal genus Seifert surfaces that can be distinguished using the sutured Floer homology of their complementary manifolds together with the Spin^c-grading. This answers a question of Juhász. More precisely, we show that the Euler characteristic of the sutured Floer homology of the complementary manifolds distinguishes between the two surfaces, as does the sutured Floer polytope introduced by Juhász. Actually, we exhibit an infinite family of knots with pairs of Seifert surfaces that can be distinguished by the Euler cha…
In this paper we find a family of knots with trivial Alexander polynomial, and construct two non-isotopic Seifert surfaces for each member in our family. In order to distinguish the surfaces we study the sutured Floer homology invariants of the sutured manifolds obtained by cutting the knot complements along the Seifert surfaces. Our examples provide the first use of sutured Floer homology, and not merely its Euler characteristic(a classical torsion), to distinguish Seifert surfaces. Our technique uses a version of Floer homology, called Longitude Floer Homology in a way that enables us to byp…
Sutured manifolds defined by Gabai are useful in the geometrical study of knots and 3-dimensional manifolds. On the other hand, homology cylinders are in an important position in the recent theory of homology cobordisms of surfaces and finite-type invariants. We study a relationship between them by focusing on sutured manifolds associated with a special class of knots which we call {\it homologically fibered knots}. Then we use invariants of homology cylinders to give applications to knot theory such as fibering obstructions, Reidemeister torsions and handle numbers of homologically fibered kn…
We use technology from sutured manifold theory and the theory of Heegaard splittings to relate genus reducing crossing changes on knots in S^3 to twists on surfaces arising in circular Heegaard splittings for knot complements. In a separate paper, currently in preparation, we prove that these circular Heegaard splittings may be searched for algorithmically, and together our results imply that an algorithm to detect when two hyperbolic or fibered knots of different genus are related by a crossing change would follow from an algorithm to determine whether two compact oriented surfaces in S^3 are…
In this brief note, we give an explicit sequence of Heegaard moves interpolating between local versions of the Kauffman-states Heegaard diagram and the planar Heegaard diagram used in knot Floer homology, and show how these local moves can be used to go between the global versions of the Heegaard diagrams.
It has been a central open problem in Heegaard Floer theory whether cobordisms of links induce homomorphisms on the associated link Floer homology groups. We provide an affirmative answer by introducing a natural notion of cobordism between sutured manifolds, and showing that such a cobordism induces a map on sutured Floer homology. This map is a common generalization of the hat version of the closed 3-manifold cobordism map in Heegaard Floer theory, and the contact gluing map defined by Honda, Kazez, and Matić. We show that sutured Floer homology, together with the above cobordism maps, forms…
We review some recent results in knot concordance and homology cobordism. The proofs rely on various forms of Heegaard Floer homology. We also discuss related open problems.
Using contact-geometric techniques and sutured Floer homology, we present an alternate formulation of the minus and plus version of knot Floer homology. We further show how natural constructions in the realm of contact geometry give rise to much of the formal structure relating the various versions of Heegaard Floer homology. In addition, to a Legendrian or transverse knot K in a contact manifold (Y,ξ), we associate distinguished classes EHL(K) in the minus-version of knot floer homology and EHIL(K) in the plus version, which are each invariant under Legendrian or transverse isotopies of K. Th…
We introduce a contact invariant in the bordered sutured Heegaard Floer homology of a three-manifold with boundary. The input for the invariant is a contact manifold $(M, ξ, \mathcal{F})$ whose convex boundary is equipped with a signed singular foliation $\mathcal{F}$ closely related to the characteristic foliation. Such a manifold admits a family of foliated open book decompositions classified by a Giroux Correspondence, as described in earlier work of Licata and Vértesi. We use a special class of foliated open books to construct admissible bordered sutured Heegaard diagrams and identify well…
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.
In this paper, we extend the theory of sutured Floer homology developed by the author. We first prove an adjunction inequality, and then define a polytope P(M,g) in H^2(M,\partial M; R) that is spanned by the Spin^c-structures which support non-zero Floer homology groups. If (M,g) --> (M',g') is a taut surface decomposition, then a natural map projects P(M',g') onto a face of P(M,g); moreover, if H_2(M) = 0, then every face of P(M,g) can be obtained in this way for some surface decomposition. We show that if (M,g) is reduced, horizontally prime, and H_2(M) = 0, then P(M,g) is maximal dimension…
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].
Let $K_1, K_2$ be two knots with $t(K_1)+t(K_2)>2$ and $t(K_1 # K_2)=2$. Then, in the present paper, we will show that any genus three Heegaard splittings of $E(K_1 # K_2)$ is strongly irreducible and that $E(K_1 # K_2)$ has at most four genus three Heegaard splittings up to homeomorphism. Moreover, we will give a complete classification of those four genus three Heegaard splittings and show unknotting tunnel systems of knots $K_1 # K_2$ corresponding to those Heegaard splittings.
We prove that if a fibered knot $K$ with genus greater than one in a three-manifold $M$ has a sufficiently complicated monodromy, then $K$ induces a minimal genus Heegaard splitting $P$ that is unique up to isotopy, and small genus Heegaard splittings of $M$ are stabilizations of $P$. We provide a complexity bound in terms of the Heegaard genus of $M$. We also provide global complexity bounds for fibered knots in the three-sphere and lens spaces.
Sutured instanton Floer homology was introduced by Kronheimer and Mrowka. In this paper, we prove that for a taut balanced sutured manifold with vanishing second homology, the dimension of the sutured instanton Floer homology provides a bound on the minimal depth of all possible taut foliations on that balanced sutured manifold. The same argument can be adapted to the monopole and even the Heegaard Floer settings, which gives a partial answer to one of Juhasz's conjectures. Using the nature of instanton Floer homology, on knot complements, we can construct a taut foliation with bounded depth, …
Little is known on the classification of Heegaard splittings for hyperbolic 3-manifolds. Although Kobayashi gave a complete classification of Heegaard splittings for the exteriors of 2-bridge knots, our knowledge of other classes is extremely limited. In particular, there are very few hyperbolic manifolds that are known to have a unique minimal genus splitting. Here we demonstrate that an infinite class of hyperbolic knot exteriors, namely exteriors of certain "twisted torus knots" originally studied by Morimoto, Sakuma and Yokota, have a unique minimal genus Heegaard splitting of genus two. W…
Let K be a knot embedded in a Heegaard surface S for a closed orientable 3-manifold M. We define K-stable equivalence between pairs (S, K) and (S', K) in M, and we prove that any two pairs are K-stably equivalent in M if they have the same surface slope.
In this paper, we show that, for each non-trivial two bridge knot K and for each g > 2, every genus g Heegaard splitting of the exterior E(K) of K is reducible.
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}
The $\mathbb{Z}_{2}$-equivariant Heegaard Floer cohomlogy $\widehat{HF}_{\mathbb{Z}_{2}}(Σ(K))$ of a knot $K$ in $S^{3}$, constructed by Hendricks, Lipshitz, and Sarkar, is an isotopy invariant which is defined using bridge diagrams of $K$ drawn on a sphere. We prove that $\widehat{HF}_{\mathbb{Z}_{2}}(Σ(K))$ can be computed from knot Heegaard diagrams of $K$ and show that it is a strong Heegaard invariant. As a topolocial application, we construct a transverse knot invariant $\hat{\mathcal{T}}_{\mathbb{Z}_{2}}(K)$ as an element of $\widehat{HFK}_{\mathbb{Z}_{2}}(Σ(K),K)$, which is a refinemen…
If the Bing double of a knot K is slice, then K is algebraically slice. In addition, Heegaard--Floer concordance invariants developed by Ozsvath-Szabo and by Manolescu-Owens vanish on K.
We consider the following question: when is the manifold obtained by gluing together two knot complements an $L$-space? Hedden and Levine proved that splicing 0-framed complements of nontrivial knots never produces an $L$-space. We extend this result to allow for arbitrary integer framings. We find that splicing two integer framed nontrivial knot complements only produces an $L$-space if both knots are $L$-space knots and the framings lie in an appropriate range. The proof involves a careful analysis of the bordered Heegaard Floer invariants of each knot complement.
Building off ideas developed by Agol, we construct a family of hyperbolic knots $K_n$ whose complements contain no closed incompressible surfaces and have Heegaard genus exactly $n$. These are the first known examples of small knots having large Heegaard genus. Using work of Futer and Purcell, we are able to bound the crossing number for each $K_n$ in terms of $n$.
In this paper we construct a sequence of integer-valued concordance invariants $ν_n(K)$ that generalize the Ozsváth-Szabó $ν$-invariant and the Hom-Wu $ν^+$-invariant.
We compute the Heegaard Floer homology of $S^3_1(K)$ (the (+1) surgery on the torus knot $T_{p,q}$) in terms of the semigroup generated by $p$ and $q$, and we find a compact formula (involving Dedekind sums) for the corresponding Ozsvath--Szabo d-invariant. We relate the result to known knot invariants of $T_{p,q}$ as the genus and the Levine--Tristram signatures. Furthermore, we emphasize the striking resemblance between Heegaard Floer homologies of (+1) and (-1) surgeries on torus knots. This relation is best seen at the level of $τ$ functions.
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 …
Let $K$ denote a knot inside the homology sphere $Y$ and $K'$ denote a knot inside a homology sphere $L$-space. Let $X=Y(K,K')$ denote the 3-manifold obtained by splicing the complements of $K$ and $K'$. We show that $\text{rank}(\widehat{HF}(X)) \ge \text{rank}(\widehat{HF}(Y))$.
In this article, we prove that a tunnel number two knot induces a critical Heegaard splitting in its exterior if there are two weak reducing pairs such that each weak reducing pair contains the cocore disk of each tunnel. Moreover, we prove that a connected sum of two 2-bridge knots or more generally that of two $(1,1)$-knots can induce a critical Heegaard splitting in its exterior as the examples of the main theorem. Finally, we give an equivalent condition for a weak reducing pair to be determined by a compressing disk uniquely when the manifold is closed, irreducible and the Heegaard splitt…
A knot K is called a 1-genus 1-bridge knot in a 3-manifold M if (M,K) has a Heegaard splitting (V_1,t_1)\cup (V_2,t_2) where V_i is a solid torus and t_i is a boundary parallel arc properly embedded in V_i. If the exterior of a knot has a genus 2 Heegaard splitting, we say that the knot has an unknotting tunnel. Naturally the exterior of a 1-genus 1-bridge knot K allows a genus 2 Heegaard splitting, i.e., K has an unknotting tunnel. But, in general, there are unknotting tunnels which are not derived form this procedure. Some of them may be levelled with the torus \partial V_1=\partial V_2, who…
This article is a standalone introduction to sutured Floer homology for graduate students in geometry and topology. It is divided into three parts. The first part is an introductory level exposition of Lagrangian Floer homology. The second part is a construction of Heegaard Floer homology as a special, and slightly modified, case of Lagrangian Floer homology. The third part covers the background on sutured manifolds, the definition of sutured Floer homology, as well as a discussion of its most basic properties and implications (it detects the product, behaves nicely under surface decomposition…
We use bordered Heegaard Floer homology to compute the tau invariant of a family of satellite knots obtained via twisted infection along two components of the Borromean rings, a generalization of Whitehead doubling. We show that tau of the resulting knot depends only on the two twisting parameters and the values of tau for the two companion knots. We also include some notes on bordered Heegaard Floer homology that may serve as a useful introduction to the subject.
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 define polynomial tangle invariants $\nabla_T^s$ via Kauffman states and Alexander codes and investigate some of their properties. In particular, we prove symmetry relations for $\nabla_T^s$ of 4-ended tangles and deduce that the multivariable Alexander polynomial is invariant under Conway mutation. The invariants $\nabla_T^s$ can be interpreted naturally via Heegaard diagrams for tangles. This leads to a categorified version of $\nabla_T^s$: a Heegaard Floer homology $\widehat{\operatorname{HFT}}$ for tangles, which we define as a bordered sutured invariant. We discuss a bigrading on $\wid…
Using a combinatorial approach described in a recent paper of Manolescu, Ozsváth, and Sarkar we compute the Heegaard-Floer knot homology of all knots with at most 12 crossings as well as the $τ$ invariant for knots through 11 crossings. We review the basic construction of \cite{MOS}, giving two examples that can be worked out by hand, and explain some ideas we used to simplify the computation. We conclude with a discussion of knot Floer homology for small knots, closely examining the Kinoshita-Teraska knot $KT_{2,1}$ and its Conway mutant.
Using the conjugation symmetry on Heegaard Floer complexes, we define a three-manifold invariant called involutive Heegaard Floer homology, which is meant to correspond to $\mathbb{Z}_4$-equivariant Seiberg-Witten Floer homology. Further, we obtain two new invariants of homology cobordism, $\underline{d}$ and $\bar{d}$, and two invariants of smooth knot concordance, $\underline{V}_0$ and $\overline{V}_0$. We also develop a formula for the involutive Heegaard Floer homology of large integral surgeries on knots. We give explicit calculations in the case of L-space knots and thin knots. In partic…
We prove that if $K_1 \subset M_1,...,K_n \subset M_n$ are m-small knots in closed orientable 3-manifolds then the Heegaard genus of $E(#_{i=1}^n K_i)$ is strictly less than the sum of the Heegaard genera of the $E(K_i)$ ($i=1,...,n$) if and only if there exists a proper subset $I$ of $\{1,...,n\}$ so that $#_{i \in I} K_i$ admits a primitive meridian. This generalizes the main result of Morimoto in \cite{morimoto1}.
These are the lecture notes for a course on Heegaard Floer homology held at PCMI in Summer 2019. We describe Heegaard diagrams, Heegaard Floer homology, knot Floer homology, and the relationship between the knot and 3-manifold invariants.
Given integers g_i > 1 (i=1,...,n) we prove that there exist infinitely may knots K_i in S^3 so that g(E(K_i)) = g_i and the Heegaard genus of the exterior of the connected sum of K_1,...,K_n is the sum the Heegaard genera of K_1,...,K_n, that is: g(E(K_1#...#K_n)) = g(E(K_1)) +...+ g(E(K_n)). (Here, E() denotes the exterior and g() the Heegaard genus.) Together with Theorem 1.5 of [1], this proves the existence of counterexamples to Morimoto's Conjecture (Conjecture 1.5 of [2]). [1] Tsuyoshi Kobayashi and Yo'av Rieck. On the growth rate of the tunnel number of knots. J. Reine Angew. Math., 59…
