Search arXiv⌕ Search
Home/Archive/arXiv

arXiv · 1910.13226

Twisted modules and $G$-equivariantization in logarithmic conformal field theory

Robert McRae
View original source ↗Read source document ↗Export metadata ↓

Abstract

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 $\mathcal{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 $\mathcal{C}$ with a unital and associative $V$-action is a direct sum of $g$-twisted $V$-modules for possibly several $g\in 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 $\mathcal{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.

Explore related subjects

math.QAmath-phmath.MPmath.RT

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Robert McRae. 2020-02-19. Twisted modules and $G$-equivariantization in logarithmic conformal field theory. https://doi.org/10.1007/s00220-020-03882-2

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Birational Equivalences for Kac--Moody Borel Enveloping Algebras

A Coxeter ordering of the simple roots of a finite-rank Kac--Moody algebra determines a finite family of commuting real-root vectors. We prove that $U^{\geq0}(\mathfrak g)$ is birationally equivalent to $Z\otimes\mathbb A_n$, where $Z$ is the residual Coxeter centralizer, by identifying the Coxeter localization $U^{\geq0}(\mathfrak g)[\mathbf X^{-1}]$ with $Z\otimes\mathbb A_n[\mathbf x^{-1}]$. For symmetrizable Cartan matrices the residual algebra is generated by finite Coxeter windows and is finitely presented. For the generic quantum Borel with torus dual to the root lattice, we prove the analogous birational equivalence.

math.QA↗
arXiv2026

A diagrammatic presentation for every pivotal pointed fusion category

We provide a generators and relations presentation of pivotal pointed fusion categories, $Vec(G,ω,π)$. Unlike the well-known skeletal model, our presentation is strict and allows multiple isomorphic objects. Our main tool is skein theory, which allows us to apply topological tools to understand the relations of morphisms in the category.

math.QA↗
arXiv2026

The Kazhdan-Lusztig category of $\mathfrak{osp}_{1|2n}$ at irrational levels

We prove the Kazhdan-Lusztig correspondence for the Lie superalgebra $\mathfrak{osp}_{1|2n}$ at irrational levels, that is, we show the category $\mathrm{KL}_k^{\rm ev}(\mathfrak{osp}_{1|2n})$ of finite-length even ordinary modules for the affine vertex operator superalgebra of $\mathfrak{osp}_{1|2n}$ at level $k \in \mathbb{C} \setminus \mathbb{Q}$ is braided tensor equivalent to the category of finite-dimensional even weight modules for the quantum group of $\mathfrak{osp}_{1|2n}$ at parameter $q = e^{πi/(2k+2n+1)}$. We also prove that ${\rm KL}_k^{\rm ev}(\mathfrak{osp}_{1|2n})$ is braided tensor equivalent to the category ${\rm KL}_\ell^{\rm ns}(\mathfrak{so}_{2n+1})$ of finite-length ordinary modules with non-spinorial top level for the affine vertex operator algebra of $\mathfrak{so}_{2n+1}$ at level $\ell$ such that $ \frac{1}{\ell+ 2n-1} = \frac{1}{2k+2n+1} + 1 \ \ ({\rm mod}\ 2\mathbb Z).$ Consequently, by gluing vertex operator (super)algebras via tensor categories, we construct a few new families of simple conformal vertex (super)algebras, including the mixed kernel VOAs that were the missing ingredient for proving certain Feigin-Frenkel type dualities in previous work of the first-named author with Linshaw, Nakatsuka, and Sato.

math.QA↗