Namespaces
Variants
Actions

Difference between revisions of "Lie group"

From Encyclopedia of Mathematics
Jump to: navigation, search
m (fix link)
m
 
(One intermediate revision by one other user not shown)
Line 1: Line 1:
A group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058590/l0585901.png" /> having the structure of an [[Analytic manifold|analytic manifold]] such that the mapping <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058590/l0585902.png" /> of the direct product <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058590/l0585903.png" /> into <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058590/l0585904.png" /> is analytic. In other words, a Lie group is a set endowed with compatible structures of a group and an analytic manifold. A Lie group is said to be real, complex or <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058590/l0585905.png" />-adic, depending on the field over which its analytic manifold is considered. Henceforth, as a rule, real Lie groups are considered (every complex Lie group is naturally endowed with the structure of a real Lie group by means of restriction of the ground field; for Lie groups over <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058590/l0585906.png" />-adic number fields see [[Lie-group, p-adic|Lie group, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058590/l0585907.png" />-adic]]; [[Analytic group|Analytic group]]).
+
{{TEX|done}}
 +
A group $  G $  having the structure of an [[Analytic manifold|analytic manifold]] such that the mapping $  \mu : \  ( x ,\  y ) \rightarrow x y ^{-1} $  of the direct product $  G \times G $  into $  G $  is analytic. In other words, a Lie group is a set endowed with compatible structures of a group and an analytic manifold. A Lie group is said to be real, complex or $  p $ -adic, depending on the field over which its analytic manifold is considered. Henceforth, as a rule, real Lie groups are considered (every complex Lie group is naturally endowed with the structure of a real Lie group by means of restriction of the ground field; for Lie groups over $  p $ -adic number fields see [[Lie-group, p-adic|Lie group, $  p $ -adic]]; [[Analytic group|Analytic group]]).
  
Examples of Lie groups. The [[General linear group|general linear group]] <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058590/l0585908.png" /> over the field <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058590/l0585909.png" /> of real numbers (see also [[Linear group|Linear group]]) and its subgroups, closed in the natural Euclidean topology (J. von Neumann, 1927).
+
Examples of Lie groups. The [[General linear group|general linear group]] $  \mathop{\rm GL}\nolimits ( n ,\  \mathbf R ) $  over the field $  \mathbf R $  of real numbers (see also [[Linear group|Linear group]]) and its subgroups, closed in the natural Euclidean topology (J. von Neumann, 1927).
  
The main concepts of the theory of Lie groups were introduced into mathematics in the 1870-s by S. Lie. Lie groups arose in connection with the problem of the solvability of differential equations by quadratures and research into continuous transformation groups. The successful application of group theory to the solution of algebraic equations of higher degrees, which manifested itself in the creation of [[Galois theory|Galois theory]], suggested an attempt to construct an analogue of Galois theory for differential equations. Although groups took up a position in the theory of differential equations somewhat different from that in the theory of algebraic equations, this led to the creation of the theory of Lie groups, and also to the theory of algebraic groups, which has deep connections with many branches of mathematics. Lie groups were originally defined as local transformation groups of the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058590/l05859010.png" />-dimensional space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058590/l05859011.png" /> (or <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058590/l05859012.png" />) that depend analytically on a finite system of parameters, and it was required that the parameters of a product of transformations be expressible in terms of the parameters of the factors by means of analytic functions. Later on, mathematicians turned to the abstract consideration of Lie groups, but also from the local point of view (see [[Lie group, local|Lie group, local]]). Systematic research into the global structure of Lie groups was first begun by E. Cartan and H. Weyl. The first modern account of the theory of Lie groups was given in 1938 by L.S. Pontryagin (see [[#References|[1]]]).
+
The main concepts of the theory of Lie groups were introduced into mathematics in the 1870-s by S. Lie. Lie groups arose in connection with the problem of the solvability of differential equations by quadratures and research into continuous transformation groups. The successful application of group theory to the solution of algebraic equations of higher degrees, which manifested itself in the creation of [[Galois theory|Galois theory]], suggested an attempt to construct an analogue of Galois theory for differential equations. Although groups took up a position in the theory of differential equations somewhat different from that in the theory of algebraic equations, this led to the creation of the theory of Lie groups, and also to the theory of algebraic groups, which has deep connections with many branches of mathematics. Lie groups were originally defined as local transformation groups of the $  n $ -dimensional space $  \mathbf R ^{n} $  (or $  \mathbf C ^{n} $ ) that depend analytically on a finite system of parameters, and it was required that the parameters of a product of transformations be expressible in terms of the parameters of the factors by means of analytic functions. Later on, mathematicians turned to the abstract consideration of Lie groups, but also from the local point of view (see [[Lie group, local|Lie group, local]]). Systematic research into the global structure of Lie groups was first begun by E. Cartan and H. Weyl. The first modern account of the theory of Lie groups was given in 1938 by L.S. Pontryagin (see [[#References|[1]]]).
  
Does the replacement of analyticity of the manifold <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058590/l05859013.png" /> and the mapping <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058590/l05859014.png" /> by differentiability lead to an extension of the class of Lie groups? This question was solved by Lie: If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058590/l05859015.png" /> is twice continuously differentiable, then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058590/l05859016.png" /> is a Lie group. Hilbert's fifth problem turned out to be considerably more complicated: If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058590/l05859017.png" /> is an <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058590/l05859018.png" />-dimensional topological manifold and the mapping <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058590/l05859019.png" /> is continuous, is <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058590/l05859020.png" /> a Lie group? For compact groups this problem was affirmatively solved by von Neumann in 1933, and for locally compact Abelian groups by Pontryagin in 1934. In the general case an affirmative answer was obtained in 1952 by A.M. Gleason, D. Montgomery and L. Zippin (see [[#References|[4]]], and also [[#References|[18]]]). Thus one can define a Lie group as a [[Topological group|topological group]] whose topological space is a finite-dimensional (or locally Euclidean) [[Manifold|manifold]]. This is very important for the general theory of topological groups.
+
Does the replacement of analyticity of the manifold $  G $  and the mapping $  \mu $  by differentiability lead to an extension of the class of Lie groups? This question was solved by Lie: If $  \mu $  is twice continuously differentiable, then $  G $  is a Lie group. Hilbert's fifth problem turned out to be considerably more complicated: If $  G $  is an $  n $ -dimensional topological manifold and the mapping $  \mu : \  ( x ,\  y ) \rightarrow x y ^{-1} $  is continuous, is $  G $  a Lie group? For compact groups this problem was affirmatively solved by von Neumann in 1933, and for locally compact Abelian groups by Pontryagin in 1934. In the general case an affirmative answer was obtained in 1952 by A.M. Gleason, D. Montgomery and L. Zippin (see [[#References|[4]]], and also [[#References|[18]]]). Thus one can define a Lie group as a [[Topological group|topological group]] whose topological space is a finite-dimensional (or locally Euclidean) [[Manifold|manifold]]. This is very important for the general theory of topological groups.
  
A subset <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058590/l05859021.png" /> of a Lie group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058590/l05859022.png" /> is called a subgroup (more precisely, a Lie subgroup) if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058590/l05859023.png" /> is a subgroup of the abstract group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058590/l05859024.png" /> and a submanifold of the analytic manifold <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058590/l05859025.png" />. A morphism between Lie groups <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058590/l05859026.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058590/l05859027.png" /> is an [[Analytic mapping|analytic mapping]] <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058590/l05859028.png" /> that is a [[Homomorphism|homomorphism]] of abstract groups; if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058590/l05859029.png" /> is also bijective and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058590/l05859030.png" /> is analytic, then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058590/l05859031.png" /> is called an isomorphism of Lie groups; in the case when <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058590/l05859032.png" /> is locally bijective (around the identity <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058590/l05859033.png" />) one says that the Lie groups <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058590/l05859034.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058590/l05859035.png" /> are locally isomorphic. The dimension of a Lie group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058590/l05859036.png" /> is the dimension of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058590/l05859037.png" /> as an analytic manifold. Henceforth only finite-dimensional Lie groups are considered, although many results can be generalized to the case of Banach Lie groups (cf. [[Lie group, Banach|Lie group, Banach]]). Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058590/l05859038.png" /> be a closed normal subgroup of a finite-dimensional Lie group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058590/l05859039.png" />. Then the quotient group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058590/l05859040.png" /> can be endowed with the structure of an analytic manifold such that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058590/l05859041.png" /> becomes a Lie group and the canonical mapping <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058590/l05859042.png" /> is a morphism.
+
A subset $  H $  of a Lie group $  G $  is called a subgroup (more precisely, a Lie subgroup) if $  H $  is a subgroup of the abstract group $  G $  and a submanifold of the analytic manifold $  G $ . A morphism between Lie groups $  G _{1} $  and $  G _{2} $  is an [[Analytic mapping|analytic mapping]] $  f : \  G _{1} \rightarrow G _{2} $  that is a [[Homomorphism|homomorphism]] of abstract groups; if $  f $  is also bijective and $  f ^ {\  -1} $  is analytic, then $  f $  is called an isomorphism of Lie groups; in the case when $  f $  is locally bijective (around the identity $  e $ ) one says that the Lie groups $  G _{1} $  and $  G _{2} $  are locally isomorphic. The dimension of a Lie group $  G $  is the dimension of $  G $  as an analytic manifold. Henceforth only finite-dimensional Lie groups are considered, although many results can be generalized to the case of Banach Lie groups (cf. [[Lie group, Banach|Lie group, Banach]]). Let $  H $  be a closed normal subgroup of a finite-dimensional Lie group $  G $ . Then the quotient group $  G / H $  can be endowed with the structure of an analytic manifold such that $  G / H $  becomes a Lie group and the canonical mapping $  G \rightarrow G / H $  is a morphism.
  
 
==The correspondence between Lie groups and Lie algebras.==
 
==The correspondence between Lie groups and Lie algebras.==
The main method of research in the theory of Lie groups is the infinitesimal method created by Lie. This method makes it possible to reduce the study of such a complicated object as a Lie group largely to the study of a purely algebraic object, a [[Lie algebra|Lie algebra]]. To every Lie group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058590/l05859043.png" /> corresponds a Lie algebra <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058590/l05859044.png" />, constructed as follows (see also [[Lie algebra of an analytic group|Lie algebra of an analytic group]]). A left-invariant vector field on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058590/l05859045.png" /> is a vector field that is invariant with respect to the differentials of left translations, that is, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058590/l05859046.png" /> is a left-invariant vector field if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058590/l05859047.png" /> for any <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058590/l05859048.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058590/l05859049.png" />. The left-invariant vector fields on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058590/l05859050.png" /> form a vector space that can be identified with the tangent space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058590/l05859051.png" /> at the identity <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058590/l05859052.png" /> of the group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058590/l05859053.png" />, by associating with the field <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058590/l05859054.png" /> its value at <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058590/l05859055.png" />. If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058590/l05859056.png" />, then the Lie bracket <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058590/l05859057.png" /> is also a left-invariant field, and this defines in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058590/l05859058.png" /> a bilinear operation with respect to which <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058590/l05859059.png" /> becomes the Lie algebra <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058590/l05859060.png" /> (here <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058590/l05859061.png" /> denotes composition of vector fields, regarded as derivations of the algebra of infinitely-differentiable real-valued functions on the manifold <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058590/l05859062.png" />). A more explicit construction of the commutation operation <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058590/l05859063.png" /> in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058590/l05859064.png" /> is as follows: Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058590/l05859065.png" /> be the integral curves of the fields <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058590/l05859066.png" /> in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058590/l05859067.png" /> passing through the identity <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058590/l05859068.png" /> of the group. Then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058590/l05859069.png" /> is the tangent vector at <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058590/l05859070.png" /> to the curve
+
The main method of research in the theory of Lie groups is the infinitesimal method created by Lie. This method makes it possible to reduce the study of such a complicated object as a Lie group largely to the study of a purely algebraic object, a [[Lie algebra|Lie algebra]]. To every Lie group $  G $  corresponds a Lie algebra $  L (G) $ , constructed as follows (see also [[Lie algebra of an analytic group|Lie algebra of an analytic group]]). A left-invariant vector field on $  G $  is a vector field that is invariant with respect to the differentials of left translations, that is, $  X $  is a left-invariant vector field if $  ( d L _{g} ) X (h) = X (g h) $  for any $  g ,\  h \in G $ , where $  L _{g} (h) = g h $ . The left-invariant vector fields on $  G $  form a vector space that can be identified with the tangent space $  T _{e} (G) $  at the identity $  e $  of the group $  G $ , by associating with the field $  X $  its value at $  e $ . If $  X ,\  Y \in T _{e} (G) $ , then the Lie bracket $  X \cso Y - Y \cso X $  is also a left-invariant field, and this defines in $  T _{e} (G) $  a bilinear operation with respect to which $  T _{e} (G) $  becomes the Lie algebra $  L (G) $  (here $  \cso $  denotes composition of vector fields, regarded as derivations of the algebra of infinitely-differentiable real-valued functions on the manifold $  G $ ). A more explicit construction of the commutation operation $  [ X ,\  Y ] $  in $  L (G) $  is as follows: Let $  x (t) ,\  y (t) $  be the integral curves of the fields $  X ,\  Y $  in $  G $  passing through the identity $  e $  of the group. Then $  [ X ,\  Y ] $  is the tangent vector at  $  e $  to the curve $$
 +
z (s)  =   x ( \sqrt s ) y ( \sqrt s ) x ( \sqrt s ) ^{-1}
 +
y ( \sqrt s ) ^{-1} .
 +
$$ Recovering a Lie group  $  G $  from its Lie algebra  $  L (G) $  is possible by the [[Exponential mapping|exponential mapping]]  $  \mathop{\rm exp}\nolimits \  : \  L (G) \rightarrow G $ , which associates with a field  $  X \in L (G) $  the element  $  x (1) $  of its integral curve  $  x (t) $ . If  $  G $  is a linear Lie group, that is, a subgroup of the [[General linear group|general linear group]]  $  \mathop{\rm GL}\nolimits ( n ,\  \mathbf R ) $ , then  $  L (G) $  can be identified with a subalgebra of the general matrix Lie algebra  $  L ( n ,\  \mathbf R ) $  and the exponential mapping takes the form $$
 +
\mathop{\rm exp}\nolimits \  X  =   \sum _{m=0} ^ \infty
 +
\frac{1}{m!}
 +
X ^{m} .
 +
$$ The mapping  $  \mathop{\rm exp}\nolimits \  : \  L (G) \rightarrow G $  is analytic and a local isomorphism, and so in some neighbourhood of the identity of the group  $  G $  it defines a local chart (canonical coordinates). According to the [[Campbell–Hausdorff formula|Campbell–Hausdorff formula]] the multiplication in  $  G $  in canonical coordinates, that is, the locally defined mapping $$
 +
( X ,\  Y )  \rightarrow    \mathop{\rm exp}\nolimits ^{-1} (  \mathop{\rm exp}\nolimits \  X \  \mathop{\rm exp}\nolimits \  Y ) , 
 +
X ,\  Y \in L (G) ,
 +
$$ can be given in terms of operations in the Lie algebra  $  L (G) $ . Thus, locally a Lie group is completely determined by its Lie algebra.
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058590/l05859071.png" /></td> </tr></table>
+
The correspondence between Lie groups and Lie algebras has deep functorial properties. A Lie group is determined by its Lie algebra up to a local isomorphism; in particular, if two Lie groups $  G _{1} $  and $  G _{2} $  are connected and simply connected, then the isomorphy of their Lie algebras implies $  G _{1} \cong G _{2} $ . [[Arcwise connected space|Arcwise-connected]] subgroups of a Lie group $  G $  correspond one-to-one to subalgebras of the Lie algebra $  L (G) $ . Let $  f : \  G _{1} \rightarrow G _{2} $  be a morphism of Lie groups. Then the differential of this morphism at the identity is a homomorphism of Lie algebras: $$
 
+
d f _{e} : \  L ( G _{1} )  \rightarrow  L ( G _{2} ) .
Recovering a Lie group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058590/l05859072.png" /> from its Lie algebra <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058590/l05859073.png" /> is possible by the [[Exponential mapping|exponential mapping]] <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058590/l05859074.png" />, which associates with a field <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058590/l05859075.png" /> the element <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058590/l05859076.png" /> of its integral curve <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058590/l05859077.png" />. If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058590/l05859078.png" /> is a linear Lie group, that is, a subgroup of the [[General linear group|general linear group]] <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058590/l05859079.png" />, then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058590/l05859080.png" /> can be identified with a subalgebra of the general matrix Lie algebra <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058590/l05859081.png" /> and the exponential mapping takes the form
+
$$ In general, not every homomorphism $  L ( G _{1} ) \rightarrow L ( G _{2} ) $  has the form $  d f _{e} $ , but if $  G _{1} $  is simply connected this is the case. An arcwise-connected subgroup $  H $  of a connected Lie group $  G $  is normal if and only if $  L (H) $  is an [[Ideal|ideal]] of the Lie algebra $  L (G) $ ; if in addition $  H $  is closed in $  G $ , then $$
 
+
L ( G / H )  \cong  L (G) / L (H) .
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058590/l05859082.png" /></td> </tr></table>
+
$$ By construction, the Lie algebra $  L (G) $  of a given Lie group $  G $  is an analytic invariant. In reality $  L (G) $  is a topological invariant; this follows immediately from the following theorem of Cartan: A continuous homomorphic mapping of a (real) Lie group $  G $  into a Lie group $  H $  is a morphism. For complex Lie groups this assertion is not always true, although it holds for $  p $ -adic Lie groups (see [[#References|[3]]]). The automorphism group $  \mathop{\rm Aut}\nolimits (G) $  of a connected Lie group $  G $  is a Lie group which can be identified with a Lie subgroup of $  \mathop{\rm Aut}\nolimits ( L (G) ) $ . In particular, if the Lie group $  G $  is simply-connected, then $$
 
+
\mathop{\rm Aut}\nolimits (G)  \cong    \mathop{\rm Aut}\nolimits ( L (G) ) 
The mapping <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058590/l05859083.png" /> is analytic and a local isomorphism, and so in some neighbourhood of the identity of the group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058590/l05859084.png" /> it defines a local chart (canonical coordinates). According to the [[Campbell–Hausdorff formula|Campbell–Hausdorff formula]] the multiplication in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058590/l05859085.png" /> in canonical coordinates, that is, the locally defined mapping
+
\textrm{ and }  L (  \mathop{\rm Aut}\nolimits (G) )  \cong  D ( L (G) ) ,
 
+
$$ where $  D ( L (G) ) $  denotes the Lie algebra of derivations of the algebra $  L (G) $ . The correspondence $$
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058590/l05859086.png" /></td> </tr></table>
+
g  \rightarrow  A d (g)  =   d _{e} (  \mathop{\rm Int}\nolimits (g) ) ,
 
+
$$ where $  \mathop{\rm Int}\nolimits (g) $  is the inner automorphism implemented by the element $  g \in G $ , is called the adjoint representation of the Lie group $  G $ ; its differential is the adjoint representation $  x \rightarrow  \mathop{\rm ad}\nolimits \  x $  of the Lie algebra $  L (G) $ . Cf. also [[Adjoint representation of a Lie group|Adjoint representation of a Lie group]].
can be given in terms of operations in the Lie algebra <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058590/l05859087.png" />. Thus, locally a Lie group is completely determined by its Lie algebra.
 
 
 
The correspondence between Lie groups and Lie algebras has deep functorial properties. A Lie group is determined by its Lie algebra up to a local isomorphism; in particular, if two Lie groups <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058590/l05859088.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058590/l05859089.png" /> are connected and simply connected, then the isomorphy of their Lie algebras implies <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058590/l05859090.png" />. Arcwise-connected subgroups of a Lie group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058590/l05859091.png" /> correspond one-to-one to subalgebras of the Lie algebra <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058590/l05859092.png" />. Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058590/l05859093.png" /> be a morphism of Lie groups. Then the differential of this morphism at the identity is a homomorphism of Lie algebras:
 
 
 
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058590/l05859094.png" /></td> </tr></table>
 
 
 
In general, not every homomorphism <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058590/l05859095.png" /> has the form <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058590/l05859096.png" />, but if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058590/l05859097.png" /> is simply connected this is the case. An arcwise-connected subgroup <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058590/l05859098.png" /> of a connected Lie group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058590/l05859099.png" /> is normal if and only if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058590/l058590100.png" /> is an [[Ideal|ideal]] of the Lie algebra <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058590/l058590101.png" />; if in addition <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058590/l058590102.png" /> is closed in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058590/l058590103.png" />, then
 
 
 
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058590/l058590104.png" /></td> </tr></table>
 
 
 
By construction, the Lie algebra <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058590/l058590105.png" /> of a given Lie group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058590/l058590106.png" /> is an analytic invariant. In reality <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058590/l058590107.png" /> is a topological invariant; this follows immediately from the following theorem of Cartan: A continuous homomorphic mapping of a (real) Lie group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058590/l058590108.png" /> into a Lie group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058590/l058590109.png" /> is a morphism. For complex Lie groups this assertion is not always true, although it holds for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058590/l058590110.png" />-adic Lie groups (see [[#References|[3]]]). The automorphism group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058590/l058590111.png" /> of a connected Lie group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058590/l058590112.png" /> is a Lie group which can be identified with a Lie subgroup of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058590/l058590113.png" />. In particular, if the Lie group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058590/l058590114.png" /> is simply-connected, then
 
 
 
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058590/l058590115.png" /></td> </tr></table>
 
 
 
where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058590/l058590116.png" /> denotes the Lie algebra of derivations of the algebra <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058590/l058590117.png" />. The correspondence
 
 
 
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058590/l058590118.png" /></td> </tr></table>
 
 
 
where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058590/l058590119.png" /> is the inner automorphism implemented by the element <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058590/l058590120.png" />, is called the adjoint representation of the Lie group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058590/l058590121.png" />; its differential is the adjoint representation <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058590/l058590122.png" /> of the Lie algebra <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058590/l058590123.png" />. Cf. also [[Adjoint representation of a Lie group|Adjoint representation of a Lie group]].
 
  
 
==The global structure of Lie groups.==
 
==The global structure of Lie groups.==
The existence of a global Lie group with a given real Lie algebra was proved in 1930 by Cartan. He also showed that a closed subgroup of a real Lie group is a Lie subgroup. Two types of Lie groups play a special role, namely: semi-simple and solvable ones (see [[Lie group, semi-simple|Lie group, semi-simple]]; [[Lie group, solvable|Lie group, solvable]]). A connected Lie group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058590/l058590124.png" /> is said to be semi-simple if it does not contain connected solvable normal subgroups other than the identity; if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058590/l058590125.png" /> does not contain non-trivial connected normal subgroups, it is said to be simple. The Lie algebra <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058590/l058590126.png" /> of a semi-simple, simple or solvable Lie group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058590/l058590127.png" /> is, respectively, a semi-simple, simple or solvable Lie algebra. The investigation of arbitrary Lie groups essentially reduces to the study of semi-simple and solvable Lie groups. Any Lie group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058590/l058590128.png" /> has a largest connected solvable normal subgroup, called the solvable radical and denoted by <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058590/l058590129.png" />. In <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058590/l058590130.png" /> there are maximal semi-simple subgroups. If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058590/l058590131.png" /> is one of them, then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058590/l058590132.png" />, and all maximal semi-simple subgroups are conjugate; if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058590/l058590133.png" /> is simply connected, then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058590/l058590134.png" /> and the product is semi-direct (the Levi–Mal'tsev theorem). The existence of this decomposition was first proved by E. Levi in 1905 for complex Lie algebras, and the conjugacy of the semi-simple components was established by A.I. Mal'tsev in 1942 (see [[#References|[16]]], [[#References|[3]]], and also [[Levi–Mal'tsev decomposition|Levi–Mal'tsev decomposition]]).
+
The existence of a global Lie group with a given real Lie algebra was proved in 1930 by Cartan. He also showed that a closed subgroup of a real Lie group is a Lie subgroup. Two types of Lie groups play a special role, namely: semi-simple and solvable ones (see [[Lie group, semi-simple|Lie group, semi-simple]]; [[Lie group, solvable|Lie group, solvable]]). A connected Lie group $  G $  is said to be semi-simple if it does not contain connected solvable normal subgroups other than the identity; if $  G $  does not contain non-trivial connected normal subgroups, it is said to be simple. The Lie algebra $  L (G) $  of a semi-simple, simple or solvable Lie group $  G $  is, respectively, a semi-simple, simple or solvable Lie algebra. The investigation of arbitrary Lie groups essentially reduces to the study of semi-simple and solvable Lie groups. Any Lie group $  G $  has a largest connected solvable normal subgroup, called the solvable radical and denoted by $  R (G) $ . In $  G $  there are maximal semi-simple subgroups. If $  S $  is one of them, then $  G = S \cdot R (G) $ , and all maximal semi-simple subgroups are conjugate; if $  G $  is simply connected, then $  S \cap R (G) = (e) $  and the product is semi-direct (the Levi–Mal'tsev theorem). The existence of this decomposition was first proved by E. Levi in 1905 for complex Lie algebras, and the conjugacy of the semi-simple components was established by A.I. Mal'tsev in 1942 (see [[#References|[16]]], [[#References|[3]]], and also [[Levi–Mal'tsev decomposition|Levi–Mal'tsev decomposition]]).
  
The most general fact about solvable Lie groups was obtained by Lie: Any connected solvable linear group over the field <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058590/l058590135.png" /> can be transformed to triangular form; that is, the description of connected solvable Lie groups reduces to the description of subgroups of the general triangular group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058590/l058590136.png" />. A detailed investigation of solvable subgroups was undertaken by Mal'tsev in [[#References|[16]]].
+
The most general fact about solvable Lie groups was obtained by Lie: Any connected solvable linear group over the field $  \mathbf C $  can be transformed to triangular form; that is, the description of connected solvable Lie groups reduces to the description of subgroups of the general triangular group $  T (n) \subset  \mathop{\rm GL}\nolimits ( n ,\  \mathbf C ) $ . A detailed investigation of solvable subgroups was undertaken by Mal'tsev in [[#References|[16]]].
  
In the study of the structure of semi-simple Lie groups an important role is played by their maximal compact subgroups, studied by Cartan in close connection with the theory of symmetric spaces (see [[#References|[10]]]). According to Cartan's classical theorem, maximal compact subgroups of a semi-simple Lie group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058590/l058590137.png" /> are conjugate; if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058590/l058590138.png" /> is a maximal compact subgroup of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058590/l058590139.png" />, there is a submanifold <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058590/l058590140.png" />, analytically isomorphic to a Euclidean space, such that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058590/l058590141.png" /> and the mapping <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058590/l058590142.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058590/l058590143.png" />, is an isomorphism of analytic manifolds. Thus, the topological structure of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058590/l058590144.png" /> is determined by the topological structure of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058590/l058590145.png" />. Mal'tsev [[#References|[16]]] extended Cartan's theorem to arbitrary connected Lie groups. Another decomposition of a connected Lie group into a product of a maximal compact subgroup and a Euclidean space was found by K. Iwasawa (see [[Iwasawa decomposition|Iwasawa decomposition]]).
+
In the study of the structure of semi-simple Lie groups an important role is played by their maximal compact subgroups, studied by Cartan in close connection with the theory of symmetric spaces (see [[#References|[10]]]). According to Cartan's classical theorem, maximal compact subgroups of a semi-simple Lie group $  G $  are conjugate; if $  B $  is a maximal compact subgroup of $  G $ , there is a submanifold $  E \subset G $ , analytically isomorphic to a Euclidean space, such that $  G = B E $  and the mapping $  B \times E \rightarrow B E $ ,  $  ( b ,\  e ) \rightarrow b e $ , is an isomorphism of analytic manifolds. Thus, the topological structure of $  G $  is determined by the topological structure of $  B $ . Mal'tsev [[#References|[16]]] extended Cartan's theorem to arbitrary connected Lie groups. Another decomposition of a connected Lie group into a product of a maximal compact subgroup and a Euclidean space was found by K. Iwasawa (see [[Iwasawa decomposition|Iwasawa decomposition]]).
  
 
==Linear representability.==
 
==Linear representability.==
From the very beginning of the development of the theory of Lie groups it was clear that arbitrary Lie groups are close to linear Lie groups. Lie proved that in many cases Lie groups are locally isomorphic to linear Lie groups. The general theorem was obtained by I.D. Ado in 1935: Any Lie group is locally isomorphic to a linear Lie group (see [[#References|[15]]]). At the same time it is not difficult to give examples of Lie groups that are not linear, e.g. the simply-connected covering group of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058590/l058590146.png" />, or (in the case of the field <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058590/l058590147.png" />) a complex compact torus. If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058590/l058590148.png" /> is a simply-connected solvable Lie group, then any Lie subgroup of it is simply connected and isomorphic to a linear Lie group. In the general case the following criterion has been found for linear representability [[#References|[16]]]: A connected Lie group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058590/l058590149.png" /> is linear if and only if its radical <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058590/l058590150.png" /> and semi-simple quotient group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058590/l058590151.png" /> are linear; in turn, for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058590/l058590152.png" /> to be linearly representable it is necessary and sufficient that its commutator subgroup should be simply connected, and the linearity of the semi-simple Lie group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058590/l058590153.png" /> depends on the structure of its centre. Compact, and also complex semi-simple, Lie groups are not only linear, but also linear algebraic groups (cf. [[Linear algebraic group|Linear algebraic group]]) .
+
From the very beginning of the development of the theory of Lie groups it was clear that arbitrary Lie groups are close to linear Lie groups. Lie proved that in many cases Lie groups are locally isomorphic to linear Lie groups. The general theorem was obtained by I.D. Ado in 1935: Any Lie group is locally isomorphic to a linear Lie group (see [[#References|[15]]]). At the same time it is not difficult to give examples of Lie groups that are not linear, e.g. the simply-connected covering group of $  \mathop{\rm SL}\nolimits ( 2 ,\  \mathbf R ) $ , or (in the case of the field $  \mathbf C $ ) a complex compact torus. If $  G $  is a simply-connected solvable Lie group, then any Lie subgroup of it is simply connected and isomorphic to a linear Lie group. In the general case the following criterion has been found for linear representability [[#References|[16]]]: A connected Lie group $  G $  is linear if and only if its radical $  R (G) $  and semi-simple quotient group $  G / R (G) $  are linear; in turn, for $  R (G) $  to be linearly representable it is necessary and sufficient that its commutator subgroup should be simply connected, and the linearity of the semi-simple Lie group $  G / R (G) $  depends on the structure of its centre. Compact, and also complex semi-simple, Lie groups are not only linear, but also linear algebraic groups (cf. [[Linear algebraic group|Linear algebraic group]]) .
  
 
==Classification.==
 
==Classification.==
One of the main problems in the theory of Lie groups is that of classifying arbitrary connected Lie groups up to isomorphism. In the class of all locally isomorphic connected Lie groups that have the same Lie algebra there is a unique simply-connected Lie group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058590/l058590154.png" />, and any Lie group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058590/l058590155.png" /> of this class is isomorphic to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058590/l058590156.png" /> where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058590/l058590157.png" /> is a discrete central normal subgroup. Therefore, the classification of Lie groups reduces to the classification of finite-dimensional Lie algebras and the calculation of the centres of simply-connected Lie groups. On the other hand, it reduces to the classification of two fundamentally different types of groups: semi-simple and solvable (see [[Lie group, semi-simple|Lie group, semi-simple]], [[Lie group, solvable|Lie group, solvable]]). At first glance solvable Lie groups have a simpler structure and their classification, it would seem, should not be difficult. However, this impression is deceptive and up to now (1988) there is no hope of obtaining a classification of solvable Lie groups. By contrast, semi-simple Lie groups have been completely classified. A complete classification of complex semi-simple Lie algebras was obtained by W. Killing in 1888–1890 (see [[#References|[1]]], [[#References|[3]]]). Since a complex semi-simple Lie algebra is a direct sum of simple subalgebras, it is sufficient to classify simple Lie algebras. It turns out that there are only nine types of complex simple Lie algebras, namely the four infinite series
+
One of the main problems in the theory of Lie groups is that of classifying arbitrary connected Lie groups up to isomorphism. In the class of all locally isomorphic connected Lie groups that have the same Lie algebra there is a unique simply-connected Lie group $  G _{0} $ , and any Lie group $  G $  of this class is isomorphic to $  G _{0} / N $  where $  N $  is a discrete central normal subgroup. Therefore, the classification of Lie groups reduces to the classification of finite-dimensional Lie algebras and the calculation of the centres of simply-connected Lie groups. On the other hand, it reduces to the classification of two fundamentally different types of groups: semi-simple and solvable (see [[Lie group, semi-simple|Lie group, semi-simple]], [[Lie group, solvable|Lie group, solvable]]). At first glance solvable Lie groups have a simpler structure and their classification, it would seem, should not be difficult. However, this impression is deceptive and up to now (1988) there is no hope of obtaining a classification of solvable Lie groups. By contrast, semi-simple Lie groups have been completely classified. A complete classification of complex semi-simple Lie algebras was obtained by W. Killing in 1888–1890 (see [[#References|[1]]], [[#References|[3]]]). Since a complex semi-simple Lie algebra is a direct sum of simple subalgebras, it is sufficient to classify simple Lie algebras. It turns out that there are only nine types of complex simple Lie algebras, namely the four infinite series $$
 
+
A _{n} ,  n\geq 1,  B _{n} ,  n \geq 2 ,  C _{n} ,  n \geq 3 , 
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058590/l058590158.png" /></td> </tr></table>
+
D _{n} ,  n \geq 4 ,
 
+
$$ and the five exceptional algebras $$
and the five exceptional algebras
+
G _{2} ,  F _{4} ,  E _{6} ,  E _{7} ,  E _{8}
 
+
$$ (see also [[Lie algebra, semi-simple|Lie algebra, semi-simple]]). To the infinite series of complex simple Lie algebras correspond the classical linear Lie groups. The corresponding simply-connected groups have the form: type $  A _{n} $  $  \mathop{\rm SL}\nolimits ( n+1 ,\  \mathbf C ) $ ; type $  B _{n} $  $  \mathop{\rm Spin}\nolimits (f _{2n+1} ) $ , the [[Spinor group|spinor group]] corresponding to a non-singular quadratic form $  f _{2n+1} $  of dimension $  2n + 1 $ ; type $  C _{n} $  — the [[Symplectic group|symplectic group]] of degree $  2n $ ; type $  D _{n} $  $  \mathop{\rm Spin}\nolimits ( f _{2n} ) $ . It is not difficult to compute the centres of these groups. For example, the centre of $  \mathop{\rm SL}\nolimits ( n+1 ,\  \mathbf C ) $  is the cyclic group of order $  n+1 $ , and the centres of $  \mathop{\rm Spin}\nolimits ( f _{2n+1} ) $  and the symplectic group are the cyclic group of order 2. In this way one obtains a classification of complex semi-simple Lie groups. The classification of real semi-simple Lie groups turns out to be much more complicated and depends on the classification of their real forms (cf. also [[Form of an algebraic group|Form of an algebraic group]]). The most important point here is the existence for any complex semi-simple group $  G $  of a unique compact real form $  B $ ; this implies that the Lie algebra $  L (G) $  is isomorphic to $  L (B) \otimes _ {\mathbf R} \mathbf C $ , that is, it is obtained by complexifying the Lie algebra $  L (B) $ . Relying on this, Cartan in 1914 obtained a complete classification of the real forms of complex semi-simple Lie groups. In terms of [[Galois cohomology|Galois cohomology]] this is equivalent to a description of the set $  H ^{1} ( \mathbf R ,\  \mathop{\rm Aut}\nolimits (G) ) $  (see also [[Linear algebraic group|Linear algebraic group]]).
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058590/l058590159.png" /></td> </tr></table>
 
 
 
(see also [[Lie algebra, semi-simple|Lie algebra, semi-simple]]). To the infinite series of complex simple Lie algebras correspond the classical linear Lie groups. The corresponding simply-connected groups have the form: type <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058590/l058590160.png" /> <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058590/l058590161.png" />; type <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058590/l058590162.png" /> <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058590/l058590163.png" />, the [[Spinor group|spinor group]] corresponding to a non-singular quadratic form <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058590/l058590164.png" /> of dimension <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058590/l058590165.png" />; type <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058590/l058590166.png" /> — the [[Symplectic group|symplectic group]] of degree <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058590/l058590167.png" />; type <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058590/l058590168.png" /> <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058590/l058590169.png" />. It is not difficult to compute the centres of these groups. For example, the centre of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058590/l058590170.png" /> is the cyclic group of order <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058590/l058590171.png" />, and the centres of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058590/l058590172.png" /> and the symplectic group are the cyclic group of order 2. In this way one obtains a classification of complex semi-simple Lie groups. The classification of real semi-simple Lie groups turns out to be much more complicated and depends on the classification of their real forms (cf. also [[Form of an algebraic group|Form of an algebraic group]]). The most important point here is the existence for any complex semi-simple group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058590/l058590173.png" /> of a unique compact real form <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058590/l058590174.png" />; this implies that the Lie algebra <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058590/l058590175.png" /> is isomorphic to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058590/l058590176.png" />, that is, it is obtained by complexifying the Lie algebra <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058590/l058590177.png" />. Relying on this, Cartan in 1914 obtained a complete classification of the real forms of complex semi-simple Lie groups. In terms of [[Galois cohomology|Galois cohomology]] this is equivalent to a description of the set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058590/l058590178.png" /> (see also [[Linear algebraic group|Linear algebraic group]]).
 
  
 
Later Killing's method was perfected by Cartan and Weyl, which gave the possibility of solving a number of other classification problems, and also to develop the important theory of representations of Lie groups. A classification of semi-simple subgroups of the classical complex simple Lie groups has been obtained (see [[#References|[17]]]).
 
Later Killing's method was perfected by Cartan and Weyl, which gave the possibility of solving a number of other classification problems, and also to develop the important theory of representations of Lie groups. A classification of semi-simple subgroups of the classical complex simple Lie groups has been obtained (see [[#References|[17]]]).
  
 
==Modern development and applications.==
 
==Modern development and applications.==
In the 1950-s a new step in the development of the theory of Lie groups was begun, which manifested itself, in particular, in the creation of the theory of algebraic groups (see [[Linear algebraic group|Linear algebraic group]]). Earlier C. Chevalley (see ) had explained in detail the algebraic nature of the fundamental results of Lie group theory. The application of methods of algebraic geometry made it possible to illuminate these classical results in a new way and revealed new deep connections with the theory of functions, number theory, etc. The theory of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058590/l058590179.png" />-adic Lie groups (cf. [[Lie-group-adic|Lie group, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058590/l058590180.png" />-adic]]) had a significant development (see [[#References|[3]]], [[#References|[6]]]). Lie groups are connected in practice with all main branches of mathematics: with geometry and topology through the theory of Lie transformation groups (cf. [[Lie transformation group|Lie transformation group]]), with analysis through the theory of linear representations, etc. The various applications of Lie groups to physics and mechanics are also extremely important.
+
In the 1950-s a new step in the development of the theory of Lie groups was begun, which manifested itself, in particular, in the creation of the theory of algebraic groups (see [[Linear algebraic group|Linear algebraic group]]). Earlier C. Chevalley (see ) had explained in detail the algebraic nature of the fundamental results of Lie group theory. The application of methods of algebraic geometry made it possible to illuminate these classical results in a new way and revealed new deep connections with the theory of functions, number theory, etc. The theory of $  p $ -adic Lie groups (cf. [[Lie-group-adic|Lie group, $  p $ -adic]]) had a significant development (see [[#References|[3]]], [[#References|[6]]]). Lie groups are connected in practice with all main branches of mathematics: with geometry and topology through the theory of Lie transformation groups (cf. [[Lie transformation group|Lie transformation group]]), with analysis through the theory of linear representations, etc. The various applications of Lie groups to physics and mechanics are also extremely important.
  
 
====References====
 
====References====
Line 76: Line 65:
 
For an early account of Lie groups see also [[#References|[a1]]]. Concerning Ado's theorem one may also consult [[#References|[a2]]]. See [[#References|[10]]] for Cartan's classification of real forms of complex semi-simple Lie groups.
 
For an early account of Lie groups see also [[#References|[a1]]]. Concerning Ado's theorem one may also consult [[#References|[a2]]]. See [[#References|[10]]] for Cartan's classification of real forms of complex semi-simple Lie groups.
  
The theorem that a <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058590/l058590181.png" /> group is analytic is due to F. Schur (1893), working out less detailed statements of Lie on this matter. The Campbell–Hausdorff formula also goes back to Schur (1891).
+
The theorem that a $  C ^{2} $  group is analytic is due to F. Schur (1893), working out less detailed statements of Lie on this matter. The Campbell–Hausdorff formula also goes back to Schur (1891).
  
 
The main new development since the 1950-s is the creation of the representation theory of non-compact semi-simple Lie groups, for a large part by Harish-Chandra [[#References|[a3]]].
 
The main new development since the 1950-s is the creation of the representation theory of non-compact semi-simple Lie groups, for a large part by Harish-Chandra [[#References|[a3]]].
  
The definition of local isomorphy of two Lie groups given in the main article above is not quite the usual one. Usually, two Lie groups <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058590/l058590182.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058590/l058590183.png" /> are called locally isomorphic if there are neighbourhoods of the identity <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058590/l058590184.png" /> of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058590/l058590185.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058590/l058590186.png" /> of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058590/l058590187.png" /> such that there is an isomorphism <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058590/l058590188.png" /> of analytic manifolds for which <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058590/l058590189.png" /> implies <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058590/l058590190.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058590/l058590191.png" /> implies <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058590/l058590192.png" />.
+
The definition of local isomorphy of two Lie groups given in the main article above is not quite the usual one. Usually, two Lie groups $  G _{1} $ , $  G _{2} $  are called locally isomorphic if there are neighbourhoods of the identity $  U _{1} $  of $  G _{1} $  and $  U _{2} $  of $  G _{2} $  such that there is an isomorphism $  f : \  U _{1} \rightarrow U _{2} $  of analytic manifolds for which $  x ,\  y ,\  x y \in U _{1} $  implies $  f (x) f (y) = f ( x y ) $  and $  u ,\  v ,\  u v \in U _{2} $  implies $  f ^ {\  -1} (u) f ^ {\  -1} (v) = f ^ {\  -1} ( u v ) $ .
  
 
====References====
 
====References====
 
<table><TR><TD valign="top">[a1]</TD> <TD valign="top"> W. Mayer, T.Y. Thomas, "Foundations of the theory of Lie groups" ''Ann. of Math.'' , '''36''' (1935) pp. 770–822 {{MR|1503252}} {{ZBL|0012.05502}} {{ZBL|61.0474.01}} </TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top"> I.D. Ado, "The representation of Lie algebras by matrices" ''Transl. Amer. Math. Soc. (1)'' , '''9''' (1962) pp. 308–327 ''Uspekhi Mat. Nauk.'' , '''2''' (1947) pp. 159–173 {{MR|0030946}} {{MR|0027753}} {{ZBL|}} </TD></TR><TR><TD valign="top">[a3]</TD> <TD valign="top"> Harish-Chandra, "Collected works" , '''1–4''' , Springer (1984) {{MR|}} {{ZBL|0699.62084}} {{ZBL|0653.01018}} </TD></TR></table>
 
<table><TR><TD valign="top">[a1]</TD> <TD valign="top"> W. Mayer, T.Y. Thomas, "Foundations of the theory of Lie groups" ''Ann. of Math.'' , '''36''' (1935) pp. 770–822 {{MR|1503252}} {{ZBL|0012.05502}} {{ZBL|61.0474.01}} </TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top"> I.D. Ado, "The representation of Lie algebras by matrices" ''Transl. Amer. Math. Soc. (1)'' , '''9''' (1962) pp. 308–327 ''Uspekhi Mat. Nauk.'' , '''2''' (1947) pp. 159–173 {{MR|0030946}} {{MR|0027753}} {{ZBL|}} </TD></TR><TR><TD valign="top">[a3]</TD> <TD valign="top"> Harish-Chandra, "Collected works" , '''1–4''' , Springer (1984) {{MR|}} {{ZBL|0699.62084}} {{ZBL|0653.01018}} </TD></TR></table>

Latest revision as of 17:06, 13 June 2020

A group $ G $ having the structure of an analytic manifold such that the mapping $ \mu : \ ( x ,\ y ) \rightarrow x y ^{-1} $ of the direct product $ G \times G $ into $ G $ is analytic. In other words, a Lie group is a set endowed with compatible structures of a group and an analytic manifold. A Lie group is said to be real, complex or $ p $ -adic, depending on the field over which its analytic manifold is considered. Henceforth, as a rule, real Lie groups are considered (every complex Lie group is naturally endowed with the structure of a real Lie group by means of restriction of the ground field; for Lie groups over $ p $ -adic number fields see Lie group, $ p $ -adic; Analytic group).

Examples of Lie groups. The general linear group $ \mathop{\rm GL}\nolimits ( n ,\ \mathbf R ) $ over the field $ \mathbf R $ of real numbers (see also Linear group) and its subgroups, closed in the natural Euclidean topology (J. von Neumann, 1927).

The main concepts of the theory of Lie groups were introduced into mathematics in the 1870-s by S. Lie. Lie groups arose in connection with the problem of the solvability of differential equations by quadratures and research into continuous transformation groups. The successful application of group theory to the solution of algebraic equations of higher degrees, which manifested itself in the creation of Galois theory, suggested an attempt to construct an analogue of Galois theory for differential equations. Although groups took up a position in the theory of differential equations somewhat different from that in the theory of algebraic equations, this led to the creation of the theory of Lie groups, and also to the theory of algebraic groups, which has deep connections with many branches of mathematics. Lie groups were originally defined as local transformation groups of the $ n $ -dimensional space $ \mathbf R ^{n} $ (or $ \mathbf C ^{n} $ ) that depend analytically on a finite system of parameters, and it was required that the parameters of a product of transformations be expressible in terms of the parameters of the factors by means of analytic functions. Later on, mathematicians turned to the abstract consideration of Lie groups, but also from the local point of view (see Lie group, local). Systematic research into the global structure of Lie groups was first begun by E. Cartan and H. Weyl. The first modern account of the theory of Lie groups was given in 1938 by L.S. Pontryagin (see [1]).

Does the replacement of analyticity of the manifold $ G $ and the mapping $ \mu $ by differentiability lead to an extension of the class of Lie groups? This question was solved by Lie: If $ \mu $ is twice continuously differentiable, then $ G $ is a Lie group. Hilbert's fifth problem turned out to be considerably more complicated: If $ G $ is an $ n $ -dimensional topological manifold and the mapping $ \mu : \ ( x ,\ y ) \rightarrow x y ^{-1} $ is continuous, is $ G $ a Lie group? For compact groups this problem was affirmatively solved by von Neumann in 1933, and for locally compact Abelian groups by Pontryagin in 1934. In the general case an affirmative answer was obtained in 1952 by A.M. Gleason, D. Montgomery and L. Zippin (see [4], and also [18]). Thus one can define a Lie group as a topological group whose topological space is a finite-dimensional (or locally Euclidean) manifold. This is very important for the general theory of topological groups.

A subset $ H $ of a Lie group $ G $ is called a subgroup (more precisely, a Lie subgroup) if $ H $ is a subgroup of the abstract group $ G $ and a submanifold of the analytic manifold $ G $ . A morphism between Lie groups $ G _{1} $ and $ G _{2} $ is an analytic mapping $ f : \ G _{1} \rightarrow G _{2} $ that is a homomorphism of abstract groups; if $ f $ is also bijective and $ f ^ {\ -1} $ is analytic, then $ f $ is called an isomorphism of Lie groups; in the case when $ f $ is locally bijective (around the identity $ e $ ) one says that the Lie groups $ G _{1} $ and $ G _{2} $ are locally isomorphic. The dimension of a Lie group $ G $ is the dimension of $ G $ as an analytic manifold. Henceforth only finite-dimensional Lie groups are considered, although many results can be generalized to the case of Banach Lie groups (cf. Lie group, Banach). Let $ H $ be a closed normal subgroup of a finite-dimensional Lie group $ G $ . Then the quotient group $ G / H $ can be endowed with the structure of an analytic manifold such that $ G / H $ becomes a Lie group and the canonical mapping $ G \rightarrow G / H $ is a morphism.

The correspondence between Lie groups and Lie algebras.

The main method of research in the theory of Lie groups is the infinitesimal method created by Lie. This method makes it possible to reduce the study of such a complicated object as a Lie group largely to the study of a purely algebraic object, a Lie algebra. To every Lie group $ G $ corresponds a Lie algebra $ L (G) $ , constructed as follows (see also Lie algebra of an analytic group). A left-invariant vector field on $ G $ is a vector field that is invariant with respect to the differentials of left translations, that is, $ X $ is a left-invariant vector field if $ ( d L _{g} ) X (h) = X (g h) $ for any $ g ,\ h \in G $ , where $ L _{g} (h) = g h $ . The left-invariant vector fields on $ G $ form a vector space that can be identified with the tangent space $ T _{e} (G) $ at the identity $ e $ of the group $ G $ , by associating with the field $ X $ its value at $ e $ . If $ X ,\ Y \in T _{e} (G) $ , then the Lie bracket $ X \cso Y - Y \cso X $ is also a left-invariant field, and this defines in $ T _{e} (G) $ a bilinear operation with respect to which $ T _{e} (G) $ becomes the Lie algebra $ L (G) $ (here $ \cso $ denotes composition of vector fields, regarded as derivations of the algebra of infinitely-differentiable real-valued functions on the manifold $ G $ ). A more explicit construction of the commutation operation $ [ X ,\ Y ] $ in $ L (G) $ is as follows: Let $ x (t) ,\ y (t) $ be the integral curves of the fields $ X ,\ Y $ in $ G $ passing through the identity $ e $ of the group. Then $ [ X ,\ Y ] $ is the tangent vector at $ e $ to the curve $$ z (s) = x ( \sqrt s ) y ( \sqrt s ) x ( \sqrt s ) ^{-1} y ( \sqrt s ) ^{-1} . $$ Recovering a Lie group $ G $ from its Lie algebra $ L (G) $ is possible by the exponential mapping $ \mathop{\rm exp}\nolimits \ : \ L (G) \rightarrow G $ , which associates with a field $ X \in L (G) $ the element $ x (1) $ of its integral curve $ x (t) $ . If $ G $ is a linear Lie group, that is, a subgroup of the general linear group $ \mathop{\rm GL}\nolimits ( n ,\ \mathbf R ) $ , then $ L (G) $ can be identified with a subalgebra of the general matrix Lie algebra $ L ( n ,\ \mathbf R ) $ and the exponential mapping takes the form $$ \mathop{\rm exp}\nolimits \ X = \sum _{m=0} ^ \infty \frac{1}{m!} X ^{m} . $$ The mapping $ \mathop{\rm exp}\nolimits \ : \ L (G) \rightarrow G $ is analytic and a local isomorphism, and so in some neighbourhood of the identity of the group $ G $ it defines a local chart (canonical coordinates). According to the Campbell–Hausdorff formula the multiplication in $ G $ in canonical coordinates, that is, the locally defined mapping $$ ( X ,\ Y ) \rightarrow \mathop{\rm exp}\nolimits ^{-1} ( \mathop{\rm exp}\nolimits \ X \ \mathop{\rm exp}\nolimits \ Y ) , X ,\ Y \in L (G) , $$ can be given in terms of operations in the Lie algebra $ L (G) $ . Thus, locally a Lie group is completely determined by its Lie algebra.

The correspondence between Lie groups and Lie algebras has deep functorial properties. A Lie group is determined by its Lie algebra up to a local isomorphism; in particular, if two Lie groups $ G _{1} $ and $ G _{2} $ are connected and simply connected, then the isomorphy of their Lie algebras implies $ G _{1} \cong G _{2} $ . Arcwise-connected subgroups of a Lie group $ G $ correspond one-to-one to subalgebras of the Lie algebra $ L (G) $ . Let $ f : \ G _{1} \rightarrow G _{2} $ be a morphism of Lie groups. Then the differential of this morphism at the identity is a homomorphism of Lie algebras: $$ d f _{e} : \ L ( G _{1} ) \rightarrow L ( G _{2} ) . $$ In general, not every homomorphism $ L ( G _{1} ) \rightarrow L ( G _{2} ) $ has the form $ d f _{e} $ , but if $ G _{1} $ is simply connected this is the case. An arcwise-connected subgroup $ H $ of a connected Lie group $ G $ is normal if and only if $ L (H) $ is an ideal of the Lie algebra $ L (G) $ ; if in addition $ H $ is closed in $ G $ , then $$ L ( G / H ) \cong L (G) / L (H) . $$ By construction, the Lie algebra $ L (G) $ of a given Lie group $ G $ is an analytic invariant. In reality $ L (G) $ is a topological invariant; this follows immediately from the following theorem of Cartan: A continuous homomorphic mapping of a (real) Lie group $ G $ into a Lie group $ H $ is a morphism. For complex Lie groups this assertion is not always true, although it holds for $ p $ -adic Lie groups (see [3]). The automorphism group $ \mathop{\rm Aut}\nolimits (G) $ of a connected Lie group $ G $ is a Lie group which can be identified with a Lie subgroup of $ \mathop{\rm Aut}\nolimits ( L (G) ) $ . In particular, if the Lie group $ G $ is simply-connected, then $$ \mathop{\rm Aut}\nolimits (G) \cong \mathop{\rm Aut}\nolimits ( L (G) ) \textrm{ and } L ( \mathop{\rm Aut}\nolimits (G) ) \cong D ( L (G) ) , $$ where $ D ( L (G) ) $ denotes the Lie algebra of derivations of the algebra $ L (G) $ . The correspondence $$ g \rightarrow A d (g) = d _{e} ( \mathop{\rm Int}\nolimits (g) ) , $$ where $ \mathop{\rm Int}\nolimits (g) $ is the inner automorphism implemented by the element $ g \in G $ , is called the adjoint representation of the Lie group $ G $ ; its differential is the adjoint representation $ x \rightarrow \mathop{\rm ad}\nolimits \ x $ of the Lie algebra $ L (G) $ . Cf. also Adjoint representation of a Lie group.

The global structure of Lie groups.

The existence of a global Lie group with a given real Lie algebra was proved in 1930 by Cartan. He also showed that a closed subgroup of a real Lie group is a Lie subgroup. Two types of Lie groups play a special role, namely: semi-simple and solvable ones (see Lie group, semi-simple; Lie group, solvable). A connected Lie group $ G $ is said to be semi-simple if it does not contain connected solvable normal subgroups other than the identity; if $ G $ does not contain non-trivial connected normal subgroups, it is said to be simple. The Lie algebra $ L (G) $ of a semi-simple, simple or solvable Lie group $ G $ is, respectively, a semi-simple, simple or solvable Lie algebra. The investigation of arbitrary Lie groups essentially reduces to the study of semi-simple and solvable Lie groups. Any Lie group $ G $ has a largest connected solvable normal subgroup, called the solvable radical and denoted by $ R (G) $ . In $ G $ there are maximal semi-simple subgroups. If $ S $ is one of them, then $ G = S \cdot R (G) $ , and all maximal semi-simple subgroups are conjugate; if $ G $ is simply connected, then $ S \cap R (G) = (e) $ and the product is semi-direct (the Levi–Mal'tsev theorem). The existence of this decomposition was first proved by E. Levi in 1905 for complex Lie algebras, and the conjugacy of the semi-simple components was established by A.I. Mal'tsev in 1942 (see [16], [3], and also Levi–Mal'tsev decomposition).

The most general fact about solvable Lie groups was obtained by Lie: Any connected solvable linear group over the field $ \mathbf C $ can be transformed to triangular form; that is, the description of connected solvable Lie groups reduces to the description of subgroups of the general triangular group $ T (n) \subset \mathop{\rm GL}\nolimits ( n ,\ \mathbf C ) $ . A detailed investigation of solvable subgroups was undertaken by Mal'tsev in [16].

In the study of the structure of semi-simple Lie groups an important role is played by their maximal compact subgroups, studied by Cartan in close connection with the theory of symmetric spaces (see [10]). According to Cartan's classical theorem, maximal compact subgroups of a semi-simple Lie group $ G $ are conjugate; if $ B $ is a maximal compact subgroup of $ G $ , there is a submanifold $ E \subset G $ , analytically isomorphic to a Euclidean space, such that $ G = B E $ and the mapping $ B \times E \rightarrow B E $ , $ ( b ,\ e ) \rightarrow b e $ , is an isomorphism of analytic manifolds. Thus, the topological structure of $ G $ is determined by the topological structure of $ B $ . Mal'tsev [16] extended Cartan's theorem to arbitrary connected Lie groups. Another decomposition of a connected Lie group into a product of a maximal compact subgroup and a Euclidean space was found by K. Iwasawa (see Iwasawa decomposition).

Linear representability.

From the very beginning of the development of the theory of Lie groups it was clear that arbitrary Lie groups are close to linear Lie groups. Lie proved that in many cases Lie groups are locally isomorphic to linear Lie groups. The general theorem was obtained by I.D. Ado in 1935: Any Lie group is locally isomorphic to a linear Lie group (see [15]). At the same time it is not difficult to give examples of Lie groups that are not linear, e.g. the simply-connected covering group of $ \mathop{\rm SL}\nolimits ( 2 ,\ \mathbf R ) $ , or (in the case of the field $ \mathbf C $ ) a complex compact torus. If $ G $ is a simply-connected solvable Lie group, then any Lie subgroup of it is simply connected and isomorphic to a linear Lie group. In the general case the following criterion has been found for linear representability [16]: A connected Lie group $ G $ is linear if and only if its radical $ R (G) $ and semi-simple quotient group $ G / R (G) $ are linear; in turn, for $ R (G) $ to be linearly representable it is necessary and sufficient that its commutator subgroup should be simply connected, and the linearity of the semi-simple Lie group $ G / R (G) $ depends on the structure of its centre. Compact, and also complex semi-simple, Lie groups are not only linear, but also linear algebraic groups (cf. Linear algebraic group) .

Classification.

One of the main problems in the theory of Lie groups is that of classifying arbitrary connected Lie groups up to isomorphism. In the class of all locally isomorphic connected Lie groups that have the same Lie algebra there is a unique simply-connected Lie group $ G _{0} $ , and any Lie group $ G $ of this class is isomorphic to $ G _{0} / N $ where $ N $ is a discrete central normal subgroup. Therefore, the classification of Lie groups reduces to the classification of finite-dimensional Lie algebras and the calculation of the centres of simply-connected Lie groups. On the other hand, it reduces to the classification of two fundamentally different types of groups: semi-simple and solvable (see Lie group, semi-simple, Lie group, solvable). At first glance solvable Lie groups have a simpler structure and their classification, it would seem, should not be difficult. However, this impression is deceptive and up to now (1988) there is no hope of obtaining a classification of solvable Lie groups. By contrast, semi-simple Lie groups have been completely classified. A complete classification of complex semi-simple Lie algebras was obtained by W. Killing in 1888–1890 (see [1], [3]). Since a complex semi-simple Lie algebra is a direct sum of simple subalgebras, it is sufficient to classify simple Lie algebras. It turns out that there are only nine types of complex simple Lie algebras, namely the four infinite series $$ A _{n} , n\geq 1, B _{n} , n \geq 2 , C _{n} , n \geq 3 , D _{n} , n \geq 4 , $$ and the five exceptional algebras $$ G _{2} , F _{4} , E _{6} , E _{7} , E _{8} $$ (see also Lie algebra, semi-simple). To the infinite series of complex simple Lie algebras correspond the classical linear Lie groups. The corresponding simply-connected groups have the form: type $ A _{n} $ — $ \mathop{\rm SL}\nolimits ( n+1 ,\ \mathbf C ) $ ; type $ B _{n} $ — $ \mathop{\rm Spin}\nolimits (f _{2n+1} ) $ , the spinor group corresponding to a non-singular quadratic form $ f _{2n+1} $ of dimension $ 2n + 1 $ ; type $ C _{n} $ — the symplectic group of degree $ 2n $ ; type $ D _{n} $ — $ \mathop{\rm Spin}\nolimits ( f _{2n} ) $ . It is not difficult to compute the centres of these groups. For example, the centre of $ \mathop{\rm SL}\nolimits ( n+1 ,\ \mathbf C ) $ is the cyclic group of order $ n+1 $ , and the centres of $ \mathop{\rm Spin}\nolimits ( f _{2n+1} ) $ and the symplectic group are the cyclic group of order 2. In this way one obtains a classification of complex semi-simple Lie groups. The classification of real semi-simple Lie groups turns out to be much more complicated and depends on the classification of their real forms (cf. also Form of an algebraic group). The most important point here is the existence for any complex semi-simple group $ G $ of a unique compact real form $ B $ ; this implies that the Lie algebra $ L (G) $ is isomorphic to $ L (B) \otimes _ {\mathbf R} \mathbf C $ , that is, it is obtained by complexifying the Lie algebra $ L (B) $ . Relying on this, Cartan in 1914 obtained a complete classification of the real forms of complex semi-simple Lie groups. In terms of Galois cohomology this is equivalent to a description of the set $ H ^{1} ( \mathbf R ,\ \mathop{\rm Aut}\nolimits (G) ) $ (see also Linear algebraic group).

Later Killing's method was perfected by Cartan and Weyl, which gave the possibility of solving a number of other classification problems, and also to develop the important theory of representations of Lie groups. A classification of semi-simple subgroups of the classical complex simple Lie groups has been obtained (see [17]).

Modern development and applications.

In the 1950-s a new step in the development of the theory of Lie groups was begun, which manifested itself, in particular, in the creation of the theory of algebraic groups (see Linear algebraic group). Earlier C. Chevalley (see ) had explained in detail the algebraic nature of the fundamental results of Lie group theory. The application of methods of algebraic geometry made it possible to illuminate these classical results in a new way and revealed new deep connections with the theory of functions, number theory, etc. The theory of $ p $ -adic Lie groups (cf. Lie group, $ p $ -adic) had a significant development (see [3], [6]). Lie groups are connected in practice with all main branches of mathematics: with geometry and topology through the theory of Lie transformation groups (cf. Lie transformation group), with analysis through the theory of linear representations, etc. The various applications of Lie groups to physics and mechanics are also extremely important.

References

[1] L.S. Pontryagin, "Topological groups" , Princeton Univ. Press (1958) (Translated from Russian) MR0201557 Zbl 0022.17104
[2] A. Borel, "Linear algebraic groups" , Benjamin (1969) MR0251042 Zbl 0206.49801 Zbl 0186.33201
[3] N. Bourbaki, "Elements of mathematics. Lie groups and Lie algebras" , Addison-Wesley (1975) (Translated from French) MR0682756 Zbl 0319.17002
[4] H. Weyl, "The classical groups, their invariants and representations" , Princeton Univ. Press (1946) MR0000255 Zbl 1024.20502
[5] E. Wigner, "Group theory and its applications to the quantum mechanics of atomic spectra" , Acad. Press (1959) (Translated from German) MR0106711
[6] J.-P. Serre, "Lie algebras and Lie groups" , Benjamin (1965) (Translated from French) MR0218496 Zbl 0132.27803
[7] R.G. Steinberg, "Lectures on Chevalley groups" , Yale Univ. Press (1967) MR0476871 MR0466335 Zbl 0307.22001 Zbl 1196.22001
[8] , Theórie des algèbres de Lie. Topologie des groupes de Lie , Sem. S. Lie , Ie année 1954–1955 , Ecole Norm. Sup. (1962) Zbl 0106.02701
[9] M. Hamermesh, "Group theory and its application to physical problems" , Addison-Wesley (1962) MR0136667 Zbl 0100.36704
[10] S. Helgason, "Differential geometry, Lie groups, and symmetric spaces" , Acad. Press (1978) MR0514561 Zbl 0451.53038
[11] N.G. Chebotarev, "The theory of Lie groups" , Moscow-Leningrad (1940) (In Russian)
[12a] C. Chevalley, "Theory of Lie groups" , 1 , Princeton Univ. Press (1946) MR0082628 MR0015396 Zbl 0063.00842
[12b] C. Chevalley, "Théorie des groupes de Lie" , 2–3 , Hermann (1951–1955) MR0068552 MR0051242 MR0019623 Zbl 0186.33104 Zbl 0054.01303 Zbl 0063.00843
[13] G. Hochschild, "The structure of Lie groups" , Holden-Day (1965) MR0207883 Zbl 0131.02702
[14] D. Montgomery, L. Zippin, "Topological transformation groups" , Interscience (1964) MR0379739 MR1529355 MR0084705 MR0073104 MR0002529 Zbl 0323.57023 Zbl 0073.25802 Zbl 0068.01904 Zbl 0025.23701 Zbl 66.0959.03
[15] I.D. Ado, "Note on the representation of finite continuous groups by means of linear substitutions" Izv. Fiz.-Mat. Obsch. (Kazan') , 7 (1935) pp. 1–43 (In Russian)
[16] A.I. Mal'tsev, "On the theory of Lie groups in the large" Mat. Sb. , 16 (58) (1945) pp. 163–190 (In Russian) Zbl 0061.04602
[17] A.I. Mal'tsev, "On semisimple subgroups of Lie groups" Transl. Amer. Math. Soc. (1) , 9 (1950) pp. 172–213 Izv. Akad. Nauk SSSR Ser. Mat. , 8 : 4 (1944) pp. 143–174
[18] "Hilbert problems" Bull. Amer. Math. Soc. , 8 (1902) pp. 437–479
[19] H. Freudenthal, H. de Vries, "Linear Lie groups" , Acad. Press (1969) MR0260926 Zbl 0377.22001


Comments

For an early account of Lie groups see also [a1]. Concerning Ado's theorem one may also consult [a2]. See [10] for Cartan's classification of real forms of complex semi-simple Lie groups.

The theorem that a $ C ^{2} $ group is analytic is due to F. Schur (1893), working out less detailed statements of Lie on this matter. The Campbell–Hausdorff formula also goes back to Schur (1891).

The main new development since the 1950-s is the creation of the representation theory of non-compact semi-simple Lie groups, for a large part by Harish-Chandra [a3].

The definition of local isomorphy of two Lie groups given in the main article above is not quite the usual one. Usually, two Lie groups $ G _{1} $ , $ G _{2} $ are called locally isomorphic if there are neighbourhoods of the identity $ U _{1} $ of $ G _{1} $ and $ U _{2} $ of $ G _{2} $ such that there is an isomorphism $ f : \ U _{1} \rightarrow U _{2} $ of analytic manifolds for which $ x ,\ y ,\ x y \in U _{1} $ implies $ f (x) f (y) = f ( x y ) $ and $ u ,\ v ,\ u v \in U _{2} $ implies $ f ^ {\ -1} (u) f ^ {\ -1} (v) = f ^ {\ -1} ( u v ) $ .

References

[a1] W. Mayer, T.Y. Thomas, "Foundations of the theory of Lie groups" Ann. of Math. , 36 (1935) pp. 770–822 MR1503252 Zbl 0012.05502 Zbl 61.0474.01
[a2] I.D. Ado, "The representation of Lie algebras by matrices" Transl. Amer. Math. Soc. (1) , 9 (1962) pp. 308–327 Uspekhi Mat. Nauk. , 2 (1947) pp. 159–173 MR0030946 MR0027753
[a3] Harish-Chandra, "Collected works" , 1–4 , Springer (1984) Zbl 0699.62084 Zbl 0653.01018
How to Cite This Entry:
Lie group. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Lie_group&oldid=35874
This article was adapted from an original article by V.P. Platonov (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article