Crystals from categorified quantum groups

From MaRDI portal



Abstract: We study the crystal structure on categories of graded modules over algebras which categorify the negative half of the quantum Kac-Moody algebra associated to a symmetrizable Cartan data. We identify this crystal with Kashiwara's crystal for the corresponding negative half of the quantum Kac-Moody algebra. As a consequence, we show the simple graded modules for certain cyclotomic quotients carry the structure of highest weight crystals, and hence compute the rank of the corresponding Grothendieck group.


Let \(\mathfrak{g}\) be a symmetrizable Kac-Moody algebra and denote by \(_{\mathcal{A}}\mathbf{U}^{-}_{q}\) the integral form of the negative part of the quantum enveloping algebra associated to \(\mathfrak{g}\). From previous works of the first author and M. Khovanov and R. Rouquier it is known that a family \(R=\bigoplus R(\nu)\) of graded algebras categorify \(_{\mathcal{A}}\mathbf{U}^{-}_{q}\), that is, there exists an isomorphism between this algebra and the Grothendieck group of finitely generated projective \(R\)-modules. In this paper, the authors give a new proof of this result by using crystal-theoretic methods. By an algebraic treatment of the affine Hecke algebra and its cyclotomic quotients, they determine the size of the Grothendieck group for arbitrary cyclotomic quotients \(R^{\Lambda}(\nu)\) in order to introduce crystal structure on categories of modules. This allows to view cyclotomic quotients of the algebras \(R(\nu)\) as a categorification of the integrable highest weight representation \(V(\Lambda)\) of \(\mathbf{U}^{-}_{q}\), which proves partially a conjecture on cyclotomic quotients in the general setting stated by the first author and Khovanov. These results are then used to give the alternative proof of the categorification theorem which goes along entirely in the category of finitely generated modules. The article is well-written and carefully organized. It contains all the preliminaries that are needed through the paper and ends with a section that contains the proof of the main theorems.



Cites work


Cited in
(78)








This page was built for publication: Crystals from categorified quantum groups

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q639538)