Tensor categories for vertex operator superalgebra extensions

TL;DR

This paper develops a tensor categorical framework for vertex operator superalgebra extensions, establishing isomorphisms between module categories and deriving Verlinde formulae and module classifications for specific algebraic structures.

Contribution

It proves that the Huang-Kirillov-Lepowsky isomorphism is an isomorphism of braided monoidal categories and applies this to module induction, Verlinde formulae, and classification of modules for parafermionic cosets.

Findings

Huang-Kirillov-Lepowsky isomorphism is a braided monoidal category isomorphism.

Induction from subcategories of modules is a vertex tensor functor.

Classification of modules and fusion rules for parafermionic cosets.

Abstract

Let $V$ be a vertex operator algebra with a category $\mathcal{C}$ of (generalized) modules that has vertex tensor category structure, and thus braided tensor category structure, and let $A$ be a vertex operator (super)algebra extension of $V$. We employ tensor categories to study untwisted (also called local) $A$-modules in $\mathcal{C}$, using results of Huang-Kirillov-Lepowsky showing that $A$ is a (super)algebra object in $\mathcal{C}$ and that generalized $A$-modules in $\mathcal{C}$ correspond exactly to local modules for the corresponding (super)algebra object. Both categories, of local modules for a $\mathcal{C}$-algebra and (under suitable conditions) of generalized $A$-modules, have natural braided monoidal category structure, given in the first case by Pareigis and Kirillov-Ostrik and in the second case by Huang-Lepowsky-Zhang. Our main result is that the Huang-Kirillov-Lepowsky isomorphism of categories between local (super)algebra modules and extended vertex operator (super)algebra modules is also an isomorphism of braided monoidal (super)categories. Using this result, we show that induction from a suitable subcategory of $V$-modules to $A$-modules is a vertex tensor functor. We give two applications. First, we derive Verlinde formulae for regular vertex operator superalgebras and regular $(1/2)\mathbb{Z}$-graded vertex operator algebras by realizing them as (super)algebra objects in the vertex tensor categories of their even and $\mathbb{Z}$-graded components, respectively. Second, we analyze parafermionic cosets $C=\mathrm{Com}(V_L,V)$ where $L$ is a positive definite even lattice and $V$ is regular. If the category of either $V$-modules or $C$-modules is understood, then our results classify all inequivalent simple modules for the other algebra and determine their fusion rules and modular character transformations. We illustrate both directions with several examples.