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)=XYeiYXei[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)XejY(Θ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.