Let V be a vertex operator algebra with a category C of (generalized) modules that has vertex tensor category structure, and thus braided tensor category structure, and let A be a vertex operator (super)algebra extension of V. We employ tensor categories to study untwisted (also called local) A-modules in C, using results of Huang-Kirillov-Lepowsky showing that A is a (super)algebra object in C and that generalized A-modules in C correspond exactly to local modules for the corresponding (super)algebra object. Both categories, of local modules for a C-algebra and (under suitable conditions) of generalized A-modules, have natural braided monoidal category structure, given in the first case by Pareigis and Kirillov-Ostrik and in the second case by Huang-Lepowsky-Zhang. Our main result is that the Huang-Kirillov-Lepowsky isomorphism of categories between local (super)algebra modules and extended vertex operator (super)algebra modules is also an isomorphism of braided monoidal (super)categories. Using this result, we show that induction from a suitable subcategory of V-modules to A-modules is a vertex tensor functor. We give two applications. First, we derive Verlinde formulae for regular vertex operator superalgebras and regular (1/2)ℤ-graded vertex operator algebras by realizing them as (super)algebra objects in the vertex tensor categories of their even and ℤ-graded components, respectively. Second, we analyze parafermionic cosets C=Com(V_L,V) where L is a positive definite even lattice and V is regular. If the category of either V-modules or C-modules is understood, then our results classify all inequivalent simple modules for the other algebra and determine their fusion rules and modular character transformations. We illustrate both directions with several examples.

Universal extensions arise naturally in the Auslander bijections. For an abelian category having Auslander-Reiten duality, we exploit a bijection triangle, which involves the Auslander bijections, universal extensions and the Auslander-Reiten duality. Some consequences are given, in particular, a conjecture by Ringel is verified.

We study derived categories arising from quivers with potential associated to a decorated marked surface S_Delta, in the sense taken in a paper by Qiu. We prove two conjectures from Qiu’s paper in which, under a bijection between certain objects in these categories and certain arcs in S, the dimensions of morphisms between these objects equal the intersection numbers between the corresponding arcs.

We show that the category of finite-length generalized modules for the singlet vertex algebra M(p), p∈Z_+, is equal to the category O_M(p) of C_1-cofinite M(p)-modules, and that this category admits the vertex algebraic braided tensor category structure of Huang-Lepowsky-Zhang. Since O_M(p) includes the uncountably many typical M(p)-modules, which are simple M(p)-module structures on Heisenberg Fock modules, our results substantially extend our previous work on tensor categories of atypical M(p)-modules. We also introduce a tensor subcategory O_M(p)^T, graded by an algebraic torus T, which has enough projectives and is conjecturally tensor equivalent to the category of finite-dimensional weight modules for the unrolled restricted quantum group of sl_2 at a 2pth root of unity. We compute all tensor products involving simple and projective M(p)-modules, and we prove that both tensor categories O_M(p) and O_M(p)^T are rigid and thus also ribbon. As an application, we use vertex operator algebra extension theory to show that the representation categories of all finite cyclic orbifolds of the triplet vertex algebras W(p) are non-semisimple modular tensor categories, and we confirm a conjecture of Adamović-Lin-Milas on the classification of simple modules for these finite cyclic orbifolds.

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.