Supermultiplets and the Wess-Zumino model: Bose-Fermi degeneracy, the superpotential, and the auxiliary F-field

Intuition Beginner

A symmetry usually rearranges particles of the same kind: a rotation turns one electron state into another electron state. Supersymmetry is bolder. It pairs a particle that spins like a tiny top — a fermion, such as the electron — with a partner that does not spin in that quantised way — a boson, such as a photon-like field. Acting with a supersymmetry charge turns a boson into a fermion and back. The bundle of states that this charge shuffles among itself is called a supermultiplet.

Because the charge moves you back and forth between the boson side and the fermion side, the two sides must be the same size. If you start counting the boson states and the fermion states inside one supermultiplet, you get equal numbers. This balanced bookkeeping is the first thing supersymmetry buys you, and it constrains every model people build.

You can package a whole supermultiplet into one tidy object called a superfield, and write its physics with a single recipe. The smallest interacting example, the one every course starts with, is the Wess-Zumino model.

Visual Beginner

Picture two columns. The left column holds boson states, drawn as small circles; the right column holds fermion states, drawn as small arrows. A supersymmetry charge is an operator that draws a link from each circle to a matching arrow and from each arrow back to a matching circle.

The picture makes the balance visible: every circle has a partner arrow, so the columns are the same height. One special box sits off to the side with a dashed border — an auxiliary field. It carries no independent motion of its own; it is there only to make the back-and-forth links close up neatly. When you finish the bookkeeping, you erase the dashed box and the counting still balances.

Worked example Beginner

Take the simplest supermultiplet, the chiral one. On the boson side put a complex scalar field. A complex number is two real numbers, so that is two boson states. On the fermion side put one Weyl fermion: a fermion described by a two-component object, which also carries two states.

Count: two on the boson side, two on the fermion side. They match. That balance is what "equal bosonic and fermionic degrees of freedom" means in the smallest case.

Now add the dashed auxiliary box, a second complex scalar usually written $F$. Off to the side, before you impose the equations of motion, the boson count is four (the original complex scalar plus $F$) and the fermion count is also four (the two-component fermion has four pieces before its equation of motion halves them). They match again. After you impose the equations of motion, $F$ disappears and the fermion count halves, and you return to two against two.

What this tells us: the auxiliary box is a counting device. With it, both sides read four; without it, both sides read two. Either way they are equal, which is the signature of supersymmetry.

Check your understanding Beginner

Formal definition Intermediate+

Fix $\mathcal{N}=1$ supersymmetry in four spacetime dimensions with two-component Weyl notation. The conventions are those of 12.19.02: anticommuting coordinates ${\theta }^{\alpha },{\bar{\theta }}_{\dot{\alpha }}$, the supercovariant derivatives $D_{\alpha },{\bar{D}}_{\dot{\alpha }}$, and the Berezin measures $d^2\theta ,d^2\bar{\theta }$ with $\int d^2\theta \theta \theta =1$. The signature is mostly-plus and the supercharges satisfy $\{Q_{\alpha },{\bar{Q}}_{\dot{\alpha }}\}=2{\sigma }_{\alpha \dot{\alpha }}^{\mu }{P}_{\mu }$, exactly the algebra of 12.19.02. A conversion box to Wess-Bagger mostly-minus conventions is recorded in 12.19.02.

Definition (one-particle supermultiplet). A supermultiplet is a finite-dimensional unitary representation of the supersymmetry algebra carried by the one-particle states of fixed momentum. The fermion-number operator $(-1{)}^F$ acts as $+1$ on bosonic states and $-1$ on fermionic states; it anticommutes with each $Q_{\alpha }$, since $Q$ changes the statistics by one half-unit of spin.

For a massless multiplet one boosts to the frame $P^{\mu }=(E,0,0,E)$. The algebra collapses: only one combination of supercharges acts with nonzero effect, behaving like a single fermionic raising-lowering pair. Starting from a Clifford vacuum of helicity ${\lambda }_0$, the multiplet has two states, of helicities ${\lambda }_0$ and ${\lambda }_0+\frac{1}{2}$; adding the CPT conjugate gives the physical particle content. The chiral (or scalar) multiplet has helicities $(0,\frac{1}{2})$ plus conjugates: a complex scalar and a Weyl fermion. The vector (gauge) multiplet has helicities $(\frac{1}{2},1)$ plus conjugates: a gauge boson and a Weyl gaugino. The gravity multiplet has helicities $(\frac{3}{2},2)$: a graviton and a gravitino.

For a massive multiplet one boosts to rest, $P^{\mu }=(M,0,0,0)$. Both fermionic pairs act, and the spectrum is the tensor product of the Clifford vacuum with the four-state fundamental of two fermionic creation operators. A spin-$0$ vacuum yields states of spin $(0,\frac{1}{2},0)$: two complex scalars and a Dirac fermion, a massive chiral multiplet.

Definition (chiral superfield). A chiral superfield $\Phi$ is a superfield annihilated by ${\bar{D}}_{\dot{\alpha }}\Phi =0$. In the chiral coordinate $y^{\mu }=x^{\mu }+i\theta {\sigma }^{\mu }\bar{\theta }$ it has the finite component expansion $$ \Phi(y, \theta) = \phi(y) + \sqrt{2},\theta\psi(y) + \theta\theta, F(y), $$ with $\varphi$ a complex scalar, ${\psi }_{\alpha }$ a Weyl fermion, and $F$ a complex scalar auxiliary field — no derivative of $F$ appears with a kinetic term.

Definition (Wess-Zumino action). Given chiral superfields ${\Phi }_i$ and a holomorphic function $W(\Phi )$ called the superpotential, the Wess-Zumino Lagrangian is $$ \mathcal L = \int d^2\theta, d^2\bar\theta; \bar\Phi_i \Phi_i ;+;\left( \int d^2\theta; W(\Phi) + \text{h.c.} \right). $$ The first term, the Kahler term, is a real $D$-term integrated over the full superspace; it supplies the kinetic energy of $\varphi$ and $\psi$. The second, the superpotential term, is a chiral $F$-term integrated over half of superspace; holomorphy of $W$ — dependence on $\Phi$ but not $\bar{\Phi }$ — is forced by chirality of the measure.

Counterexamples to common slips

• The auxiliary $F$ is not a propagating field: it has no ${\partial }_{\mu }F$ kinetic term, and its equation of motion is algebraic, $F_i=-\overline{(\partial W/\partial {\varphi }_i)}$. Treating $F$ as a sixth physical state miscounts the on-shell content.
• The superpotential $W$ must be holomorphic. A term $\bar{\Phi }\Phi$ inside $\int d^2\theta$ does not exist as a chiral integral, because $\bar{\Phi }$ is not chiral; mass and Yukawa couplings live in $W$, kinetic terms live in the $D$-term.
• This is not the two-dimensional Wess-Zumino-Witten action of 03.10.03. That object is a topological current-algebra term on a group manifold at level $k$; the present model is a four-dimensional supersymmetric field theory of a chiral superfield. The shared name records that Bruno Zumino worked on both, not a shared construction.

Key theorem with proof Intermediate+

Theorem (Bose-Fermi degeneracy of a massive multiplet). Let $V$ be a finite-dimensional unitary representation of the supersymmetry algebra on which $P^{\mu }$ is invertible (a massive, $P^2=-M^2\ne 0$ multiplet). Then ${\mathrm{Tr}}_V(-1{)}^F=0$; equivalently the bosonic and fermionic subspaces of $V$ have equal dimension. ^{[Weinberg 2000 §2.5]}

Proof. Write the operator $(-1{)}^F$, which equals $+1$ on bosons and $-1$ on fermions. Since each supercharge $Q_{\alpha }$ raises the spin by a half-unit, it converts bosons to fermions and conversely, so $$ (-1)^F Q_\alpha = - Q_\alpha (-1)^F, \qquad (-1)^F \bar Q_{\dot\alpha} = - \bar Q_{\dot\alpha}(-1)^F. $$ Take the trace over $V$ of the defining anticommutator multiplied by $(-1{)}^F$: $$ \operatorname{Tr}!\left[ (-1)^F {Q_\alpha, \bar Q_{\dot\alpha}} \right] = 2\sigma^\mu_{\alpha\dot\alpha}, P_\mu \operatorname{Tr}(-1)^F, $$ where $P_{\mu }$ comes out as a c-number on a fixed-momentum multiplet. Expand the left side: $$ \operatorname{Tr}!\left[ (-1)^F Q_\alpha \bar Q_{\dot\alpha} \right]

• \operatorname{Tr}!\left[ (-1)^F \bar Q_{\dot\alpha} Q_\alpha \right].In the second trace move $(-1)^F$ through $\bar Q_{\dot\alpha}$, picking up a sign, then use cyclicity of the trace on the finite-dimensional $V$: \operatorname{Tr}!\left[ (-1)^F \bar Q_{\dot\alpha} Q_\alpha \right] = - \operatorname{Tr}!\left[ \bar Q_{\dot\alpha}(-1)^F Q_\alpha \right] = - \operatorname{Tr}!\left[ (-1)^F Q_\alpha \bar Q_{\dot\alpha} \right]. $$ The two traces cancel, so the left side vanishes. Hence $2{\sigma }_{\alpha \dot{\alpha }}^{\mu }{P}_{\mu }\mathrm{Tr}(-1{)}^F=0$. Because the multiplet is massive, $P_{\mu }$ is a non-zero timelike vector and the matrix ${\sigma }_{\alpha \dot{\alpha }}^{\mu }{P}_{\mu }$ is invertible. Therefore $\mathrm{Tr}(-1{)}^F=0$, which says the number of bosonic states equals the number of fermionic states. $\square$

Bridge. This degeneracy builds toward every quantitative statement supersymmetry makes about a spectrum, and the supertrace sum rule appears again in 12.19.05, where the same $\mathrm{Tr}(-1{)}^F$ argument, run on the full Hilbert space rather than a single multiplet, becomes the Witten index that obstructs spontaneous breaking. The foundational reason the trace vanishes is that $(-1{)}^F$ anticommutes with the supercharges, so pairing under $Q$ is exactly the cancellation of bosonic against fermionic contributions; this is exactly the mechanism that makes supersymmetric loop corrections cancel in pairs. The cyclicity step generalises the elementary fact that $\mathrm{Tr}[A,B]=0$ to a graded commutator, and putting these together the bridge is direct: Bose-Fermi balance at the level of states is the central insight from which the auxiliary-field counting of the next section, and the non-renormalization theorem of 12.19.04, both descend.

Exercises Intermediate+

Advanced results Master

The off-shell structure of the chiral multiplet is fixed by demanding that the supersymmetry variations close on translations without reference to the equations of motion. Writing the variations in chiral coordinates, $$ \delta\phi = \sqrt 2,\epsilon\psi,\qquad \delta\psi_\alpha = \sqrt2,\epsilon_\alpha F + \sqrt2, i,\sigma^\mu_{\alpha\dot\alpha}\bar\epsilon^{\dot\alpha}\partial_\mu\phi,\qquad \delta F = \sqrt2, i,\bar\epsilon\bar\sigma^\mu\partial_\mu\psi, $$ the commutator of two variations evaluates to $[{\delta }_1,{\delta }_2]X=-2i({ϵ}_1{\sigma }^{\mu }{\overline{ϵ}}_2-{ϵ}_2{\sigma }^{\mu }{\overline{ϵ}}_1){\partial }_{\mu }X$ on each of $\varphi ,\psi ,F$ identically, with no equation-of-motion remainder. The auxiliary $F$ is precisely the field whose variation absorbs the ${\partial }_{\mu }\psi$ term that would otherwise spoil closure on $\psi$. Eliminating $F$ by its algebraic equation of motion $F=-\overline{W^{\prime }}$ returns the on-shell theory, where the same algebra holds only modulo the Dirac and Klein-Gordon equations. The off-shell formulation is what makes the supersymmetry a manifest, field-independent operation, and it is the reason superspace methods exist.

Expanding the Wess-Zumino action into components, the Kahler term $\int d^4\theta \bar{\Phi }\Phi$ yields the canonical kinetic terms $-{\partial }_{\mu }\bar{\varphi }{\partial }^{\mu }\varphi -i\bar{\psi }{\bar{\sigma }}^{\mu }{\partial }_{\mu }\psi +\bar{F}F$, while the $F$-term $\int d^2\theta W$ yields $W^{\prime }(\varphi )F-\frac{1}{2}{W}^{\prime \prime }(\varphi )\psi \psi$ plus its conjugate. Integrating out $F$ produces the on-shell Lagrangian with scalar potential $V=|W^{\prime }(\varphi ){|}^2$ and Yukawa coupling $-\frac{1}{2}{W}^{\prime \prime }(\varphi )\psi \psi +\text{h.c.}$ The scalar mass-squared $|W^{\prime \prime }{|}^2$ at a critical point equals the squared fermion mass $|W^{\prime \prime }{|}^2$: superpartners are degenerate, the spectral fingerprint of unbroken supersymmetry. A supersymmetric vacuum is a critical point with $V=0$, that is $W^{\prime }(\varphi )=0$, equivalently $F=0$; this is the field-theoretic statement that the supercharges annihilate the vacuum, and its failure — no solution of $W^{\prime }=0$ — is the O'Raifeartaigh mechanism studied in 12.19.05.

The holomorphy of $W$ has consequences far beyond kinematics. Because $W$ is a holomorphic function of the chiral superfields and of the couplings (themselves promoted to background chiral fields, a Seiberg device), and because the only $\theta$-integral that can generate a correction to $W$ is the chiral half-superspace integral, the superpotential is protected against perturbative renormalization. This is the non-renormalization theorem, developed in 12.19.04; its seed is already visible here in the rigid separation between the real $D$-term, which receives wavefunction renormalization, and the holomorphic $F$-term, which does not. The massive chiral multiplet, with its complex scalars and Dirac fermion, is the building block from which the entire matter sector of supersymmetric model-building is assembled, the vector multiplet supplying the gauge sector and the gravity multiplet the supergravity completion.

The representation theory also fixes the gravity multiplet uniquely. A massless multiplet built on a Clifford vacuum of helicity $\frac{3}{2}$ contains helicities $\frac{3}{2}$ and $2$: a gravitino and a graviton. Local supersymmetry therefore forces gravity, since the gauge field of a local fermionic symmetry is a spin-$\frac{3}{2}$ field whose consistent coupling requires a spin-$2$ partner. This is the structural origin of supergravity, and it shows that the multiplet bookkeeping of this unit, extended to the highest spins, already contains the gravitational sector.

Synthesis. The Bose-Fermi degeneracy is the foundational reason that supersymmetric spectra come in matched pairs, and putting these together with the off-shell auxiliary-field formulation gives the central insight of the whole construction: the supersymmetry algebra can be realised as a manifest, field-independent operation precisely when the bosonic and fermionic off-shell counts are equalised by auxiliary fields, and the chiral superfield is the minimal package that achieves this. This is exactly the structure that generalises from the free multiplet to the interacting Wess-Zumino model, where holomorphy of the superpotential — itself a consequence of the chiral half-superspace measure of 12.19.02 — both fixes the scalar potential $V=|W^{\prime }{|}^2$ and protects $W$ from perturbative corrections, the seed of the non-renormalization theorem of 12.19.04. The same trace argument that proves degeneracy here reappears again in 12.19.05 as the Witten index, and the highest-spin multiplet is dual to the demand for local supersymmetry, which forces the graviton-gravitino pair of supergravity. The bridge from one-particle representation theory to interacting field theory is the chiral superfield, and from that single object the mass degeneracy, the auxiliary-field closure, the holomorphic protection, and the gravitational completion all follow.

Full proof set Master

The Bose-Fermi degeneracy theorem is proved in full in the Key theorem section. The remaining Master claims are recorded here.

Proposition (off-shell closure of the chiral multiplet). With the variations $\delta \varphi =\sqrt{2}ϵ\psi$, $\delta {\psi }_{\alpha }=\sqrt{2}{ϵ}_{\alpha }F+\sqrt{2}i{\sigma }_{\alpha \dot{\alpha }}^{\mu }{\overline{ϵ}}^{\dot{\alpha }}{\partial }_{\mu }\varphi$, $\delta F=\sqrt{2}i\overline{ϵ}{\bar{\sigma }}^{\mu }{\partial }_{\mu }\psi$, the commutator of two supersymmetry variations acts as a translation, $[{\delta }_{{ϵ}_1},{\delta }_{{ϵ}_2}]X=-2i({ϵ}_1{\sigma }^{\mu }{\overline{ϵ}}_2-{ϵ}_2{\sigma }^{\mu }{\overline{ϵ}}_1){\partial }_{\mu }X$, on each of $X\in \{\varphi ,\psi ,F\}$, with no use of the equations of motion.

Proof. On $\varphi$: ${\delta }_2\varphi =\sqrt{2}{ϵ}_2\psi$, and ${\delta }_1(\sqrt{2}{ϵ}_2\psi )=2{ϵ}_2({ϵ}_{1}F+i{\sigma }^{\mu }{\overline{ϵ}}_1{\partial }_{\mu }\varphi )$. Antisymmetrising in $1\leftrightarrow 2$, the $F$ terms cancel by the anticommuting nature of $ϵ$ (the symmetric combination ${ϵ}_2{ϵ}_{1}F$ drops), leaving $[{\delta }_1,{\delta }_2]\varphi =-2i({ϵ}_1{\sigma }^{\mu }{\overline{ϵ}}_2-{ϵ}_2{\sigma }^{\mu }{\overline{ϵ}}_1){\partial }_{\mu }\varphi$, using the Fierz rearrangement ${ϵ}_2({ϵ}_1{\sigma }^{\mu }\overline{ϵ})\to$ the stated antisymmetric form. On $F$: ${\delta }_{2}F=\sqrt{2}i{\overline{ϵ}}_2{\bar{\sigma }}^{\mu }{\partial }_{\mu }\psi$, and ${\delta }_1\psi$ inserts $\sqrt{2}({ϵ}_{1}F+i{\sigma }^{\nu }{\overline{ϵ}}_1{\partial }_{\nu }\varphi )$; the $F$ term gives $2i{\overline{ϵ}}_2{\bar{\sigma }}^{\mu }{\partial }_{\mu }({ϵ}_{1}F)$, which under antisymmetrisation becomes the translation of $F$, while the $\partial \varphi$ term cancels against its $1\leftrightarrow 2$ partner using ${\bar{\sigma }}^{\mu }{\sigma }^{\nu }+{\bar{\sigma }}^{\nu }{\sigma }^{\mu }=2{\eta }^{\mu \nu }$ and the antisymmetry of the spinor bilinears. On $\psi$: the computation produces the translation term plus a residual proportional to ${\bar{\sigma }}^{\mu }{\partial }_{\mu }\psi$; the variation of $F$ was defined as $\delta F=\sqrt{2}i\overline{ϵ}{\bar{\sigma }}^{\mu }{\partial }_{\mu }\psi$ precisely so that this residual is supplied by $\delta (ϵF)$ rather than requiring ${\bar{\sigma }}^{\mu }{\partial }_{\mu }\psi =0$. Hence closure holds off-shell on all three fields. $\square$

Proposition (scalar potential and mass degeneracy). For a single chiral superfield with superpotential $W$, the component Wess-Zumino Lagrangian has scalar potential $V(\varphi ,\bar{\varphi })=|W^{\prime }(\varphi ){|}^2$ after elimination of $F$, and at any critical point ${\varphi }_0$ with $W^{\prime }({\varphi }_0)=0$ the scalar mass-squared equals the squared fermion mass, both $|W^{\prime \prime }({\varphi }_0){|}^2$.

Proof. The $F$-term contributes $W^{\prime }(\varphi )F-\frac{1}{2}{W}^{\prime \prime }(\varphi )\psi \psi +\text{h.c.}$ and the Kahler term contributes $\bar{F}F$. Collecting $F$-dependence: ${\mathcal{L}}_F=\bar{F}F+W^{\prime }(\varphi )F+\overline{W^{\prime }(\varphi )}\bar{F}$. The Euler-Lagrange equation $\partial {\mathcal{L}}_F/\partial \bar{F}=0$ gives $F=-\overline{W^{\prime }(\varphi )}$. Back-substitution yields ${\mathcal{L}}_F=-|W^{\prime }(\varphi ){|}^2$, so $V=|W^{\prime }(\varphi ){|}^2$. Expanding around a critical point ${\varphi }_0$ with $W^{\prime }({\varphi }_0)=0$, write $\varphi ={\varphi }_0+\phi$; then $W^{\prime }(\varphi )=W^{\prime \prime }({\varphi }_0)\phi +O({\phi }^2)$ and $V=|W^{\prime \prime }({\varphi }_0){|}^2|\phi {|}^2+\cdots$, a scalar mass-squared $|W^{\prime \prime }({\varphi }_0){|}^2$. The fermion mass term is $-\frac{1}{2}{W}^{\prime \prime }({\varphi }_0)\psi \psi +\text{h.c.}$, a Majorana mass of magnitude $|W^{\prime \prime }({\varphi }_0)|$, hence mass-squared $|W^{\prime \prime }({\varphi }_0){|}^2$. The two coincide. $\square$

Proposition (uniqueness of the massless gravity multiplet). The massless $\mathcal{N}=1$ multiplet whose highest helicity is $2$ and which contains no helicity exceeding $2$ consists exactly of helicities $\{\frac{3}{2},2\}$ together with their CPT conjugates $\{-2,-\frac{3}{2}\}$.

Proof. A massless multiplet built on a Clifford vacuum of helicity ${\lambda }_0$ contains, from the single surviving fermionic creation operator, the two helicities ${\lambda }_0$ and ${\lambda }_0+\frac{1}{2}$. Demanding the top helicity be $2$ and that no helicity exceed $2$ forces ${\lambda }_0+\frac{1}{2}=2$, so ${\lambda }_0=\frac{3}{2}$ and the multiplet is $\{\frac{3}{2},2\}$. CPT invariance of a relativistic field theory requires adjoining the conjugate helicities $\{-2,-\frac{3}{2}\}$. No other choice of ${\lambda }_0$ keeps the top helicity at $2$ without exceeding it. $\square$

Connections Master

Superspace and superfields 12.19.02 is the co-produced companion this unit consumes at every turn: the chiral constraint ${\bar{D}}_{\dot{\alpha }}\Phi =0$, the chiral coordinate $y^{\mu }=x^{\mu }+i\theta {\sigma }^{\mu }\bar{\theta }$, the Berezin measures $\int d^2\theta$ and $\int d^4\theta$, and the conversion box between mostly-plus and mostly-minus conventions are all defined there. The present unit is where that machinery first does interacting work: the holomorphy of the superpotential is a direct consequence of the chiral half-superspace measure of 12.19.02, and the $D$-term/$F$-term split is the projection structure of that unit applied to the Wess-Zumino action.

The free Klein-Gordon scalar field 12.05.04 is the bosonic component $\varphi$ of the chiral multiplet. The Kahler term $\int d^4\theta \bar{\Phi }\Phi$ reproduces exactly the free scalar kinetic term and mode expansion of that unit; what is new here is that the same scalar is forced to share a multiplet, and a mass, with a fermionic partner. The fermionic Fock space and Pauli exclusion 12.13.02 supplies the counting that makes $\mathrm{Tr}(-1{)}^F$ meaningful: the fermion-number operator $(-1{)}^F$ that drives the degeneracy theorem is the parity of the fermionic occupation number built in that unit, and the anticommuting creation operators there are the ones that generate the four states of a massive multiplet.

The two-dimensional Wess-Zumino-Witten action 03.10.03 is the contrast this unit must be held against. Despite the shared name, it is a topological current-algebra term on a group manifold at level $k$, governing conformal field theory in two dimensions; the model here is a four-dimensional supersymmetric field theory of a chiral superfield with a holomorphic superpotential. They share only the surname of Bruno Zumino. A reader arriving from 03.10.03 should expect no construction to carry over.

Super-Yang-Mills and the non-renormalization theorem 12.19.04 is the immediate downstream consumer. The rigid separation between the wavefunction-renormalized $D$-term and the protected holomorphic $F$-term, visible already in this unit, is the seed of the statement that the superpotential receives no perturbative corrections; the chiral multiplet here becomes the matter content gauged there.

Spontaneous supersymmetry breaking and the Witten index 12.19.05 reuses both central results of this unit. The condition for a supersymmetric vacuum, $W^{\prime }(\varphi )=0$ equivalently $F=0$, becomes the order parameter for breaking when no solution exists (O'Raifeartaigh); and the trace argument that here proves Bose-Fermi degeneracy on a single multiplet becomes, on the full Hilbert space, the Witten index $\mathrm{Tr}(-1{)}^F$ obstructing dynamical breaking.

Historical & philosophical context Master

The four-dimensional model of an interacting chiral multiplet was written down by Julius Wess and Bruno Zumino in 1974 (Supergauge transformations in four dimensions, Nucl. Phys. B70, 39) ^{[Wess 1974]}, the paper that gave four-dimensional supersymmetry its first renormalizable field theory and introduced the auxiliary field whose elimination produces the scalar potential. The representation theory that organises particles into massless and massive supermultiplets, and the proof that a massive multiplet carries equal bosonic and fermionic states, are given their textbook form in Weinberg's The Quantum Theory of Fields, Vol. 3 (2000) ^{[Weinberg 2000]}, whose §2.5 derives the $\mathrm{Tr}(-1{)}^F=0$ degeneracy from the algebra, and in Wess and Bagger's Supersymmetry and Supergravity (1992) ^{[Wess 1992]}, the standard source for the chiral-superfield formalism. Martin Sohnius's 1985 Physics Reports review (Introducing Supersymmetry, Phys. Rep. 128, 39) ^{[Sohnius 1985]} systematised the multiplet classification used here.

The conceptual novelty was that supersymmetry evades the Coleman-Mandula theorem by extending the Poincare algebra with anticommuting generators, a graded Lie algebra rather than an ordinary one, as established in 12.19.01. The auxiliary field is the device that converts an on-shell symmetry, valid only modulo equations of motion, into an off-shell one realised on arbitrary field configurations; this is what makes the superspace formulation possible and what distinguishes the Wess-Zumino construction from the earlier two-dimensional and string-theoretic supersymmetries of Gervais, Sakita, Volkov, and Akulov. The holomorphy of the superpotential, a constraint that looks merely notational in 1974, was recognised by Seiberg in the 1990s as the engine of exact non-perturbative results, the line of development that 12.19.04 and the duality units pursue.

Bibliography Master

@article{wesszumino1974,
  author  = {Wess, Julius and Zumino, Bruno},
  title   = {Supergauge transformations in four dimensions},
  journal = {Nuclear Physics B},
  volume  = {70},
  number  = {1},
  pages   = {39--50},
  year    = {1974}
}

@book{weinberg2000qft3,
  author    = {Weinberg, Steven},
  title     = {The Quantum Theory of Fields, Volume 3: Supersymmetry},
  publisher = {Cambridge University Press},
  year      = {2000}
}

@book{wessbagger1992,
  author    = {Wess, Julius and Bagger, Jonathan},
  title     = {Supersymmetry and Supergravity},
  edition   = {2nd},
  publisher = {Princeton University Press},
  year      = {1992}
}

@article{sohnius1985,
  author  = {Sohnius, Martin F.},
  title   = {Introducing Supersymmetry},
  journal = {Physics Reports},
  volume  = {128},
  number  = {2--3},
  pages   = {39--204},
  year    = {1985}
}

@article{haag1975,
  author  = {Haag, Rudolf and {\L}opusza\'nski, Jan T. and Sohnius, Martin},
  title   = {All possible generators of supersymmetries of the {S}-matrix},
  journal = {Nuclear Physics B},
  volume  = {88},
  number  = {2},
  pages   = {257--274},
  year    = {1975}
}