• ### Inertia groups and uniqueness of holomorphic vertex operator algebras(1804.02521)

April 7, 2018 math.QA
We continue our program on classification of holomorphic vertex operator algebras of central charge $24$. In this article, we show that there exists a unique strongly regular holomorphic VOA of central charge $24$, up to isomorphism, if its weight one Lie algebra has the type $C_{4,10}$, $D_{7,3}A_{3,1}G_{2,1}$, $A_{5,6}C_{2,3}A_{1,2}$, $A_{3,1}C_{7,2}$, $D_{5,4}C_{3,2}A_{1,1}^2$, or $E_{6,4}C_{2,1}A_{2,1}$. As a consequence, we have verified that the isomorphism class of a strongly regular holomorphic vertex operator algebra of central charge $24$ is determined by its weight one Lie algebra structure if the weight one subspace is nonzero.
• ### Vertex operator algebras generated by Ising vectors of $\sigma$-type(1803.01385)

March 4, 2018 math.QA
We prove the uniqueness of the simple vertex operator algebra of OZ-type generated by Ising vectors of $\sigma$-type. We also prove that the simplicity can be omitted if the Griess algebra is isomorphic to the Matsuo algebra associated with the root system of type $A_n$.
• ### A Holomorphic vertex operator algebra of central charge 24 with weight one Lie algebra $F_{4,6}A_{2,2}$(1612.08123)

Feb. 25, 2018 math.QA
In this paper, a holomorphic vertex operator algebra $U$ of central charge 24 with the weight one Lie algebra $A_{8,3}A_{2,1}^2$ is proved to be unique. Moreover, a holomorphic vertex operator algebra of central charge 24 with weight one Lie algebra $F_{4,6}A_{2,2}$ is obtained by applying a $\mathbb{Z}_2$-orbifold construction to $U$. The uniqueness of such a vertex operator algebra is also established. By a similar method, we also established the uniqueness of a holomorphic vertex operator algebra of central charge 24 with the weight one Lie algebra $E_{7,3}A_{5,1}$. As a consequence, we verify that all $71$ Lie algebras in Schellekens' list can be realized as the weight one Lie algebras of some holomorphic vertex operator algebras of central charge $24$. In addition, we establish the uniqueness of three holomorphic vertex operator algebras of central charge $24$ whose weight one Lie algebras have the type $A_{8,3}A_{2,1}^2$, $F_{4,6}A_{2,2}$, and $E_{7,3}A_{5,1}$.
• ### Modular framed vertex operator algebras(1709.04167)

Sept. 13, 2017 math.QA
Framed vertex operator algebras over any algebraically closed field whose characteristic is different from 2 and 7 are studied. In particular, the rationality of framed vertex operator algebras is established. For a code vertex operator algebra, the irreducible modules are constructed and classified. Moreover, a Z[\frac{1}{2}]-form for any framed vertex operator algebra over C is constructed. As a result, one can obtain a modular framed vertex operator algebra from any framed vertex operator algebra over C.
• ### Extensions of tensor products of ${\mathbb Z}_p$-orbifold models of the lattice vertex operator algebra $V_{\sqrt{2}A_{p-1}}$(1708.06082)

Aug. 21, 2017 math.QA
Let $p$ be an odd prime and let $\widehat{\sigma}$ be an order $p$ automorphism of $V_{\sqrt{2}A_{p-1}}$ which is a lift of a $p$-cycle in the Weyl group ${\rm Weyl}(A_{p-1})\cong {\mathfrak S}_p$. We study a certain extension $V$ of a tensor product of finitely many copies of the orbifold model $V_{\sqrt{2}A_{p-1}}^{\langle \widehat{\sigma} \rangle}$ and give a criterion for $V$ that every irreducible $V$-module is a simple current.
• ### A remark on ${\mathbb Z}_p$-orbifold constructions of the Moonshine vertex operator algebra(1705.09022)

July 18, 2017 math.QA
For $p = 3,5,7,13$, we consider a ${\mathbb Z}_p$-orbifold construction of the Moonshine vertex operator algebra $V^\natural$. We show that the vertex operator algebra obtained by the ${\mathbb Z}_p$-orbifold construction on the Leech lattice vertex operator algebra $V_\Lambda$ and a lift of a fixed-point-free isometry of order $p$ is isomorphic to the Moonshine vertex operator algebra $V^\natural$. We also describe the relationship between those ${\mathbb Z}_p$-orbifold constructions and the ${\mathbb Z}_2$-orbifold construction in a uniform manner. In Appendix, we give a characterization of the Moonshine vertex operator algebra $V^\natural$ by two mutually orthogonal Ising vectors.
• ### On orbifold constructions associated with the Leech lattice vertex operator algebra(1705.01281)

June 26, 2017 math.QA
In this article, we study orbifold constructions associated with the Leech lattice vertex operator algebra. As an application, we prove that the structure of a strongly regular holomorphic vertex operator algebra of central charge $24$ is uniquely determined by its weight one Lie algebra if the Lie algebra has the type $A_{3,4}^3A_{1,2}$, $A_{4,5}^2$, $D_{4,12}A_{2,6}$, $A_{6,7}$, $A_{7,4}A_{1,1}^3$, $D_{5,8}A_{1,2}$ or $D_{6,5}A_{1,1}^2$ by using the reverse orbifold construction. Our result also provides alternative constructions of these vertex operator algebras (except for the case $A_{6,7}$) from the Leech lattice vertex operator algebra.
• ### Level-Rank Duality for Vertex Operator Algebras of types B and D(1703.04889)

Sept. 12, 2019 math.QA
For the simple Lie algebra $\frak{so}_m$, we study the commutant vertex operator algebra of $L_{\hat{\frak{so}}_{m}}(n,0)$ in the $n$-fold tensor product $L_{\hat{\frak{so}}_{m}}(1,0)^{\otimes n}$. It turns out that this commutant vertex operator algebra can be realized as a fixed point subalgebra of $L_{\hat{\frak{so}}_{n}}(m,0)$ (or its simple current extension) associated with a certain abelian group. This result may be viewed as a version of level-rank duality.
• ### Reverse orbifold construction and uniqueness of holomorphic vertex operator algebras(1606.08979)

May 10, 2019 math.QA
In this article, we develop a general technique for proving the uniqueness of holomorphic vertex operator algebras based on the orbifold construction and its "reverse" process. As an application, we prove that the structure of a strongly regular holomorphic vertex operator algebra of central charge $24$ is uniquely determined by its weight one Lie algebra if the Lie algebra has the type $E_{6,3}G_{2,1}^3$, $A_{2,3}^6$ or $A_{5,3}D_{4,3}A_{1,1}^3$.
• ### $\Z_3$-orbifold construction of the Moonshine vertex operator algebra and some maximal $3$-local subgroups of the Monster(1606.05961)

Feb. 13, 2017 math.QA
In this article, we describe some maximal $3$-local subgroups of the Monster simple group using vertex operator algebras (VOA). We first study the holomorphic vertex operator algebra obtained by applying the orbifold construction to the Leech lattice vertex operator algebra and a lift of a fixed-point free isometry of order $3$ of the Leech lattice. We also consider some of its special subVOAs and study their stabilizer subgroups using the symmetries of the subVOAs. It turns out that these stabilizer subgroups are $3$-local subgroups of its full automorphism group. As one of our main results, we show that its full automorphism group is isomorphic to the Monster simple group by using a $3$-local characterization and that the holomorphic VOA is isomorphic to the Moonshine VOA. This approach allows us to obtain relatively explicit descriptions of two maximal $3$-local subgroups of the shape $3^{1+12}.2.\Suz{:}2$ and $3^8.\Omega^-(8,3).2$ in the Monster simple group.
• ### Parafermion vertex operator algebras and W-algebras(1701.06229)

Jan. 22, 2017 math.RT
We prove the conjectual isomorphism between the level $k$ $\widehat{sl}_2$-parafermion vertex operator algebra and the $(k+1,k+2)$ minimal series $W_k$-algebra for all integers $k \ge 2$. As a consequence, we obtain the conjectural isomorphism between the $(k+1,k+2)$ minimal series $W_k$-algebra and the coset vertex operator algebra $SU(k)_1 \otimes SU(k)_1/SU(k)_2$.
• ### $\mathbb{Z}_2$-orbifold construction associated with $(-1)$-isometry and uniqueness of holomorphic vertex operator algebras of central charge 24(1611.07655)

Jan. 4, 2017 math.QA
The vertex operator algebra structure of a strongly regular holomorphic vertex operator algebra $V$ of central charge $24$ is proved to be uniquely determined by the Lie algebra structure of its weight one space $V_1$ if $V_1$ is a Lie algebra of the type $A_{1,4}^{12}$, $B_{2,2}^6$, $B_{3,2}^4$, $B_{4,2}^3$, $B_{6,2}^2$, $B_{12,2}$, $D_{4,2}^2B_{2,1}^4$, $D_{8,2}B_{4,1}^2$, $A_{3,2}^4A_{1,1}^4$, $D_{5,2}^2A_{3,1}^2$, $D_{9,2}A_{7,1}$, $C_{4,1}^4$ or $D_{6,2}B_{3,1}^2C_{4,1}$.
• ### A holomorphic vertex operator algebra of central charge $24$ whose weight one Lie algebra has type $A_{6,7}$(1606.04688)

Aug. 18, 2016 math.QA
In this article, we describe a construction of a holomorphic vertex operator algebras of central charge $24$ whose weight one Lie algebra has type $A_{6,7}$.
• ### The Conway-Miyamoto correspondences for the Fischer 3-transposition groups(1604.04989)

April 18, 2016 math.QA
In this paper, we present a general construction of 3-transposition groups as automorphism groups of vertex operator algebras. Applying to the moonshine vertex operator algebra, we establish the Conway-Miyamoto correspondences between Fischer 3-transposition groups $\mathrm{Fi}_{23}$ and $\mathrm{Fi}_{22}$ and $c=25/28$ and $c=11/12$ Virasoro vectors of subalgebras of the moonshine vertex operator algebra.
• ### 3-dimensional Griess algebras and Miyamoto involutions(1604.04470)

April 15, 2016 math.QA
We consider a series of VOAs generated by 3-dimensional Griess algebras. We will show that these VOAs can be characterized by their 3-dimensional Griess algebras and their structures are uniquely determined. As an application, we will determine the groups generated by the Miyamoto involutions associated to Virasoro vectors of our VOAs.
• ### Orbifold construction of holomorphic vertex operator algebras associated to inner automorphisms(1501.05094)

Aug. 24, 2015 math.QA
In this article, we construct three new holomorphic vertex operator algebras of central charge $24$ using the $\mathbb{Z}_2$-orbifold construction associated to inner automorphisms. Their weight one subspaces has the Lie algebra structures $D_{7,3}A_{3,1}G_{2,1}$, $E_{7,3}A_{5,1}$, and $A_{8,3}A_{2,1}^2$. In addition, we discuss the constructions of holomorphic vertex operator algebras with Lie algebras $A_{5,6}C_{2,3}A_{1,2}$ and $D_{6,5}A_{1,1}^2$ from holomorphic vertex operator algebras with Lie algebras $C_{5,3}G_{2,2}A_{1,1}$ and $A_{4,5}^2$, respectively.
• ### Quantum dimensions and fusion rules of the VOA $V^\tau_{L_{C \times D}}$(1409.0332)

Sept. 1, 2014 math.QA
In this article, we determine quantum dimensions and fusion rules for the orbifold code VOA $V^\tau_{L_{C \times D}}$. As an application, we also construct certain $3$-local subgroups inside the automorphism group of the VOA $V^\sharp$, where $V^\sharp$ is a holomorphic VOA obtained by the $\mathbb{Z}_3$-orbifold construction on the Leech lattice VOA.
• ### On 3-transposition groups generated by $\sigma$-involutions associated to c=4/5 Virasoro vectors(1311.2829)

Nov. 12, 2013 math-ph, math.MP, math.QA, math.GR
In this paper, we show that $\sigma$-involutions associated to extendable c=4/5 Virasoro vectors generate a 3-transposition group in the automorphism group of a vertex operator algebra (VOA). Several explicit examples related to lattice VOA are also discussed in details. In particular, we show that the automorphism group of the VOA $V_{K_{12}}^{\hat{\nu}}$ associated to the Coxeter Todd lattice $K_{12}$ contains a subgroup isomorphic to ${}^+\Omega^{-}(8,3)$.
• ### Applications of vertex algebra covering procedures to Chevalley groups and modular moonshine(1308.2270)

Aug. 10, 2013 math.QA
A vertex operator algebra of lattice type ADE has a standard integral form which extends a Chevalley basis for its degree 1 Lie algebra. This integral form may be used to define a vertex algebra over a commutative ring $R$ and to get a Chevalley group over $R$ of the same type, acting as automorphisms of this vertex algebra. We define vertex algebras of types BCFG over a commutative ring and certain reduced VAs, then get analogous results about automorphism groups. In characteristics 2 and 3, there are exceptionally large automorphism groups. A covering algebra idea of Frohardt and Griess for Lie algebras is applied to the vertex algebra situation. We use integral form and covering procedures for vertex algebras to complete the modular moonshine program of Borcherds and Ryba for proving an embedding of the sporadic group $F_3$ in $E_8(3)$.
• ### On Majorana representations of the group $3^2{:}2$ of 3C-pure type and the corresponding vertex operator algebras(1305.7306)

May 31, 2013 math.QA
In this article, we study Griess algebras and vertex operator subalgebras generated by Ising vectors in a moonshine type VOA such that the subgroup generated by the corresponding Miyamoto involutions has the shape $3^2{:}2$ and any two Ising vectors generate a 3C subVOA $U_{3C}$. We show that such a Griess algebra is uniquely determined, up to isomorphisms. The structure of the corresponding vertex operator algebra is also discussed. In addition, we give a construction of such a VOA inside the lattice VOA $V_{E_8^3}$, which gives an explicit example for Majorana representations of the group $3^2{:}2$ of 3C-pure type.
• ### Weyl groups and vertex operator algebras generated by Ising vectors satisfying $(2B,3C)$ condition(1305.7307)

May 31, 2013 math.QA
In this article, we construct explicitly certain moonshine type vertex operator algebras generated by a set of Ising vectors $I$ such that (1) for any $e\neq f\in I$, the subVOA $\mathrm{VOA}(e,f)$ generated by $e$ and $f$ is isomorphic to either $U_{2B}$ or $U_{3C}$; and (2)the subgroup generated by the corresponding Miyamoto involutions $\{\tau_e|\,e\in I\}$ is isomorphic to the Weyl group of a root system of type $A_n$, $D_n$, $E_6$, $E_7$ or $E_8$. The structures of the corresponding vertex operator algebras and their Griess algebras are also studied. In particular, the central charge of these vertex operator algebras are determined.
• ### Classification of holomorphic framed vertex operator algebras of central charge 24(1209.4677)

Sept. 20, 2012 math.QA
This article is a continuation of our work on the classification of holomorphic framed vertex operator algebras of central charge 24. We show that a holomorphic framed VOA of central charge 24 is uniquely determined by the Lie algebra structure of its weight one subspace. As a consequence, we completely classify all holomorphic framed vertex operator algebras of central charge 24 and show that there exist exactly 56 such vertex operator algebras, up to isomorphism.
• ### Zhu's algebra, C_2-algebra and C_2-cofiniteness of parafermion vertex operator algebras(1207.3909)

July 17, 2012 math.QA, math.RT
We determine Zhu's algebra and C_2-algebra of parafermion vertex operator algebras for sl_2. Moreover, we prove the C_2-cofiniteness of parafermion vertex operator algebras for any finite dimensional simple Lie algebras.
• ### Moonshine paths for 3A and 6A nodes of the extended E8-diagram(1205.6017)

May 28, 2012 math.QA, math.GR
We continue the program to make a moonshine path between a node of the extended $E_8$-diagram and the Monster. Our theory is a concrete model expressing some of the mysterious connections identified by John McKay, George Glauberman and Simon Norton. In this article, we treat the 3A and 6A-nodes. We determine the orbits of triples $(x,y,z)$ in the Monster where $z\in 2B$, $x, y \in 2A \cap C(z)$ and $xy\in 3A \cup 6A$. Such $x, y$ correspond to a rootless $EE_8$-pair in the Leech lattice. For the 3A and 6A cases, we shall say something about the "half Weyl groups", which are proposed in the Glauberman-Norton theory. Most work in this article is with lattices, due to their connection with dihedral subgroups of the Monster. These lattices are $M+N$, where $M, N$ is the relevant pair of $EE_8$-sublattices, and their annihilators in the Leech lattice. The isometry groups of these four lattices are analyzed.
• ### Residue codes of extremal Type II Z_4-codes and the moonshine vertex operator algebra(1005.1144)

Sept. 16, 2011 math.QA
In this paper, we study the residue codes of extremal Type II Z_4-codes of length 24 and their relations to the famous moonshine vertex operator algebra. The main result is a complete classification of all residue codes of extremal Type II Z_4-codes of length 24. Some corresponding results associated to the moonshine vertex operator algebra are also discussed.