The adjoint representation inside the exterior algebra of a simple Lie algebra

Abstract

For a simple complex Lie algebra g we study the space of invariants A=(⋀g⁎⊗g⁎)g, which describes the isotypic component of type g in ⋀g⁎, as a module over the algebra of invariants (⋀g⁎)g. As main result we prove that A is a free module, of rank twice the rank of g, over the exterior algebra generated by all primitive invariants in (⋀g⁎)g, with the exception of the one of highest degree.