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.

Motivated by spectral gluing patterns in the Betti Langlands program, we show that for any reductive group G, a parabolic subgroup P, and a topological surface M, the (enhanced) spectral Eisenstein series category of M is the factorization homology over M of the E2-Hecke category H_{G,P} =IndCoh(LS_{G,P}(D^2, S^1)), where LS_{G,P}(D^2, S^1) denotes the moduli stack of G-local systems on a disk together with a P-reduction on the boundary circle. More generally, for any pair of stacks Y → Z satisfying some mild conditions and any map between topological spaces N → M, we define (Y, Z)^{N,M} = Y^N ×_{Z^N} {Z^M} to be the space of maps from M to Z along with a lift to Y of its restriction to N. Using the pair of pants construction, we define an E_n-category H_n(Y, Z) = IndCoh_0((Y, Z)^{S^n−1,D^n})_{Y}), and compute its factorization homology on any d-dimensional manifold M with d ≤ n, \int_M H_n(Y, Z) = IndCoh_0(Y, Z)^{∂(M×D^n−d),M}_{Y^M}, where IndCoh_0 is the sheaf theory introduced by ArinkinGaitsgory and Beraldo. Our result naturally extends previous known computations of Ben-Zvi–Francis–Nadler and Beraldo.

Let k be a commutative Noetherian ring and C−− be a locally finite k-linear category equipped with a self-embedding functor of degree 1. We show under a moderate condition that finitely generated torsion representations of C−− are super finitely presented (that is, they have projective resolutions each term of which is finitely generated). In the situation that these self-embedding functors are genetic functors, we give upper bounds for homological degrees of finitely generated torsion modules. These results apply to quite a few categories recently appearing in representation stability theory. In particular, when k is a field of characteristic 0, we obtain another upper bound for homological degrees of finitely generated FI-modules.

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.

In this paper, we completely prove a standard conjecture on the local converse theorem for generic representations of GLn(F), where F is a non-archimedean local field.