Lie group

This article includes a list of general references, but it lacks sufficient corresponding inline citations. Please help to improve this article by introducing more precise citations. (June 2023) (Learn how and when to remove this message)

Lie groups and Lie algebras
Classical groups General linear GL(n) Special linear SL(n) Orthogonal O(n) Special orthogonal SO(n) Unitary U(n) Special unitary SU(n) Symplectic Sp(n)
Simple Lie groups Classical An Bn Cn Dn Exceptional G2 F4 E6 E7 E8
Other Lie groups Circle Lorentz Poincaré Conformal group Diffeomorphism Loop Euclidean
Lie algebras Lie group–Lie algebra correspondence Exponential map Adjoint representation Killing form Index Simple Lie algebra Loop algebra Affine Lie algebra
Semisimple Lie algebra Dynkin diagrams Cartan subalgebra Root system Weyl group Real form Complexification Split Lie algebra Compact Lie algebra
Representation theory Lie group representation Lie algebra representation Representation theory of semisimple Lie algebras Representations of classical Lie groups Theorem of the highest weight Borel–Weil–Bott theorem
Lie groups in physics Particle physics and representation theory Lorentz group representations Poincaré group representations Galilean group representations
Scientists Sophus Lie Henri Poincaré Wilhelm Killing Élie Cartan Hermann Weyl Claude Chevalley Harish-Chandra Armand Borel
Glossary Table of Lie groups
v t e

Algebraic structure → Group theory Group theory
Basic notions Subgroup Normal subgroup Group action Quotient group (Semi-)direct product Direct sum Free product Wreath product Group homomorphisms kernel image simple finite infinite continuous multiplicative additive cyclic abelian dihedral nilpotent solvable Glossary of group theory List of group theory topics
Finite groups Cyclic group Zn Symmetric group Sn Alternating group An Dihedral group Dn Quaternion group Q Cauchy's theorem Lagrange's theorem Sylow theorems Hall's theorem p-group Elementary abelian group Frobenius group Schur multiplier Classification of finite simple groups cyclic alternating Lie type sporadic
Discrete groups Lattices Integers (${\displaystyle \mathbb {Z} }$) Free group Modular groups PSL(2, ${\displaystyle \mathbb {Z} }$) SL(2, ${\displaystyle \mathbb {Z} }$) Arithmetic group Lattice Hyperbolic group
Topological and Lie groups Solenoid Circle General linear GL(n) Special linear SL(n) Orthogonal O(n) Euclidean E(n) Special orthogonal SO(n) Unitary U(n) Special unitary SU(n) Symplectic Sp(n) G2 F4 E6 E7 E8 Lorentz Poincaré Conformal Diffeomorphism Loop Infinite dimensional Lie group O(∞) SU(∞) Sp(∞)
Algebraic groups Linear algebraic group Reductive group Abelian variety Elliptic curve
v t e

In mathematics, a Lie group (pronounced /liː/ LEE) is a group that is also a differentiable manifold, such that group multiplication and taking inverses are both differentiable.

A

(differentiable) as well, one obtains a Lie group.

Lie groups provide a natural model for the concept of continuous symmetry, a celebrated example of which is the circle group. Rotating a circle is an example of a continuous symmetry. For any rotation of the circle, there exists the same symmetry,^[1] and concatenation of such rotations makes them into the circle group, an archetypal example of a Lie group. Lie groups are widely used in many parts of modern mathematics and physics.

Lie groups were first found by studying matrix subgroups ${\displaystyle G}$ contained in ${\displaystyle {\text{GL}}_{n}(\mathbb {R} )}$ or ⁠${\displaystyle {\text{GL}}_{n}(\mathbb {C} )}$⁠, the groups of ${\displaystyle n\times n}$ invertible matrices over ${\displaystyle \mathbb {R} }$ or ⁠${\displaystyle \mathbb {C} }$⁠. These are now called the

.

History

Sophus Lie considered the winter of 1873–1874 as the birth date of his theory of continuous groups.^[2] Thomas Hawkins, however, suggests that it was "Lie's prodigious research activity during the four-year period from the fall of 1869 to the fall of 1873" that led to the theory's creation.^[2] Some of Lie's early ideas were developed in close collaboration with Felix Klein. Lie met with Klein every day from October 1869 through 1872: in Berlin from the end of October 1869 to the end of February 1870, and in Paris, Göttingen and Erlangen in the subsequent two years.^[3] Lie stated that all of the principal results were obtained by 1884. But during the 1870s all his papers (except the very first note) were published in Norwegian journals, which impeded recognition of the work throughout the rest of Europe.^[4] In 1884 a young German mathematician, Friedrich Engel, came to work with Lie on a systematic treatise to expose his theory of continuous groups. From this effort resulted the three-volume Theorie der Transformationsgruppen, published in 1888, 1890, and 1893. The term groupes de Lie first appeared in French in 1893 in the thesis of Lie's student Arthur Tresse.^[5]

Lie's ideas did not stand in isolation from the rest of mathematics. In fact, his interest in the geometry of differential equations was first motivated by the work of

required to express solutions.

Additional impetus to consider continuous groups came from ideas of Bernhard Riemann, on the foundations of geometry, and their further development in the hands of Klein. Thus three major themes in 19th century mathematics were combined by Lie in creating his new theory:

• The idea of symmetry, as exemplified by Galois through the algebraic notion of a group;
• Geometric theory and the explicit solutions of differential equations of mechanics, worked out by Poisson and Jacobi;
• The new understanding of
  Grassmann
  and others, and culminated in Riemann's revolutionary vision of the subject.

Although today Sophus Lie is rightfully recognized as the creator of the theory of continuous groups, a major stride in the development of their structure theory, which was to have a profound influence on subsequent development of mathematics, was made by

.

In 1900 David Hilbert challenged Lie theorists with his Fifth Problem presented at the International Congress of Mathematicians in Paris.

Weyl brought the early period of the development of the theory of Lie groups to fruition, for not only did he classify irreducible representations of semisimple Lie groups and connect the theory of groups with quantum mechanics, but he also put Lie's theory itself on firmer footing by clearly enunciating the distinction between Lie's infinitesimal groups (i.e., Lie algebras) and the Lie groups proper, and began investigations of topology of Lie groups.^[8] The theory of Lie groups was systematically reworked in modern mathematical language in a monograph by Claude Chevalley.

Lie groups are smooth differentiable manifolds and as such can be studied using differential calculus, in contrast with the case of more general topological groups. One of the key ideas in the theory of Lie groups is to replace the global object, the group, with its local or linearized version, which Lie himself called its "infinitesimal group" and which has since become known as its Lie algebra.

Lie groups play an enormous role in modern geometry, on several different levels. Felix Klein argued in his Erlangen program that one can consider various "geometries" by specifying an appropriate transformation group that leaves certain geometric properties invariant. Thus Euclidean geometry corresponds to the choice of the group E(3) of distance-preserving transformations of the Euclidean space ⁠${\displaystyle \mathbb {R} ^{3}}$⁠,

, where G is a Lie group of "local" symmetries of a manifold.

Lie groups (and their associated Lie algebras) play a major role in modern physics, with the Lie group typically playing the role of a symmetry of a physical system. Here, the representations of the Lie group (or of its Lie algebra) are especially important. Representation theory is used extensively in particle physics. Groups whose representations are of particular importance include the rotation group SO(3) (or its double cover SU(2)), the special unitary group SU(3) and the Poincaré group.

On a "global" level, whenever a Lie group

.

In the 1940s–1950s,

Lie groups play an important role, via their connections with Galois representations in number theory.

Definitions and examples

A real Lie group is a

smooth maps

. Smoothness of the group multiplication

${\displaystyle \mu :G\times G\to G\quad \mu (x,y)=xy}$

means that μ is a smooth mapping of the product manifold G × G into G. The two requirements can be combined to the single requirement that the mapping

${\displaystyle (x,y)\mapsto x^{-1}y}$

be a smooth mapping of the product manifold into G.

• The 2×2 real invertible matrices form a group under multiplication, called general linear group of degree 2 and denoted by ${\displaystyle \operatorname {GL} (2,\mathbb {R} )}$ or by ⁠${\displaystyle \operatorname {GL} _{2}(\mathbb {R} )}$⁠: $${\displaystyle \operatorname {GL} (2,\mathbb {R} )=\left\{A={\begin{pmatrix}a&b\\c&d\end{pmatrix}}:\det A=ad-bc\neq 0\right\}.}$$ This is a four-dimensional noncompact real Lie group; it is an open subset of ⁠${\displaystyle \mathbb {R} ^{4}}$⁠. This group is disconnected; it has two connected components corresponding to the positive and negative values of the determinant.
• The rotation matrices form a subgroup of ⁠${\displaystyle \operatorname {GL} (2,\mathbb {R} )}$⁠, denoted by ⁠${\displaystyle \operatorname {SO} (2,\mathbb {R} )}$⁠. It is a Lie group in its own right: specifically, a one-dimensional compact connected Lie group which is
  diffeomorphic to the circle
  . Using the rotation angle ${\displaystyle \varphi }$ as a parameter, this group can be
  parametrized
  as follows: $${\displaystyle \operatorname {SO} (2,\mathbb {R} )=\left\{{\begin{pmatrix}\cos \varphi &-\sin \varphi \\\sin \varphi &\cos \varphi \end{pmatrix}}:\varphi \in \mathbb {R} \ /\ 2\pi \mathbb {Z} \right\}.}$$ Addition of the angles corresponds to multiplication of the elements of ⁠${\displaystyle \operatorname {SO} (2,\mathbb {R} )}$⁠, and taking the opposite angle corresponds to inversion. Thus both multiplication and inversion are differentiable maps.
• The affine group of one dimension is a two-dimensional matrix Lie group, consisting of ${\displaystyle 2\times 2}$ real, upper-triangular matrices, with the first diagonal entry being positive and the second diagonal entry being 1. Thus, the group consists of matrices of the form $${\displaystyle A=\left({\begin{array}{cc}a&b\\0&1\end{array}}\right),\quad a>0,\,b\in \mathbb {R} .}$$

We now present an example of a group with an uncountable number of elements that is not a Lie group under a certain topology. The group given by

${\displaystyle H=\left\{\left({\begin{matrix}e^{2\pi i\theta }&0\\0&e^{2\pi ia\theta }\end{matrix}}\right):\,\theta \in \mathbb {R} \right\}\subset \mathbb {T} ^{2}=\left\{\left({\begin{matrix}e^{2\pi i\theta }&0\\0&e^{2\pi i\phi }\end{matrix}}\right):\,\theta ,\phi \in \mathbb {R} \right\},}$

with ${\displaystyle a\in \mathbb {R} \setminus \mathbb {Q} }$ a fixed irrational number, is a subgroup of the torus ${\displaystyle \mathbb {T} ^{2}}$ that is not a Lie group when given the

${\displaystyle U}$ of a point ${\displaystyle h}$ in ⁠${\displaystyle H}$⁠, for example, the portion of ${\displaystyle H}$ in ${\displaystyle U}$ is disconnected. The group ${\displaystyle H}$ winds repeatedly around the torus without ever reaching a previous point of the spiral and thus forms a dense subgroup of ⁠${\displaystyle \mathbb {T} ^{2}}$⁠.

The group ${\displaystyle H}$ can, however, be given a different topology, in which the distance between two points ${\displaystyle h_{1},h_{2}\in H}$ is defined as the length of the shortest path in the group ${\displaystyle H}$ joining ${\displaystyle h_{1}}$ to ⁠${\displaystyle h_{2}}$⁠. In this topology, ${\displaystyle H}$ is identified homeomorphically with the real line by identifying each element with the number ${\displaystyle \theta }$ in the definition of ⁠${\displaystyle H}$⁠. With this topology, ${\displaystyle H}$ is just the group of real numbers under addition and is therefore a Lie group.

The group ${\displaystyle H}$ is an example of a "Lie subgroup" of a Lie group that is not closed. See the discussion below of Lie subgroups in the section on basic concepts.

Let ${\displaystyle \operatorname {GL} (n,\mathbb {C} )}$ denote the group of ${\displaystyle n\times n}$ invertible matrices with entries in ⁠${\displaystyle \mathbb {C} }$⁠. Any

of ${\displaystyle \operatorname {GL} (n,\mathbb {C} )}$ is a Lie group;^[10] Lie groups of this sort are called matrix Lie groups. Since most of the interesting examples of Lie groups can be realized as matrix Lie groups, some textbooks restrict attention to this class, including those of Hall,^[11] Rossmann,^[12] and Stillwell.^[13] Restricting attention to matrix Lie groups simplifies the definition of the Lie algebra and the exponential map. The following are standard examples of matrix Lie groups.

• The special linear groups over ${\displaystyle \mathbb {R} }$ and ⁠${\displaystyle \mathbb {C} }$⁠, ${\displaystyle \operatorname {SL} (n,\mathbb {R} )}$ and ⁠${\displaystyle \operatorname {SL} (n,\mathbb {C} )}$⁠, consisting of ${\displaystyle n\times n}$ matrices with determinant one and entries in ${\displaystyle \mathbb {R} }$ or ${\displaystyle \mathbb {C} }$
• The unitary groups and special unitary groups, ${\displaystyle \operatorname {U} (n,\mathbb {C} )}$ and ⁠${\displaystyle \operatorname {SU} (n,\mathbb {C} )}$⁠, consisting of ${\displaystyle n\times n}$ complex matrices satisfying ${\displaystyle U^{*}=U^{-1}}$ (and also ${\displaystyle \det(U)=1}$ in the case of ${\displaystyle \operatorname {SU} (n)}$)
• The orthogonal groups and special orthogonal groups, ${\displaystyle \operatorname {O} (n,\mathbb {R} )}$ and ⁠${\displaystyle \operatorname {SO} (n,\mathbb {R} )}$⁠, consisting of ${\displaystyle n\times n}$ real matrices satisfying ${\displaystyle R^{\mathrm {T} }=R^{-1}}$ (and also ${\displaystyle \det(R)=1}$ in the case of ${\displaystyle \operatorname {SO} (n,\mathbb {R} )}$)

All of the preceding examples fall under the heading of the classical groups.

A complex Lie group is defined in the same way using complex manifolds rather than real ones (example: ${\displaystyle \operatorname {SL} (2,\mathbb {C} )}$), and holomorphic maps. Similarly, using an alternate metric completion of ⁠${\displaystyle \mathbb {Q} }$⁠, one can define a p-adic Lie group over the p-adic numbers, a topological group which is also an analytic p-adic manifold, such that the group operations are analytic. In particular, each point has a p-adic neighborhood.

.

The language of category theory provides a concise definition for Lie groups: a Lie group is a group object in the category of smooth manifolds. This is important, because it allows generalization of the notion of a Lie group to Lie supergroups. This categorical point of view leads also to a different generalization of Lie groups, namely Lie groupoids, which are groupoid objects in the category of smooth manifolds with a further requirement.

A Lie group can be defined as a (Hausdorff) topological group that, near the identity element, looks like a transformation group, with no reference to differentiable manifolds.^[14] First, we define an immersely linear Lie group to be a subgroup G of the general linear group ${\displaystyle \operatorname {GL} (n,\mathbb {C} )}$ such that

1. for some neighborhood V of the identity element e in G, the topology on V is the subspace topology of ${\displaystyle \operatorname {GL} (n,\mathbb {C} )}$ and V is closed in ⁠${\displaystyle \operatorname {GL} (n,\mathbb {C} )}$⁠.
2. G has at most countably many connected components.

(For example, a closed subgroup of ⁠${\displaystyle \operatorname {GL} (n,\mathbb {C} )}$⁠; that is, a matrix Lie group satisfies the above conditions.)

Then a Lie group is defined as a topological group that (1) is locally isomorphic near the identities to an immersely linear Lie group and (2) has at most countably many connected components. Showing the topological definition is equivalent to the usual one is technical (and the beginning readers should skip the following) but is done roughly as follows:

1. Given a Lie group G in the usual manifold sense, the Lie group–Lie algebra correspondence (or a version of Lie's third theorem) constructs an immersed Lie subgroup ${\displaystyle G'\subset \operatorname {GL} (n,\mathbb {C} )}$ such that ${\displaystyle G,G'}$ share the same Lie algebra; thus, they are locally isomorphic. Hence, ${\displaystyle G}$ satisfies the above topological definition.
2. Conversely, let ${\displaystyle G}$ be a topological group that is a Lie group in the above topological sense and choose an immersely linear Lie group ${\displaystyle G'}$ that is locally isomorphic to ⁠${\displaystyle G}$⁠. Then, by a version of the
   closed subgroup theorem
   , ${\displaystyle G'}$ is a
   real-analytic manifold and then, through the local isomorphism, G acquires a structure of a manifold near the identity element. One then shows that the group law on G can be given by formal power series;^[a]
   so the group operations are real-analytic and ${\displaystyle G}$ itself is a real-analytic manifold.

The topological definition implies the statement that if two Lie groups are isomorphic as topological groups, then they are isomorphic as Lie groups. In fact, it states the general principle that, to a large extent, the topology of a Lie group together with the group law determines the geometry of the group.

More examples of Lie groups

See also:

List of simple Lie groups

Lie groups occur in abundance throughout mathematics and physics.

), and these give most of the more common examples of Lie groups.

Dimensions one and two

The only connected Lie groups with dimension one are the real line ${\displaystyle \mathbb {R} }$ (with the group operation being addition) and the circle group ${\displaystyle S^{1}}$ of complex numbers with absolute value one (with the group operation being multiplication). The ${\displaystyle S^{1}}$ group is often denoted as ⁠${\displaystyle \operatorname {U} (1)}$⁠, the group of ${\displaystyle 1\times 1}$ unitary matrices.

In two dimensions, if we restrict attention to simply connected groups, then they are classified by their Lie algebras. There are (up to isomorphism) only two Lie algebras of dimension two. The associated simply connected Lie groups are ${\displaystyle \mathbb {R} ^{2}}$ (with the group operation being vector addition) and the affine group in dimension one, described in the previous subsection under "first examples".

• The group SU(2) is the group of ${\displaystyle 2\times 2}$ unitary matrices with determinant ⁠${\displaystyle 1}$⁠. Topologically, ${\displaystyle {\text{SU}}(2)}$ is the ⁠${\displaystyle 3}$⁠-sphere ⁠${\displaystyle S^{3}}$⁠; as a group, it may be identified with the group of
  unit quaternions
  .
• The Heisenberg group is a connected nilpotent Lie group of dimension ⁠${\displaystyle 3}$⁠, playing a key role in quantum mechanics.
• The Lorentz group is a 6-dimensional Lie group of linear isometries of the Minkowski space.
• The Poincaré group is a 10-dimensional Lie group of affine isometries of the Minkowski space.
• The
  exceptional Lie groups of types G₂, F₄, E₆, E₇, E₈ have dimensions 14, 52, 78, 133, and 248. Along with the A–B–C–D series of simple Lie groups
  , the exceptional groups complete the list of simple Lie groups.
• The symplectic group ${\displaystyle {\text{Sp}}(2n,\mathbb {R} )}$ consists of all ${\displaystyle 2n\times 2n}$ matrices preserving a
  symplectic form
  on ⁠${\displaystyle \mathbb {R} ^{2n}}$⁠. It is a connected Lie group of dimension ⁠${\displaystyle 2n^{2}+n}$⁠.

There are several standard ways to form new Lie groups from old ones:

• The product of two Lie groups is a Lie group.
• Any
  closed subgroup theorem
  or Cartan's theorem.
• The quotient of a Lie group by a closed normal subgroup is a Lie group.
• The
  universal cover
  of a connected Lie group is a Lie group. For example, the group ${\displaystyle \mathbb {R} }$ is the universal cover of the circle group ⁠${\displaystyle S^{1}}$⁠. In fact any covering of a differentiable manifold is also a differentiable manifold, but by specifying universal cover, one guarantees a group structure (compatible with its other structures).

Some examples of groups that are not Lie groups (except in the trivial sense that any group having at most countably many elements can be viewed as a 0-dimensional Lie group, with the

), are:

• Infinite-dimensional groups, such as the additive group of an infinite-dimensional real vector space, or the space of smooth functions from a manifold ${\displaystyle X}$ to a Lie group ⁠${\displaystyle G}$⁠, ⁠${\displaystyle C^{\infty }(X,G)}$⁠. These are not Lie groups as they are not finite-dimensional manifolds.
• Some totally disconnected groups, such as the Galois group of an infinite extension of fields, or the additive group of the p-adic numbers. These are not Lie groups because their underlying spaces are not real manifolds. (Some of these groups are "p-adic Lie groups".) In general, only topological groups having similar local properties to Rⁿ for some positive integer n can be Lie groups (of course they must also have a differentiable structure).

To every Lie group we can associate a Lie algebra whose underlying vector space is the tangent space of the Lie group at the identity element and which completely captures the local structure of the group. Informally we can think of elements of the Lie algebra as elements of the group that are "infinitesimally close" to the identity, and the Lie bracket of the Lie algebra is related to the commutator of two such infinitesimal elements. Before giving the abstract definition we give a few examples:

• The Lie algebra of the vector space Rⁿ is just Rⁿ with the Lie bracket given by
      [A, B] = 0.
  (In general the Lie bracket of a connected Lie group is always 0 if and only if the Lie group is abelian.)
• The Lie algebra of the general linear group GL(n, C) of invertible matrices is the vector space M(n, C) of square matrices with the Lie bracket given by
      [A, B] = AB − BA.
• If G is a closed subgroup of GL(n, C) then the Lie algebra of G can be thought of informally as the matrices m of M(n, C) such that 1 + εm is in G, where ε is an infinitesimal positive number with ε² = 0 (of course, no such real number ε exists). For example, the orthogonal group O(n, R) consists of matrices A with AA^T = 1, so the Lie algebra consists of the matrices m with (1 + εm)(1 + εm)^T = 1, which is equivalent to m + m^T = 0 because ε² = 0.
• The preceding description can be made more rigorous as follows. The Lie algebra of a closed subgroup G of GL(n, C), may be computed as

${\displaystyle \operatorname {Lie} (G)=\{X\in M(n;\mathbb {C} )|\operatorname {exp} (tX)\in G{\text{ for all }}t{\text{ in }}\mathbb {\mathbb {R} } \},}$^[16][11] where exp(tX) is defined using the matrix exponential. It can then be shown that the Lie algebra of G is a real vector space that is closed under the bracket operation, ⁠${\displaystyle [X,Y]=XY-YX}$⁠.^[17]

The concrete definition given above for matrix groups is easy to work with, but has some minor problems: to use it we first need to represent a Lie group as a group of matrices, but not all Lie groups can be represented in this way, and it is not even obvious that the Lie algebra is independent of the representation we use.^[18] To get around these problems we give the general definition of the Lie algebra of a Lie group (in 4 steps):

1. Vector fields on any smooth manifold M can be thought of as
   derivations X of the ring of smooth functions on the manifold, and therefore form a Lie algebra under the Lie bracket [X, Y] = XY − YX, because the Lie bracket
   of any two derivations is a derivation.
2. If G is any group acting smoothly on the manifold M, then it acts on the vector fields, and the vector space of vector fields fixed by the group is closed under the Lie bracket and therefore also forms a Lie algebra.
3. We apply this construction to the case when the manifold M is the underlying space of a Lie group G, with G acting on G = M by left translations L_g(h) = gh. This shows that the space of left invariant vector fields (vector fields satisfying L_g*X_h = X_gh for every h in G, where L_g* denotes the differential of L_g) on a Lie group is a Lie algebra under the Lie bracket of vector fields.
4. Any tangent vector at the identity of a Lie group can be extended to a left invariant vector field by left translating the tangent vector to other points of the manifold. Specifically, the left invariant extension of an element v of the tangent space at the identity is the vector field defined by v^_g = L_g*v. This identifies the
   Fraktur
   ${\displaystyle {\mathfrak {g}}.}$ Thus the Lie bracket on ${\displaystyle {\mathfrak {g}}}$ is given explicitly by [v, w] = [v^, w^]_e.

This Lie algebra ${\displaystyle {\mathfrak {g}}}$ is finite-dimensional and it has the same dimension as the manifold G. The Lie algebra of G determines G up to "local isomorphism", where two Lie groups are called locally isomorphic if they look the same near the identity element. Problems about Lie groups are often solved by first solving the corresponding problem for the Lie algebras, and the result for groups then usually follows easily. For example, simple Lie groups are usually classified by first classifying the corresponding Lie algebras.

We could also define a Lie algebra structure on T_e using right invariant vector fields instead of left invariant vector fields. This leads to the same Lie algebra, because the inverse map on G can be used to identify left invariant vector fields with right invariant vector fields, and acts as −1 on the tangent space T_e.

The Lie algebra structure on T_e can also be described as follows: the commutator operation

(x, y) → xyx⁻¹y⁻¹

on G × G sends (e, e) to e, so its derivative yields a

, and it is equal to twice the one defined through left-invariant vector fields.

Homomorphisms and isomorphisms

If G and H are Lie groups, then a Lie group homomorphism f : G → H is a smooth

The composition of two Lie homomorphisms is again a homomorphism, and the class of all Lie groups, together with these morphisms, forms a category. Moreover, every Lie group homomorphism induces a homomorphism between the corresponding Lie algebras. Let ${\displaystyle \phi :G\to H}$ be a Lie group homomorphism and let ${\displaystyle \phi _{*}}$ be its derivative at the identity. If we identify the Lie algebras of G and H with their tangent spaces at the identity elements, then ${\displaystyle \phi _{*}}$ is a map between the corresponding Lie algebras:

${\displaystyle \phi _{*}:{\mathfrak {g}}\to {\mathfrak {h}},}$

which turns out to be a

from the category of Lie groups to the category of Lie algebras which sends a Lie group to its Lie algebra and a Lie group homomorphism to its derivative at the identity.

Two Lie groups are called isomorphic if there exists a

which is also a group homomorphism. Observe that, by the above, a continuous homomorphism from a Lie group ${\displaystyle G}$ to a Lie group ${\displaystyle H}$ is an isomorphism of Lie groups if and only if it is bijective.

Lie group versus Lie algebra isomorphisms

Isomorphic Lie groups necessarily have isomorphic Lie algebras; it is then reasonable to ask how isomorphism classes of Lie groups relate to isomorphism classes of Lie algebras.

The first result in this direction is Lie's third theorem, which states that every finite-dimensional, real Lie algebra is the Lie algebra of some (linear) Lie group. One way to prove Lie's third theorem is to use Ado's theorem, which says every finite-dimensional real Lie algebra is isomorphic to a matrix Lie algebra. Meanwhile, for every finite-dimensional matrix Lie algebra, there is a linear group (matrix Lie group) with this algebra as its Lie algebra.^[20]

On the other hand, Lie groups with isomorphic Lie algebras need not be isomorphic. Furthermore, this result remains true even if we assume the groups are connected. To put it differently, the global structure of a Lie group is not determined by its Lie algebra; for example, if Z is any discrete subgroup of the center of G then G and G/Z have the same Lie algebra (see the

On the other hand, if we require that the Lie group be

(See the next subsection for more information about simply connected Lie groups.) In light of Lie's third theorem, we may therefore say that there is a one-to-one correspondence between isomorphism classes of finite-dimensional real Lie algebras and isomorphism classes of simply connected Lie groups.

Simply connected Lie groups

A Lie group ${\displaystyle G}$ is said to be simply connected if every loop in ${\displaystyle G}$ can be shrunk continuously to a point in ⁠${\displaystyle G}$⁠. This notion is important because of the following result that has simple connectedness as a hypothesis:

Theorem:^[24] Suppose ${\displaystyle G}$ and ${\displaystyle H}$ are Lie groups with Lie algebras ${\displaystyle {\mathfrak {g}}}$ and ${\displaystyle {\mathfrak {h}}}$ and that ${\displaystyle f:{\mathfrak {g}}\rightarrow {\mathfrak {h}}}$ is a Lie algebra homomorphism. If ${\displaystyle G}$ is simply connected, then there is a unique Lie group homomorphism ${\displaystyle \phi :G\rightarrow H}$ such that ⁠${\displaystyle \phi _{*}=f}$⁠, where ${\displaystyle \phi _{*}}$ is the differential of ${\displaystyle \phi }$ at the identity.

Lie's third theorem says that every finite-dimensional real Lie algebra is the Lie algebra of a Lie group. It follows from Lie's third theorem and the preceding result that every finite-dimensional real Lie algebra is the Lie algebra of a unique simply connected Lie group.

An example of a simply connected group is the special unitary group

for ⁠${\displaystyle n\geq 3}$⁠, and the compact symplectic group Sp(n).^[25]

Methods for determining whether a Lie group is simply connected or not are discussed in the article on fundamental groups of Lie groups.

The exponential map from the Lie algebra ${\displaystyle \mathrm {M} (n;\mathbb {C} )}$ of the general linear group ${\displaystyle \mathrm {GL} (n;\mathbb {C} )}$ to ${\displaystyle \mathrm {GL} (n;\mathbb {C} )}$ is defined by the matrix exponential, given by the usual power series:

${\displaystyle \exp(X)=1+X+{\frac {X^{2}}{2!}}+{\frac {X^{3}}{3!}}+\cdots }$

for matrices ⁠${\displaystyle X}$⁠. If ${\displaystyle G}$ is a closed subgroup of ⁠${\displaystyle \mathrm {GL} (n;\mathbb {C} )}$⁠, then the exponential map takes the Lie algebra of ${\displaystyle G}$ into ⁠${\displaystyle G}$⁠; thus, we have an exponential map for all matrix groups. Every element of ${\displaystyle G}$ that is sufficiently close to the identity is the exponential of a matrix in the Lie algebra.^[26]

The definition above is easy to use, but it is not defined for Lie groups that are not matrix groups, and it is not clear that the exponential map of a Lie group does not depend on its representation as a matrix group. We can solve both problems using a more abstract definition of the exponential map that works for all Lie groups, as follows.

For each vector ${\displaystyle X}$ in the Lie algebra ${\displaystyle {\mathfrak {g}}}$ of ${\displaystyle G}$ (i.e., the tangent space to ${\displaystyle G}$ at the identity), one proves that there is a unique one-parameter subgroup ${\displaystyle c:\mathbb {R} \rightarrow G}$ such that ⁠${\displaystyle c'(0)=X}$⁠. Saying that ${\displaystyle c}$ is a one-parameter subgroup means simply that ${\displaystyle c}$ is a smooth map into ${\displaystyle G}$ and that

${\displaystyle c(s+t)=c(s)c(t)\ }$

for all ${\displaystyle s}$ and ⁠${\displaystyle t}$⁠. The operation on the right hand side is the group multiplication in ⁠${\displaystyle G}$⁠. The formal similarity of this formula with the one valid for the exponential function justifies the definition

${\displaystyle \exp(X)=c(1).}$

This is called the exponential map, and it maps the Lie algebra ${\displaystyle {\mathfrak {g}}}$ into the Lie group ⁠${\displaystyle G}$⁠. It provides a

of 0 in ${\displaystyle {\mathfrak {g}}}$ and a neighborhood of ${\displaystyle e}$ in ⁠${\displaystyle G}$⁠. This exponential map is a generalization of the exponential function for real numbers (because ${\displaystyle \mathbb {R} }$ is the Lie algebra of the Lie group of positive real numbers with multiplication), for complex numbers (because ${\displaystyle \mathbb {C} }$ is the Lie algebra of the Lie group of non-zero complex numbers with multiplication) and for (because ${\displaystyle M(n,\mathbb {R} )}$ with the regular commutator is the Lie algebra of the Lie group ${\displaystyle \mathrm {GL} (n,\mathbb {R} )}$ of all invertible matrices).

Because the exponential map is surjective on some neighbourhood ${\displaystyle N}$ of ⁠${\displaystyle e}$⁠, it is common to call elements of the Lie algebra infinitesimal generators of the group ⁠${\displaystyle G}$⁠. The subgroup of ${\displaystyle G}$ generated by ${\displaystyle N}$ is the identity component of ⁠${\displaystyle G}$⁠.

The exponential map and the Lie algebra determine the local group structure of every connected Lie group, because of the Baker–Campbell–Hausdorff formula: there exists a neighborhood ${\displaystyle U}$ of the zero element of ⁠${\displaystyle {\mathfrak {g}}}$⁠, such that for ${\displaystyle X,Y\in U}$ we have

${\displaystyle \exp(X)\,\exp(Y)=\exp \left(X+Y+{\tfrac {1}{2}}[X,Y]+{\tfrac {1}{12}}[\,[X,Y],Y]-{\tfrac {1}{12}}[\,[X,Y],X]-\cdots \right),}$

where the omitted terms are known and involve Lie brackets of four or more elements. In case ${\displaystyle X}$ and ${\displaystyle Y}$ commute, this formula reduces to the familiar exponential law ⁠${\displaystyle \exp(X)\exp(Y)=\exp(X+Y)}$⁠.

The exponential map relates Lie group homomorphisms. That is, if ${\displaystyle \phi :G\to H}$ is a Lie group homomorphism and ${\displaystyle \phi _{*}:{\mathfrak {g}}\to {\mathfrak {h}}}$ the induced map on the corresponding Lie algebras, then for all ${\displaystyle x\in {\mathfrak {g}}}$ we have

${\displaystyle \phi (\exp(x))=\exp(\phi _{*}(x)).}$

In other words, the following diagram commutes,^[27]

(In short, exp is a natural transformation from the functor Lie to the identity functor on the category of Lie groups.)

The exponential map from the Lie algebra to the Lie group is not always

, even from arbitrary small neighborhood of 0 to corresponding neighborhood of 1.

Lie subgroup

A Lie subgroup ${\displaystyle H}$ of a Lie group ${\displaystyle G}$ is a Lie group that is a subset of ${\displaystyle G}$ and such that the inclusion map from ${\displaystyle H}$ to ${\displaystyle G}$ is an

of ${\displaystyle G}$ admits a unique smooth structure which makes it an embedded Lie subgroup of ${\displaystyle G}$—i.e. a Lie subgroup such that the inclusion map is a smooth embedding.

Examples of non-closed subgroups are plentiful; for example take ${\displaystyle G}$ to be a torus of dimension 2 or greater, and let ${\displaystyle H}$ be a

${\displaystyle \varphi :\mathbb {R} \to G}$ with ⁠${\displaystyle \mathrm {im} (\varphi )=H}$⁠. The closure of ${\displaystyle H}$ will be a sub-torus in ⁠${\displaystyle G}$⁠.

The exponential map gives a one-to-one correspondence between the connected Lie subgroups of a connected Lie group ${\displaystyle G}$ and the subalgebras of the Lie algebra of ⁠${\displaystyle G}$⁠.^[28] Typically, the subgroup corresponding to a subalgebra is not a closed subgroup. There is no criterion solely based on the structure of ${\displaystyle G}$ which determines which subalgebras correspond to closed subgroups.

One important aspect of the study of Lie groups is their representations, that is, the way they can act (linearly) on vector spaces. In physics, Lie groups often encode the symmetries of a physical system. The way one makes use of this symmetry to help analyze the system is often through representation theory. Consider, for example, the time-independent Schrödinger equation in quantum mechanics, ⁠${\displaystyle {\hat {H}}\psi =E\psi }$⁠. Assume the system in question has the

as a symmetry, meaning that the Hamiltonian operator ${\displaystyle {\hat {H}}}$ commutes with the action of SO(3) on the wave function ⁠${\displaystyle \psi }$⁠. (One important example of such a system is the hydrogen atom, which has a spherically symmetric potential.) This assumption does not necessarily mean that the solutions ${\displaystyle \psi }$ are rotationally invariant functions. Rather, it means that the space of solutions to ${\displaystyle {\hat {H}}\psi =E\psi }$ is invariant under rotations (for each fixed value of ${\displaystyle E}$). This space, therefore, constitutes a representation of SO(3). These representations have been classified and the classification leads to a substantial simplification of the problem, essentially converting a three-dimensional partial differential equation to a one-dimensional ordinary differential equation.

The case of a connected compact Lie group K (including the just-mentioned case of SO(3)) is particularly tractable.^[29] In that case, every finite-dimensional representation of K decomposes as a direct sum of irreducible representations. The irreducible representations, in turn, were classified by Hermann Weyl. The classification is in terms of the "highest weight" of the representation. The classification is closely related to the classification of representations of a semisimple Lie algebra.

One can also study (in general infinite-dimensional) unitary representations of an arbitrary Lie group (not necessarily compact). For example, it is possible to give a relatively simple explicit description of the representations of the group SL(2, R) and the representations of the Poincaré group.

Lie groups may be thought of as smoothly varying families of symmetries. Examples of symmetries include rotation about an axis. What must be understood is the nature of 'small' transformations, for example, rotations through tiny angles, that link nearby transformations. The mathematical object capturing this structure is called a Lie algebra (Lie himself called them "infinitesimal groups"). It can be defined because Lie groups are smooth manifolds, so have tangent spaces at each point.

The Lie algebra of any compact Lie group (very roughly: one for which the symmetries form a bounded set) can be decomposed as a

of compact groups? It turns out that they mostly fall into four infinite families, the "classical Lie algebras" A_n, B_n, C_n and D_n, which have simple descriptions in terms of symmetries of Euclidean space. But there are also just five "exceptional Lie algebras" that do not fall into any of these families. E₈ is the largest of these.

Lie groups are classified according to their algebraic properties (

.

A first key result is the Levi decomposition, which says that every simply connected Lie group is the semidirect product of a solvable normal subgroup and a semisimple subgroup.

• Connected
  compact Lie groups are all known: they are finite central quotients of a product of copies of the circle group S¹ and simple compact Lie groups (which correspond to connected Dynkin diagrams
  ).
• Any simply connected solvable Lie group is isomorphic to a closed subgroup of the group of invertible upper triangular matrices of some rank, and any finite-dimensional irreducible representation of such a group is 1-dimensional. Solvable groups are too messy to classify except in a few small dimensions.
• Any simply connected nilpotent Lie group is isomorphic to a closed subgroup of the group of invertible upper triangular matrices with 1s on the diagonal of some rank, and any finite-dimensional irreducible representation of such a group is 1-dimensional. Like solvable groups, nilpotent groups are too messy to classify except in a few small dimensions.
• classified
  (for either definition).
• Semisimple Lie groups are Lie groups whose Lie algebra is a product of simple Lie algebras.^[30]
  They are central extensions of products of simple Lie groups.

The identity component of any Lie group is an open normal subgroup, and the quotient group is a discrete group. The universal cover of any connected Lie group is a simply connected Lie group, and conversely any connected Lie group is a quotient of a simply connected Lie group by a discrete normal subgroup of the center. Any Lie group G can be decomposed into discrete, simple, and abelian groups in a canonical way as follows. Write

G_con for the connected component of the identity

G_sol for the largest connected normal solvable subgroup

G_nil for the largest connected normal nilpotent subgroup

so that we have a sequence of normal subgroups

1 ⊆ G_nil ⊆ G_sol ⊆ G_con ⊆ G.

Then

G/G_con is discrete

G_con/G_sol is a

simple connected Lie groups

.

G_sol/G_nil is abelian. A connected abelian Lie group is isomorphic to a product of copies of R and the circle group S¹.

G_nil/1 is nilpotent, and therefore its ascending central series has all quotients abelian.

This can be used to reduce some problems about Lie groups (such as finding their unitary representations) to the same problems for connected simple groups and nilpotent and solvable subgroups of smaller dimension.

• The diffeomorphism group of a Lie group acts transitively on the Lie group
• Every Lie group is
  bundle isomorphism between its tangent bundle and the product of itself with the tangent space
  at the identity)

Infinite-dimensional Lie groups

Lie groups are often defined to be finite-dimensional, but there are many groups that resemble Lie groups, except for being infinite-dimensional. The simplest way to define infinite-dimensional Lie groups is to model them locally on

locally convex

topological vector spaces. In this case the relation between the Lie algebra and the Lie group becomes rather subtle, and several results about finite-dimensional Lie groups no longer hold.

The literature is not entirely uniform in its terminology as to exactly which properties of infinite-dimensional groups qualify the group for the prefix Lie in Lie group. On the Lie algebra side of affairs, things are simpler since the qualifying criteria for the prefix Lie in Lie algebra are purely algebraic. For example, an infinite-dimensional Lie algebra may or may not have a corresponding Lie group. That is, there may be a group corresponding to the Lie algebra, but it might not be nice enough to be called a Lie group, or the connection between the group and the Lie algebra might not be nice enough (for example, failure of the exponential map to be onto a neighborhood of the identity). It is the "nice enough" that is not universally defined.

Some of the examples that have been studied include:

• The group of diffeomorphisms of a manifold. Quite a lot is known about the group of diffeomorphisms of the circle. Its Lie algebra is (more or less) the Witt algebra, whose central extension the Virasoro algebra (see Virasoro algebra from Witt algebra for a derivation of this fact) is the symmetry algebra of two-dimensional conformal field theory. Diffeomorphism groups of compact manifolds of larger dimension are regular Fréchet Lie groups; very little about their structure is known.
• The diffeomorphism group of spacetime sometimes appears in attempts to quantize gravity.
• The group of smooth maps from a manifold to a finite-dimensional Lie group is an example of a
  pointwise multiplication), and is used in quantum field theory and Donaldson theory. If the manifold is a circle these are called loop groups, and have central extensions whose Lie algebras are (more or less) Kac–Moody algebras
  .
• There are infinite-dimensional analogues of general linear groups, orthogonal groups, and so on.[31] One important aspect is that these may have simpler topological properties: see for example Kuiper's theorem. In M-theory, for example, a 10-dimensional SU(N) gauge theory becomes an 11-dimensional theory when N becomes infinite.

Citations

1. ^ "What is a Lie group?". aimath.org. Retrieved 1 March 2024.
2. ^ ^{a b} Hawkins 2000, p. 1
3. ^ Hawkins 2000, p. 2
4. ^ Hawkins 2000, p. 76
5. doi:10.1007/bf02418270
   .
6. ^ Hawkins 2000, p. 43
7. ^ Hawkins 2000, p. 100
8. ^ Borel 2001
9. ^ Rossmann 2001, Chapter 2
10. ^ Hall 2015 Corollary 3.45
11. ^ ^{a b} Hall 2015
12. ^ Rossmann 2001
13. ^ Stillwell 2008
14. ^ Kobayashi & Oshima 2005, Definition 5.3
15. ^ Bruhat, F. (1958). "Lectures on Lie Groups and Representations of Locally Compact Groups" (PDF). Tata Institute of Fundamental Research, Bombay.
16. ^ Helgason 1978, Ch. II, § 2, Proposition 2.7
17. ^ Hall 2015 Theorem 3.20
18. ^ But see Hall 2015, Proposition 3.30 and Exercise 8 in Chapter 3
19. ^ Hall 2015 Corollary 3.50
20. ^ Hall 2015 Theorem 5.20
21. ^ Hall 2015 Example 3.27
22. ^ Hall 2015 Section 1.3.4
23. ^ Hall 2015 Corollary 5.7
24. ^ Hall 2015 Theorem 5.6
25. ^ Hall 2015 Section 13.2
26. ^ Hall 2015 Theorem 3.42
27. ^ "Introduction to Lie groups and algebras : Definitions, examples and problems" (PDF). State University of New York at Stony Brook. 2006. Archived from the original (PDF) on 28 September 2011. Retrieved 11 October 2014.
28. ^ Hall 2015 Theorem 5.20
29. ^ Hall 2015 Part III
30. ^ Helgason 1978, p. 131
31. ISBN 978-0-444-82836-1
    .

References

• MR 0252560
  .
• MR 1847105
• ISBN 3-540-43405-4
• Chevalley, Claude (1946), Theory of Lie groups, Princeton: Princeton University Press,
  ISBN 978-0-691-04990-8 {{citation}}: ISBN / Date incompatibility (help
  ).
• OCLC 529830
  .
• ISBN 978-0-486-49524-8
  .
• OCLC 246650103
  .
• Gilmore, Robert (2008). Lie groups, physics, and geometry: an introduction for physicists, engineers and chemists.
  ISBN 978-0-521-88400-6
  .
• Hall, Brian C. (2015), Lie Groups, Lie Algebras, and Representations: An Elementary Introduction, Graduate Texts in Mathematics, vol. 222 (2nd ed.), Springer,
  ISBN 978-3319134666
  .
• Harvey, F. Reese (1990). Spinors and calibrations.
  ISBN 0-12-329650-1
  .
• Hawkins, Thomas (2000), Emergence of the theory of Lie groups, Sources and Studies in the History of Mathematics and Physical Sciences, Berlin, New York:
  MR 1771134 Borel's review
• Helgason, Sigurdur (1978). Differential Geometry, Lie Groups, and Symmetric Spaces. New York: Academic Press. p. 131.
  ISBN 978-0-12-338460-7
  .
• ISBN 978-0-8176-4259-4
  .
• ISBN 4-00-006142-9
  .
• Lie, Sophus (1876), "Theorie der Transformations-Gruppen (I, II)", Archiv for Mathematik og Naturvidenskab, 1: 19–57, 152–193
• doi:10.1090/s0002-9904-1959-10358-x
  .
• Rossmann, Wulf (2001), Lie Groups: An Introduction Through Linear Groups, Oxford Graduate Texts in Mathematics, Oxford University Press,
  ISBN 978-0-19-859683-7
  . The 2003 reprint corrects several typographical mistakes.
• Sattinger, David H.; Weaver, O. L. (1986). Lie groups and algebras with applications to physics, geometry, and mechanics. Springer-Verlag.
  MR 0835009
  .
• ISBN 978-3-540-55008-2
  .
• Steeb, Willi-Hans (2007), Continuous Symmetries, Lie algebras, Differential Equations and Computer Algebra: second edition, World Scientific Publishing,
  MR 2382250
  .
• ISBN 978-0387782140
  .
• Warner, Frank W. (1983), Foundations of differentiable manifolds and Lie groups, Graduate Texts in Mathematics, vol. 94, New York Berlin Heidelberg:
  MR 0722297
• Ziller, Wolfgang (2010). "Lie Groups. Representation Theory and Symmetric Spaces" (PDF). University of Pennsylvania.

External links

• Media related to Lie groups at Wikimedia Commons
• Journal of Lie Theory