Massive Spinor-Helicity Variables

• Massive spinor-helicity variables are on-shell variables that encode a massive momentum and its spin using explicit SU(2) little-group indices in four dimensions.
• They replace the fixed helicity label of massless particles with an SU(2) multiplet, enabling the construction of wavefunctions and scattering amplitudes that capture Lorentz-covariant spin dynamics.
• This framework bridges massless on-shell methods and massive computations, facilitating recursive amplitude calculations, superspace formulations, and high-energy limits in modern quantum field theory.

Massive spinor-helicity variables are on-shell variables that encode a massive momentum and its spin in spinors carrying explicit little-group indices. In four dimensions, the basic structure is

$$p_{a\dot a}=\lambda_a^{\,I}\,\tilde\lambda_{\dot a I},$$

with $I=1,2$ an $SU(2)$ little-group index. This differs from the massless factorization $p_{a\dot a}=\lambda_a\tilde\lambda_{\dot a}$, whose little group is only $U(1)$. The distinction is not merely notational: for massive particles, helicity is not Lorentz invariant, because boosts can rotate spin relative to momentum through a Wigner rotation. Massive spinor-helicity formalisms therefore replace a fixed helicity label by an $SU(2)$ multiplet of states and use that structure to construct wavefunctions, amplitudes, and superspaces directly on shell (Lee, 2016, Chen et al., 2011, Herderschee et al., 2019).

1. Lorentz-covariant origin and the loss of invariant helicity

A common source of confusion is the status of helicity for massive particles. In the rest frame one may define

$$k^\mu=(m,\mathbf 0),\qquad J_z|k,\sigma\rangle=\sigma|k,\sigma\rangle,$$

but $J_z$ is not a Casimir invariant, so this condition is frame-dependent. The transformation law of one-particle states is governed by the Wigner rotation,

$$U(\Lambda)|p,\sigma\rangle = \sqrt{\frac{(\Lambda p)^0}{p^0}} \sum_{\sigma'} D_{\sigma'\sigma}\!\left(W(\Lambda,p)\right)\, |\Lambda p,\sigma'\rangle, \qquad W(\Lambda,p)=L^{-1}(\Lambda p)\Lambda L(p),$$

with $D(W)$ the $I=1,2$0 little-group matrix for massive particles (Lee, 2016).

Under a pure rotation, the spin quantization axis simply rotates with the state. Under a boost, the situation is subtler: a boosted state $I=1,2$1 is not automatically a helicity eigenstate, even when the label $I=1,2$2 is unchanged. For two successive orthogonal boosts, the product of boosts decomposes into a boost times a rotation,

$I=1,2$3

and the Wigner angle satisfies

$I=1,2$4

The resulting spin-momentum misalignment angle obeys

$I=1,2$5

In the massless limit $I=1,2$6, one gets $I=1,2$7, so spin remains parallel or anti-parallel to momentum and helicity is Lorentz invariant. For massive particles, the nonzero Wigner rotation is precisely the reason an $I=1,2$8 little-group description is required (Lee, 2016).

2. Four-dimensional kinematics and the $I=1,2$9 little group

The standard four-dimensional massive spinor-helicity decomposition writes the momentum bispinor as

$SU(2)$0

with the diagonal $SU(2)$1 phase fixed by a normalization such as

$SU(2)$2

so the remaining arbitrariness is an $SU(2)$3 rotation among the two spinors. In the massless formalism the little group acts only by phase, but for massive particles the two-spinor decomposition carries an internal $SU(2)$4 index, and the freedom to rotate the pair of spinors is the freedom to choose a basis of spin states (Chen et al., 2011).

Equivalent formulas are often written in AHH notation as

$SU(2)$5

with the massive Dirac-type relations

$SU(2)$6

and completeness identities

$SU(2)$7

together with the corresponding Dirac spinors $SU(2)$8, $SU(2)$9 and their completeness relations (Ochirov, 2018).

A particularly compact rewriting packages a massive spinor as a two-component object in little-group space,

$p_{a\dot a}=\lambda_a\tilde\lambda_{\dot a}$0

where $p_{a\dot a}=\lambda_a\tilde\lambda_{\dot a}$1 are the large components and $p_{a\dot a}=\lambda_a\tilde\lambda_{\dot a}$2 vanish in the high-energy limit. The normalization identities

$p_{a\dot a}=\lambda_a\tilde\lambda_{\dot a}$3

imply

$p_{a\dot a}=\lambda_a\tilde\lambda_{\dot a}$4

This notation makes many identities look nearly massless while keeping the full $p_{a\dot a}=\lambda_a\tilde\lambda_{\dot a}$5 structure explicit (Heuson, 2019).

3. Little-group generators, wavefunctions, and amplitude construction

A central structural result is that the $p_{a\dot a}=\lambda_a\tilde\lambda_{\dot a}$6 little-group generators can be realized as first-order differential operators in the spinor variables. In this representation,

$p_{a\dot a}=\lambda_a\tilde\lambda_{\dot a}$7

so the massive spin problem becomes an $p_{a\dot a}=\lambda_a\tilde\lambda_{\dot a}$8 representation-theory problem in spinor space. For general half-integer spin $p_{a\dot a}=\lambda_a\tilde\lambda_{\dot a}$9, the lowest-helicity state $U(1)$0 generates the entire multiplet through

$U(1)$1

and the same logic applies to wavefunctions of spin $U(1)$2 and higher (Chen et al., 2011).

This directly feeds into on-shell amplitude construction. For the three-particle amplitude of two equal-mass massive fermions and one massless gauge boson, the little-group covariance equations constrain the amplitude to a small set of Lorentz-invariant spinor structures. In the spin-$U(1)$3 case one finds

$U(1)$4

and the other helicity amplitudes are obtained by little-group raising operators. The coefficients $U(1)$5 and $U(1)$6 are interpreted as form factors, and on-shell gauge invariance plus Lorentz invariance are described as nearly as restrictive as in the massless case (Chen et al., 2011).

The same $U(1)$7-covariant viewpoint is effective in non-supersymmetric gauge theory. In tree-level QCD with one massive quark pair and $U(1)$8 gluons, amplitudes are written with open $U(1)$9 indices so that quark spin remains arbitrary throughout the calculation. Closed all-multiplicity formulas were obtained for the all-plus and one-minus families, and the spin quantization axes can be tuned at will, including definite-helicity quark states. This contains the older $SU(2)$0-dependent constructions as special choices of basis (Ochirov, 2018).

4. High-energy limits, $SU(2)$1-factors, and mass insertions

The high-energy limit is a basic consistency check and an organizing principle. In the two-vector notation, the small spinors $SU(2)$2 satisfy

$SU(2)$3

so three-point kinematics reduce to the familiar massless relations at leading order, with the first mass corrections encoded by the suppressed components. In the equal-mass two-massive–one-massless case, the standard $SU(2)$4-factor has the asymptotic behavior

$SU(2)$5

in the conventions used there (Heuson, 2019).

A more elaborate recent organization splits the AHH massive spin-spinors into helicity-transversality components

$SU(2)$6

with

$SU(2)$7

The large-energy scaling is

$SU(2)$8

which leads to the expansion

$SU(2)$9

In this framework, helicity flip is implemented by $$k^\mu=(m,\mathbf 0),\qquad J_z|k,\sigma\rangle=\sigma|k,\sigma\rangle,$$0 through

$$k^\mu=(m,\mathbf 0),\qquad J_z|k,\sigma\rangle=\sigma|k,\sigma\rangle,$$1

while chirality flip is implemented by mass spurions $$k^\mu=(m,\mathbf 0),\qquad J_z|k,\sigma\rangle=\sigma|k,\sigma\rangle,$$2, and the commutators

$$k^\mu=(m,\mathbf 0),\qquad J_z|k,\sigma\rangle=\sigma|k,\sigma\rangle,$$3

allow the two types of insertion to be organized independently (Ni et al., 15 Jan 2025).

The same work introduces a transversality quantum number $$k^\mu=(m,\mathbf 0),\qquad J_z|k,\sigma\rangle=\sigma|k,\sigma\rangle,$$4, related to chirality in the spin-$$k^\mu=(m,\mathbf 0),\qquad J_z|k,\sigma\rangle=\sigma|k,\sigma\rangle,$$5 case, and proposes a UV–IR one-to-one correspondence between massive helicity-chirality amplitudes and massless amplitudes with or without additional Higgs insertions. This suggests a systematic route from massless on-shell technology to massive amplitudes, rather than a purely separate formalism (Ni et al., 15 Jan 2025).

5. Superspace, complex mass, and higher-dimensional generalizations

Massive spinor-helicity variables admit a manifestly little-group-covariant on-shell superspace. For four-dimensional $$k^\mu=(m,\mathbf 0),\qquad J_z|k,\sigma\rangle=\sigma|k,\sigma\rangle,$$6, the momentum is written as

$$k^\mu=(m,\mathbf 0),\qquad J_z|k,\sigma\rangle=\sigma|k,\sigma\rangle,$$7

and the supercharges are projected onto the little group,

$$k^\mu=(m,\mathbf 0),\qquad J_z|k,\sigma\rangle=\sigma|k,\sigma\rangle,$$8

Introducing Grassmann variables $$k^\mu=(m,\mathbf 0),\qquad J_z|k,\sigma\rangle=\sigma|k,\sigma\rangle,$$9, one obtains massive superfields such as

$J_z$0

For two massive matter multiplets and one massless vector, the positive-helicity three-point superamplitude takes the form

$J_z$1

and equal masses are required for this kinematics (Herderschee et al., 2019).

Massive spinor-helicity also extends to complex masses. With

$J_z$2

one may choose

$J_z$3

with

$J_z$4

This version was used to reinterpret extra $J_z$5-dimensional loop-momentum components as masses in dimensionally regulated unitarity cuts, with $J_z$6 on cuts, and to build a massive $J_z$7 superspace whose long chiral multiplet is

$J_z$8

(Johansson et al., 2023).

Beyond four dimensions, the same logic persists but the little group changes. In six dimensions the massive little group is $J_z$9, and the momentum factorizes as

$$U(\Lambda)|p,\sigma\rangle = \sqrt{\frac{(\Lambda p)^0}{p^0}} \sum_{\sigma'} D_{\sigma'\sigma}\!\left(W(\Lambda,p)\right)\, |\Lambda p,\sigma'\rangle, \qquad W(\Lambda,p)=L^{-1}(\Lambda p)\Lambda L(p),$$0

with massive helicity spinors carrying the fundamental $$U(\Lambda)|p,\sigma\rangle = \sqrt{\frac{(\Lambda p)^0}{p^0}} \sum_{\sigma'} D_{\sigma'\sigma}\!\left(W(\Lambda,p)\right)\, |\Lambda p,\sigma'\rangle, \qquad W(\Lambda,p)=L^{-1}(\Lambda p)\Lambda L(p),$$1 of $$U(\Lambda)|p,\sigma\rangle = \sqrt{\frac{(\Lambda p)^0}{p^0}} \sum_{\sigma'} D_{\sigma'\sigma}\!\left(W(\Lambda,p)\right)\, |\Lambda p,\sigma'\rangle, \qquad W(\Lambda,p)=L^{-1}(\Lambda p)\Lambda L(p),$$2. In five dimensions, one formulation uses the factorization

$$U(\Lambda)|p,\sigma\rangle = \sqrt{\frac{(\Lambda p)^0}{p^0}} \sum_{\sigma'} D_{\sigma'\sigma}\!\left(W(\Lambda,p)\right)\, |\Lambda p,\sigma'\rangle, \qquad W(\Lambda,p)=L^{-1}(\Lambda p)\Lambda L(p),$$3

so that massless and massive states are treated uniformly with massive little group $$U(\Lambda)|p,\sigma\rangle = \sqrt{\frac{(\Lambda p)^0}{p^0}} \sum_{\sigma'} D_{\sigma'\sigma}\!\left(W(\Lambda,p)\right)\, |\Lambda p,\sigma'\rangle, \qquad W(\Lambda,p)=L^{-1}(\Lambda p)\Lambda L(p),$$4 (Jha et al., 2018, Pokraka et al., 2024). An algebraic-geometric reformulation studies spinor-helicity data as varieties $$U(\Lambda)|p,\sigma\rangle = \sqrt{\frac{(\Lambda p)^0}{p^0}} \sum_{\sigma'} D_{\sigma'\sigma}\!\left(W(\Lambda,p)\right)\, |\Lambda p,\sigma'\rangle, \qquad W(\Lambda,p)=L^{-1}(\Lambda p)\Lambda L(p),$$5 cut out by Plücker relations and bilinear equations; this suggests a natural language for organizing generalized, including potentially massive, kinematic constraints (Maazouz et al., 2024).

6. Reference-spinor realizations, software, and applications

Not all practical implementations use the fully covariant $$U(\Lambda)|p,\sigma\rangle = \sqrt{\frac{(\Lambda p)^0}{p^0}} \sum_{\sigma'} D_{\sigma'\sigma}\!\left(W(\Lambda,p)\right)\, |\Lambda p,\sigma'\rangle, \qquad W(\Lambda,p)=L^{-1}(\Lambda p)\Lambda L(p),$$6-indexed formalism directly. A common alternative is a reference-spinor decomposition of a massive momentum. One implementation starts from

$$U(\Lambda)|p,\sigma\rangle = \sqrt{\frac{(\Lambda p)^0}{p^0}} \sum_{\sigma'} D_{\sigma'\sigma}\!\left(W(\Lambda,p)\right)\, |\Lambda p,\sigma'\rangle, \qquad W(\Lambda,p)=L^{-1}(\Lambda p)\Lambda L(p),$$7

for a non-lightlike vector $$U(\Lambda)|p,\sigma\rangle = \sqrt{\frac{(\Lambda p)^0}{p^0}} \sum_{\sigma'} D_{\sigma'\sigma}\!\left(W(\Lambda,p)\right)\, |\Lambda p,\sigma'\rangle, \qquad W(\Lambda,p)=L^{-1}(\Lambda p)\Lambda L(p),$$8 and lightlike reference vector $$U(\Lambda)|p,\sigma\rangle = \sqrt{\frac{(\Lambda p)^0}{p^0}} \sum_{\sigma'} D_{\sigma'\sigma}\!\left(W(\Lambda,p)\right)\, |\Lambda p,\sigma'\rangle, \qquad W(\Lambda,p)=L^{-1}(\Lambda p)\Lambda L(p),$$9, and defines massive spinors such as

$D(W)$0

together with massive polarization vectors and BCFW-type shifts. This is the basis of the SpinorsExtras package (Kuczmarski, 2014).

SpinorHelicity4D supports four-dimensional massless and massive external states, but its current massive sector is explicitly based on a massless decomposition with reference spinors,

$D(W)$1

rather than the fully covariant $D(W)$2 formalism; the paper states that implementation of the explicit $D(W)$3-covariant version is left for future work (Huber, 2023). By contrast, SMaSH keeps explicit massive little-group indices throughout,

$D(W)$4

implements on-shell relations, higher-spin propagators, high-energy limits, gauge invariance tests, and numerical kinematics via RAMBO, and is presented as a fully covariant massive extension of standard spinor-helicity manipulations (Kumar et al., 26 Jun 2026).

The formalism has been used in several applied settings. In supersymmetric phenomenology, light-cone decomposition of massive momenta into null momenta was used to compute compact helicity amplitudes for neutralino decays into gravitino or goldstino states, including explicit comparisons between the spin-$D(W)$5 and spin-$D(W)$6 descriptions (Larios, 2017). In hadron spectroscopy and amplitude analysis, a canonical-spinor basis fixes the spin quantization axis instead of aligning it with the momentum, so that $D(W)$7 decomposition is realized in a single little-group space while Lorentz covariance is maintained; this framework was implemented in TF-PWA and gave consistent fit results across helicity, traditional-$D(W)$8, and canonical-spinor amplitudes for $D(W)$9 (Huang et al., 4 Mar 2026). Recent work also derives two methods for massive cross sections—a quasi-high-energy limit and an assembly of partial cross sections—and interprets low-energy coalescence of ultrarelativistic amplitudes in twistor-theoretic terms (Gomez-Laberge, 7 Aug 2025).

Massive spinor-helicity variables therefore occupy a position between representation theory and practical computation. At the kinematic level they encode the fact that massive states transform under an $I=1,2$00 little group rather than a helicity $I=1,2$01. At the amplitude level they convert spin dependence into little-group covariance, differential-operator algebra, and finite bases of on-shell tensor structures. At the computational level they support modern recursive, supersymmetric, and software-assisted calculations while retaining a transparent massless limit.