Contorsion tensor

Last updated June 13, 2024

The contorsion tensor in differential geometry is the difference between a connection with and without torsion in it. It commonly appears in the study of spin connections. Thus, for example, a vielbein together with a spin connection, when subject to the condition of vanishing torsion, gives a description of Einstein gravity. For supersymmetry, the same constraint, of vanishing torsion, gives (the field equations of) eleven-dimensional supergravity.^[1] That is, the contorsion tensor, along with the connection, becomes one of the dynamical objects of the theory, demoting the metric to a secondary, derived role.

Definition in metric geometry

In metric geometry, the contorsion tensor expresses the difference between a metric-compatible affine connection with Christoffel symbol ${\Gamma ^{k}}_{ij}$ and the unique torsion-free Levi-Civita connection for the same metric.

The contorsion tensor $K_{kji}$ is defined in terms of the torsion tensor ${T^{l}}_{ij}={\Gamma ^{l}}_{ij}-{\Gamma ^{l}}_{ji}$ as (up to a sign, see below)

K_{ijk}={\tfrac {1}{2}}(T_{ijk}+T_{jki}-T_{kij})

where the indices are being raised and lowered with respect to the metric:

T_{ijk}\equiv g_{il}{T^{l}}_{jk}

.

The reason for the non-obvious sum in the definition of the contorsion tensor is due to the sum-sum difference that enforces metric compatibility. The contorsion tensor is antisymmetric in the first two indices, whilst the torsion tensor itself is antisymmetric in its last two indices; this is shown below.

K_{ijk}={\tfrac {1}{2}}(T_{ijk}+T_{jki}-T_{kij})

K_{(ij)k}={\tfrac {1}{2}}{\bigl [}{\tfrac {1}{2}}(T_{ijk}+T_{jik})+{\tfrac {1}{2}}(T_{jki}+T_{ikj})-{\tfrac {1}{2}}(T_{kij}+T_{kji}){\bigr ]}

={\tfrac {1}{4}}(T_{ijk}+T_{jik}+T_{jki}+T_{ikj}-T_{kij}-T_{kji})

=0

The full metric compatible affine connection can be written as:

{\Gamma ^{l}}_{ij}={\bar {\Gamma }}^{l}{}{}_{ij}+{K^{l}}_{ij},

where ${\bar {\Gamma }}^{l}{}{}_{ji}$ the torsion-free Levi-Civita connection:

{\bar {\Gamma }}^{l}{}{}_{ji}={\tfrac {1}{2}}g^{lk}(\partial _{i}g_{jk}+\partial _{j}g_{ki}-\partial _{k}g_{ij})

Definition in affine geometry

In affine geometry, one does not have a metric nor a metric connection, and so one is not free to raise and lower indices on demand. One can still achieve a similar effect by making use of the solder form, allowing the bundle to be related to what is happening on its base space. This is an explicitly geometric viewpoint, with tensors now being geometric objects in the vertical and horizontal bundles of a fiber bundle, instead of being indexed algebraic objects defined only on the base space. In this case, one may construct a contorsion tensor, living as a one-form on the tangent bundle.

Recall that the torsion of a connection $\omega$ can be expressed as

\Theta _{\omega }=D\theta =d\theta +\omega \wedge \theta

where $\theta$ is the solder form (tautological one-form). The subscript $\omega$ serves only as a reminder that this torsion tensor was obtained from the connection.

By analogy to the lowering of the index on torsion tensor on the section above, one can perform a similar operation with the solder form, and construct a tensor

\Sigma _{\omega }(X,Y,Z)=\langle \theta (Z),\Theta _{\omega }(X,Y)\rangle +\langle \theta (Y),\Theta _{\omega }(Z,X)\rangle -\langle \theta (X),\Theta _{\omega }(Y,Z)\rangle

Here $\langle ,\rangle$ is the scalar product. This tensor can be expressed as^[2]

\Sigma _{\omega }(X,Y,Z)=2\langle \theta (Z),\sigma _{\omega }(X)\theta (Y)\rangle

The quantity $\sigma _{\omega }$ is the contorsion form and is exactly what is needed to add to an arbitrary connection to get the torsion-free Levi-Civita connection. That is, given an Ehresmann connection $\omega$ , there is another connection $\omega +\sigma _{\omega }$ that is torsion-free.

The vanishing of the torsion is then equivalent to having

\Theta _{\omega +\sigma _{\omega }}=0

or

d\theta =-(\omega +\sigma _{\omega })\wedge \theta

This can be viewed as a field equation relating the dynamics of the connection to that of the contorsion tensor.

Derivation

One way to quickly derive a metric compatible affine connection is to repeat the sum-sum difference idea used in the derivation of the Levi–Civita connection but not take torsion to be zero. Below is a derivation.

Convention for derivation (Choose to define connection coefficients this way. The motivation is that of connection-one forms in gauge theory):

\nabla _{i}v^{j}=\partial _{i}v^{j}+{\Gamma ^{j}}_{ki}v^{k},

\nabla _{i}\omega _{j}=\partial _{i}\omega _{j}-{\Gamma ^{k}}_{ji}\omega _{k},

We begin with the Metric Compatible condition:

\nabla _{i}g_{jk}=\partial _{i}g_{jk}-{\Gamma ^{l}}_{ji}g_{lk}-{\Gamma ^{l}}_{ki}g_{jl}=0,

Now we use sum-sum difference (Cycle the indices on the condition):

\partial _{i}g_{jk}-{\Gamma ^{l}}_{ji}g_{lk}-{\Gamma ^{l}}_{ki}g_{jl}+\partial _{j}g_{ki}-{\Gamma ^{l}}_{kj}g_{li}-{\Gamma ^{l}}_{ij}g_{kl}-\partial _{k}g_{ij}+{\Gamma ^{l}}_{ik}g_{lj}+{\Gamma ^{l}}_{jk}g_{il}=0

\partial _{i}g_{jk}+\partial _{j}g_{ki}-\partial _{k}g_{ij}-\Gamma _{kji}-\Gamma _{jki}-\Gamma _{ikj}-\Gamma _{kij}+\Gamma _{jik}+\Gamma _{ijk}=0

We now use the below torsion tensor definition (for a holonomic frame) to rewrite the connection:

{T^{k}}_{ij}={\Gamma ^{k}}_{ij}-{\Gamma ^{k}}_{ji}

\Gamma _{kij}=T_{kij}+\Gamma _{kji}

Note that this definition of torsion has the opposite sign as the usual definition when using the above convention $\nabla _{i}v^{j}=\partial _{i}v^{j}+{\Gamma ^{j}}_{ki}v^{k}$ for the lower index ordering of the connection coefficients, i.e. it has the opposite sign as the coordinate-free definition $\Theta _{\omega }=D\theta$ in the below section on geometry. Rectifying this inconsistency (which seems to be common in the literature) would result in a contorsion tensor with the opposite sign.

Substitute the torsion tensor definition into what we have:

\partial _{i}g_{jk}+\partial _{j}g_{ki}-\partial _{k}g_{ij}-(T_{kji}+\Gamma _{kij})-\Gamma _{jki}-(T_{ikj}+\Gamma _{ijk})-\Gamma _{kij}+(T_{jik}+\Gamma _{jki})+\Gamma _{ijk}=0

Clean it up and combine like terms

2\Gamma _{kij}=\partial _{i}g_{jk}+\partial _{j}g_{ki}-\partial _{k}g_{ij}-T_{kji}-T_{ikj}+T_{jik}

The torsion terms combine to make an object that transforms tensorially. Since these terms combine together in a metric compatible fashion, they are given a name, the Contorsion tensor, which determines the skew-symmetric part of a metric compatible affine connection.

We will define it here with the motivation that it match the indices of the left hand side of the equation above.

K_{kij}={\tfrac {1}{2}}(-T_{kji}-T_{ikj}+T_{jik})

Cleaning by using the anti-symmetry of the torsion tensor yields what we will define to be the contorsion tensor:

K_{kij}={\tfrac {1}{2}}(T_{kij}+T_{ijk}-T_{jki})

Subbing this back into our expression, we have:

2\Gamma _{kij}=\partial _{i}g_{jk}+\partial _{j}g_{ki}-\partial _{k}g_{ij}+2K_{kij}

Now isolate the connection coefficients, and group the torsion terms together:

{\Gamma ^{l}}_{ij}={\tfrac {1}{2}}g^{lk}(\partial _{i}g_{jk}+\partial _{j}g_{ki}-\partial _{k}g_{ij})+{\tfrac {1}{2}}g^{lk}(2K_{kij})

Recall that the first term with the partial derivatives is the Levi-Civita connection expression used often by relativists.

Following suit, define the following to be the torsion-free Levi-Civita connection:

{\bar {\Gamma }}^{l}{}{}_{ij}={\tfrac {1}{2}}g^{lk}(\partial _{i}g_{jk}+\partial _{j}g_{ki}-\partial _{k}g_{ij})

Then we have that the full metric compatible affine connection can now be written as:

{\Gamma ^{l}}_{ij}={\bar {\Gamma }}^{l}{}{}_{ij}+{K^{l}}_{ij},

Relationship to teleparallelism

In the theory of teleparallelism, one encounters a connection, the Weitzenböck connection, which is flat (vanishing Riemann curvature) but has a non-vanishing torsion. The flatness is exactly what allows parallel frame fields to be constructed. These notions can be extended to supermanifolds.^[3]

Related Research Articles

In continuum mechanics, the infinitesimal strain theory is a mathematical approach to the description of the deformation of a solid body in which the displacements of the material particles are assumed to be much smaller than any relevant dimension of the body; so that its geometry and the constitutive properties of the material at each point of space can be assumed to be unchanged by the deformation.

In Riemannian or pseudo-Riemannian geometry, the Levi-Civita connection is the unique affine connection on the tangent bundle of a manifold that preserves the (pseudo-)Riemannian metric and is torsion-free.

In mathematics, the covariant derivative is a way of specifying a derivative along tangent vectors of a manifold. Alternatively, the covariant derivative is a way of introducing and working with a connection on a manifold by means of a differential operator, to be contrasted with the approach given by a principal connection on the frame bundle – see affine connection. In the special case of a manifold isometrically embedded into a higher-dimensional Euclidean space, the covariant derivative can be viewed as the orthogonal projection of the Euclidean directional derivative onto the manifold's tangent space. In this case the Euclidean derivative is broken into two parts, the extrinsic normal component and the intrinsic covariant derivative component.

In mathematics, and specifically differential geometry, a connection form is a manner of organizing the data of a connection using the language of moving frames and differential forms.

In physics and astronomy, the Reissner–Nordström metric is a static solution to the Einstein–Maxwell field equations, which corresponds to the gravitational field of a charged, non-rotating, spherically symmetric body of mass M. The analogous solution for a charged, rotating body is given by the Kerr–Newman metric.

In differential geometry, the Cotton tensor on a (pseudo)-Riemannian manifold of dimension n is a third-order tensor concomitant of the metric. The vanishing of the Cotton tensor for n = 3 is necessary and sufficient condition for the manifold to be locally conformally flat. By contrast, in dimensions n ≥ 4, the vanishing of the Cotton tensor is necessary but not sufficient for the metric to be conformally flat; instead, the corresponding necessary and sufficient condition in these higher dimensions is the vanishing of the Weyl tensor, while the Cotton tensor just becomes a constant times the divergence of the Weyl tensor. For n < 3 the Cotton tensor is identically zero. The concept is named after Émile Cotton.

In rotordynamics, the rigid rotor is a mechanical model of rotating systems. An arbitrary rigid rotor is a 3-dimensional rigid object, such as a top. To orient such an object in space requires three angles, known as Euler angles. A special rigid rotor is the linear rotor requiring only two angles to describe, for example of a diatomic molecule. More general molecules are 3-dimensional, such as water, ammonia, or methane.

In mathematics and physics, the Christoffel symbols are an array of numbers describing a metric connection. The metric connection is a specialization of the affine connection to surfaces or other manifolds endowed with a metric, allowing distances to be measured on that surface. In differential geometry, an affine connection can be defined without reference to a metric, and many additional concepts follow: parallel transport, covariant derivatives, geodesics, etc. also do not require the concept of a metric. However, when a metric is available, these concepts can be directly tied to the "shape" of the manifold itself; that shape is determined by how the tangent space is attached to the cotangent space by the metric tensor. Abstractly, one would say that the manifold has an associated (orthonormal) frame bundle, with each "frame" being a possible choice of a coordinate frame. An invariant metric implies that the structure group of the frame bundle is the orthogonal group $O(p, q)$ . As a result, such a manifold is necessarily a (pseudo-)Riemannian manifold. The Christoffel symbols provide a concrete representation of the connection of (pseudo-)Riemannian geometry in terms of coordinates on the manifold. Additional concepts, such as parallel transport, geodesics, etc. can then be expressed in terms of Christoffel symbols.

In differential geometry, a spray is a vector field H on the tangent bundle TM that encodes a quasilinear second order system of ordinary differential equations on the base manifold M. Usually a spray is required to be homogeneous in the sense that its integral curves t→Φ_H^t(ξ)∈TM obey the rule Φ_H^t(λξ)=Φ_H^λt(ξ) in positive re-parameterizations. If this requirement is dropped, H is called a semi-spray.

In physics, spherically symmetric spacetimes are commonly used to obtain analytic and numerical solutions to Einstein's field equations in the presence of radially moving matter or energy. Because spherically symmetric spacetimes are by definition irrotational, they are not realistic models of black holes in nature. However, their metrics are considerably simpler than those of rotating spacetimes, making them much easier to analyze.

In mathematics, the Fubini–Study metric is a Kähler metric on a complex projective space CPⁿ endowed with a Hermitian form. This metric was originally described in 1904 and 1905 by Guido Fubini and Eduard Study.

In differential geometry and mathematical physics, a spin connection is a connection on a spinor bundle. It is induced, in a canonical manner, from the affine connection. It can also be regarded as the gauge field generated by local Lorentz transformations. In some canonical formulations of general relativity, a spin connection is defined on spatial slices and can also be regarded as the gauge field generated by local rotations.

In differential geometry, the torsion tensor is a tensor that is associated to any affine connection. The torsion tensor is bilinear map of two input vectors $, that produces an output vector representing the displacement within a tangent space when the tangent space is developed along an infinitesimal parallelogram whose sides are . It is skew symmetric in its inputs, because developing over the parallelogram in the opposite sense produces the opposite displacement, similarly to how a screw moves in opposite ways when it is twisted in two directions.$

In mathematics, a metric connection is a connection in a vector bundle E equipped with a bundle metric; that is, a metric for which the inner product of any two vectors will remain the same when those vectors are parallel transported along any curve. This is equivalent to:

In the mathematical field of differential geometry, the existence of isothermal coordinates for a (pseudo-)Riemannian metric is often of interest. In the case of a metric on a two-dimensional space, the existence of isothermal coordinates is unconditional. For higher-dimensional spaces, the Weyl–Schouten theorem characterizes the existence of isothermal coordinates by certain equations to be satisfied by the Riemann curvature tensor of the metric.

The derivatives of scalars, vectors, and second-order tensors with respect to second-order tensors are of considerable use in continuum mechanics. These derivatives are used in the theories of nonlinear elasticity and plasticity, particularly in the design of algorithms for numerical simulations.

In continuum mechanics, a compatible deformation tensor field in a body is that unique tensor field that is obtained when the body is subjected to a continuous, single-valued, displacement field. Compatibility is the study of the conditions under which such a displacement field can be guaranteed. Compatibility conditions are particular cases of integrability conditions and were first derived for linear elasticity by Barré de Saint-Venant in 1864 and proved rigorously by Beltrami in 1886.

In mathematical physics, the Belinfante–Rosenfeld tensor is a modification of the stress–energy tensor that is constructed from the canonical stress–energy tensor and the spin current so as to be symmetric yet still conserved.

Curvilinear coordinates can be formulated in tensor calculus, with important applications in physics and engineering, particularly for describing transportation of physical quantities and deformation of matter in fluid mechanics and continuum mechanics.

References

↑ Urs Schreiber, "11d Gravity From Just the Torsion Constraint" (2016)
↑ David Bleecker, "Gauge Theory and Variational Principles Archived 2021-07-09 at the Wayback Machine " (1982) D. Reidel Publishing (See theorem 6.2.5)
↑ Bryce DeWitt, Supermanifolds, (1984) Cambridge University Press ISBN 0521 42377 5 (See the subsection "distant parallelism" of section 2.7.)

This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.

[1] Urs Schreiber, "11d Gravity From Just the Torsion Constraint" (2016)

[2] David Bleecker, "Gauge Theory and Variational Principles Archived 2021-07-09 at the Wayback Machine " (1982) D. Reidel Publishing (See theorem 6.2.5)

[dewitt-3] Bryce DeWitt, Supermanifolds, (1984) Cambridge University Press ISBN 0521 42377 5 (See the subsection "distant parallelism" of section 2.7.)

[1]

[2]

[3]