Little group

The little group of a momentum $p$ is its stabilizer in the Lorentz group. Its unitary irreducible representations label the internal degrees of freedom of one-particle states on the orbit of $p$.

These stabilizer representations are used in Wigner's classification of relativistic particle states.

A particle polarization specifies a physical spin state at fixed four-momentum. Massive spin states transform under the rotation little group $SO(D-1)$; finite-spin massless states transform under its transverse rotation part $SO(D-2)$. A massive two-form field has $\left(\genfrac{}{}{0ex}{}{D-1}{2}\right)$ such states, while a two-form gauge field has $\left(\genfrac{}{}{0ex}{}{D-2}{2}\right)$. Polarization components must be counted after field equations and any gauge equivalence are imposed.

The stabilizer of a nonzero null four-momentum has connected group $ISO(D-2)$. For ordinary finite-polarization particles its translation part acts trivially, leaving a representation of $SO(D-2)$.

For a future null standard momentum $k$, choose Lorentz transformations $L(p)k=p$ and a unitary irreducible representation $d$ of its little group. The Wigner rotation $R(\Lambda ,p)=L(\Lambda p{)}^{-1}\Lambda L(p)$ acts on the internal state. The resulting induced representation acts on wavefunctions with invariant measure $d^{3}p/(2p^0)$. Trivial little-group translations give fixed helicity; nontrivial translations give a continuous-spin representation with infinitely many polarization states.

In a finite-dimensional unitary representation of $ISO(2)$, its two commuting Hermitian translation generators have a finite joint spectrum. Conjugating by every planar rotation rotates that spectrum. A finite set invariant under all rotations contains only the origin, so both generators vanish. An irreducible representation is then a one-dimensional rotation character, giving a helicity state. Nontrivial translations instead require the infinite-dimensional continuous-spin representation. The same argument applies to the physical double cover of this little group.

For a standard null momentum $(E,0,0,E)$ in signature $(+---)$, define $K_i=M^{0i}$ and $J_i={ϵ}_{ijk}{M}^{jk}/2$. The stabilizing generators are $J_3,N_1,N_2$. The Poincare algebra gives $[J_3,N_1]=i{N}_2$, $[J_3,N_2]=-i{N}_1$ and $[N_1,N_2]=0$, the Lie algebra of planar Euclidean motions. Evaluating the Pauli-Lubanski pseudovector gives $W^2=-E^2(N_1^2+N_2^2)$.

An ordinary massless spin-one particle has transverse vector polarizations under $SO(D-2)$. A covariant polarization satisfies $p\cdot ϵ=0$ and is identified under $ϵ\mapsto ϵ+\lambda p$. The quotient has $D-2$ positive polarizations.

The stabilizer of a timelike four-momentum in $D$-dimensional Minkowski spacetime has connected group $SO(D-1)$. Massive particle polarizations form representations of this group.

A massive spin-one particle transforms as a vector under its massive particle little group $SO(D-1)$. Its $D-1$ polarizations are orthogonal to its timelike four-momentum. Under transverse $SO(D-2)$ rotations they split into a vector and a scalar.

The symmetry used to classify an open string must preserve its endpoint boundary background as well as its momentum. A Neumann-Dirichlet open-string boundary condition breaks target Lorentz transformations mixing ND and common directions with Neumann boundary conditions. For a D1–D25 pair with 24 ND directions, the common worldvolume has Lorentz group $SO(1,1)$, whose connected massive little group is trivial. The transverse $SO(24)$ remains as an internal rotation group. Thus a massive 24-component oscillator multiplet is not an $SO(25)$ vector of the full 26-dimensional massive little group; a vector of that full group would have 25 components.

A massive vector in $D$ spacetime dimensions has $D-1$ polarizations perpendicular to its timelike momentum. A massless vector has transverse polarizations modulo its null longitudinal polarization, leaving $D-2$ physical degrees of freedom.

Helicity is the projection of angular momentum onto the momentum direction. For a finite-helicity massless particle, the Pauli-Lubanski vector satisfies $W^{\mu }=\lambda P^{\mu }$.

For $\mathbf{k}=k\hat{z}$, these complex vectors form an orthonormal basis of the transverse plane using the Hermitian inner product. They have opposite phases under rotations about $\hat{z}$, so they describe the two helicity components. Since $\mathbf{e}\cdot m^{(\pm )}=\sin \theta e^{\pm i\phi }/\sqrt{2}$, transverse-vector sources carry only the angular sectors $m=\pm 1$ of spherical harmonics. Streaming by $ik\cos \theta$ preserves $m$ and couples neighboring angular degrees.

A continuous-spin representation is a massless unitary irreducible representation of the Poincare group in which the translation subgroup of the $ISO(2)$ little group acts nontrivially. It contains infinitely many helicities.

Wigner's classification obtains irreducible positive-energy representations of the Poincaré group by inducing from unitary irreducible representations of the little group of a standard momentum.

Fix $m>0$, $k=(m,0)$, and a rotationless Lorentz boost $L(p)$ taking $k$ to $p$ on the positive-energy mass shell. The little group on the Lorentz spinor double cover is SU(2). Its spin-$s$ irreducible representation induces a unitary representation on $L^2(d^{3}p/(2p^0))\otimes {\mathbb{C}}^{2s+1}$. Here $W(\Lambda ,p)=L(\Lambda p{)}^{-1}\Lambda L(p)$ is the Wigner rotation, lifted to SU(2) when necessary, and the translation convention is $U(I,a)|p⟩=e^{ip\cdot a}|p⟩$. The little-group cocycle proves the group law, and Wigner's classification gives irreducibility. Every nonnegative integer or half-integer spin is allowed on the double cover; descent to the ordinary proper orthochronous Poincaré group requires integer spin, because its $2\pi$ rotation must act as the identity.