# Lie algebra of an analytic group

Lie algebra of a Lie group $G$ defined over a field $k$ that is complete with respect to a non-trivial absolute value

The Lie algebra $\mathfrak g$ of $G$ regarded as local Lie group (cf. Lie group, local). Thus, as a vector space $\mathfrak g$ is identified with the tangent space to $G$ at the point $e$. The multiplication operation $[ , ]$ in the Lie algebra $\mathfrak g$ can be defined in any of the following equivalent ways.

1) Let ad be the differential of the adjoint representation of the group $G$( cf. Adjoint representation of a Lie group). Then $\mathop{\rm ad} X$, for any vector $X \in \mathfrak g$, is a linear transformation of the space $\mathfrak g$ and $\mathop{\rm ad} X ( Y) = [ X , Y ]$ for any $Y \in \mathfrak g$.

2) Let $k = \mathbf R$, let $X , Y \in \mathfrak g$ be two tangent vectors to $G$ at $e$ and let $x ( t)$ and $y ( t)$ be smooth curves in $G$ for which $X$ and $Y$ are tangent vectors for $t = 0$. Then $[ X , Y ]$ is the tangent vector for $s = 0$ to the curve $q ( t) = x ( s) y ( s) x ( s) ^ {-} 1 y ( s) ^ {-} 1$, where $s \geq 0$ and $s ^ {2} = t$.

3) Let $U ( G)$ be the associative $k$- algebra of generalized functions on $G$ with support at $e$ and with multiplication defined by the convolution $\star$. The space $\mathfrak g$ is identified with the set of primitive elements (cf. Hopf algebra) of the bi-algebra $U ( G)$, and for any $X , Y \in \mathfrak g$ the vector $X \star Y - Y \star X$ also lies in $\mathfrak g$. Then $X \star Y - Y \star X = [ X , Y ]$.

4) Let ${\mathcal L}$ be the vector space of all vector fields on $G$ that are invariant with respect to left translation by elements of $G$. The correspondence between the vector field and its value at the point $e \in G$ is an isomorphism of the vector spaces ${\mathcal L}$ and $\mathfrak g$. On the other hand, to any vector field $L \in {\mathcal L}$ corresponds a left-invariant derivation of the $k$- algebra $A$ of analytic functions on $G$ by means of the formula $L ( f ) ( g) = ( df ) _ {g} ( L _ {g} )$ for any $f \in A$, $g \in G$, and this correspondence is an isomorphism of the space ${\mathcal L}$ to the vector space $D$ of all left-invariant derivations of $A$. For any $X \in \mathfrak g$, let $L _ {X} \in {\mathcal L}$ denote the left-invariant vector field for which ${( L _ {X} ) } _ {e} = X$. If $X , Y \in \mathfrak g$, then the product $[ X , Y ]$ can be defined as the vector of $\mathfrak g$ for which the field $L _ {[ X , Y ] }$ specifies the derivation $L _ {X} \cdot L _ {Y} - L _ {Y} \cdot L _ {X}$ of the algebra $A$.

Example. Let $G$ be the analytic group of all non-singular matrices of order $n$ with coefficients in $k$. Then the tangent space $\mathfrak g$ to $G$ at the identity is identified with the space of all matrices of order $n$ with coefficients in $k$, and a Lie algebra structure on $\mathfrak g$ is defined by the formula $[ X , Y ] = XY - YX$.

The correspondence between an analytic group and its Lie algebra has important functorial properties and significantly reduces the study of analytic groups to the study of their Lie algebras. Namely, let $G _ {1}$ and $G _ {2}$ be analytic groups with Lie algebras $\mathfrak g _ {1}$ and $\mathfrak g _ {2}$ and let $\phi : G _ {1} \rightarrow G _ {2}$ be an analytic homomorphism. Then $d \phi _ {e} : \mathfrak g _ {1} \rightarrow \mathfrak g _ {2}$ is a homomorphism of Lie algebras. The Lie algebra of the analytic group $G _ {1} \times G _ {2}$ is isomorphic to $\mathfrak g _ {1} \oplus \mathfrak g _ {2}$. If $\mathfrak g$ is the Lie algebra of an analytic group $G$, $H$ is a Lie subgroup of $G$( see Lie group) and $\mathfrak h$ is the Lie algebra of the analytic group $H$, then $\mathfrak h$ is a subalgebra of $\mathfrak g$, while if $H$ is normal, then $\mathfrak h$ is an ideal of $\mathfrak g$. Suppose that the characteristic of $k$ is zero. The Lie algebra of an intersection of Lie subgroups coincides with the intersection of their Lie algebras. The Lie algebra of the kernel of a homomorphism $\phi$ of analytic groups is the kernel of the homomorphism $d \phi _ {e}$ of their Lie algebras. The Lie algebra of the quotient group $G / H$, where $H$ is an analytic normal subgroup of $G$, is the quotient algebra of the Lie algebra of $G$ with respect to the ideal corresponding to $H$. If $\mathfrak g$ is the Lie algebra of an analytic group $G$ and $\mathfrak h$ is a subalgebra of $\mathfrak g$, then there is a unique connected Lie subgroup $H \subset G$ with Lie algebra $\mathfrak h$; $H$ need not be closed in $G$. The Lie algebra of an analytic group is solvable (nilpotent, semi-simple) if and only if the group itself is solvable (nilpotent, semi-simple).

This connection between the categories of analytic groups and Lie algebras is not, however, an equivalence of these categories, in contrast to the case of local Lie groups. Namely, non-isomorphic analytic groups can have isomorphic Lie algebras. Analytic groups with isomorphic Lie algebras are said to be locally isomorphic. In the case of a field $k$ of characteristic zero, to each finite-dimensional Lie algebra over $k$ corresponds a class of locally isomorphic analytic groups. Suppose that $k = \mathbf R$ or $\mathbf C$. Among all locally isomorphic analytic groups there is a connected simply-connected group, which is unique up to isomorphism; the category of analytic groups of this type is equivalent to the category of finite-dimensional Lie algebras over $k$. In particular, every homomorphism of Lie algebras is induced by an analytic homomorphism of the corresponding connected simply-connected analytic groups. Any connected Lie group that is locally isomorphic to a given connected simply-connected Lie group $G$ has the form $G / D$, where $D$ is a discrete normal subgroup lying in the centre of $G$.

How to Cite This Entry:
Lie algebra of an analytic group. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Lie_algebra_of_an_analytic_group&oldid=47626
This article was adapted from an original article by V.L. Popov (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article