2023/04/27 by Robert McRae, McRae, Robert · 2 citations
Mathematics · #17B69 #18M15 #81R10 #81T40 #Advanced Topics in Algebra #Algebraic structures and combinatorial models #Category Theory (math.CT) #FOS: Mathematics #FOS: Physical sciences #Homotopy and Cohomology in Algebraic Topology #Mathematical Physics (math-ph) #Quantum Algebra (math.QA) #Representation Theory (math.RT)
paper · pdf · doi:10.48550/arxiv.2304.14023
openalex publication_date 2023/04/27 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
We show that if U and V are locally finite abelian categories of modules for vertex operator algebras U and V, respectively, then the Deligne tensor product of U and V can be realized as a certain category D(U,V) of modules for the tensor product vertex operator algebra U⊗ V. We also show that if U and V admit the braided tensor category structure of Huang-Lepowsky-Zhang, then D(U,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 U and V are the categories of C1-cofinite U- and V-modules, if these categories are closed under contragredients, in which case we show that D(U,V) is the category of C1-cofinite U⊗ V-modules. If U and V are ℕ-graded and C2-cofinite, then we may take U and 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 C2-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.