---
title: Massive Spinor-Helicity Variables
url: https://www.emergentmind.com/topics/massive-spinor-helicity-variables
type: topic
---

# Massive Spinor-Helicity Variables

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 [1607.05370] [1105.3851] [1902.07204].

## 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 \(SU(2)\) little-group matrix for massive particles [1607.05370].

Under a pure rotation, the spin quantization axis simply rotates with the state. Under a boost, the situation is subtler: a boosted state \(|p,\sigma\rangle\) is not automatically a helicity eigenstate, even when the label \(\sigma\) is unchanged. For two successive orthogonal boosts, the product of boosts decomposes into a boost times a rotation,
\[
L\!\left(\frac{\pi}{2},\varphi'\right)L(0,\varphi)=L(\theta'',\varphi'')\,R(\theta_w),
\]
and the Wigner angle satisfies
\[
\tan\theta_w=\frac{\sinh\varphi'\,\sinh\varphi}{\cosh\varphi'+\cosh\varphi}
=
\frac{\gamma\gamma'\beta\beta'}{\gamma+\gamma'}.
\]
The resulting spin-momentum misalignment angle obeys
\[
\tan\epsilon=\frac{\tanh\varphi'}{\sinh\varphi}
=
\frac{\beta'}{\beta}\sqrt{1-\beta^2}.
\]
In the massless limit \(\beta=1\), one gets \(\epsilon=0\), 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 \(SU(2)\) little-group description is required [1607.05370].

## 2. Four-dimensional kinematics and the \(SU(2)\) little group

The standard four-dimensional massive spinor-helicity decomposition writes the momentum bispinor as
\[
p_{\alpha\dot\alpha}=\lambda_\alpha^{\,I}\,\tilde\lambda_{\dot\alpha I},
\]
with the diagonal \(U(1)\) phase fixed by a normalization such as
\[
\langle\ ,\ \rangle=[\ ,\ ]=-m,
\]
so the remaining arbitrariness is an \(SU(2)\) 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)\) index, and the freedom to rotate the pair of spinors is the freedom to choose a basis of spin states [1105.3851].

Equivalent formulas are often written in AHH notation as
\[
p_{\alpha\dot\beta}=|p^a\rangle_\alpha [p_a|_{\dot\beta},
\]
with the massive Dirac-type relations
\[
p^{\dot\alpha\alpha}|p^a\rangle_\alpha=m|p^a]^{\dot\alpha},
\qquad
p_{\alpha\dot\alpha}|p^a]^{\dot\alpha}=m|p^a\rangle_\alpha,
\]
and completeness identities
\[
\langle p^a p^b\rangle=-m\,\epsilon^{ab},
\qquad
[p^a p^b]=m\,\epsilon^{ab},
\qquad
|p^a\rangle[p_a|=p
\]
together with the corresponding Dirac spinors \(u_p^{Aa}\), \(v_p^{Aa}\) and their completeness relations [1802.06730].

A particularly compact rewriting packages a massive spinor as a two-component object in little-group space,
\[
|i^I\rangle=\binom{|i\rangle}{|n_i\rangle},
\qquad
|i^I]=\binom{|i]}{|n_i]},
\]
where \(|i\rangle,|i]\) are the large components and \(|n_i\rangle,|n_i]\) vanish in the high-energy limit. The normalization identities
\[
\langle i\,n_i\rangle=-m_i,
\qquad
[i\,n_i]=+m_i
\]
imply
\[
p_i=|i\rangle[i|+|n_i\rangle[n_i|,
\qquad
p_i^2=m_i^2.
\]
This notation makes many identities look nearly massless while keeping the full \(SU(2)\) structure explicit [1911.03919].

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

A central structural result is that the \(SO(3)\simeq SU(2)\) little-group generators can be realized as first-order differential operators in the spinor variables. In this representation,
\[
[\mathcal R(J^i),\mathcal R(J^j)]=i\,\epsilon_{ijk}\,\mathcal R(J^k),
\qquad
\mathcal R(J^\pm)=\mathcal R(J^1)\pm i\,\mathcal R(J^2),
\]
so the massive spin problem becomes an \(SU(2)\) representation-theory problem in spinor space. For general half-integer spin \(j\), the lowest-helicity state \(u_{-j}\) generates the entire multiplet through
\[
u_{-j+n}=N(j,n)\,(J^+)^n u_{-j},
\qquad n=1,\dots,2j,
\]
and the same logic applies to wavefunctions of spin \(3/2\) and higher [1105.3851].

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-\(\tfrac12\) case one finds
\[
A\!\left(-\frac12,-\frac12,-1\right)
=
F_1\,\frac{[\tilde 1\tilde 2]\langle 2\,3\rangle}{[\tilde 2\tilde 3]}
+\frac{F_2}{2m}\,\langle 1\,3\rangle\langle 2\,3\rangle,
\]
and the other helicity amplitudes are obtained by little-group raising operators. The coefficients \(F_1\) and \(F_2\) are interpreted as form factors, and on-shell gauge invariance plus Lorentz invariance are described as nearly as restrictive as in the massless case [1105.3851].

The same \(SU(2)\)-covariant viewpoint is effective in non-supersymmetric gauge theory. In tree-level QCD with one massive quark pair and \(n-2\) gluons, amplitudes are written with open \(SU(2)\) 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 \(q\)-dependent constructions as special choices of basis [1802.06730].

## 4. High-energy limits, \(x\)-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 \(|n_i\rangle,|n_i]\) satisfy
\[
|n_i\rangle,|n_i]\to 0
\qquad \text{as} \qquad E_i\gg m_i,
\]
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 \(x\)-factor has the asymptotic behavior
\[
x\sim \frac{m\,[ik]}{[ij]}
\]
in the conventions used there [1911.03919].

A more elaborate recent organization splits the AHH massive spin-spinors into helicity-transversality components
\[
\lambda_\alpha,\ \eta_\alpha,\ \tilde\lambda_{\dot\alpha},\ \tilde\eta_{\dot\alpha},
\]
with
\[
\lambda_\alpha^I=-\lambda_\alpha\,\zeta^{-I}+\eta_\alpha\,\zeta^{+I},
\qquad
\tilde\lambda_{\dot\alpha}^I=\tilde\lambda_{\dot\alpha}\,\zeta^{+I}+\tilde\eta_{\dot\alpha}\,\zeta^{-I}.
\]
The large-energy scaling is
\[
\lambda,\tilde\lambda\sim \sqrt{2E},
\qquad
\eta,\tilde\eta\sim \frac{\mathbf m}{\sqrt{2E}},
\]
which leads to the expansion
\[
\mathcal M\sim \sum_k E^{4-n}\left(\frac{\mathbf m}{E}\right)^k.
\]
In this framework, helicity flip is implemented by \(J^\pm\) through
\[
\lambda \leftrightarrow \eta,
\qquad
\tilde\lambda \leftrightarrow \tilde\eta,
\]
while chirality flip is implemented by mass spurions \(m,\tilde m\), and the commutators
\[
[m,J^-]=[\tilde m,J^+]=0
\]
allow the two types of insertion to be organized independently [2501.09062].

The same work introduces a transversality quantum number \(t\), related to chirality in the spin-\(\tfrac12\) 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 [2501.09062].

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

Massive spinor-helicity variables admit a manifestly little-group-covariant on-shell superspace. For four-dimensional \(\mathcal N=1\), the momentum is written as
\[
p^{\dot\alpha\beta}=-\sum_I |p^I]^{\dot\alpha}\langle p_I|^\beta,
\]
and the supercharges are projected onto the little group,
\[
q^I_{i,A}=\frac{-1}{\sqrt{2}m_i}\langle i^I|Q_{i,A},
\qquad
q^{\dagger A}_{i,I}=\frac{1}{\sqrt{2}m_i}|i_I]\,Q_i^{\dagger A}.
\]
Introducing Grassmann variables \(\eta^A_{i,I}\), one obtains massive superfields such as
\[
\Phi=\phi+\eta_I\chi^I-\eta_I\eta^I\tilde\phi,
\qquad
\mathcal W^I=\lambda^I+\eta^I H+\eta_J W^{(IJ)}-\eta_J\eta^J\tilde\lambda^I.
\]
For two massive matter multiplets and one massless vector, the positive-helicity three-point superamplitude takes the form
\[
\mathcal A(\overline{\mathcal Q}_1,G_2^+,\mathcal Q_3)
=
\delta^{(2)}(Q^\dagger)\,\frac{g}{x},
\qquad
x=\frac{1}{m}\frac{\langle q|p_2|3]}{\langle q3\rangle},
\]
and equal masses are required for this kinematics [1902.07204].

Massive spinor-helicity also extends to complex masses. With
\[
p^2=m\bar m,
\qquad
p^\mu=k^\mu+\frac{m\bar m}{2p\cdot q}\,q^\mu,
\]
one may choose
\[
|p^a\rangle=\begin{pmatrix} |q\rangle\, \dfrac{m}{\langle kq\rangle} \\ |k\rangle \end{pmatrix},
\qquad
|p^a]=\begin{pmatrix} |k] \\ |q]\, \dfrac{\bar m}{[kq]} \end{pmatrix},
\]
with
\[
\langle p_a p_b\rangle=m\,\epsilon_{ab},
\qquad
[p^a p^b]=\bar m\,\epsilon^{ab}.
\]
This version was used to reinterpret extra \((D-4)\)-dimensional loop-momentum components as masses in dimensionally regulated unitarity cuts, with \(\mu_{ii}=m_i^2\) on cuts, and to build a massive \(\mathcal N=1\) superspace whose long chiral multiplet is
\[
\Phi=\phi+\eta^a\Psi_a+(\eta)^2\overline\phi
\]
[2312.17219].

Beyond four dimensions, the same logic persists but the little group changes. In six dimensions the massive little group is \(SO(5)\sim Sp(4)\), and the momentum factorizes as
\[
p_{AB}=\tilde\lambda_{AI}\tilde\lambda_{BJ}J^{IJ},
\qquad
p^{AB}=\lambda^{AI}\lambda^{BJ}J_{IJ},
\]
with massive helicity spinors carrying the fundamental \(\mathbf 4\) of \(Sp(4)\). In five dimensions, one formulation uses the factorization
\[
p_A{}^{B}=|p_{\dot\alpha}]_A[p^{\dot\alpha}|^B+|p_\alpha\rangle_A\langle p^\alpha|^B,
\]
so that massless and massive states are treated uniformly with massive little group \(SO(4)\cong SU(2)\times SU(2)\) [1810.11803] [2405.09533]. An algebraic-geometric reformulation studies spinor-helicity data as varieties \(\operatorname{SH}(k,n,r)\subset \operatorname{Gr}(k,n)\times \operatorname{Gr}(k,n)\) cut out by Plücker relations and bilinear equations; this suggests a natural language for organizing generalized, including potentially massive, kinematic constraints [2406.17331].

## 6. Reference-spinor realizations, software, and applications

Not all practical implementations use the fully covariant \(SU(2)\)-indexed formalism directly. A common alternative is a reference-spinor decomposition of a massive momentum. One implementation starts from
\[
k^q = k-\frac{k^2}{2k\cdot q}\,q
\]
for a non-lightlike vector \(k\) and lightlike reference vector \(q\), and defines massive spinors such as
\[
|\prescript{q}{+}k\rangle
=
|k^q\rangle+\frac{m_k}{[k^q|q]}|q],
\qquad
|\prescript{q}{+}k]
=
|k^q]+\frac{m_k}{\langle k^q|q\rangle}|q\rangle,
\]
together with massive polarization vectors and BCFW-type shifts. This is the basis of the `SpinorsExtras` package [1406.5612].

`SpinorHelicity4D` supports four-dimensional massless and massive external states, but its current massive sector is explicitly based on a massless decomposition with reference spinors,
\[
P^\mu:=q^\mu+\frac{m^2}{2q\cdot k}k^\mu,
\]
rather than the fully covariant \(\lambda^I_\alpha,\tilde\lambda_{\dot\alpha I}\) formalism; the paper states that implementation of the explicit \(SU(2)\)-covariant version is left for future work [2304.01589]. By contrast, `SMaSH` keeps explicit massive little-group indices throughout,
\[
p_{\alpha\dot\alpha}=-|p^J]_\alpha\langle p_J|_{\dot\alpha},
\]
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 [2606.27928].

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-\(\tfrac32\) and spin-\(\tfrac12\) descriptions [1709.00608]. In hadron spectroscopy and amplitude analysis, a canonical-spinor basis fixes the spin quantization axis instead of aligning it with the momentum, so that \(LS\) 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-\(LS\), and canonical-spinor amplitudes for \(\Lambda_c^+\to\Lambda\pi^+\pi^0\) [2603.04487]. 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 [2508.05539].

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 \(SU(2)\) little group rather than a helicity \(U(1)\). 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.

Source: https://www.emergentmind.com/topics/massive-spinor-helicity-variables