Heisenberg and Kac-Moody categorification (Q2218150)

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).