Cartan's second structural equation

See @lee2006riemannian exercise 7-2 or @Morita theorem 5.21.
Consider a Riemannian manifold (M,g). The Levi-Civita connection is described, in a local frame {e1,…,en}, by the connection forms Θ. This connection is a connection on a fiber bundle , so it has a curvature which, expressed in the local frame, turns out to be

Ω:=dΘ−Θ∧Θ

i.e., the curvature 2-forms.
On the other hand, the metric induces the Riemann curvature tensor R.

Theorem (Cartan's second structural equation). It is satisfied that

R(X,Y)(ei)=Ωij(X,Y)ej.

Written in components we have

Riabj=Ωij(ea,eb).

◼
Proof:
According to the definition of the Riemann curvature tensor

R(X,Y)(ei)=∇X∇Yei−∇Y∇Xei−∇[X,Y]ei.

and denoting by Θ the connection 1-forms, we have

R(X,Y)(ei)=∇X[Θij(Y)ej]−∇Y[Θij(X)ej]−Θij([X,Y])ej==X(Θij(Y))ej+Θij(Y)∇Xej−Y(Θij(X))ej−Θij(X)∇Yej−Θij([X,Y])ej.

Using infinitesimal Stokes' theorem we have:

R(X,Y)(ei)=dΘij(X,Y)ej+Θij(Y)∇Xej−Θij(X)∇Yej

And then

R(X,Y)(ei)=dΘij(X,Y)ej+Θij(Y)Θjk(X)ek−Θij(X)Θjk(Y)ek=

and renaming indices

R(X,Y)(ei)=dΘij(X,Y)ej−Θik∧Θkj(X,Y)ej==(dΘij(X,Y)+Θkj∧Θik(X,Y))ej

And by definition of curvature 2-forms

R(X,Y)(ei)=Ωij(X,Y)ej.

Remarks

  1. In a flat space dΘ=−Θ∧Θ.
  2. Related to the Maurer-Cartan equation, see Generalization of the flatness of R3.

Related: Cartan's first structural equation.