Torsion tensor and the two Cartan structural equations

Intuition [Beginner]

The torsion of a connection measures how much the connection fails to be symmetric. Given a connection on a manifold, you can move vectors along paths using parallel transport. Torsion captures the mismatch when you go around an infinitesimal parallelogram in two different orders.

Imagine walking on a grid. Take a step east, then a step north. Now start over: step north, then east. On a flat surface, you arrive at the same point. On a twisted surface with torsion, the two paths end up at different points. The gap between the two endpoints is the torsion.

Cartan's two structural equations summarize all the local geometry of a connection on the frame bundle. The first structural equation defines the torsion in terms of the connection form and the canonical 1-form. The second structural equation defines the curvature in terms of the connection form alone.

Together, these two equations are the foundation of Cartan's approach to differential geometry. From them, the Bianchi identities follow by differentiation, and the entire local theory of connections unfolds.

Visual [Beginner]

An infinitesimal parallelogram on a surface. Two paths are drawn: first step in the $X$ direction then $Y$, and first $Y$ then $X$. The gap between the endpoints is the torsion vector. When torsion is zero, the parallelogram closes.

Torsion measures the failure of the infinitesimal parallelogram to close.

Worked example [Beginner]

On ${\mathbb{R}}^3$ with coordinates $(x,y,z)$, consider the connection defined by declaring the frame $(e_1,e_2,e_3)=(\frac{d}{dx},\frac{d}{dy}+x\frac{d}{dz},\frac{d}{dz})$ to be parallel. The connection form in this frame has ${\omega }_2^1=dx$ and all other components zero.

The torsion tensor has a single independent component: $T(e_1,e_2)$ is the difference between the covariant derivatives of $e_2$ along $e_1$ and $e_1$ along $e_2$, minus their Lie bracket. Since $e_1=\frac{d}{dx}$ and $e_2=\frac{d}{dy}+x\frac{d}{dz}$, the Lie bracket $[e_1,e_2]=\frac{d}{dz}=e_3$. Both covariant derivatives vanish (parallel frame), so:

$$T(e_1,e_2)=-e_3$$

The torsion is nonzero: the connection "twists" the coordinate grid. The Levi-Civita connection (torsion-free) would differ from this connection by a contorsion tensor.

Check your understanding [Beginner]

Formal definition [Intermediate+]

Definition (Torsion form). Let $P=\mathrm{Fr}(M)$ be the frame bundle of an $n$-manifold $M$ with connection form $\omega$ and canonical 1-form $\theta$. The torsion 2-form is:

$$\Theta =d\theta +\omega \wedge \theta$$

First structural equation (Cartan). $\Theta =d\theta +\omega \wedge \theta$.

Second structural equation (Cartan). $\Omega =d\omega +\omega \wedge \omega$.

Here $\omega$ is the $\mathfrak{gl}(n)$-valued connection 1-form, $\theta$ is the ${\mathbb{R}}^n$-valued canonical 1-form (soldering form), $\Theta$ is the ${\mathbb{R}}^n$-valued torsion 2-form, and $\Omega$ is the $\mathfrak{gl}(n)$-valued curvature 2-form.

The torsion tensor. The torsion 2-form $\Theta$ is horizontal and equivariant, so it descends to a tensor $T\in {\Omega }^2(M,TM)$ on the base: $T(X,Y)={\nabla }_{X}Y-{\nabla }_{Y}X-[X,Y]$.

Key theorem with proof [Intermediate+]

Theorem (Bianchi identities). The torsion and curvature forms satisfy:

1. (First Bianchi identity) $d\Theta +\omega \wedge \Theta =\Omega \wedge \theta$
2. (Second Bianchi identity) $d\Omega +\omega \wedge \Omega =0$

Proof. Take the exterior derivative of the first structural equation:

$$d\Theta =d(d\theta )+d(\omega \wedge \theta )=0+d\omega \wedge \theta -\omega \wedge d\theta$$

Substituting $d\omega =\Omega -\omega \wedge \omega$ from the second structural equation and $d\theta =\Theta -\omega \wedge \theta$ from the first:

$$d\Theta =(\Omega -\omega \wedge \omega )\wedge \theta -\omega \wedge (\Theta -\omega \wedge \theta )=\Omega \wedge \theta -\omega \wedge \Theta$$

Rearranging gives the first Bianchi identity. For the second, differentiate $\Omega =d\omega +\omega \wedge \omega$:

$$d\Omega =d(d\omega )+d(\omega \wedge \omega )=0+d\omega \wedge \omega -\omega \wedge d\omega =(\Omega -\omega \wedge \omega )\wedge \omega -\omega \wedge (\Omega -\omega \wedge \omega )=-\omega \wedge \Omega$$

using $\omega \wedge \omega \wedge \omega =\omega \wedge \omega \wedge \omega$. $\square$

Bridge. The Cartan structural equations distill the entire local theory of connections into two compact relations on the frame bundle; the torsion form extends the curvature form into a complete algebraic description of the connection's local behaviour, and the Bianchi identities follow by pure differentiation as algebraic consequences of the structural equations. The first structural equation ties the torsion to the canonical form $\theta$ (the soldering form 03.05.15 that identifies the tangent bundle with an associated bundle of the frame bundle), while the second structural equation defines curvature purely from the connection form, reproducing in the bundle setting the curvature definitions from parallel transport 03.05.11.

Exercises [Intermediate+]

Advanced results [Master]

Contorsion tensor. Given a metric connection with torsion $T$, there exists a unique torsion-free metric connection $\bar{\nabla }$ (the Levi-Civita connection) and the difference $K=\nabla -\bar{\nabla }$ is the contorsion tensor: $K(X,Y,Z)=\frac{1}{2}(T(X,Y,Z)+T(Y,Z,X)-T(Z,X,Y))$.

Cartan connections. The structural equations generalize to Cartan connections on $H$-bundles, where the connection form takes values in a larger Lie algebra $\mathfrak{g}\supset \mathfrak{h}$ and the soldering form takes values in $\mathfrak{g}/\mathfrak{h}$. This framework encompasses conformal, projective, and other parabolic geometries.

Weitzenbock formula. The torsion appears in Weitzenbock-type formulas relating the Laplacian on forms to the connection Laplacian: $\Delta ={\nabla }^{\ast }\nabla +\text{curvature term}+\text{torsion term}$. In Riemannian geometry (torsion zero), the torsion term vanishes, recovering the classical Lichnerowicz formula.

Synthesis. The Cartan structural equations are the algebraic engine of connection theory, encoding torsion and curvature as the two fundamental 2-forms on the frame bundle; the Bianchi identities follow by formal differentiation and constrain how torsion and curvature can vary across the manifold, while the contorsion tensor decomposes any metric connection into its Levi-Civita part and a torsion-dependent correction. The first structural equation links torsion to the soldering form and hence to the identification of the tangent bundle with an associated bundle of the frame bundle, while the second structural equation defines curvature independently of any soldering. Together, these equations unify the local geometry of connections on the frame bundle into a single algebraic framework that generalizes to Cartan geometries and underlies the Lichnerowicz-Weitzenbock machinery of spectral geometry.

Full proof set [Master]

Proposition (Torsion is a tensor). *The map $T(X,Y)={\nabla }_{X}Y-{\nabla }_{Y}X-[X,Y]$ is $C^{\infty }(M)$-bilinear and hence defines a tensor $T\in \Gamma (TM\otimes {\Lambda }^2{T}^{\ast }M)$.*

Proof. For $f\in C^{\infty }(M)$: $T(fX,Y)={\nabla }_{fX}Y-{\nabla }_Y(fX)-[fX,Y]=f{\nabla }_{X}Y-(Yf)X-f{\nabla }_{Y}X-f[X,Y]+(Yf)X=f({\nabla }_{X}Y-{\nabla }_{Y}X-[X,Y])=fT(X,Y)$. The derivative terms $(Yf)X$ cancel with the Lie bracket terms, confirming $C^{\infty }$-linearity. By antisymmetry $T(X,Y)=-T(Y,X)$, the same holds in the second argument. $\square$

Proposition (Structural equation in a local frame). Let $(e_i)$ be a local frame with dual coframe $({\theta }^i)$ and connection forms ${\omega }_j^i$. The first structural equation reads ${\Theta }^i=d{\theta }^i+{\omega }_j^i\wedge {\theta }^j$ and the second reads ${\Omega }_j^i=d{\omega }_j^i+{\omega }_k^i\wedge {\omega }_j^k$.

Proof. This is the component form of the structural equations on the frame bundle, pulled back via a local section. The canonical 1-form $\theta ={\theta }^i{e}_i$ satisfies $d{\theta }^i=-{\omega }_j^i\wedge {\theta }^j+{\Theta }^i$ by definition of the torsion form. The curvature form $\Omega =d\omega +\omega \wedge \omega$ in components gives ${\Omega }_j^i=d{\omega }_j^i+{\omega }_k^i\wedge {\omega }_j^k$. $\square$

Connections [Master]

The vertical subbundle 03.05.06 and parallel transport 03.05.11 provide the connection machinery from which torsion and curvature are derived; the structural equations express these quantities in terms of the connection form on the frame bundle.

The associated bundle 03.05.13 construction identifies the torsion and curvature as forms on the base valued in the tangent bundle and the adjoint bundle respectively.

The soldering form 03.05.15 is the canonical 1-form $\theta$ that appears in the first structural equation, linking the frame bundle to the tangent bundle.

Bibliography [Master]

@book{kobayashi-nomizu,
  author = {Kobayashi, Shoshichi and Nomizu, Katsumi},
  title = {Foundations of Differential Geometry},
  volume = {1},
  publisher = {Wiley},
  year = {1963}
}

@book{cartan1937,
  author = {Cartan, {\'E}lie},
  title = {Les groupes de transformations continus, infinis, continus},
  publisher = {Hermann},
  year = {1937}
}

@book{husemoller,
  author = {Husemoller, Dale},
  title = {Fibre Bundles},
  edition = {3},
  publisher = {Springer},
  year = {1994}
}

Historical & philosophical context [Master]

Cartan introduced the structural equations in his work on moving frames and exterior differential systems (1899-1926). The first structural equation (defining torsion) appeared in his 1922 paper on generalized spaces. The second structural equation (defining curvature) had earlier roots in Riemann's work and Christoffel's symbols, but Cartan's formulation in terms of differential forms on the frame bundle was new.

Torsion was Cartan's most original contribution to connection theory. While curvature was already understood from Riemannian geometry, Cartan realized that a connection can carry an independent "twisting" measured by the failure of the infinitesimal parallelogram to close. In Riemannian geometry, the Levi-Civita connection has zero torsion, but Cartan showed that other geometries (affine, projective, conformal) have natural connections with torsion.

The Bianchi identities were known for the Levi-Civita connection as the "Bianchi identities" of Riemannian geometry, but Cartan's structural equation framework gave them a clean algebraic derivation: they are consequences of $d^2=0$. This insight — that differential identities follow from the nilpotence of the exterior derivative — is one of the deepest observations in differential geometry, and it underlies the cohomological structure of gauge theory (the BRST formalism).