2-permutations of lattice vertex operator algebras: higher rank (Q511843): Difference between revisions

This paper studies vertex operator algebras of the form \((V_{L}\otimes V_{L})^{\mathbb{Z}_2}\), that is, \(2\)-cyclic permutation orbifold models for lattice vertex operator algebras of arbitrary rank. Here, \(V_{L}\) is a lattice vertex operator algebra and \((V_{L}\otimes V_{L})^{\mathbb{Z}_2} = \{v\in V_{L}\otimes V_{L} \mid g(v)=v \text{ for any }g\in \mathbb{Z}_2\}\) is the fixed point subalgebra. This paper generalizes the authors' previous work in [Proc.\ Am.\ Math.\ Soc.\ 144, No.\ 8, 3207--3220 (2016; Zbl 1395.17065)], which is concerned with the restricted rank one case of this setting. More precisely, in this article the authors prove the rationality of vertex operator algebras of the form \((V_{L}\otimes V_{L})^{\mathbb{Z}_2}\), find the quantum dimensions of the irreducible modules, and determine the fusion rules. While many of the ideas of the proofs are similar to the authors' aforementioned paper, the analysis is much more complicated. The proofs of most of these results rest on realizing \((V_{L}\otimes V_{L})^{\mathbb{Z}_2}\) as a simple current extension of the rational vertex operator algebra \(V_{\sqrt{2}L}\otimes V_{\sqrt{2}L}^+\). For example, the rationality of \((V_{L}\otimes V_{L})^{\mathbb{Z}_2}\) quickly follows from this realization. Additionally, the authors use the fusion rules of the vertex operator algebras \(V_{\sqrt{2}L}\) and \(V_{\sqrt{2}L}^+\) to decompose each irreducible \(V_L\otimes V_L\)-module into a direct sum of irreducible \((V_{L}\otimes V_{L})^{\mathbb{Z}_2}\)-modules. This allows the fusion rules for \((V_{L}\otimes V_{L})^{\mathbb{Z}_2}\) to be computed. In a later work, the authors consider the \(3\)-permutation orbifold of a rank one lattice vertex operator algebra [J.\ Pure Appl.\ Algebra 222, No.\ 6, 1316--1336 (2018; Zbl 1395.17067)].