Lie group

Intuition [Beginner]

A Lie group is a group whose elements form a smooth manifold, in such a way that group multiplication and inversion are smooth maps. The classical examples: rotations of 3-space, the unitary group of a Hilbert space, the symmetry group of a crystal lattice. They are spaces of continuous symmetries.

Why combine "group" and "manifold"? Because every continuous symmetry of a physical or geometric system tends to be both: it composes (group structure) and it varies smoothly (manifold structure). A Lie group is exactly the right abstraction.

The infinitesimal version of a Lie group is its Lie algebra: the tangent space at the identity element, equipped with the bracket extracted from the failure of the group multiplication to commute 03.04.01. Lie's correspondence makes the global Lie group and the local Lie algebra two faces of the same object — the group's geometry is fully encoded in the algebra's bracket structure (up to topological subtleties about coverings).

Visual [Beginner]

A smooth surface representing the group manifold, with a marked point (the identity element). The tangent space at the identity is the Lie algebra. Composing group elements deforms the surface.

The whole geometry of the group is generated by exponentiating the Lie algebra: $\exp :\mathfrak{g}\to G$ sends each tangent direction to a group element along that direction.

Worked example [Beginner]

The classical example: $\mathrm{SO}(3)$, the group of rotations of three-dimensional space.

A rotation is determined by an axis (a unit vector in ${\mathbb{R}}^3$) and an angle. Two rotations compose by what physicists call "Euler-angle composition" — but the formula is genuinely non-commutative because rotation order matters: rotating about $x$ then $y$ doesn't equal rotating about $y$ then $x$.

As a manifold, $\mathrm{SO}(3)$ is three-dimensional (one direction per generator, three generators total). Topologically it is the real projective space ${\mathbb{RP}}^3$ — connected, but not simply connected. Its universal double cover is $\mathrm{Spin}(3)\cong \mathrm{SU}(2)\cong S^3$, the 3-sphere.

The Lie algebra $\mathfrak{so}(3)$ is the space of $3\times 3$ skew-symmetric matrices, with bracket the matrix commutator. The exponential map $\exp :\mathfrak{so}(3)\to \mathrm{SO}(3)$ sends a skew-symmetric matrix $A$ to the rotation matrix $e^A=I+A+A^2/2+\cdots$, which is the rotation by $|A|$ radians about the axis defined by $A$. This is Rodrigues's rotation formula in disguise.

Check your understanding [Beginner]

Formal definition [Intermediate+]

A Lie group is a smooth manifold $G$ 03.02.01 equipped with a group structure such that the multiplication and inversion maps are smooth:

$$\mu :G\times G\to G,(g,h)\mapsto gh\text{(smooth)},$$ $$\iota :G\to G,g\mapsto g^{-1}\text{(smooth)}.$$

The group operations being smooth makes the group structure compatible with the manifold structure in the strongest possible sense.

The identity element $e\in G$ is the group identity. The tangent space at the identity $T_{e}G$ has a canonical Lie-algebra structure: define $[X,Y]:={\mathrm{ad}}_X(Y)$, where ${\mathrm{ad}}_X$ is the differential at the identity of the conjugation map $g\mapsto gX{g}^{-1}$ extended infinitesimally (this requires careful unwinding; see §"Full proof set"). This Lie algebra is denoted $\mathfrak{g}:=\mathrm{Lie}(G)$ 03.04.01.

A Lie group homomorphism is a smooth group homomorphism $\phi :G\to H$. Its differential at the identity is a Lie-algebra homomorphism $d{\phi }_e:\mathfrak{g}\to \mathfrak{h}$.

The exponential map $\exp :\mathfrak{g}\to G$ sends each $X\in \mathfrak{g}$ to ${\gamma }_X(1)$, where ${\gamma }_X:\mathbb{R}\to G$ is the unique one-parameter subgroup with ${\gamma }_X^{\prime }(0)=X$. For matrix Lie groups, this is the matrix exponential $e^A={\sum }_n{A}^n/n!$; in general, the exponential of a left-invariant vector field at time $1$.

Examples.

• ${\mathbb{R}}^n$ under addition: an abelian Lie group of dimension $n$, Lie algebra ${\mathbb{R}}^n$ with zero bracket.
• $S^1=U(1)$ under multiplication of unit complex numbers: dimension 1, Lie algebra $\mathbb{R}$ with zero bracket.
• ${\mathrm{GL}}_n(\mathbb{R})$, ${\mathrm{GL}}_n(\mathbb{C})$: general linear groups, dimensions $n^2$ and $2n^2$.
• ${\mathrm{SL}}_n,\mathrm{SO}(n),\mathrm{SU}(n),\mathrm{Sp}(n)$: classical matrix Lie groups.
• $\mathrm{Spin}(n)$: the universal double cover of $\mathrm{SO}(n)$ for $n\ge 3$ 03.09.03.

Key theorem with proof [Intermediate+]

Theorem (Lie's correspondence — local form). Let $G$ and $H$ be Lie groups with Lie algebras $\mathfrak{g},\mathfrak{h}$. A Lie-algebra homomorphism $\phi :\mathfrak{g}\to \mathfrak{h}$ uniquely lifts to a Lie-group homomorphism $\Phi :G\to H$ provided $G$ is simply connected and connected.

Proof (sketch). This is a global form; the local form (where $G$ is replaced by a sufficiently small neighbourhood of the identity) is more elementary and is what we sketch.

For the local version: a Lie-algebra homomorphism $\phi :\mathfrak{g}\to \mathfrak{h}$ defines a homomorphism on one-parameter subgroups via $\Phi (\exp (tX)):=\exp (t\phi (X))$. By the Baker-Campbell-Hausdorff formula, $\exp (X)\exp (Y)=\exp (X+Y+\frac{1}{2}[X,Y]+\cdots )$, where the higher-order terms involve only nested brackets of $X$ and $Y$. Since $\phi$ preserves brackets, applying $\Phi$ to $\exp (X)\exp (Y)$ and using the BCH formula on both sides shows

$$\Phi (\exp (X)\exp (Y))=\exp (\phi (X))\exp (\phi (Y))=\Phi (\exp (X))\Phi (\exp (Y)).$$

This holds for $X,Y$ in a neighbourhood of $0$ where BCH converges. Hence $\Phi$ is a local homomorphism near the identity.

For the global version, simply-connectedness allows extension via path-lifting: any element of $G$ is connected to the identity by a path, and we extend $\Phi$ along the path using the local formula. Simply-connectedness ensures the extension is path-independent. Without simply-connectedness, $\Phi$ extends only to the universal cover $\tilde{G}$ and may fail to descend to $G$ if some loop's holonomy is nonzero. $\square$

The theorem is the local form of Lie's correspondence: the global Lie group is determined (up to coverings) by its local infinitesimal data — the Lie algebra.

Bridge. The construction here builds toward 03.05.01 (principal bundle), where the same data is upgraded, and the symmetry side is taken up in 03.05.07 (principal bundle with connection). The defining pattern appears again in those units in a sharpened form, where the local data is glued or quotiented. Putting these together, the foundational insight is that the data of this unit gives the structural signature that the rest of the strand reads off.

Exercises [Intermediate+]

Lean formalization [Intermediate+]

lean_status: partial — Mathlib has LieGroup as a typeclass on smooth manifolds with smooth multiplication, the matrix Lie groups (Matrix.GeneralLinearGroup, Matrix.SpecialLinearGroup, etc.), and partial coverage of the exponential map.

[object Promise]

The exponential map and Lie algebra correspondence are partially in Mathlib; the full Lie's third theorem is a long-term formalisation goal.

Advanced results [Master]

Cartan-Iwasawa-Malcev theorem. Every connected Lie group $G$ admits a maximal compact subgroup $K$, and $G$ is diffeomorphic to $K\times {\mathbb{R}}^n$. Maximal compacts are unique up to conjugation.

Iwasawa decomposition. For a semisimple Lie group $G$, there is a global decomposition $G=KAN$ where $K$ is maximal compact, $A$ is abelian, and $N$ is nilpotent. This generalises the Gram-Schmidt / QR decomposition to arbitrary semisimple groups.

Cartan classification of compact simple Lie groups. The compact simple Lie groups (modulo coverings) fall into the same families as their Lie algebras 03.04.01: $\mathrm{SU}(n+1)$ ($A_n$), $\mathrm{Spin}(2n+1)$ ($B_n$), $\mathrm{Sp}(n)$ ($C_n$), $\mathrm{Spin}(2n)$ ($D_n$), and the five exceptional groups $G_2,F_4,E_6,E_7,E_8$. The exceptional groups are particularly remarkable for their connections to division algebras (octonions for $G_2$, $F_4$, $E_8$).

Lie group representations. A representation of $G$ on a vector space $V$ is a smooth homomorphism $\rho :G\to \mathrm{GL}(V)$. Compact Lie groups have a particularly clean theory: Peter-Weyl theorem decomposes $L^2(G)$ as a direct sum of finite-dimensional irreducible representations, each appearing with multiplicity equal to its dimension. This is the foundation for Fourier analysis on compact groups.

Symplectic and Poisson structures. The cotangent bundle $T^{\ast }G$ has a canonical symplectic form, and the Lie algebra dual ${\mathfrak{g}}^{\ast }$ has a canonical Poisson structure (Kirillov-Kostant-Souriau). These are the geometric origin of integrable systems built from Lie group symmetries.

Connection to physics. Every continuous symmetry in physics — gauge theory, general relativity, condensed matter band structure — is a Lie group acting on configuration or phase space. Noether's theorem turns the Lie group action into a conservation law: the Lie algebra generators give the conserved charges.

Synthesis. This construction generalises the pattern fixed in 03.02.01 (smooth manifold), with the symmetric data replaced by its skew or twisted analogue. Read in the opposite direction, the construction is dual to the metric story: complements and orthogonality are taken with respect to the bilinear datum of this unit, not a metric, and the resulting category of subobjects is the one the rest of the strand classifies. The central insight is that this datum identifies algebra with geometry: functions become vector fields, subspaces become quotients, and invariants become cohomology classes — and that identification is the engine driving every theorem downstream.

Full proof set [Master]

Lie algebra structure on $T_{e}G$. Define for $g\in G$ the conjugation $C_g:G\to G$, $C_g(h)=gh{g}^{-1}$. Since $C_g(e)=e$, $d{C}_{g,e}:T_{e}G\to T_{e}G$ is a linear automorphism. The map $g\mapsto d{C}_{g,e}$ is the adjoint representation $\mathrm{Ad}:G\to \mathrm{GL}(T_{e}G)$. Differentiating again at $e$, $d{\mathrm{Ad}}_e:T_{e}G\to \mathrm{End}(T_{e}G)$, is denoted $\mathrm{ad}$. Define $[X,Y]:={\mathrm{ad}}_X(Y)$; this is bilinear, antisymmetric, and Jacobi-respecting (the latter follows from associativity of group multiplication).

Smooth structure on ${\mathrm{GL}}_n$. Proved in Exercise 3.

One-parameter subgroups. A one-parameter subgroup is a smooth homomorphism $\gamma :\mathbb{R}\to G$. Each $X\in \mathfrak{g}$ determines a unique one-parameter subgroup ${\gamma }_X$ with ${\gamma }_X^{\prime }(0)=X$, by integrating the left-invariant vector field with value $X$ at $e$. The exponential is $\exp (X)={\gamma }_X(1)$.

Local diffeomorphism property of $\exp$. Proved in Exercise 7.

Smooth structure compatibility of multiplication. Multiplication $\mu (g,h)=gh$ is smooth by definition of Lie group. Its differential at $(e,e)$ is $(X,Y)\mapsto X+Y$ (proved by computing the path $(e+tX,e+tY)$ in product coordinates and applying $\mu$). This is one ingredient in the BCH formula proof.

Baker-Campbell-Hausdorff (sketch). Define $C(s)=\log (\exp (X)\exp (sY))$ for small $s$. Compute $C^{\prime }(s)=\frac{{\mathrm{ad}}_{C(s)}}{{\mathrm{ad}}_{C(s)}-1}\cdot Y$ via the differential of the exponential map. This gives a recursive formula that, integrated from $0$ to $1$, expresses $C(1)=\log (\exp (X)\exp (Y))$ as a power series in $X,Y$ involving only nested brackets. The first terms are $X+Y+\frac{1}{2}[X,Y]+\frac{1}{12}([X,[X,Y]]-[Y,[X,Y]])+\cdots$.

Connections [Master]

• Smooth manifold 03.02.01 — the underlying geometric object.

• Lie algebra 03.04.01 — the infinitesimal version of a Lie group.

• Spin group 03.09.03 — a specific Lie group double-covering $\mathrm{SO}(n)$.

• Principal bundle 03.05.01 — Lie groups are the structure groups of principal bundles.

• Yang-Mills action 03.07.05 — Lie groups parametrise gauge symmetries.

• Chern-Weil homomorphism 03.06.06 — invariant polynomials on $\mathfrak{g}$ produce characteristic classes.

Historical & philosophical context [Master]

Sophus Lie introduced what we now call Lie groups in the 1870s as continuous transformation groups acting on differential equations — his goal was a continuous-symmetry analogue of Galois theory for ODEs. Killing classified the simple complex Lie algebras in 1888–1890, and Cartan corrected and completed the classification in his 1894 thesis, identifying the five exceptional algebras and the global Lie group structure.

The modern definition (smooth manifold with smooth group structure) was crystallised by Hermann Weyl (1923) and given its definitive form in Chevalley's monograph (1946). The integration of Lie theory with topology — covering spaces, Lie's third theorem, the Iwasawa decomposition — proceeded through the mid-twentieth century work of Cartan, Chevalley, Iwasawa, Malcev, and Mostow.

In modern physics, Lie groups are the symmetry groups of nature: $\mathrm{U}(1)\times \mathrm{SU}(2)\times \mathrm{SU}(3)$ is the gauge group of the Standard Model; $\mathrm{Spin}(1,3{)}^{+}$ is the proper orthochronous Lorentz group; $\mathrm{Diff}(M)$ acts on field configurations on spacetime $M$. Each is a Lie group whose representation theory determines the elementary particles and forces of the corresponding theory.

Bibliography [Master]

• Hall, B. C., Lie Groups, Lie Algebras, and Representations, Springer GTM 222, 2nd ed., 2015.
• Warner, F. W., Foundations of Differentiable Manifolds and Lie Groups, Springer GTM 94, 1983.
• Helgason, S., Differential Geometry, Lie Groups, and Symmetric Spaces, Academic Press, 1978.
• Knapp, A. W., Lie Groups Beyond an Introduction, Birkhäuser, 2nd ed., 2002.
• Bourbaki, N., Lie Groups and Lie Algebras, Springer, 1989.

---

Wave 3 Phase 3.1 unit #4. Lie group — smooth manifold with smooth group structure; the structure underlying continuous symmetry groups in geometry and physics.