Root system of a semi-simple Lie algebra
|This article needs additional citations for verification. (January 2017) (Learn how and when to remove this template message)|
|Group theory → Lie groups
In mathematics, there is a one-to-one correspondence between reduced crystallographic root systems and semisimple Lie algebras. Here the construction of a root system of a semisimple Lie algebra – and, conversely, the construction of a semisimple Lie algebra from a reduced crystallographic root system – are shown.
Associated root system
Let g be a complex semisimple Lie algebra. Let further h be a Cartan subalgebra of g. Then h acts on g via simultaneously diagonalizable linear maps in the adjoint representation. For λ in h*, define the subspace gλ ⊂ g by
One calls a non-zero λ in h* a root if the subspace gλ is nontrivial. In this case gλ is called the root space of λ. The definition of Cartan subalgebra guarantees that g0 = h. One can show that each non-trivial gλ (i.e. for λ ≠ 0) is one-dimensional. Let R be the set of all roots. Since the elements of h are simultaneously diagonalizable, we have
The Cartan subalgebra h inherits an inner product from the Killing form on g. This induces an inner product on h*. One can show that with respect to this inner product R is a reduced crystallographic root lattice.
Associated semisimple Lie algebra
with the Chevalley–Serre relations
(Here the coefficients denoted by (λ, μ) should be replaced by the coefficients of the Cartan matrix.) It turns out that the generated Lie algebra is semisimple and has root system isomorphic to the given R.
Due to the isomorphism, classification of finite-dimensional representations of semi-simple Lie algebras is reduced to the somewhat easier task of classifying reduced crystallographic root systems.
- Hall, Brian C. (2015), Lie Groups, Lie Algebras, and Representations: An Elementary Introduction, Graduate Texts in Mathematics, 222 (2nd ed.), Springer
- V.S. Varadarajan, Lie groups, Lie algebras, and their representations, GTM, Springer 1984.
- Hazewinkel, Michiel, ed. (2001), "Coxeter group", Encyclopedia of Mathematics, Springer, ISBN 978-1-55608-010-4
- Weisstein, Eric W. "Coxeter group". MathWorld.
- Jenn software for visualizing the Cayley graphs of finite Coxeter groups on up to four generators
- Popov, V.L.; Fedenko, A.S. (2001), "Weyl group", Encyclopaedia of Mathematics, SpringerLink