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.

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.

No abstract uploaded!

We consider the Ising model at its critical temperature with external magnetic field ha15/8 on the square lattice with lattice spacing a. We show that the truncated two-point function in this model decays exponentially with a rate independent of a as a ↓ 0. As a consequence, we show exponential decay in the near-critical scaling limit Euclidean magnetization field. For the lattice model with a = 1, the mass (inverse correlation length) is of order h8/15 as h ↓ 0; for the Euclidean field, it equals exactly Ch8/15 for some C. Although there has been much progress in the study of critical scaling limits, results on near-critical models are far fewer due to the lack of conformal invariance away from the critical point. Our arguments combine lattice and continuum FK representations, including coupled conformal loop and measure ensembles, showing that such ensembles can be useful even in the study of near-critical scaling limits. Thus we provide the first substantial application of measure ensembles.

Loewner’s equation provides a way to encode a simply connected domain or equivalently its uniformizing conformal map via a real-valued driving function of its boundary. The first main result of the present paper is that the Dirichlet energy of this driving function (also known as the Loewner energy) is equal to the Dirichlet energy of the log-derivative of the (appropriately defined) uniformizing conformal map. This description of the Loewner energy then enables to tie direct links with regularized determinants and Teichmüller theory: We show that for smooth simple loops, the Loewner energy can be expressed in terms of the zeta-regularized determinants of a certain Neumann jump operator. We also show that the family of finite Loewner energy loops coincides with the Weil–Petersson class of quasicircles, and that the Loewner energy equals to a multiple of the universal Liouville action introduced by Takhtajan and Teo, which is a Kähler potential for the Weil–Petersson metric on the Weil–Petersson Teichmüller space.