Supercurrent Multiplets, Improvements, Anomalies, and Background Sources

The stress tensor, supersymmetry current, and often an $R$ current are not independent operators: supersymmetry packages them into a real vector superfield subject to a conservation equation. The most general standard four-dimensional $\mathcal N=1$ package is the S-multiplet. It can be improved to the smaller Ferrara–Zumino multiplet only when a local, gauge-invariant, globally defined improvement removes its chiral spinor source; it can be improved to an $R$-multiplet only when an exact continuous $R$ symmetry exists. FI terms and non-exact Kähler forms are genuine global obstructions to the usual Ferrara–Zumino representative.

This page supplies a compatibility record for rigid-background analyses. It does not construct dynamical supergravity or claim that a formal local improvement is globally admissible.

Required background. Gauge–Matter Systems, F- and D-Term Potentials, and FI Data supplies the Kähler and FI examples. Current Sources and Generating Functionals supplies the source definition of currents.

Helpful background. Spacetime Currents, Stress Tensors, and Charge Algebras and Contact Terms, Equal-Time Commutators, and Schwinger Terms clarify improvements and quantum contact terms.

The S-multiplet is the general current equation

In four-dimensional $\mathcal N=1$ superspace, let $\mathcal S_{\alpha\dot\alpha}$ be real and let $X$ and $\chi_\alpha$ obey

$$\begin{aligned} \bar D^{\dot\alpha}\mathcal S_{\alpha\dot\alpha} &=D_\alpha X+\chi_\alpha,\\ \bar D_{\dot\alpha}X&=0, \qquad \bar D_{\dot\alpha}\chi_\alpha=0,\\ D^\alpha\chi_\alpha &=\bar D_{\dot\alpha}\bar\chi^{\dot\alpha}. \end{aligned}$$

These equations contain a symmetric conserved stress tensor $T_{\mu\nu}$ and a conserved supersymmetry current $S_{\mu\alpha}$, together with additional operators that record traces, brane currents, and possible improvements. Conservation of the integrated charges still requires boundary fluxes to vanish. Defects or extended charged objects can make the additional closed-form currents physical rather than removable.

For any real superfield $U$, the transformation

$$\begin{aligned} \mathcal S_{\alpha\dot\alpha} &\longmapsto \mathcal S_{\alpha\dot\alpha} +[D_\alpha,\bar D_{\dot\alpha}]U,\\ X&\longmapsto X+\frac12\bar D^2U,\\ \chi_\alpha&\longmapsto \chi_\alpha+\frac32\bar D^2D_\alpha U \end{aligned}$$

preserves the conservation equation in the convention above. In components it shifts $T_{\mu\nu}$ and $S_{\mu\alpha}$ by identically conserved derivatives. The integrated charges agree only if the corresponding surface terms vanish. More importantly, $U$ must be a well-defined local operator on the whole field space, invariant under gauge transformations and compatible with boundaries. A nonlocal solution of the improvement equation is not an allowed current improvement.

The S-multiplet, its components, and these coefficients are derived in Komargodski and Seiberg 2010, §§1–2, arXiv v4, pp. 2–9, especially eqs. (1.11), (2.1), and (2.6), Open PDF. Their paper uses Wess–Bagger conventions; the displayed equation has been kept as a complete convention package rather than mixing individual signs with another source.

Ferrara–Zumino and R multiplets are conditional improvements

The important special cases are:

Ferrara–Zumino multiplet. If a well-defined real $U$ solves

$$\chi_\alpha=-\frac32\bar D^2D_\alpha U,$$

then the improved spinor source vanishes and

$$\bar D^{\dot\alpha}\mathcal J_{\alpha\dot\alpha}=D_\alpha X_{\rm FZ}.$$

This is the Ferrara–Zumino (FZ) multiplet. It packages $12+12$ operators and is the current source compatible with the standard old-minimal linearized background. The original current multiplet was constructed in Ferrara and Zumino 1975, pp. 207–220.

R-multiplet. If a well-defined real $U$ solves

$$X=-\frac12\bar D^2U,$$

then the improved chiral scalar source vanishes and

$$\bar D^{\dot\alpha}\mathcal R_{\alpha\dot\alpha}=\chi_\alpha.$$

Its bottom component is a conserved continuous $U(1)_R$ current. Conversely, an exact continuous $R$ symmetry gives an R-multiplet under the usual locality and operator assumptions. This multiplet is the source compatible with the new-minimal linearized background.

Superconformal representative. If allowed improvements remove both source superfields, the supercurrent can be made gamma-traceless and the stress tensor traceless. In a unitary theory this is the current structure of a superconformal fixed point, subject to the usual assumptions excluding an unremovable virial obstruction. Scale invariance or a vanishing beta function written in one scheme is not by itself the required operator statement.

Global obstructions decide which multiplet exists

For chiral fields with Kähler potential $K$ and superpotential $W$, a local FZ expression contains $K$. Under a Kähler transformation $K\mapsto K+F+\bar F$, the change is locally an improvement. If the Kähler form is not exact, no single global $K$ exists, so the proposed improvement operator fails to patch globally. The sigma-model action remains valid, but the global FZ operator does not.

For an Abelian FI term, the natural FZ expression is not gauge invariant: the needed improvement contains the vector prepotential $V$, which shifts under a gauge transformation. Again the rigid action can be well-defined while the smaller current multiplet is obstructed. These two obstructions and their infrared consequences are established in Komargodski and Seiberg 2010, §§3–4, arXiv v4, pp. 10–17, Open PDF.

An exact $R$ symmetry can still permit the R-multiplet in some such theories. If neither a global FZ improvement nor an exact $R$ symmetry exists, retain the S-multiplet. It is not a failure or an anomaly; it is the correct larger operator package.

Compatibility table

The following table is the semantic form of the chapter’s governed background-coupling record. “Conditional” means the named operator and global checks must be supplied; it never means “true in a convenient patch.”

theory data	S-multiplet	FZ multiplet	R-multiplet	exported background compatibility
ordinary Wess–Zumino model with global canonical $K$	yes	yes	conditional on exact continuous $R$ symmetry	FZ/old-minimal; R/new-minimal when the symmetry exists
sigma model with exact Kähler form and global improvement	yes	yes	conditional on exact $R$ symmetry	same, after boundary and anomaly checks
sigma model with non-exact Kähler form	yes	obstructed globally	conditional on exact $R$ symmetry	S package, or R/new-minimal when available
genuine Abelian FI term	yes	obstructed as a gauge-invariant operator	conditional on exact $R$ symmetry and anomaly cancellation	S package, or R/new-minimal when available
theory with no continuous $R$ symmetry	yes	conditional on FZ improvement	no	FZ/old-minimal if available; otherwise the larger S coupling
superconformal theory with admissible improvements	yes	yes	yes	conformal representative; anomaly and curved-background data remain separate

Each row additionally requires a conserved stress tensor and supercharge, boundary conditions with no unwanted flux, and a regulator/renormalization scheme in which the operator equations and contact terms are defined.

Improvements do not erase anomalies or contact terms

At the quantum level, $X$ and $\chi_\alpha$ can contain trace, $R$-current, and supersymmetry anomaly operators. Their precise decomposition depends on improvements, composite-operator mixing, local counterterms, and contact-term conventions. A beta function may appear in a component of an anomaly multiplet, but one cannot identify the full multiplet from a beta function alone.

To define the current operators, couple the theory to background sources and differentiate the renormalized generating functional. Then record:

• which background fields source $T_{\mu\nu}$, $S_{\mu\alpha}$, and any $R$ current;
• the local counterterms that shift contact terms and improvements;
• perturbative and global anomalies of the background symmetries;
• boundary inflow or defect currents; and
• whether the conservation equation holds as an operator identity, inside separated-point correlators, or only modulo contact terms.

This prevents an allowed improvement at separated points from being mistaken for equivalence of all generating functionals on curved or topologically nontrivial backgrounds.

A selection procedure

For a specified theory, use this order:

1. Construct or identify the S-multiplet and verify its conservation equation.
2. List FI terms, Kähler patches, defects, boundaries, and gauge/global data.
3. Ask whether a local, gauge-invariant, global $U$ removes $\chi_\alpha$. If so, an FZ multiplet exists.
4. Independently ask whether an exact continuous, anomaly-compatible $U(1)_R$ exists and whether a global $U$ removes $X$. If so, an R-multiplet exists.
5. Record residual improvements and the boundary terms they induce.
6. Export the selected multiplet, obstruction, anomaly, and contact-term data—never just the name “FZ” or “R.”

The later rigid-background analysis consumes this record. It must not infer a background formulation from local flat-space equations alone.

Common pitfalls

Treating improvement as algebraic equation solving. A formal $U$ may be nonlocal, gauge variant, or defined only on one Kähler patch. Any of those failures blocks the improvement as an operator statement.

Calling absence of the FZ multiplet an anomaly. FI and Kähler obstructions can be present already classically. They say that a smaller current package is not global, not that supersymmetry is broken.

Equating an R-charge assignment with an exact R symmetry. The superpotential, gauge anomalies, mixed anomalies, quantum measure, and boundary conditions must all preserve the current.

Exercises

1. Improve the S equation. Verify that the three $U$ shifts preserve $\bar D^{\dot\alpha}\mathcal S_{\alpha\dot\alpha}=D_\alpha X+\chi_\alpha$.

Solution

Apply $\bar D^{\dot\alpha}$ to $[D_\alpha,\bar D_{\dot\alpha}]U$ and use the superspace derivative algebra. The result splits into $D_\alpha(\bar D^2U/2)$ and $3\bar D^2D_\alpha U/2$, exactly the shifts of $D_\alpha X$ and $\chi_\alpha$. Because $U$ is real, the linear constraint on $\chi_\alpha$ is preserved as well.

2. Diagnose a patchwise Kähler potential. Why does $K_{(a)}-K_{(b)}=F_{ab}+\bar F_{ab}$ preserve the action but not automatically give a global FZ improvement?

Solution

The full superspace integral of a holomorphic plus antiholomorphic function is a boundary term, so the local actions patch. An improvement requires one globally defined operator $U$. If the Kähler class is nontrivial, the local potentials do not assemble into such an operator; the FZ representative is therefore obstructed even though the metric and action are global.

Where the compatibility record goes

Supercurrent Multiplets and Rigid-Background Compatibility maps this flat-space record to nondynamical backgrounds. Rigid Supersymmetry on Curved Backgrounds then tests whether a chosen background preserves a supercharge. Dynamical supergravity remains outside this chapter.

References

• Ferrara, Sergio, and Bruno Zumino. “Transformation Properties of the Supercurrent.” Nuclear Physics B 87, no. 2 (1975): 207–220. DOI.
• Komargodski, Zohar, and Nathan Seiberg. “Comments on Supercurrent Multiplets, Supersymmetric Field Theories and Supergravity.” Journal of High Energy Physics 2010, no. 7 (2010): 017. DOI. Open PDF, arXiv v4.

Further reading

• Weinberg, Steven. The Quantum Theory of Fields, Volume III: Supersymmetry. Cambridge: Cambridge University Press, 2000, §§26.6–26.7, pp. 86–101. DOI.