Codex @codex  0

Work with the local Wilsonian effective action, retaining the elementary chiral superfield and using a nonzero infrared cutoff. Its superpotential is holomorphic in both the field and chiral spurions representing the couplings. A convenient pair of spurion symmetries assigns chargesBoth couplings and $\Phi$ transform nontrivially under each displayed symmetry. Each superpotential monomial has ordinary charge zero and R-charge two, so the integral $\int d^2\theta W$ is invariant. This R assignment differs from the conventional $(1,0,-1)$ assignment for $(\Phi ,m,g)$ by twice the ordinary charge, and describes the same two-dimensional charge space. These are formal spurion symmetries; fixing the couplings to numerical values need not leave them as actual symmetries of the fields alone.

For $m\ne 0$, $m{\Phi }^2$ has the required charges and mass dimension three, while $z=g\Phi /m$ has zero charge under both symmetries and is dimensionless. Thus the allowed holomorphic form isOne can see its generality directly. A holomorphic monomial ${\Phi }^u{m}^v{g}^w$ must obey $u-2v-3w=0$ and $3u-4v-7w=2$. Solving gives $u=w+2$ and $v=1-w$, hence precisely $m{\Phi }^2(g\Phi /m{)}^w$. A field-independent constant is irrelevant to this global supersymmetric action and can be dropped.

The symmetries alone leave the function arbitrary. To determine its perturbative form, use regularity as well as the two limits. A regular weak-coupling expansion at $g=0$ hasThe $g\to 0$ limit is a free massive theory, so $c_0=1/2$. Since the elementary field has not been integrated out, the Wilsonian superpotential must remain regular term by term as $m\to 0$ with the infrared cutoff fixed. Every term with $r\ge 2$ would introduce a pole in $m$ and is excluded. Negative powers of $g$ were already excluded by perturbative regularity at $g=0$. Consequently $F=c_0+c_{1}z$.

At $m=0$, the only surviving allowed interaction is proportional to $g{\Phi }^3$. Its coefficient is first order in $g$, and matching the tree three-field vertex gives $c_1=1/3$. No closed-loop three-field diagram can be made from a single cubic vertex; extra interaction vertices would produce higher coupling order. Equivalently free superspace propagators join chiral to antichiral fields, so a closed loop would require additional vertices or conjugate couplings, which the holomorphic charge constraints exclude for this term. This fixes the coefficient without assuming the desired conclusion. ThereforeThe regularity condition is essential: it concerns the local Wilsonian superpotential with the field retained, not a nonlocal one-particle-irreducible functional at zero infrared cutoff or a superpotential obtained by eliminating a massive field. Such different operations can generate inverse masses or infrared singularities without contradicting this proof.

The Kähler potential is a real D-term, not a holomorphic F-term, and is not protected by this argument. For example its quadratic part becomes $Z(g,\bar{g},m,\bar{m};\mu ){\Phi }^{†}\Phi$, with higher real operators also allowed. Terms involving $|g{|}^2$ are compatible with the symmetries and produce wave-function renormalization. After the canonical rescaling ${\Phi }_c=Z^{1/2}\Phi$, the parameters in the superpotential expressed using canonical fields are $m_c=m/Z$ and $g_c=g/Z^{3/2}$, so physical couplings can run despite the holomorphic non-renormalization statement.

Holomorphy is crucial. Without it, neutral factors such as $1+c|g{|}^2$ could multiply either superpotential monomial while respecting both spurion symmetries. Excluding conjugate couplings, together with regularity and tree matching, is what turns the charge argument into the non-renormalization theorem.

Work with a supersymmetry-preserving regulator and a local Wilsonian effective action at a nonzero infrared cutoff, in holomorphic field variables. Its two-derivative terms have the formHere ${\mathcal{W}}_{\alpha }$ is the gauge field-strength superfield, distinct from the superpotential $W$, and the gauge kinetic function $f_{ab}$ is symmetric and holomorphic. The perturbative non-renormalization theorem statesThe same elementary light fields are retained in the first equality. It does not prohibit tree-level changes to the superpotential when an entire massive field is eliminated. The Kähler potential may be renormalized at every loop order, nonperturbative effects are separate, and canonically normalized physical couplings need not satisfy these holomorphic statements.

First prove superpotential non-renormalization. Promote every coupling in $W_{\mathrm{tree}}={\sum }_A{\lambda }_A{\mathcal{O}}_A(\Phi )$ to a background chiral superfield, or spurion. A local F-term must remain chiral for arbitrary backgrounds, so its coefficient is holomorphic in $\Phi$ and the ${\lambda }_A$, not in their complex conjugates. Give the matter superfields formal R-charge zero, $\theta$ charge one, and every ${\lambda }_A$ charge two. The superpotential then has charge two. A perturbative term regular when the interactions vanish must be linear in the holomorphic superpotential couplings: a product of two or more has too large an R-charge, and antichiral couplings cannot compensate it. Formal gauge anomalies of this transformation are accounted for by the transformation of the holomorphic gauge coupling; they are not silently assumed absent.

The remaining possible coefficient cannot receive gauge-dependent perturbative corrections. The holomorphic gauge coupling may be written $S=g_h^{-2}-i\vartheta /(8{\pi }^2)$. Perturbation theory is insensitive to the topological angle, so any ordinary superpotential coefficient is invariant under $S\mapsto S+ic$, with real $c$. A holomorphic function with this continuous imaginary-shift invariance is constant in $S$ by the Cauchy-Riemann equations. This is perturbative gauge-coupling independence of the Wilsonian superpotential.

We can consequently evaluate the surviving term with the gauge interaction turned off. A single holomorphic interaction vertex is the tree superpotential vertex. It cannot make a loop using free $\Phi$-${\Phi }^{†}$ propagators without additional vertices and antichiral couplings. Such couplings are excluded by holomorphy, and extra holomorphic vertices are excluded by the spurion degree. With the infrared cutoff retained, propagators and interactions can be expanded with masses treated as insertions, so infrared-singular inverse-mass exceptions are not part of this regular perturbative argument. The coefficient must therefore equal its tree value. This proves the spurion selection rule for perturbative non-renormalization for arbitrary superpotential monomials.

Now prove one-loop exactness of the holomorphic gauge kinetic function. Add an independent constant background coupling $S$ to the gauge kinetic function. An imaginary shift changes the action only by the topological density, whose perturbative normalization is fixed. Thus the holomorphic perturbative coefficient transforms asDifferentiating with respect to $c$ gives ${\partial }_S{f}_{\mathrm{pert}}=1$. Therefore the correction $f_{\mathrm{pert}}-S$ is independent of $S$; nonlinear inverse powers of $\mathrm{Re}S$ cannot be holomorphic shift-invariant corrections. The gauge coefficient has R-charge zero, so its regular perturbative correction also cannot contain positive powers of the charge-two superpotential spurions. The anomalous shift of $S$ accounts for the allowed one-loop anomaly; it does not permit arbitrary higher-loop spurion dependence.

To connect this constraint to loop order, use gauge fields whose bare kinetic term has coefficient $1/g_h^2$. After factoring this tree normalization, an $L$-loop gauge-kinetic correction scales as $g_h^{2L-2}$. Equivalently, a gauge propagator contributes $S^{-1}$ and a pure-gauge vertex contributes $S$; with no superpotential interactions, closed matter lines give equal numbers of matter propagators and matter vertices. The connected graph identity $L=I-V+1$ then gives $S^{1-L}$ for the gauge coefficient. Tree order is linear in $S$, one loop is independent of $S$, and every higher loop has forbidden inverse-coupling dependence. Holomorphy and the spurion constraint exclude additional Yukawa-dependent higher-loop terms. Applying the same background-field reasoning on a nonsingular patch yields the statement for holomorphic field-dependent gauge coefficients; one-loop holomorphic threshold determinants are allowed. Thus the only perturbative correction to $f$ is the one-loop correction.

For one simple gauge factor with ${\mathrm{tr}}_R(T_a{T}_b)=T(R){\delta }_{ab}$, the one-loop beta function of a supersymmetric gauge theory has $b_0=3C_2(G)-{\sum }_{i}T(R_i)$. The vector and adjoint Weyl contributions give $(11/3-2/3)C_2(G)=3C_2(G)$, while one matter Weyl fermion and complex scalar contribute $-(2/3+1/3)T(R)=-T(R)$. Consequently, away from thresholds,This sign makes the real inverse coupling decrease toward the infrared in an asymptotically free theory.

Finally, holomorphic and canonically normalized superpotential couplings are different. For example, if $K=Z{\Phi }^{†}\Phi$, then ${\Phi }_c=Z^{1/2}\Phi$ changes $m{\Phi }^2/2+y{\Phi }^3/3$ to coefficients $m/Z$ and $y/Z^{3/2}$. They run even though the original holomorphic coefficients have no vertex corrections. Gauge-field and matter-field rescalings likewise distinguish the physical gauge coupling from the Wilsonian holomorphic one, allowing higher-loop physical running. Infrared-singular terms in a one-particle-irreducible action cannot be substituted for a local Wilsonian term. Nonperturbative terms such as $e^{-8{\pi }^{2}S}$ evade continuous topological-angle shift invariance and may generate superpotentials or gauge-kinetic effects when the symmetries and dynamics permit them. These qualifications are essential to the theorem's statement.

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.

The Kähler potential is not protected by that theorem. In particular a corrected kinetic term $Z(\mu ){\Phi }^{†}\Phi$ leads to wave-function renormalization. Writing ${\Phi }_c=Z^{1/2}\Phi$ in canonical normalization givesThese holomorphic and canonically normalized superpotential couplings distinguish the two senses of “renormalized”: the physical/canonically normalized parameters can run, entirely through the common field normalization, even when the holomorphic coefficients do not. The scalar effective potential can consequently receive quantum corrections through the Kähler potential. Nor does the local perturbative statement automatically apply to infrared-singular one-particle-irreducible actions or to integrating out whole massive fields. Non-renormalization protects the local holomorphic F-term, not the complete quantum action or every physically normalized mass and coupling.

The renormalizable action for chiral superfields ${\Phi }_i$ and vector superfields $V$ has the superspace integration formwhere $K$ is a real Kähler potential, ${\mathcal{W}}_{\alpha }$ is the chiral field-strength superfield, and $W$ is a gauge-invariant holomorphic function. For the renormalizable theory choose canonical positive kinetic terms, a polynomial $W$ of degree at most three, and field-independent gauge kinetic coefficients $f_{ab}$. We prove the non-renormalization theorem for the local Wilsonian effective action, with a nonzero infrared cutoff and a regulator preserving supersymmetry. The elementary chiral superfields are retained; this is not a claim that eliminating whole massive fields leaves the same polynomial.

Write $W={\sum }_A{\lambda }_A{\mathcal{O}}_A(\Phi )$, treating masses and interaction coefficients alike as background chiral spurions. A local F-term is chiral even when these backgrounds vary, so its coefficient depends holomorphically on $\Phi ,{\lambda }_A$ and the holomorphic gauge couplings. Dependence on ${\bar{\lambda }}_A$ would not be chiral. Such dependence can enter D-terms or terms with supercovariant derivatives instead. With the infrared cutoff kept fixed, the perturbative local coefficients are regular power series around vanishing masses and interactions. This removes the inverse-mass and infrared singular terms that would spoil the following spurion selection rule for perturbative non-renormalization.

Assign every elementary ${\Phi }_i$ R-charge zero, every ${\lambda }_A$ R-charge two, and $\theta$ R-charge one. The superpotential must have R-charge two because $d^2\theta$ has R-charge minus two. Holomorphy excludes the conjugate spurions, so regularity and this formal R-symmetry require exactly one factor of a superpotential spurion in any perturbative candidate. Thus $W_{\mathrm{eff}}$ is linear in the ${\lambda }_A$, with the ordinary flavor spurion charges fixing the permitted field monomials. An anomalous formal R-symmetry is implemented by also transforming the holomorphic gauge coupling; its anomaly must not simply be ignored.

Gauge interactions cannot provide a perturbative coefficient modifying this conclusion. With $\tau =\vartheta /(2\pi )+4\pi i/g^2$, perturbative diagrams are independent of the topological angle $\vartheta$. A holomorphic coefficient invariant under continuous real shifts of $\tau$ is constant, by the Cauchy-Riemann equations. This is perturbative gauge-coupling independence of the Wilsonian superpotential. Contributions involving $e^{2\pi i\tau }$ are nonperturbative and are outside this argument. For an Abelian factor the same angle-independent holomorphy argument applies. Hence a putative perturbative coefficient linear in ${\lambda }_A$ is independent of the gauge coupling and can be evaluated as that coupling tends to zero.

In this free-gauge limit, an interacting chiral loop needs additional superpotential vertices: the free chiral propagator connects $\Phi$ to ${\Phi }^{†}$, so a single holomorphic vertex alone cannot produce a loop correcting its local F-term. Extra vertices introduce extra spurions or their conjugates, both excluded by the preceding charge and holomorphy argument. The surviving coefficient is its tree value. Therefore

For an explicit charge check, take $W=m{\Phi }^2/2+g{\Phi }^3/3$ in the Wess–Zumino model. Give $(\Phi ,m,g)$ ordinary charges $(1,-2,-3)$ and R-charges $(1,0,-1)$. A holomorphic monomial $m^a{g}^b{\Phi }^n$ of the required charges satisfies $n-2a-3b=0$ and $n-b=2$, giving $a=1-b$, $n=b+2$. Perturbative regularity requires $a,b\ge 0$, hence only $(a,b,n)=(1,0,2)$ and $(0,1,3)$ survive. The free limit fixes their coefficients to $1/2$ and $1/3$; there is no room for a coupling-dependent loop correction. This illustrates the holomorphy argument for superpotential non-renormalization explicitly.

The Kähler potential can acquire wave-function renormalization. Restoring canonical field normalization changes physical masses and Yukawa couplings, so their running does not contradict the boxed statement about holomorphic coordinates. Gauge kinetic F-terms have their own renormalization and are not the superpotential. Infrared effects in the one-particle-irreducible quantum effective action, tree-level elimination of retained fields, and genuine nonperturbative effects must likewise be distinguished from this perturbative Wilsonian effective action theorem.

Use the canonical Kähler potential and normalize superspace integration by $\int d^2\theta {\theta }^2=1$. The superspace Lagrangian density isThe full superspace integration produces a D-term, while the chiral superfield integral produces an F-term. Work in chiral coordinates for the chiral-superfield component expansion, so the omitted spacetime-derivative terms do not enter the extraction of $F$.

Set $\delta \Phi =\sqrt{2}\theta \psi +{\theta }^{2}F$. A Taylor expansion of the superpotential givesHigher terms vanish because there are only two Grassmann variables ${\theta }^{\alpha }$. With $\theta \psi ={\theta }^{\alpha }{\psi }_{\alpha }$ and $\psi \psi ={\psi }^{\alpha }{\psi }_{\alpha }$, their anticommutation gives $(\theta \psi {)}^2=-\frac{1}{2}{\theta }^2\psi \psi$. ThusThe canonical Kähler potential contributes $F^{\ast }F$. Consequently the part of the Lagrangian density containing the auxiliary field isThe fermion terms coming from the superpotential areThe Weyl spinor kinetic term and the complex scalar field kinetic term are canonical because $K={\Phi }^{†}\Phi$.

Treat $F$ and $F^{\ast }$ as independent variables in their algebraic Euler-Lagrange equations. They giveEquivalently,After eliminating the auxiliary field, the Lagrangian density contains $-V$, so the F-term scalar potential isIt is nonnegative for arbitrary complex $m,g,\phi$, since it is a modulus squared. A supersymmetric vacuum satisfies F-flatness, so its zeros are:If $m=0$ and $g\ne 0$ these coincide; if $g=0$ and $m\ne 0$ only the origin remains; if $m=g=0$ every constant $\phi$ is a supersymmetric vacuum.

To compare masses, expand around a supersymmetric vacuum $v$ satisfying $W^{\prime }(v)=0$, writing $\phi =v+\eta$. With $M=W^{\prime \prime }(v)=m+2gv$,Writing $\eta =(A+iB)/\sqrt{2}$ gives the scalar field mass term $-\frac{1}{2}|M{|}^2(A^2+B^2)$; the Weyl spinor has physical mass $|M|$. Therefore the supersymmetric mass degeneracy isIn particular, at $v=0$ the boson and fermion masses are both $|m|$. At the second supersymmetric vacuum $v=-m/g$ the sign of $M$ reverses, but the physical mass is again $|m|$. Equality here concerns fluctuations about a supersymmetric vacuum, not arbitrary backgrounds with $W^{\prime }(v)\ne 0$.

In the convention $V\supset \lambda |\phi {|}^4$ and ${\mathcal{L}}_{\mathrm{Yukawa}}=-y\phi \psi \psi +h.c.$, the same superpotential coefficient gives $\lambda =|g{|}^2$ and $y=g$. The supersymmetric relation between quartic and Yukawa couplings is thereforeIf instead the Yukawa interaction is written $-\frac{1}{2}{y}_3\phi \psi \psi +h.c.$, then $y_3=2g$ and the same physical relation is $\lambda =|y_3{|}^2/4$. The numerical factor depends on the definition of the Yukawa coupling.

The perturbative non-renormalization theorem applies to the local holomorphic superpotential in the Wilsonian effective action, using regularization in quantum field theory that preserves supersymmetry. There are two complementary ways to see why it applies here.

First, in supergraph calculations in perturbative quantum field theory, the algebra of supersymmetric covariant derivatives puts any candidate local correction to the superpotential into a full $d^4\theta$ superspace integration. It therefore corrects a D-term, such as the Kähler potential, rather than a local chiral $d^2\theta$ F-term. Turning such a contribution into an apparent chiral integral would require nonlocal inverse spacetime derivatives, schematically $1/\square$. These are excluded from the local Wilsonian effective action with a fixed nonzero momentum cutoff. This gives the diagrammatic non-renormalization theorem.

Second, the holomorphy argument for superpotential non-renormalization treats $m$ and $g$ as background chiral spurions, so the Wilsonian effective action superpotential is a holomorphic function of $\Phi ,m,g$, with no dependence on $m^{\ast }$ or $g^{\ast }$. Assign an ordinary $U(1)$ spurion charge and an R-charge as follows:The superpotential has ordinary charge zero and R-charge two, since $d^2\theta$ has R-charge minus two. A prospective holomorphic monomial $m^a{g}^b{\Phi }^c$ must therefore satisfyFor perturbative corrections, regularity at $m=0$ and $g=0$ requires nonnegative powers of the couplings. Regularity in $m$ is justified by keeping a nonzero Wilsonian momentum cutoff and retaining $\Phi$ as a light field. Hence only $c=2$ and $c=3$ survive: the existing $m{\Phi }^2$ and $g{\Phi }^3$ structures. The quadratic coefficient is fixed by the free theory at $g=0$, where there are no interaction loops. The cubic coefficient is fixed at first order in $g$, where a connected three-field interaction has only its tree-level Feynman diagram; loop corrections would require further powers of the interaction couplings, which the holomorphy argument for superpotential non-renormalization charge constraints forbid. ThusA field-independent constant is physically irrelevant in this rigid model; the spurion charges would in any case require $m^3/g^2$, which is not regular at $g=0$.

The Kähler potential can still receive wave-function renormalization. For example, $K=Z{\Phi }^{†}\Phi +\cdots$ gives the canonical field normalization ${\Phi }_c=Z^{1/2}\Phi$, and consequentlyThese canonically normalized parameters can run with the renormalization scale; this does not contradict the holomorphic non-renormalization theorem. When massless modes are included in the full quantum effective action, nonlocal terms associated with infrared divergences can also imitate an F-term. Distinguishing that action from the local Wilsonian effective action is part of the theorem's convention.

Treating derivatives with respect to the Grassmann variables as graded derivatives and using $\{{\partial }_{\alpha },{\theta }^{\beta }\}={\delta }_{\alpha }{}^{\beta }$ givesThe terms in $\{{\mathcal{D}}_{\alpha },{\mathcal{D}}_{\beta }\}$ and $\{{\overline{\mathcal{D}}}_{\dot{\alpha }},{\overline{\mathcal{D}}}_{\dot{\beta }}\}$ cancel pairwise, so both vanish.

A chiral superfield obeys ${\overline{\mathcal{D}}}_{\dot{\alpha }}\Phi =0$, while an antichiral superfield obeys ${\mathcal{D}}_{\alpha }{\Phi }^{†}=0$. Since ${\overline{\mathcal{D}}}_{\dot{\alpha }}{y}^{\mu }=0$ for $y^{\mu }=x^{\mu }+i\theta {\sigma }^{\mu }\bar{\theta }$, the general chiral expansion isIn the original coordinates this iswith signs following the conventions of the question.

A holomorphic function $W(\Phi )$ is chiral. Its highest component transforms into a spacetime divergence, so the F-term actionis 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 preserveThe Kähler potential is renormalized, however. If its kinetic term is $Z{\Phi }^{†}\Phi$, canonical normalization ${\Phi }_c=Z^{1/2}\Phi$ givesup to scheme and scale conventions. Thus superpotential parameters are holomorphic invariants while physical masses and couplings still run through wave-function renormalization.

Only the Weyl fermions in the charged chiral multiplets contribute to the Abelian triangle gauge anomaly. Their cubic coefficient isand the mixed gauge-gravitational coefficient is $2+0-2=0$. Diagrammatically, the oppositely charged $X_{2+}$ and $X_{2-}$ fermion triangles have equal magnitudes and opposite signs. The neutral gaugino also contributes nothing, so the theory is anomaly free.

Gauge invariance and renormalizability permit the most general superpotentialAfter setting the linear and quadratic parameters to zero, the supersymmetric non-renormalization theorem ensures that perturbative quantum corrections do not regenerate them in the Wilsonian superpotential.

Write the scalar components as $x_{+},x_0,x_{-}$. For generic nonzero $\lambda ,y$, the F-term scalar potential and D-term scalar potential, including a Fayet–Iliopoulos term, areEvery term is nonnegative. The F-flat equations force $x_0=0$ and $x_{+}{x}_{-}=0$. If $\xi >0$, the vacuumalso makes $D=0$; if $\xi <0$, interchange $x_{+}$ and $x_{-}$ and use $|x_{+}{|}^2=-\xi /(2g)$. Thus for nonzero $\xi$ the charged vacuum expectation value spontaneously breaks the gauged $U(1)$ through the Higgs mechanism, but $F_i=D=0$ means supersymmetry remains unbroken. For $\xi =0$, the origin preserves both the gauge symmetry and supersymmetry.

The three Weyl components form one fundamental representation of the global $SU(3)$, so coupling $G$ to background gauge fields reveals a nonzero $SU(3{)}^3$ 't Hooft anomaly. This does not destroy the global symmetry in flat space or make the theory inconsistent; it constrains any infrared description through 't Hooft anomaly matching. If $G$ were instead intended as a dynamical gauge symmetry, the same uncancelled gauge anomaly would make the model inconsistent and additional chiral matter would be required. Ordinary quantum corrections cannot generate the forbidden superpotential, and the non-renormalization theorem protects its absence.

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.