We extend the techniques in a previous paper to calculate the Heegaard Floer homology groups for fibered 3-manifolds M whose monodromy is a power of a Dehn twist about a genus-1 separating circle on a surface of genus g > 1. We only consider non-torsion Spin^c-structures on M.
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.
We consider a stabilized version of hat Heegaard Floer homology of a 3-manifold Y (i.e. the U=0 variant of Heegaard Floer homology for closed 3-manifolds). We give a combinatorial algorithm for constructing this invariant, starting from a Heegaard decomposition for Y, and give a combinatorial proof of its invariance properties.
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.
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.
We show that every 3--manifold admits a Heegaard diagram in which a truncated version of Heegaard Floer homology (when the holomorpic disks pass through the basepoints at most once) can be computed combinatorially.
We provide an intergral lift of the combinatorial definition of Heegaard Floer homology for nice diagrams, and show that the proof of independence using convenient diagrams adapts to this setting.
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 focus on L-spaces for which the boundary maps of the Heegaard Floer chain complexes vanish. We collect such manifolds systematically by using the smoothing order on links.
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 show that the graph TQFT for Heegaard Floer homology satisfies a strong version of Atiyah's duality axiom for a TQFT. As an application, we compute some Heegaard Floer mixed invariants of 4-dimensional mapping tori in terms of Lefschetz numbers on $HF^+$.
Motivated by a result of L.P. Roberts on rational blow-downs in Heegaard-Floer homology, we study such operations along 3-manifolds that arise as branched double covers of $S^{3}$ along several non-alternating, slice knots.
The earlier article tried to construct an algorithm to compute the Heegaard Floer homology \hat{HF}(Y) for a 3-manifold Y. However there is an error in a proof which the author, as of now, is unable to fix.
We present some non-trivial calculations of Baldwin-Ozsváth-Szabó cohomology of links, and applications to Heegaard-Floer homology of branched double covers.
Using bordered Floer theory, we give a combinatorial construction and proof of invariance for the hat version of Heegaard Floer homology. As a part of the proof, we also establish combinatorially the invariance of the linear-categorical representation of the strongly-based mapping class groupoid given by the same theory.
We establish some new relationships between Milnor invariants and Heegaard Floer homology. This includes a formula for the Milnor triple linking number from the link Floer complex, detection results for the Whitehead link and Borromean rings, and a structural property of the $d$-invariants of surgeries on certain algebraically split links.
We focus on L-spaces for which the boundary maps of the Heegaard Floer chain complexes vanish. In previous paper \cite{Usui}, we collect such manifolds systematically by using the smoothing order on links. In this paper, we classify such L-spaces under appropreate constraint.
We give a complete calculation of the infinity flavor of Heegaard Floer homology with mod 2 coefficients for all three-manifolds and torsion Spin^c structures. The computation agrees with the conjectured calculation of Ozsvath and Szabo. This therefore establishes an isomorphism with Mark's cup homology mod 2.
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…
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.
We use Heegaard Floer homology to define an invariant of homology cobordism. This invariant is isomorphic to a summand of the reduced Heegaard Floer homology of a rational homology sphere equipped with a spin structure and is analogous to Stoffregen's connected Seiberg-Witten Floer homology. We use this invariant to study the structure of the homology cobordism group and, along the way, compute the involutive correction terms for certain families of three-manifolds.
In this note, we exhibit infinite families of tight non-fillable contact manifolds supported by planar open books with vanishing Heegaard Floer contact invariants. Moreover, we also exhibit an infinite such family where the supported manifold is hyperbolic.
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.
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.
The paper describes how known results in Heegaard-Floer homology apply to all known examples of rational blow-downs, and provides several new four dimensional pieces which could be exchanged while preserving some of the Ozsváth-Szabó four manifold invariants, when one of these pieces is found embedded in a smooth four manifold.
In this survey article, we discuss several different knot concordance invariants coming from the Heegaard Floer homology package of Ozsvath and Szabo. Along the way, we prove that if two knots are concordant, then their knot Floer complexes satisfy a certain type of stable equivalence.
This is the author's PhD thesis, as submitted to the Princeton University. The results of this paper have already appeared in arXiv:math/0607777v4, arXiv:math/0607691 and arXiv:0901.2156.
We give new obstructions to the module structures arising in Heegaard Floer homology. As a corollary, we characterize the possible modules arising as the Heegaard Floer homology of an integer homology sphere with one-dimensional reduced Floer homology. Up to absolute grading shifts, there are only two. We use this corollary to show that the chain complex depicted by Ozsváth, Stipsicz, and Szabó to argue that there is no algebraic obstruction to the existence of knots with trivial $ε$ invariant and non-trivial $Υ$ invariant cannot be realized as the knot Floer complex of a knot.
We make use of the action of $H_1(Y)$ in Heegaard Floer homology to generalize the Ozsváth-Szabó correction terms for $3$-manifolds with standard $\operatorname{HF}^\infty$. We establish the basic properties of these invariants: conjugation invariance, behavior under orientation reversal, additivity, and spin$^c$ rational homology cobordism invariance.
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.
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.
Using Taubes' periodic ends theorem, Auckly gave examples of toroidal and hyperbolic irreducible integer homology spheres which are not surgery on a knot in the three-sphere. We give an obstruction to a homology sphere being surgery on a knot coming from Heegaard Floer homology. This is used to construct infinitely many small Seifert fibered examples.
Given a diagram of a link K in S^3, we write down a Heegaard diagram for the branched-double cover Sigma(K). The generators of the associated Heegaard Floer chain complex correspond to Kauffman states of the link diagram. Using this model we make some computations of the homology \hat{HF}(Sigma(K)) as a graded group. We also conjecture the existence of a delta-grading on \hat{HF}(Sigma(K)) analogous to the delta-grading on knot Floer and Khovanov homology.
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).
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 prove a surgery formula for the renormalized Euler characteristic of Ozsvath and Szabo. Equality between this Euler cahracteristic and the Seiberg-Witten invariant follows for rational homology three-spheres.
This is a companion paper to earlier work of the authors, which interprets the Heegaard Floer homology for a manifold with torus boundary in terms of immersed curves in a punctured torus. We prove a variety of properties of this invariant, paying particular attention to its relation to knot Floer homology, the Thurston norm, and the Turaev torsion. We also give a geometric description of the gradings package from bordered Heegaard Floer homology and establish a symmetry under spin$^c$ conjugation; this symmetry gives rise to genus one mutation invariance in Heegaard Floer homology for closed t…
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.
We show that among Seifert fibered integer homology spheres, Poincare sphere (with either orientation) is the only non-trivial example which has trivial Heegaard Floer homology. Together with an earlier result, this shows that if an integer homology sphere has trivial Heegaard Floer homology, then it is a connected sum of a number of Poincare spheres and hyperbolic homology spheres.
We present an alternate description of the Ozsvath-Szabo contact class in Heegaard Floer homology. Using our contact class, we prove that if a contact structure (M,ξ) has an adapted open book decomposition whose page S is a once-punctured torus, then the monodromy is right-veering if and only if the contact structure is tight.
We prove a basic inequality for the d-invariants of a splice of knots in homology spheres. As a result, we are able to prove a new relation on the rank of reduced Floer homology under maps between Seifert fibered homology spheres, improving results of the first and second authors. As a corollary, a degree one map between two aspherical Seifert homology spheres is homotopic to a homeomorphism if and only if the Heegaard Floer homologies are isomorphic.
Recently Auckly-Kim-Melvin-Ruberman showed that for any finite subgroup G of SO(4) there exists a contractible 4-manifold with an effective G-action on its boundary so that the twists associated to the non-trivial elements of G do not extend to diffeomorphisms of the entire manifold. We use a Heegaard Floer theoretic argument originating in work of Akbulut-Karakurt to give a different proof of this phenomenon.
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.
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.
In this paper, we give an algorithm to compute the hat version of the Heegaard Floer homology of a closed oriented three-manifold. This method also allows us to compute the filtrations coming from a null-homologous link in a three-manifold.
We establish three rank inequalities for the reduced flavor of Heegaard Floer homology of Seifert fibered integral homology spheres. Combining these inequalities with the known classifications of non-zero degree maps between Seifert fibered spaces, we prove that a map f from Y' to Y between Seifert homology spheres yields the inequality that |deg f| rank HFred(Y) is at most rank HFred(Y'). These inequalities are also applied in conjunction with an algorithm of Nemethi to give a method to solve the botany problem for the Heegaard Floer homology of these manifolds.
Continuing our previous work, we effectively compute connected Heegaard Floer homologies of two families of Brieskorn spheres realized as the boundaries of almost simple linear graphs. Using Floer theoretic invariants of Dai, Hom, Stoffregen, and Truong, we show that these Brieskorn spheres also generate infinite rank summands in the homology cobordism group. Our computations also have applications to the concordance of classical knots and $0$-concordance of $2$-knots.
We define several concordance invariants using knot Floer homology which give improvements over known slice genus and clasp number bounds from Heegaard Floer homology. We also prove that the involutive correction terms of Hendricks and Manolescu give both a slice genus and a clasp number bound.