We describe the construction of an $\mathcal{A}_\infty$ multi-module in terms of counts of holomorphic polygons in a series Heegaard multi-diagrams. We show that this is quasi-isomorphic to the type-A bordered-sutured invariant of a link complement with a view to calculating, in the sequel, these invariants in terms of the link Floer homology of the corresponding link.
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 perform two explicit computations of bordered Heegaard Floer invariants. The first is the type D trimodule associated to the trivial S^1 bundle over the pair of pants P. The second is a bimodule that is necessary for self-gluing, when two torus boundary components of a bordered manifold are glued to each other. Using the results of these two computations, we describe an algorithm for computing HF-hat of any graph manifold.
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.
For a knot K and its knot Floer complex CFK^-(K), we introduce an algorithm to compute the bordered Floer bimodule of the complement of the knot and its meridian. The grading of the module computes spin^c-summands of a meridional knot in the large Dehn surgery manifold, which can be also extended to arbitrary framing n.
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.
We give a combinatorial proof of the quasi-invertibility of $\widehat{CFDD}(\mathbb{I}_\mathcal{Z})$ in bordered Heegaard Floer homology, which implies a Koszul self-duality on the dg-algebra $\mathcal{A}(\mathcal{Z})$, for each pointed matched circle $\mathcal{Z}$. This is done by giving an explicit description of a rank 1 model for $\widehat{CFAA}(\mathbb{I}_\mathcal{Z})$, the quasi-inverse of $\widehat{CFDD}(\mathbb{I}_\mathcal{Z})$. This description is obtained by applying homological perturbation theory to a larger, previously known model of $\widehat{CFAA}(\mathbb{I}_\mathcal{Z})$.
Bordered Heegaard Floer homology is an invariant for 3-manifolds, which associates to a surface F an algebra A(F), and to a 3-manifold Y with boundary, together with an orientation-preserving diffeomorphism from F to the boundary of Y, a module over A(F). In a previous paper, we defined relative Z/2 differential gradings on the algebra A(F) and the modules over it. In this paper, we turn the relative grading into an absolute one, and show that the resulting Z/2-graded module is an invariant of the bordered 3-manifold.
We use bordered Floer homology to give a formula for the knot Floer homology of any (p, pn+1)-cable of a thin knot K in terms of Delta_K(t), tau(K), p, and n. We also give a formula for the Ozsvath-Szabo concordance invariant tau(K_{p, pn+1}) in terms of tau(K), p, and n, and a formula for tau(K_{p,q}) for almost all relatively prime p and q.
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…
We prove that, up to local equivalences, a suitable truncation of the involutive knot Floer homology of a knot in $S^3$ and the involutive bordered Heegaard Floer theory of its complement determine each other. In particular, given two knots $K_1$ and $K_2$, we prove that the $\mathbb{F}_2[U,V]/(UV)$-coefficient involutive knot Floer homology of $K_1 \sharp -K_2$ is $ι_K$-locally trivial if $\widehat{CFD}(S^3 \backslash K_1)$ and $\widehat{CFD}(S^2 \backslash K_2)$ satisfy a certain condition which can be seen as the bordered counterpart of $ι_K$-local equivalence. We further establish an expli…
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.
We show that the bordered-sutured Floer invariant of the complement of a tangle in an arbitrary 3-manifold $Y$, with minimal conditions on the bordered-sutured structure, satisfies an unoriented skein exact triangle. This generalizes a theorem by Manolescu for links in $S^3$. We give a theoretical proof of this result by adapting holomorphic polygon counts to the bordered-sutured setting, and also give a combinatorial description of all maps involved and explicitly compute them. We then show that, for $Y = S^3$, our exact triangle coincides with Manolescu's. Finally, we provide a graded versio…
We use bordered Floer theory to study properties of twisted Mazur pattern satellite knots $Q_{n}(K)$. We prove that $Q_n(K)$ is not Floer homologically thin, with two exceptions. We calculate the 3-genus of $Q_{n}(K)$ in terms of the twisting parameter $n$ and the 3-genus of the companion $K$, and we determine when $Q_n(K)$ is fibered. As an application to our results on Floer thickness and 3-genus, we verify the Cosmetic Surgery Conjecture for many of these satellite knots.
Using bordered Floer theory, we construct an invariant $\widehat{\mathit{HFO}}(Y^{\text{orb}})$ for $3$-orbifolds $Y^{\text{orb}}$ with singular set a knot that generalizes the hat flavor $\widehat{\mathit{HF}}(Y)$ of Heegaard Floer homology for closed $3$-manifolds $Y$. We show that for a large class of $3$-orbifolds, $\widehat{\mathit{HFO}}$ behaves like $\widehat{\mathit{HF}}$ in that $\widehat{\mathit{HFO}}$, together with a relative $\mathbb{Z}_2$-grading, categorifies the order of $H_1^{\text{orb}}$. When $Y^{\text{orb}}$ arises as Dehn surgery on an integer-framed knot in $S^3$, we use …
We define a concordance invariant, epsilon(K), associated to the knot Floer complex of K, and give a formula for the Ozsváth-Szabó concordance invariant tau of K_{p,q}, the (p,q)-cable of a knot K, in terms of p, q, tau(K), and epsilon(K). We also describe the behavior of epsilon under cabling, allowing one to compute tau of iterated cables. Various properties and applications of epsilon are also discussed.
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.
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.
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 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 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.
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.
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…
In the bordered Floer theory, gluing thickened torus of positive meridional Dehn twist to the boundary of a knot complement result in the knot complement of increased framing. For a fixed knot K, we construct a direct system of positively framed knot complements and study the direct limit. We also study the morphism space between two type-DD modules, and derive type-DA morphisms from DD morphisms to derive the direct system maps. In addition, we introduce a direct limit invariant from the direct system which can detect non-unstable chains in the type-D module of a knot complement, if the type-…
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.
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.
