Related papers: A surgery triangle for lattice cohomology
Let $K$ be a rationally null-homologous knot in a $3$-manifold $Y$, equipped with a nonzero framing $\lambda$, and let $Y_\lambda(K)$ denote the result of $\lambda$-framed surgery on $Y$. Ozsv\'ath and Szab\'o gave a formula for the…
Using the correction terms in Heegaard Floer homology, we prove that if a knot in $S^3$ admits a positive integral $\mathbf{T}$-, $\mathbf{O}$- or $\mathbf{I}$-type surgery, it must have the same knot Floer homology as one of the knots…
Given a contact structure on a closed, oriented three-manifold $Y$, we describe an invariant which takes values in the three-manifold's Floer homology $\HFa$. This invariant vanishes for overtwisted contact structures and is non-zero for…
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…
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.
Surgery exact triangles in various 3-manifold Floer homology theories provide an important tool in studying and computing the relevant Floer homology groups. These exact triangles relate the invariants of 3-manifolds, obtained by three…
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 introduce a homology surgery problem in dimension 3 which has the property that the vanishing of its algebraic obstruction leads to a canonical class of \pi-algebraically-split links in 3-manifolds with fundamental group \pi . Using this…
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…
We review the construction of Heegaard Floer homology for closed three-manifolds and also for knots and links in the three-sphere. We also discuss three applications of this invariant to knot theory: studying the Thurston norm of a link…
Motivated by conjectures in Heegaard Floer homology, we introduce an invariant HC(Y) of the cohomology ring of a closed 3-manifold Y whose behavior mimics that of the Heegaard Floer homology HF^\infty(Y,s) for s a torsion spin-c structure.…
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.
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…
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…
This paper continues the study of finite-type invariants of homology spheres studied by Ohtsuki and Garoufalidis. We apply the surgery classification of links to give a diagrammatic description, using ideas of Ohtsuki. This uses a…
Let L be a link in an thickened annulus. We specify the embedding of this annulus in the three sphere, and consider its complement thought of as the axis to L. In the right circumstances this axis lifts to a null-homologous knot in the…
We establish surgery formulas for filtration of the Heegaard Floer homology associated with p/q surgery on a null-homologous knot K in a three-manifold Y, induced by K_{p/q}. Here K_{p/q} is the core of the attached solid torus (which…
Since its inception, Floer homology has been an important tool in low-dimensional topology. Floer theoretic invariants of $3$-manifolds tend to be either gauge theoretic or symplecto-geometric in nature, and there is a general philosophy…
Using instanton Floer theory, extending methods due to Froyshov, we determine the definite lattices that arise from smooth 4-manifolds bounded by certain homology 3-spheres. For example, we show that for +1 surgery on the (2,5) torus knot,…
We prove an integral surgery formula for framed instanton homology $I^\sharp(Y_m(K))$ for any knot $K$ in a $3$-manifold $Y$ with $[K]=0\in H_1(Y;\mathbb{Q})$ and $m\neq 0$. Though the statement is similar to Ozsv\'ath-Szab\'o's integral…