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-space) surgeries.
This paper is devoted to the study of the knot Floer homology groups HFK(S^3,K_{2,n}), where K_{2,n} denotes the (2,n) cable of an arbitrary knot, K. It is shown that for sufficiently large |n|, the Floer homology of the cabled knot depends only on the filtered chain homotopy type of CFK(K). A precise formula for this relationship is presented. In fact, the homology groups in the top 2 filtration dimensions for the cabled knot are isomorphic to the original knot's Floer homology group in the top filtration dimension. The results are extended to (p,pn+-1) cables. As an example we compute HFK((T…
In this paper we will show how to classify Legendrian and transverse knots in the knot type of "sufficiently positive" cables of a knot in terms of the classification of the underlying knot. We will also completely explain the phenomena of "Legendrian large" cables. These are Legendrian representatives of cables that have Thurston-Bennequin invariant larger that the framing coming from the cabling torus. Such examples have only recently, and unexpectedly, been found. We will also give criteria that determines the classification of Legendrian and transverse knots the the knot type of negative c…
We study Legendrian knots in a cabled knot type. Specifically, given a topological knot type K, we analyze the Legendrian knots in knot types obtained from K by cabling, in terms of Legendrian knots in the knot type K. As a corollary of this analysis, we show that the (2,3)-cable of the (2,3)-torus knot is not transversely simple and moreover classify the transverse knots in this knot type. This is the first classification of transverse knots in a non-transversely-simple knot type. We also classify Legendrian knots in this knot type and exhibit the first example of a Legendrian knot that does …
The Heegaard Floer correction term ($d$-invariant) is an invariant of rational homology 3-spheres equipped with a Spin$^c$ structure. In particular, the correction term of 1-surgeries along knots in $S^3$ is a ($2\mathbb{Z}$-valued) knot concordance invariant $d_1$. In this paper, we estimate $d_1$ for the $(2,q)$-cable of any knot $K$. This estimate does not depend on the knot type of $K$. If $K$ belongs to a certain class which contains all negative knots, then equality holds. As a corollary, we show that the relationship between $d_1$ and the Heegaard Floer $τ$-invariant is very weak in gen…
The 2-loop polynomial is a polynomial presenting the 2-loop part of the Kontsevich invariant of knots. We show a cabling formula for the 2-loop polynomial of knots. In particular, we calculate the 2-loop polynomial for torus knots.
We say that a given knot $J\subset S^3$ is detected by its knot Floer homology and $A$-polynomial if whenever a knot $K\subset S^3$ has the same knot Floer homology and the same $A$-polynomial as $J$, then $K=J$. In this paper we show that every torus knot $T(p,q)$ is detected by its knot Floer homology and $A$-polynomial. We also give a one-parameter family of infinitely many hyperbolic knots in $S^3$ each of which is detected by its knot Floer homology and $A$-polynomial. In addition we give a cabling formula for the A-polynomials of cabled knots in $S^3$, which is of independent interest. I…
We continue our study of the degree of the colored Jones polynomial under knot cabling started in "Knot Cabling and the Degree of the Colored Jones Polynomial" (arXiv:1501.01574). Under certain hypothesis on this degree, we determine how the Jones slopes and the linear term behave under cabling. As an application we verify Garoufalidis' Slope Conjecture and a conjecture of the authors for cables of a two-parameter family of closed 3-braids called 2-fusion knots.
We prove that the class of topological knot types that are both Legendrian simple and satisfy the uniform thickness property (UTP) is closed under cabling. An immediate application is that all iterated cabling knot types that begin with negative torus knots are Legendrian simple. We also examine, for arbitrary numbers of iterations, iterated cablings that begin with positive torus knots, and establish the Legendrian simplicity of large classes of these knot types, many of which also satisfy the UTP. In so doing we obtain new necessary conditions for both the failure of the UTP and Legendrian n…
The unknotting number of knots is a difficult quantity to compute, and even its behavior under basic satelliting operations is not understood. We establish a lower bound on the unknotting number of cable knots and iterated cable knots purely in terms of the winding number of the pattern. The proof uses Alishahi-Eftekhary's bounds on unknotting number from knot Floer homology together with Hanselman-Watson's computation of the knot Floer homology of cables in terms of immersed curves in the punctured torus.
The fusion number of a ribbon knot is the minimal number of 1-handles needed to construct a ribbon disk. The strong homotopy fusion number of a ribbon knot is the minimal number of 2-handles in a handle decomposition of a ribbon disk complement. We demonstrate that these invariants behave completely differently under cabling by showing that the (p,1)-cable of any ribbon knot with fusion number one has strong homotopy fusion number one and fusion number p. Our main tools are Juhász-Miller-Zemke's bound on fusion number coming from the torsion order of knot Floer homology and Hanselman-Watson's …
We determine the relationship between the contact structure induced by a fibered knot, K, in the three-sphere and the contact structures induced by its various cables. Understanding this relationship allows us to classify fibered cable knots which bound a properly embedded complex curve in the four-ball satisfying a genus constraint. This generalizes the well-known classification of links of plane curve singularities.
In this note we study Legendrian and transverse knots in the knot type of a (p,q)-cable of a knot K in 3-sphere. We give two structural theorems that describe when the (p,q)-cable of a Legendrian simple knot type K is also Legendrian simple.
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.
Let $k\subset S^3$ be a nontrivial knot. The Cabling Conjecture of Francisco González-Acuña and Hamish Short posits that $π$-Dehn surgery on $k$ produces a reducible manifold if and only if $k$ is a $(p,q)$-cable knot and the surgery slope $π$ equals $pq$. We extend the work of James Allen Hoffman to prove the Cabling Conjecture for knots with bridge number up to $5$.
Closed 3-string braids admit many bandings to two-bridge links. By way of the Montesinos Trick, this allows us to construct infinite families of knots in the connected sum of lens spaces L(r,1) # L(s,1) that admit a surgery to a lens space for all pairs of integers (r,s) except (0,0). These knots are typically hyperbolic. We also demonstrate that the previously known two families of examples of hyperbolic knots in non-prime manifolds with lens space surgeries of Eudave-Munoz--Wu and Kang all fit this construction. As such, we propose a generalization of the Cabling Conjecture of Gonzales-Acuna…
We prove that an iterated torus knot type fails the uniform thickness property (UTP) if and only if all of its iterations are positive cablings, which is precisely when an iterated torus knot type supports the standard contact structure. We also show that all iterated torus knots that fail the UTP support cabling knot types that are transversely non-simple.
We classify which positive integral surgeries on positive torus knots bound rational homology balls. Additionally, for a given knot K we consider which cables K(p,q) admit integral surgeries that bound rational homology balls. For such cables, let S(K) be the set of corresponding rational numbers q/p. We show that S(K) is bounded for each K. Moreover, if n-surgery on K bounds a rational homology ball then n is an accumulation point for S(K).
This is the second of three papers that refine and extend portions of our earlier preprint, "The depth of a knot tunnel." Together, they rework the entire preprint. The theory of tunnel number 1 knots that we introduced in "The tree of knot tunnels" yields a parameterization in which each tunnel is described uniquely by a finite sequence of rational parameters and a finite sequence of 0's and 1's, that together encode a procedure for constructing the knot and tunnel. In this paper we calculate these invariants for all tunnels of torus knots.
We develop a skein exact sequence for knot Floer homology, involving singular knots. This leads to an explicit, algebraic description of knot Floer homology in terms of a braid projection of the knot.
We prove that the Knot Floer homology group of a fibred knot of genus g in the Alexander grading 1-g is isomorphic to a version of the fixed point Floer homology of an area-preserving representative of the monodromy.
Knot Floer homology is a knot invariant defined using holomorphic curves. In more recent work, taking cues from bordered Floer homology,the authors described another knot invariant, called "bordered knot Floer homology", which has an explicit algebraic and combinatorial construction. In the present paper, we extend the holomorphic theory to bordered Heegaard diagrams for partial knot projections, and establish a pairing result for gluing such diagrams, in the spirit of the pairing theorem of bordered Floer homology. After making some model calculations, we obtain an identification of a variant…
Using the combinatorial approach to knot Floer homology, we define an invariant for Legendrian knots in the three-sphere, which takes values in link Floer homology. This invariant can be used to also construct an invariant of transverse knots.
We exhibit pairs of transverse knots with the same self-linking number that are not transversely isotopic, using the recently defined knot Floer homology invariant for transverse knots and some algebraic refinements of it.
Knot Floer homology is an invariant for knots discovered by the authors and, independently, Jacob Rasmussen. The discovery of this invariant grew naturally out of studying how a certain three-manifold invariant, Heegaard Floer homology, changes as the three-manifold undergoes Dehn surgery along a knot. Since its original definition, thanks to the contributions of many researchers, knot Floer homology has emerged as a useful tool for studying knots in its own right. We give here a few selected highlights of this theory, and then move on to some new algebraic developments in the computation of k…
We prove that if positive integer p-surgery along a knot K \subset S^3 produces an L-space and it bounds a sharp 4-manifold, then the knot genus obeys the bound 2g(K) -1 \leq p - \sqrt{3p+1}. Moreover, there exists an infinite family of pairs (K_n,p_n) attaining this bound, where K_n denotes an n-fold iterated cable of the unknot and p_n \to \infty. In particular, the stated bound applies when the knot surgery produces a lens space or a connected sum thereof. Combined with work of Gordon-Luecke, Hoffman, and Matignon-Sayari, it follows that if surgery along a knot produces a connected sum of l…
We study the behavior of the degree of the colored Jones polynomial and the boundary slopes of knots under the operation of cabling. We show that, under certain hypothesis on this degree, if a knot $K$ satisfies the Slope Conjecture then a $(p, q)$-cable of $K$ satisfies the conjecture, provided that $p/q$ is not a Jones slope of $K$. As an application we prove the Slope Conjecture for iterated cables of adequate knots and for iterated torus knots. Furthermore we show that, for these knots, the degree of the colored Jones polynomial also determines the topology of a surface that satisfies the …
We examine geometric properties of a knot J that are unchanged by taking a (p,q)-cable K of J. Specifically, we relate w(K) to w(J), where w(K) is the width of K in the sense of Gabai. We use this information to demonstrate that thin position is a minimal bridge position of J if and only if the same is true for K, and more generally we show that any thin position of K is an "obvious" cabling of a thin position of J. We conclude by proving that J is meridionally small (mp-small) if and only if K is meridionally small (mp-small), and if J is mp-small and every non-minimal bridge position of J is…
We derive symmetries and adjunction inequalities of the knot Floer homology groups which appear to be especially interesting for homologically essential knots. Furthermore, we obtain an adjunction inequality for cobordism maps in knot Floer homologies. We demonstrate the adjunction inequalities and symmetries in explicit calculations which recover some of the main results from [1] on longitude Floer homology and also give rise to vanishing results on knot Floer homologies. Furthermore, using symmetries we prove that the knot Floer homology of a fiber distinguishes $\stwo\times\sone$ from other…
We prove an explicit cabling formula for the colored Jones polynomial. As an application we prove the volume conjecture for all zero volume knots and links, i.e. all knots and links that are obtained from the unknot by repeated cabling and connected sum.
Let $K$ be a rationally null-homologous knot in a three-manifold $Y$. We construct a version of knot Floer homology in this context, including a description of the Floer homology of a three-manifold obtained as Morse surgery on the knot $K$. As an application, we express the Heegaard Floer homology of rational surgeries on $Y$ along a null-homologous knot $K$ in terms of the filtered homotopy type of the knot invariant for $K$. This has applications to Dehn surgery problems for knots in $S^3$. In a different direction, we use the techniques developed here to calculate the Heegaard Floer homolo…
Let $K$ be a null-homologous knot in a three-manifold $Y$. We give a description of the Heegaard Floer homology of integer surgeries on $Y$ along $K$ in terms of the filtered homotopy type of the knot invariant for $K$. As an illustration, we calculate the Heegaard Floer homology groups of non-trivial circle bundles over Riemann surfaces.
Ozsvath and Szabo proved that knot Floer homology determines the genera of knots in S^3. We will generalize this deep result to links in homology 3-spheres, by adapting their method. Our proof relies on a result of Gabai and some constructions related to foliations. We also interpret a theorem of Kauffman in the world of knot Floer homology, hence we can compute the top filtration term of the knot Floer homology for alternative links.
Given a crossing in a planar diagram of a link in the three-sphere, we show that the knot Floer homologies of the link and its two resolutions at that crossing are related by an exact triangle. As a consequence, we deduce that for any quasi-alternating knot, the total rank of its knot Floer homology is equal to the determinant of the knot.
We describe a new method for combinatorially computing the transverse invariant in knot Floer homology. Previous work of the authors and Stone used braid diagrams to combinatorially compute knot Floer homology of braid closures. However, that approach was unable to explicitly identify the invariant of transverse links that naturally appears in braid diagrams. In this paper, we improve the previous approach in order to compute the transverse invariant. We define a new combinatorial complex that computes knot Floer homology and identify the BRAID invariant of transverse knots and links in the ho…
We show that the integer homology sphere obtained by splicing two nontrivial knot complements in integer homology sphere L-spaces has Heegaard Floer homology rank strictly greater than one. In particular, splicing the complements of nontrivial knots in the 3-sphere never produces an L-space. The proof uses bordered Floer homology.
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.
We study naturality properties of the transverse invariant in knot Floer homology under contact (+1)-surgery. This can be used as a calculational tool for the transverse invariant. As a consequence, we show that the Eliashberg-Chekanov twist knots E_n are not transversely simple for n odd and n>3.
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 they do not vanish for certain non--loose knots in overtwisted 3--spheres. Moreover, we apply the invariants to find transversely non--simple knot types in many overtwisted contact 3--manifolds.
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 purely combinatorial description of the knot Floer homology of K.
We use Heegaard Floer homology to give obstructions to unknotting a knot with a single crossing change. These restrictions are particularly useful in the case where the knot in question is alternating. As an example, we use them to classify all knots with crossing number less than or equal to nine and unknotting number equal to one. We also classify alternating knots with ten crossings and unknotting number equal to one.
We iterate Manolescu's unoriented skein exact triangle in knot Floer homology with coefficients in the field of rational functions over $\mathbb{Z}/2\mathbb{Z}$. The result is a spectral sequence which converges to a stabilized version of delta-graded knot Floer homology. The $(E_2,d_2)$ page of this spectral sequence is an algorithmically computable chain complex expressed in terms of spanning trees, and we show that there are no higher differentials. This gives the first combinatorial spanning tree model for knot Floer homology.
We complete the first step in a two-part program proposed by Baker, Grigsby, and the author to prove that Berge's construction of knots in the three-sphere which admit lens space surgeries is complete. The first step, which we prove here, is to show that a knot in a lens space with a three-sphere surgery has simple (in the sense of rank) knot Floer homology. The second (conjectured) step involves showing that, for a fixed lens space, the only knots with simple Floer homology belong to a simple finite family. Using results of Baker, we provide evidence for the conjectural part of the program by…
We present a braid-theoretic approach to combinatorially computing knot Floer homology. To a knot or link K, which is braided about the standard disk open book decomposition for (S^3,ξ_std), we associate a corresponding multi-pointed nice Heegaard diagram. We then describe an explicit algorithm for computing the associated knot Floer homology groups. We compute explicit bounds for the computational complexity of our algorithm and demonstrate that, in many cases, it is significantly faster than the previous approach using grid diagrams.
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.
Let $K$ be a rationally null-homologous knot in a $3$-manifold $Y$, equipped with a nonzero framing $λ$, and let $Y_λ(K)$ denote the result of $λ$-framed surgery on $Y$. Ozsváth and Szabó gave a formula for the Heegaard Floer homology groups of $Y_λ(K)$ in terms of the knot Floer complex of $(Y,K)$. We strengthen this formula by adding a second filtration that computes the knot Floer complex of the dual knot $K_λ$ in $Y_λ$, i.e., the core circle of the surgery solid torus. In the course of proving our refinement we derive a combinatorial formula for the Alexander grading which may be of indepe…
We prove that the knot Floer homology of a fibered knot is nontrivial in its next-to-top Alexander grading. Immediate applications include new proofs of Krcatovich's result that knots with $L$-space surgeries are prime and Hedden and Watson's result that the rank of knot Floer homology detects the trefoil among knots in the 3--sphere. We also generalize the latter result, proving a similar theorem for nullhomologous knots in any 3--manifold. We note that our method of proof inspired Baldwin and Sivek's recent proof that Khovanov homology detects the trefoils. As part of this work, we also intr…
We use the knot filtration on the Heegaard Floer complex to define an integer invariant tau(K) for knots. Like the classical signature, this invariant gives a homomorphism from the knot concordance group to Z. As such, it gives lower bounds for the slice genus (and hence also the unknotting number) of a knot; but unlike the signature, tau gives sharp bounds on the four-ball genera of torus knots. As another illustration, we calculate the invariant for several ten-crossing knots.
Similar to knots in S^3, any knot in a lens space has a grid diagram from which one can combinatorially compute all of its knot Floer homology invariants. We give an explicit description of the generators, differentials, and rational Maslov and Alexander gradings in terms of combinatorial data on the grid diagram. Motivated by existing results for the Floer homology of knots in S^3 and the similarity of the combinatorics presented here, we conjecture that a certain family of knots is characterized by their Floer homology. Coupled with work of the third author, an affirmative answer to this wou…
We prove that the LOSS and GRID invariants of Legendrian links in knot Floer homology behave in certain functorial ways with respect to decomposable Lagrangian cobordisms in the symplectization of the standard contact structure on $\mathbb{R}^3$. Our results give new, computable, and effective obstructions to the existence of such cobordisms.
Using contact-geometric techniques and sutured Floer homology, we present an alternate formulation of the minus and plus version of knot Floer homology. We further show how natural constructions in the realm of contact geometry give rise to much of the formal structure relating the various versions of Heegaard Floer homology. In addition, to a Legendrian or transverse knot K in a contact manifold (Y,ξ), we associate distinguished classes EHL(K) in the minus-version of knot floer homology and EHIL(K) in the plus version, which are each invariant under Legendrian or transverse isotopies of K. Th…
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 a cabling formula for the concordance invariant $ν^+$, defined by the author and Hom. This gives rise to a simple and effective 4-ball genus bound for many cable knots.
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.
