Curvature of a connection: Difference between revisions

From Diffgeom
Line 13: Line 13:
<math>R(X,Y) = \nabla_X \circ \nabla_Y - \nabla_Y \circ \nabla_X - \nabla_{[X,Y]}</math>
<math>R(X,Y) = \nabla_X \circ \nabla_Y - \nabla_Y \circ \nabla_X - \nabla_{[X,Y]}</math>


where <math>X, Y \in \Gamma
where <math>X, Y \in \Gamma</math>


Note that <math>R(X,Y)</math> itself outputs a linear map <math>\Gamma(E) \to \Gamma(E)</math>. We can thus write this as:
Note that <math>R(X,Y)</math> itself outputs a linear map <math>\Gamma(E) \to \Gamma(E)</math>. We can thus write this as:

Revision as of 12:05, 1 March 2007

Definition

Given data

Definition part

The curvature of is defined as the map:

where

Note that itself outputs a linear map . We can thus write this as:

In the linear case

In the special case where , we have that . We can thus think of this map as a (1,3)-tensor because it takes as input three vector fields and outputs one vector field.

This is the famed Riemann curvature tensor that is important for its algebraic and differential properties.