SearcharxivSearch

arXiv · 2311.10240

Tensor categories of weight modules of $\widehat{\mathfrak{sl}}_2$ at admissible level

Abstract

The category of weight modules $L_k(\mathfrak{sl}_2)\text{-wtmod}$ of the simple affine vertex algebra of $\mathfrak{sl}_2$ at an admissible level $k$ is neither finite nor semisimple and modules are usually not lower-bounded and have infinite dimensional conformal weight subspaces. However this vertex algebra enjoys a duality with $W_\ell(\mathfrak{sl}_{2|1})$, the simple prinicipal $W$-algebra of $\mathfrak{sl}_{2|1}$ at level $\ell$ (the $N=2$ super conformal algebra) where the levels are related via $(k+2)(\ell+1)=1$. Every weight module of $W_\ell(\mathfrak{sl}_{2|1})$ is lower-bounded and has finite-dimensional conformal weight spaces. The main technical result is that every weight module of $W_\ell(\mathfrak{sl}_{2|1})$ is $C_1$-cofinite. The existence of a vertex tensor category follows and the theory of vertex superalgebra extensions implies the existence of vertex tensor category structure on $L_k(\mathfrak{sl}_2)\text{-wtmod}$ for any admissible level $k$. As applications, the fusion rules of ordinary modules with any weight module are computed and it is shown that $L_k(\mathfrak{sl}_2)\text{-wtmod}$ is a ribbon category if and only if $L_{k+1}(\mathfrak{sl}_2)\text{-wtmod}$ is, in particular it follows that for admissible levels $k = - 2 + \frac{u}{v}$ and $v \in \{2, 3\}$ and $u = -1 \mod v$ the category $L_k(\mathfrak{sl}_2)\text{-wtmod}$ is a ribbon category.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Thomas Creutzig. 2023-11-17. Tensor categories of weight modules of $\widehat{\mathfrak{sl}}_2$ at admissible level. https://arxiv.org/abs/2311.10240

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Quasi-Whittaker supermodules over Lie superalgebras

In this paper, we develop a general theory of quasi-Whittaker supermodules over Lie superalgebras induced from an arbitrary ideal. We determine the quasi-Whittaker vectors in universal supermodules, establish an irreducibility criterion, and classify several families of irreducible supermodules. The odd part produces a new irreducibility phenomenon absent from the Lie algebra setting. As applications, we determine all irreducible quasi-Whittaker supermodules over the $N=1$ super Schr\"odinger algebra and the $N=1$ $\frac{3}{2}$-conformal Galilei superalgebra, and over the complete spectrum-generating superalgebra in a special case.

math.RT

Rankin--Selberg integrals of opposite conductor--one newforms

Let $F$ be a nonarchimedean local field of characteristic zero and let $n\geq2$. For $r=n,n+1$, let $\Pi_r$ be an irreducible tempered representation of ${\rm GL}_r(F)$ of conductor one and with trivial central character. We evaluate the Rankin--Selberg integral of opposite newforms in $\Pi_{n+1}\times \Pi_n$ explicitly and show that its central value is nonzero. As an application, this implies a case of Disegni--Zhang's conjecture on the nonvanishing of local relative characters.

math.RT

Obstructions to Jacobi-Finiteness of Quivers with Potentials

We show that Jacobi-finite potentials need not exist on finite $2$-acyclic quivers. Our main tool is a matrix-valued Golod--Shafarevich--Vinberg inequality for quotients of completed path algebras by finitely many, possibly nonhomogeneous, topological relations. Applied to cyclic derivatives, it yields a potential-dependent obstruction to the finite-dimensionality of completed Jacobian algebras. We then construct a purely quiver-level criterion excluding every Jacobi-finite potential on a given quiver, and exhibit a family of quivers for which every potential has an infinite-dimensional Jacobian algebra.

math.RT