Abstract:We show that if $\mathcal{U}$ and $\mathcal{V}$ are locally finite abelian categories of modules for vertex operator algebras $U$ and $V$, respectively, then the Deligne tensor product of $\mathcal{U}$ and $\mathcal{V}$ can be realized as a certain category $\mathcal{D}(\mathcal{U},\mathcal{V})$ of modules for the tensor product vertex operator algebra $U\otimes V$. We also show that if $\mathcal{U}$ and $\mathcal{V}$ admit the braided tensor category structure of Huang-Lepowsky-Zhang, then $\mathcal{D}(\mathcal{U},\mathcal{V})$ does as well under mild additional conditions, and that this braided tensor structure is equivalent to the natural braided tensor structure on a Deligne tensor product category. These results hold in particular when $\mathcal{U}$ and $\mathcal{V}$ are the categories of $C_1$-cofinite $U$- and $V$-modules, if these categories are closed under contragredients, in which case we show that $\mathcal{D}(\mathcal{U},\mathcal{V})$ is the category of $C_1$-cofinite $U\otimes V$-modules. If $U$ and $V$ are $\mathbb{N}$-graded and $C_2$-cofinite, then we may take $\mathcal{U}$ and $\mathcal{V}$ to be the categories of all grading-restricted generalized $U$- and $V$-modules, respectively. Thus as an application, if the tensor categories of all modules for two $C_2$-cofinite vertex operator algebras are rigid, then so is the tensor category of all modules for the tensor product vertex operator algebra. We use this to prove that the representation categories of the even subalgebras of the symplectic fermion vertex operator superalgebras are non-semisimple modular tensor categories.

Functors between representation categories. Universal modules

Functors between representation categories. Universal modules

Monoidal Functors on the Category of Representations of a Triangular Hopf Algebra

On the functoriality of universal abelian factorizations

Representations of large Mackey Lie algebras and universal tensor categories

Deligne Categories and Representations of the Finite General Linear Group, Part 1: Universal Property

Gorenstein Global Dimension and Hopf Algebroid Actions

A Lie-theoretic construction of representations of the degenerate affine and double affine Hecke algebras of type $BC_n$

Functor morphing and representations of automorphism groups of modules

Polar Brauer categories, infinitesimal braids and Lie superalgebra representations

Deligne tensor products of categories of modules for vertex operator algebras

Functors on the category of finite sets revisited

A Category of Banach Space Functors

Translation functors for locally analytic representations

Grothendieck-Verdier duality in categories of bimodules and weak module functors

From Morphism Categories to Functor Categories

Relative Gorenstein flat modules and Foxby classes and their model structures

Functorial languages in homological algebra and the lower central series

A monoidal category viewpoint for translation functors for finite $W$-algebras

Generalized H-Lie structure of associative algebras in a category

A functorial approach to $n$-abelian categories