---
title: Lorentz Covariant On-Shell Approach
url: https://www.emergentmind.com/topics/lorentz-covariant-on-shell-approach
type: topic
---

# Lorentz Covariant On-Shell Approach

Searching arXiv for recent and foundational papers related to Lorentz-covariant on-shell methods.
The literature represented here suggests that the “Lorentz covariant on-shell approach” is not a single universally fixed formalism, but a family of constructions that keep Lorentz covariance manifest while formulating amplitudes, operator matrix elements, statistics, renormalization conditions, or canonical brackets directly in terms of physical degrees of freedom or equations imposed on shell. In scattering-amplitude settings, the approach is organized by Lorentz invariance, little-group covariance, locality, factorization, and unitarity; in adjacent settings, “on shell” may instead mean preservation of a deformed one-particle mass shell, extension of distributions while preserving field equations, or the use of on-shell mode variables inside a covariant canonical framework [1705.08835] [2008.09652] [2309.10851].

## 1. Terminological range and defining features

Across the cited literature, “Lorentz covariant” consistently denotes a formulation in which the basic objects are built from Lorentz tensors, spinors, or covariant momentum-space kernels, rather than from gauge-fixed components or equal-time variables. “On shell” is more heterogeneous: in amplitude theory it refers to physical external states and factorization channels; in \(\kappa\)-deformed kinematics it refers to preservation of the one-particle \(\kappa\)-Casimir; in Epstein–Glaser renormalization it refers to extensions that continue to satisfy equations such as \((\Box+m^2)\dot u=0\) [1004.3369] [1210.5448].

| Usage | Core object | Representative papers |
|---|---|---|
| Amplitude bootstrap | Local 3-point and 4-point amplitudes | [1705.08835], [1912.04334] |
| Massive on-shell EFT | Contact-term and operator bases | [2008.09652], [2309.10851] |
| Representation-theoretic on-shell methods | Massive superfields, arbitrary-spin bilinears | [1902.07204], [2503.22046] |
| Covariant cut construction | Long-range loop amplitudes | [2305.01426] |
| Adjacent non-amplitude uses | \(\kappa\)-statistics, distribution extension, covariant brackets | [1004.3369], [1210.5448], [2509.07358] |

A recurring structural feature is the replacement of off-shell gauge-dependent variables by irreducible on-shell data. For massless particles this is usually expressed through helicity spinors and gauge-invariant polarization contractions; for massive particles it is expressed through \(SU(2)\) little-group tensors, massive spinor-helicity variables, or chiral \((j,0)\oplus(0,j)\) representations [2008.09652] [1902.07204] [2503.22046].

## 2. Kinematic and representation-theoretic foundations

In the massive spinor-helicity formalism used throughout the amplitude literature, a massive momentum is written as a bispinor
\[
p_{\alpha\dot\alpha}=\lambda^I_\alpha \tilde\lambda_{\dot\alpha I},
\]
with \(I=1,2\) an \(SU(2)\) little-group index. This makes Lorentz covariance manifest while storing spin in little-group tensor structure rather than in a choice of polarization basis. The formalism used by Arkani-Hamed, Huang, and Huang, and systematized for contact terms, treats a spin-\(s_i\) external state as carrying \(2s_i\) symmetrized little-group indices, so a generic non-factorizable amplitude is decomposed into a spinor structure \(S_n^{\{I\}}\) carrying all little-group weight times a polynomial \(L_n\) in Lorentz invariants \(\tilde s_{ij}=2p_i\!\cdot p_j\) and, for \(n\ge 5\), \(\epsilon(p_i,p_j,p_k,p_l)\) [2008.09652].

The same kinematic principle underlies the massive on-shell superspace of massive \(\mathcal N=1\) supersymmetry. There the supercharges are projected onto the massive spinors,
\[
q^I_{i,A} = \frac{-1}{\sqrt{2}m_i}[i^I Q_{i,A}],\qquad
q^{\dagger A}_{i,I} = \frac{1}{\sqrt{2}m_i}\langle i_I Q_i^{\dagger A}\rangle,
\]
and one introduces Grassmann coordinates \(\eta_{i,I}\) transforming as \(SU(2)\) doublets. This yields manifestly little-group-covariant massive superfields such as the chiral-type multiplet
\[
\Phi=\phi+\eta_I\chi^I-\frac12\eta_I\eta^I\tilde\phi
\]
and the massive vector multiplet
\[
\mathcal W^I=\lambda^I+\eta^I H+\eta_J W^{(IJ)}-\frac12\eta_J\eta^J\tilde\lambda^I.
\]
The resulting superamplitudes are fixed by \(\delta^{(2\mathcal N)}(Q^\dagger)\), little-group covariance, and the Grassmann-degree bounds appropriate to the number of massive legs [1902.07204].

A different but complementary representation-theoretic foundation appears in the arbitrary-spin formalism based on the chiral Lorentz representations
\[
(j,0),\qquad (0,j),\qquad (j,0)\oplus(0,j).
\]
Here the basic objects are the symmetric traceless \(t\)-tensors \(t^{\mu_1\cdots\mu_{2j}}\) and \(\bar t^{\mu_1\cdots\mu_{2j}}\), which generalize \(\sigma^\mu,\bar\sigma^\mu\), generate a higher-spin Dirac basis, and allow on-shell bilinears \(\bar u(p_f,\lambda_f)\Gamma u(p_i,\lambda_i)\) to be reduced to a basis consisting exclusively of covariant multipoles of order \(0\le m\le 2j\). This avoids the redundant off-shell components and subsidiary constraints of tensor or spinor-tensor descriptions and supplies a unified Lorentz-covariant operator basis for matrix elements of any spin [2503.22046].

## 3. Cubic classification, locality, and four-point consistency

For massless bosons, the Lorentz-covariant on-shell approach is especially sharp at three points. Assuming locality, Lorentz invariance, parity conservation, and on-shell gauge invariance, a general local covariant ansatz for three totally symmetric fields of spins \(s_1,s_2,s_3\) can be reduced to a polynomial ring problem. Introducing
\[
X_1=e_1\cdot p_2,\quad X_2=e_2\cdot p_3,\quad X_3=e_3\cdot p_1,
\]
and
\[
Y_1=e_2\cdot e_3,\quad Y_2=e_3\cdot e_1,\quad Y_3=e_1\cdot e_2,
\]
the gauge-invariance constraints become
\[
\mathbf X\times \nabla_{\mathbf Y}A=0,
\]
so the amplitude ring is
\[
A\in \mathbb C[\mathbf X,\mathbf X\cdot \mathbf Y].
\]
Equivalently, the three-point amplitudes for totally symmetric bosons are generated by \(X_1,X_2,X_3\) and
\[
A_{\mathrm{YM}}=(e_1\cdot p_2)(e_2\cdot e_3)-(e_2\cdot p_1)(e_1\cdot e_3)+(e_3\cdot p_1)(e_1\cdot e_2).
\]
For each allowed derivative number \(N\), the parity-even local gauge-invariant amplitude is unique up to an overall constant and exists iff
\[
s_1+s_2+s_3-2\min(s_1,s_2,s_3)\le N\le s_1+s_2+s_3,
\]
with \(s_1+s_2+s_3+N\) even [1705.08835].

In four dimensions this covariant classification becomes more restrictive because Schouten identities eliminate many structures that are admissible in general dimension. The resulting \(4d\) reduction explains the known mismatch between covariant and light-cone cubic classifications. The same analysis also shows that a scalar field \(\phi\) and a rank-2 antisymmetric tensor \(A_{\mu\nu}\), although dual in the free theory in \(4d\), do not have equivalent cubic self-interactions: the scalar admits a nontrivial cubic self-amplitude, whereas the antisymmetric two-form has no nontrivial gauge-invariant cubic self-interaction in the parity-even covariant on-shell classification [1705.08835].

At four points, locality is no longer exhausted by factorization residues. In the massive EFT program, one must distinguish a generic spinor-structure basis from a stripped-contact-term basis and then from the full contact-term basis obtained by multiplying by positive powers of independent Mandelstam invariants. For four-point amplitudes the dimension of the spinor-structure basis is
\[
n_s^{\text{4-pt}}=\prod_i(2s_i+1),
\]
but locality imposes further reductions because the allowed coefficients must contain only non-negative powers of Lorentz invariants and masses. The resulting contact-term classification for massive \(s,f,v\) states supplies the non-factorizable local data needed for massive on-shell EFT beyond the three-point level [2008.09652].

The electroweak application shows how the same logic can reconstruct a full tree-level sector from three-point data plus four-point consistency. Using massive spinor-helicity variables for \(W^\pm\), \(Z\), \(\gamma\), and \(h\), the four-particle amplitudes are written as sums of residues over physical poles plus contact terms,
\[
M_4=\frac{R_s}{s-m_s^2}+\frac{R_t}{t-m_t^2}+\frac{R_u}{u-m_u^2}+P(\lambda_i,\tilde\lambda_i).
\]
Demanding correct factorization and good ultraviolet behavior fixes the contact terms and yields the electroweak relations
\[
e_W=g\cos\theta_w,\qquad e=g\sin\theta_w,\qquad g'=g\tan\theta_w,\qquad m_Z=\frac{m_W}{\cos\theta_w},
\]
together with Higgs-coupling constraints such as
\[
e_{WWH}^2=e^2+e_W^2.
\]
In this formulation the Higgs mechanism is recast as consistency between UV massless amplitudes and IR massive amplitudes, without introducing gauge fixing or a Higgs vacuum expectation value [1912.04334].

## 4. Massive supersymmetric, arbitrary-spin, and continuous-spin extensions

Supersymmetric three-point amplitudes provide a particularly clean example of how Lorentz covariance and on-shell conditions constrain interactions. Because the massive superamplitudes are proportional to \(\delta^{(2\mathcal N)}(Q^\dagger)\), the allowed Grassmann structures are very limited. This leads, for example, to unique matter–gauge couplings for two massive chirals and one massless vector and to strong restrictions on anomalous dipole structures. The same formalism also clarifies how a massive vector multiplet decomposes in the high-energy limit into a massless vector multiplet plus a massless chiral multiplet, making the Higgsed interpretation purely on shell [1902.07204].

For arbitrary spin, the covariant multipole decomposition gives a different kind of on-shell universality. The generalized Dirac basis
\[
\mathbb 1,\quad \gamma_5,\quad \gamma^{\mu_1\cdots\mu_{2j}},\quad \gamma^{\mu_1\cdots\mu_{2j}}\gamma_5,\quad \mathcal G_m^{\mu_1\rho_1\cdots\mu_m\rho_m}\ \ (1\le m\le 2j)
\]
is complete off shell, but on shell the generalized Gordon identities reduce all independent bilinears to
\[
\mathbb 1,\quad \gamma_5,\quad \mathcal G_m^{\mu_1\rho_1\cdots\mu_m\rho_m},\qquad 1\le m\le 2j.
\]
Thus the independent Lorentz-covariant bilinears of a massive spin-\(j\) particle are exhausted by covariant multipoles of order \(0\le m\le 2j\), with immediate interpretation as monopole, dipole, quadrupole, and higher moments [2503.22046].

The continuous-spin case shows both the reach and the limits of the covariant on-shell method. Using Lorentz-vector superspace for continuous-spin fields and oscillator variables for integer-spin fields, one can solve the cubic constraint equations and classify all parity-even functional \(f\)-solutions in \(d>4\) for sectors involving at least one continuous-spin field. The resulting vertices are generically nonlocal—power-law, exponential, or exponential-power-law—and are in one-to-one correspondence with the known light-cone-gauge cubic vertices. At the same time, some sectors have no ordinary functional realization: three massless continuous-spin fields admit no \(f\)-solutions, although representative distributional \(d\)-solutions exist. The covariant cubic action is also only formal as written, because the \(\xi^+\)-integrals diverge whenever a continuous-spin field is present; the paper therefore introduces a modified action with \(\delta(\chi)\)-insertions that remains Lorentz invariant and finite [2510.05011].

## 5. Effective theories, long-range forces, and amplitude-level covariance

One major application of Lorentz-covariant on-shell methods is the extraction of physically relevant nonanalytic terms in loop amplitudes. For mixed electromagnetic–gravitational scattering of two charged spinless particles, the one-loop \(\mathcal O(G\alpha)\) long-range correction can be computed from the discontinuity across two physical \(t\)-channel cuts: a \(g\gamma\) cut and a \(\gamma\gamma\) cut induced by a graviton-pole Compton subamplitude. The calculation is performed by sewing together Lorentz-covariant tree amplitudes, summing only over physical photon and graviton polarizations, and reducing the phase-space integrals to solid-angle averages. This isolates the nonanalytic structures
\[
S\equiv \frac{\pi^2}{\sqrt{-t}},\qquad L\equiv \ln(-t),
\]
which determine the classical \(1/r^2\) and quantum \(1/r^3\) terms in the effective potential. The method reproduces the full known mixed potential while replacing twenty one-loop Feynman diagrams by two cut computations [2305.01426].

A second application is direct one-loop EFT matching and running in the physical basis. Instead of matching off-shell Green’s functions to a redundant Green’s basis and only then removing equations-of-motion operators, one computes UV amplitudes with on-shell external states, discards nonlocal pieces containing external momentum invariants in denominators, and matches the remaining local amplitude directly to the tree-level EFT amplitude in the physical basis. To account for operators of the form \(F[\phi](D^2\phi)^m\), the method supplements irreducible one-loop diagrams by reducible \(m\)-LPI diagrams induced by the field redefinition that removes the redundant operator. The same logic gives one-loop anomalous dimensions and finite shifts from evanescent operators. In this framework one-loop matching, renormalization-group running, and the treatment of evanescents are performed directly at the level of Lorentz-covariant on-shell amplitudes, without constructing the Green’s basis [2309.10851].

A related but conceptually different generalization is amplitude covariance under field redefinitions. There the claim is not a new spacetime-Lorentz formulation, but a tensorial transformation law for tree-level amplitudes on the infinite-dimensional space of field configurations. The key recursion relation
\[
M_{x_1\cdots x_n x}=\nabla_x M_{x_1\cdots x_n}
\]
makes adding an external leg analogous to a covariant derivative, and the transformed amplitude is tensorial up to terms proportional to equations of motion and inverse propagators, which vanish once the external legs are put on shell. This broadens the meaning of “covariant on shell” beyond spacetime symmetry and into field-space geometry [2202.06965].

## 6. Adjacent meanings, extensions, and conceptual boundaries

The term also appears in several neighboring literatures where it no longer denotes amplitude bootstrap in the usual sense. In \(\kappa\)-deformed spacetime, the problem is to construct a two-particle exchange map \(T_\kappa\) that is covariant under the \(\kappa\)-Poincaré coproduct, involutive, and preserves the one-particle \(\kappa\)-deformed mass shell,
\[
[T_\kappa,\Delta_\kappa(g)]=0,\qquad [T_\kappa,C_\kappa\otimes 1]=[T_\kappa,1\otimes C_\kappa]=0,\qquad T_\kappa^2=1.
\]
Here “on shell” means preservation of each tensor factor’s \(\kappa\)-Casimir, not factorization of scattering amplitudes. In \(1+1\) dimensions this requirement fixes a unique nontrivial exchange map, whereas higher dimensions remain open [1004.3369].

In Epstein–Glaser renormalization, Bahns and Wrochna formulate the “on-shell extension problem” for distributions \(u\in\mathcal D'(\dot{\mathbb R}^n)\) satisfying \(Qu=0\) away from the singular point and ask whether there exists an extension \(\ddot u\in\mathcal D'(\mathbb R^n)\) of the same degree of divergence such that \(Q\ddot u=0\) globally. Lorentz covariance, global gauge invariance, almost homogeneity, and discrete symmetries are all treated uniformly as kernel conditions for operators of essential order \(0\), and restored by finite-dimensional spectral projectors such as
\[
\ddot u=p_r\big((Q|_r)^*Q\big)\dot u.
\]
This is a covariant on-shell method in renormalization theory rather than in S-matrix construction [1210.5448].

In multisymplectic electrodynamics, a Lorentz-covariant Poisson bracket is proposed for the coupled system of a point particle and the electromagnetic field. The construction becomes especially transparent after translating the field variables into a momentum representation with the on-shell measure
\[
d^4k\,\Theta(k_0)\delta(k_\alpha k^\alpha),
\]
yielding brackets proportional to the Pauli–Jordan function and its derivative. The final structure is a unified bracket over all canonical variables of the particle–field system, but it is a covariant canonical construction with on-shell mode variables, not a scattering-amplitude formalism [2509.07358].

By contrast, some Lorentz-covariant formulations are explicitly not on-shell amplitude methods. In Lorentz-covariant loop quantum gravity, the central result is the construction of the unique commutative Lorentz-covariant connection obtained after solving the second-class constraints of the Holst action without imposing time gauge, together with the proof that it lies in the conjugacy class of a pure \(SU(2)\) connection. That framework is canonical and non-perturbative; it does not study S-matrix elements, asymptotic states, or on-shell recursion [1105.4194].

Taken together, these developments suggest that the Lorentz-covariant on-shell approach is best understood as a methodological family organized by a common preference for manifest covariance and physical constraints, but implemented in sharply different ways according to the problem at hand. In scattering theory it classifies and computes amplitudes from little-group data, factorization, and locality; in EFT it matches directly to physical operator bases; in higher-spin and continuous-spin theory it supplies covariant vertex and bilinear bases; and in adjacent areas it reformulates shell conditions, extension problems, or canonical brackets in Lorentz-covariant language. The principal misconception is therefore terminological: the phrase does not pick out one unique formalism, but a spectrum of covariant constructions whose common core is the replacement of off-shell redundancy by directly physical or shell-preserving structures.

Source: https://www.emergentmind.com/topics/lorentz-covariant-on-shell-approach