Category $\mathcal{O}$ for Lie superalgebras

TL;DR

This paper develops a unified and rigorous definition of Category O for quasi-reductive Lie superalgebras, revealing its rich homological structure, finite module complexity, and connections to cohomology, extending classical results to the superalgebra setting.

Contribution

It introduces a comprehensive Category O for Lie superalgebras, establishing its properties and linking it to cohomology and classical Lie algebra categories, thus broadening the theoretical framework.

Findings

Category O is standardly stratified for superalgebras.

Cohomology of Category O is finitely generated.

Module complexity is finite with explicit bounds.

Abstract

The authors define a Category $\mathcal{O}$ for any quasi-reductive Lie superalgebra $\mathfrak{g}$ with respect to a triangular decomposition. This much needed approach unifies many important constructions in the existing literature in a rigorous fashion. Our Category $\mathcal{O}$ encompasses all highest weight categories for Lie (super)algebras as well as specific examples which may not be highest weight categories. When the decomposition arises from a principal parabolic subalgebra $\mathfrak{p}$ of $\mathfrak{g}$, the Category $\mathcal{O}$ exhibits rich homological properties. For one, the authors show that in contrast to the case of a semisimple Lie algebra, the Category $\mathcal{O}$ is standardly stratified. Furthermore, the categorical cohomology of $\mathcal{O}$ is a finitely generated ring. This provides a first step towards developing a support variety theory for Category $\mathcal{O}$. It is shown that the complexity of modules in Category $\mathcal{O}$ is finite with an explicit upper bound given by the dimension of the subspace of the odd degree elements in $\mathfrak{g}$. This upgrades results known for $\mathfrak{gl}(m|n)$ to the more general setting. Our arguments are based on foundational connections between the categorical cohomology and the relative Lie superalgebra cohomology as well as the interplay between Category $\mathcal{O}$ for $\mathfrak{g}$ and the Category $\mathcal{O}$ for its corresponding Lie algebra $\mathfrak{g}_{\bar 0}$.