The primitive spectrum for $\mathfrak{gl}(m|n)$

Abstract

We study inclusions between primitive ideals in the universal enveloping algebra of general linear superalgebras. For classical simple Lie superalgebras, any primitive ideal is the annihilator of a simple highest weight module. It therefore suffices to study the quasi-order on highest weights determined by the relation of inclusion between primitive ideals. For the specific case of reductive Lie algebras, this quasi-order is essentially the left Kazhdan-Lusztig quasi-order. For Lie superalgebras, a description of the poset structure on the set primitive ideals is at the moment not known, apart from some low dimensional specific cases. We derive an alternative definition of the left Kazhdan-Lusztig quasi-order which extends to classical Lie superalgebras. We denote this quasi-order by $\unlhd$ and show that a relation in $\unlhd$ implies an inclusion between primitive ideals. For $\mathfrak{gl}(m|n)$ the new quasi-order $\unlhd$ is defined explicitly in terms of Brundan's Kazhdan-Lusztig theory. We prove that $\unlhd$ induces an actual partial order on the set of primitive ideals. We conjecture that this is the inclusion order. By the above paragraph one direction of this conjecture is true. We prove several consistency results concerning the conjecture and prove it for singly atypical and typical blocks of $\mathfrak{gl}(m|n)$ and in general for $\mathfrak{gl}(2|2)$. An important tool is a new translation principle for primitive ideals, based on the crystal structure underlying Brundan's categorification on category ${\mathcal O}$. Finally we focus on an interesting explicit example; the poset of primitive ideals contained in the augmentation ideal for $\mathfrak{gl}(m|1)$.