Curvature of a connection: Difference between revisions

From Diffgeom
No edit summary
No edit summary
Line 1: Line 1:
{{further|[[Riemann curvature tensor]]}}
{{quotation|''This curvature is also sometimes known as the '''Riemann curvature tensor'''. However, the latter term is usually reserved for situations where we have a [[linear connection]], in particular, the [[Levi-Civita connection]] for a [[Riemannian manifold]]}}
==Definition==
==Definition==


Line 22: Line 22:
===In the linear case===
===In the linear case===


In the special case where <math>E = TM</math>, we have that <math>X,Y, Z \in \Gamma(TM)</math>. 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.
In the special case where <math>E = TM</math> (the case of a [[linear connection]]) we get that <math>X,Y, Z \in \Gamma(TM)</math>. 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.
==Properties==
 
===Tensoriality===
 
{{further|[[Curvature is tensorial]]}}

Revision as of 00:51, 5 April 2008

This curvature is also sometimes known as the Riemann curvature tensor. However, the latter term is usually reserved for situations where we have a linear connection, in particular, the Levi-Civita connection for a Riemannian manifold

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 (the case of a linear connection) we get 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.

Properties

Tensoriality

Further information: Curvature is tensorial