Lorentz Covariant On-Shell Approach

• Lorentz covariant on-shell methods are a family of techniques that maintain manifest Lorentz symmetry by formulating amplitudes and operator matrix elements directly on shell.
• They replace off-shell redundancies with little-group covariant configurations using spinor-helicity variables to simplify scattering computations and EFT matching.
• Applications span amplitude bootstrap, higher-spin representations, renormalization, and multisymplectic electrodynamics, unifying diverse physical constraints under a covariant framework.

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 (Sun et al., 2017, Durieux et al., 2020, Li et al., 2023).

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$ (Miao, 2010, Bahns et al., 2012).

Usage	Core object	Representative papers
Amplitude bootstrap	Local 3-point and 4-point amplitudes	(Sun et al., 2017, Bachu et al., 2019)
Massive on-shell EFT	Contact-term and operator bases	(Durieux et al., 2020, Li et al., 2023)
Representation-theoretic on-shell methods	Massive superfields, arbitrary-spin bilinears	(Herderschee et al., 2019, Cosyn et al., 27 Mar 2025)
Covariant cut construction	Long-range loop amplitudes	(Holstein, 2023)
Adjacent non-amplitude uses	$\kappa$-statistics, distribution extension, covariant brackets	(Miao, 2010, Bahns et al., 2012, Pérez-Barragán, 9 Sep 2025)

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 (Durieux et al., 2020, Herderschee et al., 2019, Cosyn et al., 27 Mar 2025).

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 $\kappa$0 symmetrized little-group indices, so a generic non-factorizable amplitude is decomposed into a spinor structure $\kappa$1 carrying all little-group weight times a polynomial $\kappa$2 in Lorentz invariants $\kappa$3 and, for $\kappa$4, $\kappa$5 (Durieux et al., 2020).

The same kinematic principle underlies the massive on-shell superspace of massive $\kappa$6 supersymmetry. There the supercharges are projected onto the massive spinors,

$\kappa$7

and one introduces Grassmann coordinates $\kappa$8 transforming as $\kappa$9 doublets. This yields manifestly little-group-covariant massive superfields such as the chiral-type multiplet

$(\Box+m^2)\dot u=0$0

and the massive vector multiplet

$(\Box+m^2)\dot u=0$1

The resulting superamplitudes are fixed by $(\Box+m^2)\dot u=0$2, little-group covariance, and the Grassmann-degree bounds appropriate to the number of massive legs (Herderschee et al., 2019).

A different but complementary representation-theoretic foundation appears in the arbitrary-spin formalism based on the chiral Lorentz representations

$(\Box+m^2)\dot u=0$3

Here the basic objects are the symmetric traceless $(\Box+m^2)\dot u=0$4-tensors $(\Box+m^2)\dot u=0$5 and $(\Box+m^2)\dot u=0$6, which generalize $(\Box+m^2)\dot u=0$7, generate a higher-spin Dirac basis, and allow on-shell bilinears $(\Box+m^2)\dot u=0$8 to be reduced to a basis consisting exclusively of covariant multipoles of order $(\Box+m^2)\dot u=0$9. 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 (Cosyn et al., 27 Mar 2025).

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 $\kappa$0 can be reduced to a polynomial ring problem. Introducing

$\kappa$1

and

$\kappa$2

the gauge-invariance constraints become

$\kappa$3

so the amplitude ring is

$\kappa$4

Equivalently, the three-point amplitudes for totally symmetric bosons are generated by $\kappa$5 and

$\kappa$6

For each allowed derivative number $\kappa$7, the parity-even local gauge-invariant amplitude is unique up to an overall constant and exists iff

$\kappa$8

with $\kappa$9 even (Sun et al., 2017).

In four dimensions this covariant classification becomes more restrictive because Schouten identities eliminate many structures that are admissible in general dimension. The resulting $SU(2)$0 reduction explains the known mismatch between covariant and light-cone cubic classifications. The same analysis also shows that a scalar field $SU(2)$1 and a rank-2 antisymmetric tensor $SU(2)$2, although dual in the free theory in $SU(2)$3, 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 (Sun et al., 2017).

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

$SU(2)$4

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 $SU(2)$5 states supplies the non-factorizable local data needed for massive on-shell EFT beyond the three-point level (Durieux et al., 2020).

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 $SU(2)$6, $SU(2)$7, $SU(2)$8, and $SU(2)$9, the four-particle amplitudes are written as sums of residues over physical poles plus contact terms,

$(j,0)\oplus(0,j)$0

Demanding correct factorization and good ultraviolet behavior fixes the contact terms and yields the electroweak relations

$(j,0)\oplus(0,j)$1

together with Higgs-coupling constraints such as

$(j,0)\oplus(0,j)$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 (Bachu et al., 2019).

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 $(j,0)\oplus(0,j)$3, 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 (Herderschee et al., 2019).

For arbitrary spin, the covariant multipole decomposition gives a different kind of on-shell universality. The generalized Dirac basis

$(j,0)\oplus(0,j)$4

is complete off shell, but on shell the generalized Gordon identities reduce all independent bilinears to

$(j,0)\oplus(0,j)$5

Thus the independent Lorentz-covariant bilinears of a massive spin-$(j,0)\oplus(0,j)$6 particle are exhausted by covariant multipoles of order $(j,0)\oplus(0,j)$7, with immediate interpretation as monopole, dipole, quadrupole, and higher moments (Cosyn et al., 27 Mar 2025).

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 $(j,0)\oplus(0,j)$8-solutions in $(j,0)\oplus(0,j)$9 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 $$p_{\alpha\dot\alpha}=\lambda^I_\alpha \tilde\lambda_{\dot\alpha I},$$0-solutions, although representative distributional $$p_{\alpha\dot\alpha}=\lambda^I_\alpha \tilde\lambda_{\dot\alpha I},$$1-solutions exist. The covariant cubic action is also only formal as written, because the $$p_{\alpha\dot\alpha}=\lambda^I_\alpha \tilde\lambda_{\dot\alpha I},$$2-integrals diverge whenever a continuous-spin field is present; the paper therefore introduces a modified action with $$p_{\alpha\dot\alpha}=\lambda^I_\alpha \tilde\lambda_{\dot\alpha I},$$3-insertions that remains Lorentz invariant and finite (Metsaev, 6 Oct 2025).

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 $$p_{\alpha\dot\alpha}=\lambda^I_\alpha \tilde\lambda_{\dot\alpha I},$$4 long-range correction can be computed from the discontinuity across two physical $$p_{\alpha\dot\alpha}=\lambda^I_\alpha \tilde\lambda_{\dot\alpha I},$$5-channel cuts: a $$p_{\alpha\dot\alpha}=\lambda^I_\alpha \tilde\lambda_{\dot\alpha I},$$6 cut and a $$p_{\alpha\dot\alpha}=\lambda^I_\alpha \tilde\lambda_{\dot\alpha I},$$7 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

$$p_{\alpha\dot\alpha}=\lambda^I_\alpha \tilde\lambda_{\dot\alpha I},$$8

which determine the classical $$p_{\alpha\dot\alpha}=\lambda^I_\alpha \tilde\lambda_{\dot\alpha I},$$9 and quantum $I=1,2$0 terms in the effective potential. The method reproduces the full known mixed potential while replacing twenty one-loop Feynman diagrams by two cut computations (Holstein, 2023).

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 $I=1,2$1, the method supplements irreducible one-loop diagrams by reducible $I=1,2$2-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 (Li et al., 2023).

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

$I=1,2$3

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 (Cohen et al., 2022).

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 $I=1,2$4-deformed spacetime, the problem is to construct a two-particle exchange map $I=1,2$5 that is covariant under the $I=1,2$6-Poincaré coproduct, involutive, and preserves the one-particle $I=1,2$7-deformed mass shell,

$I=1,2$8

Here “on shell” means preservation of each tensor factor’s $I=1,2$9-Casimir, not factorization of scattering amplitudes. In $SU(2)$0 dimensions this requirement fixes a unique nontrivial exchange map, whereas higher dimensions remain open (Miao, 2010).

In Epstein–Glaser renormalization, Bahns and Wrochna formulate the “on-shell extension problem” for distributions $SU(2)$1 satisfying $SU(2)$2 away from the singular point and ask whether there exists an extension $SU(2)$3 of the same degree of divergence such that $SU(2)$4 globally. Lorentz covariance, global gauge invariance, almost homogeneity, and discrete symmetries are all treated uniformly as kernel conditions for operators of essential order $SU(2)$5, and restored by finite-dimensional spectral projectors such as

$SU(2)$6

This is a covariant on-shell method in renormalization theory rather than in S-matrix construction (Bahns et al., 2012).

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

$SU(2)$7

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 (Pérez-Barragán, 9 Sep 2025).

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)$8 connection. That framework is canonical and non-perturbative; it does not study S-matrix elements, asymptotic states, or on-shell recursion (Geiller et al., 2011).

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.