Maths WorkshopMaths problems with full solutions
Exercise 2243Topology › Topology of Mn(ℝ) › Exponential, logarithm and group topologyM1Added 6 Nov 2026

The Dirac belt trick: a 2Ï€ rotation is non-trivial, a 4Ï€ rotation is trivial

#homotopy#lifting#SO(3)#quaternions#Dirac belt

Statement

Let γ(θ)=Rθ⊕1∈SO(3)\gamma(\theta)=R_\theta\oplus1\in SO(3) for θ∈[0,2π]\theta\in[0,2\pi] (rotation of angle θ\theta about the third axis), a loop based at II. Show that γ\gamma is not null-homotopic but that the loop γ2\gamma^2 (going around twice, θ∈[0,4π]\theta\in[0,4\pi]) is null-homotopic.

Hint

Lift the loops to S3S^3 through the double cover Φ:S3→SO(3)\Phi:S^3\to SO(3): the lift of γ\gamma is q(θ)=cos⁡θ2+ksin⁡θ2q(\theta)=\cos\frac\theta2+k\sin\frac\theta2. Use that homotopic loops have lifts with the same endpoint.

Show solutionHide solution

Solution

Idea. Whether a loop is trivial is decided by whether its lift to the universal cover S3S^3 is closed.

Lifting γ\gamma. By the previous computation, Φ(cos⁡θ2+ksin⁡θ2)\Phi\bigl(\cos\frac\theta2+k\sin\frac\theta2\bigr) is the rotation by θ\theta about the third axis (u=ku=k), that is Rθ⊕1=γ(θ)R_\theta\oplus1=\gamma(\theta). So
γ~(θ)=cos⁡θ2+ksin⁡θ2,θ∈[0,2π],\tilde\gamma(\theta)=\cos\frac\theta2+k\sin\frac\theta2,\qquad\theta\in[0,2\pi],
is the lift of γ\gamma starting at γ~(0)=1\tilde\gamma(0)=1. It ends at γ~(2π)=cos⁡π+ksin⁡π=−1≠1\tilde\gamma(2\pi)=\cos\pi+k\sin\pi=-1\ne1: the lift is not closed.

γ\gamma is not null-homotopic. Suppose H:[0,1]×[0,2π]→SO(3)H:[0,1]\times[0,2\pi]\to SO(3) were a homotopy of loops based at II from γ\gamma to the constant loop. By the homotopy lifting property of coverings, HH lifts to H~\tilde H with H~(0,⋅)=γ~\tilde H(0,\cdot)=\tilde\gamma and H~(s,0)=1\tilde H(s,0)=1 for all ss (the path s↦H(s,0)=Is\mapsto H(s,0)=I lifts to the constant path 11), and the endpoint H~(s,2π)\tilde H(s,2\pi) lies in the discrete fibre {±1}\{\pm1\} above II and varies continuously in ss, so it is constant. But for the constant loop the lift is constant 11 with endpoint 11, whereas the endpoint of γ~\tilde\gamma is −1-1. Contradiction. So γ\gamma is not null-homotopic.

γ2\gamma^2 is null-homotopic. The loop γ2(θ)=Rθ⊕1\gamma^2(\theta)=R_\theta\oplus1, θ∈[0,4π]\theta\in[0,4\pi], lifts to γ~(2)(θ)=cos⁡θ2+ksin⁡θ2\tilde\gamma^{(2)}(\theta)=\cos\frac\theta2+k\sin\frac\theta2, θ∈[0,4π]\theta\in[0,4\pi], which ends at cos⁡2π+ksin⁡2π=1\cos2\pi+k\sin2\pi=1: a closed loop in S3S^3. Since S3S^3 is simply connected, it contracts to the constant loop within S3S^3 via a homotopy H~\tilde H; composing with Φ\Phi gives a homotopy of γ2\gamma^2 to the constant loop in SO(3)SO(3) (the base point stays fixed).

Physical interpretation (Dirac's belt). Rotating a body (with a belt attached to a fixed wall) by 2π2\pi twists the belt in a way that cannot be undone without rotating the body back, whereas after a rotation by 4π4\pi the belt can be untangled by moving it around the body, without rotating the body. This models spin-12\frac12 particles: their wave function changes sign under a 2π2\pi rotation.

Remark. Equivalently, [γ][\gamma] is the generator of π1(SO(3))≅Z/2\pi_1(SO(3))\cong\mathbb{Z}/2, and [γ]2=[γ2]=1[\gamma]^2=[\gamma^2]=1.