Categorified skew Howe duality and comparison of knot homologies (Q1644981): Difference between revisions

The second author of the paper under review constructed in [\textit{B. Webster}, Knot invariants and higher representation theory. Providence, RI: American Mathematical Society (AMS) (2017; Zbl 1446.57001)] a categorification of tensor products of heighest weight representations of the quantum group \(U_{q}(\mathfrak{sl}_N)\). As a result, he obtained a link invariant \(\mathcal{K}_N\) which categorifies the Reshetikhin-Turaev invariants of framed links whose components are labeled by highest-weight representations of \(U_{q}(\mathfrak{sl}_{N})\). The purpose of the paper under review is to prove that the link invariant \(\mathcal{K}_n\) constructed by Webster agrees with other known categorifications of the Reshetikhin-Turaev invariants: -- categorification constructed with the aid of matrix factorizations [\textit{M. Khovanov} and \textit{L. Rozansky}, Fundam. Math. 199, No. 1, 1--91 (2008; Zbl 1145.57009), \textit{H. Wu}, Diss. Math. 499, 215 p. (2014; Zbl 1320.57020), \textit{Y. Yonezawa}, Nagoya Math. J. 204, 69--123 (2011; Zbl 1271.57033)], -- categorification via the category of foams [\textit{M. Mackaay} et al., Geom. Topol. 13, No. 2, 1075--1128 (2009; Zbl 1202.57017), \textit{H. Queffelec} and \textit{D. E. V. Rose}, Adv. Math. 302, 1251--1339 (2016; Zbl 1360.57025)], -- categorification via the categories of coherent sheaves on convolution varieties of affine Grassmanians [\textit{S. Cautis} and \textit{J. Kamnitzer}, Duke Math. J. 142, No. 3, 511--588 (2008; Zbl 1145.14016) and Invent. Math. 174, No. 1, 165--232 (2008; Zbl 1298.57007)] -- categorification via the category \(\mathcal{O}\) [\textit{V. Mazorchuk} and \textit{C. Stroppel}, Am. J. Math. 131, No. 6, 1679--1713 (2009; Zbl 1258.57007), \textit{J. Sussan}, ``Category \(\mathcal{O}\) and \(\mathfrak{sl}_k\) link invariants'', Preprint, \url{arXiv:math/0701045}]. The main technical result of the paper under review is the categorification of the skew Howe duality in the framework of [\textit{B. Webster}, op. cit.].