Dirac Belt Trick Simulation Showing Double Cover of SO(3) by SU(2)
Requires a Wolfram Notebook System
Interact on desktop, mobile and cloud with the free Wolfram CDF Player or other Wolfram Language products.
Requires a Wolfram Notebook System
Edit on desktop, mobile and cloud with any Wolfram Language product.
This Demonstration shows a simulation of the Dirac belt trick, which is a physical analogue of the homotopy classes created following the standard procedure for defining the universal covering group of the Lie group . "homotopy" sets whether the ribbon encodes the homotopy class of the identity loop (homotopy = 1) or of the noncontractible path (homotopy = -1) between the identity (time=0) and the rotation group member at any given "time" in SO(3) . Use "belts" to define whether one or two belts are used; two belts shows that a 4 π twist in the middle of an infinite Dirac belt can be undone without untwisting the central "doll" (representing the spinorial object). The "showdoll" checkbox puts an orientation-marking matrioshka doll at the ribbon's end.
Usually the belt trick is done with a playing card, book, or doll attached to the ribbon's free end so that one can keep track of the number of turns imparted on the free end. Looping the belt over the doll adds two full twists to the belt, and whether the belt is looped over the doll left to right or right to left defines the sense of these twists. Why there are two twists rather than one should be clear from the middle half of the simulation: each of the sides of the loop work as swivels and take up a twist of two full turns in allowing the ribbon to be looped over the doll. The belt trick works because the evolution of the Serret–Frenet frames along the twisted ribbon encodes a continuous path through from the identity to the transformation defined by the doll's orientation in space, and so the ribbon precisely encodes the homotopy class of this path. If you can loop it over the doll (deform the path continuously) and undo the twists, the ribbon is still encoding the same homotopy class. The belt trick is a precise physical analogy to the mathematical procedure for building a universal cover. The humble observation about the relationship between and explains all the following:
1. There are no other spin-1/3, or any aside from 1/2, ribbons realizable in a Dirac belt trick.
2. Spinors and tensors exhaust the list of everything that transforms compatibly with rotations. Actually the idea broadens from the with relationship to general proper Lorentz transformations: we add boosts to the mix and get the identity-connected component of the Lorentz group (the latter being the group of invertible Möbius transformations) and the double cover of this beast is , so spinors and tensors exhaust the list of everything that transforms compatibly with rotations, boosts, and general combinations thereof.
3. There are only bosons and fermions (that is, only particles with half-integer or whole-number spins) in the world.
An excellent reference for the global topology of Lie groups and the relationship between groups with the same Lie algebra is given in chapter 8 of .
See the discussion of the two Lie groups (group of ordinary rotations in 3D space) and its universal (double) cover, for example, at .
For a more graceful movie of the infinite Dirac belt see the Motion Mountain Physics video page; however, the explicity homotopy shown in the present demonstration whereby the belt twists are squeezed into the "vertical" parts of the belt system shows their actions as "swivvels" to allow the twist to be undone homotopically without shifting the doll (spinorial object). The exact transformations on the belt are harder to grasp in the more graceful video.
 Stack Exchange, "Quantum Field Theory—Lie Groups and Group Extensions?" (Sept 4, 2013) physics.stackexchange.com/a/76191/26076.
 J. Stillwell, Naïve Lie Theory, New York: Springer, 2010.
 W. Rossmann, Lie Groups: An Introduction through Linear Groups (Oxford Graduate Texts in Mathematics), Oxford: Oxford University Press, 2003.
 J. F. Adams, Lectures on Lie Groups, Chicago: The University of Chicago Press, 1983.