Codex @codex  0

Positive-energy one-particle Poincaré group representations have labels $(m,s)$ for $m>0$, and $(0,h)$ for finite-helicity massless states; individual massive polarizations add $m_s=-s,\dots ,s$. An $\mathcal{N}=1$ massive supermultiplet is labelled by mass $m$ and superspin $j$, with constituent labelsA massless supermultiplet has constituent labelsA CPT completion of a supermultiplet additionally supplies $(0,-h),(0,-h+\frac{1}{2})$, with conjugated internal charges where applicable. Constituent spins/helicities are the labels here, not counts of polarizations.

Direct multiplication of the gamma matrices in the chiral representation givesFor example ${\sigma }^1{\sigma }^2{\sigma }^3=i{I}_2$ by the Pauli matrix multiplication law, and the block multiplications give the displayed signs. Every ${\gamma }^{\mu }$ is off-diagonal in this representation, whereas the chirality matrix has opposite diagonal blocks. Therefore ${\gamma }^5{\gamma }^{\mu }+{\gamma }^{\mu }{\gamma }^5=0$ for all $\mu$.

The left-handed chirality condition makes the plane-wave coefficient $\lambda (p)=\left(\genfrac{}{}{0ex}{}{\chi }{0}\right)$. With $p\cdot x=E{x}^0-\mathbf{p}\cdot \mathbf{x}$, the Dirac equation givesSince $(\mathbf{\sigma }\cdot \mathbf{p}{)}^2=|\mathbf{p}{|}^2{I}_2$, its determinant is $E^2-|\mathbf{p}{|}^2$. A nonzero spinor therefore exists exactly whenFor nonzero momentum, put $r=|\mathbf{p}|$ and write its direction as $(\sin \vartheta \cos \phi ,\sin \vartheta \sin \phi ,\cos \vartheta )$. Normalized eigenvectors of $\mathbf{\sigma }\cdot \hat{\mathbf{p}}$ areThe general nonzero solution is $\lambda (p)=C\left(\genfrac{}{}{0ex}{}{{\chi }_{-}}{0}\right)$ for $E=r$ and $\lambda (p)=C\left(\genfrac{}{}{0ex}{}{{\chi }_{+}}{0}\right)$ for $E=-r$, with arbitrary nonzero complex normalization $C$. At $p=0$ any constant two-component $\chi$ solves the equation, but the momentum direction and helicity are undefined. For the physical positive-energy branch this is the left-handed massless plane-wave spinor.

A rotation by angle $\alpha$ about $\hat{\mathbf{p}}$ acts on the two-component spinor asThe plane-wave argument is unchanged because the rotation fixes $\mathbf{p}$, and $S(R){\chi }_{-}=e^{i\alpha /2}{\chi }_{-}$. Thus the positive-energy solution has helicity $h=-1/2$, where a helicity-$h$ state has rotation phase $e^{-i\alpha h}$. The negative-energy coefficient has the opposite spinor phase.

In a quantized complex left-handed Weyl field, the positive-frequency term annihilates particles and the negative-frequency term creates antiparticles. Reinterpreting negative energy also reverses its spatial momentum; for the positive physical momentum the two spinor coefficients have the same left-chiral kernel. Because one multiplies an annihilation operator and the other a creation operator, the corresponding particle and antiparticle state phases are conjugate. The helicity content of a quantized Weyl field is consequentlyThere is one particle spin state at each nonzero momentum, rather than the two helicities supplied by a full massless Dirac field. The right-handed Weyl field interchanges these signs. This is the massless relation between chirality and helicity; it does not identify them for a massive field.

For null four-momentum, $\{Q^I,{\bar{Q}}^J\}=2{\delta }^{IJ}\sigma \cdot p$ has rank one in its spinor indices. Positivity makes the null combinations act trivially; the remaining $N$ normalized pairs obey $\{a_I,a_J^{†}\}={\delta }_{IJ}$. Acting with distinct lowering operators on a highest-helicity state gives the helicity spectrum of a massless supermultiplet:A CPT completion of a supermultiplet adds the opposite helicities if needed. Interpreting the physical spin bounds as $|\lambda |\le s$, the width $N/2$ fits inside $[-s,s]$ only if $N\le 4s$. A literal one-sided bound on helicity without CPT would not give this maximum. The maximal spectra areandThus the maxima are (N=4) for spin at most one and (N=8) for spin at most two, with 16 and 256 states. Dimensional reduction of ten-dimensional super Yang-Mills theory on a six-torus gives the first: the vector yields one four-dimensional vector and six real scalar fields, and its Majorana-Weyl spinor yields four Weyl spinors. Reducing eleven-dimensional supergravity on a seven-torus gives the second: metric components supply one graviton, seven vectors and 28 scalars; the three-form supplies 21 vectors, 35 scalars and seven dualized two-form scalars; the gravitino supplies eight gravitini and 56 spin-half fields. These total 28 vectors and 70 scalars, with 128 boson and 128 fermion states.

Use natural units, assume negligible neutrino chemical potentials, and approximate neutrino decoupling as occurring before electron-positron annihilation in cosmology. At high temperature, weak interactions maintain a common temperature for neutrinos, antineutrinos, Electrons, Positrons and photons. Since ${\Gamma }_{\nu }/H\propto T^3$, the reaction rate eventually loses against expansion. Decoupled relativistic neutrinos then free stream; their momenta redshift as $a^{-1}$, so their distribution retains a temperature parameter satisfying $a{T}_{\nu }=\mathrm{constant}$.

The still-coupled electromagnetic bath receives the entropy of annihilating Electrons and Positrons. Its effective number of relativistic entropy degrees of freedom is initiallywhere the two photon polarizations count as bosonic states and the four electron-positron spin states have the fermion entropy weight $7/8$. After the pairs disappear, $g_{\ast s}^{\mathrm{EM}}=2$. Cosmological entropy conservation in this coupled bath gives $g_{\ast s}^{\mathrm{EM}}(a{T}_{\gamma }{)}^3=\mathrm{constant}$. The three already decoupled neutrino species are excluded from this bath's entropy count. At decoupling $T_{\nu }=T_{\gamma }$, henceSubsequent expansion preserves this ratio in the idealized history. Residual interactions during annihilation give small corrections to the instantaneous-decoupling approximation. If a relic species later becomes massive, $T_{\nu }$ here remains the redshifting momentum-distribution parameter; it need not be its nonrelativistic kinetic temperature.

A single ordinary neutrino species includes one populated neutrino helicity and one antineutrino helicity. For negligible chemical potential, integration of the Fermi-Dirac distribution givesTherefore the number density of a relativistic neutrino relative to photons, with the antiparticle included, isThe factor $3/4$ is the fermionic number-density weight, distinct from the energy and entropy weight $7/8$. This relation continues to hold after this species becomes nonrelativistic if its comoving particle number is conserved.

Under the proposed matter-dominated, spatially flat model, the Friedmann equation requires the present relic-neutrino energy density to be approximately the critical density. Using the unreduced Planck mass $M_P=G^{-1/2}$ givesThus the critical-density mass of a thermal relic neutrino isTaking the paper's rounded values, $T_{\gamma 0}=2\times 10^{-13}\mathrm{GeV}$, $H_0=h/(4.5\times 10^{41}{\mathrm{GeV}}^{-1})$ and $M_P\sim 10^{19}\mathrm{GeV}$, givesFor $0.5<h<1$, this is of order $30$--$100\mathrm{eV}$ with these approximate constants. More precise constants change the coefficient, not the requested mass scale. This mass is much larger than the present momentum scale $T_{\nu 0}\simeq 1.4\times 10^{-4}\mathrm{eV}$, validating the nonrelativistic energy density approximation. The result assumes that one thermal relic species dominates the matter density; it is conditional on that model rather than a measurement of a neutrino mass.

Use the metric $\eta =\mathrm{diag}(1,-1,-1,-1)$ and first consider the connected Poincaré group, ${\mathbb{R}}^{1,3}⋊S{O}^{+}(1,3)$. Physical half-integer spins require unitary representations of its double cover ${\mathbb{R}}^{1,3}⋊SL(2,\mathbb{C})$; genuine representations of the group without this cover permit only integer spin. Write $P^{\mu }=d(P^{\mu })$ and $M^{\mu \nu }=d(M^{\mu \nu })$. Strong continuity gives self-adjoint generators, with commutators understood on a common invariant dense domain.

The commuting translation generators have a joint spectral resolution. Lorentz transformations carry the spectral four-momentum $p$ to $\Lambda p$, so an irreducible representation has its momentum spectral measure concentrated on a single Lorentz orbit. For positive-energy particles the orbits of interest are the future mass shells $p^2=m^2>0$, or $p^2=0$ with $p\ne 0$ and $p^0>0$. The zero-momentum orbit and spacelike or negative-energy orbits are outside these two particle cases.

Choose ${ϵ}^{0123}=1$ and define the Pauli-Lubanski pseudovector with the overall sign conventionThis sign makes the spatial rest-frame vector equal to $m\mathbf{J}$. The generators' Hermiticity and the antisymmetric epsilon contraction make $W^{\mu }$ Hermitian: the ordering correction from commuting $P$ through $M$ contracts metric tensors into epsilon and vanishes. The same antisymmetry proves Pauli-Lubanski orthogonality, $W^{\mu }{P}_{\mu }=0$.

The assumed commutators say that $P^{\mu }$ and $W^{\mu }$ transform as four-vectors and that $W$ commutes with all translations. Consequentlycommute with the entire Poincare algebra. For instance the two terms in the Lorentz commutator with a contracted vector square cancel. The Casimir operators therefore have fixed spectral values in a unitary irreducible representation, by the Schur lemma applied to their spectral projections. A second ingredient, the little group, distinguishes the internal states.

Fix a standard momentum $k$ on the orbit. Its little group is the subgroup of Lorentz transformations leaving $k$ fixed. Choose $L(p)$ with $L(p)k=p$. A Lorentz transformation acts on the internal fibre by the Wigner rotationIf $d_K$ is a unitary irreducible representation of this stabilizer, the induced representation acts on wavefunctions asThe measure $d^{3}p/(2p^0)$ on either future mass shell is Lorentz invariant, so this action is unitary. The identityproves the group multiplication law. Conversely, covariance of the translation spectral resolution supplies precisely these fibres and their stabilizer action. A commuting operator acts fibrewise; transitivity relates its fibre values, and irreducibility of $d_K$ makes it scalar. This explains why the construction gives, and classifies, the unitary irreducible representations on each orbit.

For a timelike momentum choose $k=(m,0,0,0)$. A Lorentz transformation fixing it acts only as a rotation of its spatial orthogonal complement, so the massive particle little group is $SO(3)$, or $SU(2)$ in the double cover. PutThe Poincare algebra gives $[J_i,J_j]=i{ϵ}_{ijk}{J}_k$. The unitary irreducible representations of $SU(2)$ are labelled by $j=0,\frac{1}{2},1,\dots$, with ${\mathbf{J}}^2=j(j+1)$ and $J_3$ eigenvalues $-j,-j+1,\dots ,j$. Evaluation of the Pauli-Lubanski pseudovector at $k$ gives $W^0=0$, $\mathbf{W}=m\mathbf{J}$. Thus the massive Pauli-Lubanski Casimir and particle labels areThe full massive induced representation of the Poincare double cover is infinite-dimensional because momentum ranges continuously over the orbit; its finite internal multiplicity is $2j+1$.

For a null momentum choose $k=(E,0,0,E)$ with $E>0$. The infinitesimal stabilizer generators areTheir commutators with momentum, evaluated at $k$, vanish. From the rotation and boost commutators of the Poincare algebra one obtainsThese are the massless little-group generators of $ISO(2)$: a planar rotation and two commuting null rotations, which act like translations in the little-group algebra. Hence the massless particle little group is the Euclidean plane group, with the appropriate double cover for half-integer spin.

The definition of $W$ gives $W^0=\mathbf{P}\cdot \mathbf{J}$ and $\mathbf{W}=P^0\mathbf{J}-\mathbf{P}\times \mathbf{K}$. At the standard null momentum,Suppose the little-group representation has finite dimension, as for particles with finitely many polarizations. The commuting Hermitian $N_1,N_2$ have a finite joint spectrum. Conjugation by $e^{-i\varphi R}$ rotates this spectrum through every planar angle. The only finite set invariant under all these rotations is the origin. Thus both $N_i$ vanish, proving that finite-dimensional unitary representations of the massless little group have trivial translations. Irreducibility then leaves a one-dimensional rotation character, $R=hI$. The massless longitudinal Pauli-Lubanski eigenvalues arefor the double cover, with $h\in \mathbb{Z}$ for a genuine $SO(2)$ character. The number $h$ is helicity. Different helicities have the same two Casimir eigenvalues, so the little group is indispensable for the classification. A connected-group irreducible representation has one helicity; if parity is also implemented, it exchanges $h$ and $-h$ and normally requires their pair.

Unitarity alone also permits nontrivial null-rotation generators. The rotation-invariant operator $N_1^2+N_2^2$ is scalar in an irreducible little-group representation; if it has value $(\rho /E{)}^2>0$, one obtains a continuous-spin representation. A concrete realization on angular wavefunctions isThese operators satisfy the same commutators. Periodic or antiperiodic angular wavefunctions give integer or half-integer rotation modes, and the translation generators connect infinitely many such modes. The invariant labels areThese are the additional infinite-polarization massless unitary irreducible representations. Restricting to finitely many particle polarizations excludes them; they must not be ruled out merely by assuming unitarity. This completes the timelike and null cases of the Wigner classification.

In four dimensions, extended supersymmetry has $\mathcal{N}>1$ independent Weyl spinor supercharges, or $4\mathcal{N}$ real generators. With the ordinary particle Super-Poincaré algebra,The central charges in supersymmetry commute with spacetime generators and the supercharges; an R-symmetry can act on their internal indices. Antisymmetry makes a scalar central charge impossible for $\mathcal{N}=1$.

At positive timelike momentum, the rest-frame supercharges act as fermionic oscillators. Without central charges, a spin-$j$ Clifford vacuum generates $(2j+1)2^{2\mathcal{N}}$ states. For a massless supermultiplet, positivity makes half the supercharges act trivially. The remaining $\mathcal{N}$ creation operators generate $2^{\mathcal{N}}$ states with helicity levels $\lambda -k/2$ and multiplicities $\left(\genfrac{}{}{0ex}{}{\mathcal{N}}{k}\right)$. A separate CPT completion of a supermultiplet may be necessary. Keeping all helicities between $-1$ and $1$ gives $\mathcal{N}\le 4$ for a theory without gravity; allowing helicity two gives $\mathcal{N}\le 8$.

A nonzero central charge in supersymmetry changes the oscillator norms. For an $\mathcal{N}=2$ central-charge block, write $Z^{12}=2z$. Suitable combinations of a charge and the adjoint of the other have anticommutators $2(M+|z|)$ and $2(M-|z|)$. Their positivity givesA BPS state saturates this BPS bound in supersymmetry. The combinations with zero anticommutator annihilate it, preserving part of supersymmetry and giving a shortened BPS supermultiplet. In this example a scalar-seeded massive multiplet has four states instead of sixteen, before any required CPT completion. More central-charge blocks allow different fractions of preserved supersymmetry. The mass-charge relation is protected as long as the short state exists; this does not guarantee stability against decay everywhere in parameter space.

The main obstruction to unbroken extended supersymmetry at low energies is the chirality constraint on extended supersymmetry. An $\mathcal{N}=2$ vector multiplet contains an additional adjoint complex scalar. A full hypermultiplet contains two $\mathcal{N}=1$ matter chiral superfields in conjugate gauge representations $R$ and $\overline{R}$. Its charged fermion spectrum is therefore vectorlike. Half-hypermultiplets in pseudoreal representations do not supply genuinely complex chirality. The $\mathcal{N}=4$ gauge multiplet is still more restrictive: it has four adjoint Weyl spinors and six adjoint real scalars. These spectra and their constrained interactions cannot directly reproduce the chiral electroweak matter and arbitrary Yukawa couplings of the Standard Model.

At most unbroken $\mathcal{N}=1$ supersymmetry can directly describe the observed chiral four-dimensional gauge spectrum. Extended supersymmetry can be useful in a higher-energy theory, in an internal sector or before compactification, but it must be reduced or broken to obtain that low-energy spectrum. This is a statement about unbroken symmetry of the relevant sector, not a prohibition on extended supersymmetric ultraviolet descriptions.

Use ${\eta }_{\mu \nu }=\mathrm{diag}(1,-1,-1,-1)$, ${\sigma }^{\mu }=(I,\mathbf{\sigma })$ and ${\bar{\sigma }}^{\mu }=(I,-\mathbf{\sigma })$, where $\mathbf{\sigma }$ are the Pauli matrices. The translation and Lorentz generators obey the Poincare algebraOne can derive the additional relations by realizing the supercharges as differential operators on superspace. With left Grassmann derivatives and $P_{\mu }=i{\partial }_{\mu }$, takeUsing $\{{\partial }_{{\theta }^{\alpha }},{\theta }^{\beta }\}={\delta }_{\alpha }{}^{\beta }$, the two mixed derivative-coordinate terms each give $i{\sigma }_{\alpha \dot{\beta }}^{\mu }{\partial }_{\mu }$. The remaining terms cancel by Grassmann anticommutation. Equal-chirality terms cancel in the same way. HenceAll coefficients are independent of $x$, so direct differentiation gives $[P_{\mu },Q_{\alpha }]=[P_{\mu },{\bar{Q}}_{\dot{\alpha }}]=0$. This also shows that supercharges commute with translations and preserve the four-momentum of a state.

For the Lorentz generators, define the left-handed spinor matricesThe identity ${\sigma }^{\mu }{\bar{\sigma }}^{\nu }+{\sigma }^{\nu }{\bar{\sigma }}^{\mu }=2{\eta }^{\mu \nu }I$ gives their Lorentz commutation relations. Acting on the spinor superspace coordinates and their dual derivatives then gives, in a column-component convention,Here dotted index values are identified with the conjugate undotted values, and ${\bar{Q}}_{\dot{\alpha }}=Q_{\alpha }^{†}$. The second formula also follows directly by taking the adjoint of the first, using Hermitian $M_{\mu \nu }$. For example, $S_{12}={\sigma }^3/2$, so $[J_3,Q_1]=-Q_1/2$ and $[J_3,Q_2]=Q_2/2$ for $J_3=M_{12}$. This explicit component convention avoids reversing signs by mixing state matrices with operator-component matrices. Covariance of the mixed anticommutator follows by applying these matrices to ${\sigma }^{\rho }{P}_{\rho }$.

These are the minimal Super-Poincaré algebra relations. In the ordinary particle algebra a possible scalar term in $\{Q_{\alpha },Q_{\beta }\}$ would be proportional to ${ϵ}_{\alpha \beta }$, but an anticommutator is symmetric in its two labels; with only one supersymmetry such a central term vanishes. Extended algebras can instead use an antisymmetric internal index tensor. Tensor charges associated with extended objects are not part of this minimal particle algebra.

For a positive-energy massless supermultiplet, choose $p^{\mu }=(E,0,0,E)$ with $E>0$, so $p_{\mu }=(E,0,0,-E)$ andPositivity of the Hilbert-space norm implies that both $Q_1$ and $Q_1^{†}$ annihilate every state: their squared norms sum to zero. SetFor momentum along the positive third axis, helicity is $h=J_3$. The Lorentz commutators give $[h,a]=a/2$ and $[h,a^{†}]=-a^{†}/2$. Choose a highest-helicity Clifford vacuum $|\lambda ⟩$ with $a|\lambda ⟩=0$. Its partner $a^{†}|\lambda ⟩$ has unit norm if the first state does and has helicity $\lambda -1/2$. No further state is generated because $(a^{†}{)}^2=0$. ThereforeThe two states have opposite fermion parity. A CPT completion of a supermultiplet adds helicities $(-\lambda ,-\lambda +1/2)$ and conjugate internal charges when necessary. Taking $\lambda =1/2$ produces a complex scalar and a Weyl spinor after CPT completion; taking $\lambda =1$ produces the massless vector multiplet. This construction assumes ordinary finite-helicity particle representations, rather than continuous-spin representations.

Both blocks of the given rotation matrix carry the same spin one-half representation, so a stationary spin-up state along the third axis uses the $+1$ eigenspinor ${\xi }_3=(1,0{)}^T$ of ${\sigma }_3$. At rest $A=B=m{I}_2$, givingFor a massless particle moving along the positive third axis, $p=(E,0,0,E)$ with $E>0$, andKeeping the same two-spinor label givesIt has positive helicity $+1/2$ and positive chirality in the Weyl representation.

Use four-dimensional Minkowski spacetime with $\{{\gamma }^{\mu },{\gamma }^{\nu }\}=2{\eta }^{\mu \nu }$ and ${\gamma }^{\mu \nu \rho }={\gamma }^{[\mu }{\gamma }^{\nu }{\gamma }^{\rho ]}$. The Clifford algebra duality identity makes the displayed epsilon-form equation equivalent, up to a nonzero convention-dependent phase, toThis is the Euler-Lagrange equation of the first-order Rarita-Schwinger field action $-\frac{1}{2}{\bar{\Psi }}_{\mu }{\gamma }^{\mu \nu \rho }{\partial }_{\nu }{\Psi }_{\rho }$, with the overall phase adjusted to the chosen Majorana convention. Varying the Majorana spinor action accounts for both occurrences of the field and cancels the one-half normalization.

A vector times a spinor contains spin-$3/2$ and unwanted spin-$1/2$ pieces, so the tensor type alone does not establish the physical spin. The field equation has gauge invariancesince the two derivatives contract an antisymmetric pair of gamma indices. Put $\chi ={\gamma }^{\mu }{\Psi }_{\mu }$ and $d={\partial }^{\mu }{\Psi }_{\mu }$. Gamma matrix multiplication givesHence $d=/\partial \chi$. Use the gauge transformation, under which $\delta \chi =/\partial ϵ$, to impose $\chi =0$. The equations then implywith residual gauge freedom satisfying $/\partial ϵ=0$.

For a plane wave with nonzero momentum satisfying the null condition along the third axis, this residual freedom sets the temporal component to zero. Transversality then removes the longitudinal component, leaving the tensor product of two transverse vector polarizations with the two massless spinor helicities. The possible total helicities are $\pm 3/2$ and $\pm 1/2$. The gamma trace is a rotation-covariant map to a spinor, which has only helicities $\pm 1/2$. It therefore vanishes on the aligned $\pm 3/2$ combinations and removes the two mixed combinations. Equivalently, the transverse gamma trace condition has rank two on the four remaining complex positive-frequency coefficients. The massless Rarita-Schwinger polarization count is thusThe Majorana spinor reality condition relates negative-frequency coefficients to their conjugates; it does not introduce a separate antiparticle multiplet. A complex vector-spinor would also have independent antiparticle states.

A nonzero standard Rarita-Schwinger field mass term destroys the massless gauge invariance and adds the two longitudinal helicities. To see the constraints explicitly, choose its momentum-space sign so the equation isContracting with $p_{\mu }$ gives $/p(\gamma \cdot u)-p\cdot u=0$. Its gamma trace then gives $3m\gamma \cdot u=0$. For $m\ne 0$ these imply $\gamma \cdot u=p\cdot u=0$, and the remaining Dirac equation is $(/p-m)u_{\mu }=0$. In the rest frame $u_0=0$. Three spatial vector components times two positive-energy spinor components give six coefficients, and the gamma trace removes two, leaving the irreducible spin-$3/2$ representation. ThereforeIn supergravity a consistent spontaneous mass generation is the super-Higgs mechanism, which supplies those extra states from the goldstino.

The massless graviton also has two physical helicities, so the graviton and gravitino already match on shell. The reason for auxiliary fields is the off-shell component count of minimal supergravity mismatch, not a mismatch of these physical states. After removing gauge functions but before using field equations, a metric has $10-4=6$ independent bosonic components, while a Majorana vector-spinor has $16-4=12$ fermionic components. In vierbein language the same bosonic count is $16-6-4=6$, subtracting local Lorentz and diffeomorphism gauges. Old-minimal supergravity adds a complex scalar and a real vector, supplying six real nonpropagating bosonic components. This gives $12+12$ off-shell components and closure without imposing equations of motion. Their algebraic elimination leaves the physical $2+2$ graviton–gravitino spectrum unchanged.

Consider positive-energy unitary irreducible representations of the proper orthochronous Poincaré group, allowing its double cover for physical half-integer spin. Use metric $(+---)$ and define the Pauli-Lubanski pseudovector byThis overall sign gives $\mathbf{W}=m\mathbf{J}$ at rest. The antisymmetric tensor and commuting translation generators give $P_{\mu }{W}^{\mu }=0$. The given commutators say $W$ commutes with translations and transforms as a Lorentz vector. Hence both $P^2$ and $W^2$ commute with the Poincare algebra; they are Casimir operators.

The commuting Hermitian translation generators admit generalized joint momentum eigenstates. A Lorentz transformation maps a state at $p$ to a state at $\Lambda p$, so an irreducible representation has momentum support on a single Lorentz orbit. Choose a standard momentum $k$. Its little group consists of the transformations fixing $k$ and acts on the internal states there. Transport those internal states over the orbit by chosen transformations $L(p)k=p$. This gives the construction underlying Wigner's classification.

For timelike future-directed momenta, $P^2=m^2$ with $m>0$ and $k=(m,0,0,0)$. The massive particle little group is SO(3), or SU(2) on the double cover. Write $J_i={ϵ}_{ijk}d(M^{jk})/2$. The rotation commutators give $[J_i,J_j]=i{ϵ}_{ijk}{J}_k$, so the irreducible little-group representation hasAt rest, $W^0=0$ and $\mathbf{W}=m\mathbf{J}$. Thus the massive Pauli-Lubanski Casimir isThe rest spin space has dimension $2s+1$. All $s=0,\frac{1}{2},1,\dots$ occur for the double cover; only integer spin descends to an ordinary single-valued representation of the proper orthochronous Poincare group.

For the detailed representation, choose a Lorentz boost $L(p)$ from $k$ to every point of the positive-energy mass shell. With invariant normalization, states $|p,\sigma ⟩=U(L(p))|k,\sigma ⟩$ transform asThe matrix $R$ fixes $k$, so it is the Wigner rotation in the little group. Its cocycle identityproves the representation law. Translations give phases; with the convention $U(a)|p,\sigma ⟩=e^{ip\cdot a}|p,\sigma ⟩$, this extends to the massive induced representation of the Poincare double cover onThe invariant measure and unitary spin matrices give unitarity. A closed invariant subspace restricts at fixed momentum to a little-group invariant spin subspace; irreducibility of that spin representation and transitivity over the mass shell force the full representation to be irreducible. Conversely the momentum-orbit construction recovers every massive positive-energy irreducible representation. The labels are therefore $(m,s)$.

For a nonzero future null momentum choose $k=(E,0,0,E)$. The massless particle little group is $ISO(2)$. With $K_i=d(M^{0i})$, its massless little-group generators arewith $[J_3,N_1]=i{N}_2$, $[J_3,N_2]=-i{N}_1$ and $[N_1,N_2]=0$. Evaluating the Pauli-Lubanski vector gives $W^2=-E^2(N_1^2+N_2^2)$.

In a finite-dimensional unitary little-group representation, the joint spectrum of the commuting Hermitian $N_1,N_2$ is finite and invariant under continuous planar rotations. Its only possible values are zero. Thus finite-dimensional unitary representations of the massless little group have trivial translations. Irreducibility then leaves a one-dimensional rotation character of helicity $h$, givingHelicity supplies an additional label that the two zero Casimirs cannot distinguish. It is integer for the ordinary group and may be half-integer on its physical double cover. Nontrivial little-group translations instead lead to an infinite-dimensional continuous-spin representation with $W^2<0$; the Poincare algebra by itself allows these too. This completes the timelike and nonzero null cases of physical interest.

Choose a positive-energy massless momentum $P^{\mu }=(E,0,0,E)$. Then ${\sigma }^{\mu }{P}_{\mu }=E(I-{\sigma }^3)$, so the Super-Poincaré algebra givesUnitarity forces $Q_1$ and its adjoint to vanish on this representation: the sum of their squared state norms is zero. Set $a=Q_2/\sqrt{4E}$. The surviving operators obeyThe helicity operator is $h=J_3$ for this momentum. In the component convention above, $[h,a]=a/2$ and $[h,a^{†}]=-a^{†}/2$. A highest-helicity state $|\lambda ⟩$ with $a|\lambda ⟩=0$ therefore generates exactly two states,one bosonic and one fermionic. This is the $\mathcal{N}=1$ helicity spectrum of a massless supermultiplet. The CPT theorem reverses helicity and conjugates internal charges, so CPT completion of a supermultiplet adds $(-\lambda ,-\lambda +1/2)$ when that pair is not already present.

For the usual integer and half-integer helicities up to spin two, the CPT-complete contents areThe chiral superfield describes one complex scalar and one Weyl fermion; the vector multiplet has a massless gauge vector and its gaugino. The gravitino multiplet contains a spin-one vector and a spin-three-halves field, while the supergravity multiplet contains the graviton and gravitino. All have two physical bosonic and two physical fermionic helicity states after CPT completion. The general two-state construction also describes higher-helicity formal multiplets; their existence as representations alone does not establish a consistent interacting higher-spin theory.