# Curvature form

Curvature form

In differential geometry, the curvature form describes curvature of a connection on a principal bundle. It can be considered as an alternative to or generalization of curvature tensor in Riemannian geometry.

## Definition

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

Then the curvature form is the $\mathfrak g$-valued 2-form on P defined by

$\Omega=d\omega +{1\over 2}[\omega,\omega]=D\omega.$

Here d stands for exterior derivative, $[\cdot,\cdot]$ is defined by $[\alpha \otimes X, \beta \otimes Y] := \alpha \wedge \beta \otimes [X, Y]_\mathfrak{g}$ and D denotes the exterior covariant derivative. In other terms,

$\,\Omega(X,Y)=d\omega(X,Y) + [\omega(X),\omega(Y)].$

### Curvature form in a vector bundle

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

$\,\Omega=d\omega +\omega\wedge \omega,$

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

$\Omega^i_{\ j}=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 o(n), the antisymmetric matrices. In this case the form Ω is an alternative description of the curvature tensor, i.e.

$\,R(X,Y)=\Omega(X,Y),$

using the standard notation for the Riemannian curvature tensor,

## Bianchi identities

If θ is the canonical vector-valued 1-form on the frame bundle, the torsion Θ of the connection form ω is the vector-valued 2-form defined by the structure equation

$\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\Theta=\Omega\wedge\theta.$

The second Bianchi identity takes the form

$\, D \Omega = 0$

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

## References

• S.Kobayashi and K.Nomizu, "Foundations of Differential Geometry", Chapters 2 and 3, Vol.I, Wiley-Interscience.

Wikimedia Foundation. 2010.

### Look at other dictionaries:

• Curvature — In mathematics, curvature refers to any of a number of loosely related concepts in different areas of geometry. Intuitively, curvature is the amount by which a geometric object deviates from being flat, or straight in the case of a line, but this …   Wikipedia

• Curvature of Riemannian manifolds — In mathematics, specifically differential geometry, the infinitesimal geometry of Riemannian manifolds with dimension at least 3 is too complicated to be described by a single number at a given point. Riemann introduced an abstract and rigorous… …   Wikipedia

• Curvature tensor — In differential geometry, the term curvature tensor may refer to: the Riemann curvature tensor of a Riemannian manifold see also Curvature of Riemannian manifolds; the curvature of an affine connection or covariant derivative (on tensors); the… …   Wikipedia

• Curvature — Cur va*ture (k?r v? t?r; 135), n. [L. curvatura. See {Curvate}.] 1. The act of curving, or the state of being bent or curved; a curving or bending, normal or abnormal, as of a line or surface from a rectilinear direction; a bend; a curve. Cowper …   The Collaborative International Dictionary of English

• Curvature of the spine — Curvature Cur va*ture (k?r v? t?r; 135), n. [L. curvatura. See {Curvate}.] 1. The act of curving, or the state of being bent or curved; a curving or bending, normal or abnormal, as of a line or surface from a rectilinear direction; a bend; a… …   The Collaborative International Dictionary of English

• Curvature of a measure — In mathematics, the curvature of a measure defined on the Euclidean plane R2 is a quantification of how much the measure s distribution of mass is curved . It is related to notions of curvature in geometry. In the form presented below, the… …   Wikipedia

• Curvature collineation — A curvature collineation (often abbreviated to CC) is vector field which preserves the Riemann tensor in the sense that, where Rabcd are the components of the Riemann tensor. The set of all smooth curvature collineations forms a Lie algebra under …   Wikipedia

• curvature — n. 1 the act or state of curving. 2 a curved form. 3 Geom. a the deviation of a curve from a straight line, or of a curved surface from a plane. b the quantity expressing this. Etymology: OF f. L curvatura (as CURVE) …   Useful english dictionary

• Connection form — In mathematics, and specifically differential geometry, a connection form is a manner of organizing the data of a connection using the language of moving frames and differential forms. Historically, connection forms were introduced by Élie Cartan …   Wikipedia

• Principal curvature — Saddle surface with normal planes in directions of principal curvatures In differential geometry, the two principal curvatures at a given point of a surface are the eigenvalues of the shape operator at the point. They measure how the surface… …   Wikipedia