• 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_{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.
  • 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.
  • 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 fixed-point-free 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_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.
  • It is proved that the parafermion vertex operator algebra associated to the irreducible highest weight module for the affine Kac-Moody algebra A_1^{(1)} of level k coincides with a certain W-algebra. In particular, a set of generators for the parafermion vertex operator algebra is determined.
  • We study a W-algebra of central charge 2(k-1)/(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 2A-involutions 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 Dong-Li-Maosn-Norton that the Virasoro vector is a sum of l+1 mutually orthogonal conformal vectors with central charges c_i=1-6/(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 T-modules completely.