Annihilating ideals and tilting functors (Q1966302)

The authors investigate some very general aspects of the representation theory of affine Lie algebras. They try to extend the classical theory of Harish-Chandra bimodules to affine Lie algebras. As the main tool they use the theory of Kazhdan-Lusztig tensoring [cf. \textit{D. Kazhdan} and \textit{G. Lusztig}, Tensor structures arising from affine Lie algebras, I--IV , J. Am. Math. Soc. 6, 905-947, 949-1011 (1993; Zbl 0786.17017); J. Am. Math. Soc. 7, 335-381, 383-453 (1994; Zbl 0802.17007; Zbl 0802.17008)]. In the present paper the authors obtain some very interesting results on the annihilating ideals of highest weight representations of affine Lie algebras. The main result is related to the study of a map \(\omega\) which sends a submodule of a Weyl module over an affine Lie algebra to the annihilating ideal of the corresponding quotient. It is proved that \(\omega\) defines an equivalence of the submodule lattice of the Weyl module with regular dominant highest weight and the vertex ideal lattice of the corresponding locally completed universal enveloping algebra. In particular, this result implies that the annihilating ideal of an admissible representation of a positive rational level \(k\) is generated by one singular vector of the vertex operator algebra associated to the vacuum Weyl module \(V_0 ^{k}\). The authors also investigate the properties of tilting functors in the negative level case.