The Kazhdan-Lusztig category of mathfrakosp1|2n at irrational levels

Thomas Creutzig; Robert McRae; Jinwei Yang

In the authors' words

We prove the Kazhdan-Lusztig correspondence for the Lie superalgebra $osp_{1∣2 n}$ at irrational levels, that is, we show the category $K L_{k}^{ev} (osp_{1∣2 n})$ of finite-length even ordinary modules for the affine vertex operator superalgebra of $osp_{1∣2 n}$ at level $k \in C ∖ Q$ is braided tensor equivalent to the category of finite-dimensional even weight modules for the quantum group of $osp_{1∣2 n}$ at parameter $q = e^{π i / (2 k + 2 n + 1)}$ . We also prove that $KL_{k}^{ev} (osp_{1∣2 n})$ is braided tensor equivalent to the category $KL_{ℓ}^{ns} (so_{2 n + 1})$ of finite-length ordinary modules with non-spinorial top level for the affine vertex operator algebra of $so_{2 n + 1}$ at level $ℓ$ such that $\frac{1}{ℓ + 2 n - 1} = \frac{1}{2 k + 2 n + 1} + 1 (mod 2 Z) .$ Consequently, by gluing vertex operator (super)algebras via tensor categories, we construct a few new families of simple conformal vertex (super)algebras, including the mixed kernel VOAs that were the missing ingredient for proving certain Feigin-Frenkel type dualities in previous work of the first-named author with Linshaw, Nakatsuka, and Sato.

Main resultThe abstract does not state a limitation.

The Kazhdan-Lusztig category of osp1∣2n​ at irrational levels

In the authors' words

More on Algebra & number theory that day

A separably representable counterexample to Naimark's problem in ZFC

Some Infinite Families of Arithmetic Symplectic Hypergeometric Groups

Degrees and directional defects of embedded algebraic vector bundles

Euler characteristics of strata of k-differentials

Beyond the unique pair: a two-parameter family of rational triangles with equal perimeter and area

The Kazhdan-Lusztig category of $osp_{1∣2 n}$ at irrational levels

Euler characteristics of strata of $k$ -differentials