Let V⊆A be a conformal inclusion of vertex operator algebras and let 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 C inherits semisimplicity from the category of grading-restricted generalized A-modules in C, and vice versa. The most important condition is that A be a rigid V-module in 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.

Let O_c be the category of finite-length central-charge-c modules for the Virasoro Lie algebra whose composition factors are irreducible quotients of reducible Verma modules. Recently, it has been shown that O_c admits vertex algebraic tensor category structure for any c∈C. Here, we determine the structure of this tensor category when c=13−6p−6/p for an integer p>1. For such c, we prove that O_c is rigid, and we construct projective covers of irreducible modules in a natural tensor subcategory O_c^0. We then compute all tensor products involving irreducible modules and their projective covers. Using these tensor product formulas, we show that O_c has a semisimplification which, as an abelian category, is the Deligne product of two tensor subcategories that are tensor equivalent to the Kazhdan-Lusztig categories for affine sl_2 at levels −2+p^±1. Next, as a straightforward consequence of the braided tensor category structure on O_c together with the theory of vertex operator algebra extensions, we rederive known results for triplet vertex operator algebras W(p), including rigidity, fusion rules, and construction of projective covers. Finally, we prove a recent conjecture of Negron that O_c^0 is braided tensor equivalent to the PSL(2,C)-equivariantization of the category of W(p)-modules.

We show that the Kazhdan-Lusztig category KL_k of level-k finite-length modules with highest-weight composition factors for the affine Lie superalgebra gl(1|1)ˆ has vertex algebraic braided tensor supercategory structure, and that its full subcategory O_k^fin of objects with semisimple Cartan subalgebra actions is a tensor subcategory. We show that every simple gl(1|1)ˆ-module in KL_k has a projective cover in O_k^fin, and we determine all fusion rules involving simple and projective objects in O_k^fin. Then using Knizhnik-Zamolodchikov equations, we prove that KL_k and O_k^fin are rigid. As an application of the tensor supercategory structure on O_k^fin, we study certain module categories for the affine Lie superalgebra sl(2|1)ˆ at levels 1 and −1/2. In particular, we obtain a tensor category of sl(2|1)ˆ-modules at level −1/2 that includes relaxed highest-weight modules and their images under spectral flow.