Links, quantum groups and TQFTs

Sawin, Stephen

doi:10.1090/S0273-0979-96-00690-8

Links, quantum groups and TQFTs
HTML articles powered by AMS MathViewer

by Stephen Sawin PDF

Bull. Amer. Math. Soc. 33 (1996), 413-445 Request permission

Abstract:

The Jones polynomial and the Kauffman bracket are constructed, and their relation with knot and link theory is described. The quantum groups and tangle functor frameworks for understanding these invariants and their descendents are given. The quantum group $U_q(sl_2)$, which gives rise to the Jones polynomial, is constructed explicitly. The $3$-manifold invariants and the axiomatic topological quantum field theories which arise from these link invariants at certain values of the parameter are constructed and proven to be invariant.

References

Henning Haahr Andersen, Tensor products of quantized tilting modules, Comm. Math. Phys. 149 (1992), no. 1, 149–159. MR 1182414, DOI 10.1007/BF02096627
Henning Haahr Andersen and Jan Paradowski, Fusion categories arising from semisimple Lie algebras, Comm. Math. Phys. 169 (1995), no. 3, 563–588. MR 1328736, DOI 10.1007/BF02099312
Scott Axelrod and I. M. Singer, Chern-Simons perturbation theory, Proceedings of the XXth International Conference on Differential Geometric Methods in Theoretical Physics, Vol. 1, 2 (New York, 1991) World Sci. Publ., River Edge, NJ, 1992, pp. 3–45. MR 1225107
Scott Axelrod and I. M. Singer, Chern-Simons perturbation theory. II, J. Differential Geom. 39 (1994), no. 1, 173–213. MR 1258919
Michael Atiyah, New invariants of $3$- and $4$-dimensional manifolds, The mathematical heritage of Hermann Weyl (Durham, NC, 1987) Proc. Sympos. Pure Math., vol. 48, Amer. Math. Soc., Providence, RI, 1988, pp. 285–299. MR 974342, DOI 10.1090/pspum/048/974342
Michael Atiyah, Topological quantum field theories, Inst. Hautes Études Sci. Publ. Math. 68 (1988), 175–186 (1989). MR 1001453, DOI 10.1007/BF02698547
Michael Atiyah, The geometry and physics of knots, Lezioni Lincee. [Lincei Lectures], Cambridge University Press, Cambridge, 1990. MR 1078014, DOI 10.1017/CBO9780511623868
Michael Atiyah, On framings of $3$-manifolds, Topology 29 (1990), no. 1, 1–7. MR 1046621, DOI 10.1016/0040-9383(90)90021-B
S. Axelrod. Geometric Quantization of Chern-Simons Gauge Theory. PhD thesis, Princeton University, 1991.
R. H. J. Germay, Généralisation de l’équation de Hesse, Ann. Soc. Sci. Bruxelles Sér. I 59 (1939), 139–144 (French). MR 86
A. A. Belavin and V. G. Drinfel′d, Solutions of the classical Yang-Baxter equation for simple Lie algebras, Funktsional. Anal. i Prilozhen. 16 (1982), no. 3, 1–29, 96 (Russian). MR 674005
C. Blanchet, N. Habegger, G. Masbaum, and P. Vogel, Three-manifold invariants derived from the Kauffman bracket, Topology 31 (1992), no. 4, 685–699. MR 1191373, DOI 10.1016/0040-9383(92)90002-Y
T. Venkatarayudu, The $7$-$15$ problem, Proc. Indian Acad. Sci., Sect. A. 9 (1939), 531. MR 0000001, DOI 10.1090/gsm/058
Joan S. Birman, New points of view in knot theory, Bull. Amer. Math. Soc. (N.S.) 28 (1993), no. 2, 253–287. MR 1191478, DOI 10.1090/S0273-0979-1993-00389-6
Joan S. Birman and Xiao-Song Lin, Knot polynomials and Vassiliev’s invariants, Invent. Math. 111 (1993), no. 2, 225–270. MR 1198809, DOI 10.1007/BF01231287
T. Venkatarayudu, The $7$-$15$ problem, Proc. Indian Acad. Sci., Sect. A. 9 (1939), 531. MR 0000001, DOI 10.1090/gsm/058
Gerhard Burde and Heiner Zieschang, Knots, De Gruyter Studies in Mathematics, vol. 5, Walter de Gruyter & Co., Berlin, 1985. MR 808776
Józef Marcinkiewicz and Antoni Zygmund, Sur la dérivée seconde généralisée, Bull. Sém. Math. Univ. Wilno 2 (1939), 35–40 (French). MR 45
Vyjayanthi Chari and Andrew Pressley, A guide to quantum groups, Cambridge University Press, Cambridge, 1994. MR 1300632
L. Crane, $2$-d physics and $3$-d topology, Comm. Math. Phys. 135 (1991), no. 3, 615–640. MR 1091581, DOI 10.1007/BF02104124
V. G. Drinfel′d, Constant quasiclassical solutions of the Yang-Baxter quantum equation, Dokl. Akad. Nauk SSSR 273 (1983), no. 3, 531–535 (Russian). MR 725930
V. G. Drinfel′d, Hopf algebras and the quantum Yang-Baxter equation, Dokl. Akad. Nauk SSSR 283 (1985), no. 5, 1060–1064 (Russian). MR 802128
V. G. Drinfel′d, Quantum groups, Proceedings of the International Congress of Mathematicians, Vol. 1, 2 (Berkeley, Calif., 1986) Amer. Math. Soc., Providence, RI, 1987, pp. 798–820. MR 934283
Ludvig Faddeev, Integrable models in $(1+1)$-dimensional quantum field theory, Recent advances in field theory and statistical mechanics (Les Houches, 1982) North-Holland, Amsterdam, 1984, pp. 561–608. MR 782509
Roger Fenn and Colin Rourke, On Kirby’s calculus of links, Topology 18 (1979), no. 1, 1–15. MR 528232, DOI 10.1016/0040-9383(79)90010-7
L. D. Faddeev and L. A. Takhtajan, Hamiltonian methods in the theory of solitons, Springer Series in Soviet Mathematics, Springer-Verlag, Berlin, 1987. Translated from the Russian by A. G. Reyman [A. G. Reĭman]. MR 905674, DOI 10.1007/978-3-540-69969-9
Peter J. Freyd and David N. Yetter, Braided compact closed categories with applications to low-dimensional topology, Adv. Math. 77 (1989), no. 2, 156–182. MR 1020583, DOI 10.1016/0001-8708(89)90018-2
P. Freyd, D. Yetter, J. Hoste, W. B. R. Lickorish, K. Millett, and A. Ocneanu, A new polynomial invariant of knots and links, Bull. Amer. Math. Soc. (N.S.) 12 (1985), no. 2, 239–246. MR 776477, DOI 10.1090/S0273-0979-1985-15361-3
S. Garoufalidis. Applications of TQFT invariants to low-dimensional topology. (to appear in Topology).
S. Garoufalidis and J. Levine. On finite type $3$-manifold invariants II. preprint, June 1995.
Geoffrey Hemion, The classification of knots and $3$-dimensional spaces, Oxford Science Publications, The Clarendon Press, Oxford University Press, New York, 1992. MR 1211184
James E. Humphreys, Introduction to Lie algebras and representation theory, Graduate Texts in Mathematics, Vol. 9, Springer-Verlag, New York-Berlin, 1972. MR 0323842, DOI 10.1007/978-1-4612-6398-2
Michio Jimbo, A $q$-difference analogue of $U({\mathfrak {g}})$ and the Yang-Baxter equation, Lett. Math. Phys. 10 (1985), no. 1, 63–69. MR 797001, DOI 10.1007/BF00704588
V. F. R. Jones, Index for subfactors, Invent. Math. 72 (1983), no. 1, 1–25. MR 696688, DOI 10.1007/BF01389127
Vaughan F. R. Jones, A polynomial invariant for knots via von Neumann algebras, Bull. Amer. Math. Soc. (N.S.) 12 (1985), no. 1, 103–111. MR 766964, DOI 10.1090/S0273-0979-1985-15304-2
André Joyal and Ross Street, Braided tensor categories, Adv. Math. 102 (1993), no. 1, 20–78. MR 1250465, DOI 10.1006/aima.1993.1055
F. Jaeger, D. L. Vertigan, and D. J. A. Welsh, On the computational complexity of the Jones and Tutte polynomials, Math. Proc. Cambridge Philos. Soc. 108 (1990), no. 1, 35–53. MR 1049758, DOI 10.1017/S0305004100068936
Christian Kassel, Quantum groups, Graduate Texts in Mathematics, vol. 155, Springer-Verlag, New York, 1995. MR 1321145, DOI 10.1007/978-1-4612-0783-2
L. H. Kauffman. An invariant of regular isotopy. Announcement–1985, preprint–1986.
Louis H. Kauffman, On knots, Annals of Mathematics Studies, vol. 115, Princeton University Press, Princeton, NJ, 1987. MR 907872
Louis H. Kauffman, Statistical mechanics and the Jones polynomial, Braids (Santa Cruz, CA, 1986) Contemp. Math., vol. 78, Amer. Math. Soc., Providence, RI, 1988, pp. 263–297. MR 975085, DOI 10.1090/conm/078/975085
Louis H. Kauffman, Knots and physics, Series on Knots and Everything, vol. 1, World Scientific Publishing Co., Inc., River Edge, NJ, 1991. MR 1141156, DOI 10.1142/9789812796226
W. T. Thompson (Lord Kelvin). On vortex atoms. Philosophical Magazine, 34:15–24, July 1867.
A. A. Kirillov. On inner product in modular tensor categories, I. q-alg/9508017, (to appear in J. Amer. Math. Soc.).
Robion Kirby, A calculus for framed links in $S^{3}$, Invent. Math. 45 (1978), no. 1, 35–56. MR 467753, DOI 10.1007/BF01406222
Louis H. Kauffman and Sóstenes L. Lins, Temperley-Lieb recoupling theory and invariants of $3$-manifolds, Annals of Mathematics Studies, vol. 134, Princeton University Press, Princeton, NJ, 1994. MR 1280463, DOI 10.1515/9781400882533
Robion Kirby and Paul Melvin, The $3$-manifold invariants of Witten and Reshetikhin-Turaev for $\textrm {sl}(2,\textbf {C})$, Invent. Math. 105 (1991), no. 3, 473–545. MR 1117149, DOI 10.1007/BF01232277
Toshitake Kohno, Topological invariants for $3$-manifolds using representations of mapping class groups. I, Topology 31 (1992), no. 2, 203–230. MR 1167165, DOI 10.1016/0040-9383(92)90016-B
Maxim Kontsevich, Feynman diagrams and low-dimensional topology, First European Congress of Mathematics, Vol. II (Paris, 1992) Progr. Math., vol. 120, Birkhäuser, Basel, 1994, pp. 97–121. MR 1341841
Victor G. Kac and Dale H. Peterson, Infinite-dimensional Lie algebras, theta functions and modular forms, Adv. in Math. 53 (1984), no. 2, 125–264. MR 750341, DOI 10.1016/0001-8708(84)90032-X
A. N. Kirillov and N. Yu. Reshetikhin, Representations of the algebra ${U}_q(\textrm {sl}(2)),\;q$-orthogonal polynomials and invariants of links, Infinite-dimensional Lie algebras and groups (Luminy-Marseille, 1988) Adv. Ser. Math. Phys., vol. 7, World Sci. Publ., Teaneck, NJ, 1989, pp. 285–339. MR 1026957
A. N. Kirillov and N. Reshetikhin, $q$-Weyl group and a multiplicative formula for universal $R$-matrices, Comm. Math. Phys. 134 (1990), no. 2, 421–431. MR 1081014, DOI 10.1007/BF02097710
Louis H. Kauffman and David E. Radford, Invariants of $3$-manifolds derived from finite-dimensional Hopf algebras, J. Knot Theory Ramifications 4 (1995), no. 1, 131–162. MR 1321293, DOI 10.1142/S0218216595000077
G. Kuperberg. Non-involutory Hopf algebras and 3-manifold invariants. (to appear in Duke Math. J.).
Greg Kuperberg, Involutory Hopf algebras and $3$-manifold invariants, Internat. J. Math. 2 (1991), no. 1, 41–66. MR 1082836, DOI 10.1142/S0129167X91000053
Greg Kuperberg, The quantum $G_2$ link invariant, Internat. J. Math. 5 (1994), no. 1, 61–85. MR 1265145, DOI 10.1142/S0129167X94000048
M. M. Kapranov and V. A. Voevodsky. Braided monoidal $2$-categories, $2$-vector spaces and Zamalodchikov tetrahedra equations. (unpublished).
Victor G. Kac and Minoru Wakimoto, Modular and conformal invariance constraints in representation theory of affine algebras, Adv. in Math. 70 (1988), no. 2, 156–236. MR 954660, DOI 10.1016/0001-8708(88)90055-2
W. B. R. Lickorish, A representation of orientable combinatorial $3$-manifolds, Ann. of Math. (2) 76 (1962), 531–540. MR 151948, DOI 10.2307/1970373
W. B. R. Lickorish, Invariants for $3$-manifolds from the combinatorics of the Jones polynomial, Pacific J. Math. 149 (1991), no. 2, 337–347. MR 1105702, DOI 10.2140/pjm.1991.149.337
X.-S. Lin. Finite type invariants of integral homology $3$-spheres: A survey. q-alg/9510003, (to appear in Proceedings of Warsaw Workshop on Knot Theory).
W. B. R. Lickorish and K. C. Millett, The new polynomial invariants of knots and links, Math. Mag. 61 (1988), no. 1, 3–23. MR 934822, DOI 10.2307/2690324
Richard G. Larson and David E. Radford, Semisimple cosemisimple Hopf algebras, Amer. J. Math. 110 (1988), no. 1, 187–195. MR 926744, DOI 10.2307/2374545
G. Lusztig, Quantum deformations of certain simple modules over enveloping algebras, Adv. in Math. 70 (1988), no. 2, 237–249. MR 954661, DOI 10.1016/0001-8708(88)90056-4
George Lusztig, Introduction to quantum groups, Progress in Mathematics, vol. 110, Birkhäuser Boston, Inc., Boston, MA, 1993. MR 1227098
Saunders MacLane, Categories for the working mathematician, Graduate Texts in Mathematics, Vol. 5, Springer-Verlag, New York-Berlin, 1971. MR 0354798
S. Majid. Sequences of bicrossproduct and double crossproduct Hopf algebras. In International Conference on Hopf Algebras, Beer Sheva, Israel. 1989.
Shahn Majid, Quasitriangular Hopf algebras and Yang-Baxter equations, Internat. J. Modern Phys. A 5 (1990), no. 1, 1–91. MR 1027945, DOI 10.1142/S0217751X90000027
T. Venkatarayudu, The $7$-$15$ problem, Proc. Indian Acad. Sci., Sect. A. 9 (1939), 531. MR 0000001, DOI 10.1090/gsm/058
Tomotada Ohtsuki, A polynomial invariant of integral homology $3$-spheres, Math. Proc. Cambridge Philos. Soc. 117 (1995), no. 1, 83–112. MR 1297897, DOI 10.1017/S0305004100072935
T. Venkatarayudu, The $7$-$15$ problem, Proc. Indian Acad. Sci., Sect. A. 9 (1939), 531. MR 0000001, DOI 10.1090/gsm/058
Józef H. Przytycki and PawełTraczyk, Conway algebras and skein equivalence of links, Proc. Amer. Math. Soc. 100 (1987), no. 4, 744–748. MR 894448, DOI 10.1090/S0002-9939-1987-0894448-2
Frank Quinn, Lectures on axiomatic topological quantum field theory, Geometry and quantum field theory (Park City, UT, 1991) IAS/Park City Math. Ser., vol. 1, Amer. Math. Soc., Providence, RI, 1995, pp. 323–453. MR 1338394, DOI 10.1090/pcms/001/05
N. Yu. Reshetikhin. Quantized universal enveloping algebras, the Yang-Baxter equation, and invariants of links, I and II. LOMI Preprints, E-4-87,E-17-87, 1988.
J. Roberts. The Kirby calculus for manifolds with boundary. preprint.
T. Venkatarayudu, The $7$-$15$ problem, Proc. Indian Acad. Sci., Sect. A. 9 (1939), 531. MR 0000001, DOI 10.1090/gsm/058
Dale Rolfsen, Knots and links, Mathematics Lecture Series, No. 7, Publish or Perish, Inc., Berkeley, Calif., 1976. MR 0515288
Marc Rosso, Algèbres enveloppantes quantifiées, groupes quantiques compacts de matrices et calcul différentiel non commutatif, Duke Math. J. 61 (1990), no. 1, 11–40 (French). MR 1068378, DOI 10.1215/S0012-7094-90-06102-2
Marc Rosso, Analogues de la forme de Killing et du théorème d’Harish-Chandra pour les groupes quantiques, Ann. Sci. École Norm. Sup. (4) 23 (1990), no. 3, 445–467 (French). MR 1055444, DOI 10.24033/asens.1607
L. Rozanski. The trivial connection contribution to Witten’s invariants of rational homology $3$-spheres. preprint, 1995.
N. Yu. Reshetikhin and V. G. Turaev, Ribbon graphs and their invariants derived from quantum groups, Comm. Math. Phys. 127 (1990), no. 1, 1–26. MR 1036112, DOI 10.1007/BF02096491
N. Reshetikhin and V. G. Turaev, Invariants of $3$-manifolds via link polynomials and quantum groups, Invent. Math. 103 (1991), no. 3, 547–597. MR 1091619, DOI 10.1007/BF01239527
S. Sawin. Links, tangles and three manifolds: An invitation to quantum topology. lecture notes.
Steven Shnider and Shlomo Sternberg, Quantum groups, Graduate Texts in Mathematical Physics, II, International Press, Cambridge, MA, 1993. From coalgebras to Drinfel′d algebras; A guided tour. MR 1287162
Moss E. Sweedler, Hopf algebras, Mathematics Lecture Note Series, W. A. Benjamin, Inc., New York, 1969. MR 0252485
A. Tsuchiya and Y. Kanie, Errata to: “Vertex operators in conformal field theory on $\textbf {P}^1$ and monodromy representations of braid group” [in Conformal field theory and solvable lattice models (Kyoto, 1986), 297–372, Academic Press, Boston, MA, 1988; MR0972998 (89m:81166)], Integrable systems in quantum field theory and statistical mechanics, Adv. Stud. Pure Math., vol. 19, Academic Press, Boston, MA, 1989, pp. 675–682. MR 1048608
Bruce Trace, On the Reidemeister moves of a classical knot, Proc. Amer. Math. Soc. 89 (1983), no. 4, 722–724. MR 719004, DOI 10.1090/S0002-9939-1983-0719004-4
V. G. Turaev, The Yang-Baxter equation and invariants of links, Invent. Math. 92 (1988), no. 3, 527–553. MR 939474, DOI 10.1007/BF01393746
V. G. Turaev, Operator invariants of tangles, and $R$-matrices, Izv. Akad. Nauk SSSR Ser. Mat. 53 (1989), no. 5, 1073–1107, 1135 (Russian); English transl., Math. USSR-Izv. 35 (1990), no. 2, 411–444. MR 1024455, DOI 10.1070/IM1990v035n02ABEH000711
Vladimir G. Turaev, Modular categories and $3$-manifold invariants, Internat. J. Modern Phys. B 6 (1992), no. 11-12, 1807–1824. Topological and quantum group methods in field theory and condensed matter physics. MR 1186845, DOI 10.1142/S0217979292000876
V. G. Turaev, Quantum invariants of knots and 3-manifolds, De Gruyter Studies in Mathematics, vol. 18, Walter de Gruyter & Co., Berlin, 1994. MR 1292673, DOI 10.1515/9783110883275
V. G. Turaev and O. Ya. Viro, State sum invariants of $3$-manifolds and quantum $6j$-symbols, Topology 31 (1992), no. 4, 865–902. MR 1191386, DOI 10.1016/0040-9383(92)90015-A
V. Turaev and H. Wenzl, Quantum invariants of $3$-manifolds associated with classical simple Lie algebras, Internat. J. Math. 4 (1993), no. 2, 323–358. MR 1217386, DOI 10.1142/S0129167X93000170
V. A. Vassiliev, Cohomology of knot spaces, Theory of singularities and its applications, Adv. Soviet Math., vol. 1, Amer. Math. Soc., Providence, RI, 1990, pp. 23–69. MR 1089670
V. A. Vassiliev, Complements of discriminants of smooth maps: topology and applications, Translations of Mathematical Monographs, vol. 98, American Mathematical Society, Providence, RI, 1992. Translated from the Russian by B. Goldfarb. MR 1168473, DOI 10.1090/conm/478
Erik Verlinde, Fusion rules and modular transformations in $2$D conformal field theory, Nuclear Phys. B 300 (1988), no. 3, 360–376. MR 954762, DOI 10.1016/0550-3213(88)90603-7
K. Walker. On Witten’s 3-manifold invariants. (preprint).
Hans Wenzl, Braids and invariants of $3$-manifolds, Invent. Math. 114 (1993), no. 2, 235–275. MR 1240638, DOI 10.1007/BF01232670
Edward Witten, Quantum field theory and the Jones polynomial, Comm. Math. Phys. 121 (1989), no. 3, 351–399. MR 990772, DOI 10.1007/BF01217730
Edward Witten, Gauge theories and integrable lattice models, Nuclear Phys. B 322 (1989), no. 3, 629–697. MR 1010205, DOI 10.1016/0550-3213(89)90232-0
David N. Yetter, Markov algebras, Braids (Santa Cruz, CA, 1986) Contemp. Math., vol. 78, Amer. Math. Soc., Providence, RI, 1988, pp. 705–730. MR 975104, DOI 10.1090/conm/078/975104