We summarize recent work on a combinatorial knot invariant called knot contact homology. We also discuss the origins of this invariant in symplectic topology, via holomorphic curves and a conormal bundle naturally associated to the knot.
We classify the simple sheaves microsupported along the conormal bundle of a knot. We also establish a correspondence between simple sheaves up to local systems and augmentations, explaining the underlying reason why knot contact homology representations detect augmentations.
We define the Floer complex for Hamiltonian orbits on the cotangent bundle of a compact manifold satisfying non-local conormal boundary conditions. We prove that the homology of this chain complex is isomorphic to the singular homology of the natural path space associated to the boundary conditions.
We apply the conormal construction to a hyperbolic knot $K \subset S^3$, and study the sutured contact manifold $(V, ξ)$ obtained by taking the complement of a standard neighbourhood of the unit conormal $\La_K \subset (ST^*S^3, ξ_\text{st})$. We show that the sutured Legendrian contact homology of a unit fiber $\La_0$, with its product structure, is a complete invariant of the knot (up to mirror). This can also be seen as the computation of the homology of the fiber in $ST^* S^3$, stopped at $\La_K$. Our main tool is, for any submanifold $N \subset M$, an explicit relationship between the com…
We give a construction of Piunikhin--Salamon--Schwarz isomorphism between the Morse homology and the Floer homology generated by Hamiltonian orbits starting at the zero section and ending at the conormal bundle. We also prove that this isomorphism is natural in the sense that it commutes with the isomorphisms between the Morse homology for different choices of the Morse function and the Floer homology for different choices of the Hamiltonian. We define a product on the Floer homology and prove triangle inequality for conormal spectral invariants with respect to this product.
We offer a new construction of Lagrangian submanifolds for the Gopakumar-Vafa conjecture relating the Chern-Simons theory on the 3-sphere and the Gromov-Witten theory on the resolved conifold. Given a knot in the 3-sphere its conormal bundle is perturbed to disconnect it from the zero section and then pulled through the conifold transition. The construction produces totally real submanifolds of the resolved conifold that are Lagrangian in a perturbed symplectic structure and correspond to knots in a natural and explicit way. We prove that both the resolved conifold and the knot Lagrangians in …
We extend the sutured framework to the case of Legendrians with boundary. Using ideas from Lagrangian Floer theory, we define the cylindrical and the wrapped sutured Legendrian homologies of a pair of sutured Legendrians. They fit together into an exact sequence, and the exact triangle is invariant along an Legendrian isotopy fixed at the boundary. For a single Legendrian, we also define a wrapped version of its Chekanov-Eliashberg dga. Our main example of sutured Legendrian is obtained via the unit conormal construction : a submanifold $N \subset M$, such that $\partial N \subset \partial M$ …
We construct a new invariant of transverse links in the standard contact structure on R^3. This invariant is a doubly filtered version of the knot contact homology differential graded algebra (DGA) of the link. Here the knot contact homology of a link in R^3 is the Legendrian contact homology DGA of its conormal lift into the unit cotangent bundle S^*R^3 of R^3, and the filtrations are constructed by counting intersections of the holomorphic disks of the DGA differential with two conormal lifts of the contact structure. We also present a combinatorial formula for the filtered DGA in terms of b…
We construct an enhanced version of knot contact homology, and show that we can deduce from it the group ring of the knot group together with the peripheral subgroup. In particular, it completely determines a knot up to smooth isotopy. The enhancement consists of the (fully noncommutative) Legendrian contact homology associated to the union of the conormal torus of the knot and a disjoint cotangent fiber sphere, along with a product on a filtered part of this homology. As a corollary, we obtain a new, holomorphic-curve proof of a result of the third author that the Legendrian isotopy class of …
The conormal Lagrangian $L_K$ of a knot $K$ in $\mathbb{R}^3$ is the submanifold of the cotangent bundle $T^* \mathbb{R}^3$ consisting of covectors along $K$ that annihilate tangent vectors to $K$. By intersecting with the unit cotangent bundle $S^* \mathbb{R}^3$, one obtains the unit conormal $Λ_K$, and the Legendrian contact homology of $Λ_K$ is a knot invariant of $K$, known as knot contact homology. We define a version of string topology for strings in $\mathbb{R}^3 \cup L_K$ and prove that this is isomorphic in degree 0 to knot contact homology. The string topology perspective gives a top…
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).
We sketch a construction of Legendrian Symplectic Field Theory (SFT) for conormal tori of knots and links. Using large $N$ duality and Witten's connection between open Gromov-Witten invariants and Chern-Simons gauge theory, we relate the SFT of a link conormal to the colored HOMFLY-PT polynomials of the link. We present an argument that the HOMFLY-PT wave function is determined from SFT by induction on Euler characteristic, and also show how to, more directly, extract its recursion relation by elimination theory applied to finitely many noncommutative equations. The latter can be viewed as the…
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.
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.
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…
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 define partial quasi-morphisms on the group of Hamiltonian diffeomorphisms of the cotangent bundle using the spectral invariants in Lagrangian Floer homology with conormal boundary conditions, where the product compatible with the PSS isomorphism and the homological intersection product is lacking.
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 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…
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 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 recently conjectured knots-quivers correspondence relates gauge theoretic invariants of a knot $K$ in the 3-sphere to representation theory of a quiver $Q_{K}$ associated to the knot. In this paper we provide geometric and physical contexts for this conjecture within the framework of the large $N$ duality of Ooguri and Vafa, that relates knot invariants to counts of holomorphic curves with boundary on $L_{K}$, the conormal Lagrangian of the knot in the resolved conifold, and corresponding M-theory considerations. From the physics side, we show that the quiver encodes a 3d ${\mathcal N}=2$ …
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 present a topological interpretation of knot and braid contact homology in degree zero, in terms of cords and skein relations. This interpretation allows us to extend the knot invariant to embedded graphs and higher-dimensional knots. We calculate the knot invariant for two-bridge knots and relate it to double branched covers for general knots. In the appendix we show that the cord ring is determined by the fundamental group and peripheral structure of a knot and give applications.
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.
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…
Knot contact homology studies symplectic and contact geometric properties of conormals of knots in 3-manifolds using holomorphic curve techniques. It has connections to both mathematical and physical theories. On the mathematical side, we review the theory, show that it gives a complete knot invariant, and discuss its connections to Fukaya categories, string topology, and micro-local sheaves. On the physical side, we describe the connection between the augmentation variety of knot contact homology and Gromov-Witten disk potentials, and discuss the corresponding higher genus relation that quant…
Let K in S^3 be a knot, and let \widetilde{K} denote the preimage of K inside its double branched cover, Σ(K). We prove, for each integer n > 1, the existence of a spectral sequence from Khovanov's categorification of the reduced n-colored Jones polynomial of the mirror of K to the knot Floer homology of (Σ(K),\widetilde{K}) (when n odd) and to (S^3, K # K) (when n even). A corollary of our result is that Khovanov's categorification of the reduced n-colored Jones polynomial detects the unknot whenever n>1.
We prove that the pair-of-pants product on the Floer homology of the cotangent bundle of a compact manifold M corresponds to the Chas-Sullivan loop product on the singular homology of the loop space of M. We also prove related results concerning the Floer homological interpretation of the Pontrjagin product and of the Serre fibration. The techniques include a Fredholm theory for Cauchy-Riemann operators with jumping Lagrangian boundary conditions of conormal type, and a new cobordism argument replacing the standard gluing technique.