Supermultiplets, Superspace, and Off-Shell Closure

A supersymmetry algebra becomes a field theory only after one specifies how its generators act on fields. This chapter builds that realization in two equivalent languages—components and superspace—while keeping four logically different outcomes separate: exact off-shell closure, closure modulo gauge transformations, closure after a constraint, and closure only after equations of motion. The main examples are four-dimensional Lorentzian $\mathcal N=1$ multiplets; Euclidean and extended-supersymmetry constructions are treated as explicit changes of real form or formalism, not as silent variations of the same formulas.

Enter this chapter

The chapter answers a practical question: given a supersymmetry algebra and a proposed set of fields, what record is sufficient to decide whether they really form a multiplet? The answer must include transformation laws, field reality, gauge equivalences, auxiliary variables, defining constraints, and the exact remainder in every commutator. Superspace packages these data efficiently, but it does not by itself guarantee an off-shell formulation.

You are ready to begin if you can do the following checks.

Check	If yes	If not
Raise and lower two-component spinor indices and use one Fierz identity	Start with component closure	Review Spinors, Conjugations, Bilinears, and Fierz Identities
Differentiate Grassmann variables from a declared side and perform a Berezin integral	Start with superspace	Review Graded Algebra, Grassmann Variables, and Berezin Integration
State the four-dimensional $\mathcal N=1$ anticommutator and its conjugation	Use either core route	Review The Four-Dimensional N=1 Super-Poincaré Algebra
Distinguish a gauge orbit from a physical configuration	Read the vector-superfield discussion without detour	Review Gauge Fields, Redundancy, and Observable Content
Explain why Euclidean reflection is not pointwise Lorentzian Hermitian conjugation	Take the Euclidean route	Review Euclidean Correlators and Schwinger Functions

No score is intended. A failed row identifies the smallest repair that prevents a sign, reality, or gauge ambiguity later.

Choose a route

Component-first route. Read Component Multiplets and Closure Ledgers, then Off-Shell Closure and Auxiliary Fields. This is the shortest route for checking a proposed transformation law.

Superspace-first route. Read Superspace and Supertranslations, Supercovariant Derivatives, Chirality, and Integrability, and Chiral, Vector, Linear, and Field-Strength Superfields. This route builds constrained multiplets from geometry.

Euclidean route. Complete the derivative page and then read Euclidean Superspace, Conjugation, and Field-Space Complexification. This is the required bridge to instantons, rigid backgrounds, and localization.

Nonlinear and extended route. Read the standard superfield and auxiliary-field pages before Constrained, On-Shell, and Nonlinear Superfields and Extended Superspace Methods and Off-Shell Limits. The order matters: otherwise a constraint that removes a field can be mistaken for an auxiliary completion.

One algebra, several realization records

For a field $\varphi^I$, two transformations with constant Grassmann-odd parameters should be compared with

$$[\delta_1,\delta_2]\varphi^I = \xi^\mu\partial_\mu\varphi^I +\delta_{\mathrm{gauge}}(\Omega)\varphi^I +C^I{}_A\,\mathcal K^A +E^{IJ}\frac{\delta S}{\delta\varphi^J}.$$

Here $\mathcal K^A=0$ denotes a declared kinematic constraint and the last term is proportional to field equations. This single equation supplies the chapter’s classification:

Closure class	What must vanish	What may remain
Off shell	Nothing beyond the defining field space	A translation
Modulo gauge	Nothing dynamical	A displayed gauge transformation with parameter $\Omega$
Constrained	The named kinematic constraints $\mathcal K^A=0$	Translation and, when applicable, gauge
On shell	The Euler–Lagrange equations	Terms explicitly proportional to those equations

These rows are not ordered by quality. Gauge closure is the correct statement for a gauge potential, and an on-shell multiplet is often the natural representation on physical states. The error is to report one row as another.

Superspace gives a geometric version of the same test. Coordinates $(x^\mu,\theta^\alpha,\bar\theta^{\dot\alpha})$ carry a differential action of $Q_\alpha$ and $\bar Q_{\dot\alpha}$. Covariant derivatives $D_\alpha$ and $\bar D_{\dot\alpha}$ anticommute with the supercharges, so a compatible constraint such as $\bar D_{\dot\alpha}\Phi=0$ selects a supersymmetry-invariant subspace. Gauge prepotentials add an equivalence relation, and component projection turns the superspace constraint back into a closure record.

Chapter guide

1. Component Multiplets and Closure Ledgers defines the minimum reproducible component record and closes the chiral and vector multiplets before and after auxiliary elimination.
2. Superspace and Supertranslations derives the supertranslation group law, differential generators, invariant one-forms, and chiral coordinates.
3. Supercovariant Derivatives, Chirality, and Integrability derives $D$ and $\bar D$, solves the chiral constraint, and explains the curvature obstruction to more general differential constraints.
4. Chiral, Vector, Linear, and Field-Strength Superfields compares constraints, gauge equivalences, component projections, Wess–Zumino gauge, and the field-strength Bianchi identity.
5. Euclidean Superspace, Conjugation, and Field-Space Complexification separates analytic continuation, Euclidean real structures, reflection, and the functional-integration cycle.
6. Off-Shell Closure and Auxiliary Fields explains degree matching, algebraic elimination, gauge closure, and what an auxiliary field can and cannot prove.
7. Constrained, On-Shell, and Nonlinear Superfields distinguishes irreducibility constraints from equations of motion and solves the nilpotent goldstino constraint on its nonsingular branch.
8. Extended Superspace Methods and Off-Shell Limits develops the harmonic and projective descriptions of an $\mathcal N=2$ hypermultiplet and states their finite-auxiliary limitations.

Convention bridge

The core pages inherit the site-wide conventions: four-dimensional Lorentzian metric $\eta_{\mu\nu}=\operatorname{diag}(+1,-1,-1,-1)$ and Hermitian gauge generators. Locally they use

$$\sigma^\mu=(\mathbf 1,\boldsymbol\sigma), \qquad \bar\sigma^\mu=(\mathbf 1,-\boldsymbol\sigma), \qquad P_\mu=i\partial_\mu,$$

so that

$$\sigma^\mu\bar\sigma^\nu+\sigma^\nu\bar\sigma^\mu =2\eta^{\mu\nu}\mathbf 1, \qquad \{Q_\alpha,\bar Q_{\dot\alpha}\} =2\sigma^\mu_{\alpha\dot\alpha}P_\mu.$$

All Grassmann derivatives in the core derivations act from the left. A source using $P_\mu=-i\partial_\mu$, a mostly-plus metric, right derivatives, or a different sign in the chiral coordinate must be translated as a complete package. Matching one isolated sign is not a convention check.

The Euclidean page introduces new matrices and replaces barred fields by independent tilded variables. The extended page introduces an $SU(2)_R$ index and auxiliary bosonic coordinates. Neither change is inherited by the Lorentzian $\mathcal N=1$ pages.

What the chapter establishes

Three round trips organize the material.

Components to superspace and back. The chiral transformations close exactly on $(A,\psi,F)$. Packaging them as $\Phi(y,\theta)=A+\sqrt2\theta\psi+\theta\theta F$ turns the same statement into the unconstrained action of supertranslations on a chiral subspace. Projecting with $D_\alpha$ recovers the original fields and transformations.

Gauge prepotential to field strength and back. A real prepotential $V$ contains gauge-removable components. Wess–Zumino gauge leaves $(A_\mu,\lambda,D)$, while $W_\alpha=-\tfrac14\bar D^2D_\alpha V$ is chiral and gauge invariant in the Abelian theory. Supersymmetry preserves the gauge equivalence class, not the chosen Wess–Zumino representative; a compensating supergauge transformation is therefore part of closure.

Off shell to on shell and back. Eliminating $F$ or $D$ by an algebraic field equation produces the same classical dynamics for the remaining fields, but their reduced transformation algebra generally closes only after those fields satisfy their equations. Reintroducing the auxiliary variable restores an off-shell representation; it does not add a propagating particle.

Weinberg 2000, §§ 26.1–26.4, pp. 55–82 develops the component-to-superfield route, while Gates, Grisaru, Roček, and Siegel 1983, §§ 3.4–3.13, pp. 83–148 gives the structural treatment of covariant derivatives, constraints, components, gauge variables, and on-shell superfields. Martin 2016, §§ 4.1–4.3, pp. 31–37 provides a compact component-level companion.

Review the chapter

1. Classify a commutator

Suppose

$$[\delta_1,\delta_2]A_\mu =\xi^\nu F_{\nu\mu} =\xi^\nu\partial_\nu A_\mu+\partial_\mu(-\xi^\nu A_\nu).$$

Is this off-shell closure, on-shell closure, or modulo-gauge closure?

Solution

It is off shell modulo an Abelian gauge transformation with parameter $\Omega=-\xi^\nu A_\nu$. No field equation was used. Calling the second term an equation-of-motion remainder would confuse a redundancy with dynamics.

2. Diagnose a superfield constraint

Why does $\bar D_{\dot\alpha}\Phi=0$ define an off-shell chiral multiplet, whereas adding $D^2\Phi=0$ and its conjugate makes the free multiplet on shell?

Solution

The first constraint is integrable because the barred derivatives anticommute and it merely restricts coordinate dependence to $(y,\theta)$. The second removes the auxiliary field and, through higher component projections, imposes the Weyl and Klein–Gordon equations. It therefore uses dynamical information.

3. Count the vector multiplet

Count independent real off-shell components in Wess–Zumino gauge.

Solution

$A_\mu$ contributes four real components minus one local gauge function, and the real scalar $D$ contributes one: $4-1+1=4$ bosonic components. A Weyl gaugino has four real off-shell components. On shell the photon and gaugino each carry two real physical polarizations.

4. Reject an invalid Euclidean step

A derivation Wick-rotates $t=-i\tau$ but keeps $\bar\psi=\psi^\dagger$ as a pointwise relation between opposite Euclidean chiralities. What is missing?

Solution

In four Euclidean dimensions the two Weyl spinors transform under independent factors of $\operatorname{Spin}(4)\simeq SU(2)_L\times SU(2)_R$, so Lorentzian pointwise conjugation does not survive in that form. One must specify independent Euclidean variables, an antilinear reflection operation if reconstruction is intended, and the functional-integration contour.

5. State the extended-superspace ceiling

Does the harmonic-superspace hypermultiplet prove that every extended supersymmetric theory has a finite off-shell completion?

Solution

No. The unconstrained analytic hypermultiplet has an infinite harmonic expansion; its higher coefficients form an infinite auxiliary tower. Harmonic and projective superspace make all eight supercharges manifest for important $\mathcal N=2$ systems, but they do not supply a universal finite auxiliary set, nor do they establish such a formulation for four-dimensional $\mathcal N=4$ Yang–Mills.

Continue from here

The next chapter, Supersymmetric Actions, Supercurrents, and Quantum Effective Theory, combines these realization records with superspace measures and action principles. Readers heading toward nonlinear goldstino dynamics can continue from the constrained-superfield page to Supersymmetry Breaking and Controlled Deformations. Euclidean readers should carry the reality-contour distinction into Rigid Backgrounds, Topological Twists, and Localization.

References

• Gates, S. James, Jr., Marcus T. Grisaru, Martin Roček, and Warren Siegel. Superspace, or One Thousand and One Lessons in Supersymmetry. Frontiers in Physics 58. Reading, MA: Benjamin/Cummings, 1983. Corrected open edition, 2001. arXiv:hep-th/0108200.

• Martin, Stephen P. “A Supersymmetry Primer.” In Perspectives on Supersymmetry II, edited by Gordon L. Kane, 1–153. Singapore: World Scientific, 2010. Version 7, 2016. arXiv:hep-ph/9709356. DOI.

• Weinberg, Steven. The Quantum Theory of Fields. Volume III: Supersymmetry. Cambridge: Cambridge University Press, 2000. DOI.