Skip to content

On-Shell States and Little-Group Scaling

A massless amplitude is not a Lorentz scalar in each external wavefunction separately: it is a covariant multilinear function of one-particle helicity states. The subgroup of Lorentz transformations that preserves a null momentum acts by a phase on an ordinary helicity state. In four-dimensional spinor-helicity variables that phase becomes a homogeneous rescaling, so every external helicity fixes one exact weight of the amplitude.

Required background. One-Particle States: Mass, Spin, and Relativistic Normalization supplies the induced-representation construction and state normalization. Massive and Massless Spin-One Polarizations supplies the physical polarization states and their gauge redundancy.

Helpful background. Lorentz Field Representations and Poincaré Particle Representations develops the representation-theoretic distinction between fields and particles.

Choose the standard future-directed null momentum kμ=(E,0,0,E)k^\mu=(E,0,0,E) in the site’s mostly-minus metric. Its proper Lorentz stabilizer is isomorphic to ISO(2)\operatorname{ISO}(2). For the finite-helicity particle representations used in perturbative QFT, the two translation-like generators act trivially and the remaining rotation acts as

U(R(θ))k,h=eihθk,h.U(R(\theta))\,|k,h\rangle=e^{-ih\theta}|k,h\rangle.

The nontrivial translation representations describe continuous-spin particles and are outside this chapter. The induced-representation derivation and this distinction are given in Weinberg 1995, § 2.5, pp. 62–74.

For a general null pp, a choice of standard boost defines p,h|p,h\rangle. Changing that choice by a little-group transformation changes the state by its helicity phase but leaves pp fixed. Consequently an nn-particle amplitude must transform covariantly, once for every external leg. This is a constraint on the complete on-shell amplitude, not on an individual gauge-dependent graph.

In four dimensions a complex null momentum may be factorized as

pαα˙=λαλ~α˙.p_{\alpha\dot\alpha} =\lambda_\alpha\widetilde\lambda_{\dot\alpha}.

The factorization is unchanged under

λitiλi,λ~iti1λ~i,tiC×.\lambda_i\longmapsto t_i\lambda_i, \qquad \widetilde\lambda_i\longmapsto t_i^{-1}\widetilde\lambda_i, \qquad t_i\in\mathbb C^\times.

For real, positive-energy Lorentzian momenta, the reality condition restricts tit_i to a phase. Complexified kinematics permits any nonzero complex tit_i. If a rotation by θ\theta is represented by ti=eiθ/2t_i=e^{-i\theta/2}, the all-outgoing external bra carries the phase conjugate to the ket in the preceding section. With that external-state convention,

An(,tiλi,ti1λ~i,hi,)=ti2hiAn(,λi,λ~i,hi,).\boxed{ \mathcal A_n(\ldots,t_i\lambda_i,t_i^{-1}\widetilde\lambda_i,h_i,\ldots) =t_i^{-2h_i}\mathcal A_n(\ldots,\lambda_i,\widetilde\lambda_i,h_i,\ldots) }.

Equivalently,

(λiαλiαλ~iα˙λ~iα˙)An=2hiAn.\left( \lambda_i^\alpha\frac{\partial}{\partial\lambda_i^\alpha} -\widetilde\lambda_i^{\dot\alpha} \frac{\partial}{\partial\widetilde\lambda_i^{\dot\alpha}} \right)\mathcal A_n=-2h_i\mathcal A_n.

Elvang and Huang derive the homogeneous weight and use it to determine massless three-point structures in Elvang and Huang 2014, § 2.6, pp. 27–30, PDF.

The following compact table records the weight checks used on this page. Angle and square brackets, polarization conventions, and the massive interface are collected in the shared spinor-helicity dictionary; the last row below prevents the massless U(1)U(1) rule from being applied to a massive state.

ObjectSpinor-helicity representationLittle-group behaviorCheck
Null momentum pip_ipiαα˙=λiαλ~iα˙p_{i\alpha\dot\alpha}=\lambda_{i\alpha}\widetilde\lambda_{i\dot\alpha}invariant under (λi,λ~i)(tiλi,ti1λ~i)(\lambda_i,\widetilde\lambda_i)\mapsto(t_i\lambda_i,t_i^{-1}\widetilde\lambda_i)detpi=0\det p_i=0
Angle bracketij=ϵαβλiαλjβ\langle ij\rangle=\epsilon^{\alpha\beta}\lambda_{i\alpha}\lambda_{j\beta}titjt_it_jantisymmetric; mass dimension one
Square bracket[ij]=ϵα˙β˙λ~iα˙λ~jβ˙[ij]=\epsilon_{\dot\alpha\dot\beta}\widetilde\lambda_i^{\dot\alpha}\widetilde\lambda_j^{\dot\beta}ti1tj1t_i^{-1}t_j^{-1}antisymmetric; mass dimension one
Helicity-hih_i external statelabel hih_i attached to leg iiamplitude weight ti2hit_i^{-2h_i}differentiate with the weight operator above
Vector polarizationε+μ(i;q)\varepsilon_+^\mu(i;q) or εμ(i;q)\varepsilon_-^\mu(i;q)ti2t_i^{-2} or ti+2t_i^{+2}pi ⁣εi=0p_i\!\cdot\varepsilon_i=0 and reference-qq independence of the amplitude
Massive momentumpαα˙=λαIλ~α˙Ip_{\alpha\dot\alpha}=\lambda_\alpha^I\widetilde\lambda_{\dot\alpha I}transforms under SU(2)SU(2) on II, not a single U(1)U(1) weightdetp=m2\det p=m^2 and 2s+12s+1 spin components

For a bracket monomial, the weight on leg ii is the signed number of angle spinors λi\lambda_i minus the signed number of square spinors λ~i\widetilde\lambda_i, with denominator powers counted negatively. Matching that integer to 2hi-2h_i is usually the fastest rejection test for a proposed expression.

Polarization redundancy and gauge invariance

Section titled “Polarization redundancy and gauge invariance”

A polarization vector for a massless spin-one leg also depends on a null reference momentum qq. Changing qq shifts the polarization by a multiple of pμp^\mu,

εhμ(p;q)εhμ(p;q)=ch(p;q,q)pμ.\varepsilon^\mu_h(p;q')-\varepsilon^\mu_h(p;q) =c_h(p;q,q')\,p^\mu.

Thus the little-group weight and reference-vector independence test different properties. Homogeneous scaling confirms the helicity representation. Reference independence follows only when the complete amplitude obeys the relevant Ward identity. A single diagram can pass the weight check while retaining gauge-dependent qq terms that cancel only in the sum.

For an amplitude written as εμ(p;q)Mμ\varepsilon_\mu(p;q)\mathcal M^\mu, the decisive check is

pμMμ=0.p_\mu\mathcal M^\mu=0.

The spinor-helicity expressions for vector polarizations and their gauge shifts are developed in Elvang and Huang 2014, § 2.4, pp. 16–20, PDF.

Consider the color-ordered three-gluon candidate

A3(1,2,3+)=g1232331.A_3(1^-,2^-,3^+) =g\frac{\langle12\rangle^3} {\langle23\rangle\langle31\rangle}.

Leg 1 appears three times in the numerator and once in the denominator, so its weight is t12=t12(1)t_1^2=t_1^{-2(-1)}. Leg 2 behaves identically. Leg 3 appears twice in the denominator, giving t32=t32(+1)t_3^{-2}=t_3^{-2(+1)}. The bracket ratio has mass dimension one, so a dimensionless Yang–Mills coupling gives the required three-point amplitude dimension. These checks do not yet prove the coupling, color factor, or branch; they show that the kinematic structure is compatible with the declared helicities.

Calling every element of ISO(2)\operatorname{ISO}(2) a helicity phase. The translation-like part acts trivially only for the ordinary finite-helicity representations assumed here. Continuous-spin representations are a distinct possibility, not additional helicities of the same particle.

Using a little-group check as a gauge-invariance proof. Correct homogeneous weight is necessary but does not remove reference-spinor dependence. Apply the Ward check to the complete color-dressed or color-ordered physical amplitude, as appropriate.

Applying a U(1)U(1) weight to a massive leg. A four-dimensional massive particle carries an SU(2)SU(2) little-group index. The massive-variable page makes the replacement explicit.

Determine the weight of

12412233441\frac{\langle12\rangle^4} {\langle12\rangle\langle23\rangle\langle34\rangle\langle41\rangle}

on every leg.

Solution

Legs 1 and 2 each have net angle-bracket power +2+2, so h1=h2=1h_1=h_2=-1. Legs 3 and 4 have net power 2-2, so h3=h4=+1h_3=h_4=+1. The weights are therefore (++)(--++); they do not determine the coupling, color tensor, factorization residues, or boundary behavior.

  • Elvang, Henriette, and Yu-tin Huang. Scattering Amplitudes in Gauge Theory and Gravity. Cambridge: Cambridge University Press, 2015. Open prepublication version. Open PDF.
  • Weinberg, Steven. The Quantum Theory of Fields, Volume I: Foundations. Cambridge: Cambridge University Press, 1995. DOI.