The Dirac belt trick: a 2Ï€ rotation is non-trivial, a 4Ï€ rotation is trivial
Statement
Let for (rotation of angle about the third axis), a loop based at . Show that is not null-homotopic but that the loop (going around twice, ) is null-homotopic.
Hint
Lift the loops to through the double cover : the lift of is . 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 is closed.
Lifting . By the previous computation, is the rotation by about the third axis (), that is . So
is the lift of starting at . It ends at : the lift is not closed.
is not null-homotopic. Suppose were a homotopy of loops based at from to the constant loop. By the homotopy lifting property of coverings, lifts to with and for all (the path lifts to the constant path ), and the endpoint lies in the discrete fibre above and varies continuously in , so it is constant. But for the constant loop the lift is constant with endpoint , whereas the endpoint of is . Contradiction. So is not null-homotopic.
is null-homotopic. The loop , , lifts to , , which ends at : a closed loop in . Since is simply connected, it contracts to the constant loop within via a homotopy ; composing with gives a homotopy of to the constant loop in (the base point stays fixed).
Physical interpretation (Dirac's belt). Rotating a body (with a belt attached to a fixed wall) by twists the belt in a way that cannot be undone without rotating the body back, whereas after a rotation by the belt can be untangled by moving it around the body, without rotating the body. This models spin- particles: their wave function changes sign under a rotation.
Remark. Equivalently, is the generator of , and .