Theorem of the highest weight

The theorem of the highest weight is an important idea in representation theory. It helps us understand how certain mathematical objects can be grouped and studied.

This theorem tells us that special numbers, called "dominant integral elements," match up with different kinds of irreducible representations. This makes it easier to study these representations.

The theorem was first shown to be true by Élie Cartan in 1913, and later extended to compact Lie groups by Hermann Weyl. It is a central piece in the study of the representation theory of semisimple Lie algebras.

Statement

The theorem of the highest weight helps us understand special patterns in mathematics called representations. In simple terms, it tells us that each pattern has a unique "highest weight," which acts like a fingerprint for that pattern. Two patterns will have the same highest weight only if they are essentially the same pattern.

This theorem applies to two closely related areas: complex Lie algebras and compact Lie groups. For complex Lie algebras, the highest weight must be "dominant integral." For compact Lie groups, the condition is slightly different and is called "analytically integral." In both cases, the theorem provides a clear way to classify these important mathematical patterns.

Proofs

There are several ways to prove the theorem of the highest weight. One method was created by Hermann Weyl and uses ideas from the Weyl character formula and the Peter–Weyl theorem. Another method uses something called Verma modules. A third method, called the Borel–Weil–Bott theorem, uses algebraic geometry. There is also an approach using invariant theory.