Torsion of a linear connection: Difference between revisions

From Diffgeom
(Started the page)
 
 
(7 intermediate revisions by the same user not shown)
Line 1: Line 1:
{{tensoroftype|(1,2)}}
==Definition==
==Definition==


Line 4: Line 6:


* A [[differential manifold]] <math>M</math>
* A [[differential manifold]] <math>M</math>
* A [[linear connection]] <math>\nabla</math> on <math>M</math> (viz a connection on the [[tangent bundle]] <math>TM</math>).
* A [[linear connection]] <math>\nabla</math> on <math>M</math> (viz., a connection on the [[tangent bundle]] <math>TM</math>).


===Definition part===
===Definition part===
Line 10: Line 12:
The torsion of <math>\nabla</math>, denoted as <math>\tau(\nabla)</math>, is defined as a map that takes as input 2 vector fields and outputs a third vector field, as follows:
The torsion of <math>\nabla</math>, denoted as <math>\tau(\nabla)</math>, is defined as a map that takes as input 2 vector fields and outputs a third vector field, as follows:


<math>\tau(\nabla)(X,Y) = \nabla_XY - \nabla_YX - [X,Y]</math>
<math>\tau(\nabla)(X,Y) = \nabla_X Y- \nabla_Y X - [X,Y]</math>


A linear connection whose torsion is zero is termed a '''torsion-free linear connection'''.
A linear connection whose torsion is zero is termed a [[torsion-free linear connection]].
 
==Facts==


===Tensoriality===
===Tensoriality===


The torsion map is a <math>(1,2)</math> tensor. It is tensorial in both <math>X</math> and <math>Y</math>. This can actually be easily checked by hand.
{{further|[[Torsion is tensorial]]}}
 
The torsion map is a <math>(1,2)</math> tensor. It is tensorial in both <math>X</math> and <math>Y</math>. This means that the value of the torsion of a connection for two vector fields at a point depends only on the values of the vector fields at that point. In other words, <math>\tau(\nabla)(X,Y)</math> at <math>p</math> depends on <math>\nabla, X(p), Y(p)</math> only and does not depend on how <math>X</math> and <math>Y</math> behave elsewhere on the manifold.
 
===Antisymmetry===
 
{{further|[[Torsion is antisymmetric]]}}
 
We have that the torsion tensor is antisymmetric, i.e., we have:
 
<math>\tau(\nabla)(Y,X) = -\tau(\nabla)(X,Y)</math>
 
Equivalently, we have that:
 
<math>\tau(\nabla)(X,X) = 0</math>

Latest revision as of 17:57, 6 January 2012

This article defines a tensor (viz a section on a tensor bundle over the manifold) of type (1,2)

Definition

Given data

Definition part

The torsion of , denoted as τ(), is defined as a map that takes as input 2 vector fields and outputs a third vector field, as follows:

τ()(X,Y)=XYYX[X,Y]

A linear connection whose torsion is zero is termed a torsion-free linear connection.

Facts

Tensoriality

Further information: Torsion is tensorial

The torsion map is a (1,2) tensor. It is tensorial in both X and Y. This means that the value of the torsion of a connection for two vector fields at a point depends only on the values of the vector fields at that point. In other words, τ()(X,Y) at p depends on ,X(p),Y(p) only and does not depend on how X and Y behave elsewhere on the manifold.

Antisymmetry

Further information: Torsion is antisymmetric

We have that the torsion tensor is antisymmetric, i.e., we have:

τ()(Y,X)=τ()(X,Y)

Equivalently, we have that:

τ()(X,X)=0