
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.

We prove the uniqueness of the simple vertex operator algebra of OZtype
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$.

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}$.

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.

Let $p$ be an odd prime and let $\widehat{\sigma}$ be an order $p$
automorphism of $V_{\sqrt{2}A_{p1}}$ which is a lift of a $p$cycle in the
Weyl group ${\rm Weyl}(A_{p1})\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_{p1}}^{\langle \widehat{\sigma} \rangle}$ and give a criterion
for $V$ that every irreducible $V$module is a simple current.

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
fixedpointfree 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.

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.

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
levelrank duality.

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$.

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
fixedpoint 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.

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$.

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}$.

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}$.

In this paper, we present a general construction of 3transposition groups as
automorphism groups of vertex operator algebras. Applying to the moonshine
vertex operator algebra, we establish the ConwayMiyamoto correspondences
between Fischer 3transposition 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.

We consider a series of VOAs generated by 3dimensional Griess algebras. We
will show that these VOAs can be characterized by their 3dimensional 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.

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.

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.

In this paper, we show that $\sigma$involutions associated to extendable
c=4/5 Virasoro vectors generate a 3transposition 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)$.

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)$.

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 3Cpure
type.

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.

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.

We determine Zhu's algebra and C_2algebra of parafermion vertex operator
algebras for sl_2. Moreover, we prove the C_2cofiniteness of parafermion
vertex operator algebras for any finite dimensional simple Lie algebras.

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 6Anodes. 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
GlaubermanNorton 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.

In this paper, we study the residue codes of extremal Type II Z_4codes 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_4codes of length 24. Some corresponding results associated to the
moonshine vertex operator algebra are also discussed.