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.

Relative Serre functor for comodule algebras

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

Grothendieck-Verdier module categories, Frobenius algebras and relative Serre functors

Comodule theories in Grothendieck categories and relative Hopf objects

Serre functors and graded categories

Spherical Morita contexts and relative Serre functors

A model structure and Hopf-cyclic theory on the category of coequivariant modules over a comodule algebra

Homological algebra of semimodules and semicontramodules: Semi-infinite homological algebra of associative algebraic structures

Central Hopf Monads and Braided Commutative Algebras

Relative ideals in homological categories, with an application to MV-algebras

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

Relative Rota-Baxter operators, modules and projections

On unimodular module categories

Deligne tensor products of categories of modules for vertex operator algebras

On the algebraic characterization of the category of 3-dimensional cobordisms

Frobenius Monoidal Functors of Dijkgraaf-Witten Categories and Rigid Frobenius Algebras

Relative Gorenstein flat modules and Foxby classes and their model structures

Cohomological dimension of braided Hopf algebras

Commutative exact algebras and modular tensor categories

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

A comonadicity theorem for partial comodules