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 $\zeta=e^{\pi 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 $\zeta $. 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}$.

A classification of Kazhdan-Lusztig right cells containing smooth elements

On the cells and associated varieties of highest weight Harish-Chandra modules

Affine Kazhdan-Lusztig polynomials on the subregular cell in non simply-laced Lie algebras: with an application to character formulae (with an appendix by Roman Bezrukavnikov, Vasily Krylov, and Kenta Suzuki)

Kazhdan--Lusztig cells of $\mathbf{a}$-value 2 in $\mathbf{a}(2)$-finite Coxeter systems

Kazhdan-Lusztig map and Langlands duality

Affine Kazhdan-Lusztig polynomials on the subregular cell in non simply-laced Lie algebras: with an application to character formulae

Lusztig $\mathbf{a}$-functions for quasiparabolic sets

Subregular nilpotent orbits and explicit character formulas for modules over affine Lie algebras

Weight module classifications for Bershadsky--Polyakov algebras

Lie Bialgebras on k and Lagrange Varieties

Kazhdan-Lusztig polynomials of braid matroids

On certain varieties attached to braid representatives of a Weyl group element

Geometry of the fixed points loci and discretization of Springer fibers in classical types

Lusztig sheaves and integrable highest weight modules in symmetrizable case

A characterization of socular highest weight modules and Richardson orbits of classical types

The non-semisimple Kazhdan-Lusztig category for affine $\mathfrak{sl}_2$ at admissible levels

Categorification of integrable representations of quantum groups

A generic classification of locally free representations of affine GLS algebras

Classification of right-angled Coxeter groups with a strongly solid von Neumann algebra

Loday-Quillen-Tsygan theorem on Quivers

Lie bialgebras on k3 and lagrange varieties