On semisimplicity of module categories for finite non-zero index vertex operator subalgebras

Abstract

Let $V\subseteq A$ be a conformal inclusion of vertex operator algebras and let $\mathcal{C}$ be a category of grading-restricted generalized $V$-modules that admits the vertex algebraic braided tensor category structure of Huang-Lepowsky-Zhang. We give conditions under which $\mathcal{C}$ inherits semisimplicity from the category of grading-restricted generalized $A$-modules in $\mathcal{C}$, and vice versa. The most important condition is that $A$ be a rigid $V$-module in $\mathcal{C}$ with non-zero categorical dimension, that is, we assume the index of $V$ as a subalgebra of $A$ is finite and non-zero. As a consequence, we show that if $A$ is strongly rational, then $V$ is also strongly rational under the following conditions: $A$ contains $V$ as a $V$-module direct summand, $V$ is $C_2$-cofinite with a rigid tensor category of modules, and $A$ has non-zero categorical dimension as a $V$-module. These results are vertex operator algebra interpretations of theorems proved for general commutative algebras in braided tensor categories. We also generalize these results to the case that $A$ is a vertex operator superalgebra.

arXiv comment25 pages, references updated in this version

References in corpus (23)

• Correspondences of ribbon categories
• Braided tensor categories and extensions of vertex operator algebras
• Tensor categories for vertex operator superalgebra extensions
• The tensor structure on the representation category of the ${\mathcal{W}}_p$ triplet algebra
• Simple current extensions beyond semi-simplicity
• Regularity of fixed-point vertex operator subalgebras
• Logarithmic tensor category theory, II: Logarithmic formal calculus and properties of logarithmic intertwining operators
• Logarithmic tensor category theory, VI: Expansion condition, associativity of logarithmic intertwining operators, and the associativity isomorphisms
• Logarithmic tensor category theory, VIII: Braided tensor category structure on categories of generalized modules for a conformal vertex algebra
• Logarithmic tensor category theory, V: Convergence condition for intertwining maps and the corresponding compatibility condition
• Logarithmic tensor category theory, VII: Convergence and extension properties and applications to expansion for intertwining maps
• Logarithmic tensor category theory, III: Intertwining maps and tensor product bifunctors
• Logarithmic tensor category theory, IV: Constructions of tensor product bifunctors and the compatibility conditions
• On the tensor structure of modules for compact orbifold vertex operator algebras
• Tensor categories and the mathematics of rational and logarithmic conformal field theory
• Gluing vertex algebras
• On the triplet vertex algebra W(p)
• Rationality, Regularity, and C_2-cofiniteness
• Twisted modules and $G$-equivariantization in logarithmic conformal field theory
• Compact automorphism groups of vertex operator algebras
• Projective objects and the modified trace in factorisable finite tensor categories
• C_1-cofiniteness and Fusion Products of Vertex Operator Algebras
• Semisimple and separable algebras in multi-fusion categories

Cited by in corpus (6)

• A general mirror equivalence theorem for coset vertex operator algebras
• Ordinary modules for vertex algebras of ${\mathfrak{osp}}_{1|2n}$
• On rationality for $C_2$-cofinite vertex operator algebras
• Commutative algebras in Grothendieck-Verdier categories, rigidity, and vertex operator algebras
• The non-semisimple Kazhdan-Lusztig category for affine ${\mathfrak{sl}}_2$ at admissible levels
• Cosets from equivariant W-algebras