Massive Spinor-Helicity Building Blocks

• Massive spinor-helicity building blocks are fundamental structures that decompose massive momenta and polarization tensors in a little-group-covariant way.
• They provide a systematic framework for constructing on-shell scattering amplitudes, leveraging clear Lorentz and gauge-invariant spinor contractions.
• These blocks ensure a smooth massless limit and facilitate practical applications in double-copy constructions and effective field theory operator classification.

Massive spinor-helicity building blocks constitute the foundational structures underlying on-shell massive scattering amplitudes in four, five, and higher spacetime dimensions. These building blocks provide a manifestly little-group-covariant decomposition of massive momenta and polarization tensors, together with an organized set of Lorentz and gauge-invariant spinor contractions, enabling a direct and compact formulation of amplitudes—including for higher-spin and supersymmetric theories—entirely in terms of spinor-helicity variables. In this context, “building blocks” specifically refer to (i) massive spinors in little-group representations, (ii) their invariant inner products (“angle” and “square” brackets), (iii) completeness/projector and spin-sum relations, (iv) polarization vectors/tensors for integer-spin states, (v) operator identities such as Schouten and Fierz rearrangements, and (vi) basis structures for amplitude construction and double-copy relations (Chiodaroli et al., 2022, Pokraka et al., 2024, Herderschee et al., 2019, Heuson, 2019, Chen et al., 2011).

1. Massive Spinor-Helicity Variable Construction

Massive spinor-helicity formalism introduces commuting Weyl spinors $\lambda^I_\alpha$ and $\tilde\lambda^I_{\dot\alpha}$, transforming in the fundamental of an $SU(2)$ massive little group for four dimensions, and in higher fundamental representations for dimensions $D>4$. For five-dimensional kinematics, the relevant Lorentz group is $SO(1,4)\cong USp(2,2)$, with massive little group $SO(4)\cong SU(2)_L \times SU(2)_R$. Each massive momentum $p^\mu$ is packaged as a bispinor or, in 5d, a $4\times 4$ symmetric traceless matrix $p_{AB}$ ($A,B=1\dots 4$): $p_{AB} = -(\slashed p\,\Omega)_{AB},\quad \Omega_{AB} = \begin{pmatrix} \epsilon_{\alpha\beta} & 0 \ 0 & -\epsilon_{\dot\alpha\dot\beta} \end{pmatrix}$ A 5d massive momentum then splits as

$$p_{AB} = |{\bf p}_a\rangle |{\bf p}^a\rangle + |{\bf p}_{\dot a}][{\bf p}^{\dot a}| = \frac{1}{2}\left(|{\bf p}_a\rangle\langle{\bf p}^a| + |{\bf p}_{\dot a}][{\bf p}^{\dot a}|\right)$$

with $|{\bf p}_a\rangle$ and $|{\bf p}_{\dot a}]$ carrying $SU(2)_L$ and $SU(2)_R$ indices respectively (Chiodaroli et al., 2022).

In four dimensions, the canonical decomposition for $p^2=m^2$ is

$$p_{\alpha\dot\alpha} = \sum_{I=1}^2 \lambda^I_\alpha\,\tilde\lambda_{\dot\alpha\,I}$$

with normalization ensuring $\langle p^I p^J\rangle = m\epsilon^{IJ}$ and $[p^I p^J] = m\epsilon^{IJ}$ (Herderschee et al., 2019, Heuson, 2019). Similar constructions exist in six dimensions with $SO(5)\cong Sp(4)$ as the massive little group, and higher symplectic or orthogonal groups in $D>6$ (Jha et al., 2018). The spinor normalization and completeness ensure on-shell Dirac and Klein-Gordon equations are algebraically satisfied.

2. Little-Group Covariance and Polarization Tensors

The building blocks include polarization vectors for massive spin-1 states and higher-tensor analogues:

• In 5d, the polarization vector is

$$\varepsilon^\mu_{a\dot a}(p) = -\frac{1}{2\sqrt{2}m} \langle{\bf p}_a|\gamma^\mu|{\bf p}_{\dot a}]$$

with orthogonality $p\cdot\varepsilon=0$, completeness $$\varepsilon^\mu_{a\dot a}\varepsilon_{\mu,b\dot b} = -\epsilon_{ab}\epsilon_{\dot a\dot b}$$, and projection onto the physical subspace $\eta^{\mu\nu}-p^\mu p^\nu/m^2$. For massive self-dual tensors (spin-2 and higher), use

$$\varepsilon^{\mu\nu}_{ab}(p) = \frac{\langle{\bf p}_a|\gamma^{\mu\nu}|{\bf p}_b\rangle}{4\sqrt{2}m}$$

with similar expressions for dotted indices (Chiodaroli et al., 2022).

• In 4d, polarization vectors are built as

$$\epsilon^\mu_{IJ}(p) = \frac{1}{\sqrt{2}m} \langle p_I|\sigma^\mu|p_J]$$

and completeness and orthogonality follow from spin sums and little-group symmetry (Gomez-Laberge, 7 Aug 2025, Heuson, 2019).

These representations ensure that Lorentz covariance, gauge redundancy, and little-group transformations are all algebraic and explicit. The correct transversality and physical degrees of freedom follow from these constructions.

3. Basic Spinor Contractions and Identities

Massive amplitudes are constructed via little-group-covariant spinor contractions:

• Angle and square brackets: Structure

$$\langle i^I j^J\rangle = \lambda^I_{i,\alpha}\,\lambda^J_{j,\beta}\,\epsilon^{\alpha\beta},\quad [i^I j^J] = \tilde\lambda^I_{i,\dot\alpha}\,\tilde\lambda^J_{j,\dot\beta}\,\epsilon^{\dot\alpha\dot\beta}$$

with $SU(2)$ (or $SU(2)_L \times SU(2)_R$ or $Sp(4)$ etc.) indices spelling out the little-group representation (Herderschee et al., 2019, Jha et al., 2018, Chiodaroli et al., 2022).

• Schouten identities: For any three spinors in angle or square brackets (with respect to their respective $SL(2)$ or $SU(2)$ indices), antisymmetry relations and Schouten identities reduce redundancies,

$$\langle i^I j^J\rangle\,\lambda^K + \langle j^J k^K\rangle\,\lambda^I + \langle k^K i^I\rangle\,\lambda^J = 0$$

• Projector/completeness: In matrix language,

$\sum_{I=1}^2 |p^I\rangle [p_I| = \slashed{p} + m,\qquad \sum_{I=1}^2 |p^I] \langle p_I| = \slashed{p} - m$

and in 5d analogous constructs using $|{\bf p}_a\rangle\langle{\bf p}^a|=p+m$, $|{\bf p}_{\dot a}][{\bf p}^{\dot a}|=p-m$ hold (Chiodaroli et al., 2022).

The spinor algebra, when used in basis construction for amplitudes, leverages these identities to eliminate overcomplete monomials, ensure proper little-group transformation, and enforce gauge invariance or other physical constraints.

4. Amplitude Building: Structural Templates and Superamplitudes

Massive spinor-helicity building blocks enable the systematic decomposition and classification of three- and four-point scattering amplitudes for arbitrary spin and mass:

• Three-point sectors: For three massive states with spins $S_i$, the classification is controlled by spin-triangle inequalities ($S_1+S_2\ge S_3\ge|S_1-S_2|$ and permutations); each sector’s amplitude is a (de)symmetrized product of angle/square brackets and mixed contractions (Pokraka et al., 2024).
• Mixed-mass cases: Amplitudes with massive and massless legs are built by incorporating auxiliary null reference spinors and structures such as the $x$-factor parameterizing mixed bracket ratios in special kinematics,

$$x = \frac{\langle q | p | p']}{m \langle q p' \rangle}$$

ensuring correct scaling and gauge invariance (Heuson, 2019, Jha et al., 2018, Gomez-Laberge, 7 Aug 2025).

• Superamplitudes: Supersymmetric amplitudes generalize via Grassmann variables $\eta_{i,I}$ carrying little-group indices, and on-shell supercharges,

$$Q^\dagger = -\sqrt{2} \sum_i \langle i^I|\,\eta_{i,I}, \quad Q = +\sqrt{2} \sum_i |i_I]\,\frac{\partial}{\partial\eta_{i,I}}$$

with full superamplitudes organized via SUSY-invariant delta functions of these supercharges. All on-shell constraints become algebraic (Chiodaroli et al., 2022, Herderschee et al., 2019, Johansson et al., 2023).

The amplitude construction process then proceeds by forming all allowed local monomials (subject to symmetry, dimension, and EOM constraints), eliminating redundancies with Schouten/Dirac identities, and organizing into a minimal basis via graph-theoretic enumeration (Angelis, 2022).

5. High-Energy Limits, Massless Correspondence, and Double-Copy

A crucial aspect of massive spinor-helicity building blocks is their smooth high-energy (HE) limit and precise matching to massless amplitudes:

• High-energy projection: Each massive spinor decomposes as (schematically)

$$|p^I\rangle \to |k\rangle U^I_\alpha + m |q\rangle U^I_\alpha\,,\quad m\to 0$$

so the leading and subleading pieces coalesce to massless helicity eigenstates or map to lower-spin representations (Chiodaroli et al., 2022, Pokraka et al., 2024, Ni et al., 15 Jan 2025, Ni et al., 15 Jan 2026).

• Massless-massive correspondence: Primary minimal-helicity-chirality (MHC) blocks deform to pure massless 3-point amplitudes. Subleading “descendant” blocks, arising from chirality (transversality) flips with $m\eta$ factors, correspond to Goldstone insertions associated with spontaneous symmetry breaking or Higgsing (Ni et al., 15 Jan 2026, Ni et al., 15 Jan 2025).
• Double-copy constructions: Spinor-helicity building blocks greatly streamline the application of the BCJ double-copy to obtain gravitational and supergravity amplitudes from gauge theory ingredients, as the little-group and Lorentz symmetries are transparent (Chiodaroli et al., 2022).

6. Basis Enumeration and Systematic Reduction

The amplitude basis in effective field theory is constructed from all kinematically allowed planar graphs formed by angle and square brackets, modulo:

• Schouten identities (planar reduction),
• Dirac/Klein-Gordon relations (loop elimination),
• On-shell momentum conservation (vertex reduction),
• Symmetry projectors (Young symmetrizers for identical fields). This combinatorial procedure outputs a minimal set of monomials furnishing the amplitude basis at fixed mass dimension, spin content, and field multiplicity (Angelis, 2022, Pokraka et al., 2024).

Building Block	4D/5D Expression	Physical Role
Massive spinor	$\lambda^I_\alpha, \tilde\lambda^I_{\dot\alpha}$	On-shell state, LG rep
Angle/square bracket	$\langle i^I j^J \rangle$ / $[i^I j^J]$	LG-covariant invariant/spinor contraction
Polarization vector	$\frac{1}{\sqrt{2}m}\langle p^I|\sigma^\mu|p^J]$	Spin-1 wavefunction
Projector/completeness	$\sum_I |p^I\rangle [p_I| = \slashed p + m$	Spinor sum, normalization
Mixed contraction	$\langle i^I | \gamma^\mu | j^J ]$	Lorentz-invariant, interaction vertex

7. Applications and Consequences

Massive spinor-helicity building blocks enable:

• Construction of all tree-level scattering amplitudes for arbitrary spins, including novel three- and four-point superamplitudes not uplifted to higher dimensions (Chiodaroli et al., 2022).
• Systematic double-copy matching for $N=2$ Maxwell–Einstein supergravities and classification of coupling tensors $C_{IJK}$ (Chiodaroli et al., 2022).
• Manifest on-shell supersymmetry via delta-function constraints, trivializing the incorporation of central charges and dimensional lifts (e.g., relating 5d massive spinors to 10d MW spinors).
• Efficient calculation and analytic continuation of amplitudes in the presence of spontaneous symmetry breaking, coalescence phenomena, and high-energy limits (Ni et al., 15 Jan 2026, Ni et al., 15 Jan 2025).
• Basis classification for EFT operator enumeration, with full reduction to linear-independent amplitude monomials (Angelis, 2022, Pokraka et al., 2024).

The formalism’s unification of Lorentz covariance, little-group symmetry, and gauge invariance at the level of spinor-helicity variables has significantly advanced both explicit amplitude computation and the structural understanding of amplitude space in quantum field theory.