Heisenberg and Kac-Moody categorification

DOI10.1007/S00029-020-00602-5MaRDI QIDQ2218150zbMATH OpenOpenAlexFDO

Authors Jonathan Brundan, Alistair Savage, Ben Webster

Publication date 14 January 2021

Published in Selecta Mathematica. New Series (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1907.11988

cyclotomic quotients Heisenberg category Kac-Moody 2-category

Representations of Lie algebras and Lie superalgebras, algebraic theory (weights) (17B10) Kac-Moody (super)algebras; extended affine Lie algebras; toroidal Lie algebras (17B67) 2-categories, bicategories, double categories (18N10)

Abstract: We show that any Abelian module category over the (degenerate or quantum) Heisenberg category satisfying suitable finiteness conditions may be viewed as a 2-representation over a corresponding Kac-Moody 2-category (and vice versa). This gives a way to construct Kac-Moody actions in many representation-theoretic examples which is independent of Rouquier's original approach via `control by K_0.' As an application, we prove an isomorphism theorem for generalized cyclotomic quotients of these categories, extending the known isomorphism between cyclotomic quotients of type A affine Hecke algebras and quiver Hecke algebras.

Review text

The present authors show that any abelian module category over the degenerate or quantum Heisenberg category satisfying suitable finiteness conditions may be viewed as a 2-representation over a corresponding Kac-Moody \(2\)-category (Theorem A, page 4): let \(\mathcal{R}\) be either a locally finite abelian or a Schurian \(\mathbf{k}\)-linear category equipped with a categorical Heisenberg action, and let \(I\) be the spectrum of \(\mathcal{R}\), i.e., the set of eigenvalues of the given endomorphism \(x:E \Rightarrow E\). Let \(\mathfrak{g} = \mathfrak{sl}_I'\) be the corresponding Kac-Moody algebra with weight lattice \(X\). For each \(\lambda \in X\), there is a Serre subcategory \(\mathcal{R}_\lambda\) of \(\mathcal{R}\) defined explicitly in terms of the action of \(\text{End}_{\mathcal{H}eis_k}(\mathbf{1})\). Moreover, there is a canonically induced categorical action of \(\mathfrak{g}\) on \((\mathcal{R}_\lambda)_{\lambda \in X}\). This gives a way to construct Kac-Moody actions in many representation-theoretic examples which is independent of Rouquier's original approach. The authors also prove an isomorphism theorem for generalized cyclotomic quotients of these categories, extending the known isomorphism between cyclotomic quotients of type \(A\) affine Hecke algebras and quiver Hecke algebras (Theorem B, page 6): considering the generalized cyclotomic quotients \(H_Z(\mu|\nu)\) of the Kac-Moody \(2\)-category and \(H_Z(m|n)\) of the degenerate or quantum Heisenberg category and assuming that certain defining parameters are chosen, these algebras are isomorphic via an explicit isomorphism (see page 53 for the defining parameters and Theorem 5.19 on page 56).

Recommendations

Cites work

Cited in

(25)

This page was built for publication: Heisenberg and Kac-Moody categorification

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