MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Category $\mathcal{O}$ of semisimple Lie algebra has been understood very well. One can decompose the category into different blocks by central characters, and evey block is Noetherian and Aritian, and with finite many irreducible objects.

I would like to know the corresponding structure of category $O$ of Kac moody algebra, especially for affine Lie algebra. For infinite dimensional Lie algebra, the central of universal envoloping algebra is big and complicated. For Affine Lie algebra, maybe one can decompose the category by different levels. Then let's fix a level $k$, and consider the corresponding category $O_k$. For convenience, we only consider representation with integral weight decomposition.

My question is

  1. For different noncritical $k$, can we decompose $\mathcal{O}_k$ into different blocks, and each of then contains only one integral irreducible representation.
  2. For critical $k$, it should be even more complicated, how to think of it?
  3. How about general Kac Moody algebra, is there any general theorem on this decomposition?
share|cite|improve this question
A good reference for the noncritical category O (for any symmetrizable Kac-Moody algebra) is by Peter Fiebig. For the critical level, things are much more complicated, see e.g. the long series of papers by Frenkel-Gaitsgory. – David Ben-Zvi Apr 23 '10 at 17:52
Fiebig's paper is definitely helpful and has been published (I think in the arXiv version): MR2205072 (2006k:17040) 17B67 Fiebig, Peter (D-FRBG), The combinatorics of category O over symmetrizable Kac-Moody algebras. Transform. Groups 11 (2006), no. 1, 29–49. Then try Frenkel-Gaitsgory. For blocks, note that already in the classical case, nonintegral weights require special arguments using Jantzen's integral Weyl subgroups. It's important to be precise about what you mean here by "block", since the term is sometimes used more loosely. – Jim Humphreys Apr 23 '10 at 19:25
Dear Jim, I don't know the structure of central even at noncritical level, is there anything like Harich-chandra theorem for affine Lie algebra? The block in my mind, is a subcategory which corresponds to a central character. Maybe a correct integral block should only contain one irreducible integrable representation. – Hong Apr 23 '10 at 20:55
@xiyu The short answer is that Harish-Chandra's classical description of the center of a universal enveloping algebra of a finite dimensional semisimple Lie algebra doesn't generalize well. And a good definition of "block" might avoid referring to special features like central characters. – Jim Humphreys Apr 24 '10 at 12:35

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.