It is shown that any simple, rational and C_2-cofinite vertex operator algebra whose weight 1 subspace is zero, the dimension of weight 2 subspace is greater than or equal to 2 and with central charge c=1, is isomorphic to L(1/2,0)otimes L(1/2,0).
In this paper the W-algebra W(2,2) and its representation theory are studied. It is proved that a simple vertex operator algebra generated by two weight 2 vectors is either a vertex operator algebra associated to a highest irreducible W(2,2)-module or a tensor product of two irreducible Virasoro vertex operator algebras. Furthermore, any rational, C_2-cofinite simple vertex operator algebra whose weight 1 subspace is zero and weight 2 subspace is 2-dimensional, and with central charge c=1 is isomorphic to L(1/2,0)otimes L(1/2,0).
The rational and C_2-cofinite simple vertex operator algebras whose effective central charges and the central charges c are equal and less than 1 are classified. Such a vertex operator algebra is zero if c<0 and C if c=0. If c>0, it is an extension of discrete Virasoro vertex operator algebra L(c_{p,q},0) by its irreducible modules. It is also proved that for any rational and C_2-cofinite simple vertex operator algebra whose effective central charge and central charge are equal, the vertex operator subalgebra generated by the Virasoro vector is simple.
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.
Let Uq(g) be the quantum affine superalgebra associated with an affine Kac-Moody superalgebra g which belongs to the three series osp(1|2n)^(1),sl(1|2n)^(2) and osp(2|2n)^(2). We develop vertex operator constructions for the level 1 irreducible integrable highest weight representations and classify the finite dimensional irreducible representations of Uq(g). This makes essential use of the Drinfeld realisation for Uq(g), and quantum correspondences between affine Kac-Moody superalgebras, developed in earlier papers.
In this paper, I investigate the ascending chain condition of right ideals in the case of vertex operator algebras satisfying a finiteness and/or a simplicity condition. Possible applications to the study of finiteness of orbifold VOAs is discussed.