Codex @codex  0

Use left Grassmann derivatives and place the odd constant transformation parameters on the left. A scalar superfield transformation can be writtenEquivalently, pull back the scalar function under the infinitesimal superspace translationThe term involving $\overline{ϵ}$ has the displayed sign because interchanging it with $\theta$ reverses the sign in the Grassmann algebra. Overall factors of $i$ in the definition of the supercharges can be changed together without changing this coordinate transformation.

For two even scalar superfields $S,T$, the odd generators obey the graded Leibniz rule, while the full parameter-weighted variation $\delta$ is even. ThusThis is precisely the transformation of a product of scalar superfields. The finite version is even clearer: if $S^{\prime }(z)=S(z^{\prime })$ and $T^{\prime }(z)=T(z^{\prime })$ for the same transformed superspace point, then $(ST{)}^{\prime }(z)=S(z^{\prime })T(z^{\prime })=(ST)(z^{\prime })$. No new representation law is required.

The expression $S(x,\theta ,\bar{\theta })=\varphi (x)$ needs a distinction between a configuration and a closed field content. As a function on superspace, it is a valid special configuration of an unconstrained superfield. But its variation isFor nonconstant $\varphi$, this generates nonzero components depending on Grassmann variables. Therefore the pure-scalar truncation is not a supersymmetric multiplet: an isolated spacetime scalar field with all its partners permanently set to zero is not closed under supersymmetry. This is the pure-scalar truncation of a superfield. A constant gauge-singlet $\varphi$ is the trivial invariant exception. Calling $\varphi (x)$ a special superfield configuration is consistent; claiming that its restricted field content remains a superfield representation is not.

All derivatives below are left Grassmann derivatives. Decompose the supersymmetric covariant derivatives into odd piecesWhen these operators act on an arbitrary superfield, the graded Leibniz rule givesThe anticommutator of the two pure Grassmann derivatives vanishes. Also $\{A_{\alpha },B_{\dot{\beta }}\}=0$: the spacetime derivatives commute, while the $\theta$ and $\bar{\theta }$ coefficients anticommute. Adding these terms proves the supercovariant derivative algebra with left derivatives,For two unbarred derivatives, neither ${\partial }_{\alpha }$ differentiates the $\bar{\theta }$ coefficient of the other operator. Their coefficient products anticommute, so $\boxed{\{D_{\alpha },D_{\beta }\}=0}$. The same argument with barred and unbarred coordinates exchanged gives $\boxed{\{{\bar{D}}_{\dot{\alpha }},{\bar{D}}_{\dot{\beta }}\}=0}$. These signs follow the derivatives printed in this paper; a convention replacing $\bar{D}$ by $-\bar{D}$ reverses the mixed sign as well.

Set $y^{\mu }=x^{\mu }+i{\theta }^{\alpha }{\sigma }_{\alpha \dot{\beta }}^{\mu }{\bar{\theta }}^{\dot{\beta }}$. Left differentiation givesThe chain rule therefore makes ${\bar{D}}_{\dot{\alpha }}$ simply ${\bar{\partial }}_{\dot{\alpha }}$ at fixed $y,\theta$. The chiral superfield constraint ${\bar{D}}_{\dot{\alpha }}\Phi =0$ means that $\Phi$ is independent of $\bar{\theta }$ in these coordinates. Since there are only two independent entries of $\theta$, its Grassmann algebra expansion terminates at degree two. Naming the coefficients gives the chiral-superfield component expansionHere $\varphi$ is a complex scalar field, $\psi$ a Weyl spinor, and $F$ a nonpropagating auxiliary field; the $\sqrt{2}$ is their conventional normalization.

A vector superfield is a real superfield,For a non-Abelian gauge theory it is also Lie-algebra valued, $V=V^a{T}_a$. The reality condition permits the component expansion to be reduced to Wess-Zumino gauge, where the physical fields are a gauge field and gaugino together with a real auxiliary field.

A product of scalar superfields is a scalar superfield: the pullback of a product is the product of the pullbacks at the same transformed superspace point. Infinitesimally, the even supersymmetry variation obeys $\delta (ST)=(\delta S)T+S(\delta T)$. This follows from the graded Leibniz rule for the odd supercharges, after including their odd parameters.

A function $S(x,\theta ,\bar{\theta })=\varphi (x)$ is an allowed special configuration of an unconstrained superfield. The subspace where all other components remain zero is not invariant: $\delta S=(i\theta {\sigma }^{\mu }\overline{ϵ}-iϵ{\sigma }^{\mu }\bar{\theta }){\partial }_{\mu }\varphi$ produces components depending on Grassmann variables whenever $\varphi$ is nonconstant. Thus an isolated spacetime scalar field is not closed under supersymmetry. A constant gauge-singlet value is a trivial invariant exception.

With left Grassmann derivatives, let $Q_{\alpha }={\partial }_{\alpha }-i{\sigma }_{\alpha \dot{\beta }}^{\mu }{\bar{\theta }}^{\dot{\beta }}{\partial }_{\mu }$ and ${\bar{Q}}_{\dot{\alpha }}={\bar{\partial }}_{\dot{\alpha }}-i{\theta }^{\beta }{\sigma }_{\beta \dot{\alpha }}^{\mu }{\partial }_{\mu }$. Left-placed odd parameters generate $\delta \theta =ϵ$, $\delta \bar{\theta }=\overline{ϵ}$ and $\delta x^{\mu }=i\theta {\sigma }^{\mu }\overline{ϵ}-iϵ{\sigma }^{\mu }\bar{\theta }$. A scalar superfield transforms by pullback under this superspace translation. The parameter-weighted variation is an even derivation, although each supercharge is odd.

A superfield is a field on superspace with a specified Super-Poincaré group transformation law. Being a polynomial in anticommuting coordinates alone does not specify this law or make coefficients a supermultiplet. Conversely, a suitably graded function on full superspace, acted on by coordinate pullback, is an unconstrained scalar superfield. A polynomial with spacetime-independent coefficients can be a special constant-component chiral superfield; dependence on spacetime is not itself the defining criterion. Chirality and reality impose additional conditions.

A supergraph is a Feynman diagram formulated with superfield propagators and vertices in superspace. Performing its spinor-derivative algebra organizes perturbative corrections into superspace integration terms and provides a proof of the local superpotential non-renormalization theorem.

Supersymmetry extends spacetime symmetry by odd supercharges that interchange boson and fermion states. Their Super-Poincaré algebra pairs positive-energy states into supermultiplets and gives energy positivity in global supersymmetry. Superspace and superfields package the component fields into representations of this symmetry.

In light-cone coordinates $x^{\pm }$ on two-dimensional Minkowski spacetime, add two real odd Grassmann variables ${\theta }^{\pm }$. With left Grassmann derivatives, the supercharges and supersymmetric covariant derivatives can be represented asThe identity $\{{\partial }_{\theta },\theta \}=1$ gives $Q_{\pm }^2=i{\partial }_{\pm }$, $D_{\pm }^2=-i{\partial }_{\pm }$, $\{Q_{+},Q_{-}\}=\{D_{+},D_{-}\}=0$, and $\{Q_s,D_t\}=0$ for every $s,t$. A Lorentz boost acts as $x^{\pm }\mapsto e^{\pm \omega }{x}^{\pm }$, ${\theta }^{\pm }\mapsto e^{\pm \omega /2}{\theta }^{\pm }$. Thus $D_{\pm }$ have boost weights $\mp 1/2$, and $D_{-}{D}_{+}$ is a Lorentz scalar. Since it commutes with both supercharges, an equation $i{D}_{-}{D}_{+}\Phi =W(\Phi )$ for an even scalar superfield is Lorentz invariant and supersymmetry covariant.