SU(2) and the Spin Double Cover

Every rotation you can physically perform lives in SO(3)\mathrm{SO}(3), the group of orientation-preserving isometries of ordinary space built in aq-mp-rotation-group-so3. Yet the electron — the most-measured particle in physics — does not transform under SO(3)\mathrm{SO}(3). Turn it through a full 360∘360^\circ and its quantum state does not come back: the amplitude is multiplied by −1-1, and only a second full turn restores it. No rotation group of ordinary space can encode that, because in SO(3)\mathrm{SO}(3) a 360∘360^\circ rotation is the identity. The resolution, and the subject of this article, is that the symmetry quantum mechanics actually realizes is SU(2)\mathrm{SU}(2), the group of 2×22\times2 complex unitary matrices of determinant 11. SU(2)\mathrm{SU}(2) and SO(3)\mathrm{SO}(3) are locally indistinguishable — they share the Lie algebra su(2)≅so(3)\mathfrak{su}(2)\cong\mathfrak{so}(3) of aq-mp-lie-algebras-exponential-map, hence the same generators and commutators — but they differ globally. As a manifold SU(2)\mathrm{SU}(2) is the 3-sphere S3S^3, simply connected; SO(3)\mathrm{SO}(3) is real projective space RP3\mathbb{RP}^3, with fundamental group Z2\mathbb{Z}_2. A continuous two-to-one homomorphism Φ:SU(2)→SO(3)\Phi:\mathrm{SU}(2)\to\mathrm{SO}(3), built by conjugation on traceless Hermitian matrices via aq-mp-homomorphisms-quotient-groups, glues each antipodal pair {U,−U}\{U,-U\} to one rotation. That single Z2\mathbb{Z}_2 — the kernel {±1}\{\pm\mathbb{1}\} — is the entire origin of half-integer spin. The irreducibles organized in aq-mp-group-representations are labelled by j=0,12,1,…j=0,\tfrac12,1,\dots; integer ones descend to SO(3)\mathrm{SO}(3), half-integer ones are genuine only on SU(2)\mathrm{SU}(2). Spinors are not an extra postulate; they are what happens when nature represents the full, simply-connected group.

Key takeaways
  • SU(2)\mathrm{SU}(2) is the group of unitary 2×22\times2 matrices with det⁡U=1\det U=1; as a manifold it is the 3-sphere S3⊂R4S^3\subset\mathbb{R}^4 — compact, connected, simply connected.
  • A two-to-one homomorphism Φ:SU(2)→SO(3)\Phi:\mathrm{SU}(2)\to\mathrm{SO}(3) with ker⁡Φ={±1}≅Z2\ker\Phi=\{\pm\mathbb{1}\}\cong\mathbb{Z}_2 gives SO(3)≅SU(2)/{±1}\mathrm{SO}(3)\cong\mathrm{SU}(2)/\{\pm\mathbb{1}\} — SU(2)\mathrm{SU}(2) is the double cover.
  • Both carry the same algebra [σi2,σj2]=i ϵijkσk2[\tfrac{\sigma_i}2,\tfrac{\sigma_j}2]=i\,\epsilon_{ijk}\tfrac{\sigma_k}2; only the global topology, π1(S3)=0\pi_1(S^3)=0 versus π1(RP3)=Z2\pi_1(\mathbb{RP}^3)=\mathbb{Z}_2, distinguishes them.
  • The half-angle law U(θ)=cos⁡θ2 1−isin⁡θ2 (n^⋅σ⃗)U(\theta)=\cos\tfrac\theta2\,\mathbb{1}-i\sin\tfrac\theta2\,(\hat n\cdot\vec\sigma) gives U(2π)=−1U(2\pi)=-\mathbb{1}, U(4π)=+1U(4\pi)=+\mathbb{1}: a 2π2\pi rotation flips a spinor's sign, only 4π4\pi returns it.
  • Irreducibles are labelled by j=0,12,1,…j=0,\tfrac12,1,\dots with dim⁡D(j)=2j+1\dim D^{(j)}=2j+1 and D(j)(−1)=(−1)2j1D^{(j)}(-\mathbb{1})=(-1)^{2j}\mathbb{1}: integer jj descends to SO(3)\mathrm{SO}(3), half-integer jj is a true spinor.
  • Neutron interferometry (Rauch and Werner, 1975) measured the 4π4\pi period directly — the fringes go dark at 2π2\pi, bright again only at 4π4\pi.
  • Key idea: SU(2)\mathrm{SU}(2) and SO(3)\mathrm{SO}(3) have identical Lie algebras but SU(2)≅S3\mathrm{SU}(2)\cong S^3 is the simply-connected double cover; the extra Z2\mathbb{Z}_2 in π1(SO(3))\pi_1(\mathrm{SO}(3)) is exactly what makes half-integer spin and spinors possible.

Where this lives today

The double cover is live engineering, not a curiosity. Every single-qubit gate in a quantum computer is literally an element of SU(2)\mathrm{SU}(2), and the fact that a 2π2\pi pulse returns −1-\mathbb{1} is exploited in composite-pulse and geometric (Berry-phase) gates. Neutron and atom interferometers keep testing the spinor sign flip to ever-higher precision, and the same −1-1 underlies the spin-statistics connection that forbids two electrons sharing a state. In condensed matter the classification of topological insulators turns on whether the symmetry group is SO(3)\mathrm{SO}(3) or its cover, and anyonic statistics generalize spinor two-valuedness to braid groups. At the largest scale the electroweak sector is a gauged SU(2)L\mathrm{SU}(2)_L on left-handed fermion doublets — the abstract cover Cartan wrote down in 1913 becomes a dynamical force, simulated in lattice gauge theory using exactly the S3S^3 parametrization of equation (2).

The physical picture

Picture SU(2)\mathrm{SU}(2) as the 3-sphere S3S^3 and SO(3)\mathrm{SO}(3) as what you get by gluing every point UU to its antipode −U-U. That antipodal gluing turns S3S^3 into RP3\mathbb{RP}^3 and is exactly the covering map Φ\Phi: two points sit above every rotation. Now trace the matrices U(θ)U(\theta) for turning about a fixed axis. As θ\theta runs 0→2π0\to2\pi the physical rotation returns to start, but UU has travelled from +1+\mathbb{1} to −1-\mathbb{1} — half-way around the sphere, an open path — and only at θ=4π\theta=4\pi does UU close its loop. The first figure makes the two-to-one wrapping and the 2π2\pi-versus-4π4\pi distinction one picture.

Figure
SU(2) is the 3-sphere and wraps twice around SO(3): the antipodal points 1 and −1 both project under Φ to the identity rotation, so the path of matrices U(θ) from θ = 0 to 2π is an open arc in SU(2) yet a closed loop in SO(3) — and that loop cannot be shrunk to a point, which is why π₁ of SO(3) is Z₂
The double cover: U(2π) = −1 sits above the identity, only U(4π) = +1 closes the loop SU(2) ≅ S³ 1 = U(0) = U(4π) −1 = U(2π) θ: 0 → 2π θ: 2π → 4π Φ 2 to 1 ker Φ = {1, −1} ≅ Z₂ identity rotation SO(3) ≅ RP³ loop cannot shrink π₁(SO(3)) = Z₂

Nothing near the identity distinguishes the groups: their generators obey the same commutators, so every classical experiment sees only SO(3)\mathrm{SO}(3). The difference is a bookkeeping of large rotations — which loops are contractible — and it shows up only in the phase of a quantum amplitude. The cleanest way to watch it is the trace of the fundamental spin-12\tfrac12 representation, χ1/2(θ)=2cos⁡(θ/2)\chi_{1/2}(\theta)=2\cos(\theta/2): because the half-angle halves the frequency, it does not repeat with period 2π2\pi but swings to −2-2 at a full turn and back to +2+2 only after two. The second figure plots that curve — the sign flip made a measurable number.

Figure
The spinor character χ of the spin one-half representation, χ(θ) = 2cos(θ/2), plotted from θ = 0 to 4π: it starts at +2 at the identity, crosses zero at θ = π, reaches −2 at θ = 2π where U = −1 so the trace equals tr(−1) = −2, and only climbs back to +2 after a full 4π — the double-cover period made a number
The punchline: the spin ½ character χ(θ) = 2cos(θ/2) has period 4π, not 2π — trace goes +2 → −2 → +2 +2 +1 0 −1 −2 0 π 2π 3π 4π rotation angle θ spin ½ character χ(θ) χ = +2 at θ = 0 χ = 0 at π χ = −2 at θ = 2π: U = −1 χ = +2 at 4π

The core equations

The operational definition is algebraic: SU(2)\mathrm{SU}(2) is the unitary 2×22\times2 matrices of determinant one. Unitarity alone gives the four-parameter U(2)\mathrm{U}(2); pinning the determinant removes a phase and leaves the three real parameters of a rotation.

SU(2)={U∈M2(C):U†U=1, det⁡U=1}(1)\mathrm{SU}(2)=\left\{U\in M_2(\mathbb{C}):U^\dagger U=\mathbb{1},\ \det U=1\right\} \qquad (1)

where: UU — a 2×22\times2 complex matrix; U†U^\dagger — the conjugate transpose; det⁡U\det U — the determinant, fixed to 11 (unimodular). Reading it: three real parameters survive, matching the three angles of a rotation. Solving those two constraints in coordinates shows every element is fixed by one pair of complex numbers on a unit sphere — where the manifold S3S^3 appears explicitly.

U=(ab−bˉaˉ),∣a∣2+∣b∣2=1(2)U=\begin{pmatrix}a&b\\-\bar b&\bar a\end{pmatrix},\qquad |a|^2+|b|^2=1 \qquad (2)

where: a,ba,b — complex parameters with ∣a∣2+∣b∣2=1|a|^2+|b|^2=1, the unit-sphere condition, so SU(2)≅S3⊂R4\mathrm{SU}(2)\cong S^3\subset\mathbb{R}^4. Reading it: a=x0+ix3a=x_0+ix_3, b=x2+ix1b=x_2+ix_1 makes (x0,x1,x2,x3)(x_0,x_1,x_2,x_3) a point of the 3-sphere. Exponentiating the generators gives the closed form for a finite rotation — and the tell-tale half-angle. The fact (n^⋅σ⃗)2=1(\hat n\cdot\vec\sigma)^2=\mathbb{1} collapses the series to a sine and a cosine.

U(θ)=exp⁡ ⁣(−i2 θ n^⋅σ⃗)=cos⁡θ2 1−isin⁡θ2 (n^⋅σ⃗)(3)U(\theta)=\exp\!\left(-\tfrac{i}{2}\,\theta\,\hat n\cdot\vec\sigma\right)=\cos\tfrac{\theta}{2}\,\mathbb{1}-i\sin\tfrac{\theta}{2}\,(\hat n\cdot\vec\sigma) \qquad (3)

where: θ\theta — rotation angle; n^\hat n — unit rotation axis; σ⃗=(σ1,σ2,σ3)\vec\sigma=(\sigma_1,\sigma_2,\sigma_3) — Pauli matrices. Reading it: the argument carries θ/2\theta/2, not θ\theta — the whole reason 2π2\pi lands on −1-\mathbb{1}. The generators 12σi\tfrac12\sigma_i close into the same structure constants as angular momentum, so infinitesimally the groups are identical; the anticommutator is the extra 2×22\times2 fact that makes (3) collapse.

[σi2,σj2]=i ϵijk σk2,{σi,σj}=2δij 1(4)\Big[\tfrac{\sigma_i}{2},\tfrac{\sigma_j}{2}\Big]=i\,\epsilon_{ijk}\,\tfrac{\sigma_k}{2},\qquad \{\sigma_i,\sigma_j\}=2\delta_{ij}\,\mathbb{1} \qquad (4)

where: σi\sigma_i — Pauli matrices, i=1,2,3i=1,2,3; ϵijk\epsilon_{ijk} — Levi-Civita symbol; [ , ][\,,\,], { , }\{\,,\,\} — commutator and anticommutator. Reading it: the left relation is su(2)≅so(3)\mathfrak{su}(2)\cong\mathfrak{so}(3); the right, special to 2×22\times2, drives the half-angle. The homomorphism to SO(3)\mathrm{SO}(3) is conjugation: identify x⃗∈R3\vec x\in\mathbb{R}^3 with X=x⃗⋅σ⃗X=\vec x\cdot\vec\sigma, let UU act by X↦UXU†X\mapsto UXU^\dagger, and trace against σi\sigma_i to read off the rotation matrix.

R(U)ij=12 tr ⁣(σi U σj U†),R(U)∈SO(3)(5)R(U)_{ij}=\tfrac12\,\mathrm{tr}\!\left(\sigma_i\,U\,\sigma_j\,U^\dagger\right),\qquad R(U)\in\mathrm{SO}(3) \qquad (5)

where: R(U)R(U) — the rotation induced by UU; 12 tr( ⋅ )\tfrac12\,\mathrm{tr}(\,\cdot\,) — the inner product on traceless Hermitian matrices. Reading it: U=1U=\mathbb{1} gives Rij=12tr(σiσj)=δijR_{ij}=\tfrac12\mathrm{tr}(\sigma_i\sigma_j)=\delta_{ij}, the identity, as it must. Because UU and −U-U conjugate identically, the map is two-to-one with kernel the two-element centre; quotienting by it gives SO(3)\mathrm{SO}(3).

ker⁡Φ={+1,−1}≅Z2,SO(3)≅SU(2)/Z2(6)\ker\Phi=\{+\mathbb{1},-\mathbb{1}\}\cong\mathbb{Z}_2,\qquad \mathrm{SO}(3)\cong\mathrm{SU}(2)/\mathbb{Z}_2 \qquad (6)

where: ker⁡Φ\ker\Phi — elements mapping to the identity rotation; Z2\mathbb{Z}_2 — the cyclic group of order two. Reading it: SU(2)\mathrm{SU}(2) double-covers because the fibre over each rotation has two points. The global difference is a single homotopy invariant: the 3-sphere has no non-contractible loops, projective 3-space has exactly one non-trivial class.

π1(SU(2))=π1(S3)=0,π1(SO(3))=π1(RP3)=Z2(7)\pi_1\big(\mathrm{SU}(2)\big)=\pi_1(S^3)=0,\qquad \pi_1\big(\mathrm{SO}(3)\big)=\pi_1(\mathbb{RP}^3)=\mathbb{Z}_2 \qquad (7)

where: π1\pi_1 — the fundamental group of loops up to homotopy; S3,RP3S^3,\mathbb{RP}^3 — the 3-sphere and real projective 3-space. Reading it: this Z2\mathbb{Z}_2 is the topological root of the spinor sign, and it equals the kernel above. The irreducibles, built in aq-mp-group-representations, are indexed by a spin label with odd or even dimension as jj is integer or half-integer.

dim⁡D(j)=2j+1,j∈{0,12,1,32,… }(8)\dim D^{(j)}=2j+1,\qquad j\in\left\{0,\tfrac12,1,\tfrac32,\dots\right\} \qquad (8)

where: D(j)D^{(j)} — the spin-jj irreducible; jj — the spin label; half-integer values are genuine on SU(2)\mathrm{SU}(2) only. Reading it: j=12j=\tfrac12 is the fundamental (spinor) representation, dimension 22. The trace of D(j)D^{(j)} depends only on the angle and sums to a compact ratio — the character that diagonalizes the theory in aq-mp-characters-orthogonality-theorems.

χj(θ)=∑m=−jjeimθ=sin⁡ ⁣((j+12)θ)sin⁡(θ/2)(9)\chi_j(\theta)=\sum_{m=-j}^{j}e^{im\theta}=\frac{\sin\!\big((j+\tfrac12)\theta\big)}{\sin(\theta/2)} \qquad (9)

where: χj\chi_j — the character of D(j)D^{(j)} at angle θ\theta; mm — the weight (eigenvalue of J3J_3), m=−j,…,jm=-j,\dots,j. Reading it: χj(0)=2j+1\chi_j(0)=2j+1 recovers the dimension, and χ1/2(θ)=2cos⁡(θ/2)\chi_{1/2}(\theta)=2\cos(\theta/2) is the curve plotted above.

Derivation ABuilding the two-to-one homomorphism by conjugation

The goal is to construct the covering map Φ:SU(2)→SO(3)\Phi:\mathrm{SU}(2)\to\mathrm{SO}(3) from scratch and prove its four defining properties — that conjugation by UU sends real vectors to real vectors, preserves length, preserves orientation, and respects multiplication — then compute its kernel and find it is exactly {±1}\{\pm\mathbb{1}\}. The engine is the dictionary x⃗↔X=x⃗⋅σ⃗\vec x\leftrightarrow X=\vec x\cdot\vec\sigma between R3\mathbb{R}^3 and the traceless Hermitian 2×22\times2 matrices, on which length is the determinant.

Step 1. A vector becomes X=x⃗⋅σ⃗X=\vec x\cdot\vec\sigma, Hermitian and traceless. Then (UXU†)†=UXU†(UXU^\dagger)^\dagger=UXU^\dagger and tr(UXU†)=tr(X)=0\mathrm{tr}(UXU^\dagger)=\mathrm{tr}(X)=0, so UXU†=x⃗′⋅σ⃗UXU^\dagger=\vec x'\cdot\vec\sigma for a unique x⃗′\vec x', and x⃗↦x⃗′\vec x\mapsto\vec x' is linear, defining a real 3×33\times3 matrix R(U)R(U). Why: conjugation is a linear operator on the real 3-dimensional space of traceless Hermitian matrices, making R(U)R(U) an honest rotation candidate.

Step 2. Since det⁡X=−(x12+x22+x32)=−∣x⃗∣2\det X=-(x_1^2+x_2^2+x_3^2)=-|\vec x|^2 and det⁡U=1\det U=1 gives det⁡(UXU†)=det⁡X\det(UXU^\dagger)=\det X, we get ∣x⃗′∣=∣x⃗∣|\vec x'|=|\vec x|: R(U)R(U) is orthogonal, RTR=1R^{\mathsf T}R=\mathbb{1}. Why: length in the vector picture is the determinant in the matrix picture, and unimodularity keeps it fixed.

Step 3. Orthogonal matrices have det⁡R=±1\det R=\pm1, but SU(2)\mathrm{SU}(2) is connected and U↦R(U)U\mapsto R(U) is continuous with R(1)=1R(\mathbb{1})=\mathbb{1}, so det⁡R\det R cannot jump; hence det⁡R=+1\det R=+1 and R(U)∈SO(3)R(U)\in\mathrm{SO}(3). Why: a continuous integer-valued function on a connected set is constant — no UU produces an improper rotation.

Step 4. Associativity gives (U1U2)X(U1U2)†=U1(U2XU2†)U1†(U_1U_2)X(U_1U_2)^\dagger=U_1(U_2XU_2^\dagger)U_1^\dagger, so R(U1U2)=R(U1)R(U2)R(U_1U_2)=R(U_1)R(U_2): Φ\Phi is a homomorphism, surjective because every axis-angle rotation is hit by (3). Why: conjugations compose, so the map carries the group law of SU(2)\mathrm{SU}(2) onto that of SO(3)\mathrm{SO}(3).

Step 5. For the kernel, UXU†=XUXU^\dagger=X for all XX means UU commutes with every σi\sigma_i, so U=λ1U=\lambda\mathbb{1}, and det⁡U=1\det U=1 forces U=±1U=\pm\mathbb{1}. Hence ker⁡Φ={±1}\ker\Phi=\{\pm\mathbb{1}\} and Φ\Phi is exactly two-to-one: SO(3)≅SU(2)/{±1}\mathrm{SO}(3)\cong\mathrm{SU}(2)/\{\pm\mathbb{1}\}. Why: the kernel counts the matrices above each rotation, and order two is precisely the double-cover statement. *Note: evaluating R(U)ij=12tr(σiUσjU†)R(U)_{ij}=\tfrac12\mathrm{tr}(\sigma_i U\sigma_j U^\dagger) for U=exp⁡(−i2θ n^⋅σ⃗)U=\exp(-\tfrac i2\theta\,\hat n\cdot\vec\sigma) reproduces Rodrigues' rotation formula; the explicit n^=z^\hat n=\hat z case is carried out in Worked Example 2.*

Go deeper · Derivation B · 1 minWhy a 2π rotation multiplies a spinor by minus one
Derivation BWhy a 2π rotation multiplies a spinor by minus one

The goal is to show, directly from the half-angle exponential, that a rotation through θ=2π\theta=2\pi carries the SU(2)\mathrm{SU}(2) element to −1-\mathbb{1} while its SO(3)\mathrm{SO}(3) image is the identity, and that only θ=4π\theta=4\pi returns it to +1+\mathbb{1}. This is the algebraic content of the belt trick and the quantity neutron interferometry measures, so it is worth extracting cleanly from the closed form.

Step 1. Start from U(θ)=cos⁡θ2 1−isin⁡θ2 (n^⋅σ⃗)U(\theta)=\cos\tfrac{\theta}{2}\,\mathbb{1}-i\sin\tfrac{\theta}{2}\,(\hat n\cdot\vec\sigma), valid for any axis because (n^⋅σ⃗)2=1(\hat n\cdot\vec\sigma)^2=\mathbb{1}; the axis sits entirely in the sin⁡\sin term. Why: an explicit function of θ\theta lets us substitute the full-turn angles directly.

Step 2. At θ=2π\theta=2\pi: cos⁡π=−1\cos\pi=-1, sin⁡π=0\sin\pi=0, so U(2π)=−1U(2\pi)=-\mathbb{1}, independent of n^\hat n. Why: the θ/2\theta/2 inside the trig functions makes a full physical turn reach the antipode −1-\mathbb{1} rather than return to +1+\mathbb{1}.

Step 3. Since −1∈ker⁡Φ-\mathbb{1}\in\ker\Phi, the induced rotation is R(U(2π))=1R(U(2\pi))=\mathbb{1}: space returns exactly to itself, yet the spinor amplitude is multiplied by −1-1. A vector never notices; a spinor does. Why: the kernel is invisible to the rotation but not to the covering group — the observable gap between the two.

Step 4. At θ=4π\theta=4\pi: cos⁡2π=1\cos2\pi=1, sin⁡2π=0\sin2\pi=0, so U(4π)=+1U(4\pi)=+\mathbb{1}; the path θ:0→4π\theta:0\to4\pi is a closed contractible loop on S3S^3, and the belt untwists. Why: this fixes the period of the cover at 4π4\pi, matching the belt trick and the Rauch result. *This is consistent with the spin operator exp⁡(−iSzϕ/ℏ)\exp(-iS_z\phi/\hbar) acting on Sz=±ℏ/2S_z=\pm\hbar/2 states, which gives e∓iπ=−1e^{\mp i\pi}=-1 at ϕ=2π\phi=2\pi and +1+1 at ϕ=4π\phi=4\pi.*

Go deeper · Derivation C · 1 minThe character formula and the integer versus half-integer split
Derivation CThe character formula and the integer versus half-integer split

The goal is to derive the closed-form character χj(θ)\chi_j(\theta) as a geometric sum over weights, then evaluate the whole representation matrix at the kernel element −1-\mathbb{1} to show D(j)(−1)=(−1)2j1D^{(j)}(-\mathbb{1})=(-1)^{2j}\mathbb{1}. This one sign decides which representations descend to honest SO(3)\mathrm{SO}(3) representations and which remain two-valued spinors, converting the topology of the cover into a rule about the spin spectrum.

Step 1. Every UU is conjugate to diag(eiθ/2,e−iθ/2)\mathrm{diag}(e^{i\theta/2},e^{-i\theta/2}). In the spin-jj representation J3J_3 has eigenvalues m=−j,…,jm=-j,\dots,j, so D(j)(U)D^{(j)}(U) has eigenvalues eimθe^{im\theta} and trace χj(θ)=∑m=−jjeimθ\chi_j(\theta)=\sum_{m=-j}^{j}e^{im\theta}. Why: the character is a class function of the angle alone, so diagonalizing on the weight basis suffices.

Step 2. This geometric sum of 2j+12j+1 terms gives χj(θ)=sin⁡ ⁣((j+12)θ)sin⁡(θ/2)\chi_j(\theta)=\dfrac{\sin\!\big((j+\tfrac12)\theta\big)}{\sin(\theta/2)}, with χj(0)=2j+1=dim⁡D(j)\chi_j(0)=2j+1=\dim D^{(j)}. Why: the closed form makes characters orthonormal and lets us read off the value at the kernel.

Step 3. The kernel element −1-\mathbb{1} is θ=2π\theta=2\pi, giving eigenvalues eim⋅2π=(−1)2me^{im\cdot2\pi}=(-1)^{2m}. All weights differ from jj by integers, so 2m≡2j(mod2)2m\equiv2j\pmod2 and every eigenvalue equals (−1)2j(-1)^{2j}: thus D(j)(−1)=(−1)2j 1D^{(j)}(-\mathbb{1})=(-1)^{2j}\,\mathbb{1}. Why: at −1-\mathbb{1} the whole matrix is a single scalar times the identity, depending only on the parity of 2j2j.

Step 4. Integer jj gives (−1)2j=+1(-1)^{2j}=+1: the kernel acts trivially, D(j)D^{(j)} factors through SO(3)\mathrm{SO}(3), and the representation is a single-valued tensor. Half-integer jj gives −1-1: the two matrices ±U\pm U send one rotation to ±D(j)(U)\pm D^{(j)}(U), so it is double-valued on SO(3)\mathrm{SO}(3) and single-valued only on SU(2)\mathrm{SU}(2) — a spinor. Why: this is the precise sense in which half-integer spin exists only because nature uses the covering group. *As a consistency check: χ1/2(θ)=2cos⁡(θ/2)\chi_{1/2}(\theta)=2\cos(\theta/2) follows from both the sum and the ratio formula; χ1/2(2π)=−2=tr(−1)\chi_{1/2}(2\pi)=-2=\mathrm{tr}(-\mathbb{1}); and (−1)2j=+1(-1)^{2j}=+1 for j=1j=1 while (−1)2j=−1(-1)^{2j}=-1 for j=12,32j=\tfrac12,\tfrac32, as confirmed in Worked Example 3.*

Limiting cases

How the cover behaves in the key regimes and on its special elements:

CaseResultMeaning
Identity neighbourhoodU≈1−i2θ n^⋅σ⃗U\approx\mathbb{1}-\tfrac{i}{2}\theta\,\hat n\cdot\vec\sigma as θ→0\theta\to0The groups share generators and commutators; the cover is invisible, and every classical experiment sees only SO(3)\mathrm{SO}(3).
Single full rotationθ=2π: U=−1, R=1\theta=2\pi:\ U=-\mathbb{1},\ R=\mathbb{1}The half-angle sends UU to the antipode while space returns to itself — the spinor sign flip, seen only as a relative phase.
Double rotationθ=4π: U=+1, R=1\theta=4\pi:\ U=+\mathbb{1},\ R=\mathbb{1}Only after two full turns does the spinor return; 4π4\pi is the period of the cover and the belt trick.
Integer vs half-integer spinD(j)(−1)=(−1)2j 1D^{(j)}(-\mathbb{1})=(-1)^{2j}\,\mathbb{1}Integer jj: kernel trivial, representation descends to SO(3)\mathrm{SO}(3). Half-integer jj: kernel acts as −1-\mathbb{1}, a true spinor.
Abelian slice (fixed axis){U(θ)}≅U(1)\{U(\theta)\}\cong\mathrm{U}(1), period 4π4\piRotations about one axis form a circle double-covering the SO(2)\mathrm{SO}(2) of period 2π2\pi — the cover in one dimension.

Worked examples

1 · Why the 2π sign flip is measurable (confidence builder)

A neutron beam is split into two coherent paths. In one arm the spin is rotated by an angle ϕ\phi about a fixed axis with a magnetic field; the other arm is left alone. If the −1-1 at 2π2\pi were an unobservable global phase, the recombined intensity would repeat with period 2π2\pi. What period does it actually show?

Step 1. Take the incident spin along the field axis, an eigenstate; rotating it by ϕ\phi multiplies its amplitude by the diagonal entry of U(ϕ)U(\phi), namely e−iϕ/2e^{-i\phi/2}. The unrotated arm contributes 11, so recombining gives A(ϕ)=12(1+e−iϕ/2)A(\phi)=\tfrac12\big(1+e^{-i\phi/2}\big).

Step 2. The intensity is I(ϕ)=∣A(ϕ)∣2=14(2+2cos⁡ϕ2)=cos⁡2 ⁣ϕ4I(\phi)=|A(\phi)|^2=\tfrac14\big(2+2\cos\tfrac{\phi}{2}\big)=\cos^2\!\tfrac{\phi}{4}. The relative phase between the arms is ϕ/2\phi/2 — again the half-angle — so interference oscillates at half the rotation rate.

Step 3. At ϕ=0\phi=0, I=1I=1 (bright); at ϕ=2π\phi=2\pi, I=cos⁡2π2=0I=\cos^2\tfrac{\pi}{2}=0 (a dark fringe — full destructive interference); at ϕ=4π\phi=4\pi, I=cos⁡2π=1I=\cos^2\pi=1 (bright again): period 4π4\pi, not 2π2\pi.

Step 4. The −1-1 is thus a relative phase, directly visible as the beam darkening at a single 2π2\pi rotation of one arm. This is exactly the Rauch–Werner result of 1975: minimum at 2π2\pi, maximum at 4π4\pi, confirming the double cover in the laboratory.

2 · Computing the rotation R(U) explicitly

Take U=exp⁡ ⁣(−i2⋅π2 σ3)U=\exp\!\big(-\tfrac{i}{2}\cdot\tfrac{\pi}{2}\,\sigma_3\big), a 90∘90^\circ "rotation" about z^\hat z. Find R(U)R(U) from equation (5), verify it is a proper rotation, and check that −U-U gives the same RR.

Step 1. The half-angle law gives U=cos⁡π4 1−isin⁡π4 σ3=diag(e−iπ/4, e+iπ/4)U=\cos\tfrac{\pi}{4}\,\mathbb{1}-i\sin\tfrac{\pi}{4}\,\sigma_3=\mathrm{diag}\big(e^{-i\pi/4},\,e^{+i\pi/4}\big), so Uσ1U†=(0e−iπ/2e+iπ/20)U\sigma_1 U^\dagger=\big(\begin{smallmatrix}0&e^{-i\pi/2}\\ e^{+i\pi/2}&0\end{smallmatrix}\big).

Step 2. Read off column one via Ri1=12tr(σi Uσ1U†)R_{i1}=\tfrac12\mathrm{tr}(\sigma_i\,U\sigma_1U^\dagger): contracting with σ1\sigma_1 gives cos⁡π2=0\cos\tfrac{\pi}{2}=0, with σ2\sigma_2 gives sin⁡π2=1\sin\tfrac{\pi}{2}=1, with σ3\sigma_3 gives 00. So column one is (0,1,0)T(0,1,0)^{\mathsf T}; repeating for the rest yields

R(U)=(cos⁡π2−sin⁡π20sin⁡π2cos⁡π20001)=(0−10100001).R(U)=\begin{pmatrix}\cos\tfrac{\pi}{2}&-\sin\tfrac{\pi}{2}&0\\[2pt]\sin\tfrac{\pi}{2}&\cos\tfrac{\pi}{2}&0\\[2pt]0&0&1\end{pmatrix}=\begin{pmatrix}0&-1&0\\1&0&0\\0&0&1\end{pmatrix}.

Step 3. Check it is a proper rotation: the columns are orthonormal so RTR=1R^{\mathsf T}R=\mathbb{1}, and det⁡R=0⋅(0⋅1−0)−(−1)⋅(1⋅1−0)+0=+1\det R=0\cdot(0\cdot1-0)-(-1)\cdot(1\cdot1-0)+0=+1. R(U)R(U) is the 90∘90^\circ rotation about z^\hat z, and det⁡R=+1\det R=+1 confirms R∈SO(3)R\in\mathrm{SO}(3).

Step 4. Now −U=diag(e+i3π/4,e−i3π/4)-U=\mathrm{diag}\big(e^{+i3\pi/4},e^{-i3\pi/4}\big). Because RR depends on UU only through the pair (U, U†)(U,\,U^\dagger) and every entry carries one UU and one U†U^\dagger, the overall sign cancels: (−U)σj(−U)†=UσjU†(-U)\sigma_j(-U)^\dagger=U\sigma_jU^\dagger. Hence R(−U)=R(U)R(-U)=R(U) — the two antipodal matrices ±U\pm U produce the identical rotation, the two-to-one structure made explicit.

3 · Adding two spin-½ particles by characters

Combine two spin-12\tfrac12 particles. Use the character to decompose D(1/2)⊗D(1/2)D^{(1/2)}\otimes D^{(1/2)}, confirm the dimension count, and evaluate the identity at θ=π/2\theta=\pi/2.

Step 1. Characters multiply on a tensor product: χ1/2(θ)2=(2cos⁡θ2)2=2+2cos⁡θ\chi_{1/2}(\theta)^2=\big(2\cos\tfrac{\theta}{2}\big)^2=2+2\cos\theta.

Step 2. Since χ1(θ)=1+2cos⁡θ\chi_1(\theta)=1+2\cos\theta and χ0=1\chi_0=1, their sum χ1+χ0=2+2cos⁡θ\chi_1+\chi_0=2+2\cos\theta matches Step 1. Therefore D(1/2)⊗D(1/2)=D(1)⊕D(0)D^{(1/2)}\otimes D^{(1/2)}=D^{(1)}\oplus D^{(0)} — the spin-11 triplet plus the spin-00 singlet, the Clebsch–Gordan series of aq-mp-tensor-products-clebsch-gordan.

Step 3. Dimension check: 2×2=42\times2=4 states, and (2⋅1+1)+(2⋅0+1)=3+1=4(2\cdot1+1)+(2\cdot0+1)=3+1=4. The counts agree: 4 = 3 + 1.

Step 4. Spot-check at θ=π/2\theta=\pi/2: left side χ1/22=(2)2=2\chi_{1/2}^2=(\sqrt2)^2=2; right side (1+2cos⁡π2)+1=2(1+2\cos\tfrac\pi2)+1=2. Both equal 22, confirming D(1/2)⊗D(1/2)=D(1)⊕D(0)D^{(1/2)}\otimes D^{(1/2)}=D^{(1)}\oplus D^{(0)}.

Physics of the portrait

The spin double cover is where three strands meet: the classification of Lie-group representations, the 2×22\times2 matrices Pauli wrote for the electron, and the geometry of spinors. The person who first saw the spinor representations — years before any physicist needed them — was a French geometer working on pure representation theory.

Origins · 1 minÉlie Cartan and how this was discovered
ÉC
Élie Cartan
1869–1951, French geometer and Lie theorist · discovered the spinor representations that the double cover carries

In his 1913 memoir classifying the linear representations of the simple Lie groups, Élie Cartan found representations of the orthogonal Lie algebras that no tensor construction could build from the defining vector representation. These were the spinor representations: half-integer-weight objects faithful only on the simply-connected covering group, not on the rotation group itself. Cartan had discovered, in purely algebraic terms, exactly what would later be called the double cover — more than a decade before Uhlenbeck and Goudsmit proposed electron spin and Dirac gave spinors a physical home. He grasped the geometry as sharply as the algebra: a spinor reverses sign under a full rotation and is restored only by a second, and he built a coordinate-free theory running up to arbitrary Spin(n)\mathrm{Spin}(n), gathered into his 1938 Leçons sur la théorie des spineurs. Among Cartan's monuments — the classification of simple Lie algebras, symmetric spaces, exterior differential forms, the moving frame — the double cover is the corner physics leans on hardest, because every fermion lives in the representations he first wrote down.

History
1913
— Cartan classifies the simple-Lie-algebra representations and finds the spinor representations
1925
— Uhlenbeck and Goudsmit propose the intrinsic half-integer spin of the electron
1927
— Pauli writes electron spin as 2×2 matrices acting on a two-component wavefunction
1928
— Dirac's relativistic electron equation makes four-component spinors physical
1938
— Cartan publishes Lecons sur la theorie des spineurs, the geometric account of the cover
1975
— Rauch and Werner confirm the 4π periodicity of a neutron spinor by interferometry

Going further

Texts. Stone and Goldbart, Mathematics for Physics, ch. on Lie groups and SU(2)\mathrm{SU}(2) · Arfken, Weber and Harris, Mathematical Methods for Physicists, 7th ed., group-theory chapter · Hassani, Mathematical Physics, chapters on Lie groups and their representations · Nakahara, Geometry, Topology and Physics, 2nd ed., §4 and §13 (covering groups and spin) · Sakurai and Napolitano, Modern Quantum Mechanics, ch. 3 (rotations and SU(2)\mathrm{SU}(2)) · Hall, Lie Groups, Lie Algebras, and Representations, 2nd ed. The key numerical anchors are: (1) R(U)ij=12tr(σiUσjU†)R(U)_{ij}=\tfrac12\mathrm{tr}(\sigma_i U\sigma_j U^\dagger) reproduces the z^\hat z-rotation matrix of Worked Example 2 with det⁡R=+1\det R=+1 and R(−U)=R(U)R(-U)=R(U); (2) U(2π)=−1U(2\pi)=-\mathbb{1}, U(4π)=+1U(4\pi)=+\mathbb{1} from equation (3); (3) dim⁡D(j)=2j+1\dim D^{(j)}=2j+1, χ1/2(θ)=2cos⁡(θ/2)\chi_{1/2}(\theta)=2\cos(\theta/2), and χ1/22=χ1+χ0\chi_{1/2}^2=\chi_1+\chi_0; (4) π1(SO(3))=Z2\pi_1(\mathrm{SO}(3))=\mathbb{Z}_2, π1(SU(2))=0\pi_1(\mathrm{SU}(2))=0.

Prerequisites. The Rotation Group SO(3) · Lie Groups · Lie Algebras and the Exponential Map · Group Homomorphisms and Quotient Groups · Group Representations. Leads to. Reducible and Irreducible Representations · Tensor Products and Clebsch–Gordan Decomposition · Characters and Orthogonality Theorems.

Ask the tutor: Ask me to walk through the belt trick, to compute R(U)R(U) for any axis and angle, or to show why projective representations of SO(3)\mathrm{SO}(3) force nature onto SU(2)\mathrm{SU}(2).

If SU(2) and SO(3) have the same Lie algebra, in what sense are they different groups?

A Lie algebra fixes a group only near the identity — its generators and commutators, hence every infinitesimal rotation. It does not fix the global topology, and that is where the groups part ways. The same su(2)\mathfrak{su}(2) integrates to two different global groups: SU(2)\mathrm{SU}(2), the simply-connected 3-sphere S3S^3, and SO(3)\mathrm{SO}(3), which is RP3\mathbb{RP}^3 with a Z2\mathbb{Z}_2 of non-contractible loops. They agree on every local statement and disagree on every global one, including the existence of spin-12\tfrac12. Formally, SO(3)=SU(2)/{±1}\mathrm{SO}(3)=\mathrm{SU}(2)/\{\pm\mathbb{1}\}: same algebra, different group, a two-to-one cover.

Is the −1 under a 2π rotation observable, or just a global phase?

For an isolated spin it is a global phase and unobservable — no measurement on a single complete system sees an overall factor. It becomes physical the moment it is a relative phase. In an interferometer where only one of two coherent paths has its spin rotated, the −1-1 appears as a phase difference between the arms: the beam goes dark at a single 2π2\pi rotation and bright at 4π4\pi, exactly what Rauch and Werner measured in 1975. The sign is real physics; it is only invisible when you forget to give it something to interfere against.

What actually is a spinor, in plain terms?

A spinor lives in the fundamental two-component representation of SU(2)\mathrm{SU}(2) — a pair of complex amplitudes (ψ↑,ψ↓)(\psi_\uparrow,\psi_\downarrow) that transform under a rotation by the matrix U(θ)U(\theta) rather than an ordinary 3×33\times3 rotation. Its defining strangeness is the half-angle: rotating the frame by θ\theta rotates the spinor by θ/2\theta/2, so a full 2π2\pi turn flips its sign and only 4π4\pi restores it. Vectors and tensors, carrying integer spin, never do this. The electron's spin state is a spinor, which is why "which way is up" for an electron is tracked by SU(2)\mathrm{SU}(2), not by the rotation group of ordinary arrows.

Is the Dirac belt trick a real proof or just a picture?

It is a genuine demonstration of a topological fact, not merely an analogy. A belt attached at both ends encodes a path in SO(3)\mathrm{SO}(3), each cross-section recording an orientation. A 2π2\pi twist is a non-contractible loop — you cannot remove it without moving the ends — while a 4π4\pi twist is contractible and undoes by passing the belt around. That is exactly π1(SO(3))=Z2\pi_1(\mathrm{SO}(3))=\mathbb{Z}_2: loops come in two classes, and twice a generator is trivial. The belt makes the group Z2\mathbb{Z}_2 tactile. It does not by itself prove the quantum sign flip, but it faithfully exhibits the topology from which that sign follows.

Why does nature use SU(2) rather than SO(3)?

Because quantum mechanics only requires symmetries to be represented up to a phase — states are rays, not vectors — so the admissible representations are the projective ones of the rotation group. Wigner's theorem says these are exactly the ordinary representations of the universal cover SU(2)\mathrm{SU}(2). Nature is therefore free to use the half-integer-spin representations, and it does: electrons, protons, neutrons, and quarks are all spin-12\tfrac12. If quantum mechanics forbade the extra Z2\mathbb{Z}_2 freedom, fermions could not exist and ordinary matter would not be stable. The double cover is not an option nature happens to take; it is what the projective representations of SO(3)\mathrm{SO}(3) force upon us.

How does the double cover connect to the spin-statistics theorem?

The link runs through the same −1-1. Exchanging two identical particles can be built continuously from rotations, and for spin-12\tfrac12 objects the relevant path carries the 2π2\pi sign flip — so swapping two fermions multiplies the joint wavefunction by −1-1, forcing antisymmetry and the Pauli exclusion principle. Integer-spin fields, where D(j)(−1)=+1D^{(j)}(-\mathbb{1})=+\mathbb{1}, pick up +1+1 and are bosons. The full theorem needs relativistic field theory to make the exchange-rotation link airtight, but the seed is precisely the (−1)2j(-1)^{2j} from the kernel: a particle's statistics and the two-valuedness of its rotation representation are the same fact.

Before this

Where this leads