A categorical action on quantized quiver varieties (Q2633153): Difference between revisions

Let \(\mathfrak{g}\) be a Kac-Moody algebra with symmetric Cartan matrix. Then the universal enveloping algebra \(U(\mathfrak{g})\) can be categorified by a certain graded \(2\)-category \(\mathcal{U}\). One also has quiver varieties associated to \(\mathfrak{g}\), constructed from its graph \(\gamma\); defined appropriately, bimodules on the quiver varieties of highest weight \(\lambda\) also form a graded \(2\)-category \(\mathcal{Q}^{\lambda}\). The main result of this paper is the construction of a \(2\)-functor of graded categories \(\mathcal{G}_k:\mathcal{U}\to\mathcal{Q}^\lambda\). The image of this map lies in the \(2\)-category of Harish-Chandra bimodules.