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.
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.
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…
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 prove an excision theorem for the singular instanton Floer homology that allows the excision surfaces to intersect the singular locus. This is an extension of the non-singular excision theorem by Kronheimer and Mrowka and the genus-zero singular excision theorem by Street. We use the singular excision theorem to define an instanton Floer homology theory for sutured manifolds with tangles. As applications, we prove that the annular Khovanov homology (1) detects the unlink, (2) detects the closure of the trivial braid, and (3) distinguishes braid closures from other links; we also prove that …
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.
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.
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.
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, …
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.
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$.
Kronheimer and Mrowka defined invariants of balanced sutured manifolds using monopole and instanton Floer homology. Their invariants assign isomorphism classes of modules to balanced sutured manifolds. In this paper, we introduce refinements of these invariants which assign much richer algebraic objects called projectively transitive systems of modules to balanced sutured manifolds and isomorphisms of such systems to diffeomorphisms of balanced sutured manifolds. Our work provides the foundation for extending these sutured Floer theories to other interesting functorial frameworks as well, and …
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 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…
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 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…
This paper establishes a new technique that enables us to access some fundamental structural properties of instanton Floer homology. As an application, we establish, for the first time, a relation between the instanton Floer homology of a $3$-manifold or a null-homologous knot inside a $3$-manifold and the Heegaard diagram of that $3$-manifold or knot. We further use this relation to compute the instanton knot homology of some families of $(1,1)$-knots, including all torus knots in $S^3$, which were mostly unknown before. As a second application, we also study the relation between the instanto…
We discuss generalizations of Ozsvath-Szabo's spectral sequence relating Khovanov homology and Heegaard Floer homology, focusing attention on an explicit relationship between natural Z (resp., 1/2 Z) gradings appearing in the two theories. These two gradings have simple representation-theoretic (resp., geometric) interpretations, which we also review.
The purpose of this thesis is to define a "local" version of Ozsváth and Szabó's Heegaard Floer homology $\operatorname{\widehat{HFL}}$ for links in the 3-dimensional sphere, i.e. a Heegaard Floer homology $\operatorname{\widehat{HFT}}$ for tangles in the closed 3-ball. After studying basic properties of $\operatorname{\widehat{HFT}}$ and its decategorified tangle invariant $\nabla_T^s$, we prove a glueing theorem in terms of Zarev's bordered sutured Floer homology, which endows $\operatorname{\widehat{HFT}}$ with an additional glueing structure. For 4-ended tangles, we repackage this glueing …
We extend Perutz's Lagrangian matching invariants to 3-manifolds which are not necessarily fibred using the technology of holomorphic quilts. We prove an isomorphism of these invariants with Ozsvath-Szabo's Heegaard Floer invariants for certain extremal spin^c structures. As applications, we give new calculations of Heegaard Floer homology of certain classes of 3-manifolds, and a characterization of Juhasz's sutured Floer homology.
We define an invariant of contact 3-manifolds with convex boundary using Kronheimer and Mrowka's sutured monopole Floer homology theory (SHM). Our invariant can be viewed as a generalization of Kronheimer and Mrowka's contact invariant for closed contact 3-manifolds and as the monopole Floer analogue of Honda, Kazez, and Matić's contact invariant in sutured Heegaard Floer homology (SFH). In the process of defining our invariant, we construct maps on SHM associated to contact handle attachments, analogous to those defined by Honda, Kazez, and Matić in SFH. We use these maps to establish a bypas…
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 recently defined an invariant of contact manifolds with convex boundary in Kronheimer and Mrowka's sutured monopole Floer homology theory. Here, we prove that there is an isomorphism between sutured monopole Floer homology and sutured Heegaard Floer homology which identifies our invariant with the contact class defined by Honda, Kazez and Matić in the latter theory. One consequence is that the Legendrian invariants in knot Floer homology behave functorially with respect to Lagrangian concordance. In particular, these invariants provide computable and effective obstructions to the existence …
This work has two goals. The first is to provide a conceptual introduction to Heegaard Floer homology, the second is to survey the current state of the field, without aiming for completeness. After reviewing the structure of Heegaard Floer homology, we list some of its most important applications. Many of these are purely topological results, not referring to Heegaard Floer homology itself. Then, we briefly outline the construction of Lagrangian intersection Floer homology. We construct the Heegaard Floer chain complex as a special case of the above, and try to motivate the role of the various…
We establish a correspondence between trisections of smooth, compact, oriented $4$--manifolds with connected boundary and diagrams describing these trisected $4$--manifolds. Such a diagram comes in the form of a compact, oriented surface with boundary together with three tuples of simple closed curves, with possibly fewer curves than the genus of the surface, satisfying a pairwise standardness condition. This should be thought of as the $4$--dimensional analog of a sutured Heegaard diagram for a sutured $3$--manifold. We also give many foundational examples.
We show that bordered Heegaard Floer homology detects incompressible surfaces and bordered-sutured Floer homology detects partly boundary parallel tangles and bridges, in natural ways. For example, there is a bimodule Lambda so that the tensor product of CFD(Y) and Lambda is Hom-orthogonal to CFD(Y) if and only if the boundary of Y admits an essential compressing disk. In the process, we sharpen a nonvanishing result of Ni's. We also extend Lipshitz-Ozsváth-Thurston's "factoring" algorithm for computing HF-hat to compute bordered-sutured Floer homology, to make both results on detecting incomp…
Ozsvath and Szabo have established an algebraic relationship, in the form of a spectral sequence, between the reduced Khovanov homology of (the mirror of) a link L in S^3 and the Heegaard Floer homology of its double-branched cover. This relationship has since been recast by the authors as a specific instance of a broader connection between Khovanov- and Heegaard Floer-type homology theories, using a version of Heegaard Floer homology for sutured manifolds developed by Juhasz. In the present work we prove the naturality of the spectral sequence under certain elementary TQFT operations, using a…
We prove that a knot is the unknot if and only if its reduced Khovanov cohomology has rank 1. The proof has two steps. We show first that there is a spectral sequence beginning with the reduced Khovanov cohomology and abutting to a knot homology defined using singular instantons. We then show that the latter homology is isomorphic to the instanton Floer homology of the sutured knot complement: an invariant that is already known to detect the unknot.
We extend the theory of combinatorial link Floer homology to a class of oriented spatial graphs called transverse spatial graphs. To do this, we define the notion of a grid diagram representing a transverse spatial graph, which we call a graph grid diagram. We prove that two graph grid diagrams representing the same transverse spatial graph are related by a sequence of graph grid moves, generalizing the work of Cromwell for links. For a graph grid diagram representing a transverse spatial graph $f:G \rightarrow S^3$, we define a relatively bigraded chain complex (which is a module over a multi…
Suppose $Σ$ is a compact oriented surface (possibly with boundary) that has genus zero, and L is a link in the interior of $(-1,1)\timesΣ$. We prove that the Asaeda-Przytycki-Sikora (APS) homology of L has rank 2 if and only if L is isotopic to an embedded knot in $\{0\}\timesΣ$. As a consequence, the APS homology detects the unknot in $(-1,1)\timesΣ$. This is the first detection result for generalized Khovanov homology that is valid on an infinite family of manifolds, and it partially solves a conjecture in arxiv:2005.12863. Our proof is different from the previous detection results obtained …
We use SO(3) gauge theory to define a functor from a category of unoriented webs and foams to the category of finite-dimensional vector spaces over the field of two elements. We prove a non-vanishing theorem for this SO(3) instanton homology of webs, using Gabai's sutured manifold theory. It is hoped that the non-vanishing theorem may support a program to provide a new proof of the four-color theorem.
We recently defined invariants of contact 3-manifolds using a version of instanton Floer homology for sutured manifolds. In this paper, we prove that if several contact structures on a 3-manifold are induced by Stein structures on a single 4-manifold with distinct Chern classes modulo torsion then their contact invariants in sutured instanton homology are linearly independent. As a corollary, we show that if a 3-manifold bounds a Stein domain that is not an integer homology ball then its fundamental group admits a nontrivial homomorphism to SU(2). We give several new applications of these resu…
There have been a number of constructions of Lagrangian Floer homology invariants for $3$-manifolds defined in terms of symplectic character varieties arising from Heegaard splittings. With the aim of establishing an Atiyah-Floer counterpart of Kronheimer and Mrowka's singular instanton homology, we generalize one of these, due to H. Horton, to produce a Lagrangian Floer invariant of a knot or link $K \subset Y$ in a closed, oriented $3$-manifold, which we call symplectic instanton knot homology ($\mathrm{SIK}$). We use a multi-pointed Heegaard diagram to parametrize the gluing together of a p…
We show that if $Y$ is the boundary of an almost-rational plumbing, then the framed instanton Floer homology $\smash{I^\#(Y)}$ is isomorphic to the Heegaard Floer homology $\smash{\widehat{\mathit{HF}}(Y; \mathbb{C})}$. This class of 3-manifolds includes all Seifert fibered rational homology spheres with base orbifold $S^2$ (we establish the isomorphism for the remaining Seifert fibered rational homology spheres$\unicode{x2014}$with base $\mathbb{RP}^2$$\unicode{x2014}$directly). Our proof utilizes lattice homology, and relies on a decomposition theorem for instanton Floer cobordism maps recen…
We show that a large class of satellite operators are rank-expanding; that is, they map some rank-one subgroup of the concordance group onto an infinite linearly independent set. Our work constitutes the first systematic study of this property in the literature and partially affirms a conjecture of the second author and Pinzón-Caicedo. More generally, we establish a Floer-theoretic condition for a family of companion knots to have infinite-rank image under satellites from this class. The methods we use are amenable to patterns which act trivially in topological concordance and are capable of h…
We prove that Khovanov homology detects the trefoils. Our proof incorporates an array of ideas in Floer homology and contact geometry. It uses open books; the contact invariants we defined in the instanton Floer setting; a bypass exact triangle in sutured instanton homology, proven here; and Kronheimer and Mrowka's spectral sequence relating Khovanov homology with singular instanton knot homology. As a byproduct, we also strengthen a result of Kronheimer and Mrowka on $SU(2)$ representations of the knot group.
We define two concordance invariants of knots using framed instanton homology. These invariants $ν^\sharp$ and $τ^\sharp$ provide bounds on slice genus and maximum self-linking number, and the latter is a concordance homomorphism which agrees in all known cases with the $τ$ invariant in Heegaard Floer homology. We use $ν^\sharp$ and $τ^\sharp$ to compute the framed instanton homology of all nonzero rational Dehn surgeries on: 20 of the 35 nontrivial prime knots through 8 crossings, infinite families of twist and pretzel knots, and instanton L-space knots; and of 19 of the first 20 closed hyper…
We define an invariant of contact 3-manifolds with convex boundary using Kronheimer and Mrowka's sutured instanton Floer homology theory. To the best of our knowledge, this is the first invariant of contact manifolds -- with or without boundary -- defined in the instanton Floer setting. We prove that our invariant vanishes for overtwisted contact structures and is nonzero for contact manifolds with boundary which embed into Stein fillable contact manifolds. Moreover, we propose a strategy by which our contact invariant might be used to relate the fundamental group of a closed contact 3-manifol…