All derivatives below are left Grassmann derivatives. Decompose the supersymmetric covariant derivatives into odd pieces
When these operators act on an arbitrary superfield, the graded Leibniz rule gives
The anticommutator of the two pure Grassmann derivatives vanishes. Also : the spacetime derivatives commute, while the and coefficients anticommute. Adding these terms proves the supercovariant derivative algebra with left derivatives,
For two unbarred derivatives, neither differentiates the coefficient of the other operator. Their coefficient products anticommute, so . The same argument with barred and unbarred coordinates exchanged gives . These signs follow the derivatives printed in this paper; a convention replacing by reverses the mixed sign as well.
Set . Left differentiation gives
The chain rule therefore makes simply at fixed . The chiral superfield constraint means that is independent of in these coordinates. Since there are only two independent entries of , its Grassmann algebra expansion terminates at degree two. Naming the coefficients gives the chiral-superfield component expansion
Here is a complex scalar field, a Weyl spinor, and a nonpropagating auxiliary field; the is their conventional normalization.