Torsion tensor
In 1923, Élie Cartan introduced the torsion tensor as a vector-valued 2-form derived from an affine connection. This mathematical object measures how a tangent space displaces when rolled along an infinitesimal parallelogram with sides X and Y. The resulting displacement vector T(X,Y) represents the failure of the parallelogram to close in the tangent space. Unlike curvature which describes rotation, torsion quantifies slipping or twisting during this rolling process. A simple example involves flat Euclidean space where one defines a connection using the cross product. Parallel transport of a vector along the x-axis then traces out a helix rather than a straight line. This helical path demonstrates that non-zero torsion causes frames to twist around the direction of motion. The components of the torsion tensor depend on commutator coefficients of the local basis sections. If the basis is holonomic, meaning Lie brackets vanish, the torsion tensor simplifies significantly. It remains skew symmetric because traversing the circuit in reverse undoes the original displacement.
Imagine rolling a plane along a small circle drawn on a sphere without allowing it to slip. When the plane completes the loop, it returns to its starting point but has rotated due to the sphere's curvature. Now suppose the plane slips or twists while rolling. The traced curve becomes a general shape that may not even be closed. This additional dislocation is exactly what the torsion tensor measures. Consider a piecewise smooth closed loop based at a point p. One can develop this loop into the tangent space at p by solving a differential equation for coordinates. If torsion vanishes, the developed curve forms a closed loop again. With non-zero torsion, the final point shifts away from the start by a vector equal to T(X,Y). This displacement mirrors the Burgers vector found in crystallography where atomic planes shift during deformation. The development process reveals how parallel transport fails to preserve closure when torsion exists. A helix emerges as the path traced by a vector transported along an axis in flat space with specific connection rules. Such geometric visualizations help mathematicians understand abstract algebraic definitions through physical analogies involving screws and rolling surfaces.
The torsion tensor decomposes into two irreducible parts: a trace-free component and a part containing trace terms. Using index notation, one calculates the trace of T as a contraction over its indices. The remaining trace-free portion captures pure twisting behavior independent of volume changes. Bianchi identities link curvature and torsion through cyclic sums over three vector fields X, Y, and Z. These identities hold regardless of whether the underlying manifold possesses metric properties. The first identity relates the covariant derivative of torsion to curvature acting on vectors. The second identity connects derivatives of curvature to commutators involving torsion. Curvature itself is defined as a mapping on vector fields that measures holonomy around infinitesimal loops. Both forms transform equivariantly under right actions of the general linear group GL(n). One can recover the original tensors from their corresponding differential forms using projection maps. This algebraic structure allows researchers to classify connections based on their geodesic sprays. Two connections sharing identical affinely parametrized geodesics differ only by their torsion components. The symmetric part determines geodesic paths while the skew part defines relative torsions between them.
Einstein-Cartan theory implements torsion within gravitational physics to unify gravity with quantum spin. Standard general relativity assumes zero torsion via the Levi-Civita connection derived from Riemannian geometry. Introducing non-zero torsion modifies field equations to account for intrinsic angular momentum of matter. Spin density acts as a source for torsion much like mass-energy sources curvature in Einstein's original formulation. This approach extends fundamental theorems of Riemannian geometry to more general affine connections. Absorption of torsion plays a key role in Cartan's equivalence method used throughout modern geometry. A unique torsion-free connection exists subordinate to any family of parametrized geodesics. The difference between these connections constitutes what mathematicians call the contorsion tensor. Such modifications become essential when studying G-structures or attempting to quantize gravity theories. Fluid dynamics also benefits from these ideas since vorticity naturally associates with torsion 2-forms in three dimensions. Equilibrium continuous media satisfy specific Bianchi identities involving moment densities and stress tensors. These theoretical frameworks provide tools for analyzing complex systems beyond simple vacuum solutions.
In elasticity theory, vine growth models treat pairs of elastic filaments twisted around one another. Energy-minimizing states cause vines to adopt helical shapes while length-maximizing configurations stretch them straight. Torsion reflects differences between these competing geometric preferences during biological development. Crystallography applies similar concepts where dislocations create Burgers vectors representing atomic plane shifts. Affine development of closed curves in Weitzenböck manifolds directly parallels mechanical deformation processes. Mathematical descriptions of crystal defects rely on torsion forms to quantify local distortions within lattices. Biological filaments exhibit behaviors analogous to screws twisting under applied forces along their axes. Researchers analyze how surface torsion connects ribbon-like structures to underlying vector fields. These applications bridge pure mathematics with practical engineering challenges involving material failure and structural integrity. Theoretical results inform experimental observations regarding how materials respond to extreme stresses or strains. Understanding torsion helps predict when a structure might buckle or fracture under load conditions.
Common questions
When was the torsion tensor introduced and by whom?
Élie Cartan introduced the torsion tensor in 1923 as a vector-valued 2-form derived from an affine connection. This mathematical object measures how a tangent space displaces when rolled along an infinitesimal parallelogram with sides X and Y.
What does the torsion tensor measure regarding parallel transport?
The torsion tensor quantifies slipping or twisting during the rolling process of a tangent space along an infinitesimal loop. It represents the failure of a parallelogram to close in the tangent space, resulting in a displacement vector T(X,Y) that shifts the final point away from the start.
How is Einstein-Cartan theory different from standard general relativity?
Einstein-Cartan theory implements non-zero torsion within gravitational physics to unify gravity with quantum spin while standard general relativity assumes zero torsion via the Levi-Civita connection. Spin density acts as a source for torsion much like mass-energy sources curvature in Einstein's original formulation.
Why do vines adopt helical shapes according to elasticity theory models?
Energy-minimizing states cause pairs of elastic filaments twisted around one another to adopt helical shapes while length-maximizing configurations stretch them straight. Torsion reflects differences between these competing geometric preferences during biological development and material deformation processes.