logo JEP
Table of contents for this volume | Previous article | Next article
Kai Cieliebak; Tobias Ekholm; Janko Latschev; Lenhard Ng
Knot contact homology, string topology, and the cord algebra
(Homologie de contact pour les nœuds, topologie des cordes et algèbre des cordes)
Journal de l'École polytechnique — Mathématiques, 4 (2017), p. 661-780, doi: 10.5802/jep.55
Article PDF | TeX source
Class. Math.: 53D42, 55P50, 57R17, 57M27
Keywords: Holomorphic curve, string topology, conormal bundle, knot invariant, Lagrangian submanifold, Legendrian submanifold

Résumé - Abstract

The conormal Lagrangian $L_K$ of a knot $K$ in $\mathbb{R}^{3}$ is the submanifold of the cotangent bundle $T^{\ast }\mathbb{R}^{3}$ consisting of covectors along $K$ that annihilate tangent vectors to $K$. By intersecting with the unit cotangent bundle $S^{\ast }\mathbb{R}^{3}$, one obtains the unit conormal $\Lambda _{K}$, and the Legendrian contact homology of $\Lambda _{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 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^{\ast }\mathbb{R}^{3}$ with boundary on $\mathbb{R}^{3}\cup L_K$.


[1] M. Aganagic, T. Ekholm, L. Ng & C. Vafa, “Topological strings, D-model, and knot contact homology”, Adv. Theo. Math. Phys. 18 (2014) no. 4, p. 827-956 Article |  MR 3277674
[2] S. Basu, J. McGibbon, D. Sullivan & M. Sullivan, “Transverse string topology and the cord algebra”, J. Symplectic Geom. 13 (2015) no. 1, p. 1-16 Article
[3] F. Bourgeois, Y. Eliashberg, H. Hofer, K. Wysocki & E. Zehnder, “Compactness results in symplectic field theory”, Geom. Topol. 7 (2003), p. 799-888 Article
[4] M. Chas & D. Sullivan, “String topology”, arXiv:math.GT/9911159, 1999
[5] K. Cieliebak, T. Ekholm & J. Latschev, “Compactness for holomorphic curves with switching Lagrangian boundary conditions”, J. Symplectic Geom. 8 (2010) no. 3, p. 267-298 Article
[6] K. Cieliebak & J. Latschev, The role of string topology in symplectic field theory, New perspectives and challenges in symplectic field theory, CRM Proc. Lecture Notes 49, American Mathematical Society, 2009, p. 113–146
[7] G. Dimitroglou Rizell, “Lifting pseudo-holomorphic polygons to the symplectisation of $P\times \mathbb{R}$ and applications”, Quantum Topol. 7 (2016) no. 1, p. 29-105 Article
[8] N. M. Dunfield & S. Garoufalidis, “Non-triviality of the $A$-polynomial for knots in $S^3$”, Algebraic Geom. Topol. 4 (2004), p. 1145-1153 Article
[9] T. Ekholm, “Morse flow trees and Legendrian contact homology in 1-jet spaces”, Geom. Topol. 11 (2007), p. 1083-1224 Article
[10] T. Ekholm, “Rational symplectic field theory over $\mathbb{Z}_2$ for exact Lagrangian cobordisms”, J. Eur. Math. Soc. (JEMS) 10 (2008) no. 3, p. 641-704 Article
[11] T. Ekholm, J. Etnyre, L. Ng & M. Sullivan, “Filtrations on the knot contact homology of transverse knots”, Math. Ann. 355 (2013) no. 4, p. 1561-1591 Article
[12] T. Ekholm, J. Etnyre, L. Ng & M. Sullivan, “Knot contact homology”, Geom. Topol. 17 (2013) no. 2, p. 975-1112 Article
[13] T. Ekholm, J. Etnyre & M. Sullivan, “The contact homology of Legendrian submanifolds in $\mathbb{R}^{2n+1}$”, J. Differential Geom. 71 (2005) no. 2, p. 177-305 Article
[14] T. Ekholm, J. Etnyre & M. Sullivan, “Orientations in Legendrian contact homology and exact Lagrangian immersions”, Internat. J. Math. 16 (2005) no. 5, p. 453-532 Article
[15] T. Ekholm, J. Etnyre & M. Sullivan, “Legendrian contact homology in $P\times \mathbb{R}$”, Trans. Amer. Math. Soc. 359 (2007) no. 7, p. 3301-3335 Article
[16] T. Ekholm & T. Kálmán, “Isotopies of Legendrian 1-knots and Legendrian 2-tori”, J. Symplectic Geom. 6 (2008) no. 4, p. 407-460 Article
[17] T. Ekholm, L. Ng & V. Shende, “A complete knot invariant from contact homology”, arXiv:1606.07050
[18] T. Ekholm & I. Smith, “Exact Lagrangian immersions with one double point revisited”, Math. Ann. 358 (2014) no. 1-2, p. 195-240 Article
[19] T. Ekholm & I. Smith, “Exact Lagrangian immersions with a single double point”, J. Amer. Math. Soc. 29 (2016) no. 1, p. 1-59 Article
[20] Y. Eliashberg, A. Givental & H. Hofer, “Introduction to symplectic field theory”, Geom. Funct. Anal. (2000), p. 560-673, Special Volume, Part II, GAFA 2000 (Tel Aviv, 1999)
[21] A. Floer, “Morse theory for Lagrangian intersections”, J. Differential Geom. 28 (1988) no. 3, p. 513-547 Article
[22] K. Fukaya, Y.-G. Oh, H. Ohta & K. Ono, Lagrangian intersection Floer theory: anomaly and obstruction. Part I, AMS/IP Studies in Advanced Mathematics 46, American Mathematical Society, Providence, RI, 2009
[23] C. Gordon & T. Lidman, “Knot contact homology detects cabled, composite, and torus knots”, arXiv:1509.01642
[24] C. Gordon & J. Luecke, “Knots are determined by their complements”, J. Amer. Math. Soc. 2 (1989) no. 2, p. 371-415 Article
[25] M. W. Hirsch, Differential topology, Graduate Texts in Math. 33, Springer-Verlag, New York-Heidelberg, 1976
[26] H. Hofer, C. H. Taubes, A. Weinstein & E. Zehnder (ed.), The Floer memorial volume, Progress in Mathematics 133, Birkhäuser Verlag, Basel, 1995
[27] H. Hofer, K. Wysocki & E. Zehnder, “A general Fredholm theory. I. A splicing-based differential geometry”, J. Eur. Math. Soc. (JEMS) 9 (2007) no. 4, p. 841-876 Article
[28] P. B. Kronheimer & T. S. Mrowka, “Dehn surgery, the fundamental group and SU$(2)$”, Math. Res. Lett. 11 (2004) no. 5-6, p. 741-754 Article
[29] R. H. Lagrange & A. H. Rhemtulla, “A remark on the group rings of order preserving permutation groups.”, Canad. Math. Bull. 11 (1968), p. 679-680 Article
[30] L. Ng, “Knot and braid invariants from contact homology. I”, Geom. Topol. 9 (2005), p. 247-297 Article
[31] L. Ng, “Knot and braid invariants from contact homology. II”, Geom. Topol. 9 (2005), p. 1603-1637, With an appendix by the author and Siddhartha Gadgil Article
[32] L. Ng, “Framed knot contact homology”, Duke Math. J. 141 (2008) no. 2, p. 365-406 Article
[33] L. Ng, “Combinatorial knot contact homology and transverse knots”, Adv. Math. 227 (2011) no. 6, p. 2189-2219 Article
[34] L. Ng, A topological introduction to knot contact homology, Contact and symplectic topology, Bolyai Soc. Math. Stud. 26, János Bolyai Math. Soc., 2014, p. 485–530
[35] V. Shende, “The conormal torus is a complete knot invariant”, arXiv:1604.03520
[36] D. Sullivan, Open and closed string field theory interpreted in classical algebraic topology, Topology, geometry and quantum field theory, London Math. Soc. Lecture Note Ser. 308, Cambridge Univ. Press, 2004, p. 344–357
[37] D. Sullivan, String topology background and present state, Current developments in mathematics, 2005, Int. Press, 2007, p. 41–88