Knot contact homology, string topology, and the cord algebra

Abstract

The conormal Lagrangian LKof a knot K in R3is the submanifold of the cotangent bundle T∗R3consisting of covectors along K that annihilate tangent vectors to K. By intersecting with the unit cotangent bundle S∗R3, one obtains the unit conormal ΛK, and the Legendrian contact homology of ΛKis a knot invariant of K, known as knot contact homology. We define a version of string topology for strings in R3∪ LKand prove that this is isomorphic in degree 0 to knot contact homology. The string topology perspective gives a topological derivation of the cord algebra (also isomorphic to degree 0 knot contact homology) and relates it to the knot group. Together with the isomorphism this gives a new proof that knot contact homology detects the unknot. Our techniques involve a detailed analysis of certain moduli spaces of holomorphic disks in T∗R3with boundary on R3∪ LK.