Cartan's second structure equation (curvature) in the frame bundle
Let be an -dimensional smooth manifold and let be its frame bundle, a principal G-bundle with structure group . Fix a principal connection , where is the Lie algebra of .
Statement (frame bundle formulation)
The curvature of is the -valued -form defined by
This identity is Cartan’s second structure equation, where is the exterior derivative and the bracket wedge is defined by
using the Lie bracket on .
The form is horizontal and -equivariant. Under the usual correspondence between principal connections on and linear connections on , encodes the Riemann curvature tensor of the induced connection on the tangent bundle .
Examples
Flat connection in a global frame.
If with its standard frame and , then by the second structure equation.Constant sectional curvature model.
For the round sphere with its Levi-Civita connection, in a local orthonormal coframe one has curvature -forms of the schematic shapereflecting constant sectional curvature .
Product connections.
If and the connection on is the product of connections on the factors, then is block-diagonal with blocks given by the curvature forms from each factor, and there are no mixed curvature terms.