Ozsvath and Szabo defined an analog of the Froyshov invariant in the form of a correction term for the grading in Heegaard Floer homology. Applying this to the double cover of the 3-sphere branched over a knot K, we obtain an invariant delta of knot concordance. We show that delta is determined by the signature for alternating knots and knots with up to nine crossings, and conjecture a similar relation for all H-thin knots. We also use delta to prove that for all knots K with tau(K)>0, the positive untwisted double of K is not smoothly slice.
Let $L\subset S^3$ be a link. We study the Heegaard Floer homology of the branched double-cover $Σ(L)$ of $S^3$, branched along $L$. When $L$ is an alternating link, $\HFa$ of its branched double-cover has a particularly simple form, determined entirely by the determinant of the link. For the general case, we derive a spectral sequence whose $E^2$ term is a suitable variant of Khovanov's homology for the link $L$, converging to the Heegaard Floer homology of $Σ(L)$.
By studying the Heegaard Floer homology of the preimage of a knot K in S^3 inside its double branched cover, we develop simple obstructions to K having finite order in the classical smooth concordance group. As an application, we prove that all 2-bridge knots of crossing number at most 12 for which the smooth concordance order was previously unknown have infinite smooth concordance order.
We use grid diagrams to give a combinatorial algorithm for computing the knot Floer homology of the pullback of a knot K in its m-fold cyclic branched cover Sigma^m(K), and we give computations when m=2 for over fifty three-bridge knots with up to eleven crossings.
Given a transverse link in the standard contact 3-sphere, we study the contact manifold that arises as a branched double cover of the sphere. We give a contact surgery description of such manifolds, which allows to determine the Heegaard Floer contact invariants for some of them. By example of the knots of Birman--Menasco, we show that these contact manifolds may fail to distinguish between non-isotopic transverse knots. We also investigate the relation between the Heegaard Floer contact invariants of the branched double covers and the Khovanov homology, in particular, the transverse link inva…
Given a link in the three-sphere, Z. Szabó and the second author constructed a spectral sequence starting at the Khovanov homology of the link and converging to the Heegaard Floer homology of its branched double-cover. The aim of this paper and its sequel is to explicitly calculate this spectral sequence, using bordered Floer homology. There are two primary ingredients in this computation: an explicit calculation of filtered bimodules associated to Dehn twists and a pairing theorem for polygons. In this paper we give the first ingredient, and so obtain a combinatorial spectral sequence from Kh…
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 define a new smooth concordance homomorphism based on the knot Floer complex and an associated concordance invariant, epsilon. As an application, we show that an infinite family of topologically slice knots are independent in the smooth concordance group.
Given a link in the three-sphere, Ozsváth and Szabó showed that there is a spectral sequence starting at the Khovanov homology of the link and converging to the Heegaard Floer homology of its branched double cover. The aim of this paper is to explicitly calculate this spectral sequence in terms of bordered Floer homology. There are two primary ingredients in this computation: an explicit calculation of bimodules associated to Dehn twists, and a general pairing theorem for polygons. The previous part (arXiv:1011.0499) focuses on computing the bimodules; this part focuses on the pairing theorem …
Given a knot K in S^3, let Σ(K) be the double branched cover of S^3 over K. We show there is a spectral sequence whose E^1 page is (\hat{HFK}(Σ(K), K) \otimes V^{n-1}) \otimes \mathbb Z_2((q)), for V a \mathbb Z_2-vector space of dimension two, and whose E^{\infty} page is isomorphic to (\hat{HFK}(S^3, K) \otimes V^{n-1}) \otimes \mathbb Z_2((q)), as \mathbb Z_2((q))-modules. As a consequence, we deduce a rank inequality between the knot Floer homologies \hat{HFK}(Σ(K), K) and \hat{HFK}(S^3, K).
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 a Heegaard diagram for the pullback of a knot $K \subset S^3$ in its cyclic branched cover $Σ_m(K)$ obtained from a grid diagram for $K$, we give a combinatorial proof for the invariance of the associated combinatorial knot Floer homology over $\mathbb{Z}$.
Using a Heegaard diagram for the pullback of a knot $K \subset S^3$ in its cyclic double branched cover $Σ_2(K)$, we give a combinatorial proof for the invariance of knot Floer homology over $\mathbb{Z}$.
In this paper, we introduce a sequence of invariants of a knot K in S^3: the knot Floer homology groups of the preimage of K in the m-fold cyclic branched cover over K. We exhibit the knot Floer homology in the m-fold branched cover as the categorification of a multiple of the Turaev torsion in the case where the m-fold branched cover is a rational homology sphere. In addition, when K is a 2-bridge knot, we prove that the knot Floer homology of the lifted knot in a particular Spin^c structure in the branched double cover matches the knot Floer homology of the original knot K in S^3. We conclud…
We prove that the map on knot Floer homology induced by a ribbon concordance is injective. As a consequence, we prove that the Seifert genus is monotonic under ribbon concordance. We also generalize a theorem of Gabai about the super-additivity of the Seifert genus under band connected sum. Our result gives evidence for a conjecture of Gordon that ribbon concordance is a partial order on the set of knots.
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.
The knot Floer complex together with the associated concordance invariant epsilon can be used to define a filtration on the smooth concordance group. We show that the indexing set of this filtration contains the natural numbers cross the integers as an ordered subset.
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.
We define an infinite family of linearly independent, integer-valued smooth concordance homomorphisms. Our homomorphisms are explicitly computable and rely on local equivalence classes of knot Floer complexes over the ring $\mathbb{F}[U, V]/(UV=0)$. We compare our invariants to other concordance homomorphisms coming from knot Floer homology, and discuss applications to topologically slice knots, concordance genus, and concordance unknotting number.
We modify the construction of knot Floer homology to produce a one-parameter family of homologies for knots in the three-sphere. These invariants can be used to give homomorphisms from the smooth concordance group to the integers, giving bounds on the four-ball genus and the concordance genus of knots. We give some applications of these homomorphisms.
We use the Heegaard-Floer homology correction terms defined by Ozsváth--Szabó to formulate a new obstruction for a knot to be of finite order in the smooth concordance group. This obstruction bears a formal resemblance to that of Casson and Gordon but is sensitive to the difference between the smooth versus topological category. As an application we obtain new lower bounds for the concordance order of small crossing knots.
Using a knot concordance invariant from the Heegaard Floer theory of Ozsvath and Szabo, we obtain new bounds for the Thurston-Bennequin and rotation numbers of Legendrian knots in S^3. We also apply these bounds to calculate the knot concordance invariant for certain knots.
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 introduce a simple combinatorial method for computing all versions of the knot Floer homology of the preimage of a two-bridge knot K(p,q) inside its double-branched cover, -L(p,q). The 4-pointed genus 1 Heegaard diagram we obtain looks like a twisted version of the toroidal grid diagrams recently introduced by Manolescu, Ozsvath, and Sarkar. We conclude with a discussion of how one might obtain nice Heegaard diagrams for cyclic branched covers of more general knots.
We continue our study of the knot Floer homology invariants of cable knots. For large |n|, we prove that many of the filtered subcomplexes in the knot Floer homology filtration associated to the (p,pn+1) cable of a knot, K, are isomorphic to those of K. This result allows us to obtain information about the behavior of the Ozsvath-Szabo concordance invariant under cabling, which has geometric consequences for the cabling operation. Applications considered include quasipositivity in the braid group, the knot theory of complex curves, smooth concordance, and lens space (or, more generally, L-spac…
It was recently proved by several authors that ribbon concordances induce injective maps in knot Floer homology, Khovanov homology, and the Heegaard Floer homology of the branched double cover. We give a simple proof of a similar statement in a more general setting, which includes knot Floer homology, Khovanov-Rozansky homologies, and all conic strong Khovanov-Floer theories. This gives a philosophical answer to the question of which aspects of a link TQFT make it injective under ribbon concordances.
A companion paper to "On knot Floer homology in branched double covers" applied to braided branched loci. We reprove the main result of that paper concerning alternating branched loci when projected to an annulus, without using Khovanov homology. This provides two advantages: 1) the results hold for integer coefficients and 2) the spin^c structures are more readily discernable. We apply this result to a branch locus which is a braid, and use the braid structure to find information about a fibered knot in the branched double cover. In some cases this provides all the information about the knot …
An immersed concordance between two links is a concordance with possible self-intersections. Given an immersed concordance we construct a smooth four-dimensional cobordism between surgeries on links. By applying $d$-invariant inequalities for this cobordism we obtain inequalities between the $H$-functions of links, which can be extracted from the link Floer homology package. As an application we show a Heegaard Floer theoretical criterion for bounding the splitting number of links. The criterion is especially effective for L-space links, and we present an infinite family of L-space links with …
We compute the effect of concordance surgery, a generalization of knot surgery defined using a self-concordance of a knot, on the Ozsváth-Szabó 4-manifold invariant. The formula involves the graded Lefschetz number of the concordance map on knot Floer homology. The proof uses the sutured Floer TQFT, and a version of sutured Floer homology perturbed by a 2-form.
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 double branched cover of the three sphere, branched over the embedded copy of L. This paper shows that the knot Floer homology of this lift, with mod 2 coefficients, can be computed from a spectral sequence starting at a type of Khovanov homology already described by Asaeda, Przytycki, and Sikora. We extend the known results about this type of Khovanov homology,…
We establish inequalities that constrain the genera of smooth cobordisms between knots in 4-dimensional cobordisms. These "relative adjunction inequalities" improve the adjunction inequalities for closed surfaces which have been instrumental in many topological applications of gauge theory. The relative inequalities refine the latter by incorporating numerical invariants of knots in the boundary associated to Heegaard Floer homology classes determined by the 4-manifold. As a corollary, we produce a host of concordance invariants for knots in a general 3-manifold, one such invariant for every n…
We prove that twisted correction terms in Heegaard Floer homology provide lower bounds on the Thurston norm of certain cohomology classes determined by the strong concordance class of a 2-component link $L$ in $S^3$. We then specialise this procedure to knots in $S^2\times S^1$, and obtain a lower bound on their geometric winding number. Furthermore we produce an obstruction for a knot in $S^3$ to have untwisting number 1. We then provide an infinite family of null-homologous knots with increasing geometric winding number, on which the bound is sharp.
The knot Floer complex and the concordance invariant $\varepsilon$ can be used to define a filtration on the smooth concordance group. We exhibit an ordered subset of this filtration that is isomorphic to $\mathbb{N} \times \mathbb{N}$ and consists of topologically slice knots.
Seidel and Smith introduced the graded fixed-point symplectic Khovanov cohomology group Kh_{symp,inv}(K) for a knot K inside S^{3}, as well as a spectral sequence converging to the Heegaard Floer homology-hat group for the connected sum of the double branched cover with a copy of S^{2}xS^{1}. The E^{1}-page of this spectral sequence is isomorphic to a factor of Kh_{symp,inv}(K). Seidel and Smith proved that Kh_{symp,inv} is a knot invariant. We show here that the higher pages of their spectral sequence are knot invariants also.
We compute the knot Floer filtration induced by a cable of the meridian of a knot in the manifold obtained by large integer surgery along the knot. We give a formula in terms of the original knot Floer complex of the knot in the three-sphere. As an application, we show that a knot concordance invariant of Hom can equivalently be defined in terms of filtered maps on the Heegaard Floer homology groups induced by the two-handle attachment cobordism of surgery along a knot.
We recently defined an invariant of contact manifolds with convex boundary in Kronheimer and Mrowka's sutured monopole Floer homology theory. Here, we prove that there is an isomorphism between sutured monopole Floer homology and sutured Heegaard Floer homology which identifies our invariant with the contact class defined by Honda, Kazez and Matić in the latter theory. One consequence is that the Legendrian invariants in knot Floer homology behave functorially with respect to Lagrangian concordance. In particular, these invariants provide computable and effective obstructions to the existence …
Using the covering involution on the double branched cover of the three-sphere branched along a knot, and adapting ideas of Hendricks-Manolescu and Hendricks-Hom-Lidman, we define new knot invariants and apply them to deduce novel linear independence results in the smooth concordance group of knots.
Seidel-Smith and Hendricks used equivariant Floer cohomology to define some spectral sequences from symplectic Khovanov homology and Heegaard Floer homology. These spectral sequences give rise to Smith-type inequalities. Similar-looking spectral sequences have been defined by Lee, Bar-Natan, Ozsváth-Szabó, Lipshitz-Treumann, Szabó, Sarkar-Seed-Szabó, and others. In this paper we give another construction of equivariant Floer cohomology with respect to a finite group action and use it to prove some invariance properties of these spectral sequences; prove that some of these spectral sequences ag…
We show that a decorated knot concordance $C$ from $K$ to $K'$ induces a homomorphism $F_C$ on knot Floer homology that preserves the Alexander and Maslov gradings. Furthermore, it induces a morphism of the spectral sequences to $\widehat{HF}(S^3) \cong \mathbb{Z}_2$ that agrees with $F_C$ on the $E^1$ page and is the identity on the $E^\infty$ page. It follows that $F_C$ is non-vanishing on $\widehat{HFK}_0(K, τ(K))$. We also obtain an invariant of slice disks in homology 4-balls bounding $S^3$. If $C$ is invertible, then $F_C$ is injective, hence $\dim \widehat{HFK}_j(K,i) \le \dim \widehat{…
Ozsvath-Stipsicz-Szabo recently defined a one-parameter family, upsilon of K at t, of concordance invariants associated to the knot Floer complex. We compare their invariant to the {-1, 0, 1}-valued concordance invariant epsilon, which is also associated to the knot Floer complex. In particular, we give an example of a knot K with upsilon uniformly equal to zero but epsilon non-zero.
In this paper we present several counterexamples to Rasmussen's conjecture that the concordance invariant coming from Khovanov homology is equal to twice the invariant coming from Ozsv{á}th-Szab{ó} Floer homology. The counterexamples are twisted Whitehead doubles of the (2,2n+1) torus knots.
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 prove the existence of a spectral sequence for Lagrangian Floer homology which converges to the Floer homology of the image of a Lagrangian submanifold under multiple fibred Dehn twists. The $E_1$ term of the sequence is given by the hypercube of "resolutions" of the Dehn twists involved. The proof relies on the exact triangle for fibered Dehn twists due to Wehrheim and Woodward. As applications we obtain a spectral sequences from Khovanov homology to symplectic Khovanov homology. Also when a 3-manifold $M$ is given by gluing two handlebodies by a surface diffeomorphism $ϕ$, we obtain a spe…
We make use of link Floer homology to study cobordisms between links embedded in 4-dimensional ribbon homology cobordisms. Combining results of Daemi--Lidman--Vela-Vick--Wong and Zemke, we show that ribbon homology concordances induce split injections on $\mathcal{HFL}^-$. We also make use of the torsion submodule of $\text{HFL}^-$ to give restrictions on the number of critical points in ribbon homology concordances.
To a region $C$ of the plane satisfying a suitable convexity condition we associate a knot concordance invariant $Υ^C$. For appropriate choices of the domain this construction gives back some known knot Floer concordance invariants like Rasmussen's $h_i$ invariants, and the Ozsv\' ath-Stipsicz-Szab\' o upsilon invariant. Furthermore, to three such regions $C$, $C^+$ and $C^- $ we associate invariants $Υ_{C^\pm, C}$ generalising Kim-Livingston secondary invariant. We show how to compute these invariants for some interesting classes of knots (including alternating and torus knots), and we use th…
We extend the construction of upsilon-type invariants to null-homologous knots in rational homology three-spheres. By considering $m$-fold cyclic branched covers with $m$ a prime power, this extension provides new knot concordance invariants $Υ_m^C (K)$ of knots in $S^3$. We give computations of these invariants for some families of alternating knots and reprove some independence results in the smooth concordance group.
We show that the only irreducible three-manifold with positive first Betti number and Heegaard Floer homology of rank two is homeomorphic to zero-framed surgery on the trefoil. We classify links whose branched double cover gives rise to this manifold. Together with a spectral sequence from Khovanov homology to the Floer homology of the branched double cover, our results show that Khovanov homology detects the unknot if and only if it detects the two component unlink.
For an open book decomposition $(S,ϕ)$, the fractional Dehn twist coefficients are rational numbers measuring the amount that the monodromy $ϕ$ twists the surface $S$ near each boundary component. In general, the twist coefficients do not behave nicely under the operation of capping off a boundary component. The goal of this paper is to use Heegaard Floer homology to constrain the behavior of the fractional Dehn twist coefficients after capping off. We also use our results about fractional Dehn twists to study the Floer homology of cyclic branched covers over fibered two-component links.
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 use monopole Floer homology for sutured manifolds to construct invariants of Legendrian knots in a contact 3-manifold. These invariants assign to a knot K in Y elements of the monopole knot homology KHM(-Y,K), and they strongly resemble the knot Floer homology invariants of Lisca, Ozsváth, Stipsicz, and Szabó. We prove several vanishing results, investigate their behavior under contact surgeries, and use this to construct many examples of non-loose knots in overtwisted 3-manifolds. We also show that these invariants are functorial with respect to Lagrangian concordance.
Let $D(K)$ be the positively-clasped untwisted Whitehead double of a knot $K$, and $T_{p,q}$ be the $(p,q)$ torus knot. We show that $D(T_{2,2m+1})$ and $D^2(T_{2,2m+1})$ are linearly independent in the smooth knot concordance group $\mathcal{C}$ for each $m\geq 2$. Further, $D(T_{2,5})$ and $D^2(T_{2,5})$ generate a $\mathbb{Z}\oplus\mathbb{Z}$ summand in the subgroup of $\mathcal{C}$ generated by topologically slice knots. We use the concordance invariant $δ$ of Manolescu and Owens, using Heegaard Floer correction term. Interestingly, these results are not easily shown using other concordanc…
