Twisted modules and G-equivariantization in logarithmic conformal field theory

From MaRDI portal
Publication:2021634



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 mathcalC of modules for the fixed-point vertex operator subalgebra VG of a vertex operator (super)algebra V with finite automorphism group G. The main results are that every VG-module in mathcalC with a unital and associative V-action is a direct sum of g-twisted V-modules for possibly several ginG, 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 mathcalC of VG-modules. This generalizes results of Kirillov and M"{u}ger proved using rigidity and semisimplicity. We also apply the main results to the orbifold rationality problem: whether VG is strongly rational if V is strongly rational. We show that VG is indeed strongly rational if V is strongly rational, G is any finite automorphism group, and VG is C2-cofinite.


From a mathematical standpoint, a two-dimensional chiral conformal field theory is to be viewed as the representation theory of its chiral algebra, a vertex operator algebra. Vertex operator algebras are appropriate in study of logarithmic conformal field theory, in which correlation functions are of logarithmic singularities arising from non-semisimple modules for the chiral algebra, beholden to the logarithmic tensor category theory [\textit{Y.-Z. Huang} et al., in: Conformal field theories and tensor categories. Proceedings of a workshop held at Beijing International Center for Mathematical Research, Beijing, China, June 13--17, 2011. Heidelberg: Springer. 169--248 (2014; Zbl 1345.81112)]. This paper is concerned with 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 principal results in the paper, which are generalizations of the corresponding results of [\textit{A. Kirillov jun.}, Commun. Math. Phys. 229, No. 2, 309--335 (2002; Zbl 1073.17011); ``Modular categories and orbifold models. II, Preprint, \url{arXiv:math/0110221}; ``On $G$-equivariant modular categories, Preprint, \url{arXiv:math/0401119}; \textit{M. Müger}, J. Algebra 277, No. 1, 256--281 (2004; Zbl 1052.18004); Commun. Math. Phys. 260, No. 3, 727--762 (2005; Zbl 1160.81454)] established by exploiting rigidity and semisimplicity, are as follows. \begin{itemize} \item[1.] 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\); \item[2.] The category of all such twisted \(V\)-modules is a braided \(G\)-crossed (super)category; \item[3.] The \(G\)-equivariantization of this braided \(G\)-crossed (super)category is braided tensor equivalent to the original category \(\mathcal{C}\)\ of \(V^{G}\)-modules. \end{itemize} The author applies these results to the orbifold rationality problem asking whether \(V^{G}\)\ is strongly rational if \(V\)\ is strongly rational. It is shown 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.



Cites work


Cited in
(25)








This page was built for publication: Twisted modules and \(G\)-equivariantization in logarithmic conformal field theory

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2021634)