Cartan's second structure equation (curvature) in the frame bundle

On the frame bundle, the curvature form is given by d omega plus one half the bracket of omega with itself.
Cartan’s second structure equation (curvature) in the frame bundle

Let MM be an nn-dimensional and let π:F(M)M\pi:F(M)\to M be its frame bundle, a with structure group G=GL(n,R)G=\mathrm{GL}(n,\mathbb{R}). Fix a ωΩ1(F(M);gl(n,R))\omega\in\Omega^1(F(M);\mathfrak{gl}(n,\mathbb{R})), where gl(n,R)\mathfrak{gl}(n,\mathbb{R}) is the of GG.

Statement (frame bundle formulation)

The of ω\omega is the gl(n,R)\mathfrak{gl}(n,\mathbb{R})-valued 22-form ΩΩ2(F(M);gl(n,R))\Omega\in\Omega^2(F(M);\mathfrak{gl}(n,\mathbb{R})) defined by

Ω  :=  dω  +  12[ωω]. \Omega \;:=\; d\omega \;+\;\tfrac12[\omega\wedge\omega].

This identity is Cartan’s second structure equation, where dd is the and the bracket wedge is defined by

[ωω](V,W)  =  [ω(V),ω(W)], [\omega\wedge\omega](V,W)\;=\;[\omega(V),\omega(W)],

using the on gl(n,R)\mathfrak{gl}(n,\mathbb{R}).

The form Ω\Omega is horizontal and GG-equivariant. Under the usual correspondence between principal connections on F(M)F(M) and linear connections on TMTM, Ω\Omega encodes the Riemann curvature tensor of the induced connection on the .

Examples

  1. Flat connection in a global frame.
    If M=RnM=\mathbb{R}^n with its standard frame and ω=0\omega=0, then Ω=0\Omega=0 by the second structure equation.

  2. Constant sectional curvature model.
    For the round sphere with its Levi-Civita connection, in a local orthonormal coframe one has curvature 22-forms of the schematic shape

    Ωij=Kθiθj, \Omega^i{}_j = K\,\theta^i\wedge\theta^j,

    reflecting constant sectional curvature K>0K>0.

  3. Product connections.
    If M=M1×M2M=M_1\times M_2 and the connection on TMTM1TM2TM\cong TM_1\oplus TM_2 is the product of connections on the factors, then Ω\Omega is block-diagonal with blocks given by the curvature forms from each factor, and there are no mixed curvature terms.