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.
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.
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.
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.
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.
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.
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.
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 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.
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.
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.
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 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 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.
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 $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…
We use the Heegaard Floer obstructions defined by Grigsby, Ruberman, and Strle to show that forty-six of the sixty-seven knots through eleven crossings whose concordance orders were previously unknown have infinite concordance order.
In an earlier work, we introduced a family of t-modified knot Floer homologies, defined by modifying the construction of knot Floer homology HFK-minus. The resulting groups were then used to define concordance homomorphisms indexed by t in [0,2]. In the present work we elaborate on the special case t=1, and call the corresponding modified knot Floer homology the unoriented knot Floer homology. Using elementary methods (based on grid diagrams and normal forms for surface cobordisms), we show that the resulting concordance homomorphism gives a lower bound for the smooth 4-dimensional crosscap nu…
We prove that if the order of the first homology of the 2-fold branched cover of a knot K in the 3-sphere is given by pm where p is a prime congruent to 3 mod 4 and gcd(p,m) =1, then K is of infinite order in the knot concordance group. This provides an obstruction to classical knots being of order 4. In particular, there are 11 prime knots with 10 or fewer crossings that are of order 4 in the algebraic concordance group; all are infinite order in concordance. Another corollary states that any knot with Alexander polynomial 5t^2 - 11t + 5 is of infinite order in concordance; Levine proved that…
In this paper we investigate the 0-concordance classes of 2-knots in $S^4$, an equivalence relation that is related to understanding smooth structures on 4-manifolds. Using Rochlin's invariant, and invariants arising from Heegaard-Floer homology, we will prove that there are infinitely many 0-concordance classes of 2-knots.
We examine surgery on a knot in $S^3$ to determine surgery obstructions to Seifert fibered integral homology spheres. We find such surgery obstructions using Heegaard Floer, Knot Floer homology and the mapping cone formula for computing Heegaard Floer homology of surgery on a knot. Here however, we take a different approach and use the number of singular fibers of a Seifert fibered integral homology sphere, which is the toroidal structure, to find obstructions. This approach allows us to show that genus one knots cannot yield Seifert fibered integral homology spheres with six or more singular …
We introduce new obstructions to topological knot concordance. These are obtained from amenable groups in Strebel's class, possibly with torsion, using a recently suggested $L^2$-theoretic method due to Orr and the author. Concerning $(h)$-solvable knots which are defined in terms of certain Whitney towers of height $h$ in bounding 4-manifolds, we use the obstructions to reveal new structure in the knot concordance group not detected by prior known invariants: for any $n>1$ there are $(n)$-solvable knots which are not $(n.5)$-solvable (and therefore not slice) but have vanishing Cochran-Orr-Te…
We show that a large class of satellite operators are rank-expanding; that is, they map some rank-one subgroup of the concordance group onto an infinite linearly independent set. Our work constitutes the first systematic study of this property in the literature and partially affirms a conjecture of the second author and Pinzón-Caicedo. More generally, we establish a Floer-theoretic condition for a family of companion knots to have infinite-rank image under satellites from this class. The methods we use are amenable to patterns which act trivially in topological concordance and are capable of h…
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.
We define a filtration of the smooth concordance group based on the genus of representative knots. We use the Heegaard Floer epsilon and Upsilon invariants to prove the quotient groups with respect to this filtration are infinitely generated. Results are applied to three infinite families of topologically slice knots.
By considering a version of Khovanov homology incorporating both the Lee and $E(-1)$ differentials, we construct a $1$-parameter family of concordance homomorphisms similar to the Upsilon invariant from knot Floer homology. This invariant gives lower bounds on the slice genus and can be used to prove that certain infinite families of pretzel knots are linearly independent in the smooth concordance group.
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.
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.
We derive new obstructions to periodicity of classical knots by employing the Heegaard Floer correction terms of the finite cyclic branched covers of the knots. Applying our results to two fold covers, we demonstrate through numerous examples that our obstructions are successful where many existing periodicity obstructions fail. A combination of previously known periodicity obstructions and the results presented here, leads to a nearly complete (with the exception of a single knot) classification of alternating, periodic, 12-crossing knots with odd prime periods. For the case of alternating kn…
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 provide a new obstruction for a rational homology 3-sphere to arise by Dehn surgery on a given knot in the 3-sphere. The obstruction takes the form of an inequality involving the genus of the knot, the surgery coefficient, and a count of L-structures on the 3-manifold, that is spin-c structures with the simplest possible associated Heegaard Floer group. Applications include an obstruction for two framed knots to yield the same 3-manifold, an obstruction that is particularly effective when working with families of framed knots. We introduce the rational and integral Dehn surgery genera for a…
In this short note we observe that a result of Eliashberg and Polterovitch allows to use the doubly slice genus as an obstruction for a Legendrian knot to be a slice of a concordance from the trivial Legendrian knot with maximal Thurston-Bennequin invariant to itself. This allows to obstruct concordances from the Pretzel knot P(3,-3,-m) when m > 3 to the unknot. Those examples are of interest because the Legendrian contact homology algebra cannot be used to obstruct such a concordance.
We use Heegaard Floer homology to obtain bounds on unknotting numbers. This is a generalisation of Ozsvath and Szabo's obstruction to unknotting number one. We determine the unknotting numbers of 9_10, 9_13, 9_35, 9_38, 10_53, 10_101 and 10_120; this completes the table of unknotting numbers for prime knots with crossing number nine or less. Our obstruction uses a refined version of Montesinos' theorem which gives a Dehn surgery description of the branched double cover of a knot.
We investigate the question of the existence of a Lagrangian concordance between two Legendrian knots in $\mathbb{R}^3$. In particular, we give obstructions to a concordance from an arbitrary knot to the standard Legendrian unknot, in terms of normal rulings. We also place strong restrictions on knots that have concordances both to and from the unknot and construct an infinite family of knots with non-reversible concordances from the unknot. Finally, we use our obstructions to present a complete list of knots with up to 14 crossings that have Legendrian representatives that are Lagrangian slic…
We define a nontrivial mod 2 valued additive concordance invariant defined on the torsion subgroup of the knot concordance group using involutive knot Floer package. For knots not contained in its kernel, we prove that their iterated $(\text{odd},1)$-cables have infinite order in the concordance group and, among them, infinitely many are linearly independent. Furthermore, by taking $(2,1)$-cables of the aforementioned knots, we present an infinite family of knots which are strongly rationally slice but not slice.
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.
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…
Various obstructions to knot concordance have been found using Casson-Gordon invariants, higher-order Alexander polynomials, as well as von-Neumann rho-invariants. Examples have been produced using (iterated) doubling operations K=R(c,J), and considering these as parametrized by invariants of the base knot J and doubling operator R. In this paper, we introduce a new mew method to obstruct concordance. We show that infinitely many distinct concordance classes may be constructed by varying the infecting curve c in S^3-R. Distinct concordance classes are found even while fixing the base knot, the…
We prove a formula for the conjugation action on the knot Floer complex of the connected sum of two knots. Using the formula we construct a homomorphism from the smooth concordance group to an abelian group consisting of chain complexes with homotopy automorphisms, modulo an equivalence relation. Using our connected sum formula, we perform some example computations of Hendricks and Manolescu's involutive invariants on large surgeries of connected sums of knots.