Curvature of a connection: Difference between revisions
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
- A connected differential manifold
- A vector bundle over
- A connection for
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.