Torsion

In mathematics, the term torsion has several meanings, mostly unrelated to each other.

~ ~ ~ ~ ~ ~ ~ ~ ~ ~

Differential geometry of curves

In the elementary differential geometry of curves in three dimensions, the torsion of a curve measures how sharply it is twisting. It is analogous to curvature in two dimensions. Given a function r(t) with values in R3, the torsion at a given value of t is

~ ~ ~ ~ ~ ~ ~ ~ ~ ~

~ ~ ~ ~ ~ ~ ~ ~ ~ ~

: au = = .

~ ~ ~ ~ ~ ~ ~ ~ ~ ~

Here the primes denote the derivatives of r with respect to t; if the cross product in the denominator is zero, the torsion τ is defined to be zero as well.

~ ~ ~ ~ ~ ~ ~ ~ ~ ~

The torsion of a curve will be zero if and only if the curve sits inside a fixed plane. It is positive for right-handed spirals and negative for left-handed ones.

~ ~ ~ ~ ~ ~ ~ ~ ~ ~

Torsion tensor of a connection

A second meaning of torsion in differential geometry is the torsion tensor, which depends on an affine connection abla. It is a (1,2) tensor given by the formula

~ ~ ~ ~ ~ ~ ~ ~ ~ ~

:T(u,v)= abla_u v - abla_v u -

~ ~ ~ ~ ~ ~ ~ ~ ~ ~

where is the Lie bracket of the two vector fields.

~ ~ ~ ~ ~ ~ ~ ~ ~ ~

A connection is torsion free if its torsion tensor is identically zero. Torsion free connections are considered most frequently - the Levi-Civita connection is assumed to have zero torsion, for instance.

~ ~ ~ ~ ~ ~ ~ ~ ~ ~

See also Connection form.

~ ~ ~ ~ ~ ~ ~ ~ ~ ~

Abstract algebra

In abstract algebra, the torsion subgroup of an abelian group consists of all elements of finite order. An abelian group is called torsion-free if and only if the identity is the only element that has finite order. (This concept generalises to that of a torsion module.) In the Tor functors of homological algebra, which arise because tensor product does not in general preserve exact sequences, the symbol Tor does stand for this kind of algebraic torsion, historically speaking anyway. These functors were introduced in order to make systematic the universal coefficient theorem of homology theory, in cases where the homology groups Hi(X,Z) of a space X had some torsion.

~ ~ ~ ~ ~ ~ ~ ~ ~ ~

Topology

Some topological invariants are called torsions: for example the Reidemeister-Schreier torsion of a group acting on a finite complex; and also the analytic torsion defined using Laplacians.

~ ~ ~ ~ ~ ~ ~ ~ ~ ~

See also

• torsion group

Differential geometry of curves: In mathematics, the differential geometry of curves provides definitions and methods to analyze smooth curves in Riemannian manifolds and Pseudo-Riemannian manifolds (and in particular in Euclidean space) using differential and integral calculus....

Curve: In mathematics, the concept of a curve tries to capture the intuitive idea of a geometrical one-dimensional and continuous object. Simple examples are the circle or the straight line. A large number of other curves have been studied in geometry....

Curvature: Curvature is the amount by which a geometric object deviates from being flat....