A general mirror equivalence theorem for coset vertex operator algebras

Abstract

We prove a general mirror duality theorem for a subalgebra $U$ of a simple conformal vertex algebra $A$ and its commutant $V={\mathrm{Com}}_A(U)$. Specifically, we assume that $A\cong {⨁}_{i\in I}{U}_i\otimes V_i$ as a $U\otimes V$-module, where the $U$-modules $U_i$ are simple and distinct and are objects of a semisimple braided ribbon category of $U$-modules, and the $V$-modules $V_i$ are semisimple and contained in a (not necessarily rigid) braided tensor category of $V$-modules. We also assume $U={\mathrm{Com}}_A(V)$. Under these conditions, we construct a braid-reversed tensor equivalence $\tau :{\mathcal{U}}_A\to {\mathcal{V}}_A$, where ${\mathcal{U}}_A$ is the semisimple category of $U$-modules with simple objects $U_i$, $i\in I$, and ${\mathcal{V}}_A$ is the category of $V$-modules whose objects are finite direct sums of the $V_i$. In particular, the $V$-modules $V_i$ are simple and distinct, and ${\mathcal{V}}_A$ is a rigid tensor category. As an application, we find a rigid semisimple tensor subcategory of modules for the Virasoro algebra at central charge $13+6p+6p^{-1}$, $p\in {\mathbb{Z}}_{\ge 2}$, which is braided tensor equivalent to an abelian $3$-cocycle twist of the category of finite-dimensional ${\mathfrak{sl}}_2$-modules. Consequently, the Virasoro vertex operator algebra at central charge $13+6p+6p^{-1}$ is the $PS{L}_2(\mathbb{C})$-fixed-point subalgebra of a simple conformal vertex algebra $\mathcal{W}(-p)$, analogous to the realization of the Virasoro vertex operator algebra at central charge $13-6p-6p^{-1}$ as the $PS{L}_2(\mathbb{C})$-fixed-point subalgebra of the triplet algebra $\mathcal{W}(p)$.

arXiv comment54 pages; final version, to appear in Science China Mathematics

References in corpus (27)

• Braided tensor categories and extensions of vertex operator algebras
• Tensor categories for vertex operator superalgebra extensions
• Schur-Weyl Duality for Heisenberg Cosets
• Simple current extensions beyond semi-simplicity
• Braided tensor categories of admissible modules for affine Lie algebras
• Logarithmic tensor category theory, II: Logarithmic formal calculus and properties of logarithmic intertwining operators
• Logarithmic tensor category theory, VI: Expansion condition, associativity of logarithmic intertwining operators, and the associativity isomorphisms
• Logarithmic tensor category theory, VIII: Braided tensor category structure on categories of generalized modules for a conformal vertex algebra
• Logarithmic tensor category theory, V: Convergence condition for intertwining maps and the corresponding compatibility condition
• Logarithmic tensor category theory, VII: Convergence and extension properties and applications to expansion for intertwining maps
• Logarithmic tensor category theory, III: Intertwining maps and tensor product bifunctors
• Logarithmic tensor category theory, IV: Constructions of tensor product bifunctors and the compatibility conditions
• On the tensor structure of modules for compact orbifold vertex operator algebras
• Tensor categories and the mathematics of rational and logarithmic conformal field theory
• Gluing vertex algebras
• On ribbon categories for singlet vertex algebras
• Tensor categories of affine Lie algebras beyond admissible levels
• Direct limit completions of vertex tensor categories
• On the applicability of logarithmic tensor category theory
• Tensor Decomposition, Parafermions, Level-Rank Duality, and Reciprocity Law for Vertex Operator Algebras
• C_1-cofiniteness and Fusion Products of Vertex Operator Algebras
• Structure of Virasoro tensor categories at central charge $13-6p-6p^{-1}$ for integers $p>1$
• On semisimplicity of module categories for finite non-zero index vertex operator subalgebras
• Generalized parafermions of orthogonal type
• An ${\mathfrak{sl}}_2$-type tensor category for the Virasoro algebra at central charge $25$ and applications
• Vertex algebraic intertwining operators among generalized Verma modules for $\widehat{\mathfrak{sl}(2,\mathbb{C})}$
• Associativity of fusion products of $C_1$-cofinite $\mathbb{N}$-gradable modules of vertex operator algebra

Cited by in corpus (3)

• On rationality for $C_2$-cofinite vertex operator algebras
• $N=1$ super Virasoro tensor categories
• Commutative algebras in Grothendieck-Verdier categories, rigidity, and vertex operator algebras