What is torsion in differential geometry intuitively?

The torsion is a notoriously slippery concept. Personally I think the best way to understand it is to generalize past the place people first learn about torsion, which is usually in the context of Riemannian manifolds. Then you can see that the torsion can be understood as a sort of obstruction to integrability. Let me explain a little bit first.

The torsion really makes sense in the context of general G-structures. Here $G \subseteq GL_n(\mathbb{R}) = GL(V)$ is some fixed Lie group. Typical examples are $G = O(n)$ and $G = GL_n(\mathbb{C})$. We'll see that these will correspond to Riemannian metrics and complex structures respectively. Now given this data, we have an exact sequence of vector spaces,

$$0 \to K \to \mathfrak{g} \otimes V^\ast \stackrel{\sigma}{\to} V \otimes\wedge^2 V^\ast \to C \to 0 $$

Here $\sigma$ is the inclusion $\mathfrak{g} \subseteq V \otimes V^\ast$ together with anti-symmetrization. K and C are the kernel and cokernel of $\sigma$.

If we are given a manifold with $G$-structure, we then get four associated bundles, which fit into an exact sequence:

$$ 0 \to \rho_1P \to ad(P) \otimes T^*M \to \rho_3P \to \rho_4P \to 0$$

Now the difference of two connections which are both compatible with the G-structure is a tensor which is a section of the second space $\rho_2P = ad(P) \otimes T^*M$. This means that we can write any connection as $$\nabla + A$$ where $A$ is a section of $\rho_2(P)$.

Now the torsion of any G-compatible connection is a section of this third space. Suppose that we have two compatible connections. Then their torsions are sections of this third space. However since we can write the connections as $\nabla$ and $\nabla + A$, the torsion differ by $\sigma(A)$. Thus they have the same image in the fourth space $\rho_4(P)$.

The section of this fourth space is the intrinsic torsion of the G-structure. It measures the failure of our ability to find a torsion free connection. If this obstruction vanishes, then the torsion free connections form a torsor over sections of the smaller bundle $\rho_1P$. Now some examples:

  1. $G = O(n)$. This is the case of a Riemannian structure. In this case $\sigma$ is an isomorphism so that the there is always a unique torsion free connection. The Levi-Civita connection.
  2. $G = GL_m(\mathbb{C})$. This is the case of a complex structure. More precisely a $GL_m(\mathbb{C})$-structure is the same as an almost complex structure. In this case the intrinsic torsion can be identified with the Nijenhuis tensor. So it vanishes precisely when the almost-complex structure is integrable (i.e. a ordinary complex structure).
  3. $G = Sp(n)$. Having an $Sp(n)$-structure on a manifold for which the intrinsic torsion vanishes is equivalent to having a symplectic manifold.

From these examples you can see that the vanishing of torsion can be viewed as a sort of integrability condition. In these latter two cases the space of torsion free connections consists of more then a single point. There are many such connections. That's one reason why we don't see them popping up more often.


Here is an example which I found useful when learning about torsion. Consider $\mathbb{R}^3$. Let $X$, $Y$ and $Z$ be the coordinate vector fields, and take the connection for which $$\begin{matrix} \nabla_X(Y)=Z & \nabla_Y(X)=-Z \\ \nabla_X(Z)=-Y & \nabla_Z(X)=Y \\ \nabla_Y(Z)=X & \nabla_Z(Y)=-X \end{matrix}$$

A body undergoing parallel translation for this connection spins like an American football: around the axis of motion with speed proportional to its velocity. So the geodesics are straight lines, and this connection preserves the standard metric, but it has torsion and is thus not the Levi-Cevita connection.


Almost too basic an approach to give, but I think the only way to intuitively get under the hood of torsion (at least in the Levi-Civita sense) is to really understand the ideas of Lie bracket and connection:

We're used to the fact, working on $\mathbb{R}^n$, that partial derivatives commute: $\frac{\partial}{\partial x_i}\circ\frac{\partial}{\partial x_j}=\frac{\partial^2}{\partial x_ix_j}=\frac{\partial}{\partial x_j}\circ\frac{\partial}{\partial x_i}$. But not only is this untrue in the setting of general $C^2$ manifolds, it also makes no sense- with no global coordinates to turn to, we need some other way of defining a 'direction of differentiation' globally. Fortunately that's exactly what vector fields do, so now our updated equation $\frac{\partial}{\partial X}\circ\frac{\partial}{\partial Y}=\frac{\partial}{\partial Y}\circ\frac{\partial}{\partial X}$ makes sense (modulo some issues of notation)- our only problem being its falsehood in general, which we measure with the Lie bracket.

Now it might be tempting to blame our vector fields for the Lie bracket's general non-zero nature- perhaps we get non-zero Lie brackets just when we pick a really weird vector field... but close examination (of, say, the image of the coordinate vector fields under the differential of your faourite chart map) reveals this is not the case. In fact the $C^2$ness of the vector field ensures that on an infinitessimal level our vector fields are never really very pathological: what the Lie bracket is measuring is something much more intrinsic about our manifold- about how vector fields must locally twist as they move along each other to keep time with the metric.

But telling us how vector fields do move along one another is the job of a connection- which, by giving us $\nabla_X Y$, prescribes $\frac{\partial}{\partial X}Y$, but $Y$ is really $\frac{\partial}{\partial Y}$ so this 'prescribes a value' for the Lie bracket as $\nabla_X Y-\nabla_Y X $.

Subrtracting the former from the latter gives the actual infinitessimal twist minus the neccessary infinitessimal twist to give the 'unneccessary twist' of the connection.