In a finite-dimensional short exact sequence of representations of a complex semisimple Lie algebra, the generalized zero eigenspace of the Casimir operator maps onto the trivial quotient. All its irreducible composition factors have zero Casimir eigenvalue, so they are trivial. The action is therefore strictly upper triangular and has solvable image; because a semisimple Lie algebra is a perfect Lie algebra, that image is zero. Every lift in this generalized zero eigenspace is invariant, giving a split short exact sequence.
Articles by others on the same topic
There are currently no matching articles.