View source for User:Maximilian Janisch/latexlist/Algebraic Groups/Lie group, solvable

{{TEX|done}}<div class="Vorlage_Achtung" style="border: 0.18em solid #FF6666; border-left:1em solid #FF6666; margin:0.5em 0em; overflow:hidden; padding:0.5em; text-align: left;">
This page is a copy of the article [[Lie group, solvable]] in order to test [[User:Maximilian_Janisch/latexlist|automatic LaTeXification]]. This article is not my work.
</div>


A [[Lie group|Lie group]] that is solvable as an abstract group (cf. [[Solvable group|Solvable group]]). In what follows real or complex solvable Lie groups are considered.

A nilpotent, in particular an Abelian, Lie group is solvable. If $F = \{ V _ { i } \}$ is a complete [[Flag|flag]] in a finite-dimensional vector space $V$ (over $R$ or $m$), then

\begin{equation} B ( F ) = \{ g \in \operatorname { GL } ( V ) : g V _ { i } \subset V _ { i } \text { for all } i \} \end{equation}

is a solvable algebraic subgroup of $GL ( V )$ and, in particular, a solvable Lie group. If one chooses a basis in $V$ compatible with the flag $H ^ { \prime }$, then in it the elements of the group $B ( F )$ are represented by non-singular upper triangular matrices; the resulting solvable matrix Lie group is denoted by $T ( n , K )$, where $K = R$ or $m$.

The [[Lie algebra|Lie algebra]] $8$ of the group $k$ is solvable if and only if the connected component $( G ) _ { 0 }$ of the identity of $k$ is solvable. The Lie algebras of the groups $B ( F )$ and $T ( n , K )$ are $t ( F )$ and $t ( n , K )$, respectively (see [[Lie algebra, solvable|Lie algebra, solvable]]). By virtue of the correspondence between subalgebras of $8$ and connected Lie subgroups of $k$, all properties of solvable Lie algebras carry over to solvable Lie groups (see [[#References|[1]]], [[#References|[3]]]).

An analogue of Lie's theorem on solvable Lie algebras is true for solvable Lie groups: If $\rho : G \rightarrow \operatorname { GL } ( V )$ is a finite-dimensional complex representation of a solvable Lie group $k$, then there is a complete flag $H ^ { \prime }$ in $V$ such that $\rho ( G ) \subset B ( F )$. In particular, in $V$ there is a common eigen vector for all $\rho ( g )$, $g \in G$.

Solvable Lie groups were first considered by S. Lie, who conjectured that continuous groups could play the same role in the theory of integration of differential equations by quadratures as Galois groups do in the theory of algebraic equations. However, generally speaking, the group of automorphisms of a differential equation is trivial, and so meaningful results in this direction have been obtained only for linear and some other equations. Thus, for these equations the fact that the solutions can be expressed by quadratures and exponentials of them is actually equivalent to the fact that the corresponding (matrix) Galois group is solvable [[#References|[2]]]. If this group is nilpotent, then exponentials of quadratures do not occur in the solution.

By the Levi–Mal'tsev theorem on the decomposition of an arbitrary simply-connected Lie group into a semi-direct product (cf. [[Levi–Mal'tsev decomposition|Levi–Mal'tsev decomposition]]), solvable Lie groups play an important role in the study of arbitrary Lie groups. In an arbitrary connected Lie group $k$ one also considers maximal solvable subgroups. If $K = C$, they are Borel subgroups (cf. also [[Borel subgroup|Borel subgroup]]) and are conjugate in $k$. For example, $B ( F )$ is a Borel subgroup of $GL ( V )$.

A simply-connected solvable Lie group always has a faithful finite-dimensional representation, but for non-simply-connected solvable Lie groups this is not always so. An arbitrary connected subgroup of a simply-connected solvable Lie group is closed and simply connected [[#References|[6]]]. The [[Exponential mapping|exponential mapping]] $\operatorname { exp } : \mathfrak { g } \rightarrow G$ need not be injective or surjective, even for a simply-connected solvable Lie group. Solvable Lie groups for which $c X P$ is a diffeomorphism are said to be exponential (see [[Lie group, exponential|Lie group, exponential]]). A simply-connected solvable Lie group is diffeomorphic to $R ^ { N }$, and an arbitrary connected solvable Lie group is diffeomorphic to $R ^ { n } \times T ^ { m }$, where $T ^ { m }$ is an $m$-dimensional torus.

A connected linear solvable Lie group over $R$ can be represented as a semi-direct product $K , S$, where $K$ is a compact Abelian subgroup and $5$ is a simply-connected normal subgroup. An algebraic connected solvable group over any field of characteristic 0 splits into the semi-direct product of the normal subgroup consisting of unipotent elements and the Abelian subgroup consisting of semi-simple elements [[#References|[3]]]. For connected solvable Lie groups one can define [[#References|[4]]] an analogue of the Mal'tsev decomposition.

If the Lie algebra of a connected Lie group $k$ is triangular (over $R$), then $k$ is said to be triangular (cf. also [[Lie algebra, supersolvable|Lie algebra, supersolvable]]). The analogue of Lie's theorem on solvable algebras is true for triangular Lie groups (cf. [[Lie theorem|Lie theorem]]). Maximal connected triangular subgroups of an arbitrary connected Lie group are conjugate [[#References|[5]]]. A connected triangular Lie group is isomorphic to a subgroup of $T ( n , K )$ and is an exponential group if it is simply connected.

====References====
<table><tr><td valign="top">[1]</td> <td valign="top"> N. Bourbaki, "Elements of mathematics. Lie groups and Lie algebras" , Addison-Wesley (1975) (Translated from French) {{MR|0682756}} {{ZBL|0319.17002}} </td></tr><tr><td valign="top">[2]</td> <td valign="top"> I. Kaplansky, "An introduction to differential algebra" , Hermann (1957) {{MR|0093654}} {{ZBL|0083.03301}} </td></tr><tr><td valign="top">[3]</td> <td valign="top"> C. Chevalley, "Théorie des groupes de Lie" , '''3''' , Hermann (1955) {{MR|0068552}} {{ZBL|0186.33104}} {{ZBL|0054.01303}} {{ZBL|0063.00843}} </td></tr><tr><td valign="top">[4]</td> <td valign="top"> L. Auslander, "An exposition of the structure of solvmanifolds. I Algebraic theory" ''Bull. Amer. Math. Soc.'' , '''79''' (1973) pp. 227–261 {{MR|0486307}} {{MR|0486308}} {{ZBL|0265.22016}} </td></tr><tr><td valign="top">[5]</td> <td valign="top"> E.B. Vinberg, "The Mozorov–Borel theorem for real Lie groups" ''Soviet Math. Dokl.'' , '''2''' : 6 (1961) pp. 1416–1419 ''Dokl. Akad. Nauk SSSR'' , '''141''' (1961) pp. 270–273 {{MR|}} {{ZBL|}} </td></tr><tr><td valign="top">[6]</td> <td valign="top"> A.I. Mal'tsev, "On the theory of Lie groups in the large" ''Mat. Sb.'' , '''16 (58)''' (1945) pp. 163–190 (In Russian) {{MR|}} {{ZBL|0061.04602}} </td></tr></table>



====Comments====


====References====
<table><tr><td valign="top">[a1]</td> <td valign="top"> P.J. Olver, "Applications of Lie groups to differential equations" , Springer (1986) {{MR|0836734}} {{ZBL|0588.22001}} </td></tr><tr><td valign="top">[a2]</td> <td valign="top"> V.S. Varadarajan, "Lie groups, Lie algebras, and their representations" , Prentice-Hall (1974) {{MR|0376938}} {{ZBL|0371.22001}} </td></tr><tr><td valign="top">[a3]</td> <td valign="top"> T.A. Springer, "Linear algebraic groups" , Birkhäuser (1981) {{MR|0632835}} {{ZBL|0453.14022}} </td></tr></table>