---
title: Analytic On-Shell Superfield
url: https://www.emergentmind.com/topics/analytic-on-shell-superfield
type: topic
---

# Analytic On-Shell Superfield

An analytic on-shell superfield is an on-shell superspace object that packages all component states of a supermultiplet into a single Grassmann-dependent function while retaining only a complex half of the fermionic variables. In the 4D constructions discussed in the literature, this analyticity appears as holomorphic dependence on Grassmann coordinates \(\eta\); in the \(D=10\) and \(D=11\) formulations, it is realized by introducing internal harmonics that split real fermionic coordinates into complex conjugate halves and then restricting the superfield to depend only on one half [1705.09550]. In a related 4D massive setting, coherent-state on-shell superfields are likewise described as “analytic” because the external states are packaged into superfields holomorphic in the Grassmann variables, so that supersymmetry Ward identities become differential constraints of a particularly simple form [1902.07204].

## 1. Definition and core structure

The term “analytic on-shell superfield” denotes a superfield defined directly on one-particle mass shell or on multi-particle on-shell superspace, rather than on ordinary off-shell superspace. Its defining feature is dependence on a reduced set of fermionic coordinates. In 4D, the familiar reference point is the chiral on-shell superfield
\[
\Phi(\lambda,\bar\lambda,\eta),
\]
with \(\eta\) present and \(\bar\eta\) absent, so the dependence is holomorphic in one complex Grassmann half [1705.09550].

In higher dimensions, the natural on-shell superspaces initially involve real fermionic coordinates \(\theta^-_q\). The analytic formulation introduces an internal complex structure through harmonic variables
\[
w_q{}^A,\qquad \bar w_{qA}=(w_q{}^A)^*,
\]
which parametrize
\[
\frac{SO(D-2)}{SO(D-4)\otimes U(1)}.
\]
These harmonics define complex fermionic coordinates
\[
\eta^-_A=\theta^-_q\bar w_{qA}, \qquad \bar\eta^{-A}=\theta^-_q w_q{}^A,
\]
and the analytic superfields depend on \(\eta^-_A\) but not on \(\bar\eta^{-A}\) [1705.09550]. This is precisely why the formalism is called analytic rather than chiral.

A closely related 4D massive construction uses a coherent-state basis on on-shell superspace. There, a one-particle state is represented as
\[
\langle \eta_i|=\langle \Omega|e^{q^I_{i,A}\eta^A_{i,I}},
\]
with supercharges acting by multiplication or differentiation in \(\eta\). The corresponding on-shell superfields are termed analytic in the sense that they are holomorphic in Grassmann variables and make the supersymmetry Ward identities simple differential equations [1902.07204].

## 2. 4D massive on-shell superspace and little-group covariance

The massive 4D construction is organized around little-group-covariant spinor-helicity data rather than a chosen spin quantization axis. For a massive momentum \(p_i\),
\[
p_i^{\dot\alpha\beta}=p_i^\mu \sigma_\mu^{\dot\alpha\beta} = -\,|i^I\rangle^{\dot\alpha}[i_I|^{\beta},
\]
where \(I=1,2\) is an \(SU(2)\) little-group index [1902.07204]. Supersymmetry generators are projected onto the massive spinors of each leg,
\[
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},
\]
with inverse relations
\[
Q_{i,\alpha A}=-\sqrt{2}\,|i_I\rangle_\alpha\, q^I_{i,A}, \qquad Q_i^{\dagger A\dot\beta}=\sqrt{2}\,q^{\dagger A}_{i,I}\,|i^I\rangle^{\dot\beta}.
\]

For vanishing central charge, the resulting algebra reduces to that of \(N=2\mathcal N\) fermionic oscillators. When \(|Z_i|<2m_i\), the supercharges can be rotated to a diagonal basis \(\bar q\) in which the central charge disappears from the oscillator algebra; in the BPS limit \(|Z_i|=2m_i\), half the supercharges are removed by
\[
q_{i,IA}=-\frac{1}{2m_i}Z_{i,AB}q_{i,I}^{\dagger B},
\]
producing the usual shortening of the representation [1902.07204].

The on-shell superspace is then coordinatized by Grassmann variables
\[
\eta_{i,I}^A,\qquad \eta_{i,A}^{\dagger I},
\]
and the supercharges act on each leg as
\[
q^{\dagger A}_{i,I}=-\eta^A_{i,I},\qquad q^I_{i,A}=-\frac{\partial}{\partial \eta^A_{i,I}}.
\]
This realizes the entire supermultiplet in a single analytic object whose little-group covariance is manifest.

A concise comparison of the main analytic on-shell realizations is useful.

| Setting | Bosonic variables | Analyticity mechanism |
|---|---|---|
| 4D massless reference | \(\lambda,\bar\lambda\) | dependence on \(\eta\), not \(\bar\eta\) |
| 4D massive | massive spinor-helicity variables \(|i^I\rangle,[i_I|\) | coherent-state superfield holomorphic in \(\eta_{i,I}^A\) |
| \(D=10,11\) massless | \(\rho^\#, v^-; w,\bar w\) | dependence on \(\eta^-_A\), not on \(\bar\eta^{-A}\) |

This comparison suggests that “analytic” is not tied to a single formal definition across dimensions; rather, it refers to a common holomorphic packaging of on-shell degrees of freedom in a reduced Grassmann sector.

## 3. Explicit 4D massive superfields

For \(\mathcal N=1\), the formalism yields explicit massive on-shell superfields for spins up to one. Starting from a scalar Clifford vacuum \(\phi=\langle\Omega|\), the massive chiral multiplet is
\[
\Phi=\phi+\eta_I\chi^I-\eta_I\eta^I\tilde\phi.
\]
Its components are extracted by Grassmann differentiation,
\[
\phi=\Phi|_{\eta=0},\qquad \chi^I=\frac{\partial\Phi}{\partial \eta_I}\Big|_{\eta=0},\qquad \tilde\phi=\frac{\partial}{\partial\eta_I}\frac{\partial}{\partial\eta^I}\Phi\Big|_{\eta=0}.
\]
This superfield is little-group covariant, and in the massless limit it splits into two massless superfields of opposite helicity,
\[
\Phi \rightarrow \Phi^+\hat\eta+\Phi^-, \qquad \Phi^-=\phi+\eta\chi^-, \qquad \Phi^+=\chi^+ + \eta\tilde\phi
\]
[1902.07204].

For a vector multiplet, two Clifford vacua are needed to form a little-group fundamental, leading to
\[
\mathcal W^I=\lambda^I+\eta^I H+\eta_J W^{(IJ)}-\eta_J\eta^J\tilde\lambda^I.
\]
Here \(H\) is a scalar, \(W^{(IJ)}\) is the massive vector polarization tensor, and \(\lambda^I,\tilde\lambda^I\) are the fermions at opposite Grassmann levels. The irreducible \(SU(2)\) content is extracted by symmetrizing or differentiating, for example
\[
\frac{\partial}{\partial\eta^I}\mathcal W^I=H,\qquad \left(\frac{\partial}{\partial\eta_J}\mathcal W^I+\frac{\partial}{\partial\eta_I}\mathcal W^J\right)=W^{(IJ)}.
\]
Its massless limit decomposes into a massless vector superfield plus a chiral superfield,
\[
\mathcal W^+ \to G^+\hat\eta+\Phi^+,\qquad \mathcal W^- \to G^-+\Phi^-\hat\eta
\]
[1902.07204].

The same construction extends to arbitrary spin:
\[
S^{(I_1\cdots I_{2s})} = \phi^{(I_1\cdots I_{2s})} +\eta^{(I_1}\psi^{I_2\cdots I_{2s})} +\eta_J\Psi^{(J I_1\cdots I_{2s})} -\frac12\eta_J\eta^J\tilde\phi^{(I_1\cdots I_{2s})}.
\]
A plausible implication is that the analytic on-shell superfield perspective is structurally uniform across spins: the superfield changes by the tensor structure of the Clifford vacuum, while the coherent-state mechanism remains the same.

## 4. Higher-dimensional analytic superfields in \(D=10\) and \(D=11\)

In \(D=10\) and \(D=11\), analytic on-shell superfields are built from spinor-helicity variables together with Lorentz and internal harmonics. Each massless momentum is written as
\[
k_a = \rho^\# u_a^=,
\]
with spinor-frame variables satisfying
\[
k_a \Gamma^a_{\alpha\beta} = 2\rho^\# v_{\alpha q}^- v_{\beta q}^- ,
\qquad
k_a \tilde\Gamma^{a\,\alpha\beta} = 2\rho^\# v^{-\alpha}_{q} v^{-\beta}_{q}.
\]
Thus \(v^-_{\alpha q}\) is the higher-dimensional analog of a 4D helicity spinor [1705.09550].

The crucial analytic ingredient is the internal harmonic pair \(w_q{}^A,\bar w_{qA}\). In 10D, these parametrize
\[
\frac{SO(8)}{SU(4)\otimes U(1)},
\]
while in 11D they parametrize
\[
\frac{SO(9)}{SO(7)\otimes U(1)}.
\]
They obey algebraic constraints such as
\[
w_q{}^A \bar w_{pA}+\bar w_{qA}w_p{}^A=\delta_{qp},
\qquad
\bar w_{qB}w_q{}^A=\delta_B{}^A,
\]
together with
\[
w_q{}^Aw_q{}^B=0,\qquad \bar w_{qA}\bar w_{qB}=0
\]
[1705.09550].

For 10D SYM, the analytic superfield is formed from the \(SO(8)\) vector superfield,
\[
\Phi = W^I U_I, \qquad \bar\Phi=W^I\bar U_I,
\]
where \(U_I\) is a complex null vector built from the internal harmonics and satisfying
\[
U_IU_I=0,\qquad \bar U_I\bar U_I=0,\qquad U_I\bar U_I=2.
\]
The analyticity condition is
\[
\bar D_A^+\Phi=0, \qquad \bar D_A^+ := \bar w_{qA} D_q^+,
\]
and in the analytic basis \(\Phi\) depends only on \(\eta^-_A\), not on \(\bar\eta^{-A}\). Its component expansion is
\[
\Phi(\rho^\#,v^-;w,\bar w;\eta) = \phi^{(+)} +\eta_A\psi^{+1/2\,A} +\frac12\eta_B\eta_A\phi^{AB} +(\eta)^{\wedge3 A}\psi^{-1/2}_A +(\eta)^{\wedge4}\phi^{(-)}.
\]

For 11D SUGRA, the analytic superfield is
\[
\Phi = H^{IJ}U_IU_J,
\]
again satisfying
\[
\bar D_A^+\Phi=0.
\]
Its component expansion is
\[
\Phi(\rho^\#,v^-;w,\bar w;\eta) = \phi^{(+2)} +\eta_A\psi^{(+3/2)A} +\cdots +(\eta)^{\wedge7A}\psi^{(-3/2)}_A +(\eta)^{\wedge8}\phi^{(-2)}.
\]
The overall \(U(1)\) charges are fixed by harmonic constraints:
\[
\hat h^{(10D)}\Phi=\Phi,\qquad \hat h^{(11D)}\Phi=2\Phi
\]
[1705.09550].

These higher-dimensional analytic superfields are presented as genuine higher-dimensional extensions of the 4D chiral on-shell superfield formalism.

## 5. Analyticity conditions, constrained superfields, and superamplitudes

The analytic superfields are naturally expressed in an analytic basis
\[
(x_L^=,\eta^-_A,\bar\eta^{-A};v^-;w,\bar w), \qquad x_L^= = x^= + 2i\eta^-_A\bar\eta^{-A},
\]
with covariant derivatives
\[
\bar D_A^+ = \frac{\partial}{\partial \bar\eta^{-A}}, \qquad D^{+A} = \frac{\partial}{\partial \eta^-_A} + 4i\bar\eta^{-A}\partial_=^L.
\]
Analyticity is therefore the condition
\[
\frac{\partial \Phi}{\partial \bar\eta^{-A}}=0
\]
[1705.09550].

In the higher-dimensional formulation, these analytic superfields solve constrained superfield systems. For 10D SYM, the constrained equations are
\[
D_q^+W^I = 2i\,\gamma^I_{q\dot q}\Psi_{\dot q}, \qquad
D_q^+\Psi_{\dot q}=\gamma^I_{q\dot q}\partial_=W^I,
\]
and they are solved by a single analytic superfield \(\Phi\). For 11D SUGRA, the constrained equations for \(A^{IJK}\), \(\Psi_p^I\), and \(H_{IJ}\) are likewise solved in terms of one analytic superfield \(\Phi=H^{IJ}U_IU_J\) [1705.09550].

The multi-particle generalization is the tree superamplitude
\[
{\cal A}_n\big(\{\rho_i^\#,v_{i}^{-};w_i,\bar w_i;\eta_i\}\big),
\]
subject to momentum conservation
\[
\sum_i k_{ai} = \sum_i \rho_i^\# u_{ai}^= = 0.
\]
These superamplitudes are Lorentz scalars, carry no little-group indices, and have charge \(+1\) for 10D SYM and \(+2\) for 11D SUGRA under each particle’s \(U(1)_i\) [1705.09550].

In the 4D massive construction, supersymmetry Ward identities take a parallel form. In the \(\eta\) basis, a superamplitude must be annihilated by \(Q^\dagger\), so it is proportional to
\[
\delta^{(2\mathcal N)}(Q^\dagger),
\]
while in the \(\eta^\dagger\) basis one obtains \(\delta^{(2\mathcal N)}(Q)\); the two are related by Grassmann Fourier transform [1902.07204]. This common pattern shows that analytic on-shell superfields function simultaneously as state-generating objects and as the natural language for superamplitudes.

## 6. Three-particle amplitudes and the meaning of analyticity

The analytic superfield formalism is particularly explicit at three points. In \(D=10\) SYM, after gauge fixing \(K_i^{\#I}=0\), the 3-point analytic superamplitude is
\[
{\cal A}_3^{D=10\;\text{SYM}} = \frac12\,{\cal K}^{==I}U_I\; e^{-2i(\beta_1+\beta_2+\beta_3)} \, \delta^4\!\left( \tilde\rho_1^\#\tilde\eta_{1A}^-+ \tilde\rho_2^\#\tilde\eta_{2A}^-+ \tilde\rho_3^\#\tilde\eta_{3A}^- \right),
\]
with
\[
\tilde\rho_i^\# = e^{-2\alpha_i}\rho_i^\#,\qquad \tilde\eta_{Ai}^- = e^{\alpha_i+i\beta_i}{\cal U}_{Ai}{}^B\,\eta_{Bi}^-.
\]
In \(D=11\) SUGRA, the 3-point result is
\[
{\cal A}_3^{D=11\;\text{SUGRA}} = \left(\frac12{\cal K}^{==I}U_I\right)^2 e^{-4i(\beta_1+\beta_2+\beta_3)} \, \delta^8\!\left( \tilde\rho_1^\#\tilde\eta_{1A}^-+ \tilde\rho_2^\#\tilde\eta_{2A}^-+ \tilde\rho_3^\#\tilde\eta_{3A}^- \right)
\]
[1705.09550].

These expressions are presented as higher-dimensional extensions of the 4D anti-MHV structures. In 4D, the anti-MHV amplitude
\[
{\cal A}_3^{\overline{\rm MHV}} = \frac{1}{\langle12\rangle\langle23\rangle\langle31\rangle} \, \delta^4\!\left( \eta_1\langle23\rangle+ \eta_2\langle31\rangle+ \eta_3\langle12\rangle \right)
\]
is structurally mirrored by the 10D expression after rewriting the kinematics in terms of spinor harmonics and gauge fixing [1705.09550].

In the 4D massive formalism, the same analytic logic produces a sharp Grassmann-degree bound for three-particle amplitudes with \(M\) massive legs,
\[
[F]_\eta \le \mathcal N(M-1).
\]
For three massive chiral multiplets,
\[
\mathcal A(\Phi_1,\Phi_2,\Phi_3) = \delta^{(2)}(Q^\dagger)\,F(\eta_i^I),
\]
with \(F\) at most quadratic, and solving the supersymmetry constraint yields
\[
\mathcal{A}(\Phi_1,\Phi_2,\Phi_3) = \delta^{(2)}(Q^\dagger) \left[ \lambda + b\left( [1^I2^J]\eta_{1I}\eta_{2J} + m_2\,\eta_{1I}\eta_1^I + m_1\,\eta_{2I}\eta_2^I \right) \right]
\]
[1902.07204].

This suggests that analyticity is not merely a notational convenience. It organizes both kinematics and SUSY constraints so that the allowed on-shell structures are strongly restricted before any component expansion is performed.

## 7. Terminological boundaries: analytic, chiral, and off-shell superfields

A common source of confusion is the relation between analytic on-shell superfields and off-shell superfield formulations. The 2022 work on \(4D, {\cal N}=1\) supersymmetric infinite-spin theory constructs an off-shell superfield Lagrangian from three pairs of chiral and antichiral superfields,
\[
|S_0(x_L,\theta)\rangle,\qquad |S_1(x_R,\bar\theta)\rangle,\qquad |S_2(x_L,\theta)\rangle,
\]
together with their conjugates, and shows that the component action reproduces the previously obtained on-shell supersymmetric infinite-spin Lagrangian after gauge fixing and elimination of auxiliary fields [2203.12904].

However, that work explicitly does not use “analytic superfield” in the harmonic-superspace sense. Its language is that of chiral superfield, antichiral superfield, unconstrained superfield, and, in the introductory discussion, constrained superfields or light-cone superfields as alternatives [2203.12904]. The distinction is substantive: the construction is off shell and manifestly supersymmetric, whereas the analytic on-shell superfield frameworks are defined directly on mass shell and package the physical states or superamplitudes in reduced Grassmann variables.

This terminological boundary is important. In the higher-dimensional amplitude literature, “analytic” refers to dependence on one complex half of the on-shell fermions generated by internal harmonics [1705.09550]. In the 4D massive amplitude literature, the same word is used in the coherent-state sense that the superfields are holomorphic in Grassmann variables and turn SUSY Ward identities into algebraic or differential constraints [1902.07204]. By contrast, an off-shell chiral or antichiral superfield formulation may be superspace-based and manifestly supersymmetric without being analytic on shell in either of these senses [2203.12904].

Source: https://www.emergentmind.com/topics/analytic-on-shell-superfield