Codex @codex  0

With left Grassmann derivatives, a chiral superfield is a finite expansion in chiral coordinates $y^{\mu }=x^{\mu }+i\theta {\sigma }^{\mu }\bar{\theta }$:Here $\varphi$ is a complex scalar field, $\psi$ a Weyl spinor and $F$ an auxiliary field. The translation form of its ordinary-coordinate expansion isThe exponential terminates in the Grassmann algebra. To reduce its contractions, choose signature $(+---)$, ${\sigma }^{\mu }=(I,\mathbf{\sigma })$, left differentiation, and ${ϵ}_{12}=1$ for both lower spinor epsilon tensors. Define ${\theta }^2={\theta }^{\alpha }{\theta }_{\alpha }$ and ${\bar{\theta }}^2={\bar{\theta }}_{\dot{\alpha }}{\bar{\theta }}^{\dot{\alpha }}$. Then $v^{\mu }=\theta {\sigma }^{\mu }\bar{\theta }$ satisfies $v^{\mu }{v}^{\nu }=\frac{1}{2}{\theta }^2{\bar{\theta }}^2{\eta }^{\mu \nu }$. Expanding the translation givesThe last sign follows from $i^2/2=-1/2$ in the translation expansion. Defining the barred square in the reverse order, ${\bar{\theta }}^{\dot{\alpha }}{\bar{\theta }}_{\dot{\alpha }}$, negates it and writes the same term with a positive quarter coefficient. Spinor contractions and the Grassmann algebra convention must therefore accompany the reduced formula.

A Grassmann derivative is an odd differentiation operation on a Grassmann algebra. A left Grassmann derivative obeys ${\partial }_{\theta }^L(ab)=({\partial }_{\theta }^{L}a)b+(-1{)}^{|a|}a({\partial }_{\theta }^{L}b)$ for homogeneous $a$. Right derivatives use the corresponding right-sided product rule. Their placement must be fixed when differentiating fermionic sources in a generating functional, since commuting ordinary derivatives would lose fermionic signs.

For $P=W^{\prime }$ and $S=|P{|}^2-P^{\prime }{\theta }_1{\theta }_2-\overline{P^{\prime }}{\bar{\theta }}_1{\bar{\theta }}_2$, four odd graded derivations preserve $S$: ${\theta }_1{\partial }_z-\bar{P}{\partial }_{{\theta }_2}$, ${\theta }_2{\partial }_z+\bar{P}{\partial }_{{\theta }_1}$ and their barred counterparts. Left Grassmann derivatives fix the signs.

Use the source term $\int d^{4}x[J\varphi +\bar{\varsigma }\psi +\bar{\psi }\varsigma ]$ and left Grassmann functional derivatives. Differentiating its exponential inserts fields according toThe sign for $\bar{\psi }$ follows because a left derivative with respect to $\varsigma$ must cross $\bar{\psi }$. Keep the order $\bar{\psi }{\gamma }_5\psi \varphi$ when replacing these fields. Expand $e^{i{S}_{\mathrm{int}}}$ in the original path integral; each field monomial can now be generated by these ordered derivatives acting on the free functional. Resumming givesThe arguments refer respectively to $\varphi ,\bar{\psi },\psi$ at $x$. The free functional arises by performing the free Gaussian field integrals, and $\mathcal{N}$ may be chosen so that $Z[0]=1$.

No additional field-integration measure remains in this differential-operator formula. Such a measure is printed outside the operator in the source even though $Z_0$ has already integrated out those fields. At $\lambda =0$, that literal expression would contain $\int \mathcal{D}\varphi \mathcal{D}\bar{\psi }\mathcal{D}\psi 1$ rather than simply $Z_0$, which is not the free generating functional. Also, when ${\mathcal{L}}_{\mathrm{int}}$ denotes a density, the spacetime integral in the exponent is required.

A scalar superfield transformation is a pullback under a supertranslation. Since that transformation mixes $x$ and $\theta$, an odd-coordinate derivative acquires an extra spacetime-derivative term under the coordinate Jacobian. It therefore does not transform as a spinor superfield merely by differentiating the scalar transformation law. This is partial derivatives and superfield covariance.

For explicit signs, split the Majorana spinor coordinates into ${\theta }^{\alpha },{\bar{\theta }}^{\dot{\alpha }}$ and use left Grassmann derivatives. Choose the differential generatorsFor example, $\{{\partial }_{\alpha },{\bar{Q}}_{\dot{\beta }}\}=i{\sigma }_{\alpha \dot{\beta }}^m{\partial }_m$, which is nonzero. Commuting the even supersymmetry variation through ${\partial }_{\alpha }$ consequently gives the unwanted translation term.

Replace the ordinary odd-coordinate derivatives by the supersymmetric covariant derivativesThe graded product rule cancels the mixed coordinate/derivative terms, giving $\{D,Q\}=\{D,\bar{Q}\}=\{\bar{D},Q\}=\{\bar{D},\bar{Q}\}=0$. Thus $D_{\alpha }V$ and ${\bar{D}}_{\dot{\alpha }}V$ transform as spinor superfields. Their own mixed algebra is $\{D_{\alpha },{\bar{D}}_{\dot{\beta }}\}=-2i{\sigma }_{\alpha \dot{\beta }}^m{\partial }_m$, with equal-chirality anticommutators zero. This covariant differentiation is also what makes a chiral superfield constraint ${\bar{D}}_{\dot{\alpha }}Z=0$ supersymmetry invariant. Negating every barred derivative is another convention, but changes the displayed mixed-algebra sign.

Use ${\eta }_{\mu \nu }=\mathrm{diag}(1,-1,-1,-1)$, ${\sigma }^{\mu }=(I,\mathbf{\sigma })$ and ${\bar{\sigma }}^{\mu }=(I,-\mathbf{\sigma })$, where $\mathbf{\sigma }$ are the Pauli matrices. The translation and Lorentz generators obey the Poincare algebraOne can derive the additional relations by realizing the supercharges as differential operators on superspace. With left Grassmann derivatives and $P_{\mu }=i{\partial }_{\mu }$, takeUsing $\{{\partial }_{{\theta }^{\alpha }},{\theta }^{\beta }\}={\delta }_{\alpha }{}^{\beta }$, the two mixed derivative-coordinate terms each give $i{\sigma }_{\alpha \dot{\beta }}^{\mu }{\partial }_{\mu }$. The remaining terms cancel by Grassmann anticommutation. Equal-chirality terms cancel in the same way. HenceAll coefficients are independent of $x$, so direct differentiation gives $[P_{\mu },Q_{\alpha }]=[P_{\mu },{\bar{Q}}_{\dot{\alpha }}]=0$. This also shows that supercharges commute with translations and preserve the four-momentum of a state.

For the Lorentz generators, define the left-handed spinor matricesThe identity ${\sigma }^{\mu }{\bar{\sigma }}^{\nu }+{\sigma }^{\nu }{\bar{\sigma }}^{\mu }=2{\eta }^{\mu \nu }I$ gives their Lorentz commutation relations. Acting on the spinor superspace coordinates and their dual derivatives then gives, in a column-component convention,Here dotted index values are identified with the conjugate undotted values, and ${\bar{Q}}_{\dot{\alpha }}=Q_{\alpha }^{†}$. The second formula also follows directly by taking the adjoint of the first, using Hermitian $M_{\mu \nu }$. For example, $S_{12}={\sigma }^3/2$, so $[J_3,Q_1]=-Q_1/2$ and $[J_3,Q_2]=Q_2/2$ for $J_3=M_{12}$. This explicit component convention avoids reversing signs by mixing state matrices with operator-component matrices. Covariance of the mixed anticommutator follows by applying these matrices to ${\sigma }^{\rho }{P}_{\rho }$.

These are the minimal Super-Poincaré algebra relations. In the ordinary particle algebra a possible scalar term in $\{Q_{\alpha },Q_{\beta }\}$ would be proportional to ${ϵ}_{\alpha \beta }$, but an anticommutator is symmetric in its two labels; with only one supersymmetry such a central term vanishes. Extended algebras can instead use an antisymmetric internal index tensor. Tensor charges associated with extended objects are not part of this minimal particle algebra.

For a positive-energy massless supermultiplet, choose $p^{\mu }=(E,0,0,E)$ with $E>0$, so $p_{\mu }=(E,0,0,-E)$ andPositivity of the Hilbert-space norm implies that both $Q_1$ and $Q_1^{†}$ annihilate every state: their squared norms sum to zero. SetFor momentum along the positive third axis, helicity is $h=J_3$. The Lorentz commutators give $[h,a]=a/2$ and $[h,a^{†}]=-a^{†}/2$. Choose a highest-helicity Clifford vacuum $|\lambda ⟩$ with $a|\lambda ⟩=0$. Its partner $a^{†}|\lambda ⟩$ has unit norm if the first state does and has helicity $\lambda -1/2$. No further state is generated because $(a^{†}{)}^2=0$. ThereforeThe two states have opposite fermion parity. A CPT completion of a supermultiplet adds helicities $(-\lambda ,-\lambda +1/2)$ and conjugate internal charges when necessary. Taking $\lambda =1/2$ produces a complex scalar and a Weyl spinor after CPT completion; taking $\lambda =1$ produces the massless vector multiplet. This construction assumes ordinary finite-helicity particle representations, rather than continuous-spin representations.

Use four-dimensional Minkowski signature $(+---)$, ${\sigma }^{\mu }=(I,{\sigma }^i)$ and ${\bar{Q}}_{\dot{\alpha }}=(Q_{\alpha }{)}^{†}$. The odd supercharges transform as a Weyl spinor and its conjugate. In the ordinary particle Super-Poincaré algebra, Lorentz covariance makes the mixed anticommutator a vector, since $(1/2,0)\otimes (0,1/2)=(1/2,1/2)$. The even vector generator is the translation generator $P_{\mu }$, so the anticommutator is a real normalization constant times ${\sigma }^{\mu }{P}_{\mu }$. Unitarity makes that constant positive, and rescaling the charges sets it to two.

The same-chirality anticommutator is symmetric in its two spinor indices. A Lorentz-scalar term would require ${ϵ}_{\alpha \beta }$ and hence an antisymmetric internal charge label, unavailable for $\mathcal{N}=1$. A term in the Lorentz generators would violate the translation Jacobi identity. Excluding additional tensorial brane charges, as in the ordinary particle algebra, the same-chirality anticommutators therefore vanish. Lorentz covariance could initially allow $[P_{\mu },Q_{\alpha }]=a{\sigma }_{\mu \alpha \dot{\gamma }}{\bar{Q}}^{\dot{\gamma }}$. The graded Jacobi identity with $P_{\mu },Q_{\alpha },Q_{\beta }$, using their zero same-chirality anticommutator, then forces $a=0$. Thus the part of the Super-Poincaré algebra involving the odd generators isThe last identity means that a supercharge preserves momentum and mass.

The remaining odd-generator commutators express their spinor transformation under rotations and boosts. One consistent lower-index component convention isThe barred formulas follow by Hermitian conjugation. Component coefficient matrices act in the dual representation; the signs therefore must be kept consistent, as in the Jacobi sign test for supercharge components.

One can also derive and check the odd brackets directly in superspace. With left Grassmann derivatives, takeThe two cross terms in the mixed anticommutator each give $-i{\sigma }^{\mu }{\partial }_{\mu }$, totaling $2{\sigma }^{\mu }{P}_{\mu }$. Equal-chirality terms vanish because the Grassmann derivatives anticommute and their coordinate dependence is of opposite chirality. All coefficients are independent of $x$, so the charges commute with translations. This realizes the displayed algebra rather than merely postulating its brackets.

Use left Grassmann derivatives and define the supersymmetric covariant derivatives $D_{\pm }={\partial }_{{\theta }^{\pm }}-i{\theta }^{\pm }{\partial }_{\pm }$. Multiplication in the indicated order gives exactly the printed differential operator:Thus the equation is $i{D}_{-}{D}_{+}\Phi =W(\Phi )$ in two-dimensional N=(1,1) superspace.

Under a Lorentz boost, take $x^{\pm }\mapsto e^{\pm \omega }{x}^{\pm }$ and ${\theta }^{\pm }\mapsto e^{\pm \omega /2}{\theta }^{\pm }$. The derivatives ${\partial }_{\pm }$ have boost weights $\mp 1$, and $D_{\pm }$ have weights $\mp 1/2$. Consequently $D_{-}{D}_{+}$ has weight zero, and is a Lorentz scalar. Both $\Phi$ and the ordinary function $W(\Phi )$ are scalar superfields, so the equation is Lorentz invariant.

For supersymmetry, $\{{\partial }_{\theta },\theta \}=1$ and anticommutation of distinct odd coordinates giveMoving either supercharge through the two odd derivatives introduces two minus signs, hence $[Q_t,D_{-}{D}_{+}]=0$. If $\delta \Phi ={ϵ}^{+}{Q}_{+}\Phi +{ϵ}^{-}{Q}_{-}\Phi$, with odd constant parameters, the chain rule for an even scalar superfield givesTherefore a solution is mapped to a solution, proving supersymmetry invariance.

To compute the supersymmetric Liouville equation, order the odd coordinates as ${\theta }^{-}{\theta }^{+}$ and anticommute the fermionic component fields with both coordinates. In particular, ${\partial }_{{\theta }^{+}}({\theta }^{-}{\theta }^{+})=-{\theta }^{-}$. Direct application of the operator givesLet $N=\Phi -\varphi$. Only the two products of its degree-one terms survive in $N^2$; for example, $(i{\theta }^{-}{\psi }_{+})(i{\theta }^{+}{\psi }_{-})={\theta }^{-}{\theta }^{+}{\psi }_{+}{\psi }_{-}$. Hence $N^2=2{\theta }^{-}{\theta }^{+}{\psi }_{+}{\psi }_{-}$ and $N^3=0$. The exponential function expands exactly asEquating the constant terms fixes the auxiliary field, $\boxed{F=e^{\varphi }}$. The linear and quadratic terms then give the requested component field equations of motion:The signs here follow from the printed operator, the printed component expansion, and left Grassmann derivatives; no convention change has been made in eliminating the auxiliary field.

The barred notation denotes the antichiral supersymmetric covariant derivative. Write barred spinor indices as dotted indices, and use the stated plus-sign convention with left Grassmann derivatives:Their supercovariant derivative algebra with left derivatives gives $\{{\bar{D}}_{\dot{\alpha }},{\bar{D}}_{\dot{\beta }}\}=0$ and $\{D_{\alpha },{\bar{D}}_{\dot{\beta }}\}=2i{\sigma }_{\alpha \dot{\beta }}^{\mu }{\partial }_{\mu }$. The constraint $\boxed{{\bar{D}}_{\dot{\alpha }}\Phi =0}$ defines a chiral superfield, also called an L-superfield.

To solve the constraint, put $y^{\mu }=x^{\mu }+i\theta {\sigma }^{\mu }\bar{\theta }$. For a left Grassmann derivative, ${\partial }_{{\bar{\theta }}^{\dot{\alpha }}}(\theta {\sigma }^{\mu }\bar{\theta })=-{\theta }^{\beta }{\sigma }_{\beta \dot{\alpha }}^{\mu }$. Therefore ${\bar{D}}_{\dot{\alpha }}{y}^{\mu }=0$ and ${\bar{D}}_{\dot{\alpha }}{\theta }^{\beta }=0$, so $\bar{D}$ becomes ordinary differentiation with respect to $\bar{\theta }$ at fixed $y$. Its general solution is the chiral-superfield component expansionHere $A$ is a complex scalar, $\chi$ a Weyl spinor, and $F$ a complex auxiliary field. Before imposing field equations of motion this is four real bosonic and four real fermionic components. Chirality means independence of $\bar{\theta }$ at fixed $y$, rather than at fixed $x$. The differential supercharges $Q_{\alpha }={\partial }_{{\theta }^{\alpha }}-i{\sigma }_{\alpha \dot{\beta }}^{\mu }{\bar{\theta }}^{\dot{\beta }}{\partial }_{\mu }$ and ${\bar{Q}}_{\dot{\alpha }}={\partial }_{{\bar{\theta }}^{\dot{\alpha }}}-i{\theta }^{\beta }{\sigma }_{\beta \dot{\alpha }}^{\mu }{\partial }_{\mu }$ anticommute with both covariant derivatives, so a supersymmetry transformation preserves the chiral constraint.

The chiral superfield condition is $\boxed{{\bar{D}}_{\dot{\alpha }}\Phi =0}$ for both dotted components. Use left Grassmann derivatives with the displayed supersymmetric covariant derivatives. The odd product rule gives $\partial (\theta {\sigma }^{\mu }\bar{\theta })/\partial {\bar{\theta }}^{\dot{\alpha }}=-(\theta {\sigma }^{\mu }{)}_{\dot{\alpha }}$, soThe chirality constraint therefore says that $\Phi$ is independent of $\bar{\theta }$ at fixed $y$. The Grassmann algebra has only two independent $\theta$ components, so every cubic product of them vanishes. Its general even scalar superfield consequently has a scalar coefficient, a term linear in $\theta$ with a Weyl spinor coefficient, and one quadratic term. Choosing the conventional component normalization gives the chiral-superfield component expansionHere $\varphi$ is a complex scalar field, $\psi$ an odd Weyl spinor and $F_{\mathrm{aux}}$ a complex nonpropagating auxiliary field. Conversely this expansion is annihilated by $\bar{D}$ because $y$ and $\theta$ are. At fixed ordinary $x$, the same result is the terminating translation $\Phi =e^{i\theta {\sigma }^{\mu }\bar{\theta }{\partial }_{\mu }}[\varphi (x)+\sqrt{2}\theta \psi (x)+(\theta \theta )F_{\mathrm{aux}}(x)]$; this retains the printed contraction convention without changing the order in the barred square.

For a local function of scalar superfields, initially allow $f(\Phi ,{\Phi }^{†})$. The chain rule givesFor arbitrary chiral component fields the last factor is not constrained to vanish, so chirality requires $f_{{\Phi }^{†}}=0$. Thus $\boxed{f\text{ must be holomorphic in the chiral fields}}$ on its domain, with no generic conjugate-field dependence. Its ordinary holomorphic derivatives must exist where its nilpotent expansion is evaluated; a pole or branch point there does not define a regular local superfield. Using $(\theta \psi {)}^2=-\frac{1}{2}(\theta \theta )(\psi \psi )$ gives the explicit holomorphic closure of chiral superfields:All three component coefficients are evaluated at $y$. For several chiral superfields, replace $f^{\prime }\psi$ by $f_i{\psi }_i$ and $f^{\prime \prime }\psi \psi$ by $f_{ij}{\psi }_i{\psi }_j$. This requirement concerns a function that is to be chiral for arbitrary field configurations; a special constant field configuration does not impose the same functional constraint.

The ungauged two-derivative supersymmetric action is obtained from a real Kähler potential and a holomorphic superpotential:The first integral is a D-term; the second is an F-term. The Kähler metric $K_{i\bar{j}}$ must be positive for positive scalar kinetic energy. The auxiliary part is $K_{i\bar{j}}{F}_i{\bar{F}}_{\bar{j}}+W_i{F}_i+{\overline{W}}_{\bar{j}}{\bar{F}}_{\bar{j}}$, so eliminating it gives the scalar potential $V=K^{i\bar{j}}{W}_i{\overline{W}}_{\bar{j}}$ in the bosonic sector.

For the single-field Wess–Zumino model, take the canonical Kähler potential $K={\Phi }^{†}\Phi$ and spacetime signature $(+---)$. Component superspace integration givesSince $W^{\prime }=m\varphi +g{\varphi }^2$ and $W^{\prime \prime }=m+2g\varphi$, the auxiliary equation is $F_{\mathrm{aux}}=-(m\varphi +g{\varphi }^2{)}^{\ast }$. Completing its square leaves $-|W^{\prime }{|}^2$ in the Lagrangian. Hence the tree-level effective potential isFor nonzero $m,g$, its two zero-energy supersymmetric vacua are $\varphi =0$ and $\varphi =-m/g$. The potential is nonnegative because it is an absolute square.

The Trilinear scalar vertices in the Wess–Zumino model come fromWith all field legs incoming, expanding $e^{iS}$ and differentiating each cubic monomial givesThe factor $2!$ counts the two identical legs; there is no $1/2!$ in ${\mathcal{L}}_3$ to cancel it. A factor enforcing four-momentum conservation is implicit. These labels specify fields in an all-incoming Feynman rule; physical outgoing particles are assigned by crossing. There are no ${\varphi }^3$ or $({\varphi }^{\ast }{)}^3$ scalar vertices from this on-shell potential.

Equivalently, if $m,g$ are real and $\varphi =(A+iB)/\sqrt{2}$ with canonically normalized real scalars $A,B$, then ${\mathcal{L}}_3=-mgA(A^2+B^2)/\sqrt{2}$. Differentiation gives $\boxed{V_{AAA}=-3\sqrt{2}img,V_{ABB}=-\sqrt{2}img}$, with vanishing $AAB$ and $BBB$ vertices. This is the same pair of complex-field interactions in a real basis.

For the non-renormalization argument, promote $m,g$ to nondynamical chiral spurions. Define one ordinary $U(1)$ and one R-symmetry by the Wess–Zumino spurion charge assignment:

Each superpotential term is neutral under the ordinary symmetry. Under the R-symmetry, both terms have charge two, which is canceled by the charge $-2$ of $d^2\theta$. In particular, $m$ is R-neutral as required. The scalar, spinor and auxiliary components of $\Phi$ have R-charges $1,0,-1$. These are formal symmetries when the couplings transform as spurions; replacing them by fixed nonzero numbers need not leave an actual continuous field symmetry.

A local loop-corrected Wilsonian effective action superpotential $F_{\mathrm{eff}}(\Phi ,m,g)$ must be holomorphic in all three chiral variables and obey the same charges. The ratio $z=g\Phi /m$ is neutral under both symmetries, while $m{\Phi }^2$ has the required charges and mass dimension three. Therefore, on a patch with $m\ne 0$, the most general symmetry-allowed form iswith $h$ holomorphic on its domain. This form follows directly for a monomial ${\Phi }^a{m}^b{g}^c$: ordinary charge gives $a-2b-3c=0$ and R-charge gives $a-c=2$, hence $a=c+2$, $b=1-c$. Each allowed monomial is $g^c{m}^{1-c}{\Phi }^{c+2}$ and already has mass dimension three. Charge symmetry alone leaves $h$ undetermined.

To constrain perturbative loops, retain the original elementary chiral superfield and a nonzero infrared cutoff, rather than integrating out the entire field. A regular perturbative superpotential can be expanded about $g=0$, so $h(z)={\sum }_{n\ge 0}{c}_n{z}^n$ andTerms with $n\ge 2$ have poles at $m=0$. They are excluded by regularity of the local Wilsonian coefficients in the massless limit with the infrared cutoff fixed. At $g=0$ the theory is Gaussian, so the quadratic coefficient remains $c_0=1/2$. The term linear in $g$ is the single original cubic vertex: a diagram with three external fields and only that one interaction vertex has no internal loop. Holomorphy disallows coefficients involving $g^{\ast }$ or $m^{\ast }$, so it cannot conceal the usual nonholomorphic wave-function corrections in $c_1$. Matching the one-vertex term gives $c_1=1/3$. Thus the holomorphy argument for superpotential non-renormalization givesThe infrared qualification matters: a singular one-particle-irreducible expression or the action after eliminating an entire massive multiplet is not the same local Wilsonian effective action for the retained field.

Consequently the holomorphic superpotential and its parameters m and g receive no perturbative vertex renormalization. The Kähler potential does undergo wave-function renormalization. If its quadratic term is $Z{\Phi }^{†}\Phi$, then canonical normalization gives ${\Phi }_c=Z^{1/2}\Phi$ andThese canonically normalized running couplings can therefore be renormalized despite the non-renormalization theorem for the holomorphic superpotential. Loop corrections can also change the effective scalar potential through the corrected Kähler metric. The distinction between holomorphic coefficients and canonically normalized couplings is essential to answering the renormalization question.

Chirality and the component expansion. A chiral superfield is constrained byUse left Grassmann derivatives. The sign from differentiating an odd factor matters:For a general superfield written in coordinates $(y,\theta ,\bar{\theta })$, the odd chain rule consequently turns the given superspace covariant derivative intoThe chirality constraint removes the explicit $\bar{\theta }$ dependence at fixed $y$. There are only two components of $\theta$, and their Grassmann algebra allows at most a quadratic monomial. Its finite chiral-superfield component expansion is thereforeHere $\phi$ is a complex scalar field, $\psi$ a Weyl spinor, and $F_{\mathrm{aux}}$ a complex auxiliary field; the last label avoids confusing it with the effective superpotential later. The factor $\sqrt{2}$ is the standard canonical component normalization. In ordinary coordinates the same statement isThis translation exponential terminates because its shift is nilpotent; it displays the full component dependence without an unstated convention for the barred spinor square.

A superspace covariant derivative obeys the graded product rule. Since an ordinary scalar chiral superfield is even, $\bar{D}({\Phi }^n)=n{\Phi }^{n-1}\bar{D}\Phi =0$. Linear combinations prove the polynomial claim. More generally, a nonsingular holomorphic function of chiral fields is chiral; inserting conjugate fields generally spoils this holomorphic closure of chiral superfields.

The superspace action. For a real Kähler potential and a holomorphic superpotential, the global chiral-field action has Lagrangian densityFull superspace integration gives a D-term, and chiral superspace integration an F-term. The action is real, and its supersymmetry variations are spacetime total derivatives. For one field, positive $K_{\phi \bar{\phi }}$ and algebraic elimination give $V=K^{\phi \bar{\phi }}|W_{\phi }{|}^2$. The Wess–Zumino model uses the canonical choice $K={\Phi }^{†}\Phi$ at tree level.

Scalar potential and the vertex. In canonical normalization, the auxiliary part of the Lagrangian density isSubstitution leaves ${\mathcal{L}}_{\mathrm{aux}}=-|W_{\phi }{|}^2$. Differentiating the given quadratic-plus-cubic superpotential therefore gives the tree-level effective potentialThis applies for complex $m,g$. In terms of canonically normalized real fields $\phi =(A+iB)/\sqrt{2}$, phases may be chosen to make $m,g$ real, in which caseThe complex-field quartic interaction is ${\mathcal{L}}_{\mathrm{int}}=-|g{|}^2{\phi }^{\ast 2}{\phi }^2$. There are two identical external legs of each field type. Differentiating with respect to those four fields, or counting the Wick attachments to the vertex, produces the factor $2!2!$:The local Feynman diagram for this quartic complex-scalar vertex in the Wess–Zumino model is

If real-field Feynman rules are preferred, the $AAAA$ and $BBBB$ vertices are $-6i|g{|}^2$, while the $AABB$ vertex is $-2i|g{|}^2$. These are the same interaction in a different component basis. They should not be confused with a convention that absorbs $2!2!$ into the coefficient of the complex quartic term.

Spurion symmetries. Treat $m,g$ as chiral spurions. An ordinary $U(1)$ acts on $\Phi ,m,g$ with charges $(1,-2,-3)$ and leaves $\theta$ neutral. An R-symmetry gives $\theta$ charge one and $\Phi ,m,g$ charges $(1,0,-1)$. Thus

Each superpotential term has ordinary charge zero and R-charge two; the chiral integration measure has R-charge minus two. In particular $m$ is neutral under the specified R-symmetry. These are formal transformations of fields and parameters together, not two exact symmetries of a theory with arbitrary fixed nontransforming numerical couplings. This Wess–Zumino spurion charge assignment is useful because it constrains possible quantum terms.

The general holomorphic form. Let $\mathcal{F}(\Phi ,m,g)$ denote the local effective superpotential, reserving $F_{\mathrm{aux}}$ for the auxiliary component. The holomorphy argument for superpotential non-renormalization permits dependence on the chiral spurions, not on their conjugates. The dimensionless combination $z=g\Phi /m$ is neutral under both formal symmetries, whereas $m{\Phi }^2$ has the required dimension and charges. Hence, for $m\ne 0$, their most general allowed form iswith a holomorphic function $f$ before perturbative regularity and matching conditions are imposed. Equivalently, a monomial $m^a{g}^b{\Phi }^c$ must obeySolving gives $a=1-b$, $c=b+2$. Thus the terms in the holomorphic expansion have the form $a_b{g}^b{m}^{1-b}{\Phi }^{b+2}$, which is precisely the expansion of the displayed function.

What is and is not renormalized. Apply the non-renormalization theorem to a local Wilsonian effective action retaining the elementary field and a nonzero infrared cutoff. Perturbative coefficients are regular as $g\to 0$ and $m\to 0$: no massless infrared modes have been integrated all the way to zero momentum. Negative powers of $g$ are incompatible with the free weak-coupling limit, and powers $b\ge 2$ would require negative powers of $m$. Only the quadratic and cubic structures survive this regularity test. Their coefficients cannot acquire a loop correction here: a quadratic term with no $g$ is the free-theory mass term, while a cubic term only linear in $g$ is already the tree interaction. A loop renormalizing that cubic term requires additional interaction insertions. Such a dependence is excluded by the holomorphic charge constraints; dependence on $g^{\ast }$ cannot repair it in a superpotential. Matching to the specified tree action fixesThe $m=0$ limit is taken in the final polynomial, not by evaluating the intermediate ratio $g\Phi /m$. The holomorphic Wilsonian superpotential and its parameters $m,g$ receive no independent perturbative vertex renormalization. Symmetries alone would only give the arbitrary function $f$; regularity and the free/tree matching are necessary to reach the stronger conclusion.