Exponential Map — Mathematics Knowledge System

Overview

The exponential map is the canonical bridge between a Lie algebra and its Lie group. It takes a tangent vector at the identity — an element of the Lie algebra — and flows along the corresponding one-parameter subgroup to produce a group element. For matrix groups this coincides with the classical matrix exponential. The exponential map is a local diffeomorphism near the identity and is central to the structure theory of Lie groups, representation theory, and differential geometry on homogeneous spaces.

Intuition

Think of the Lie algebra as the 'velocity space' at the identity of a Lie group. The exponential map takes a velocity v and asks: if you start at the identity and move with constant velocity v, where are you after time 1? The answer is exp(v) ∈ G. For rotation groups, this is literally the rotation by angle ‖v‖ around axis v/‖v‖.

Formal Definition

Definition

Let G be a Lie group with Lie algebra g = T_e G. For X ∈ g, there is a unique one-parameter subgroup γ_X : ℝ → G with γ_X'(0) = X. The exponential map is defined by evaluation at time 1.

\exp : \mathfrak{g} \to G, \quad \exp(X) = \gamma_X(1)

Exponential map definition

\gamma_X(t) = \exp(tX), \quad \gamma_X'(0) = X, \quad \gamma_X(s+t) = \gamma_X(s)\gamma_X(t)

One-parameter subgroup property

\exp(X) = \sum_{n=0}^{\infty} \frac{X^n}{n!} \quad (\text{matrix case})

Matrix exponential series

\exp((s+t)X) = \exp(sX)\exp(tX)

Homomorphism property of one-parameter subgroup

Notation

Notation	Meaning
$\exp(X)$	Exponential map applied to X ∈ g
$\mathfrak{g}$	Lie algebra of G
$\gamma_X$	One-parameter subgroup generated by X
$\mathrm{Ad},\; \mathrm{ad}$	Adjoint representations of G and g

Properties

Naturality

If \phi : G \to H is a Lie group homomorphism with differential d\phi : \mathfrak{g} \to \mathfrak{h}, then \phi(\exp_G(X)) = \exp_H(d\phi(X))

Identity at zero

\exp(0) = e \quad \text{and} \quad d(\exp)_0 = \mathrm{id}_{\mathfrak{g}}

Surjectivity for compact groups

If G is compact and connected, then \exp : \mathfrak{g} \to G is surjective.

Theorems

Theorem 1: Exponential map is a local diffeomorphism

The exponential map \exp : \mathfrak{g} \to G is a local diffeomorphism near 0 \in \mathfrak{g} (i.e., near e \in G).

Theorem 2: Baker–Campbell–Hausdorff formula

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

Theorem 3: Adjoint intertwining

\exp(\mathrm{Ad}_g(X)) = g\,\exp(X)\,g^{-1}

Worked Examples

1
J² = -I, J³ = -J, J⁴ = I — the pattern repeats.
$J^2 = -I,\quad J^3 = -J,\quad J^4 = I$
2
Separate even and odd powers in the series.
$\exp(\theta J) = \sum_{n=0}^\infty \frac{\theta^n J^n}{n!} = I\cos\theta + J\sin\theta$
3
Write out the matrix.
$\exp(\theta J) = \begin{pmatrix}\cos\theta & -\sin\theta \\ \sin\theta & \cos\theta\end{pmatrix}$

✓ Answer

exp(θJ) is the rotation matrix by angle θ, confirming that SO(2) consists of rotations.

Practice Problems

Mediumfree response

Let G = GL_n(ℝ). Express exp(tA) for A ∈ gl_n(ℝ) and verify it satisfies d/dt exp(tA) = A exp(tA).

Hardproof writing

Prove that if G is abelian, then exp(X+Y) = exp(X)·exp(Y) for all X, Y ∈ g.

Common Mistakes

Common Mistake

Thinking exp(X+Y) = exp(X)exp(Y) always holds

This identity holds only when [X,Y] = 0. In general, the Baker–Campbell–Hausdorff formula shows the product involves infinitely many nested commutators.

Common Mistake

Confusing the Lie-theoretic exponential map with the Riemannian exponential map

The Riemannian exp_p sends tangent vectors to geodesics; the Lie-theoretic exp sends Lie algebra elements to one-parameter subgroups. For a bi-invariant metric on G they coincide, but in general they are different maps.

Quiz

The exponential map exp: g → G is always:

A global diffeomorphismA local diffeomorphism near 0Surjective for all Lie groupsAn algebra homomorphism

For a compact connected Lie group G, the exponential map is:

Injective but not surjectiveSurjectiveNeither injective nor surjectiveA global diffeomorphism

Historical Background

Sophus Lie introduced continuous transformation groups in the 1870s–1880s and recognised that their local behaviour is governed by infinitesimal generators — what we now call Lie algebras. The exponential map appears implicitly in Lie's work as the integration of infinitesimal symmetries to finite ones. Wilhelm Killing and Élie Cartan systematised the classification of simple Lie algebras in the 1890s–1910s, relying on the correspondence the exponential map provides.

1870s
Sophus Lie develops theory of continuous transformation groups
Sophus Lie
1894
Killing classifies simple Lie algebras over ℂ
Wilhelm Killing
1913
Cartan's thesis completes the classification
Élie Cartan
1946
Chevalley's 'Theory of Lie Groups' gives modern rigorous treatment
Claude Chevalley

Summary

The exponential map exp: g → G sends X ∈ g to the value at time 1 of the one-parameter subgroup generated by X.
For matrix groups it is the classical matrix exponential series.
exp is a local diffeomorphism near the identity; it is surjective for compact connected groups.
The Baker–Campbell–Hausdorff formula expresses the group product in terms of the Lie bracket.
Naturality: Lie group homomorphisms intertwine their respective exponential maps.

References

BookHall, B. — Lie Groups, Lie Algebras, and Representations, 2nd ed. (2015), Chapters 2–3
BookHelgason, S. — Differential Geometry, Lie Groups, and Symmetric Spaces (1978), Chapter II
WebsiteWikipedia — Exponential map (Lie theory)
WebsitenLab — exponential map