AMS eBook CollectionsOne of the world's most respected mathematical collections, available in digital format for your library or institution
Knot invariants and higher representation theory
About this Title
Ben Webster, Department of Mathematics, University of Virginia, Charlottesville, Virginia
Publication: Memoirs of the American Mathematical Society
Publication Year:
2017; Volume 250, Number 1191
ISBNs: 978-1-4704-2650-7 (print); 978-1-4704-4206-4 (online)
DOI: https://doi.org/10.1090/memo/1191
Published electronically: September 7, 2017
Table of Contents
Chapters
- 1. Introduction
- 2. Categorification of quantum groups
- 3. Cyclotomic quotients
- 4. The tensor product algebras
- 5. Standard modules
- 6. Braiding functors
- 7. Rigidity structures
- 8. Knot invariants
- 9. Comparison to category $\mathcal {O}$ and other knot homologies
Abstract
We construct knot invariants categorifying the quantum knot variants for all representations of quantum groups. We show that these invariants coincide with previous invariants defined by Khovanov for $\mathfrak {sl}_2$ and $\mathfrak {sl}_3$ and by Mazorchuk-Stroppel and Sussan for $\mathfrak {sl}_n$.
Our technique is to study 2-representations of 2-quantum groups (in the sense of Rouquier and Khovanov-Lauda) categorifying tensor products of irreducible representations. These are the representation categories of certain finite dimensional algebras with an explicit diagrammatic presentation, generalizing the cyclotomic quotient of the KLR algebra. When the Lie algebra under consideration is $\mathfrak {sl}_n$, we show that these categories agree with certain subcategories of parabolic category $\mathcal {O}$ for $\mathfrak {gl}_k$.
We also investigate the finer structure of these categories: they are standardly stratified and satisfy a double centralizer property with respect to their self-dual modules. The standard modules of the stratification play an important role as test objects for functors, as Vermas do in more classical representation theory.
The existence of these representations has consequences for the structure of previously studied categorifications. It allows us to prove the non-degeneracy of Khovanov and Lauda’s 2-category (that its Hom spaces have the expected dimension) in all symmetrizable types, and that the cyclotomic quiver Hecke algebras are symmetric Frobenius.
In work of Reshetikhin and Turaev, the braiding and (co)evaluation maps between representations of quantum groups are used to define polynomial knot invariants. We show that the categorifications of tensor products are related by functors categorifying these maps, which allow the construction of bigraded knot homologies whose graded Euler characteristics are the original polynomial knot invariants.
- Susumu Ariki and Kazuhiko Koike, A Hecke algebra of $(\textbf {Z}/r\textbf {Z})\wr {\mathfrak {S}}_n$ and construction of its irreducible representations, Adv. Math. 106 (1994), no. 2, 216–243. MR 1279219, DOI 10.1006/aima.1994.1057
- Susumu Ariki, On the decomposition numbers of the Hecke algebra of $G(m,1,n)$, J. Math. Kyoto Univ. 36 (1996), no. 4, 789–808. MR 1443748, DOI 10.1215/kjm/1250518452
- Henning Haahr Andersen and Catharina Stroppel, Twisting functors on $\scr O$, Represent. Theory 7 (2003), 681–699. MR 2032059, DOI 10.1090/S1088-4165-03-00189-4
- Pramod N. Achar and Catharina Stroppel, Completions of Grothendieck groups, Bull. Lond. Math. Soc. 45 (2013), no. 1, 200–212. MR 3033967, DOI 10.1112/blms/bds079
- Erik Backelin, Koszul duality for parabolic and singular category $\scr O$, Represent. Theory 3 (1999), 139–152. MR 1703324, DOI 10.1090/S1088-4165-99-00055-2
- A. Beilinson, R. Bezrukavnikov, and I. Mirković, Tilting exercises, Mosc. Math. J. 4 (2004), no. 3, 547–557, 782 (English, with English and Russian summaries). MR 2119139, DOI 10.17323/1609-4514-2004-4-3-547-557
- Alexander Beilinson, Victor Ginzburg, and Wolfgang Soergel, Koszul duality patterns in representation theory, J. Amer. Math. Soc. 9 (1996), no. 2, 473–527. MR 1322847, DOI 10.1090/S0894-0347-96-00192-0
- Arkady Berenstein and David Kazhdan, Geometric and unipotent crystals. II. From unipotent bicrystals to crystal bases, Quantum groups, Contemp. Math., vol. 433, Amer. Math. Soc., Providence, RI, 2007, pp. 13–88. MR 2349617, DOI 10.1090/conm/433/08321
- Jonathan Brundan and Alexander Kleshchev, Schur-Weyl duality for higher levels, Selecta Math. (N.S.) 14 (2008), no. 1, 1–57. MR 2480709, DOI 10.1007/s00029-008-0059-7
- Jonathan Brundan and Alexander Kleshchev, Blocks of cyclotomic Hecke algebras and Khovanov-Lauda algebras, Invent. Math. 178 (2009), no. 3, 451–484. MR 2551762, DOI 10.1007/s00222-009-0204-8
- Tom Braden, Anthony Licata, Nicholas Proudfoot, and Ben Webster, Quantizations of conical symplectic resolutions II: category $\cO$, arXiv:1407.0964.
- Jon Brundan, On the definition of Kac-Moody 2-category, arXiv:1501.00350.
- Benjamin Cooper, Matt Hogancamp, and Vyacheslav Krushkal, $\textrm {SO}(3)$ homology of graphs and links, Algebr. Geom. Topol. 11 (2011), no. 4, 2137–2166. MR 2826934, DOI 10.2140/agt.2011.11.2137
- Sabin Cautis and Joel Kamnitzer, Knot homology via derived categories of coherent sheaves. I. The ${\mathfrak {sl}}(2)$-case, Duke Math. J. 142 (2008), no. 3, 511–588. MR 2411561, DOI 10.1215/00127094-2008-012
- Sabin Cautis and Joel Kamnitzer, Knot homology via derived categories of coherent sheaves. II. $\mathfrak {sl}_m$ case, Invent. Math. 174 (2008), no. 1, 165–232. MR 2430980, DOI 10.1007/s00222-008-0138-6
- Benjamin Cooper and Vyacheslav Krushkal, Categorification of the Jones-Wenzl projectors, Quantum Topol. 3 (2012), no. 2, 139–180. MR 2901969, DOI 10.4171/QT/27
- Sabin Cautis, Joel Kamnitzer, and Anthony Licata, Coherent sheaves on quiver varieties and categorification, Math. Ann. 357 (2013), no. 3, 805–854. MR 3118615, DOI 10.1007/s00208-013-0921-6
- Sabin Cautis and Aaron D. Lauda, Implicit structure in 2-representations of quantum groups, Selecta Math. (N.S.) 21 (2015), no. 1, 201–244. MR 3300416, DOI 10.1007/s00029-014-0162-x
- Vyjayanthi Chari and Andrew Pressley, A guide to quantum groups, Cambridge University Press, Cambridge, 1994. MR 1300632
- E. Cline, B. Parshall, and L. Scott, Finite-dimensional algebras and highest weight categories, J. Reine Angew. Math. 391 (1988), 85–99. MR 961165
- Edward Cline, Brian Parshall, and Leonard Scott, Stratifying endomorphism algebras, Mem. Amer. Math. Soc. 124 (1996), no. 591, viii+119. MR 1350891, DOI 10.1090/memo/0591
- Joseph Chuang and Raphaël Rouquier, Derived equivalences for symmetric groups and $\mathfrak {sl}_2$-categorification, Ann. of Math. (2) 167 (2008), no. 1, 245–298. MR 2373155, DOI 10.4007/annals.2008.167.245
- Richard Dipper, Gordon James, and Andrew Mathas, Cyclotomic $q$-Schur algebras, Math. Z. 229 (1998), no. 3, 385–416. MR 1658581, DOI 10.1007/PL00004665
- Ben Elias and Geordie Willamson, Diagrammatics for Coxeter groups and their braid groups, arXiv:1405.4928.
- Boris Feigin, Edward Frenkel, and Leonid Rybnikov, Opers with irregular singularity and spectra of the shift of argument subalgebra, Duke Math. J. 155 (2010), no. 2, 337–363. MR 2736168, DOI 10.1215/00127094-2010-057
- Igor Frenkel, Catharina Stroppel, and Joshua Sussan, Categorifying fractional Euler characteristics, Jones-Wenzl projectors and $3j$-symbols, Quantum Topol. 3 (2012), no. 2, 181–253. MR 2901970, DOI 10.4171/QT/28
- Victor Ginzburg, Nicolas Guay, Eric Opdam, and Raphaël Rouquier, On the category $\scr O$ for rational Cherednik algebras, Invent. Math. 154 (2003), no. 3, 617–651. MR 2018786, DOI 10.1007/s00222-003-0313-8
- Alexander E. Hoffnung and Aaron D. Lauda, Nilpotency in type $A$ cyclotomic quotients, J. Algebraic Combin. 32 (2010), no. 4, 533–555. MR 2728758, DOI 10.1007/s10801-010-0226-8
- J. Hu and A. Mathas, Quiver Schur algebras I: linear quivers, arXiv:1110.1699.
- Jun Hu and Andrew Mathas, Graded cellular bases for the cyclotomic Khovanov-Lauda-Rouquier algebras of type $A$, Adv. Math. 225 (2010), no. 2, 598–642. MR 2671176, DOI 10.1016/j.aim.2010.03.002
- David Hill, George Melvin, and Damien Mondragon, Representations of quiver Hecke algebras via Lyndon bases, J. Pure Appl. Algebra 216 (2012), no. 5, 1052–1079. MR 2875327, DOI 10.1016/j.jpaa.2011.12.015
- Matt Hogancamp, On functoriality of categorified colored jones, in preparation.
- David Hill and Joshua Sussan, The Khovanov-Lauda 2-category and categorifications of a level two quantum $\mathfrak {sl}_n$ representation, Int. J. Math. Math. Sci. , posted on (2010), Art. ID 892387, 34. MR 2669068, DOI 10.1155/2010/892387
- Magnus Jacobsson, An invariant of link cobordisms from Khovanov homology, Algebr. Geom. Topol. 4 (2004), 1211–1251. MR 2113903, DOI 10.2140/agt.2004.4.1211
- Mikhail Khovanov, A categorification of the Jones polynomial, Duke Math. J. 101 (2000), no. 3, 359–426. MR 1740682, DOI 10.1215/S0012-7094-00-10131-7
- Mikhail Khovanov, A functor-valued invariant of tangles, Algebr. Geom. Topol. 2 (2002), 665–741. MR 1928174, DOI 10.2140/agt.2002.2.665
- Mikhail Khovanov, sl(3) link homology, Algebr. Geom. Topol. 4 (2004), 1045–1081. MR 2100691, DOI 10.2140/agt.2004.4.1045
- Mikhail Khovanov, Triply-graded link homology and Hochschild homology of Soergel bimodules, Internat. J. Math. 18 (2007), no. 8, 869–885. MR 2339573, DOI 10.1142/S0129167X07004400
- Seok-Jin Kang and Masaki Kashiwara, Categorification of highest weight modules via Khovanov-Lauda-Rouquier algebras, Invent. Math. 190 (2012), no. 3, 699–742. MR 2995184, DOI 10.1007/s00222-012-0388-1
- Mikhail Khovanov and Aaron D. Lauda, A diagrammatic approach to categorification of quantum groups. I, Represent. Theory 13 (2009), 309–347. MR 2525917, DOI 10.1090/S1088-4165-09-00346-X
- Mikhail Khovanov and Aaron D. Lauda, A categorification of quantum $\textrm {sl}(n)$, Quantum Topol. 1 (2010), no. 1, 1–92. MR 2628852, DOI 10.4171/QT/1
- Mikhail Khovanov and Aaron D. Lauda, A diagrammatic approach to categorification of quantum groups II, Trans. Amer. Math. Soc. 363 (2011), no. 5, 2685–2700. MR 2763732, DOI 10.1090/S0002-9947-2010-05210-9
- Mikhail Khovanov, Aaron D. Lauda, Marco Mackaay, and Marko Stošić, Extended graphical calculus for categorified quantum $\textrm {sl}(2)$, Mem. Amer. Math. Soc. 219 (2012), no. 1029, vi+87. MR 2963085, DOI 10.1090/S0065-9266-2012-00665-4
- Joachim Kock, Frobenius algebras and 2D topological quantum field theories, London Mathematical Society Student Texts, vol. 59, Cambridge University Press, Cambridge, 2004. MR 2037238
- Mikhail Khovanov and Lev Rozansky, Virtual crossings, convolutions and a categorification of the $\textrm {SO}(2N)$ Kauffman polynomial, J. Gökova Geom. Topol. GGT 1 (2007), 116–214. MR 2386537
- Mikhail Khovanov and Lev Rozansky, Matrix factorizations and link homology. II, Geom. Topol. 12 (2008), no. 3, 1387–1425. MR 2421131, DOI 10.2140/gt.2008.12.1387
- Mikhail Khovanov and Lev Rozansky, Matrix factorizations and link homology, Fund. Math. 199 (2008), no. 1, 1–91. MR 2391017, DOI 10.4064/fm199-1-1
- Alexander Kleshchev and Arun Ram, Representations of Khovanov-Lauda-Rouquier algebras and combinatorics of Lyndon words, Math. Ann. 349 (2011), no. 4, 943–975. MR 2777040, DOI 10.1007/s00208-010-0543-1
- Aaron D. Lauda, A categorification of quantum $\textrm {sl}(2)$, Adv. Math. 225 (2010), no. 6, 3327–3424. MR 2729010, DOI 10.1016/j.aim.2010.06.003
- Aaron D. Lauda, Categorified quantum $\rm sl(2)$ and equivariant cohomology of iterated flag varieties, Algebr. Represent. Theory 14 (2011), no. 2, 253–282. MR 2776785, DOI 10.1007/s10468-009-9188-8
- Aaron D. Lauda, David E. V. Rose, and Hoel Queffelec, Khovanov homology is a skew howe 2-representation of categorified quantum $\mathfrak {sl}(m)$, arXiv:1212.6076.
- George Lusztig, Introduction to quantum groups, Progress in Mathematics, vol. 110, Birkhäuser Boston, Inc., Boston, MA, 1993. MR 1227098
- Aaron D. Lauda and Monica Vazirani, Crystals from categorified quantum groups, Adv. Math. 228 (2011), no. 2, 803–861. MR 2822211, DOI 10.1016/j.aim.2011.06.009
- Ivan Losev and Ben Webster, On uniqueness of tensor products of irreducible categorifications, Selecta Math. (N.S.) 21 (2015), no. 2, 345–377. MR 3338680, DOI 10.1007/s00029-014-0172-8
- Ciprian Manolescu, Link homology theories from symplectic geometry, Adv. Math. 211 (2007), no. 1, 363–416. MR 2313538, DOI 10.1016/j.aim.2006.09.007
- Volodymyr Mazorchuk and Catharina Stroppel, Projective-injective modules, Serre functors and symmetric algebras, J. Reine Angew. Math. 616 (2008), 131–165. MR 2369489, DOI 10.1515/CRELLE.2008.020
- Volodymyr Mazorchuk and Catharina Stroppel, A combinatorial approach to functorial quantum $\mathfrak {sl}_k$ knot invariants, Amer. J. Math. 131 (2009), no. 6, 1679–1713. MR 2567504, DOI 10.1353/ajm.0.0082
- Marco Mackaay, Marko Stošić, and Pedro Vaz, $\mathfrak {sl}(N)$-link homology $(N\geq 4)$ using foams and the Kapustin-Li formula, Geom. Topol. 13 (2009), no. 2, 1075–1128. MR 2491657, DOI 10.2140/gt.2009.13.1075
- Marco Mackaay, Marko Stošić, and Pedro Vaz, The $1,2$-coloured HOMFLY-PT link homology, Trans. Amer. Math. Soc. 363 (2011), no. 4, 2091–2124. MR 2746676, DOI 10.1090/S0002-9947-2010-05155-4
- I. Mirković and K. Vilonen, Geometric Langlands duality and representations of algebraic groups over commutative rings, Ann. of Math. (2) 166 (2007), no. 1, 95–143. MR 2342692, DOI 10.4007/annals.2007.166.95
- Marco Mackaay and Ben Webster, Categorified skew Howe duality and comparison of knot homologies, in preparation.
- Tomotada Ohtsuki, Quantum invariants, Series on Knots and Everything, vol. 29, World Scientific Publishing Co., Inc., River Edge, NJ, 2002. A study of knots, 3-manifolds, and their sets. MR 1881401
- Hoel Queffelec and David E. V. Rose, The $\mathfrak {sl}_n$ foam 2-category: a combinatorial formulation of Khovanov-Rozansky homology via categorical skew Howe duality, arXiv 1405.5920.
- Jacob Rasmussen, Khovanov homology and the slice genus, Invent. Math. 182 (2010), no. 2, 419–447. MR 2729272, DOI 10.1007/s00222-010-0275-6
- Steen Ryom-Hansen, Koszul duality of translation- and Zuckerman functors, J. Lie Theory 14 (2004), no. 1, 151–163. MR 2040174
- Raphael Rouquier, 2-Kac-Moody algebras, ArXiv:0812.5023.
- —, Quiver Hecke algebras and 2-Lie algebras, arXiv:1112.3619.
- 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
- 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
- Peng Shan, Crystals of Fock spaces and cyclotomic rational double affine Hecke algebras, Ann. Sci. Éc. Norm. Supér. (4) 44 (2011), no. 1, 147–182 (English, with English and French summaries). MR 2760196, DOI 10.24033/asens.2141
- Wolfgang Soergel, Kategorie $\scr O$, perverse Garben und Moduln über den Koinvarianten zur Weylgruppe, J. Amer. Math. Soc. 3 (1990), no. 2, 421–445 (German, with English summary). MR 1029692, DOI 10.1090/S0894-0347-1990-1029692-5
- Wolfgang Soergel, The combinatorics of Harish-Chandra bimodules, J. Reine Angew. Math. 429 (1992), 49–74. MR 1173115, DOI 10.1515/crll.1992.429.49
- Catharina Stroppel and Joshua Sussan, Categorification of the colored Jones polynomial, in preparation.
- Paul Seidel and Ivan Smith, A link invariant from the symplectic geometry of nilpotent slices, Duke Math. J. 134 (2006), no. 3, 453–514. MR 2254624, DOI 10.1215/S0012-7094-06-13432-4
- Noah Snyder and Peter Tingley, The half-twist for $U_q({\mathfrak {g}})$ representations, Algebra Number Theory 3 (2009), no. 7, 809–834. MR 2579396, DOI 10.2140/ant.2009.3.809
- Catharina Stroppel, TQFT with corners and tilting functors in the Kac-Moody case, arXiv math.RT/0605103.
- Catharina Stroppel, Category $\scr O$: quivers and endomorphism rings of projectives, Represent. Theory 7 (2003), 322–345. MR 2017061, DOI 10.1090/S1088-4165-03-00152-3
- Catharina Stroppel, Categorification of the Temperley-Lieb category, tangles, and cobordisms via projective functors, Duke Math. J. 126 (2005), no. 3, 547–596. MR 2120117, DOI 10.1215/S0012-7094-04-12634-X
- Catharina Stroppel, Parabolic category $\scr O$, perverse sheaves on Grassmannians, Springer fibres and Khovanov homology, Compos. Math. 145 (2009), no. 4, 954–992. MR 2521250, DOI 10.1112/S0010437X09004035
- Joshua Sussan, Category O and sl(k) link invariants, ProQuest LLC, Ann Arbor, MI, 2007. Thesis (Ph.D.)–Yale University. MR 2710319
- Catharina Stroppel and Ben Webster, Quiver Schur algebras and $q$-Fock space, arXiv 1110.1115.
- Peter Tingley, Constructing the $R$-matrix from the quasi $R$-matrix, online at http://math.mit.edu/ ptingley/lecturenotes//RandquasiR.pdf.
- 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
- Peter Tingley and Ben Webster, Mirković-Vilonen polytopes and Khovanov-Lauda-Rouquier algebras, arXiv:1210.6921.
- Kentaro Wada, Induction and restriction functors for cyclotomic $q$-Schur algebras, Osaka J. Math. 51 (2014), no. 3, 785–822. MR 3272617
- Ben Webster, A categorical action on quantized quiver varieties, arXiv 1208.5957.
- —, Erratum to “Canonical bases and higher representation theory”, http:people.virginia.edu/ btw4e/CB-erratum.pdf.
- —, On generalized category $\mathcal {O}$ for a quiver variety, arXiv:1409.4461.
- —, On graded presentations of Hecke algebras and their generalizations, arXiv:1305.0599.
- —, Rouquier’s conjecture and diagrammatic algebra, arXiv:1306.0074.
- —, Tensor product algebras, Grassmannians and Khovanov homology, arXiv:1312.7357.
- —, Weighted Khovanov-Lauda-Rouquier algebras, arXiv:1209.2463.
- Ben Webster, Canonical bases and higher representation theory, Compos. Math. 151 (2015), no. 1, 121–166. MR 3305310, DOI 10.1112/S0010437X1400760X
- Edward Witten, Fivebranes and knots, Quantum Topol. 3 (2012), no. 1, 1–137. MR 2852941, DOI 10.4171/QT/26
- Ben Webster and Geordie Williamson, A geometric construction of colored HOMFLYPT homology, arXiv:0905.0486.
- Hao Zheng, Categorification of integrable representations of quantum groups, Acta Math. Sin. (Engl. Ser.) 30 (2014), no. 6, 899–932. MR 3200442, DOI 10.1007/s10114-014-3631-4