The non-semisimple Kazhdan-Lusztig category for affine $\mathfrak{sl}_2$ at admissible levels
Robert McRae, Jinwei Yang
TL;DR
This work constructs and analyzes the braided tensor category KL^k(\mathfrak{sl}_2) of finite-length grading-restricted generalized modules for the universal affine vertex algebra V^k(\mathfrak{sl}_2) at admissible levels k. It proves a HLZ-style braided structure; shows KL^k(\mathfrak{sl}_2) is not rigid, yet the rigid objects coincide with indecomposable projectives, and explicitly constructs a full family of projectives P_r and their tensor rules, with V_2 playing a central, rigid, self-dual role. A key advance is the identification of a tensor equivalence between the projective subcategory P^k and the tilting module category T_\zeta for quantum sl_2 at a root of unity, enabling a universal property that yields a weak Kazhdan–Lusztig correspondence to C(\zeta,\mathfrak{sl}_2) and, via tilting theory, a derived KL correspondence. The paper further develops cocycle twists and multiple braidings, classifies KL^k(\mathfrak{sl}_2) up to braided tensor equivalence, and connects KL^k(\mathfrak{sl}_2) with Virasoro and quantum DS reductions, outlining pathways to higher-rank generalizations and related abelianizations. These results illuminate the interplay between vertex operator algebras and quantum groups at roots of unity, offering a robust framework for non-semisimple tensor categories and their applications in conformal and logarithmic field theories.
Abstract
We show that Kazhdan and Lusztig's category $KL^k(\mathfrak{sl}_2)$ of modules for the affine Lie algebra $\widehat{\mathfrak{sl}}_2$ at an admissible level $k$, equivalently the category of finite-length grading-restricted generalized modules for the universal affine vertex operator algebra $V^k(\mathfrak{sl}_2)$, is a braided tensor category. Although this tensor category is not rigid, we show that the subcategory of all rigid objects in $KL^k(\mathfrak{sl}_2)$ is equal to the subcategory of all projective objects, and that every simple module in $KL^k(\mathfrak{sl}_2)$ has a projective cover. Moreover, we show that the full subcategory of projective objects in $KL^k(\mathfrak{sl}_2)$ is monoidal equivalent to the category of tilting modules for quantum $\mathfrak{sl}_2$ at the root of unity $ζ=e^{πi/(k+2)}$. Using this, we establish a universal property of the tensor category $KL^k(\mathfrak{sl}_2)$, and as an application, we prove a weak Kazhdan-Lusztig correspondence, that is, we obtain an exact essentially surjective (but not full or faithful) tensor functor from $KL^k(\mathfrak{sl}_2)$ to the category of finite dimensional weight modules for the quantum group associated to $\mathfrak{sl}_2$ at the root of unity $ζ$. We also use the universal property to classify the categories $KL^k(\mathfrak{sl}_2)$ up to (braided) tensor equivalence and to obtain a tensor-categorical version of quantum Drinfeld-Sokolov reduction, that is, we construct a braided tensor functor from $KL^k(\mathfrak{sl}_2)$ to a category of modules for the Virasoro algebra at central charge $1-\frac{6(k+1)^2}{k+2}$.