Misplaced Pages

Curvature form

Article snapshot taken from Wikipedia with creative commons attribution-sharealike license. Give it a read and then ask your questions in the chat. We can research this topic together.
Term in differential geometry

In differential geometry, the curvature form describes curvature of a connection on a principal bundle. The Riemann curvature tensor in Riemannian geometry can be considered as a special case.

Definition

Let G be a Lie group with Lie algebra g {\displaystyle {\mathfrak {g}}} , and P → B be a principal G-bundle. Let ω be an Ehresmann connection on P (which is a g {\displaystyle {\mathfrak {g}}} -valued one-form on P).

Then the curvature form is the g {\displaystyle {\mathfrak {g}}} -valued 2-form on P defined by

Ω = d ω + 1 2 [ ω ∧ ω ] = D ω . {\displaystyle \Omega =d\omega +{1 \over 2}=D\omega .}

(In another convention, 1/2 does not appear.) Here d {\displaystyle d} stands for exterior derivative, [ ⋅ ∧ ⋅ ] {\displaystyle } is defined in the article "Lie algebra-valued form" and D denotes the exterior covariant derivative. In other terms,

Ω ( X , Y ) = d ω ( X , Y ) + 1 2 [ ω ( X ) , ω ( Y ) ] {\displaystyle \,\Omega (X,Y)=d\omega (X,Y)+{1 \over 2}}

where X, Y are tangent vectors to P.

There is also another expression for Ω: if X, Y are horizontal vector fields on P, then

σ Ω ( X , Y ) = − ω ( [ X , Y ] ) = − [ X , Y ] + h [ X , Y ] {\displaystyle \sigma \Omega (X,Y)=-\omega ()=-+h}

where hZ means the horizontal component of Z, on the right we identified a vertical vector field and a Lie algebra element generating it (fundamental vector field), and σ ∈ { 1 , 2 } {\displaystyle \sigma \in \{1,2\}} is the inverse of the normalization factor used by convention in the formula for the exterior derivative.

A connection is said to be flat if its curvature vanishes: Ω = 0. Equivalently, a connection is flat if the structure group can be reduced to the same underlying group but with the discrete topology.

Curvature form in a vector bundle

If E → B is a vector bundle, then one can also think of ω as a matrix of 1-forms and the above formula becomes the structure equation of E. Cartan:

Ω = d ω + ω ∧ ω , {\displaystyle \,\Omega =d\omega +\omega \wedge \omega ,}

where ∧ {\displaystyle \wedge } is the wedge product. More precisely, if ω i j {\displaystyle {\omega ^{i}}_{j}} and Ω i j {\displaystyle {\Omega ^{i}}_{j}} denote components of ω and Ω correspondingly, (so each ω i j {\displaystyle {\omega ^{i}}_{j}} is a usual 1-form and each Ω i j {\displaystyle {\Omega ^{i}}_{j}} is a usual 2-form) then

Ω j i = d ω i j + ∑ k ω i k ∧ ω k j . {\displaystyle \Omega _{j}^{i}=d{\omega ^{i}}_{j}+\sum _{k}{\omega ^{i}}_{k}\wedge {\omega ^{k}}_{j}.}

For example, for the tangent bundle of a Riemannian manifold, the structure group is O(n) and Ω is a 2-form with values in the Lie algebra of O(n), i.e. the antisymmetric matrices. In this case the form Ω is an alternative description of the curvature tensor, i.e.

R ( X , Y ) = Ω ( X , Y ) , {\displaystyle \,R(X,Y)=\Omega (X,Y),}

using the standard notation for the Riemannian curvature tensor.

Bianchi identities

See also: Contracted Bianchi identities See also: Riemann curvature tensor § Symmetries and identities

If θ {\displaystyle \theta } is the canonical vector-valued 1-form on the frame bundle, the torsion Θ {\displaystyle \Theta } of the connection form ω {\displaystyle \omega } is the vector-valued 2-form defined by the structure equation

Θ = d θ + ω ∧ θ = D θ , {\displaystyle \Theta =d\theta +\omega \wedge \theta =D\theta ,}

where as above D denotes the exterior covariant derivative.

The first Bianchi identity takes the form

D Θ = Ω ∧ θ . {\displaystyle D\Theta =\Omega \wedge \theta .}

The second Bianchi identity takes the form

D Ω = 0 {\displaystyle \,D\Omega =0}

and is valid more generally for any connection in a principal bundle.

The Bianchi identities can be written in tensor notation as: R a b m n ; ℓ + R a b ℓ m ; n + R a b n ℓ ; m = 0. {\displaystyle R_{abmn;\ell }+R_{ab\ell m;n}+R_{abn\ell ;m}=0.}

The contracted Bianchi identities are used to derive the Einstein tensor in the Einstein field equations, the bulk of general theory of relativity.

Notes

  1. since [ ω ∧ ω ] ( X , Y ) = 1 2 ( [ ω ( X ) , ω ( Y ) ] − [ ω ( Y ) , ω ( X ) ] ) {\displaystyle (X,Y)={\frac {1}{2}}(-)} . Here we use also the σ = 2 {\displaystyle \sigma =2} Kobayashi convention for the exterior derivative of a one form which is then d ω ( X , Y ) = 1 2 ( X ω ( Y ) − Y ω ( X ) − ω ( [ X , Y ] ) ) {\displaystyle d\omega (X,Y)={\frac {1}{2}}(X\omega (Y)-Y\omega (X)-\omega ())}
  2. Proof: σ Ω ( X , Y ) = σ d ω ( X , Y ) = X ω ( Y ) − Y ω ( X ) − ω ( [ X , Y ] ) = − ω ( [ X , Y ] ) . {\displaystyle \sigma \Omega (X,Y)=\sigma d\omega (X,Y)=X\omega (Y)-Y\omega (X)-\omega ()=-\omega ().}

References

See also

Various notions of curvature defined in differential geometry
Differential geometry
of curves
Differential geometry
of surfaces
Riemannian geometry
Curvature of connections
Categories: