
We study simple current extensions of tensor products of two vertex operator
algebras satisfying certain conditions. We establish the relationship between
the fusion rule for the simple current extension and the fusion rule for a
tensor factor. In some special case, we construct a chain of simple current
extensions. As an example, we obtain a chain of simple current extensions
starting from the simple affine vertex operator algebra associated with
$\widehat{sl}_2$ at level a positive integer $k$. The irreducible modules are
classified and the fusion rules are determined for those simple current
extensions.

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.

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

We study the commutant of the vertex operator algebra
$\mathcal{L}_{\widehat{\mathfrak{sl}}_2}(4,0)$ in the cyclic permutation
orbifold model $(\mathcal{L}_{\widehat{\mathfrak{sl}}_2}(1,0)^{\otimes
4})^\tau$ with $\tau=(1\,2\,3\,4)$. It is shown that the commutant is
isomorphic to a ${\mathbb Z}_2\times{\mathbb Z}_2$orbifold model of a tensor
product of two lattice type vertex operator algebras of rank one.

We study the fixed point subalgebra of a certain class of lattice vertex
operator algebras by an automorphism of order 3, which is a lift of a
fixedpointfree isometry of the underlying lattice. We classify the
irreducible modules for the subalgebra. Moreover, the rationality and the
$C_2$cofiniteness of the subalgebra are established. Our result contains the
case of the vertex operator algebra associated with the Leech lattice.

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.

It is proved that the parafermion vertex operator algebra associated to the
irreducible highest weight module for the affine KacMoody algebra A_1^{(1)} of
level k coincides with a certain Walgebra. In particular, a set of generators
for the parafermion vertex operator algebra is determined.

We study a Walgebra of central charge 2(k1)/(k+2) with k a positive integer
greater than 1

We study the subalgebra of the lattice vertex operator algebra
$V_{\sqrt{2}A_2}$ consisting of the fixed points of an automorphism which is
induced from an order 3 isometry of the root lattice $A_2$. We classify the
simple modules for the subalgebra. The rationality and the $C_2$cofiniteness
are also established.

This paper is a continuation of our paper math.QA/0403010 at which several
coset subalgebras of the lattice VOA $V_{\sqrt{2}E_8}$ were constructed and the
relationship between such algebras with the famous McKay observation on the
extended E_8 diagram and the Monster simple group were discussed. In this
article, we shall provide the technical details. We completely determine the
structure of the coset subalgebras constructed and show that they are all
generated by two conformal vectors of central charge 1/2. We also study the
representation theory of these coset subalgebras and show that the product of
two Miyamoto involutions is in the desired conjugacy class of the Monster
simple group if a coset subalgebra U is actually contained in the Moonshine
VOA. The existence of U inside the Moonshine VOA for the cases of 1A, 2A, 2B
and 4A is also established. Moreover, the cases for 3A, 5A and 3C are
discussed.

We study McKay's observation on the Monster simple group, which relates the
2Ainvolutions of the Monster simple group to the extended E_8 diagram, using
the theory of vertex operator algebras (VOAs). We first consider the
sublattices L of the E_8 lattice obtained by removing one node from the
extended E_8 diagram at each time. We then construct a certain coset (or
commutant) subalgebra U associated with L in the lattice VOA V_{\sqrt{2}E_8}.
There are two natural conformal vectors of central charge 1/2 in U such that
their inner product is exactly the value predicted by Conway. The Griess
algebra of U coincides with the algebra described in Conway's paper. There is a
canonical automorphism of U of order E_8/L. Such an automorphism can be
extended to the Leech lattice VOA V_\Lambda and it is in fact a product of two
Miyamoto involutions. In the sequel [LYY] to this article we shall develop the
representation theory of $U$. It is expected that if U is actually contained in
the Moonshine VOA V^\natural, the product of two Miyamoto involutions is in the
desired conjugacy class of the Monster simple group.

For vertex operator algebra V_{\sqrt{2}A_l} associated to the even lattice
\sqrt{2}A_l which is \sqrt{2} times root lattice of type A_l, it was shown by
DongLiMaosnNorton that the Virasoro vector is a sum of l+1 mutually
orthogonal conformal vectors with central charges c_i=16/(i+2)(i+3) for
i=1,...,l and c_{l+1}=2l/(l+3) and the subalgebra T generated by these vectors
is a tensor product of Virasoro vertex operator algebras L(c_i,0). In this
paper we determine the decomposition of V_{\sqrt{2}A_3} into the sum of
irreducible Tmodules completely.