Cartan Structure Equations — Mathematics Knowledge System

Overview

The Cartan structure equations express the torsion and curvature of a connection in terms of differential forms — the connection 1-forms ω^i_j and the curvature 2-forms Ω^i_j. Introduced by Élie Cartan in the 1920s, this moving-frames approach gives a powerful computational and conceptual tool that avoids cumbersome Christoffel symbol calculations. The structure equations relate ω, Ω, and the dual coframe via exterior derivatives.

Intuition

In classical tensor calculus, the curvature tensor has 4 indices and dozens of components. Cartan's idea: choose a moving frame (a locally-defined orthonormal basis of tangent vectors) and encode all connection data in a matrix of 1-forms. The structure equations then say that the exterior derivative of the coframe equals torsion, and the exterior derivative of the connection form equals curvature minus a self-interaction term. This is analogous to the Maurer-Cartan equation in Lie theory.

Formal Definition

Definition

Let M be a smooth manifold with a connection ∇ on TM. Choose a local frame {e₁,...,eₙ} with dual coframe {θ¹,...,θⁿ} (so θⁱ(eⱼ) = δⁱⱼ). Define the connection 1-forms ω^i_j by ∇_X eⱼ = ω^i_j(X) eᵢ.

d\theta^i + \omega^i{}_j \wedge \theta^j = \Theta^i

Θⁱ is the torsion 2-form; Θ = 0 for torsion-free connections (e.g., Levi-Civita)

First Cartan structure equation (torsion)

d\omega^i{}_j + \omega^i{}_k \wedge \omega^k{}_j = \Omega^i{}_j

Ω^i_j is the curvature 2-form; relates to the Riemann tensor by Ω^i_j = ½ R^i_{jkl} θ^k ∧ θ^l

Second Cartan structure equation (curvature)

\Omega^i{}_j = \frac{1}{2} R^i{}_{jkl}\, \theta^k \wedge \theta^l

Curvature 2-form in terms of Riemann tensor

Theorems

Theorem 1: Bianchi Identities via Structure Equations

\text{Taking the exterior derivative of the structure equations and using } d^2=0 \text{ yields the Bianchi identities: } d\Omega^i{}_j + \omega^i{}_k \wedge \Omega^k{}_j - \Omega^i{}_k \wedge \omega^k{}_j = 0.

Theorem 2: Levi-Civita Connection in Frame Form

\text{For an orthonormal frame on a Riemannian manifold, the Levi-Civita connection forms satisfy } \omega_{ij} + \omega_{ji} = 0 \text{ (skew-symmetry) and } d\theta^i + \omega^i{}_j \wedge \theta^j = 0 \text{ (torsion-free).}

Worked Examples

1
Take the orthonormal coframe: θ¹ = dθ, θ² = sin θ dφ. The connection 1-form ω¹_₂ must satisfy the first structure equation with zero torsion: dθ¹ + ω¹_₂ ∧ θ² = 0 and dθ² + ω²_₁ ∧ θ¹ = 0.
$\theta^1 = d\theta, \quad \theta^2 = \sin\theta\, d\phi$
2
Compute exterior derivatives: dθ¹ = 0, dθ² = cos θ dθ ∧ dφ = cos θ θ¹ ∧ (θ²/sin θ) = (cos θ/sin θ) θ¹ ∧ θ².
$d\theta^1 = 0, \quad d\theta^2 = \cos\theta\, d\theta \wedge d\phi = \frac{\cos\theta}{\sin\theta}\, \theta^1 \wedge \theta^2$
3
From dθ¹ + ω¹_₂ ∧ θ² = 0: ω¹_₂ ∧ sin θ dφ = 0. Try ω¹_₂ = f(θ,φ) dφ; then f · sin θ · (dφ ∧ dφ) = 0, consistent. From dθ² + ω²_₁ ∧ θ¹ = 0: (cos θ/sin θ) θ¹ ∧ θ² + ω²_₁ ∧ θ¹ = 0. So ω²_₁ = −(cos θ/sin θ) θ² = −cos θ dφ. Since ω¹_₂ = −ω²_₁ (skew-symmetry): ω¹_₂ = cos θ dφ.
$\omega^1{}_2 = \cos\theta\, d\phi$
4
Apply the second structure equation: Ω¹_₂ = dω¹_₂ + ω¹_k ∧ ω^k_₂. With only one off-diagonal form:
$\Omega^1{}_2 = d(\cos\theta\, d\phi) = -\sin\theta\, d\theta \wedge d\phi = -\theta^1 \wedge \frac{\theta^2}{\sin\theta} \cdot \sin\theta = -\theta^1 \wedge \theta^2$
5
But Ω¹_₂ = ½ R¹_{212} θ¹ ∧ θ² + ... In 2D: Ω¹_₂ = K · θ¹ ∧ θ² where K is the Gaussian curvature. Comparing: K = 1.
$\Omega^1{}_2 = -\theta^1 \wedge \theta^2 \implies K = 1$

✓ Answer

Using the Cartan structure equations with orthonormal coframe θ¹ = dθ, θ² = sin θ dφ, the connection 1-form is ω¹_₂ = cos θ dφ and the curvature 2-form is Ω¹_₂ = −θ¹ ∧ θ² = K θ¹ ∧ θ², giving K = 1.

Practice Problems

Hardfree response

For a Riemannian manifold with an orthonormal frame, why must the connection 1-forms satisfy ω_{ij} + ω_{ji} = 0?

Hardfree response

Derive the second Bianchi identity d Ω^i_j − ω^i_k ∧ Ω^k_j + Ω^i_k ∧ ω^k_j = 0 by applying d to the second Cartan structure equation.

Quiz

Summary

Cartan structure equations express the geometry of a connection via differential forms: dθⁱ + ω^i_j ∧ θʲ = Θⁱ (torsion) and dω^i_j + ω^i_k ∧ ω^k_j = Ω^i_j (curvature).
For the Levi-Civita connection in an orthonormal frame: Θⁱ = 0 and ω_{ij} = −ω_{ji}.
The curvature 2-form encodes the Riemann tensor: Ω^i_j = ½ R^i_{jkl} θᵏ ∧ θˡ.
Applying d² = 0 to the structure equations yields the algebraic and differential Bianchi identities.
This moving-frames approach is computationally powerful: to find K on S², it reduces to a one-line exterior derivative.