Action summand can fail for an infinite-dimensional simple module

ID: action-summand-can-fail-for-an-infinite-dimensional-simple-module

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.

New to topics? Read the docs here!