Theorem of the highest weight

Short description: Theorem in representation theory

In representation theory, a branch of mathematics, the theorem of the highest weight classifies the irreducible representations of a complex semisimple Lie algebra 𝔤.[1][2] There is a closely related theorem classifying the irreducible representations of a connected compact Lie group K.[3] The theorem states that there is a bijection

λ↦[Vλ]

from the set of "dominant integral elements" to the set of equivalence classes of irreducible representations of 𝔤 or K. The difference between the two results is in the precise notion of "integral" in the definition of a dominant integral element. If K is simply connected, this distinction disappears.

The theorem was originally proved by Élie Cartan in his 1913 paper.[4] The version of the theorem for a compact Lie group is due to Hermann Weyl. The theorem is one of the key pieces of representation theory of semisimple Lie algebras.

## Contents

* 1 Statement
* 1.1 Lie algebra case
* 1.2 The compact group case
* 2 Proofs
* 3 See also
* 4 Notes
* 5 References

## Statement

### Lie algebra case

Let 𝔤 be a finite-dimensional semisimple complex Lie algebra with Cartan subalgebra 𝔥. Let R be the associated root system. We then say that an element λ∈𝔥* is integral[5] if

2⟨λ,α⟩⟨α,α⟩

is an integer for each root α. Next, we choose a set R+ of positive roots and we say that an element λ∈𝔥* is dominant if ⟨λ,α⟩≥0 for all α∈R+. An element λ∈𝔥* is dominant integral if it is both dominant and integral. Finally, if λ and μ are in 𝔥*, we say that λ is higher[6] than μ if λ−μ is expressible as a linear combination of positive roots with non-negative real coefficients.

A weight λ of a representation V of 𝔤 is then called a highest weight if λ is higher than every other weight μ of V.

The theorem of the highest weight then states:[2]

* If V is a finite-dimensional irreducible representation of 𝔤, then V has a unique highest weight, and this highest weight is dominant integral.
* If two finite-dimensional irreducible representations have the same highest weight, they are isomorphic.
* For each dominant integral element λ, there exists a finite-dimensional irreducible representation with highest weight λ.

The most difficult part is the last one; the construction of a finite-dimensional irreducible representation with a prescribed highest weight.

### The compact group case

Let K be a connected compact Lie group with Lie algebra 𝔨 and let 𝔤:=𝔨+i𝔨 be the complexification of 𝔤. Let T be a maximal torus in K with Lie algebra 𝔱. Then 𝔥:=𝔱+i𝔱 is a Cartan subalgebra of 𝔤, and we may form the associated root system R. The theory then proceeds in much the same way as in the Lie algebra case, with one crucial difference: the notion of integrality is different. Specifically, we say that an element λ∈𝔥 is  analytically integral[7] if

⟨λ,H⟩

is an integer whenever

e2πH=I

where I is the identity element of K. Every analytically integral element is integral in the Lie algebra sense,[8] but there may be integral elements in the Lie algebra sense that are not analytically integral. This distinction reflects the fact that if K is not simply connected, there may be representations of 𝔤 that do not come from representations of K. On the other hand, if K is simply connected, the notions of "integral" and "analytically integral" coincide.[3]

The theorem of the highest weight for representations of K[9] is then the same as in the Lie algebra case, except that "integral" is replaced by "analytically integral."

## Proofs

There are at least four proofs:

* Hermann Weyl's original proof from the compact group point of view,[10] based on the Weyl character formula and the Peter–Weyl theorem.
* The theory of Verma modules contains the highest weight theorem. This is the approach taken in many standard textbooks (e.g., Humphreys and Part II of Hall).
* The Borel–Weil–Bott theorem constructs an irreducible representation as the space of global sections of an ample line bundle; the highest weight theorem results as a consequence. (The approach uses a fair bit of algebraic geometry but yields a very quick proof.)
* The invariant theoretic approach: one constructs irreducible representations as subrepresentations of a tensor power of the standard representations. This approach is essentially due to H. Weyl and works quite well for classical groups.

## See also

* Classifying finite-dimensional representations of Lie algebras
* Representation theory of a connected compact Lie group
* Weights in the representation theory of semisimple Lie algebras

## Notes

1. ↑ Dixmier 1996, Theorem 7.2.6.
2. ↑ 2.0 2.1 Hall 2015 Theorems 9.4 and 9.5
3. ↑ 3.0 3.1 Hall 2015 Theorem 12.6
4. ↑ Knapp, A. W. (2003). "Reviewed work: Matrix Groups: An Introduction to Lie Group Theory, Andrew Baker; Lie Groups: An Introduction through Linear Groups, Wulf Rossmann". The American Mathematical Monthly 110 (5): 446–455. doi:10.2307/3647845. https://www.jstor.org/stable/3647845.
5. ↑ Hall 2015 Section 8.7
6. ↑ Hall 2015 Section 8.8
7. ↑ Hall 2015 Definition 12.4
8. ↑ Hall 2015 Proposition 12.7
9. ↑ Hall 2015 Corollary 13.20
10. ↑ Hall 2015 Chapter 12

## References

* Dixmier, Jacques (1996), Enveloping algebras, Graduate Studies in Mathematics, 11, Providence, R.I.: American Mathematical Society, ISBN 978-0-8218-0560-2, https://books.google.com/books?isbn=0821805606
* Fulton, William; Harris, Joe (1991) (in en-gb). Representation theory. A first course. Graduate Texts in Mathematics, Readings in Mathematics. 129. New York: Springer-Verlag. doi:10.1007/978-1-4612-0979-9. ISBN 978-0-387-97495-8. OCLC 246650103. https://link.springer.com/10.1007/978-1-4612-0979-9.
* Hall, Brian C. (2015), Lie groups, Lie algebras, and representations: An elementary introduction, Graduate Texts in Mathematics, 222 (2nd ed.), Springer, ISBN 978-3319134666
* Humphreys, James E. (1972a), Introduction to Lie Algebras and Representation Theory, Birkhäuser, ISBN 978-0-387-90053-7, https://archive.org/details/introductiontoli00jame .

0.00

(0 votes)

Original source: https://en.wikipedia.org/wiki/Theorem of the highest weight. Read more

|

Retrieved from "https://handwiki.org/wiki/index.php?title=Theorem_of_the_highest_weight&oldid=4230037"