Give its Adjoint representation. The representation identity gives , so the action map is a Lie algebra representation homomorphism. For a nontrivial simple module it is surjective. If the acting algebra is semisimple and the module is finite dimensional, Weyl complete reducibility theorem splits the surjection and makes a direct summand.
Take the Verma module for the sl2 Lie algebra of highest weight , with basis and , , . It is simple. In , the highest vectors of weight are multiples of . Every homomorphism to kills , whose weight is zero, and hence kills . Every embedded copy of would have its highest vector proportional to , so no projection onto such a copy can exist. Thus semisimplicity of the Lie algebra alone does not provide an action summand in infinite dimension.
Articles by others on the same topic
There are currently no matching articles.