The Exponential Map - Main Theorem

The Baker-Campbell-Hausdorff formula is the cornerstone theorem relating the group structure to the Lie algebra structure via the exponential map. It provides an explicit formula for the product of exponentials in terms of Lie brackets.

Theorem

Baker-Campbell-Hausdorff Formula

Let $G$ be a Lie group with Lie algebra $\mathfrak{g}$ . For $X, Y \in \mathfrak{g}$ in a sufficiently small neighborhood of $0$ , there exists a unique $Z \in \mathfrak{g}$ such that: $\exp(X)\exp(Y) = \exp(Z)$

Moreover, $Z$ is given by the convergent series: $Z = X + Y + \frac{1}{2}[X, Y] + \frac{1}{12}[X, [X, Y]] - \frac{1}{12}[Y, [X, Y]] + \frac{1}{24}[Y, [Y, [Y, X]]] + \cdots$

where all terms are nested Lie brackets of $X$ and $Y$ .

The BCH formula can be written compactly as: $Z = \log(\exp(X)\exp(Y)) = \sum_{n=1}^\infty \frac{(-1)^{n-1}}{n} \sum \frac{(\text{ad}_X)^{p_1}(\text{ad}_Y)^{q_1} \cdots (\text{ad}_X)^{p_n}(\text{ad}_Y)^{q_n}(Y)}{p_1! q_1! \cdots p_n! q_n!}$ where the inner sum is over all tuples $(p_1, q_1, \ldots, p_n, q_n)$ with $p_i, q_i \geq 0$ and $p_i + q_i > 0$ .

Remark

The BCH formula shows that the group multiplication law near the identity is entirely encoded in the Lie algebra structure. To second order, we have $\exp(X)\exp(Y) \approx \exp(X + Y + \frac{1}{2}[X, Y])$ , revealing that the Lie bracket measures the failure of group elements to commute.

Theorem

Hausdorff Series Convergence

The BCH series $Z(X, Y)$ converges absolutely when $\|X\| + \|Y\| < \log 2$ in any norm on $\mathfrak{g}$ . The convergence is uniform on compact subsets of this region.

Example

For abelian Lie algebras (where $[X, Y] = 0$ for all $X, Y$ ), the BCH formula reduces to $Z = X + Y$ , giving $\exp(X)\exp(Y) = \exp(X + Y)$ . This explains why the exponential map for $\mathbb{R}^n$ is exactly addition.

Theorem

Dynkin's Formula

An alternative expression for the BCH formula, useful in physics, is: $Z = X + \int_0^1 g(e^{\text{ad}_X} e^{t \text{ad}_Y})(Y) \, dt$ where $g(z) = \frac{\log z}{z - 1} = \sum_{n=0}^\infty \frac{(1-z)^n}{n+1}$ is a generating function.

Theorem

Lie's Third Theorem

Every finite-dimensional Lie algebra over $\mathbb{R}$ is the Lie algebra of some Lie group. Moreover, if $G_1$ and $G_2$ are simply connected Lie groups with isomorphic Lie algebras, then $G_1 \cong G_2$ .

Lie's third theorem guarantees that the exponential map construction is universal: every abstract Lie algebra arises from a Lie group. The simply connected case gives a one-to-one correspondence between Lie algebras and simply connected Lie groups.

Remark

The BCH formula is fundamental in quantum mechanics, where it appears in the product formula for unitary evolution operators $e^{-iHt}$ . In quantum field theory, the Zassenhaus formula (a refinement of BCH) disentangles products of exponentials into ordered products, essential for normal ordering and Wick's theorem.

These theorems establish the exponential map as the primary tool for translating between algebraic (Lie algebra) and geometric (Lie group) information.