Related papers: A surgery formula for knot Floer homology
This is a companion paper to earlier work of the authors, which proved an integral surgery formula for framed instanton homology. First, we present an enhancement of the large surgery formula, a rational surgery formula for null-homologous…
We compute the Heegaard Floer homology of an oriented 3-manifold obtained by a negative rational surgery along an arbitrary algebraic knot.
Let $K$ denote a knot inside the homology sphere $Y$ and $K'$ denote a knot inside a homology sphere $L$-space. Let $X=Y(K,K')$ denote the 3-manifold obtained by splicing the complements of $K$ and $K'$. We show that…
We prove an equivariant version of the Heegaard Floer link surgery formula. As a special case, this gives an equivariant knot surgery formula for equivariant knots in $S^3$. Our proof goes by way of a naturality theorem for certain bordered…
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.
Using the conjugation symmetry on Heegaard Floer complexes, we define a three-manifold invariant called involutive Heegaard Floer homology, which is meant to correspond to $\mathbb{Z}_4$-equivariant Seiberg-Witten Floer homology. Further,…
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…
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…
In ``Knots in lattice homology", Ozsv\'ath, Stipsicz, and Szab\'o showed that knot lattice homology satisfies a surgery formula similar to the one relating knot Floer homology and Heegaard Floer homology, and in previous work, I showed that…
When can surgery on a null-homologous knot K in a rational homology sphere produce a non-separating sphere? We use Heegaard Floer homology to give sufficient conditions for K to be unknotted. We also discuss some applications to homology…
We give a precise description of splicing formulas from a previous paper in terms of knot Floer complex associated with a knot in homology sphere.
We establish a surgery exact triangle for involutive Heegaard Floer homology by using a doubling model of the involution. We use this exact triangle to give an involutive version of Ozsv\'ath-Szab\'o's mapping cone formula for knot surgery.…
In this paper we study the knot Floer homology invariants of the twisted and untwisted Whitehead doubles of an arbitrary knot K. We present a formula for the filtered chain homotopy type of HFK(D(+,K,t)) in terms of the invariants for K,…
An important class of three-manifolds are L-spaces, which are rational homology spheres with the smallest possible Floer homology. For knots with an instanton L-space surgery, we compute the framed instanton Floer homology of all integral…
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…
We continue our study of the integer-valued knot invariants $\nu^\sharp(K)$ and $r_0(K)$, which together determine the dimensions of the framed instanton homologies of all nonzero Dehn surgeries on $K$. We first establish a "conjugation"…
We write down an explicit formula for the $+$ version of the Heegaard Floer homology (as an absolutely graded vector space over an arbitrary field) of the results of Dehn surgery on a knot $K$ in $S^3$ in terms of homological data derived…
Suppose that a hyperbolic knot in $S^3$ admits a finite surgery, Boyer and Zhang proved that the surgery slope must be either integral or half-integral, and they conjectured that the latter case does not happen. Using the correction terms…
Ozsv\'ath and Szab\'o conjectured that knot Floer homology detects fibred knots in $S^3$. We will prove this conjecture for null-homologous knots in arbitrary closed 3--manifolds. Namely, if $K$ is a knot in a closed 3--manifold $Y$, $Y-K$…
Given a grid presentation of a knot (or link) K in the three-sphere, we describe a Heegaard diagram for the knot complement in which the Heegaard surface is a torus and all elementary domains are squares. Using this diagram, we obtain a…