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.
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 review the use of grid diagrams in the development of Heegaard Floer theory. We describe the construction of the combinatorial link Floer complex, and the resulting algorithm for unknot detection. We also explain how grid diagrams can be used to show that the Heegaard Floer invariants of 3-manifolds and 4-manifolds are algorithmically computable (mod 2).
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.
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.
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.
We outline an interpretation of Heegaard-Floer homology of 3-manifolds (closed or with boundary) in terms of the symplectic topology of symmetric products of Riemann surfaces, as suggested by recent work of Tim Perutz and Yanki Lekili. In particular we discuss the connection between the Fukaya category of the symmetric product and the bordered algebra introduced by Robert Lipshitz, Peter Ozsvath and Dylan Thurston, and recast bordered Heegaard-Floer homology in this language.
This is the second 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. This paper describes this auxilliary manifold, its geometry, and the relationship between the generators of the embedded contact homology chain complex and those of the Heegaard Floer chain complex. The pseudoholom…
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.
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 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 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.
A cylindrical reformulation of Heegaard Floer homology
我们用圆柱流形Sigma x [0,1] x R中的全纯曲线重新表述Heegaard弗洛尔同调,其中Sigma是Heegaard曲面,而不是Sym^g(Sigma).然后,我们表明,整个不变性证明可以在我们的设置。在此过程中,我们推导出了Heegaard弗洛尔同调中dbar算子指数的新公式,并缩短了几个证明过程。在证明了不变性之后,我们证明了我们的构造等价于Ozsvath-Szabo的原始构造。最后,我们讨论的阐述Heegaard弗洛尔同调建议我们的建设,以及一个简短的讨论与C Taubes计划的关系。
This is the third 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. This paper describes the relationship between the differential on the embedded contact homology chain complex and the differential on the Heegaard Floer chain complex. The paper also describes the relationship betwe…
We show that an infinite family of contractible 4-manifolds have the same boundary as a special type of plumbing. Consequently their Ozsvath--Szabo invariants can be calculated algorithmically. We run this algorithm for the first few members of the family and list the resulting Heegaard--Floer homologies. We also show that the rank of the Heegaard--Floer homology can get arbitrary large values in this family by using its relation with the Casson invariant. For comparison, we list the ranks of Floer homologies of all the examples of Briekorn spheres that are known to bound contractible manifold…
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 give combinatorial descriptions of the Heegaard Floer homology groups for arbitrary three-manifolds (with coefficients in Z/2). The descriptions are based on presenting the three-manifold as an integer surgery on a link in the three-sphere, and then using a grid diagram for the link. We also give combinatorial descriptions of the mod 2 Ozsvath-Szabo mixed invariants of closed four-manifolds, in terms of grid diagrams.
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.
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 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.
For a closed oriented 3-manifold Y, we define an absolute grading on the Heegaard Floer homology groups of Y by homotopy classes of oriented 2-plane fields. We show that this absolute grading refines the relative one and that it is compatible with the maps induced by cobordisms. We also prove that if ξ is a contact structure on Y, then the grading of the contact invariant c(ξ) is the homotopy class of ξ.
Let A be a dg algebra over F_2 and let M be a dg A-bimodule. We show that under certain technical hypotheses on A, a noncommutative analog of the Hodge-to-de Rham spectral sequence starts at the Hochschild homology of the derived tensor product of M with itself and converges to the Hochschild homology of M. We apply this result to bordered Heegaard Floer theory, giving spectral sequences associated to Heegaard Floer homology groups of certain branched and unbranched double covers.
Let a contact 3-manifold $(Y, ξ_0)$ be the link of a normal surface singularity equipped with its canonical contact structure $ξ_0$. We prove a special property of such contact 3-manifolds of "algebraic" origin: the Heegaard Floer invariant $c^+(ξ_0)\in HF^+(-Y)$ cannot lie in the image of the $U$-action on $HF^+(-Y)$. It follows that Karakurt's "height of $U$-tower" invariants are always 0 for canonical contact structures on singularity links, which contrasts the fact that the height of $U$-tower can be arbitrary for general fillable contact structures. Our proof uses the interplay between th…
In this paper we prove another pairing theorem for bordered Floer homology. Unlike the original pairing theorem, this one is stated in terms of homomorphisms, not tensor products. The present formulation is closer in spirit to the usual TQFT framework, and allows a more direct comparison with Fukaya-categorical constructions. The result also leads to various dualities in bordered Floer homology.
We define invariants of null--homologous Legendrian and transverse knots in contact 3--manifolds. The invariants are determined by elements of the knot Floer homology of the underlying smooth knot. We compute these invariants, and show that they do not vanish for certain non--loose knots in overtwisted 3--spheres. Moreover, we apply the invariants to find transversely non--simple knot types in many overtwisted contact 3--manifolds.
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.
Bordered Heegaard Floer homology is a three-manifold invariant which associates to a surface F an algebra A(F) and to a three-manifold Y with boundary identified with F a module over A(F). In this paper, we establish naturality properties of this invariant. Changing the diffeomorphism between F and the boundary of Y tensors the bordered invariant with a suitable bimodule over A(F). These bimodules give an action of a suitably based mapping class group on the category of modules over A(F). The Hochschild homology of such a bimodule is identified with the knot Floer homology of the associated op…
Bordered Heegaard Floer homology is an invariant for 3-manifolds, which associates to a surface F an algebra A(Z), and to a 3-manifold Y with boundary, together with an orientation-preserving diffeomorphism ϕfrom F to \bdy Y, a module over A(Z). We study the Grothendieck group of modules over A(Z), and define an invariant lying in this group for every bordered 3-manifold. We prove that this invariant recovers the kernel of the inclusion of H_1(\bdy Y; Z) into H_1(Y; Z) if H_1(Y, \bdy Y; Z) is finite, and is 0 otherwise. We also study the properties of this invariant corresponding to gluing. As…
We define an invariant of contact structures in dimension three from Heegaard Floer homology. This invariant takes values in the set $\mathbb{Z}_{\geq0}\cup\{\infty\}$. It is zero for overtwisted contact structures, $\infty$ for Stein fillable contact structures, non-decreasing under Legendrian surgery, and computable from any supporting open book decomposition. As an application, we obstruct Stein fillability on contact 3-manifolds with non-vanishing Ozsváth-Szabó contact class.
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…