Write for product spin states, and . A highest-weight state is killed by . For the unique state is . In the subspace, kills exactly when . In the subspace it kills exactly when . Normalizing gives
The left states are coupled states and the right states are product states. Lowering commutes with particle interchange, so the whole spin- multiplet has the exchange sign of its highest-weight state: for and for , or . Integer-spin identical particles are bosons; their spatial partial wave changes by under interchange. Symmetry of the full state therefore requires even.
For decay from total angular momentum one, coupling requires . The case forces and violates Bose symmetry. For , the allowed range is and symmetry leaves . For , the range is and symmetry leaves . The identical particles' intrinsic parity product is , so total final parity is . Hence
This uses the stated massive-spin angular-momentum model; no additional restrictions for massless transverse vector particles have been assumed.
Use the Clifford algebra and unit-weight antisymmetrization. The duality identity between and three antisymmetrized gamma matrices turns the equation into
The overall nonzero factor in this identity depends on the orientation and convention and does not change its solutions. This Rarita-Schwinger field equation has the gauge symmetry
since . It is the free-field limit of local supersymmetry, so it is suitable for the gravitino.
To check which spin it propagates, put and . Expanding the three gamma matrices using the Clifford algebra gives
in four dimensions. Thus the Euler-Lagrange field equation requires . Under the gauge transformation, ; locally one may choose gamma-trace gauge fixing, , by solving . The Euler-Lagrange field equation then yields
These are the massless Dirac equation, transversality and gamma-trace constraints that remove the lower-spin part of a vector-spinor.
For a more explicit massless Rarita-Schwinger polarization count, take a positive-frequency plane wave with null momentum along the third axis, in signature . Transversality relates its temporal and longitudinal components. Residual gauge transformations with remove both. Write the surviving components as ; their gamma-trace condition reads , hence
The massless Dirac equation leaves two complex positive-frequency amplitudes in . If , , then is proportional to in the transverse vector index. With spatial rotation generators and , the vector has helicity and the Majorana spinor has helicity , giving total helicity . The Majorana spinor condition fixes the negative-frequency coefficients from these amplitudes. Therefore a massless gravitino has spin , with the two physical helicities . A complex vector-spinor would also have independent antiparticle modes.
The requested count is instead the off-shell component count of minimal supergravity, before imposing any Euler-Lagrange field equations. A four-dimensional Majorana spinor has four real components. Its vector index supplies four copies, and local supersymmetry supplies four real gauge functions:
One must not additionally subtract transversality and the massless Dirac equation in this count: those are on shell conditions. The gamma-trace gauge fixing already uses the same four gauge functions subtracted above. For the graviton, a symmetric metric tensor has ten real components, with four diffeomorphism gauge functions. Equivalently, a vierbein has sixteen real components, minus six local Lorentz transformation and four diffeomorphism functions:
The gravitino and graviton each have two propagating states on shell, but their off-shell counts disagree by six.
An auxiliary field has an algebraic Euler-Lagrange field equation and no propagating kinetic term. In old-minimal supergravity, a complex scalar contributes two real bosonic components and a real vector contributes four, so the bosonic count becomes , matching the gravitino. Their supersymmetry transformations also absorb the terms that would otherwise require the propagating Euler-Lagrange field equations to close the local algebra. Thus auxiliary fields allow off-shell supersymmetry closure and matching component counts without adding physical particles. Eliminating them recovers an on shell formulation.
A periodic lattice Hamiltonian commutes with lattice translations. The Bloch theorem therefore classifies its states by characters of the translation group:
where is lattice periodic. For each crystal momentum , solving on a primitive cell with the corresponding quasiperiodic boundary condition gives discrete eigenvalues indexed by . Their continuous dependence on produces the energy bands as ranges through the Brillouin zone. Bragg mixing opens gaps at suitable degeneracies, although bands can overlap in three dimensions and gaps are not guaranteed between every pair.
The quantum numbers are band index, wavevector modulo reciprocal lattice vectors, and spin where spin is conserved. In a finite crystal the allowed wavevectors are discrete; in the thermodynamic limit they become dense and the band description emerges. Spin-orbit coupling can replace a separately conserved spin label by an appropriate internal band label.
Dilute randomly placed impurities break exact translation symmetry, so crystal momentum is no longer an exact quantum number. Most extended states retain approximately the host band structure but acquire impurity scattering and disorder broadening. An impurity potential can also produce impurity levels in a crystal, often in a band gap: levels associated with a donor impurity lie near the conduction-band edge and can supply electrons, while those associated with an acceptor impurity lie near the valence-band edge and can create holes. The impurity's species and potential determine whether such levels exist and how deep they are; not every impurity necessarily makes a gap state. At low density these levels are nearly isolated, while overlap at increasing density can broaden them into an impurity band. Added or removed carriers shift the chemical potential as well.
At zero temperature, fill all momentum states inside the Fermi sphere, with two spin states per momentum. Phase-space counting gives
For dispersion , the ratio of energy to particle-number integrals is
Let be the common chemical potential in the weak field, and let denote the lower Zeeman-energy branch . Its populations are
Keeping changes only at order , so to first order it equals . Subtracting the two populations gives
Each excess lower-energy spin contributes moment along the field. Hence the Pauli moment of a massless electron gas is
This includes the spin contribution specified in the problem. The field is weak enough that both spin branches remain occupied, and orbital magnetic effects are not part of the assumed energy model.
The Adjoint double cover from SU(2) to SO(3) is obtained by writing a traceless Hermitian matrix as , where the are the Pauli matrices, and defining . Explicitly,
Conjugation preserves , so is orthogonal; connectedness of SU(2) gives . Composition of conjugations makes a group homomorphism. A matrix in its kernel commutes with every Pauli matrix, so is scalar, and unit determinant then gives . Every spatial rotation occurs: induces the rotation through angle about . Thus
Since SU(2) is the simply connected three-sphere, this is the universal double cover; the two Lie algebras are isomorphic, although the groups are not.
Define the conjugate fundamental spinor of SU(2) by . Regard as a row, so unitarity gives
Consequently is an invariant Hermitian pairing. The basic invariant tensors are the Kronecker delta and the alternating tensors and . Choose , , so that . The unit-determinant identity makes invariant; its inverse gives the corresponding upper-index invariant. These contractions generate the tensor invariants of the defining representation. In particular transforms by , showing that the conjugate representation is equivalent to the defining one. The antilinear map squares to , so this is a pseudoreal representation, rather than a real structure.
For Representation theory of SU2, take , with acting on every index of a symmetric tensor. Its independent components are determined by the number of indices equal to , so there are of them. Equivalently, the homogeneous polynomial representation of SU2 has basis , , with
The basis weights are , and the raising operator and lowering operator connect consecutive basis vectors with nonzero coefficients until their endpoints. Any nonzero invariant subspace contains a weight vector, by applying polynomial spectral projections in . Raising it reaches , and lowering then obtains the entire basis. Thus is an irreducible representation, of spin . The classification of finite-dimensional representations of SU2 gives every finite-dimensional complex irreducible representation in this way. The central element acts on a rank- tensor as , so descent of an SU(2) representation to SO(3) gives
For the tensor contractions in the SU2 Clebsch-Gordan decomposition, contract indices of with indices of using , and symmetrize all the remaining free indices:
Each is an irreducible symmetric tensor in . To prove these are precisely the constituents, use two sets of formal variables . The highest-weight vectors
are killed by the total raising operator and have weights . The determinant factor is invariant; lowering the remaining factor gives an irreducible string of dimension . Distinct highest weights give inequivalent summands. The unitary representation on this tensor product makes invariant complements available, and the dimension check
exhausts the space. Hence the contractions above are its irreducible projections, up to normalization, and the Clebsch-Gordan decomposition for SU2 is
For the decomposition of three SU(2) spinors, write and . The contractions
transform as defining spinors. Alternation in three indices in dimension two vanishes, giving ; there are exactly two independent contractions. An explicit inverse, with the epsilon convention above, is
Symmetrizing this expression gives , while its first two contractions give , which verifies the decomposition. Thus
In the quark model, three spin- quarks therefore have total quark spin or . The two spin- copies correspond to coupling the first pair to spin or spin before adding the third quark. For ground-state baryons with orbital angular momentum , total : the nucleon has and the Delta baryon has . These two coupling copies alone do not assert two unrestricted physical baryon families. The antisymmetric three-quark colour singlet, the spatial wavefunction and flavor symmetry must also satisfy the Pauli constraint on three-quark flavour multiplets; orbital excitations can give other total angular momenta.
Use Minkowski metric signature and natural units. With no lepton mixing, choose the weak charged current convention
Its conjugate convention exchanges and without changing the interaction. The relevant four-fermion interaction gives the muon decay amplitude, up to an overall phase,
Here is the Fermi constant; the factors are twice the left chiral projector, so there is no additional factor of two to insert.
For the final-spin sum let , where . It already describes the specified initial polarization; there is no further initial-spin average. The two gamma matrix traces are
The electron-mass term vanishes in its chiral trace. In the muon trace, anticommutation with gives
For the chiral fermion trace contraction, define
The supplied trace conventions imply and , where . The factor four in the second trace follows from the polarization projector. The symmetric parts contract to . The Levi-Civita symbol contraction, including , contributes . Mixed symmetric-antisymmetric contractions vanish. Thus , and
Now neglect as well. Put and . The given moment integral over two-neutrino relativistic two-body phase space yields
In the muon rest frame, , , and . Substitution gives
Combining this with the Lorentz-invariant phase-space measure, whose one-particle denominator is , and , gives the polarized muon decay distribution
Consequently , , . Integration over the electron direction removes the polarization term, and , recovering .
The spin vector is axial and the momentum direction is polar: under parity, stays unchanged while reverses. Their scalar product therefore changes sign. Its nonzero coefficient demonstrates parity violation in polarized muon decay, arising from the left-chiral weak charged current. At the upper endpoint the negative muon's electron is preferentially emitted opposite the spin, providing a sign check on the result.
The angles and are cyclic. Their conjugate momentum components are and , so both are conserved; consequently is constant. With ,
Eliminating the cyclic velocities gives the nutation effective potential
apart from the constant axial spin energy. Thus
The endpoint is excluded for these nonzero conserved momenta: the effective potential diverges there. The apparent Euler-angle singularity at is interpreted by its smooth small-tilt limit.
Putting the unit vector along a coordinate axis gives . Putting it along gives for . Combining the resulting anticommutators with the given commutators yields , and hence
The operators obey angular-momentum commutators and , the spin-one-half value. In a spin-half irreducible sector they are the intrinsic spin operators; the algebra also permits direct sums of such sectors.
Since is Hermitian with , its operators are Hermitian and satisfy , and . Moreover . Thus is its orthogonal eigenstate decomposition, omitting any zero component. The Born probabilities for a normalized state are
For spin up along , the anticommutator gives . Therefore the probability of spin up along is .
A Lie algebra representation is a linear map preserving brackets: . Differentiating a smooth unitary representation of a Lie group gives , an anti-Hermitian operator for each real algebra element . In the physics convention one uses Hermitian generators and writes . Conversely, integration of a Lie-algebra representation gives a representation of the connected simply connected group. A representation of another group with the same algebra additionally has to be trivial on the kernel of its covering map.
For the angular momentum commutation relations, take Hermitian and on a positive-definite inner-product space. A highest-weight vector has and . Set . Commuting through each lowering operator gives . Furthermore,
so acting on the highest-weight state and summing the coefficients gives
Taking the inner product with produces the unitary highest-weight termination recursion
The first factor requires . If is not an integer, the first integer would make the norm negative, while every preceding norm is positive. Thus
For these values, have strictly positive norms and distinct eigenvalues, while has zero norm and hence is zero. They therefore span a space of dimension , invariant under all three generators. Its weights are . This proves integer or half-integer spin and finite dimension . The positive-definite unitary assumption matters: an unrestricted algebraic highest-weight module need not terminate. Normalizing the ladder states yields
This is the normalized highest-weight lowering formula with the usual positive ladder phases and units .
In the ordered spin-one-half basis , the matrices are
Thus , where the are Pauli matrices.
Choose the active-rotation convention. The SU(2) lift of an axis-angle rotation is
The Pauli matrix multiplication law shows that conjugating by this matrix produces , with
This is the ordinary three-dimensional rotation. In any spin- representation the corresponding unitary operator and its matrix elements are
For half-integer spin, in this notation includes a choice of lift to SU(2); it does not define a single-valued representation of SO(3).
For the specified Euler-angle order, the rightmost rotation acts first:
Here the Wigner D-matrix middle factor is . It can be calculated explicitly by realizing spin as the symmetric product of spin-one-half factors. Write and . The fundamental rotation sends to and to . Expanding a normalized symmetric state with plus signs gives
where . The exponent counts initially positive spinors that become negative, while counts initially negative ones that become positive; their minus signs and binomial coefficients give the displayed expression. Every factorial argument is an integer even for half-integer spin.
For spin one-half this reduces to the explicit matrix
Replacing by reverses both sine and cosine, so every entry changes sign. In particular, a pure rotation gives , while a rotation gives .
Finally, the Adjoint double cover from SU(2) to SO(3) is surjective by the axis-angle construction. Its kernel consists of matrices commuting with all Pauli matrices, hence scalar matrices; within SU(2) these are . Thus
Their Lie algebras are isomorphic, but their global topology and representations differ. In spin , the central element acts as , so exactly the integer-spin representations descend to ordinary SO(3) representations. This is the descent of an SU(2) representation to SO(3) criterion.