We extend knot contact homology to a theory over the ring $\mathbb{Z}[λ^{\pm 1},μ^{\pm 1}]$, with the invariant given topologically and combinatorially. The improved invariant, which is defined for framed knots in $S^3$ and can be generalized to knots in arbitrary manifolds, distinguishes the unknot and can distinguish mutants. It contains the Alexander polynomial and naturally produces a two-variable polynomial knot invariant which is related to the $A$-polynomial.
A holonomic knot is a knot in 3-space which arises as the 2-jet extension of a smooth function on the circle. A holonomic knot associated to a generic function is naturally framed by the blackboard framing of the knot diagram associated to the 1-jet extension of the function. There are two classical invariants of framed knot diagrams: the Whitney index (rotation number) W and the self linking number S. For a framed holonomic knot we show that W is bounded above by the negative of the braid index of the knot, and that the sum of W and |S| is bounded by the negative of the Euler characteristic o…
We show that for a large class of contact 3-manifolds the groups of Vassiliev invariants of Legendrian and of framed knots are canonically isomorphic. As a corollary, we obtain that the group of finite order Arnold's $J^+$-type invariants of wave fronts on a surface $F$ is isomorphic to the group of Vassiliev invariants of framed knots in the spherical cotangent bundle $ST^*F$ of $F$. On the other hand we construct the first examples of contact manifolds for which Vassiliev invariants of Legendrian knots can distinguish Legendrian knots that realize isotopic framed knots and are homotopic as L…
We show that for a big class of contact manifolds the groups of order $\leq n$ invariants (with values in an arbitrary Abelian group) of Legendrian, of transverse and of framed knots are canonically isomorphic. On the other hand for an arbitrary cooriented contact structure on $S^1\times S^2$ with the nonzero Euler class of the contact bundle we construct examples of Legendrian homotopic Legendrian knots $K_1$ and $K_2$ such that they realize isotopic framed knots but can be distinguished by finite order invariants of Legendrian knots in $S^1\times S^2$. We construct similar examples for a big…
We consider the following question: when is the manifold obtained by gluing together two knot complements an $L$-space? Hedden and Levine proved that splicing 0-framed complements of nontrivial knots never produces an $L$-space. We extend this result to allow for arbitrary integer framings. We find that splicing two integer framed nontrivial knot complements only produces an $L$-space if both knots are $L$-space knots and the framings lie in an appropriate range. The proof involves a careful analysis of the bordered Heegaard Floer invariants of each knot complement.
For any three-manifold presented as surgery on a framed link (L,Λ) in an integral homology sphere, Manolescu and Ozsváth construct a hypercube of chain complexes whose homology calculates the Heegaard Floer homology of Λ-framed surgery on Y. This carries a natural filtration that exists on any hypercube of chain complexes; we study the E_2 page of the associated spectral sequence, called Framed Floer homology. One purpose of this paper is to show that Framed Floer homology is an invariant of oriented framed links, but not an invariant of the surgered manifold. We discuss how this relates to an…
A. Henrich proved the existence of the universal finite-type invariant of order one for virtual knots. We extend the construction and the methods of her paper to framed virtual knots. To do so, we introduce the notions of virtual strings and based matrices for framed flat virtual knots.
We modify the definition of spherical knotoids to include a framing, in analogy to framed knots, and define a further modification that includes a secondary 'coframing' to obtain 'biframed' knotoids. We exhibit topological spaces whose ambient isotopy classes are in one-to-one correspondence with framed and biframed knotoids respectively. We then show how framed and biframed knotoids allow us to generalize quantum knot invariants to a knotoid setting, leading to the construction of general Reshetikhin-Turaev type biframed knotoid invariants.
Knot contact homology is an invariant of knots derived from Legendrian contact homology which has numerous connections to the knot group. We use basic properties of knot groups to prove that knot contact homology detects every torus knot. Further, if the knot contact homology of a knot is isomorphic to that of a cable (respectively composite) knot, then the knot is a cable (respectively composite).
This paper introduces two virtual knot theory ``analogues'' of a well-known family of invariants for knots in thickened surfaces: the Grishanov-Vassiliev finite-type invariants of order two. The first, called the three loop isotopy invariant, is an invariant of virtual knots while the second, called the three loop framed isotopy invariant, is a regular isotopy invariant of framed virtual knots. The properties of these invariants are investigated at length. In addition, we make precise the informal notion of ``analogue''. Using this formal definition, it is proved that a generalized three loop …
The study of the Vassiliev invariants of Legendrian knots was started by D. Fuchs and S. Tabachnikov who showed that the groups of complex-valued Vassiliev invariants of Legendrian and of framed knots in the standard contact $R^3$ are canonically isomorphic. Recently we constructed the first examples where Vassiliev invariants of Legendrian and of framed knots are different, and Vassiliev invariants of Legendrian knots distinguish Legendrian knots that are isotopic as framed knots and homotopic as Legendrian immersions. This raised the question what information about Legendrian knots can be ca…
We generalize Ng's two-variable algebraic/combinatorial $0$-th framed knot contact homology for framed oriented knots in $S^3$ to knots in $S^1 \times S^2$, and prove that the resulting knot invariant is the same as the framed cord algebra of knots. Actually, our cord algebra has an extra variable, which potentially corresponds to the third variable in Ng's three-variable knot contact homology. Our main tool is Lin's generalization of the Markov theorem for braids in $S^3$ to braids in $S^1 \times S^2$. We conjecture that our framed cord algebras are always finitely generated for non-local kno…
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 generalize three invariants, first discovered by A. Henrich, to the long and/or framed virtual knot case. These invariants are all finite-type invariants of order one, and include a universal one. The generalization will require us to extend the notion of a based matrix of a virtual string, first introduced by V. Turaev and later generalized by Henrich, to the long and framed cases.
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 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…
We give a combinatorial treatment of transverse homology, a new invariant of transverse knots that is an extension of knot contact homology. The theory comes in several flavors, including one that is an invariant of topological knots and produces a three-variable knot polynomial related to the A-polynomial. We provide a number of computations of transverse homology that demonstrate its effectiveness in distinguishing transverse knots, including knots that cannot be distinguished by the Heegaard Floer transverse invariants or other previous invariants.
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 show that there exists a Legendrian knot with maximal Thurston-Bennequin invariant whose contact homology is trivial. We also provide another Legendrian knot which has the same knot type and classical invariants but nonvanishing contact homology.
We obtain representations of the f-based Mapping Class Group of oriented punctured surfaces from an action of mapping classes on Heisenberg homologies of a circle bundle over surface configurations.
We construct an infinite family of homology theories of framed links in thickened surfaces, as well as a homology theory whose graded Euler characteristic is exactly the Kauffman bracket of the link in the surface. Both theories are based on ideas coming from Asaeda, Przytycki and Sikora's categorification of the Kauffman bracket skein module of I-bundles over surfaces. This is accomplished by borrowing ideas from Bar-Natan's Khovanov homology theory for tangles and cobordisms and using embedded surfaces to generate the chain groups, instead of diagrams.
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.
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 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 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 $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…
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…
It is well-known that self-linking is the only Z valued Vassiliev invariant of framed knots in S^3. However for most 3-manifolds, in particular for the total spaces of S^1-bundles over an orientable surface F not S^2, the space of Z-valued order one invariants is infinite dimensional. We give an explicit formula for the order one invariant I of framed knots in orientable total spaces of S^1-bundles over an orientable not necessarily compact surface F not S^2. We show that if F is not S^2 or S^1 X S^1, then I is the universal order one invariant, i.e. it distinguishes every two framed knots tha…
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.
In an earlier paper, we introduced a knot invariant for a null-homologous knot K in an oriented three-manifold Y, which is closely related to the Heegaard Floer homology of Y. In this paper we investigate some properties of these knot homology groups for knots in the three-sphere. We give a combinatorial description for the generators of the chain complex and their gradings. With the help of this description, we determine the knot homology for alternating knots, showing that in this special case, it depends only on the signature and the Alexander polynomial of the knot (generalizing a result o…
We introduce a new knot diagram invariant called the Self-Crossing Index (SCI). Using SCI, we provide bounds for unknotting two families of framed unknots. For one of these families, unknotting using framed Reidemeister moves is significantly harder than unknotting using regular Reidemeister moves. We also investigate the relation between SCI and Arnold's curve invariant St, as well as the relation with Hass and Nowik's invariant, which generalizes cowrithe. In particular, the change of SCI under Ω3 moves depends only on the forward/backward character of the move, similar to how the change of …
We present an invariant of a three-dimensional manifold with a framed knot in it based on the Reidemeister torsion of an acyclic complex of Euclidean geometric origin. To show its nontriviality, we calculate the invariant for some framed (un)knots in lens spaces. Our invariant is related to a finite-dimensional fermionic topological quantum field theory.
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…
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.
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 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 refine the Polyak-Viro Gauss diagram formula for the Vassiliev invariant of order two in a very simple way for the 2-cable of a framed long knot. Surprisingly, the resulting isotopy invariant of framed knots can detect already the non-invertibility of knots. This makes the natural generalization of our invariant for all n-component string link satellites of a framed long knot to a candidate for distinguishing all classical knots.
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 define two concordance invariants of knots using framed instanton homology. These invariants $ν^\sharp$ and $τ^\sharp$ provide bounds on slice genus and maximum self-linking number, and the latter is a concordance homomorphism which agrees in all known cases with the $τ$ invariant in Heegaard Floer homology. We use $ν^\sharp$ and $τ^\sharp$ to compute the framed instanton homology of all nonzero rational Dehn surgeries on: 20 of the 35 nontrivial prime knots through 8 crossings, infinite families of twist and pretzel knots, and instanton L-space knots; and of 19 of the first 20 closed hyper…
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 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 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 introduce BV-algebra structures on the homology of the space of framed long knots in $\mathbb{R}^n$ in two ways. The first one is given in a similar fashion to Chas-Sullivan's string topology. The second one is defined on the Hochschild homology associated with a cyclic, multiplicative operad of graded modules. The latter can be applied to Bousfield-Salvatore spectral sequence converging to the homology of the space of framed long knots. Conjecturally these two structures coincide with each other.
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.
The number $|K|$ of non-isotopic framed knots that correspond to a given unframed knot $K\subset S^3$ is infinite. This follows from the existence of the self-linking number $\slk$ of a zerohomologous framed knot. We use the approach of Vassiliev-Goussarov invariants to construct ``affine self-linking numbers'' that are extensions of $\slk$ to the case of nonzerohomologous framed knots. As a corollary we get that $|K|=\infty$ for all knots in an oriented (not necessarily compact) 3-manifold $M$ that is not realizable as a connected sum $(S^1\times S^2) # M'$. This result for compact manifolds …
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…
We introduce and study the writhe of a permutation, a circular variant of the well-known inversion number. This simple permutation statistics has several interpretations, which lead to some interesting properties. For a permutation sampled uniformly at random, we study the asymptotics of the writhe, and obtain a non-Gaussian limit distribution. This work is motivated by the study of random knots. A model for random framed knots is described, which refines the Petaluma model. The distribution of the framing in this model is equivalent to the writhe of random permutations.
The following is a long-standing open question: "If the zero-framed surgeries on two knots in the 3-sphere are integral homology cobordant, are the knots themselves concordant?" We show that an obvious rational version of this question has a negative answer. Namely, we give examples of knots whose zero-framed surgeries are rational homology cobordant 3-manifolds, wherein the knots are not rationally concordant (that is not concordant in any rational homology S^3 x [0,1]). Specifically, we prove that, for any positive integer p and any knot K, the zero framed surgery on K is Z[1/p]-homology cob…
