Reductive Lie algebra

This article does not cite any sources. Please help by adding citations to reliable sources. Unsourced material may be challenged and removed. Find sources:  –  ·  ·  · scholar · JSTOR (May 2013) (Learn how and when to remove this template message)

In mathematics, a Lie algebra is reductive if its adjoint representation is completely reducible, whence the name. More concretely, a Lie algebra is reductive if it is a direct sum of a semisimple Lie algebra and an abelian Lie algebra: ${\displaystyle {\mathfrak {g}}={\mathfrak {s}}\oplus {\mathfrak {a}};}$ there are alternative characterizations, given below.

Examples[]

The most basic example is the Lie algebra ${\displaystyle {\mathfrak {gl}}_{n}}$ of ${\displaystyle n\times n}$ matrices with the commutator as Lie bracket, or more abstractly as the endomorphism algebra of an n-dimensional vector space, ${\displaystyle {\mathfrak {gl}}(V).}$ This is the Lie algebra of the general linear group GL(n), and is reductive as it decomposes as ${\displaystyle {\mathfrak {gl}}_{n}={\mathfrak {sl}}_{n}\oplus {\mathfrak {k}},}$ corresponding to traceless matrices and scalar matrices.

Any semisimple Lie algebra or abelian Lie algebra is a fortiori reductive.

Over the real numbers, compact Lie algebras are reductive.

Definitions[]

A Lie algebra ${\displaystyle {\mathfrak {g}}}$ over a field of characteristic 0 is called reductive if any of the following equivalent conditions are satisfied:

1. The adjoint representation (the action by bracketing) of ${\displaystyle {\mathfrak {g}}}$ is completely reducible (a direct sum of irreducible representations).
2. ${\displaystyle {\mathfrak {g}}}$ admits a faithful, completely reducible, finite-dimensional representation.
3. The radical of ${\displaystyle {\mathfrak {g}}}$ equals the center: ${\displaystyle {\mathfrak {r}}({\mathfrak {g}})={\mathfrak {z}}({\mathfrak {g}}).}$

   The radical always contains the center, but need not equal it.

4. ${\displaystyle {\mathfrak {g}}}$ is the direct sum of a semisimple ideal ${\displaystyle {\mathfrak {s}}_{0}}$ and its center ${\displaystyle {\mathfrak {z}}({\mathfrak {g}}):}$ ${\displaystyle {\mathfrak {g}}={\mathfrak {s}}_{0}\oplus {\mathfrak {z}}({\mathfrak {g}}).}$

   Compare to the Levi decomposition, which decomposes a Lie algebra as its radical (which is solvable, not abelian in general) and a Levi subalgebra (which is semisimple).

5. ${\displaystyle {\mathfrak {g}}}$ is a direct sum of a semisimple Lie algebra ${\displaystyle {\mathfrak {s}}}$ and an abelian Lie algebra ${\displaystyle {\mathfrak {a}}}$: ${\displaystyle {\mathfrak {g}}={\mathfrak {s}}\oplus {\mathfrak {a}}.}$
6. ${\displaystyle {\mathfrak {g}}}$ is a direct sum of prime ideals: ${\displaystyle {\mathfrak {g}}=\textstyle {\sum {\mathfrak {g}}_{i}}.}$

Some of these equivalences are easily seen. For example, the center and radical of ${\displaystyle {\mathfrak {s}}\oplus {\mathfrak {a}}}$ is ${\displaystyle {\mathfrak {a}},}$ while if the radical equals the center the Levi decomposition yields a decomposition ${\displaystyle {\mathfrak {g}}={\mathfrak {s}}_{0}\oplus {\mathfrak {z}}({\mathfrak {g}}).}$ Further, simple Lie algebras and the trivial 1-dimensional Lie algebra ${\displaystyle {\mathfrak {k}}}$ are prime ideals.

Properties[]

Reductive Lie algebras are a generalization of semisimple Lie algebras, and share many properties with them: many properties of semisimple Lie algebras depend only on the fact that they are reductive. Notably, the unitarian trick of Hermann Weyl works for reductive Lie algebras.

The associated reductive Lie groups are of significant interest: the Langlands program is based on the premise that what is done for one reductive Lie group should be done for all.^{[clarification needed]}

The intersection of reductive Lie algebras and solvable Lie algebras is exactly abelian Lie algebras (contrast with the intersection of semisimple and solvable Lie algebras being trivial).

External links[]

• Lie algebra, reductive, A.L. Onishchik, in Encyclopaedia of Mathematics, ISBN 1-4020-0609-8, SpringerLink