Torsion tensor

• 1. Introduction

  ›

  The torsion tensor lives at the intersection of geometry and physics, and it captures something almost paradoxically simple: what happens when a flat plane tries to roll along a curved surface without slipping or twisting. Picture a plane rolling along a small circle drawn on a sphere. Even if no twisting is allowed at any moment along the way, the plane will have rotated by the time it completes the circuit. The curve it traces is still a closed circle, returning exactly where it started. Now allow the plane to slip and twist while it rolls. Suddenly the path the circle traces can be almost anything. It need not even close back on itself. The torsion tensor is the mathematical tool that measures precisely how much of that slipping and twisting is happening. It is an object in differential geometry, associated to any affine connection, and it carries one of the deepest intuitions in modern geometry: that the way a space is connected, and the way parallel lines behave within it, encode information about the fabric of that space far beyond its mere shape. How that connection is defined, what the torsion tensor actually computes, and where it turns up across physics, materials science, and fluid dynamics are the threads this documentary will follow.

• 2. The Parallelogram Circuit

  ›

  Take two vectors, v and w, at a point in some curved space. Lay out a small parallelogram whose sides are those vectors. Now roll the tangent plane along each of the four sides of that parallelogram in turn, marking the point of contact as you go. When the circuit is completed, the marked curve is displaced out of the plane of the parallelogram by some vector. That displacement vector is what the torsion tensor computes. It is a bilinear function of two input vectors that produces an output vector, and it has a striking symmetry property: it is skew-symmetric in its two inputs. Traversing the parallelogram in the opposite direction produces the opposite displacement. The analogy in the source is exact. Twisting a screw in two directions displaces it in opposite ways. The torsion tensor obeys the same rule. This skew symmetry also connects the torsion tensor to the more familiar torsion of a curve in classical differential geometry. The torsion of a curve, as it appears in the Frenet-Serret formulas, measures how a curve dislocates out of its osculating plane. The torsion of a connection measures something parallel: the dislocation of a developed curve out of its own plane. In the geometry of surfaces, there is also a quantity called geodesic torsion, which describes how a surface twists about a curve lying on it. These are related ideas, but distinct ones. The companion notion of curvature, by contrast, measures how moving frames roll along a curve without any slipping or twisting at all.

• 3. Geodesics and the Absorption Problem

  ›

  Geodesics are the straightest possible curves on a curved space, and the torsion tensor plays a decisive role in organising them. Given a system of parametrized geodesics, many different affine connections can produce exactly the same family. The torsion tensor is precisely what distinguishes those connections from each other. Two connections that share the same affinely parametrized geodesics differ only by torsion. More precisely, if the difference between two connections is computed at a pair of tangent vectors, that difference splits cleanly into a symmetric part and an alternating part. The symmetric part determines whether the two connections define the same parametrized geodesics. The alternating part is determined entirely by the relative torsions of the two connections. A deep consequence follows. Given any affine connection, there is exactly one torsion-free connection that produces the same family of affinely parametrized geodesics. The difference between those two connections is itself a tensor, called the contorsion tensor. Choosing that unique torsion-free connection is called absorption of torsion. It is one of the central stages in Cartan's equivalence method, a powerful framework for recognising when two geometric structures are equivalent. Absorption of torsion also generalises the fundamental theorem of Riemannian geometry to affine connections that are not necessarily metric, including cases such as Finsler geometry. The projective connection associated to an unparametrized family of geodesics extends these ideas into another corner of geometry, and in relativity theory the same circle of ideas appears in Einstein-Cartan theory.

• 4. Development and the Burgers Vector

  ›

  One of the most striking interpretations of the torsion tensor comes from the notion of development. Suppose a piecewise smooth closed loop is given, based at a point in a manifold, and suppose the loop is homotopic to zero. That loop can be developed into the tangent space at the base point: a parallel coframe is chosen along the curve, local coordinates are set up, and the development is a curve in the tangent space whose coordinates satisfy a specific differential equation derived from the coframe. When the torsion is zero, the developed curve is also a closed loop: it begins and ends at the same point. When the torsion is non-zero, the developed curve may not close. It arrives at a point displaced from where it started. That failure to close is the torsion at work, and it is directly analogous to a screw dislocation in a crystal lattice. To make this precise, the source appeals to a small parallelogram originating at a point, with sides given by two vectors. The tangent bivector to that parallelogram is their wedge product. The development of this parallelogram using the connection is no longer closed in general, and the displacement accumulated in going around the loop equals the torsion tensor applied to those two side vectors. The source notes explicitly that this displacement is directly analogous to the Burgers vector of crystallography, the vector that quantifies the defect in a crystal dislocation. More generally, transporting a moving frame along the curve adds linear transformation information. The curvature of the connection determines that linear transformation. Together, the linear transformation of the frame and the translation from start to displaced endpoint constitute the holonomy of the connection.

• 5. Torsion in Materials and Fluids

  ›

  The reach of the torsion tensor extends well beyond pure mathematics. In materials science, and especially in elasticity theory, torsion plays a concrete role in modelling physical filaments. One problem studied in that context concerns the growth of vines and the question of how vines manage to twist around objects. The vine is modelled as a pair of elastic filaments twisted around one another. In its energy-minimizing configuration, the vine naturally grows in the shape of a helix. When the vine is instead stretched out to maximize its length, the torsion of the vine is related to the torsion of that pair of filaments, or equivalently to the surface torsion of the ribbon that connects the two filaments. That relationship reflects the difference between the length-maximizing configuration, which is a geodesic, and the energy-minimizing configuration. In fluid dynamics, torsion is naturally associated with vortex lines. Given a connection in three dimensions with curvature and torsion 2-forms, and introducing the skew-symmetric Levi-Civita tensor, the Bianchi identities of the connection yield a system of equations that describe an equilibrium continuous medium carrying a moment density. The same formal structure that governs how parallel transport twists in pure differential geometry thus governs how rotating fluid structures maintain equilibrium. A flat space can carry a non-zero torsion. An explicit example in the source places a flat but torsion-carrying connection on Euclidean space, defined using the cross product. Parallel transport of a vector along an axis in that setting causes the vector to trace a helix, exactly as the torsion of the connection would predict.

• 6. Curvature, Bianchi, and the Broader Structure

  ›

  The torsion tensor does not stand alone. It is bound to the curvature tensor through the Bianchi identities, a pair of relations that every affine connection satisfies. The curvature tensor itself maps pairs of tangent vectors to endomorphisms of the tangent bundle: it measures how the frame rotates when parallel transported around an infinitesimal loop. The first Bianchi identity connects the cyclic sum of the curvature's action on three vector fields to a corresponding cyclic expression involving the torsion. The second Bianchi identity does the same for the covariant derivative of the curvature. These identities are not just bookkeeping. They encode deep constraints on what combinations of curvature and torsion a connection can possess. In the language of the frame bundle, both torsion and curvature have form-valued descriptions: the torsion form and the curvature form. The torsion form is the exterior covariant derivative of the canonical solder form on the frame bundle. It is a horizontal tensorial form with values in Euclidean space, transforming equivariantly under the action of the general linear group. Decomposing the torsion tensor further, one can separate it into two irreducible parts: a trace-free part and a part containing the trace terms. The trace is computed by fixing one input vector and taking the trace of the resulting endomorphism. The trace-free remainder is then defined via the interior product. This decomposition matters in the study of G-structures, where the absorption of torsion in Cartan's equivalence method proceeds by systematically eliminating parts of the torsion through changes of frame, using the decomposition into irreducible pieces as a guide.