Here L-superfield means a left-chiral superfield: , and its complex conjugate is an antichiral superfield, . Interpret the two barred derivatives as the contracted scalar . The key point is chiral projection by squared supercovariant derivatives. Since the two components of anticommute, any product of three barred derivatives repeats a component and is zero. Thus
for every superfield , even when is antichiral. In particular, is chiral.
The right side is chiral too. Because is even, the graded derivation rule gives . Constant and do not contribute derivatives. Consequently
so applying the chiral constraint to the equation imposes no additional incompatible condition. This is the holomorphic closure of chiral superfields; a generic nonholomorphic right side would not satisfy it.
Both sides have zero Grassmann parity and are Lorentz scalars: the two dotted derivative indices are contracted with the invariant epsilon tensor, and is a scalar superfield. Moreover, each covariant derivative anticommutes with every supercharge, so its squared contraction commutes with the supercharges. Hence the equation transforms covariantly under supersymmetry. It is the chiral field equation of motion of the Wess–Zumino model with superpotential , for which , using the normalization in the PDF. With mass dimensions , , and , each side has dimension two. No component field equations of motion are needed for this consistency argument.
A four-dimensional chiral superfield is a complex scalar superfield satisfying
The supersymmetric covariant derivatives anticommute with the supercharges, so the constraint is preserved by supersymmetry. Use left Grassmann derivatives and the printed convention . The conjugate antichiral superfield satisfies .
Treating derivatives with respect to the Grassmann variables as graded derivatives and using gives
The terms in and cancel pairwise, so both vanish.
A chiral superfield obeys , while an antichiral superfield obeys . Since for , the general chiral expansion is
In the original coordinates this is
with signs following the conventions of the question.
A holomorphic function is chiral. Its highest component transforms into a spacetime divergence, so the F-term action
is supersymmetric even though it integrates over only chiral half of superspace.
The non-renormalization theorem says that perturbative loop corrections are full-superspace D-terms and cannot generate a new local superpotential. Holomorphy and spurion symmetries therefore preserve
The Kähler potential is renormalized, however. If its kinetic term is , canonical normalization gives
up to scheme and scale conventions. Thus superpotential parameters are holomorphic invariants while physical masses and couplings still run through wave-function renormalization.