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}$.

The non-commutative scheme having a free algebra as a homogeneous coordinate ring

Algebras Associated to Inverse Systems of Projective Schemes

Associative Schemes

Algebraic geometry in tensor categories

Cofiniteness conditions, projective covers and the logarithmic tensor product theory

Compactly generated tensor t-structures on the derived category of a Noetherian scheme

A Generalized Maximal Abelian Gauge in SU(3) Lattice Gauge Theory

The Commuting Algebra

A universal characterization of noncommutative motives and secondary algebraic K-theory

Reconstruction of module categories in the infinite and non-rigid settings

Closed subcategories of quotient categories

The noncommutative geometry of frame bundles

Commutative algebra in tensor categories

On certain noncommutative geometries via categories of sheaves of (graded) PI-algebras

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

Structures on the Category of N-Complexes

Lie, associative and commutative quasi-isomorphism

Study of various categories gravitating around $(φ,Γ)$-modules

Entwined comodules and contramodules over coalgebras with several objects: Frobenius, separability and Maschke theorems

Q A ] 2 N ov 2 01 5 Realizing Enveloping Algebras via Moduli Stacks

Quasi-coherent torsion sheaves, the semiderived category, and the semitensor product: Semi-infinite algebraic geometry of quasi-coherent sheaves on ind-schemes