We study the representation theory of the $\mathcal{W}$ -algebra $\mathcal{W}_k(\bar{\mathfrak{g}})$ associated with a simple Lie algebra $\bar{\mathfrak{g}}$ at level k. We show that the “-” reduction functor is exact and sends an irreducible module to zero or an irreducible module at any level k∈ℂ. Moreover, we show that the character of each irreducible highest weight representation of $\mathcal{W}_k(\bar{\mathfrak{g}})$ is completely determined by that of the corresponding irreducible highest weight representation of affine Lie algebra $\mathfrak{g}$ of $\bar{\mathfrak{g}}$ . As a consequence we complete (for the “-” reduction) the proof of the conjecture of E. Frenkel, V. Kac and M. Wakimoto on the existence and the construction of the modular invariant representations of $\mathcal{W}$ -algebras.
Read full abstract