Lie Groups and Lie Algebras

⚡ Key Takeaways

Lie groups are smooth manifolds equipped with compatible group operations; Lie algebras are their infinitesimal counterparts — vector spaces with an antisymmetric bracket. The central result is that the local structure of a Lie group is faithfully encoded by its Lie algebra via the exponential map. They appear everywhere continuous symmetry does: differential geometry, gauge theory, quantum mechanics, harmonic analysis, and number theory. Founded by Sophus Lie (1870s) and developed by Killing, Cartan, Weyl, and Chevalley.

💡 The Core Insight

The exponential map $\exp:\mathfrak{g}\to G$ converts the additive infinitesimal data of the Lie algebra into the multiplicative finite data of the group. Differentiation at the identity ( $G\to\mathfrak g$ ) and exponentiation ( $\mathfrak g\to G$ ) are inverse procedures locally, so curvature, non-commutativity, and topology of $G$ all leave detectable fingerprints in the bracket structure $[X,Y]$ of $\mathfrak g$ . Symmetry analysis thus reduces — at least locally — to linear algebra.

DefinitionLie Group

A Lie group is a smooth manifold $G$ together with maps

1

\quad m: G\times G \to G,\ (g,h)\mapsto gh, \qquad \iota: G\to G,\ g\mapsto g^{-1},

both smooth ( $C^\infty$ , or real-analytic), satisfying the group axioms with identity $e\in G$ . Here $\dim G$ is the manifold dimension; the group operations being smooth ties algebraic and differentiable structure together. Derivation hint: Smoothness of $m$ and $\iota$ is equivalent to smoothness of the single map $(g,h)\mapsto gh^{-1}$ , by composing with smooth diagonal and projection maps.

DefinitionLeft-Invariant Vector Fields and the Lie Algebra

For $g\in G$ , left translation $L_g:G\to G$ is $L_g(h)=gh$ . A vector field $X$ is left-invariant if $(L_g)_* X = X$ for all $g$ . The set of such fields, with bracket $[X,Y]=XY-YX$ (acting on smooth functions), forms the Lie algebra $\mathfrak g = \mathrm{Lie}(G)$ . Evaluation at $e$ gives a vector-space isomorphism

2

\quad \mathfrak g \;\xrightarrow{\ \sim\ }\; T_eG, \qquad X\mapsto X_e,

so $\dim_{\mathbb R}\mathfrak g = \dim G$ , and the bracket transports to $T_eG$ . Derivation hint: A left-invariant field is determined by $X_e$ via $X_g=(L_g)_{*,e}X_e$ ; conversely any tangent vector at $e$ extends uniquely, giving the bijection.

DefinitionAbstract Lie Algebra

A Lie algebra over a field $\mathbb k$ is a $\mathbb k$ -vector space $\mathfrak g$ with a bilinear map $[\,\cdot,\cdot\,]:\mathfrak g\times\mathfrak g\to\mathfrak g$ satisfying

3

\quad [X,X]=0 \quad\text{(alternating)}, \qquad \big[X,[Y,Z]\big]+\big[Y,[Z,X]\big]+\big[Z,[X,Y]\big]=0 \quad\text{(Jacobi)}.

Alternating bilinearity implies antisymmetry $[X,Y]=-[Y,X]$ (and the converse in characteristic $\ne 2$ ). Derivation hint: Expand $[X+Y,X+Y]=0$ and use bilinearity to obtain antisymmetry; Jacobi is the infinitesimal shadow of associativity of group multiplication.

DefinitionExponential Map

For $X\in\mathfrak g$ , let $\gamma_X:\mathbb R\to G$ be the unique one-parameter subgroup with $\gamma_X'(0)=X$ (the integral curve of the left-invariant field $X$ through $e$ ). Define

4

\quad \exp(X) := \gamma_X(1), \qquad \gamma_X(t)=\exp(tX).

For matrix groups $\exp(X)=\sum_{n\ge0} X^n/n!$ . The differential $d\exp_0=\mathrm{id}_{\mathfrak g}$ , so $\exp$ is a local diffeomorphism near $0$ . Derivation hint: $\gamma_X$ solves the autonomous ODE $\gamma'(t)=(L_{\gamma(t)})_* X$ ; uniqueness of integral curves gives $\gamma_X(s+t)=\gamma_X(s)\gamma_X(t)$ , the one-parameter subgroup law.

TheoremLie's Three Theorems & Lie Correspondence

(I) Every Lie group has a finite-dimensional Lie algebra (via $T_eG$ ). (II) A Lie algebra homomorphism $\phi:\mathfrak g\to\mathfrak h$ integrates to a Lie group homomorphism $\Phi:G\to H$ provided $G$ is simply connected, with $d\Phi_e=\phi$ . (III) (Lie–Cartan) Every finite-dimensional real Lie algebra is the Lie algebra of some Lie group; among connected groups there is a unique simply connected one $\tilde G$ . Consequently the functor $\mathrm{Lie}$ induces an equivalence of categories between simply connected Lie groups and finite-dimensional Lie algebras.

TheoremBaker–Campbell–Hausdorff Formula

For $X,Y$ near $0$ ,

5

\quad \exp(X)\exp(Y)=\exp\!\Big(X+Y+\tfrac12[X,Y]+\tfrac1{12}\big([X,[X,Y]]-[Y,[X,Y]]\big)+\cdots\Big),

where all higher terms are iterated brackets. Thus group multiplication near $e$ is determined entirely by the Lie bracket. Derivation hint: Differentiate $Z(t)$ defined by $\exp Z(t)=\exp(tX)\exp(tY)$ and solve order by order using $\mathrm{ad}$ and the Dynkin formula; convergence holds in an operator-norm ball for matrix groups.

ProofThe Bracket on

T_eG

and Jacobi from Associativity

Step 1 — Adjoint action. Conjugation $C_g(h)=ghg^{-1}$ fixes $e$ ; its differential is $\mathrm{Ad}(g):=d(C_g)_e:\mathfrak g\to\mathfrak g$ , a representation $\mathrm{Ad}:G\to GL(\mathfrak g)$ called the adjoint representation.

Step 2 — Infinitesimal adjoint. Differentiating $\mathrm{Ad}$ at $e$ gives a linear map $\mathrm{ad}:=d(\mathrm{Ad})_e:\mathfrak g\to\mathfrak{gl}(\mathfrak g)$ , and one defines the bracket by

6

\quad [X,Y]:=\mathrm{ad}(X)\,Y=\left.\frac{d}{ds}\frac{d}{dt}\right|_{0}\exp(sX)\exp(tY)\exp(-sX).

Derivation hint: Expand $\mathrm{Ad}(\exp sX)Y$ to first order in $s$ using $C_{\exp sX}$ and the chain rule; the mixed second derivative isolates the bracket.

Step 3 — Agreement with vector-field bracket. This coincides with the commutator $[X,Y]=XY-YX$ of left-invariant fields, because left-invariant fields generate left translations while $\mathrm{Ad}$ measures the failure of left and right translations to commute.

Step 4 — Jacobi identity. Associativity $(gh)k=g(hk)$ differentiated three times produces exactly the cyclic relation. Equivalently $\mathrm{ad}$ is itself a Lie algebra homomorphism:

7

\quad \mathrm{ad}([X,Y]) = [\mathrm{ad}(X),\mathrm{ad}(Y)] = \mathrm{ad}(X)\mathrm{ad}(Y)-\mathrm{ad}(Y)\mathrm{ad}(X),

which is the Jacobi identity rewritten. $\blacksquare$ Derivation hint: Apply both sides of [7] to an arbitrary $Z$ and expand; the four resulting bracket terms rearrange to the cyclic Jacobi sum.

∎

ProofOne-Parameter Subgroups Exponentiate Uniquely

Step 1. Given $X\in\mathfrak g$ , the left-invariant field $X$ is complete (integral curves exist for all time) because left translations carry local flows to global ones. Step 2. Its flow $\Phi_t$ satisfies $\Phi_{s+t}=\Phi_s\circ\Phi_t$ and commutes with all $L_g$ ; hence $t\mapsto\Phi_t(e)$ is a homomorphism $\mathbb R\to G$ . Step 3. Set $\exp(tX)=\Phi_t(e)$ . Uniqueness follows from uniqueness of ODE solutions. The map $\exp$ is smooth by smooth dependence on initial conditions, and $d\exp_0=\mathrm{id}$ , giving a local diffeomorphism. $\blacksquare$ Derivation hint: Completeness uses that left-invariance makes the velocity field bounded in a left-invariant metric, so escape in finite time is impossible.

∎

mathematician · Sophus Lie | 1842–1899

Norwegian mathematician who, seeking a "Galois theory of differential equations," founded the theory of continuous transformation groups in the 1870s while in Christiania (Oslo) and during collaboration with Felix Klein. Lie introduced infinitesimal transformations (now Lie algebra elements), the bracket, and the integration theorems bearing his name. His three-volume Theorie der Transformationsgruppen (1888–93), written with Friedrich Engel, systematized the field. Wilhelm Killing and Élie Cartan later classified the simple Lie algebras; Hermann Weyl globalized the theory into representation theory of compact groups.

🧠 Intuition

Picture $G$ as a curved surface and $e$ as a marked point. The Lie algebra $\mathfrak g$ is the flat tangent plane at $e$ — the linearization. The exponential map wraps straight lines through the origin of this plane onto geodesic-like one-parameter subgroups in $G$ (think: latitude/longitude curves spiraling around a sphere of rotations). The bracket $[X,Y]$ measures non-commutativity to second order: do a tiny $X$ -motion, then $Y$ , then undo $X$ , then undo $Y$ ; you do not return to start, and the leftover displacement is exactly $[X,Y]$ (the "Lie bracket = infinitesimal commutator"). When $[X,Y]=0$ the flows commute (a torus, abelian); large brackets mean richly tangled, non-abelian geometry.

EN

Emmy Noether's shadow

In physics, a Lie group $G$ of symmetries acting on a Lagrangian yields, via Noether's theorem, one conserved current per generator — i.e. per basis element of $\mathfrak g$ . Translation generators give momentum, rotation generators (the algebra $\mathfrak{so}(3)$ ) give angular momentum, and the bracket relations are the canonical commutation/Poisson relations. In quantum mechanics, $\exp$ promotes Hermitian generators $X$ to unitary evolutions $\exp(iX t)$ ; the structure constants of $\mathfrak g$ become measurable selection rules.

Figure

Exponential map: a tangent line at

e

wraps onto a one-parameter subgroup

ExampleRotation group

SO(3)

and its algebra

\mathfrak{so}(3)

Given: $SO(3)=\{R\in M_3(\mathbb R): R^TR=I,\ \det R=1\}$ , a 3-dimensional compact Lie group. Find $\mathfrak{so}(3)$ and exponentiate a generator.

Step 1 — Tangent at identity. Differentiate $R(t)^TR(t)=I$ at $t=0$ with $R(0)=I$ , $R'(0)=X$ :

8

\quad X^T+X=0 \;\Rightarrow\; \mathfrak{so}(3)=\{X: X^T=-X\},\quad \dim=3.

Derivation hint: Product rule on $R^TR=I$ gives $X^TI+IX=0$ .

Step 2 — Basis & structure constants. Take $J_1,J_2,J_3$ with $(J_k)_{ij}=-\epsilon_{kij}$ . Then

9

\quad [J_i,J_j]=\epsilon_{ijk}J_k,

Derivation hint: Multiply the antisymmetric matrices and read off entries using $\epsilon$ -identities.

Step 3 — Exponentiate. For rotation by angle $\theta$ about axis $\hat n$ , $X=\theta(\hat n\cdot \vec J)$ . Using $X^3=-\theta^2 X/\|\cdot\|$ , Rodrigues' formula gives

10

\quad \exp(\theta\,\hat n\!\cdot\!\vec J)=I+\sin\theta\,(\hat n\!\cdot\!\vec J)+(1-\cos\theta)(\hat n\!\cdot\!\vec J)^2.

Derivation hint: Split the exponential series into even/odd powers and recognize $\sin,\cos$ Taylor series.

Boxed answer: $\boxed{\ \mathfrak{so}(3)=\text{antisymmetric }3\times3,\ [J_i,J_j]=\epsilon_{ijk}J_k,\ \exp = \text{Rodrigues}\ }$ . A $\theta=\pi/2$ rotation about $\hat z$ gives $R=\begin{pmatrix}0&-1&0\\1&0&0\\0&0&1\end{pmatrix}$ (dimensionless rotation matrix; angle in radians).

Example

SU(2)

as a double cover & the BCH first correction

Given: $SU(2)=\{U\in M_2(\mathbb C): U^\dagger U=I,\det U=1\}\cong S^3$ . Its algebra $\mathfrak{su}(2)$ is the traceless anti-Hermitian $2\times2$ matrices, basis $X_k=-\tfrac{i}{2}\sigma_k$ (Pauli matrices).

Step 1 — Brackets: $[X_i,X_j]=\epsilon_{ijk}X_k$ — identical to $\mathfrak{so}(3)$ . Hence $\mathfrak{su}(2)\cong\mathfrak{so}(3)$ as real Lie algebras.

Step 2 — Global difference. $SU(2)$ is simply connected ( $S^3$ ) but $SO(3)\cong\mathbb{RP}^3$ is not; the homomorphism integrating $\mathrm{id}:\mathfrak{su}(2)\to\mathfrak{so}(3)$ is the 2-to-1 covering $SU(2)\to SO(3)$ . This is exactly Theorem (II) failing to be injective when $G$ is not simply connected.

Step 3 — Numeric BCH check. Let $X=\tfrac{\pi}{4}\sigma_1$ scaled, take small $a=0.1$ : $X=a\sigma_1, Y=a\sigma_2$ . First correction $\tfrac12[X,Y]=\tfrac12 a^2[\sigma_1,\sigma_2]=\tfrac12a^2(2i\sigma_3)=i a^2\sigma_3$ .

11

\quad \log\big(e^{X}e^{Y}\big)=a\sigma_1+a\sigma_2+ i a^2\sigma_3+O(a^3).

With $a=0.1$ : correction magnitude $a^2=0.01$ vs leading $a=0.1$ , a $10\%$ effect. Derivation hint: Use $[\sigma_i,\sigma_j]=2i\epsilon_{ijk}\sigma_k$ and keep terms to $O(a^2)$ in [5].

Boxed answer: $\boxed{\ \mathfrak{su}(2)\cong\mathfrak{so}(3),\ \text{but } SU(2)\xrightarrow{2:1}SO(3);\ \text{BCH correction } i a^2\sigma_3\ }$ .

⚠️ Common mistake

The Lie algebra does NOT determine the Lie group. It determines only the connected, simply connected group and the local structure. Different global groups ( $SU(2)$ vs $SO(3)$ ; $\mathbb R$ vs $S^1$ ) share the same Lie algebra. Likewise $\exp$ is generally not surjective and not injective even for connected groups — though it is surjective for compact connected groups and for connected nilpotent groups.

⚠️ Common mistake

$\exp(X)\exp(Y)\ne\exp(X+Y)$ unless $[X,Y]=0$ . The whole content of BCH (eq. [5]) is the correction series. Confusing matrix exponential with naive scalar rules is the most common computational error.

Counterexample

$\exp$ need not be surjective. In $SL(2,\mathbb R)$ (connected, non-compact), the element

12

\quad A=\begin{pmatrix}-1&1\\0&-1\end{pmatrix}\in SL(2,\mathbb R)

is not in the image of $\exp$ . Any $\exp(X)$ with real $\mathrm{tr}\,X=0$ has eigenvalues $e^{\lambda},e^{-\lambda}$ ; to get the double eigenvalue $-1$ one needs $\lambda=i\pi$ , forcing $X$ to be diagonalizable, hence $\exp X$ diagonalizable — but $A$ is a non-diagonalizable Jordan block. So $A\notin\exp(\mathfrak{sl}_2\mathbb R)$ , despite $G$ being connected. Derivation hint: Compare Jordan forms; a non-trivial Jordan block at eigenvalue $-1$ cannot be reached because $\exp$ of a traceless real matrix with negative real eigenvalues forces specific block structure.

connection

Lie theory binds together vast territory. The classification of simple Lie algebras (Root Systems and Weights, Dynkin Diagrams) reduces all complex simple algebras to four infinite families $A_n,B_n,C_n,D_n$ plus five exceptionals $G_2,F_4,E_6,E_7,E_8$ . The bridge $\mathfrak g\to G$ is the engine of Representation Theory of Compact Groups (Peter–Weyl, highest weight theory). Geometrically, Lie groups acting on manifolds give Homogeneous Spaces $G/H$ and Riemannian Symmetric Spaces. The bracket is the infinitesimal version of the Poisson Bracket in Symplectic Geometry, and the dual $\mathfrak g^*$ carries the Kirillov–Kostant–Souriau structure underlying Geometric Quantization. Over the algebraic side, Algebraic Groups and Hopf Algebras (universal enveloping algebra $U(\mathfrak g)$ ) generalize the picture.

🔬 Where this appears

⏳ History

- 1872 — Klein's Erlangen Program reframes geometry as the study of invariants under transformation groups, setting the stage.

- 1873–1880 — Sophus Lie develops continuous transformation groups and infinitesimal generators in Christiania.

- 1888–1893 — Lie & Engel publish Theorie der Transformationsgruppen (3 vols).

- 1888–1890 — Wilhelm Killing classifies simple Lie algebras (introducing root systems), though with gaps and errors.

- 1894 — Élie Cartan's thesis rigorously completes the classification of complex simple Lie algebras and corrects Killing.

- 1925–1926 — Hermann Weyl proves complete reducibility (the "Weyl unitary trick") and the character/dimension formulas, unifying compact-group representation theory.

- 1929 — Cartan & von Neumann: a closed subgroup of a Lie group is a Lie subgroup; topological groups that are manifolds are Lie.

- 1930s–40s — Chevalley and Pontryagin write the modern manifold-theoretic foundations; Chevalley's groups extend the theory over arbitrary fields.

- 1952 — Gleason, Montgomery, Zippin solve Hilbert's fifth problem: every locally Euclidean topological group is a Lie group.

open-problem

Infinite-dimensional and arithmetic frontiers. Beyond the finite-dimensional theory lie genuine difficulties: (1) Infinite-dimensional Lie groups (diffeomorphism groups, loop groups, gauge groups) lack a clean exponential — $\exp$ may not be locally surjective, and Lie's third theorem can fail (not every infinite-dimensional Lie algebra integrates to a group — counterexamples by van Est–Korthagen and the integration obstruction studied by Crainic–Fernandes for Lie algebroids). (2) Kac–Moody algebras generalize the finite classification to infinite root systems with profound but incompletely understood representation theory (e.g. monstrous moonshine connections). (3) The Langlands program seeks to organize automorphic representations of reductive groups over local and global fields — its functoriality conjectures remain among the deepest open problems in mathematics. (4) The integrability problem for Lie algebroids/groupoids (does a given algebroid integrate to a groupoid?) has a precise but subtle answer involving monodromy and is still actively developed.

Formal Statement

Why It Holds / Derivation

Building Intuition

Worked Examples

Common Misconceptions

Connections

Real-World Applications

Historical Development

Subtleties & Limits

See Also