The symplectic Floer homology HF_*(f) of a symplectomorphism f:S->S encodes data about the fixed points of f using counts of holomorphic cylinders in R x M_f, where M_f is the mapping torus of f. We give an algorithm to compute HF_*(f) for f a surface symplectomorphism in a pseudo-Anosov or reducible mapping class, completing the computation of Seidel's HF_*(h) for h any orientation-preserving mapping class.
Let M be a closed, connected and oriented 3-manifold. This article is the first of a five part series that constructs an isomorphism between the Heegaard Floer homology groups of M and the corresponding Seiberg-Witten Floer homology groups of M.
We prove that the Knot Floer homology group of a fibred knot of genus g in the Alexander grading 1-g is isomorphic to a version of the fixed point Floer homology of an area-preserving representative of the monodromy.
Various Seiberg-Witten Floer cohomologies are defined for a closed, oriented 3-manifold; and if it is the mapping torus of an area-preserving surface automorphism, it has an associated periodic Floer homology as defined by Michael Hutchings. We construct an isomorphism between a certain version of Seiberg-Witten Floer cohomology and the corresponding periodic Floer homology, and describe some immediate consequences.
Knot Floer homology is a knot invariant defined using holomorphic curves. In more recent work, taking cues from bordered Floer homology,the authors described another knot invariant, called "bordered knot Floer homology", which has an explicit algebraic and combinatorial construction. In the present paper, we extend the holomorphic theory to bordered Heegaard diagrams for partial knot projections, and establish a pairing result for gluing such diagrams, in the spirit of the pairing theorem of bordered Floer homology. After making some model calculations, we obtain an identification of a variant…
This is the last of five papers that construct an isomorphism between the Seiberg-Witten Floer homology and the Heegaard Floer homology of a given compact, oriented 3-manifold.
We develop a skein exact sequence for knot Floer homology, involving singular knots. This leads to an explicit, algebraic description of knot Floer homology in terms of a braid projection of the knot.
Using the combinatorial approach to Heegaard Floer homology we obtain a relatively easy formula for computation of hat Heegaard Floer homology for the three-manifold obtained by rational surgery on a knot K inside a homology sphere Y.
This is the fourth of five papers that construct an isomorphism between the Seiberg-Witten Floer homology and the Heegaard Floer homology of a given compact, oriented 3-manifold. The isomorphism is given as a composition of three isomorphisms; the first of these relates a version of embedded contact homology on an an auxillary manifold to the Heegaard Floer homology on the original. The second isomorphism relates the relevant version of the embedded contact homology on the auxilliary manifold with a version of the Seiberg-Witten Floer homology on this same manifold. The third isomorphism relat…
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…
Let K \subset Y be a knot in a three manifold which admits a longitude-framed surgery such that the surgered manifold has first Betti number greater than that of Y. We find a formula which computes the twisted Floer homology of the surgered manifold, in terms of twisted knot Floer homology. Using this, we compute the twisted Heegaard Floer homology \underline{HF}^+ of the mapping torus of a diffeomorphism of a closed Riemann surface whose mapping class is periodic, giving an almost complete description of the structure of these groups. When the mapping class is nontrivial, we find in particula…
This paper is the sequel to "The equivalence of Heegaard Floer homology and embedded contact homology via open book decompositions I" and is devoted to proving some of the technical parts of the HF=ECH isomorphism.
This article is a survey on the authors' proof of the isomorphism between Heegaard Floer homology and embedded contact homology appeared in This article is a survey on the authors' proof of the isomorphism between Heegaard Floer homology and embedded contact homology appeared in arXiv:1208.1074, arXiv:1208.1077 and arXiv:1208.1526.
We show that if K is a non-trivial knot inside a homology sphere Y, then the rank of knot Floer homology associated with K is strictly bigger than the rank of Heegaard Floer homology of Y.
Knot Floer homology is an invariant for knots discovered by the authors and, independently, Jacob Rasmussen. The discovery of this invariant grew naturally out of studying how a certain three-manifold invariant, Heegaard Floer homology, changes as the three-manifold undergoes Dehn surgery along a knot. Since its original definition, thanks to the contributions of many researchers, knot Floer homology has emerged as a useful tool for studying knots in its own right. We give here a few selected highlights of this theory, and then move on to some new algebraic developments in the computation of k…
We show that the integer homology sphere obtained by splicing two nontrivial knot complements in integer homology sphere L-spaces has Heegaard Floer homology rank strictly greater than one. In particular, splicing the complements of nontrivial knots in the 3-sphere never produces an L-space. The proof uses bordered Floer homology.
Using the combinatorial approach to knot Floer homology, we define an invariant for Legendrian knots in the three-sphere, which takes values in link Floer homology. This invariant can be used to also construct an invariant of transverse knots.
Let $K$ be a null-homologous knot in a three-manifold $Y$. We give a description of the Heegaard Floer homology of integer surgeries on $Y$ along $K$ in terms of the filtered homotopy type of the knot invariant for $K$. As an illustration, we calculate the Heegaard Floer homology groups of non-trivial circle bundles over Riemann surfaces.
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 explain how to use bordered algebras to compute a version of link Floer homology. As a corollary, we also give a fast computation of the Thuston polytope for links in the three-sphere.
This is a survey of bordered Heegaard Floer homology, an extension of the Heegaard Floer invariant HF-hat to 3-manifolds with boundary. Emphasis is placed on how bordered Heegaard Floer homology can be used for computations.
In this paper we extend the idea of bordered Floer homology to knots and links in $S^3$: Using a specific Heegaard diagram, we construct gluable combinatorial invariants of tangles in $S^3$, $D^3$ and $I\times S^2$. The special case of $S^3$ gives back a stabilized version of knot Floer homology.
Let $K$ denote a knot inside the homology sphere $Y$. The zero-framed longitude of $K$ gives the complement of $K$ in $Y$ the structure of a bordered three-manifold, which may be denoted by $Y(K)$. We compute the quasi-isomorphism type of the bordered Floer complex of $Y(K)$ in terms of the knot Floer complex associated with $K$. As a corollary, we show that if a homology sphere has the same Heegaard Floer homology as $S^3$ it does not contain any incompressible tori. Consequently, if $Y$ is an irreducible homology sphere $L$-space then $Y$ is either $S^3$, or the Poicaré sphere $Σ(2,3,5)$, or…
Link Floer homology is an invariant for links defined using a suitable version of Lagrangian Floer homology. In an earlier paper, this invariant was given a combinatorial description with mod 2 coefficients. In the present paper, we give a self-contained presentation of the basic properties of link Floer homology, including an elementary proof of its invariance. We also fix signs for the differentials, so that the theory is defined with integer coefficients.
Given a spin$^c$ rational homology sphere $(Y,\mathfrak{s})$ with $\mathfrak{s}$ self-conjugate and for which the reduced monopole Floer homology $\mathit{HM}_{\bullet}(Y,\mathfrak{s})$ has rank one, we provide obstructions to the intersection forms of its Stein fillings which are not negative definite. The proof of this result (and of its natural generalizations we discuss) uses $\mathrm{Pin}(2)$-monopole Floer homology.
Ozsvath and Szabo proved that knot Floer homology determines the genera of knots in S^3. We will generalize this deep result to links in homology 3-spheres, by adapting their method. Our proof relies on a result of Gabai and some constructions related to foliations. We also interpret a theorem of Kauffman in the world of knot Floer homology, hence we can compute the top filtration term of the knot Floer homology for alternative links.
We introduce an extra filtration of $\CFK(Y,K)$ and use it in order to obtain formulas for Floer homology of $(Y,K)$, which is obtained from $(Y_i,K_i), i=1,2$ by gluing the knot complements on the framed torus boundaries.
We describe a new method for combinatorially computing the transverse invariant in knot Floer homology. Previous work of the authors and Stone used braid diagrams to combinatorially compute knot Floer homology of braid closures. However, that approach was unable to explicitly identify the invariant of transverse links that naturally appears in braid diagrams. In this paper, we improve the previous approach in order to compute the transverse invariant. We define a new combinatorial complex that computes knot Floer homology and identify the BRAID invariant of transverse knots and links in the ho…
The purpose of this mostly expository paper is to discuss a connection between Nielsen fixed point theory and symplectic Floer homology theory for symplectomorphisms of surface and a calculation of Seidel's symplectic Floer homology for different mapping classes. We also describe symplectic zeta functions and asympltotic symplectic invariant. A generalisation of the Poincare- Birkhoff fixed point theorem and Arnold conjecture is proposed.
We show that a certain involution on the well known homology sphere (the boundary of the Mazur manifold) induces a nontrivial homomorphism on its Heegard-Floer homology groups (recently defined by Ozsvath and Szabo). We discuss a possible application of this to constructing exotic smooth structures on 4-manifolds.
We derive symmetries and adjunction inequalities of the knot Floer homology groups which appear to be especially interesting for homologically essential knots. Furthermore, we obtain an adjunction inequality for cobordism maps in knot Floer homologies. We demonstrate the adjunction inequalities and symmetries in explicit calculations which recover some of the main results from [1] on longitude Floer homology and also give rise to vanishing results on knot Floer homologies. Furthermore, using symmetries we prove that the knot Floer homology of a fiber distinguishes $\stwo\times\sone$ from other…
In this paper, we construct a canonical grading on bordered Heegaard Floer homology by homotopy classes of nonvanishing vector fields. This grading is a generalization of our construction of an absolute grading on Heegaard Floer homology and it extends the well-known grading with values in a noncommutative group defined by Lipshitz-Ozsváth-Thurston.
Given an open book decomposition (S,h) adapted to a closed, oriented 3-manifold M, we define a chain map from a certain Heegaard Floer chain complex associated to (S,h) to a certain embedded contact homology chain complex associated to (S,h), as defined in arXiv:1008.2734, and prove that it induces an isomorphism on the level of homology. This implies the isomorphism between the hat version of Heegaard Floer homology of -M and the hat version of embedded contact homology of M.
Let $K$ be a rationally null-homologous knot in a three-manifold $Y$. We construct a version of knot Floer homology in this context, including a description of the Floer homology of a three-manifold obtained as Morse surgery on the knot $K$. As an application, we express the Heegaard Floer homology of rational surgeries on $Y$ along a null-homologous knot $K$ in terms of the filtered homotopy type of the knot invariant for $K$. This has applications to Dehn surgery problems for knots in $S^3$. In a different direction, we use the techniques developed here to calculate the Heegaard Floer homolo…
The periodic Floer homology of a surface symplectomorphism, defined by the first author and M. Thaddeus, is the homology of a chain complex which is generated by certain unions of periodic orbits, and whose differential counts certain embedded pseudoholomorphic curves in R cross the mapping torus. It is conjectured to recover the Seiberg-Witten Floer homology of the mapping torus for most spin-c structures, and is related to a variant of contact homology. In this paper we compute the periodic Floer homology of some Dehn twists.
This paper provides an introduction to the basics of Heegaard Floer homology with some emphasis on the hat theory and to the contact geometric invariants in the theory. The exposition is designed to be comprehensible to people without any prior knowledge of the subject.
The main goal of this paper is to discuss a symplectic interpretation of Lipshitz, Ozsvath and Thurston's bordered Heegaard-Floer homology in terms of Fukaya categories of symmetric products and Lagrangian correspondences. More specifically, we give a description of the algebra A(F) which appears in the work of Lipshitz, Ozsvath and Thurston in terms of (partially wrapped) Floer homology for product Lagrangians in the symmetric product, and outline how bordered Heegaard-Floer homology itself can conjecturally be understood in this language.
This is the first of five papers that construct an isomorphism between the embedded contact homology and Seiberg-Witten Floer cohomology of a compact 3-manifold with a given contact 1-form. This paper describes what is involved in the construction.
We consider symplectic Floer homology in the lowest nontrivial dimension, that is to say, for area-preserving diffeomorphisms of surfaces. Particular attention is paid to the quantum cap product; we show that it distinguishes the trivial element of the mapping class group from any nontrivial one.
We outline Hutchings's prescription that produces an ECH analog of Latschev and Wendl's algebraic $k$-torsion in the context of $ech$, a variant of ECH used in a proof of the isomorphism between Heegaard Floer and Seiberg-Witten Floer homologies; and we explain how it translates into Heegaard Floer homology.
Given a closed oriented 3-manifold M, we establish an isomorphism between the Heegaard Floer homology group HF^+(-M) and the embedded contact homology group ECH(M). Starting from an open book decomposition (S,h) of M, we construct a chain map Φ^+ from a Heegaard Floer chain complex associated to (S,h) to an embedded contact homology chain complex for a contact form supported by (S,h). The chain map Φ^+ commutes up to homotopy with the U-maps defined on both sides and reduces to the quasi-isomorphism Φfrom "The equivalence of Heegaard Floer homology and embedded contact homology I, II" on subco…
We exhibit pairs of transverse knots with the same self-linking number that are not transversely isotopic, using the recently defined knot Floer homology invariant for transverse knots and some algebraic refinements of it.
Giroux has described a correspondence between open book decompositions on a 3--manifold and contact structures. In this paper we use Heegaard Floer homology to give restrictions on contact structures which correspond to open book decompositions with planar pages, generalizing a recent result of Etnyre.
In joint work with Yang Huang, we defined a canonical absolute grading on Heegaard Floer homology by homotopy classes of oriented 2-plane fields. A similar grading was defined on embedded contact homology by Michael Hutchings. In this paper we show that the isomorphism between these homology theories defined by Colin-Ghiggini-Honda preserves this grading.
We iterate Manolescu's unoriented skein exact triangle in knot Floer homology with coefficients in the field of rational functions over $\mathbb{Z}/2\mathbb{Z}$. The result is a spectral sequence which converges to a stabilized version of delta-graded knot Floer homology. The $(E_2,d_2)$ page of this spectral sequence is an algorithmically computable chain complex expressed in terms of spanning trees, and we show that there are no higher differentials. This gives the first combinatorial spanning tree model for knot Floer homology.
We use Liu-Tian's virtual moduli cycle methods to construct detailedly the explicit isomorphism between Floer homology and quantum homology for any closed symplectic manifold that was first outlined by Piunikhin, Salamon and Schwarz for the case of the semi-positive symplectic manifolds.
Let K in S^3 be a knot, and let \widetilde{K} denote the preimage of K inside its double branched cover, Σ(K). We prove, for each integer n > 1, the existence of a spectral sequence from Khovanov's categorification of the reduced n-colored Jones polynomial of the mirror of K to the knot Floer homology of (Σ(K),\widetilde{K}) (when n odd) and to (S^3, K # K) (when n even). A corollary of our result is that Khovanov's categorification of the reduced n-colored Jones polynomial detects the unknot whenever n>1.
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.
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 construct the vortex Floer homology group $VHF (M,μ;H)$ for an aspherical Hamiltonian $G$-manifold $(M, ω)$ with moment map $μ$ and a class of $G$-invariant Hamiltonian loop $H_t$, following the proposal of [3]. This is a substitute for the ordinary Hamiltonian Floer homology of the symplectic quotient of $M$. We achieve the transversality of the moduli space by the classical perturbation argument instead of the virtual technique, so the homology can be defined over ${\mathbb Z}$ or ${\mathbb Z}_2$.
We consider Floer homology associated to a pair of closed Lagrangian submanifolds that satisfy a monotonicty assumption. If the Lagrangians intersect cleanly we decribe two spectral sequences which help to compute their Floer homology. The spectral sequences are constructed using a Morse-Bott version of Floer homology. We give a full treatment of the theory including orientations.
We show that the sutured Floer homology of a sutured 3-manifold of the form $(D^2 \times S^1, F \times S^1)$ can be expressed as the homology of a string-type complex, generated by certain sets of curves on $(D^2, F)$ and with a differential given by resolving crossings. We also give some generalisations of this isomorphism, computing "hat" and "infinity" versions of this string homology. In addition to giving interesting elementary facts about the algebra of curves on surfaces, these isomorphisms are inspired by, and establish further, connections between invariants from Floer homology and st…
This article is an exposition of a body of existing results, together with an announcement of recent results. We discuss a theory of polytopes associated to bipartite graphs and trinities, developed by Kálmán, Postnikov and others. This theory exhibits a variety of interesting duality and triality relations, and extends into knot theory, 3-manifold topology and Floer homology. In recent joint work with Kálmán, we extend this story into contact topology and contact invariants in sutured Floer homology.
We define combinatorial Floer homology of a transverse pair of noncontractibe nonisotopic embedded loops in an oriented 2-manifold without boundary, prove that it is invariant under isotopy, and prove that it is isomorphic to the original Lagrangian Floer homology.
