The congruence subgroup property is established for the modular representations associated to any modular tensor category. This result is used to prove that the kernel of the representation of the modular group on the conformal blocks of any rational
, C_2-cofinite vertex operator algebra is a congruence subgroup. In particular, the q-character of each irreducible module is a modular function on the same congruence subgroup. The Galois symmetry of the modular representations is obtained and the order of the anomaly for those modular categories satisfying some integrality conditions is determined.
The structure of the parafermion vertex operator algebra associated to an integrable highest weight module for any affine Kac-Moody algebra is studied. In particular, a set of generators for this algebra has been determined.
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).
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
It is proved that any vertex operator algebra for which the image of the Virasoro element in Zhus algebra is algebraic over complex numbers is finitely generated. In particular, any vertex operator algebra with a finite dimensional Zhus algebra is fi
nitely generated. As a result, any rational vertex operator algebra is finitely generated.
