Élie Cartan

Élie Cartan (1869–1951) was a French mathematician whose work reshaped Lie theory, differential geometry, and the calculus of differential forms. One-line statement: Cartan classified the simple real and complex Lie algebras, invented the exterior calculus and the method of moving frames, developed the theory of connections on principal and fiber bundles, and discovered spinors. His ideas underpin modern gauge theory, general relativity, and the geometry of homogeneous and symmetric spaces. He worked primarily in Paris (École Normale Supérieure, Sorbonne) from the 1890s through the 1940s.

Élie Joseph Cartan was one of the deepest geometers of the twentieth century, whose contributions span the algebraic classification of continuous transformation groups, the analytic theory of differential systems, and the synthetic geometry of curved spaces. He completed the classification of complex simple Lie algebras begun by Wilhelm Killing (correcting and rigorizing it in his 1894 thesis), then classified the real forms, the irreducible representations, and the Riemannian symmetric spaces. His invention of the exterior derivative and exterior differential systems gave a coordinate-free, intrinsically geometric language for differential equations and integrability. A surprising fact: Cartan discovered spinors in 1913 — purely as objects in the representation theory of orthogonal Lie algebras — two decades before Dirac and physicists realized they describe the electron, illustrating how Cartan's abstract structures repeatedly anticipated physics.

The Core Insight

Cartan's unifying vision was that local geometric structure is encoded in differential forms valued in a Lie algebra, and that the obstruction to "flattening" such a structure — its curvature — is the failure of an integrability condition expressed by his structure equations. Whether the object is a Lie group, a Riemannian manifold, a connection on a bundle, or a system of PDEs, one attaches a moving frame (a field of bases adapted to the geometry), reads off the Maurer–Cartan forms or connection forms, and computes their exterior derivatives. The resulting torsion and curvature are the complete local invariants. This single mechanism subsumes Lie's theory of groups, Riemann's curvature, and the gauge fields of physics.

Formal Statement

Lie Group, Lie Algebra, and the Maurer–Cartan Form

A Lie group $G$ is a smooth manifold with smooth group operations. Its Lie algebra $g = T_{e} G$ is the tangent space at the identity, equipped with the bracket $[X, Y]$ given by the commutator of left-invariant vector fields. The Maurer–Cartan form $ω$ is the unique $g$ -valued left-invariant 1-form on $G$ that is the identity on $g = T_{e} G$ :

ω_{g} = (L_{g^{- 1}})_{*} : T_{g} G \sim g .

⟳

ω_{g} (v) = (d L_{g^{- 1}})_{g} (v)

pulls each tangent vector back to the identity by left translation; left-invariance is immediate since

L_{g^{- 1}} \circ L_{h} = L_{(h g)^{- 1}}^{- 1}

composes consistently.

Maurer–Cartan Structure Equation

The Maurer–Cartan form of any Lie group satisfies

d ω + \frac{1}{2} [ω, ω] = 0,

where $[ω, ω] (X, Y) = [ω (X), ω (Y)] - [ω (Y), ω (X)] = 2 [ω (X), ω (Y)]$ . Conversely, a $g$ -valued 1-form $ω$ on a simply connected manifold satisfying [2] and pointwise isomorphism with $g$ is locally the pullback of the Maurer–Cartan form, integrating to a map into $G$ (Cartan's integration / "fundamental theorem").

⟳Evaluate on left-invariant fields

X, Y

where

ω (X), ω (Y)

are constant; then

d ω (X, Y) = - ω ([X, Y]) = - [ω (X), ω (Y)]

, which rearranges to [2].

Cartan Connection on a Principal Bundle

Let $π : P \to M$ be a principal $G$ -bundle with right $G$ -action. A connection 1-form (Ehresmann–Cartan connection) is a $g$ -valued 1-form $A$ on $P$ such that

A (ξ^{*}) = ξ for ξ \in g, R_{g}^{*} A = Ad (g^{- 1}) A,

where

ξ^{*}

is the fundamental vector field of

ξ

and

R_{g}

is right translation. The curvature 2-form is

F = d A + \frac{1}{2} [A, A] = d A + A \land A .

⟳Condition [3] declares fundamental vertical directions to map to their generators and demands equivariance; the curvature [4] is the covariant exterior derivative

D A = d A \circ h

projected horizontally, with

A \land A

packaging the bracket.

Cartan's First and Second Structure Equations

For an affine/orthonormal frame with coframe $θ^{a}$ and connection forms $ω^{a}_{b}$ on a manifold with a linear connection, the torsion $T^{a}$ and curvature $Ω^{a}_{b}$ satisfy

T^{a} = d θ^{a} + ω^{a}_{b} \land θ^{b},

Ω^{a}_{b} = d ω^{a}_{b} + ω^{a}_{c} \land ω^{c}_{b} .

Taking exterior derivatives yields the Bianchi identities $d T^{a} + ω^{a}_{b} \land T^{b} = Ω^{a}_{b} \land θ^{b}$ and $d Ω^{a}_{b} + ω^{a}_{c} \land Ω^{c}_{b} - Ω^{a}_{c} \land ω^{c}_{b} = 0$ .

⟳Define

T^{a}, Ω^{a}_{b}

by [5]–[6]; differentiate using

d^{2} = 0

and

d (α \land β) = d α \land β - α \land d β

, substituting the defining equations back to eliminate

d θ, d ω

Why It Holds / Derivation

Killing–Cartan Classification of Complex Simple Lie Algebras

Goal. Show every complex simple Lie algebra

g

is one of

A_{n}, B_{n}, C_{n}, D_{n}

G_{2}, F_{4}, E_{6}, E_{7}, E_{8}

. Step 1 — Cartan subalgebra. Choose a maximal abelian subalgebra

h

of semisimple (ad-diagonalizable) elements; its dimension is the rank

ℓ

. Cartan proved

h

is self-normalizing (a Cartan subalgebra) and that all are conjugate. Step 2 — Root space decomposition. Since

ad (h)

is a commuting family of semisimple operators,

g = h \oplus α \in Φ ⨁ g_{α}, g_{α} = {X : [H, X] = α (H) X \forall H \in h} .

⟳simultaneous eigenspace decomposition of commuting semisimple operators on a finite-dimensional space;

α \in h^{*}

are the roots.

Step 3 — Killing form. The symmetric bilinear form

B (X, Y) = tr (ad X ad Y)

is nondegenerate iff

g

is semisimple (Cartan's criterion). It identifies

h ≅ h^{*}

and induces an inner product on

span_{R} Φ

. Step 4 — Root system axioms. Each

dim g_{α} = 1

; if

α \in Φ

then

- α \in Φ

and

2 α \in / Φ

; the Cartan integers

⟨ β, α ⟩ = 2 (β, α) / (α, α) \in Z

; reflections

s_{α}

permute

Φ

. This makes

Φ

an abstract root system. Step 5 — Cartan matrix & Dynkin diagram. Choose simple roots

{α_{1}, \dots, α_{ℓ}}

; form the Cartan matrix

C_{ij} = ⟨ α_{i}, α_{j} ⟩

with

C_{ii} = 2

C_{ij} \in {0, - 1, - 2, - 3}

. The angles between simple roots are constrained to

{90°, 120°, 135°, 150°}

. Step 6 — Classification of admissible diagrams. A combinatorial argument (positive-definiteness of

C

) shows the only connected admissible diagrams are the four infinite families and the five exceptionals. Each diagram reconstructs

g

uniquely (Serre relations), completing the classification.

■

Élie Cartan | 1869–1951

Born to a blacksmith in the alpine village of Dolomieu, Isère, Cartan rose through a meritocratic scholarship system, entered the École Normale Supérieure in 1888, and defended his landmark thesis in 1894. He worked in relative obscurity for decades — his abstract style was ahead of its time — before being recognized as a giant. He held chairs at Montpellier, Lyon, Nancy, and finally the Sorbonne (1912–1940). Famously generous and modest, he corresponded with Einstein on teleparallel gravity and influenced Weyl, Chevalley, Ehresmann, and Chern. His son Henri Cartan became a founding member of Bourbaki and a major mathematician in his own right (sheaf theory, homological algebra). Élie's work was so deep that much of twentieth-century differential geometry consists of unpacking it.

Building Intuition

Imagine standing on a curved surface holding a small rigid frame (a set of orthonormal axes). As you walk an infinitesimal loop and return to your start, the frame may come back rotated — that rotation, per unit area, is the curvature. Cartan's structure equation [6] is exactly the bookkeeping of how the frame must rotate ( $ω^{a}_{b}$ ) to stay adapted to the geometry, and the failure of that rotation to be "integrable" (path-independent) is $Ω^{a}_{b}$ . Torsion [5] is a complementary defect: walk along two directions in either order, and torsion measures whether the resulting infinitesimal parallelogram fails to close. The genius of the moving frame method is to stop fighting with coordinates and instead let the frame itself carry all the geometric information, encoded entirely in 1-forms and their exterior derivatives.

Holonomy: parallel transport of a frame around a loop on a curved surface yields a rotation equal to the integrated curvature

Worked Examples

Curvature of the round 2-sphere via moving frames

Given. Sphere of radius

R

with metric

d s^{2} = R^{2} (d ϑ^{2} + sin^{2} ϑ d φ^{2})

. Step 1 — Orthonormal coframe.

θ^{1} = R d ϑ, θ^{2} = R sin ϑ d φ .

⟳read coefficients so that

d s^{2} = (θ^{1})^{2} + (θ^{2})^{2}

Step 2 — Solve first structure equation with zero torsion (

d θ^{a} = - ω^{a}_{b} \land θ^{b}

d θ^{1} = 0

d θ^{2} = R cos ϑ d ϑ \land d φ = cot ϑ d ϑ \land θ^{2}

. With the antisymmetry

ω^{1}_{2} = - ω^{2}_{1}

, one finds

ω^{1}_{2} = - cos ϑ d φ .

⟳try

ω^{1}_{2} = f d φ

; matching

d θ^{2} = - ω^{2}_{1} \land θ^{1} = ω^{1}_{2} \land θ^{1}

fixes

f = - cos ϑ

Step 3 — Second structure equation.

Ω^{1}_{2} = d ω^{1}_{2} = sin ϑ d ϑ \land d φ = \frac{1}{R ^{2}} θ^{1} \land θ^{2} .

⟳

d (- cos ϑ d φ) = sin ϑ d ϑ \land d φ

; convert to the coframe using [8].

Result. Gaussian curvature

K = 1/ R^{2}

(units:

length^{- 2}

), constant and positive, recovered with no Christoffel symbols.

Maurer–Cartan form of $SU(2)$

Given.

g \in S U (2)

g = (a b - \overset{ˉ}{b} \overset{a}{ˉ})

∣ a ∣^{2} + ∣ b ∣^{2} = 1

. Compute

ω = g^{- 1} d g

. Step 1 — Matrix Maurer–Cartan form.

ω = g^{- 1} d g \in su (2),

a traceless anti-Hermitian

2 \times 2

matrix.

⟳for matrix groups the left-invariant form is literally

g^{- 1} d g

;

d (g^{- 1} g) = 0

gives

d (g^{- 1}) = - g^{- 1} d g g^{- 1}

Step 2 — Expand in Pauli basis. Writing

ω = \frac{i}{2} (σ_{1} ω^{1} + σ_{2} ω^{2} + σ_{3} ω^{3})

defines real 1-forms

ω^{j}

, the components of the coframe on the group manifold

S^{3}

. Step 3 — Verify structure equation.

d ω^{1} = - ω^{2} \land ω^{3}, (and cyclic),

the explicit form of

d ω + \frac{1}{2} [ω, ω] = 0

for

su (2) ≅ R^{3}

with the cross product.

⟳

[σ_{a}, σ_{b}] = 2 i ϵ_{ab c} σ_{c}

converts the bracket term to

- ϵ^{a}_{b c} ω^{b} \land ω^{c}

Result.

S U (2) ≅ S^{3}

carries a left-invariant coframe satisfying

d ω^{a} = - \frac{1}{2} ϵ^{a}_{b c} ω^{b} \land ω^{c}

, exhibiting it as a (constant-curvature) Lie group geometry — the structure constants

ϵ_{ab c}

are dimensionless.

Common Misconceptions

Torsion is not curvature, and a "Cartan connection" need not be the Levi-Civita one. Many students conflate the two structure equations. Torsion

T^{a}

[5] measures the failure of infinitesimal parallelograms to close and depends on the antisymmetric part of the connection; curvature

Ω^{a}_{b}

[6] measures holonomy. The Levi-Civita connection is the unique metric-compatible, torsion-free one — but Cartan deliberately studied connections with torsion (e.g. teleparallel gravity, Einstein–Cartan theory), where spin sources torsion. Setting

T^{a} = 0

is a choice, not a theorem. A flat connection can still have nontrivial holonomy. Consider a flat connection (

Ω = 0

) on a non-simply-connected base, e.g. a flat line bundle over the circle

S^{1}

with monodromy

g \in U (1) ∖ {1}

. Locally

A

is pure gauge and curvature vanishes everywhere, yet parallel transport around the loop gives a nontrivial rotation. This shows curvature is only the local obstruction to flatness; global holonomy is governed by

π_{1}

, a distinction Cartan's structure equations alone cannot detect. (This is the genesis of the connection between holonomy and the fundamental group.)

Connections

Cartan's machinery sits at the crossroads of modern geometry. The classification of Lie Algebras feeds directly into Representation Theory and the structure of Symmetric Spaces, which Cartan classified using involutions. His Exterior Derivative and Differential Forms provide the calculus behind de Rham Cohomology and Stokes' Theorem. The connection 1-form [3] and curvature [4] are precisely the Gauge Theory potentials and field strengths, linking him to Yang–Mills Theory and the Principal Bundle formalism. His structure equations [5]–[6] are the frame-bundle expression of Riemannian Geometry and feed into General Relativity via the tetrad/Cartan formalism. Spinors connect to Clifford Algebra and the Dirac Equation.

Real-World Applications

General Relativity (tetrad/Cartan formalism). The vierbein $θ^{a}$ and spin connection $ω^{a}_{b}$ recast Einstein's equations; the Palatini and Einstein–Cartan formulations treat torsion as sourced by spin, relevant in early-universe and high-density physics.
Yang–Mills gauge theory & the Standard Model. Gauge fields are connection 1-forms on principal $S U (3) \times S U (2) \times U (1)$ bundles; field strengths are curvature 2-forms [4]. The entire bundle language is Cartan–Ehresmann.
Spinors and the Dirac equation. Cartan's 1913 spinors are the representation-theoretic basis for fermion fields; double covers $Spin (n) \to S O (n)$ underlie particle physics.
Robotics and kinematics. Moving frames and the Maurer–Cartan form of $S E (3)$ describe rigid-body motion; screw theory and the product-of-exponentials formula are Lie-group kinematics.
Geometric control theory & nonholonomic systems. Cartan's exterior differential systems and the theory of Pfaffian systems (Frobenius/Cartan–Kähler) classify controllability and integrability of underactuated systems.
Computer vision & shape recognition. The method of moving frames yields differential invariants (Olver's equivariant moving frames) used for invariant signatures of curves and surfaces.
Integrable systems & soliton equations. Many integrable PDEs arise as flat-connection (zero-curvature) conditions $d ω + \frac{1}{2} [ω, ω] = 0$ — a direct application of [2].

Historical Development

1888–1891: Cartan enters the École Normale Supérieure; absorbs the work of Sophus Lie and Wilhelm Killing on continuous groups.
1894: Doctoral thesis Sur la structure des groupes de transformations finis et continus — rigorously establishes and corrects Killing's classification of complex simple Lie algebras; proves the conjugacy of Cartan subalgebras and Cartan's solvability criterion.
1899–1902: Develops the exterior calculus and the theory of Pfaffian systems, introducing the exterior derivative in its modern form.
1904–1908: Work on infinite-dimensional ("infinite continuous") pseudogroups; foundational papers on the general theory of moving frames (repère mobile).
1913: Discovers spinors while classifying the irreducible representations of the orthogonal Lie algebras.
1914–1925: Classifies the real forms of simple Lie algebras and develops the theory of symmetric spaces (essentially complete by 1926–27 in joint context with the theory of Riemannian holonomy).
1922–1925: Introduces the general notion of a connection (affine, projective, conformal, "Cartan geometries") generalizing Levi-Civita; correspondence with Einstein on teleparallelism (1929).
1925–1930: La théorie des groupes finis et continus et l'Analysis Situs and work linking topology of Lie groups to their algebra (with influence on de Rham and Hopf).
1945: Les systèmes différentiels extérieurs et leurs applications géométriques consolidates the Cartan–Kähler theory of exterior differential systems.

Subtleties & Limits

Equivalence problems and the reach of the moving-frame method. Cartan's general equivalence method seeks complete invariants determining when two geometric structures (G-structures, PDE systems, Cartan geometries) are locally equivalent. While powerful, its full algorithmic content — managing the prolongation and involutivity of exterior differential systems (Cartan–Kähler theorem requires real-analyticity; the smooth case is governed by the harder Cartan–Kuranishi prolongation) — remains computationally formidable, and a fully effective classification of singular/non-involutive systems is open. Likewise, the classification of pseudogroups (Cartan's "infinite continuous groups") was not put on fully rigorous modern footing until much later (Kuranishi, Singer–Sternberg, and ongoing work in the geometry of jets and PDEs), and a complete intrinsic theory of parabolic geometries and their invariants (the modern descendant via Tanaka–Morimoto) is still actively developed. Determining sharp existence/regularity for general Cartan-geometric structures continues to generate open questions.