Cartan's second structural equation
See @lee2006riemannian exercise 7-2 or @Morita theorem 5.21.
Consider a Riemannian manifold
i.e., the curvature 2-forms.
On the other hand, the metric induces the Riemann curvature tensor
Theorem (Cartan's second structural equation). It is satisfied that
Written in components we have
Proof:
According to the definition of the Riemann curvature tensor
and denoting by
Using infinitesimal Stokes' theorem we have:
And then
and renaming indices
And by definition of curvature 2-forms
Remarks
- In a flat space
. - Related to the Maurer-Cartan equation, see Generalization of the flatness of R3.
Related: Cartan's first structural equation.