We show that direct limit completions of vertex tensor categories inherit vertex and braided tensor category structures, under conditions that hold for example for all known Virasoro and affine Lie algebra tensor categories. A consequence is that the theory of vertex operator (super)algebra extensions also applies to infinite-order extensions. As an application, we relate rigid and non-degenerate vertex tensor categories of certain modules for both the affine vertex superalgebra of osp(1|2) and the N=1 super Virasoro algebra to categories of Virasoro algebra modules via certain cosets.

We find sufficient conditions for the construction of vertex algebraic intertwining operators, among generalized Verma modules for an affine Lie algebra g^, from g-module homomorphisms. When g=sl_2, these results extend previous joint work with J. Yang, but the method used here is different. Here, we construct intertwining operators by solving Knizhnik-Zamolodchikov equations for three-point correlation functions associated to g^, and we identify obstructions to the construction arising from the possible non-existence of series solutions having a prescribed form.

A two-dimensional chiral conformal field theory can be viewed mathematically as the representation theory of its chiral algebra, a vertex operator algebra. Vertex operator algebras are especially well suited for studying logarithmic conformal field theory (in which correlation functions have logarithmic singularities arising from non-semisimple modules for the chiral algebra) because of the logarithmic tensor category theory of Huang, Lepowsky, and Zhang. In this paper, we study not-necessarily-semisimple or rigid braided tensor categories C of modules for the fixed-point vertex operator subalgebra V^G of a vertex operator (super)algebra V with finite automorphism group G. The main results are that every V^G-module in C with a unital and associative V-action is a direct sum of g-twisted V-modules for possibly several g∈G, that the category of all such twisted V-modules is a braided G-crossed (super)category, and that the G-equivariantization of this braided G-crossed (super)category is braided tensor equivalent to the original category C of V^G-modules. This generalizes results of Kirillov and Müger proved using rigidity and semisimplicity. We also apply the main results to the orbifold rationality problem: whether V^G is strongly rational if V is strongly rational. We show that V^G is indeed strongly rational if V is strongly rational, G is any finite automorphism group, and V^G is C_2-cofinite.

We relate commutative algebras in braided tensor categories to braid-reversed tensor equivalences, motivated by vertex algebra representation theory. First, for C a braided tensor category, we give a detailed construction of the canonical algebra in C⊠C^rev: if C is semisimple but not necessarily finite or rigid, then ⨁X∈Irr(C) X′⊠X is a commutative algebra, with X′ a representing object for Hom_C(∙⊗_C X,1_C). Conversely, let A=⨁i∈I U_i ⊠ V_i be a simple commutative algebra in U⊠V with U semisimple and rigid but not necessarily finite, and V rigid but not necessarily semisimple. If the unit objects of U and V form a commuting pair in A, we show there is a braid-reversed equivalence between subcategories of U and V sending U_i to (V_i)*. When U and V are module categories for simple vertex operator algebras U and V, we glue U and V along U⊠V via a map τ: Irr(U)→Obj(V) such that τ(U)=V to create A=⨁X∈Irr(U) X′⊗τ(X). Thus under certain conditions, τ extends to a braid-reversed equivalence between U and V if and only if A is a simple conformal vertex algebra extending U⊗V. As examples, we glue Kazhdan-Lusztig categories at generic levels to obtain new vertex algebras extending the tensor product of two affine vertex algebras, and we prove braid-reversed equivalences between certain module categories for affine vertex algebras and W-algebras at admissible levels.

Suppose V^G is the fixed-point vertex operator subalgebra of a compact group G acting on a simple abelian intertwining algebra V. We show that if all irreducible V^G-modules contained in V live in some braided tensor category of V^G-modules, then they generate a tensor subcategory equivalent to the category Rep G of finite-dimensional representations of G, with associativity and braiding isomorphisms modified by the abelian 3-cocycle defining the abelian intertwining algebra structure on V. Additionally, we show that if the fusion rules for the irreducible V^G-modules contained in V agree with the dimensions of spaces of intertwiners among G-modules, then the irreducibles contained in V already generate a braided tensor category of V^G-modules. These results do not require rigidity on any tensor category of V^G-modules and thus apply to many examples where braided tensor category structure is known to exist but rigidity is not known; for example they apply when V^G is C_2-cofinite but not necessarily rational. When V^G is both C_2-cofinite and rational and V is a vertex operator algebra, we use the equivalence between Rep G and the corresponding subcategory of V^G-modules to show that V is also rational. As another application, we show that a certain category of modules for the Virasoro algebra at central charge 1 admits a braided tensor category structure equivalent to Rep SU(2), up to modification by an abelian 3-cocycle.