Superspace Measures, F-Terms, D-Terms, and Component Extraction

In four-dimensional rigid $\mathcal N=1$ supersymmetry, integration over all four Grassmann coordinates selects a real superfield’s $\theta^2\bar\theta^2$ component and produces a D-term, while integration over chiral superspace selects a chiral superfield’s $\theta^2$ component and produces an F-term. Those components transform by spacetime total derivatives, so their integrals are supersymmetric when the fields and boundary conditions discard the surface term. The statement depends on the Berezin orientation, the normalization of $Q$ and $D$ , chirality, complex conjugation, and gauge invariance; a bare symbol $\int d^2\theta$ does not fix those choices.

Required background. Supercovariant Derivatives, Chirality, and Integrability supplies the $Q$ – $D$ algebra and chiral coordinates. Grassmann Functional Integrals for Free Fermions supplies Berezin differentiation and orientation.

Helpful background. Classical Symmetries, Currents, and Stress Tensors explains why invariance up to a boundary term is sufficient for the action.

Chiral and full superspace select different components

Work in four-dimensional Lorentzian spacetime with the site’s $(+---)$ metric. Take

\begin{aligned} Q_\alpha &=\frac{\partial}{\partial\theta^\alpha} -i\sigma^\mu_{\alpha\dot\alpha}\bar\theta^{\dot\alpha}\partial_\mu, & \bar Q_{\dot\alpha} &=-\frac{\partial}{\partial\bar\theta^{\dot\alpha}} +i\theta^\alpha\sigma^\mu_{\alpha\dot\alpha}\partial_\mu,\\ D_\alpha &=\frac{\partial}{\partial\theta^\alpha} +i\sigma^\mu_{\alpha\dot\alpha}\bar\theta^{\dot\alpha}\partial_\mu, & \bar D_{\dot\alpha} &=-\frac{\partial}{\partial\bar\theta^{\dot\alpha}} -i\theta^\alpha\sigma^\mu_{\alpha\dot\alpha}\partial_\mu. \end{aligned}

Then $\{D_\alpha,\bar D_{\dot\alpha}\}=-2i\sigma^\mu_{\alpha\dot\alpha} \partial_\mu$ , and every $D$ anticommutes with every $Q$ . Define $\theta^2=\theta^\alpha\theta_\alpha$ and choose the Berezin orientation

\int d^2\theta\,\theta^2=1, \qquad \int d^2\bar\theta\,\bar\theta^2=1, \qquad \int d^4\theta\,\theta^2\bar\theta^2=1,

where $d^4\theta=d^2\theta\,d^2\bar\theta$ . With this convention, component selection can be represented by projection operators,

\int d^2\theta\,X =-\frac14D^2X\big|, \qquad \int d^2\bar\theta\,\bar X =-\frac14\bar D^2\bar X\big|, \qquad \int d^4\theta\,U =\frac1{16}D^2\bar D^2U\big|,

provided the spinor-index and derivative-order conventions are the ones just declared. The vertical bar means $\theta=\bar\theta=0$ . Reversing the orientation or commuting odd derivatives as if they were even changes these formulas. Weinberg develops the same selection principle with a different spinor notation in Weinberg 2000, §§26.2, 26.6, pp. 59–67 and 86–89.

A left-chiral superfield satisfies $\bar D_{\dot\alpha}\Phi=0$ . In the chiral coordinate $y^\mu=x^\mu+i\theta\sigma^\mu\bar\theta$ it has the finite expansion

\Phi(y,\theta)=\phi(y)+\sqrt2\,\theta\psi(y)+\theta^2F(y).

Thus the chiral integral of a holomorphic function is immediate. For $W(\Phi^i)$ ,

\int d^2\theta\,W(\Phi) =F^iW_i(\phi)-\frac12W_{ij}(\phi)\psi^i\psi^j,

where $W_i=\partial W/\partial\phi^i$ . Adding the antichiral integral makes the Lorentzian action real. Holomorphy is essential: an arbitrary function of $\Phi$ and $\Phi^\dagger$ is not chiral and cannot be inserted into this measure without a chiral projection.

For the canonical real integrand $U=\Phi^\dagger\Phi$ , the full measure gives

\int d^4\theta\,\Phi^\dagger\Phi =\partial_\mu\phi^*\partial^\mu\phi +i\bar\psi\bar\sigma^\mu\partial_\mu\psi +F^*F +\partial_\mu(\cdots).

The displayed total derivative depends on the chosen component rearrangement. Its integral may be dropped on $\mathbb R^{1,3}$ only with suitable decay, or on a manifold with boundary only after the boundary condition or boundary action has been specified. This component formula gives three independent checks: every term has mass dimension four, the auxiliary field has no derivative, and the kinetic signs agree with positive-energy propagation.

Why the selected components are invariant

Supersymmetry acts as a translation in superspace, $\delta_\epsilon=\epsilon Q+\bar\epsilon\bar Q$ . For a general real superfield $U$ , the coefficient of $\theta^2\bar\theta^2$ can change only by a spacetime derivative because a $Q$ or $\bar Q$ derivative lowers Grassmann degree, while its coordinate-shift term raises the opposite degree and brings one $\partial_\mu$ . Therefore

\delta_\epsilon \int d^4x\,d^4\theta\,U =\int d^4x\,\partial_\mu K^\mu_U.

For a chiral integrand $X$ , $\bar Q_{\dot\alpha}$ differs from $\bar D_{\dot\alpha}$ by a spacetime translation. Since $\bar D X=0$ , the antichiral half of the transformation is again a total derivative; the chiral half is a Berezin derivative whose integral vanishes. Hence

\delta_\epsilon \int d^4x\,d^2\theta\,X =\int d^4x\,\partial_\mu K^\mu_X.

This proves off-shell invariance: no equation for $F$ , $\phi$ , or $\psi$ was used. Eliminating $F$ later preserves the symmetry only in the reduced, on-shell sense appropriate to the remaining fields. Confusing those two steps hides the equation-of-motion terms in the component closure test.

The same proof also exposes its failure modes:

a nonchiral integrand under $d^2\theta$ leaves an uncancelled $\bar D$ variation;
a gauge-variant integrand can turn a formal superspace integral into a gauge-dependent expression;
a boundary or defect can retain the total derivative;
an anomalous quantum measure can obstruct the corresponding Ward identity; and
in Euclidean signature $\Phi$ and its would-be conjugate are generally independent complex fields until an integration cycle is chosen.

Dimensions, charges, and allowed action terms

Because $[\theta]=-1/2$ , the measures have

measure	mass dimension	admissible integrand in a four-dimensional action	usual name
$d^4\theta$	$2$	real, gauge invariant, dimension $2$	D-term
$d^2\theta$	$1$	chiral, gauge invariant, dimension $3$	F-term
$d^2\bar\theta$	$1$	antichiral conjugate, dimension $3$	conjugate F-term

If $R(\theta)=+1$ , then $R(d^2\theta)=-2$ ; an $R$ -invariant superpotential has $R(W)=2$ . This is a diagnostic, not a universal existence theorem for an $R$ symmetry. Gauge kinetic terms use a chiral spinor field strength $\mathcal W_\alpha$ , so $\int d^2\theta\,f_{ab}(\Phi) \mathcal W^{a\alpha}\mathcal W^b_\alpha$ is an F-term even though it produces ordinary gauge kinetic terms in components.

A useful identity relates the measures:

\int d^4\theta\,U =\int d^2\theta\left(-\frac14\bar D^2U\right) =\int d^2\bar\theta\left(-\frac14D^2U\right),

up to the declared derivative order and spacetime boundary terms. It does not make D-terms and intrinsic F-terms interchangeable. The projected chiral field $-\bar D^2U/4$ remembers that it arose from a full-superspace integrand; locality, charges, and quantum renormalization distinguish it from a holomorphic superpotential term.

A component-selection checklist

For any proposed superspace action, record the following before simplifying:

the spacetime signature and $Q,D$ algebra;
the Berezin orientation and spinor-index conventions;
the chirality, reality, mass dimension, and gauge transformation of every integrand;
the selected Grassmann coefficient before integrations by parts;
every discarded spacetime derivative and the boundary condition that removes it;
whether complex conjugation is Lorentzian or an independently chosen Euclidean contour; and
whether invariance is off shell, modulo gauge, or only after an auxiliary or propagating equation of motion.

Passing this checklist is stronger than recognizing a familiar formula. It makes the next page’s component reduction reproducible and catches the most common minus signs before they spread into masses and potentials.

Common pitfalls

Calling every chiral integral a superpotential. Gauge kinetic terms and chiral projection terms are also F-terms. “F-term” names the measure and chirality class, not one particular physical interaction.

Dropping the conjugate in Lorentzian signature. A holomorphic chiral integral is generally complex. A real Lorentzian action includes its antichiral conjugate unless a special topological or complexified problem has been declared.

Treating a total derivative as zero locally. It vanishes only after integration under suitable boundary assumptions. Interfaces, defects, and manifolds with boundary can make it physical.

Exercises

1. Extract a mass F-term. For $W(\Phi)=\tfrac12m\Phi^2$ , find the selected component.

Solution

Here $W'=m\phi$ and $W''=m$ , so

\int d^2\theta\,W =m\phi F-\frac12m\psi\psi.

Adding the conjugate gives the complete Lorentzian F-term. The scalar mass appears only after this expression is combined with $F^*F$ and the auxiliary field is eliminated.

2. Check the dimensions. Show that a renormalizable monomial $\Phi^n$ in $W$ has $n\leq3$ when $[\Phi]=1$ .

Solution

The chiral measure has dimension one and $d^4x$ has dimension $-4$ , so the integrand must have dimension three. A coefficient multiplying $\Phi^n$ has dimension $3-n$ . Power-counting renormalizability requires a nonnegative coefficient dimension, hence $n\leq3$ .

Where the construction continues

Supersymmetric Action Principles and Component Reduction turns the selection rules into a reproducible workflow. Wess–Zumino Models applies it to interacting chiral fields, and Supersymmetric Yang–Mills Actions applies the chiral measure to gauge field strengths.

References

Weinberg, Steven. The Quantum Theory of Fields, Volume III: Supersymmetry. Cambridge: Cambridge University Press, 2000, §§26.2 and 26.6, pp. 59–67 and 86–89. DOI.