Superspace, superfields, and Berezin integration

Intuition Beginner

Ordinary space tells you where you are with numbers that commute: moving three steps east then four north lands you in the same place as four north then three east. Superspace adds a second kind of coordinate that refuses to commute in a sharp way. These new coordinates, written $\theta$, satisfy ${\theta }_1{\theta }_2=-{\theta }_2{\theta }_1$. Swapping the order flips the sign. As an immediate consequence, $\theta \theta =-\theta \theta$, so any such coordinate squared equals zero.

Why bother with numbers whose square is zero? Because the universe seems to pair every kind of particle that bunches together (bosons, like light) with a partner kind that refuses to share a state (fermions, like electrons). Supersymmetry is the proposed rule relating the two. A coordinate that squares to zero is the natural bookkeeping device for the fermion side, and superspace lets you treat both kinds on the same footing.

A function on superspace is called a superfield. Because each new coordinate squares to zero, a function of them is not an infinite power series but a short polynomial that stops almost immediately. That short stopping is the whole point: it packages a small, fixed list of ordinary fields into one tidy object.

Visual Beginner

The picture to hold: at every point of ordinary spacetime you attach a tiny extra direction measured by the anticommuting coordinate $\theta$. You cannot walk far along it, because a second step would mean $\theta \theta$, which is zero. A superfield is the value of some quantity along this short extra direction, and because the direction has almost no room, the quantity is captured by just a few numbers: a starting value and a small correction. Those few numbers are exactly the partner fields that supersymmetry ties together.

Worked example Beginner

Take one anticommuting coordinate $\theta$ with the rule that $\theta$ times $\theta$ is $0$. Write the most general function of it. Since higher powers vanish, the function can only have a constant part and a part proportional to $\theta$:

$$f(\theta )=a+b\theta .$$

Here $a$ and $b$ are ordinary numbers. There is no ${\theta }^2$ term, no ${\theta }^3$ term, nothing further — every one of those is $0$.

Now apply the Berezin integral, the special integration over an anticommuting coordinate. It is defined by two rules: integrating $1$ gives $0$, and integrating $\theta$ gives $1$. Apply them term by term. The constant part $a$ contributes $a\times 0=0$, and the linear part $b\theta$ contributes $b\times 1=b$, so the result of the Berezin integral is just $b$.

So integrating over $\theta$ does not measure area; it picks out the coefficient of the top power of $\theta$. The constant $a$ is thrown away and the coefficient $b$ is read off.

What this tells us: integration over an anticommuting coordinate is not summation, it is selection. It reaches into a superfield and extracts one specific component. That extraction is how a supersymmetric action is read off from a superfield, and it is the reason the strange integration rules were chosen in the first place.

Check your understanding Beginner

Formal definition Intermediate+

Fix the conventions used throughout (a conventions box appears again at the end of this section). Spacetime is ${\mathbb{R}}^{1,3}$ with the mostly-minus metric ${\eta }_{\mu \nu }=\mathrm{diag}(+,-,-,-)$. Two-component undotted spinor indices $a,b=1,2$ and dotted indices $\dot{a},\dot{b}=1,2$ transform under the inequivalent fundamental representations of $\mathrm{SL}(2,\mathbb{C})$; indices are raised and lowered with the antisymmetric symbols ${ϵ}^{ab}$, ${ϵ}_{ab}$ (and their dotted counterparts), and ${\sigma }_{a\dot{b}}^{\mu }$ are the standard mixed Pauli matrices. These spinor structures are carried by the spinor bundle of 03.09.05.

Superspace ${\mathbb{R}}^{4|4}$ is the ringed space with even coordinates $x^{\mu }$ ($\mu =0,1,2,3$) and odd coordinates ${\theta }^a$, ${\bar{\theta }}_{\dot{a}}$ generating a Grassmann algebra:

$$\{{\theta }^a,{\theta }^b\}=\{{\bar{\theta }}_{\dot{a}},{\bar{\theta }}_{\dot{b}}\}=\{{\theta }^a,{\bar{\theta }}_{\dot{b}}\}=0,[{\theta }^a,x^{\mu }]=0.$$

A superfield $S(x,\theta ,\bar{\theta })$ is an element of the supercommutative algebra of functions on ${\mathbb{R}}^{4|4}$ — equivalently a polynomial in the four odd coordinates with ordinary fields as coefficients. Because each odd coordinate squares to zero and there are two of each chirality, the expansion terminates at $\theta \theta \bar{\theta }\bar{\theta }$. With the contractions $\theta \theta :={\theta }^a{\theta }_a$ and $\bar{\theta }\bar{\theta }:={\bar{\theta }}_{\dot{a}}{\bar{\theta }}^{\dot{a}}$, the general scalar superfield is

$$\begin{array}{rl}S(x,\theta ,\bar{\theta })=& C(x)+\theta \psi (x)+\bar{\theta }\bar{\chi }(x)+\theta \theta M(x)+\bar{\theta }\bar{\theta }N(x)\\ & +\theta {\sigma }^{\mu }\bar{\theta }{V}_{\mu }(x)+\theta \theta \bar{\theta }\bar{\lambda }(x)+\bar{\theta }\bar{\theta }\theta \rho (x)+\theta \theta \bar{\theta }\bar{\theta }D(x).\end{array}$$

Grassmann differentiation is the left derivation determined by ${\partial }_{{\theta }^a}{\theta }^b={\delta }_a^b$ together with the graded Leibniz rule. The Berezin integral in one odd variable is the linear functional

$$\int d\theta 1=0,\int d\theta \theta =1.$$

For the full ${\mathbb{R}}^{4|4}$ measure one sets $d^2\theta :=-\frac{1}{4}{ϵ}_{ab}d{\theta }^{a}d{\theta }^b$ and $d^2\bar{\theta }$ analogously, normalised so that

$$\int d^2\theta \theta \theta =1,\int d^2\bar{\theta }\bar{\theta }\bar{\theta }=1,\int d^2\theta d^2\bar{\theta }\theta \theta \bar{\theta }\bar{\theta }=1.$$

Equivalently, Berezin integration over a coordinate coincides with differentiation by it: $\int d\theta ={\partial }_{\theta }$ as operators on the Grassmann algebra. Under a linear change of odd variables $\theta \mapsto A\theta$ the measure scales by $(\det A{)}^{-1}$ — the inverse of the bosonic Jacobian, with the determinant of 01.01.07 appearing in the denominator rather than the numerator. The general statement is the Berezinian: for a block supermatrix $M=\left(\begin{array}{cc}A& B\\ C& D\end{array}\right)$ with $A$, $D$ even blocks and $B$, $C$ odd,

$$\mathrm{Ber}(M)=\det (A-B{D}^{-1}C)\det (D{)}^{-1}.$$

The supercovariant derivatives are the graded differential operators

$$D_a={\partial }_{{\theta }^a}+i{\sigma }_{a\dot{b}}^{\mu }{\bar{\theta }}^{\dot{b}}{\partial }_{\mu },{\bar{D}}_{\dot{a}}=-{\partial }_{{\bar{\theta }}^{\dot{a}}}-i{\theta }^b{\sigma }_{b\dot{a}}^{\mu }{\partial }_{\mu }.$$

They are engineered to anticommute with the supercharges $Q_a$, ${\bar{Q}}_{\dot{a}}$ (realised as the differential operators generating SUSY translations in $\theta$, the subject of 12.19.01), so that a constraint built from $D$, $\bar{D}$ is preserved by supersymmetry. A chiral superfield $\Phi$ is one annihilated by every $\bar{D}$:

$${\bar{D}}_{\dot{a}}\Phi =0.$$

In the chiral coordinate $y^{\mu }=x^{\mu }+i\theta {\sigma }^{\mu }\bar{\theta }$, the constraint forces $\Phi$ to depend on $y$ and $\theta$ only, giving the finite expansion

$$\Phi (y,\theta )=\varphi (y)+\sqrt{2}\theta \psi (y)+\theta \theta F(y),$$

with a complex scalar $\varphi$, a Weyl fermion $\psi$, and an auxiliary complex scalar $F$. A vector (real) superfield $V$ is one satisfying the reality condition

$$V=V^{†},$$

whose component content (after the Wess-Zumino gauge choice of 12.19.04) reduces to a gauge field $A_{\mu }$, a gaugino $\lambda$, and a real auxiliary scalar $D$.

Counterexamples to common slips

• The chiral constraint $\bar{D}\Phi =0$ is not the same as holomorphy in $x$; it is holomorphy in the shifted coordinate $y=x+i\theta \sigma \bar{\theta }$. A superfield holomorphic in $x$ alone is not chiral.
• A product of two chiral superfields is chiral, but the product of a chiral and an antichiral superfield is neither — ${\Phi }^{†}\Phi$ is a general real superfield, which is why it supplies a $D$-term and not an $F$-term.
• The auxiliary field $F$ is not an independent dynamical degree of freedom: it carries no kinetic term and is eliminated by its algebraic equation of motion. Counting propagating states, not components, is what makes Bose-Fermi matching work.

Conventions box (Grassmann / Berezin). Mostly-minus metric. Spinor contractions $\theta \psi ={\theta }^a{\psi }_a$, $\bar{\theta }\bar{\chi }={\bar{\theta }}_{\dot{a}}{\bar{\chi }}^{\dot{a}}$, raised/lowered with ${ϵ}^{ab}$, ${ϵ}_{ab}$ (${ϵ}^{12}=-{ϵ}_{12}=1$). Berezin normalisation $\int d^2\theta \theta \theta =1$. Berezin integration equals odd differentiation; a change of odd variables contributes the inverse Jacobian (the Berezinian). Weinberg's text uses the opposite (mostly-plus) metric and a rescaled supercharge; the dictionary is ${\eta }_{\mathrm{here}}=-{\eta }_{\mathrm{Weinberg}}$ and ${\theta }_{\mathrm{here}}={\theta }_{\mathrm{Weinberg}}$ up to an overall normalisation of the measure, recorded here so cross-reading the two anchors does not introduce sign errors.

Key theorem with proof Intermediate+

Theorem (SUSY-invariance of the $F$-term and $D$-term). Let $\Phi$ be a chiral superfield with chiral expansion $\Phi =\varphi +\sqrt{2}\theta \psi +\theta \theta F$, and let $S$ be a general real superfield with top component $D_S$ (the coefficient of $\theta \theta \bar{\theta }\bar{\theta }$). Under the infinitesimal supersymmetry transformation generated by constant anticommuting parameters $\xi$, $\bar{\xi }$,

$${\delta }_{\xi }={\xi }^a{Q}_a+{\bar{\xi }}_{\dot{a}}{\bar{Q}}^{\dot{a}},Q_a={\partial }_{{\theta }^a}-i{\sigma }_{a\dot{b}}^{\mu }{\bar{\theta }}^{\dot{b}}{\partial }_{\mu },$$

the spacetime integrals

$$\int d^{4}x{d}^2\theta \Phi \text{(the F-term)}\text{and}\int d^{4}x{d}^2\theta d^2\bar{\theta }S\text{(the D-term)}$$

are invariant: ${\delta }_{\xi }\int d^{4}x{d}^2\theta \Phi =0$ and ${\delta }_{\xi }\int d^{4}x{d}^2\theta d^2\bar{\theta }S=0$.

Proof. The operators $Q_a$ and ${\bar{Q}}_{\dot{a}}$ each split into a piece that differentiates an odd coordinate and a piece proportional to a spacetime derivative ${\partial }_{\mu }$. Consider first the $F$-term. The variation ${\delta }_{\xi }\Phi =(\xi Q+\bar{\xi }\bar{Q})\Phi$. Because $\Phi$ is chiral, in the $y$-coordinate it depends on $\theta$ but not on $\bar{\theta }$, and acting with $\bar{Q}$ on it produces a total $y$-derivative. Acting with $\xi Q$ shifts the components among themselves; tracking the top ($\theta \theta$) component, the change of $F$ is

$${\delta }_{\xi }F=i\sqrt{2}{\partial }_{\mu }\left(\psi {\sigma }^{\mu }\bar{\xi }\right),$$

a total spacetime divergence. Berezin integration over $d^2\theta$ extracts exactly this top component $F$, so

$${\delta }_{\xi }\int d^{4}x{d}^2\theta \Phi =\int d^{4}x{\delta }_{\xi }F=i\sqrt{2}\int d^{4}x{\partial }_{\mu }(\psi {\sigma }^{\mu }\bar{\xi })=0,$$

the integral of a divergence over ${\mathbb{R}}^{1,3}$ with fields decaying at infinity.

For the $D$-term, the same mechanism applies one level higher. The top ($\theta \theta \bar{\theta }\bar{\theta }$) component $D_S$ of a general superfield transforms under ${\delta }_{\xi }$ into a total spacetime divergence,

$${\delta }_{\xi }{D}_S=\frac{i}{2}{\partial }_{\mu }\left(\bar{\xi }{\bar{\sigma }}^{\mu }\lambda -\bar{\lambda }{\bar{\sigma }}^{\mu }\xi \right),$$

because there is no component above $\theta \theta \bar{\theta }\bar{\theta }$ for the $\theta$-shifting part of $Q$ to map into, leaving only the ${\partial }_{\mu }$ piece. Berezin integration over $d^2\theta d^2\bar{\theta }$ extracts $D_S$, and again the spacetime integral of its variation is the integral of a divergence, which vanishes. $\square$

Bridge. This invariance is the foundational reason superspace is the right language for building supersymmetric actions: any spacetime integral of the top Berezin component of a chiral or real superfield is automatically supersymmetric, so one writes down invariants by inspection rather than by checking transformation laws term by term. This is exactly the payoff that the component-field formalism lacks. The same top-component-is-a-total-derivative phenomenon putting these together with the algebra of 12.19.01 builds toward the Wess-Zumino Lagrangian, where the kinetic term is a $D$-term ${\Phi }^{†}\Phi$ and the interactions are an $F$-term superpotential; it appears again in the super-Yang-Mills construction, where the gauge kinetic term is the $F$-term of $W^a{W}_a$. The central insight is that Berezin integration is not an analytic operation but an algebraic projection, and it is dual to the constraint structure that defines chiral and vector superfields.

Exercises Intermediate+

Advanced results Master

The differential realisation of supersymmetry on superfields makes the SUSY algebra of 12.19.01 a statement about operators on the function ring of ${\mathbb{R}}^{4|4}$. With

$$Q_a={\partial }_{{\theta }^a}-i{\sigma }_{a\dot{b}}^{\mu }{\bar{\theta }}^{\dot{b}}{\partial }_{\mu },{\bar{Q}}_{\dot{a}}=-{\partial }_{{\bar{\theta }}^{\dot{a}}}+i{\theta }^b{\sigma }_{b\dot{a}}^{\mu }{\partial }_{\mu },$$

a direct computation gives $\{Q_a,{\bar{Q}}_{\dot{b}}\}=2i{\sigma }_{a\dot{b}}^{\mu }{\partial }_{\mu }=2{\sigma }_{a\dot{b}}^{\mu }{P}_{\mu }$ with $P_{\mu }=i{\partial }_{\mu }$, recovering the central relation of the super-Poincaré algebra. The supercovariant derivatives $D_a$, ${\bar{D}}_{\dot{a}}$ are the right-invariant vector fields on the supertranslation group while $Q_a$, ${\bar{Q}}_{\dot{a}}$ are the left-invariant ones, which is why the two families anticommute: $\{D_a,Q_b\}=\{D_a,{\bar{Q}}_{\dot{b}}\}=0$. This is the structural reason a $D$-constraint is SUSY-covariant.

Three families of constrained superfields organise the field content. The chiral superfield ($\bar{D}\Phi =0$) carries the matter multiplet $(\varphi ,\psi ,F)$. The real superfield ($V=V^{†}$) carries the gauge multiplet. The linear superfield, defined by $D^{2}L={\bar{D}}^{2}L=0$ with $L=L^{†}$, carries a conserved current multiplet and a two-form gauge potential; it is the natural home for the supercurrent. The projectors

$${\mathbb{P}}_{+}=\frac{{\bar{D}}^2{D}^2}{16\square },{\mathbb{P}}_{-}=\frac{D^2{\bar{D}}^2}{16\square },{\mathbb{P}}_T=-\frac{D^a{\bar{D}}^2{D}_a}{8\square },$$

acting on a general scalar superfield, decompose it into chiral, antichiral, and transverse-linear parts, satisfying ${\mathbb{P}}_{+}+{\mathbb{P}}_{-}+{\mathbb{P}}_T=1$ and orthogonality ${\mathbb{P}}_i{\mathbb{P}}_j={\delta }_{ij}{\mathbb{P}}_i$. These are the chiral projectors that make superspace perturbation theory (supergraphs) tractable: every superpropagator is built from ${\delta }^{(4)}(\theta -{\theta }^{\prime })$ and the $D$-algebra collapses loop integrals to ordinary momentum integrals with a single $\int d^4\theta$ at each vertex.

The Berezin integral underlies the superspace volume form. The combined measure $d^{8}z=d^{4}x{d}^2\theta d^2\bar{\theta }$ is invariant under the full super-Poincaré group precisely because the Berezinian of a supertranslation is $1$ (the odd shift has a unipotent super-Jacobian). Integration by parts holds for the supercovariant derivatives: $\int d^{8}z(D_{a}X)Y=-(-1{)}^{|X|}\int d^{8}zX(D_{a}Y)$, the graded analogue of the boundaryless integration-by-parts that supergraph manipulations rely on.

Synthesis. The foundational reason these constructions cohere is that Berezin integration is the algebraic dual of the constraint calculus: extracting a top component (integration) and imposing $\bar{D}\Phi =0$ (a constraint) are the two operations the $D$-algebra closes under, and this is exactly what makes the formalism self-contained. Putting these together, the chiral projectors generalise the single-variable selection rule $\int d\theta \theta =1$ to the operator level, the superspace measure is dual to the supertranslation-invariance that fixes its Berezinian to unity, and the integration-by-parts identity is the central insight that lets supergraph power-counting proceed entirely within superspace. The same machinery builds toward the non-renormalization theorem of 12.19.04, where the holomorphy of the $F$-term superpotential and the single-$d^4\theta$-per-loop structure conspire, and it appears again in spontaneous SUSY breaking, where the $F$ and $D$ auxiliary components are the order parameters.

Full proof set Master

Proposition 1 (Berezin integration is the unique translation-invariant normalised functional). On the Grassmann algebra $\Lambda (\theta )$ in one odd generator, the only linear functional $I$ satisfying translation invariance $I[f(\theta +\alpha )]=I[f(\theta )]$ for all odd constants $\alpha$, normalised by $I[\theta ]=1$, is the Berezin integral $I[a+b\theta ]=b$.

Proof. Write $I[1]=c_0$ and $I[\theta ]=c_1$. Translation invariance applied to $f(\theta )=\theta$ gives $I[\theta +\alpha ]=I[\theta ]$, i.e. $c_1+\alpha c_0=c_1$ for every odd $\alpha$. Since $\alpha$ ranges over a non-zero odd element, $c_0=0$. Normalisation fixes $c_1=1$. Hence $I[a+b\theta ]=a{c}_0+b{c}_1=b$, which is the Berezin integral. $\square$

Proposition 2 (The chiral constraint has the claimed solution). A superfield $\Phi$ satisfies ${\bar{D}}_{\dot{a}}\Phi =0$ for all $\dot{a}$ if and only if $\Phi =\varphi (y)+\sqrt{2}\theta \psi (y)+\theta \theta F(y)$ with $y^{\mu }=x^{\mu }+i\theta {\sigma }^{\mu }\bar{\theta }$.

Proof. Compute ${\bar{D}}_{\dot{a}}{y}^{\mu }=-{\partial }_{{\bar{\theta }}^{\dot{a}}}(x^{\mu }+i\theta {\sigma }^{\mu }\bar{\theta })-i{\theta }^b{\sigma }_{b\dot{a}}^{\nu }{\partial }_{\nu }{y}^{\mu }$. The first term gives $-i\theta {\sigma }_{\dot{a}}^{\mu }$ and the second $-i\theta {\sigma }_{\dot{a}}^{\mu }$ with the opposite sign upon using ${\partial }_{\nu }{y}^{\mu }={\delta }_{\nu }^{\mu }$; they cancel, so ${\bar{D}}_{\dot{a}}{y}^{\mu }=0$. Also ${\bar{D}}_{\dot{a}}{\theta }^b=0$ since $\theta$ carries no $\bar{\theta }$. Therefore any function $\Phi (y,\theta )$ of $y$ and $\theta$ alone satisfies ${\bar{D}}_{\dot{a}}\Phi =0$ by the chain rule. Conversely, change variables from $(x,\theta ,\bar{\theta })$ to $(y,\theta ,\bar{\theta })$; in these coordinates ${\bar{D}}_{\dot{a}}=-{\partial }_{{\bar{\theta }}^{\dot{a}}}$, so the constraint says $\Phi$ is independent of $\bar{\theta }$, i.e. a function of $y$ and $\theta$ only. Expanding in the two odd components of $\theta$ truncates at $\theta \theta$, giving the stated three-term expansion. $\square$

Proposition 3 (Berezinian multiplicativity, block-triangular case). For supermatrices of the block-lower-triangular form $M=\left(\begin{array}{cc}A& 0\\ C& D\end{array}\right)$ with $A,D$ invertible even blocks, $\mathrm{Ber}(M)=\det (A)\det (D{)}^{-1}$ and $\mathrm{Ber}(M{M}^{\prime })=\mathrm{Ber}(M)\mathrm{Ber}(M^{\prime })$ for $M^{\prime }$ of the same form.

Proof. With $B=0$ the Schur complement $A-B{D}^{-1}C=A$, so $\mathrm{Ber}(M)=\det (A)\det (D{)}^{-1}$. For two lower-triangular supermatrices, $M{M}^{\prime }=\left(\begin{array}{cc}A{A}^{\prime }& 0\\ C{A}^{\prime }+D{C}^{\prime }& D{D}^{\prime }\end{array}\right)$, again lower-triangular with even diagonal blocks $A{A}^{\prime }$, $D{D}^{\prime }$. Then $\mathrm{Ber}(M{M}^{\prime })=\det (A{A}^{\prime })\det (D{D}^{\prime }{)}^{-1}=\det (A)\det (A^{\prime })\det (D{)}^{-1}\det (D^{\prime }{)}^{-1}=\mathrm{Ber}(M)\mathrm{Ber}(M^{\prime })$, by multiplicativity of the ordinary determinant of 01.01.07. The unipotent supertranslation matrix is of exactly this form with $A=D=1$, giving Berezinian $1$ and confirming invariance of the superspace measure. $\square$

Connections Master

The supersymmetry algebra and the Haag-Lopuszanski-Sohnius theorem 12.19.01 supply the abstract graded Poincaré algebra that this unit realises as differential operators on the function ring of superspace; the central relation $\{Q,\bar{Q}\}=2{\sigma }^{\mu }{P}_{\mu }$ is recovered here as a computation with the differential supercharges, and the two units are co-produced as the algebraic and geometric faces of the same structure.

The spinor bundle 03.09.05 provides the two-component dotted and undotted spinor representations of $\mathrm{SL}(2,\mathbb{C})$ that the odd coordinates ${\theta }^a$, ${\bar{\theta }}_{\dot{a}}$ transform in; without that bundle structure the index gymnastics of ${\sigma }_{a\dot{b}}^{\mu }$ and the $ϵ$-contractions would be ungrounded.

The determinant 01.01.07 reappears inverted in the Berezinian: where a bosonic change of variables multiplies a measure by $\det$, an odd change multiplies by ${\det }^{-1}$, and the super-Jacobian of a mixed change is the ratio $\det (A-B{D}^{-1}C)/\det (D)$. This single sign-of-the-exponent change is the entire formal content of fermionic integration.

The Wess-Zumino model and supermultiplets 12.19.03 consume the $F$-term and $D$-term projections proved invariant here: the chiral kinetic term is the $D$-term ${\Phi }^{†}\Phi$ and the superpotential is an $F$-term, so the action of the first interacting SUSY field theory is assembled by Berezin-integrating the superfields of this unit.

Super-Yang-Mills and the non-renormalization theorem 12.19.04 build the gauge field strength $W_a=-\frac{1}{4}{\bar{D}}^2{D}_{a}V$ out of the vector superfield introduced here, and the supergraph power-counting that proves non-renormalization is the operational form of the chiral projectors and the single-$\int d^4\theta$-per-vertex structure stated in Advanced results.

Historical & philosophical context Master

Superspace was introduced by Salam and Strathdee in 1974 ^{[Salam-Strathdee 1974]}, who extended Minkowski coordinates by anticommuting spinors and realised the newly discovered supersymmetry transformations of Wess and Zumino as translations in the odd directions. The constrained superfields — chiral fields annihilated by $\bar{D}$ — were pinned down the same year by Ferrara, Wess, and Zumino ^{[Ferrara-Wess-Zumino 1974]}, who identified the $(\varphi ,\psi ,F)$ multiplet and the role of the top component as a supersymmetric Lagrangian density. The integration theory rests on Berezin's 1966 construction of the integral over anticommuting variables ^{[Berezin 1966]}, which defined the unique translation-invariant functional on a Grassmann algebra and established the inverse-determinant transformation law now bearing his name.

The conventions schism between Weinberg's mostly-plus metric and the Wess-Bagger mostly-minus metric ^{[Wess-Bagger 1992]} is a recurring source of sign errors in the literature, which is why the production brief for this sub-chapter mandates a fixed conventions box; the dictionary between the two anchor texts is recorded in the formal-definition section. The systematic textbook synthesis appears in Weinberg's third volume ^{[Weinberg 2000]}, which derives the superspace formalism from the algebra rather than positing it.

Bibliography Master

@article{SalamStrathdee1974,
  author  = {Salam, Abdus and Strathdee, J.},
  title   = {Super-gauge transformations},
  journal = {Nuclear Physics B},
  volume  = {76},
  pages   = {477--482},
  year    = {1974}
}

@article{FerraraWessZumino1974,
  author  = {Ferrara, S. and Wess, J. and Zumino, B.},
  title   = {Supergauge multiplets and superfields},
  journal = {Physics Letters B},
  volume  = {51},
  pages   = {239--241},
  year    = {1974}
}

@book{Berezin1966,
  author    = {Berezin, F. A.},
  title     = {The Method of Second Quantization},
  publisher = {Academic Press},
  year      = {1966}
}

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

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