03.03.06 · differential-geometry / lie-groups

Lie's third theorem (statement, simply-connected case)

shipped3 tiersLean: nonepending prereqs

Anchor (Master): Lie 1880; Cartan 1904; Pontryagin 1939; Hall 2015; Lee 2013

Intuition [Beginner]

Lie's third theorem answers a fundamental question: given a Lie algebra (a vector space with a bracket operation), does there exist a Lie group whose tangent space at the identity is exactly this Lie algebra?

The answer is yes: every finite-dimensional Lie algebra arises as the tangent space of a Lie group. Moreover, if we require the group to be simply-connected (no holes that loops can wrap around), then this group is unique.

Think of it this way. A Lie algebra describes the "infinitesimal" structure near the identity of a group. It tells you how to multiply two small elements near the identity, keeping only the first-order information. Lie's third theorem says this infinitesimal information is enough to recover the entire group, provided the group has no topological complications.

The construction works by using the Baker-Campbell-Hausdorff (BCH) formula. This formula tells you how to multiply two elements near the identity in terms of their Lie bracket. The group law defined by BCH near zero is then extended to the whole simply-connected space by analytic continuation.

Visual [Beginner]

A diagram showing a Lie algebra $g$ (a vector space with a bracket) at the left, connected by a thick upward arrow labelled "Lie's third theorem" to a simply-connected Lie group $G$ at the right. The group $G$ is drawn as a curved surface with no holes. Below, the BCH formula $x * y = x + y + \frac{1}{2} [x, y] + \dots$ is shown as the "local group law" that builds $G$ from $g$ .

The BCH formula converts Lie algebra data into a local group law, which integrates to a global simply-connected group.

Worked example [Beginner]

The Lie algebra $so (3)$ . Consider the Lie algebra of $3 \times 3$ skew-symmetric matrices with the commutator bracket.

Step 1. The Lie algebra $so (3)$ has dimension 3. A basis consists of three generators corresponding to infinitesimal rotations about the $x$ , $y$ , and $z$ axes.

Step 2. The bracket relations are $[e_{1}, e_{2}] = e_{3}$ , $[e_{2}, e_{3}] = e_{1}$ , $[e_{3}, e_{1}] = e_{2}$ . These are the cross-product relations.

Step 3. By Lie's third theorem, this Lie algebra integrates to a simply-connected Lie group. The group is the universal cover of $S O (3)$ , which is $S U (2) ≅ S^{3}$ . The group $S O (3)$ itself has Lie algebra $so (3)$ but is not simply-connected ( $π_{1} (S O (3)) = Z /2$ ).

What this tells us: the Lie algebra does not determine the group uniquely, but it does determine the simply-connected group uniquely. The groups $S U (2)$ and $S O (3)$ share the same Lie algebra, and $S U (2)$ is the simply-connected one.

Check your understanding [Beginner]

Formal definition [Intermediate+]

Let $g$ be a finite-dimensional real Lie algebra. A Lie group integrating $g$ is a Lie group $G$ whose Lie algebra $Lie (G)$ (the tangent space at the identity with the bracket induced by left-invariant vector fields) is isomorphic to $g$ .

Definition (Simply-connected). A topological space $X$ is simply-connected if $π_{1} (X, x_{0}) = 0$ for some (hence any) basepoint $x_{0}$ : every loop in $X$ can be continuously contracted to a point.

Definition (Universal cover). A universal covering map $π : \tilde{G} \to G$ is a covering map where $\tilde{G}$ is simply-connected. Every connected Lie group $G$ has a universal cover $\tilde{G}$ , and $\tilde{G}$ inherits a Lie group structure from $G$ such that $π$ is a Lie group homomorphism with discrete kernel $ker π ≅ π_{1} (G)$ .

Counterexamples to common slips

The Lie algebra determines the group uniquely. False in general. The groups $S U (2)$ and $S O (3)$ have isomorphic Lie algebras but are not isomorphic. The correct statement requires simply-connected groups.
Lie's third theorem only works for matrix Lie algebras. False. The theorem applies to any finite-dimensional real Lie algebra. The proof proceeds by first embedding the Lie algebra into a matrix algebra (Ado's theorem) and then integrating, but the resulting group may not itself be a matrix group.
The integrating group is always compact. False. The simply-connected group integrating $sl (2, R)$ is non-compact (it is the universal cover of the non-compact group $S L (2, R)$ ).

Key theorem with proof [Intermediate+]

Theorem (Lie's third theorem). For every finite-dimensional real Lie algebra $g$ , there exists a simply-connected Lie group $G$ with $Lie (G) ≅ g$ . This group is unique up to Lie group isomorphism. Moreover, for any Lie algebra homomorphism $ϕ : g \to Lie (H)$ where $H$ is a Lie group, there exists a unique Lie group homomorphism $Φ : G \to H$ with $d Φ_{e} = ϕ$ .

Proof sketch. The proof proceeds in three steps.

Step 1: Embed $g$ into a matrix algebra. By Ado's theorem, $g$ admits a faithful finite-dimensional representation $g ↪ gl (n, R)$ .

Step 2: Integrate to a local group via BCH. The BCH series $BCH (X, Y) = X + Y + \frac{1}{2} [X, Y] + \frac{1}{12} ([X, [X, Y]] + [Y, [Y, X]]) + \dots$ defines a local group law on a neighbourhood $U$ of $0$ in $g$ . This local group is associative because the BCH series satisfies the formal associativity identity (it encodes the group law of $G L_{n} (R)$ in exponential coordinates).

Step 3: Extend to a global simply-connected group. The local group on $U$ extends to a global group by a covering space argument: take the universal cover of the connected subgroup of $G L_{n} (R)$ generated by $exp (g)$ . Alternatively, use the global BCH construction of Palais (1957) which patches together local BCH patches using the simply-connected hypothesis.

The homomorphism lifting statement follows from the uniqueness of solutions to the differential equation $d Φ_{e} = ϕ$ : the homomorphism condition $d Φ_{e} = ϕ$ determines $Φ$ uniquely on a neighbourhood of $e$ , and analytic continuation extends it to all of $G$ (using simple-connectedness to avoid monodromy obstructions). $□$

Bridge. This theorem builds toward the full Lie group-Lie algebra correspondence in 03.03.01, and the foundational reason it works is that the BCH formula provides a local group law on $g$ that agrees with the matrix exponential in any faithful representation. This is exactly the mechanism by which the infinitesimal Lie bracket data integrates to a global group structure, and the bridge is that simply-connectedness eliminates the monodromy obstruction that would otherwise prevent the local homomorphism from extending globally. The result pairs with the homomorphism lifting property, which is the Lie algebra analogue of the topological fact that maps from simply-connected spaces lift uniquely through covering maps, and this is precisely the content of the correspondence between $Hom_{LieAlg} (g, Lie (H))$ and $Hom_{LieGrp} (G, H)$ when $G$ is simply-connected.

Exercises [Intermediate+]

Exercise 7 (hard, symbolic).

Prove that if $G$ is simply-connected and $H$ is connected, then every Lie algebra homomorphism $ϕ : Lie (G) \to Lie (H)$ lifts to a unique Lie group homomorphism $Φ : G \to H$ .

Hint

Construct the graph of $ϕ$ inside $g \times h$ and integrate it to a subgroup of $G \times H$ .

Answer

Consider the Lie algebra $k = {(X, ϕ (X)) : X \in g} \subset g \oplus h$ . This is a Lie subalgebra because $ϕ$ is a homomorphism. By Lie's second theorem (subalgebras correspond to connected subgroups), $k$ integrates to a connected Lie subgroup $K \subset G \times H$ . The projection $π_{1} : K \to G$ is a Lie group homomorphism with derivative the isomorphism $k \to g$ , so it is a local diffeomorphism. Since $G$ is simply-connected and $K$ is connected, $π_{1}$ is a covering map. Covering maps onto simply-connected spaces are diffeomorphisms, so $π_{1}$ is an isomorphism. The composition $Φ = π_{2} \circ π_{1}^{- 1} : G \to H$ is the desired homomorphism with $d Φ = ϕ$ . Uniqueness follows because $d Φ_{e} = ϕ$ determines $Φ$ near $e$ and hence everywhere by the connectedness of $G$ .

Exercise 8 (hard, symbolic).

Let $g$ be the 2-dimensional non-abelian Lie algebra with basis ${e_{1}, e_{2}}$ and $[e_{1}, e_{2}] = e_{1}$ . Construct the simply-connected Lie group $G$ integrating $g$ and show it is diffeomorphic to $R^{2}$ .

Hint

Realise $g$ as a matrix algebra: $e_{1} = (0010)$ , $e_{2} = (- 1/2 0 0 1/2)$ . Exponentiate to get the group.

Answer

Using the matrix representation: $exp (t e_{2}) = diag (e^{- t /2}, e^{t /2})$ and $exp (s e_{1}) = (10 s 1)$ . The group generated by these matrices inside $G L_{2} (R)$ consists of matrices $(a 0 b a^{- 1})$ with $a > 0, b \in R$ . This group is the affine group of the line, $Aff^{+} (R)$ . Its universal cover is diffeomorphic to $R^{2}$ (parametrised by $(t, s)$ with the exponential coordinates). The group law in BCH coordinates is $(t_{1}, s_{1}) * (t_{2}, s_{2}) = (t_{1} + t_{2}, s_{1} e^{t_{2} /2} + s_{2} e^{- t_{1} /2})$ (simplified from the BCH expansion). The resulting simply-connected group is $R^{2}$ with this group law.

Advanced results [Master]

Theorem 1 (Lie's three theorems, unified statement). Let $LGA$ be the category of finite-dimensional real Lie algebras and $SLG$ the category of simply-connected Lie groups. The functor $Lie : SLG \to LGA$ sending $G$ to its Lie algebra is an equivalence of categories.

Theorem 2 (Levi decomposition). Every finite-dimensional real Lie algebra $g$ decomposes as a semidirect sum $g = r ⋊ s$ where $r$ is the radical (maximal solvable ideal) and $s$ is a semisimple subalgebra (Levi subalgebra). This lifts to a decomposition of the simply-connected group $G = R ⋊ S$ .

Theorem 3 (Cartan's criterion for closed subgroups). A subgroup $H$ of a Lie group $G$ is a closed Lie subgroup if and only if it is topologically closed. In particular, the image of a Lie group homomorphism $Φ : G \to H$ is a Lie subgroup when $Φ$ has closed image.

Theorem 4 (Weyl's unitary trick). A semisimple real Lie algebra $g$ integrates to a compact Lie group if and only if its Killing form is negative-definite. The compact form is obtained by multiplying the non-compact generators by $i$ .

Theorem 5 (Malcev closure). For a simply-connected solvable Lie group $G$ with Lie algebra $g$ , the group $G$ is diffeomorphic to $R^{n}$ (where $n = dim g$ ). This is the global version of the local BCH construction for solvable algebras.

Synthesis. Lie's third theorem is the foundational reason that Lie algebras and simply-connected Lie groups are equivalent mathematical objects; the central insight is that the BCH formula provides the local group law that bridges the algebraic bracket to the group multiplication. Putting these together with the covering space theory, the functor from simply-connected Lie groups to Lie algebras is an equivalence of categories, which is exactly the bridge between the algebraic and geometric viewpoints on continuous symmetry. This pattern recurs throughout the subject, appearing in the Levi decomposition where solvable and semisimple parts integrate independently, the Weyl unitary trick where complexification connects compact and non-compact real forms, and the generalisation to $p$ -adic Lie groups 03.03.05 where the same BCH mechanism works but the convergence domain changes. The result also connects to Lie's second theorem (subgroups correspond to subalgebras) and the complete Lie functor package, where the three theorems together establish the equivalence of categories $SLG ≃ LGA$ .

Full proof set [Master]

Proposition (BCH defines a local group). Let $g$ be a finite-dimensional Lie algebra. The BCH series $BCH (X, Y) = X + Y + \frac{1}{2} [X, Y] + \frac{1}{12} ([X, [X, Y]] - [Y, [X, Y]]) + \dots$ defines an analytic local group law on a neighbourhood $U$ of $0$ in $g$ .

Proof. The BCH series is defined as the formal series satisfying $exp (X) exp (Y) = exp (BCH (X, Y))$ in any associative algebra. By construction, it satisfies the formal identity $BCH (BCH (X, Y), Z) = BCH (X, BCH (Y, Z))$ (associativity of multiplication in the ambient algebra). The series converges on a neighbourhood of zero (by comparison with an exponential growth estimate on the coefficients), so the identity holds analytically on $U$ . The identity element is $0$ and the inverse is $i (X) = - X$ . $□$

Proposition (Uniqueness of simply-connected integration). If $G_{1}$ and $G_{2}$ are simply-connected Lie groups with isomorphic Lie algebras $Lie (G_{1}) ≅ Lie (G_{2})$ , then $G_{1} ≅ G_{2}$ as Lie groups.

Proof. Let $ϕ : Lie (G_{1}) \to Lie (G_{2})$ be a Lie algebra isomorphism. By the homomorphism lifting property, there exists a unique $Φ : G_{1} \to G_{2}$ with $d Φ_{e} = ϕ$ . Similarly, $ϕ^{- 1}$ lifts to $Ψ : G_{2} \to G_{1}$ . The composition $Ψ \circ Φ : G_{1} \to G_{1}$ satisfies $d (Ψ \circ Φ)_{e} = ϕ^{- 1} \circ ϕ = Id$ . By uniqueness, $Ψ \circ Φ = Id_{G_{1}}$ . Similarly $Φ \circ Ψ = Id_{G_{2}}$ . $□$

Connections [Master]

Lie groups and Lie algebras 03.03.01. Lie's third theorem is the deepest of the three Lie theorems introduced in 03.03.01. The first theorem (Lie algebra from Lie group) is the easy direction, the second (subgroups from subalgebras) is intermediate, and the third (Lie group from Lie algebra) requires the BCH formula and covering space arguments.
Formal group law 03.03.04. The BCH formula that constructs the local group law in the proof of Lie's third theorem is the formal group law of the Lie group in exponential coordinates. The formal group law 03.03.04 records this local group structure without convergence considerations.
p-adic Lie groups and the p-adic exponential 03.03.05. The $p$ -adic version of Lie's third theorem uses the same BCH mechanism but with $p$ -adic convergence. The simply-connected condition is replaced by uniform pro- $p$ structure, and the $p$ -adic exponential 03.03.05 provides the coordinates in which the group law is defined.

Historical & philosophical context [Master]

Sophus Lie stated his three theorems in the 1880s and 1890s ^{[Lie 1880]} as part of his programme to classify continuous transformation groups. Lie's original formulation used the language of infinitesimal transformations rather than modern Lie algebras. The third theorem was the most difficult: Lie himself could only prove it in special cases.

Elie Cartan gave the first complete proof in his 1904 thesis ^{[Cartan 1904]}, using the theory of Pfaffian systems and the Frobenius theorem. Cartan's approach was analytic and avoided the BCH formula. The modern proof via BCH and covering spaces is due to several contributors, with the cleanest formulation appearing in Palais (1957) and the textbook treatments of Helgason and Varadarajan.

The equivalence of categories $SLG ≃ LGA$ is a 20th-century reformulation that packages all three Lie theorems into a single categorical statement. This viewpoint emphasises that Lie theory is a dictionary between algebraic objects (Lie algebras) and geometric objects (Lie groups), with simple-connectedness as the condition that makes the dictionary bijective.

Bibliography [Master]

@book{lie1880,
  author = {Lie, Sophus},
  title = {Theorie der Transformationsgruppen},
  volume = {1--3},
  publisher = {Teubner},
  address = {Leipzig},
  year = {1888--1893}
}

@thesis{cartan1904,
  author = {Cartan, {\'E}lie},
  title = {Sur la structure des groupes de transformations finis et continus},
  type = {Thesis},
  institution = {Universit\'e de Paris},
  year = {1904}
}

@book{hall2015,
  author = {Hall, Brian C.},
  title = {Lie Groups, Lie Algebras, and Representations},
  edition = {2},
  publisher = {Springer},
  year = {2015}
}

@book{lee2013,
  author = {Lee, John M.},
  title = {Introduction to Smooth Manifolds},
  edition = {2},
  publisher = {Springer},
  year = {2013}
}

Prerequisites

03.03.01 pending

Tier anchors

beginner: Stillwell Naive Lie Theory Ch. 7 informal; integrating a Lie bracket to a group
intermediate: Hall Lie Groups, Lie Algebras, and Representations Ch. 5; Lee Introduction to Smooth Manifolds Ch. 20
master: Lie 1880; Cartan 1904; Pontryagin 1939; Hall 2015; Lee 2013

References

TODO_REF
Lie — Theorie der Transformationsgruppen (1880--1893) · Vol. 1--3; the original three theorems stated in terms of infinitesimal transformations
TODO_REF
Cartan — Sur la structure des groupes de transformations finis et continus (1904) · Thesis; the proof of the third theorem for simply-connected groups
TODO_REF
Hall — Lie Groups, Lie Algebras, and Representations (2015) · Ch. 5 (the Baker-Campbell-Hausdorff formula and Lie's third theorem)
TODO_REF
Lee — Introduction to Smooth Manifolds (2013) · Ch. 20 (Lie groups and Lie algebras)

Reviewer

TBD

Estimated time

beginner: 14m
intermediate: 40m
master: 75m