Namespaces
Variants
Actions

User:Maximilian Janisch/latexlist/Algebraic Groups/Lie algebra, solvable

From Encyclopedia of Mathematics
Jump to: navigation, search

This page is a copy of the article Lie algebra, solvable in order to test automatic LaTeXification. This article is not my work.


A Lie algebra $8$ over a field $K$ satisfying one of the following equivalent conditions:

1) the terms of the derived series $D ^ { k } g$ of $8$ are equal to $\{ 0 \}$ for sufficiently large $k$;

2) there is a finite decreasing chain of ideals of $8$ such that $90 = g$, $g _ { n } = \{ 0 \}$ and $[ \mathfrak { g } _ { i } , \mathfrak { g } _ { i } ] \subset \mathfrak { g } _ { \mathfrak { i } } + 1$ (that is, the Lie algebras $\mathfrak { g } _ { i } / \mathfrak { g } _ { \mathfrak { l } } + 1$ are Abelian for all $0 \leq i < n$);

3) there is a finite decreasing chain of subalgebras $\{ \mathfrak { s } _ { 1 } ^ { \prime } \} _ { 0 } \leq i \leq m$ such that $\mathscr { C } _ { 0 } = \mathfrak { g }$, $g _ { m } ^ { \prime } = \{ 0 \}$, $\mathfrak { g } _ { \mathfrak { i } } ^ { \prime } + 1$ is an ideal of $\mathfrak { g } _ { i } ^ { \prime }$, and $\mathfrak { g } _ { i } ^ { \prime } / \mathfrak { g } _ { \mathfrak { i } } ^ { \prime } + 1$ is a one-dimensional (Abelian) Lie algebra for $0 \leq i < m$.

A nilpotent Lie algebra (cf. Lie algebra, nilpotent) is solvable. If $F = \{ V _ { i } \}$ is a complete flag in a finite-dimensional vector space $V$ over $K$, then

\begin{equation} b ( F ) = \{ x \in \mathfrak { g } | ( V ) : x V _ { i } \subset V _ { i } \text { for all } i \} \end{equation}

is a solvable subalgebra of the Lie algebra $\mathfrak { d } ( V )$ of all linear transformations of $V$. If one chooses a basis in $V$ compatible with $H ^ { \prime }$, then with respect to that basis, elements of $b ( F )$ are represented by upper triangular matrices; the resulting solvable linear Lie algebra is denoted by $t ( n , K )$, where $n = \operatorname { dim } V$.

The class of solvable Lie algebras is closed with respect to transition to a subalgebra, a quotient algebra or an extension. In particular, any subalgebra of $t ( n , K )$ is solvable. If $K = 0$ and $K$ is an algebraically closed field, then any finite-dimensional solvable Lie algebra is isomorphic to a subalgebra of $t ( n , K )$ for some $12$. One of the main properties of solvable Lie algebras is expressed in Lie's theorem: Let $8$ be a solvable Lie algebra over an algebraically closed field of characteristic $0$ and let $\rho : \mathfrak { g } \rightarrow \mathfrak { g } [ ( V )$ be a finite-dimensional linear representation of it. Then in $V$ there is a complete flag $H ^ { \prime }$ such that $\rho ( \mathfrak { g } ) \subset \mathfrak { b } ( F )$. In particular, if $0$ is irreducible, then $\operatorname { tim } V = 1$. Ideals of $8$ can be chosen so as to form a complete flag, that is, so that $\operatorname { dim } \mathfrak { g } _ { i } = \operatorname { dim } \mathfrak { g } - i$.

A finite-dimensional Lie algebra $8$ over a field of characteristic $0$ is solvable if and only if the algebra $D ^ { 2 } g = [ g , g ]$ is nilpotent. Another criterion for solvability (Cartan's criterion) is: $8$ is solvable if and only if $D ^ { 2 } g$ is orthogonal to the whole of $8$ with respect to the Killing form (or any bilinear form associated with a faithful finite-dimensional representation of $8$).

Solvable Lie algebras were first considered by S. Lie in connection with the study of solvable Lie transformation groups. The study of solvable Lie algebras acquired great significance after the introduction of the concept of the radical (that is, the largest solvable ideal) of an arbitrary finite-dimensional Lie algebra $8$, and it was proved that in the case $K = 0$ the algebra $8$ is the semi-direct sum of its radical and a maximal semi-simple subalgebra (see Levi–Mal'tsev decomposition). This made it possible to reduce the problem of classifying arbitrary Lie algebras to the enumeration of semi-simple (which for $K = C$ had already been done by W. Killing) and solvable Lie algebras. The classification of solvable Lie algebras (for $K = C$ or $R$) has been carried out only in dimensions $< 6$.

If $8$ is a solvable algebraic subalgebra (cf. Algebraic algebra) of $\mathfrak { d } ( V )$, where $V$ is a finite-dimensional space over a field $K$ of characteristic $0$, then $8$ splits into the semi-direct product of the nilpotent ideal formed by all nilpotent transformations of $8$ and the Abelian subalgebra consisting of the semi-simple transformations [6]. In general, any split solvable Lie algebra, that is, a finite-dimensional solvable Lie algebra over $K$ every element $\pi$ of which splits into a sum $x = s + n$, where $s , n \in g$, $[ s , n ] = 0$, $5$ is semi-simple, and $12$ is nilpotent, has a similar structure [8]. To every finite-dimensional solvable Lie algebra over $K$ there uniquely corresponds a minimal split solvable Lie algebra containing it (the Mal'tsev decomposition). The problem of classifying solvable Lie algebras that have a given Mal'tsev decomposition has been solved [8]. Thus, the problem of classifying solvable Lie algebras reduces, in a certain sense, to the study of nilpotent Lie algebras.

Apart from the radical, in an arbitrary finite-dimensional Lie algebra $8$ one can distinguish maximal solvable subalgebras. If $K$ is an algebraically closed field of characteristic $0$, then all such subalgebras of $8$ (they are called Borel subalgebras) are conjugate. For example, $t ( n , K )$ is a Borel subalgebra of the Lie algebra of all matrices of order $12$. If $K$ is not algebraically closed or if $K$ is finite, then Lie's theorem is false, in general. However, it can be extended to the case when $K$ is perfect and contains the characteristic roots of all the characteristic polynomials $\rho ( x )$ of the adjoint transformations $x$, $x \in \mathfrak { Q }$. If this condition is satisfied for the adjoint representation of a solvable Lie algebra $8$ (cf. Adjoint representation of a Lie group), then $8$ is said to be triangular. Many properties of solvable Lie algebras over an algebraically closed field carry over to triangular Lie algebras. In particular, if $K = 0$, then all maximal triangular subalgebras of an arbitrary finite-dimensional Lie algebra are conjugate (see [1], [7]). Maximal triangular subalgebras are used in the study of semi-simple Lie algebras over an algebraically non-closed field as a good analogue of Borel subalgebras. They also play a fundamental role in the description of the connected uniform subgroups (cf. Uniform subgroup) of Lie groups [9].

References

[1] A. Borel, J. Tits, "Groupes réductifs" Publ. Math. IHES , 27 (1965) pp. 55–150 MR0207712 Zbl 0145.17402
[2] N. Bourbaki, "Elements of mathematics. Lie groups and Lie algebras" , Addison-Wesley (1975) (Translated from French) MR0682756 Zbl 0319.17002
[3] N. Jacobson, "Lie algebras" , Interscience (1962) ((also: Dover, reprint, 1979)) MR0148716 MR0143793 Zbl 0121.27504 Zbl 0109.26201
[4] A. Borel, "Linear algebraic groups" , Benjamin (1969) MR0251042 Zbl 0206.49801 Zbl 0186.33201
[5] J.-P. Serre, "Lie algebras and Lie groups" , Benjamin (1965) (Translated from French) MR0218496 Zbl 0132.27803
[6] C. Chevalley, "Théorie des groupes de Lie" , 3 , Hermann (1955) MR0068552 Zbl 0186.33104 Zbl 0054.01303 Zbl 0063.00843
[7] E.B. Vinberg, "The Morozov–Borel theorem for real Lie groups" Soviet Math. Dokl. , 2 (1961) pp. 1416–1419 Dokl. Akad. Nauk SSSR , 141 (1961) pp. 270–273 MR0142683 Zbl 0112.02505
[8] A.I. Mal'tsev, "Solvable Lie algebras" Izv. Akad. Nauk SSSR , 9 (1945) pp. 329–352 (In Russian) Zbl 0061.05303
[9] A.L. Onishchik, "On Lie groups transitive on compact manifolds II" Math. USSR Sb. , 3 (1967) pp. 373–388 Mat. Sb. , 74 (1967) pp. 398–416 Zbl 0198.28903


Comments

References

[a1] J.E. Humphreys, "Introduction to Lie algebras and representation theory" , Springer (1972) MR0323842 Zbl 0254.17004
How to Cite This Entry:
Maximilian Janisch/latexlist/Algebraic Groups/Lie algebra, solvable. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Maximilian_Janisch/latexlist/Algebraic_Groups/Lie_algebra,_solvable&oldid=44026