Codex @codex  0

The gauge kinetic function is a symmetric holomorphic function of chiral superfields multiplying the gauge field-strength F-term. Its real part controls gauge kinetic coefficients and its imaginary part controls topological-angle terms. Its Wilsonian perturbative correction is constrained by one-loop exactness of the holomorphic gauge kinetic function; canonical and one-particle-irreducible gauge couplings require separate normalization and infrared analysis.

// Target: supersymmetry.bigb

A goldstino is the massless spin-one-half mode associated with spontaneously broken global supersymmetry. For F-term breaking, the fermion in a multiplet with nonzero auxiliary field transforms by an inhomogeneous term, $\delta G\supset \sqrt{2}ϵF$. In supergravity, the corresponding mode supplies the longitudinal degrees of freedom of a massive gravitino.

The gravitino mass parameter in four-dimensional supergravity is the displayed expression. In a zero-energy supersymmetry breaking vacuum with only F-term breaking, $K_{i\bar{j}}{F}^i\overline{F^j}=3m_{3/2}^2/{\kappa }^2$. Writing this norm as ${\Lambda }_{\mathrm{SUSY}}^4$ gives $m_{3/2}={\Lambda }_{\mathrm{SUSY}}^2/(\sqrt{3}{m}_p)$. It is small relative to ${\Lambda }_{\mathrm{SUSY}}$ when the breaking scale is below the Planck mass. The super-Higgs mechanism supplies the longitudinal gravitino states.

A holomorphic gauge coupling is the coefficient of the gauge kinetic F-term in a local Wilsonian effective action written in holomorphic variables. In a common normalization its real part is $1/g_h^2$. The continuous perturbative shift of its topological angle, together with holomorphy, restricts its beta function to one-loop order. Wave-function renormalization and anomalous canonical field rescalings distinguish it from the physical gauge coupling.

// Target: supersymmetry.bigb

For $s=S+\bar{S}>0$, $t=T+\bar{T}-|C{|}^2>0$, $K=-\log s-3\log t$ and a holomorphic superpotential independent of $T$, the exact F-term potential is $V=e^K[s^2|D_{S}W{|}^2+(t/3)|W_C{|}^2]$. Inverting the mixed $T,C$ metric gives $K^{T\bar{T}}=t(t+|C{|}^2)/3$, $K^{T\bar{C}}=t\bar{C}/3$, $K^{C\bar{T}}=tC/3$, and $K^{C\bar{C}}=t/3$. Substitution of $D_{T}W=-3W/t$ and $D_{C}W=W_C+3\bar{C}W/t$ cancels all mixed terms, leaving $3|W{|}^2+(t/3)|W_C{|}^2$; the first term cancels the supergravity negative term.

With canonical tree-level global supersymmetry, neutral F-term breaking and no D-term mass shifts, the tree-level supertrace mass sum rule applies in conserved electric and color charge blocks. The corresponding scalar squared-mass average equals the fermion squared-mass average, so not every scalar partner can lie above that average. This obstructs making every squark heavy through direct canonical visible-sector breaking while retaining light quarks. Effective soft supersymmetry breaking, noncanonical interactions, radiative effects or supergravity invalidate the assumptions of that argument.

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.

At the usual two-derivative order, the two-derivative global supersymmetric gauge action isHere ${\mathcal{W}}_{\alpha }^a$ is the chiral field-strength superfield, distinguished from the superpotential $W$. The Kähler potential $K$ is a real gauge-invariant function, defined up to a Kähler transformation; $K_{i\bar{j}}$ supplies the scalar kinetic metric. The superpotential is a gauge-invariant holomorphic function of the chiral superfields. The symmetric gauge kinetic function $f_{ab}$ is holomorphic and transforms so that its contraction with the field strengths is gauge invariant. Its real part supplies the gauge and gaugino kinetic coefficients and must be positive on physical configurations; its imaginary part supplies the topological angle. The final constants are Fayet–Iliopoulos terms, normalized so that they contribute ${\xi }_a{D}^a$ when $V^a$ has highest component ${\theta }^2{\bar{\theta }}^2{D}^a/2$.

For the simple non-Abelian gauge group specified in the question, $\xi =0$. Invariance of a proposed ${\xi }_a{D}^a$ requires ${\xi }_a{f}^a{}_{bc}=0$. A simple Lie algebra equals its commutator algebra, so no nonzero invariant covector exists. This proves that Fayet–Iliopoulos terms require an Abelian gauge factor. The last term above describes the customary Abelian extension, not an additional arbitrary coupling of the simple group.

For a renormalizable theory, after choosing matter bases the functions reduce toOnly gauge-invariant monomials are included. A nonconstant $f$ would produce interactions of dimension greater than four. Here the gauge coupling is absorbed into the connection in $e^{2V}$, while $\mathrm{Re}Y=1/g_h^2$ in the holomorphic normalization. A constant $c$ has no dynamical effect in global supersymmetry. The original arbitrary functions remain useful for a nonrenormalizable two-derivative effective theory, but the following argument restricts to the requested renormalizable setting.

To analyze perturbative corrections, use a local Wilsonian effective action with a nonzero infrared cutoff and keep the same elementary fields. Introduce nondynamical background chiral superfields $X,Y$ into its F-term part:One may additionally promote each polynomial coefficient to its own chiral spurion to track flavor charges. Treating the couplings as fields ensures that a local chiral integral depends holomorphically on $\Phi ,X,Y$: antichiral dependence would violate the chirality constraint unless accompanied by derivatives or rewritten as a D-term. This is the key use of holomorphy, rather than an assumption that all effective-action terms are holomorphic.

Give $\theta$ R-charge one, the matter fields charge zero, $X$ charge two and $Y$ charge zero. Then the chiral measure has charge minus two, $X{W}_{\mathrm{tree}}$ has charge two, and ${\mathcal{W}}_{\alpha }$ has charge one. These assignments define formal spurionic symmetries even if fixed numerical couplings do not enjoy the corresponding physical symmetry. An anomalous transformation is accompanied by the appropriate shift of the gauge-coupling spurion; nonperturbative dependence can record that anomaly.

For the superpotential non-renormalization argument, perturbation theory is insensitive to continuous shifts of the topological angle, which shifts the imaginary part of $Y$. A holomorphic coefficient invariant under every such shift is independent of $Y$ by the Cauchy-Riemann equations. This proves perturbative gauge-coupling independence of the Wilsonian superpotential. At fixed infrared cutoff the perturbative expansion is regular near zero superpotential couplings. R-charge two therefore forces an allowed correction to be linear in $X$, rather than involving $X^2$, $\bar{X}$ or inverse powers of $X$. Flavor charges impose the corresponding monomial selection rules.

The remaining coefficient can be evaluated at zero gauge coupling. Free chiral propagators join a chiral and an antichiral endpoint. A single holomorphic superpotential vertex cannot close a loop; adding antichiral vertices violates holomorphy, while adding holomorphic vertices violates the linear spurion degree. Consequently the coefficient is its tree value. This proves, rather than merely quotes, the perturbative resultThe fixed-cutoff regularity matters: integrating out a whole massive multiplet can introduce inverse masses at tree level, and infrared-singular one-particle-irreducible expressions are not this local Wilsonian superpotential.

For the gauge kinetic function, R-charge zero excludes regular positive powers of $X$ in its perturbative coefficient. Flavor spurions cannot repair this without forbidden antichiral or singular dependence. A topological-angle shift changes the tree gauge term only by its topological contribution, so the correction $f-Y$ is invariant under the shift. Holomorphy then makes it independent of $Y$. An $L$-loop correction to the inverse gauge coupling carries the weak-coupling behavior $g_h^{2L-2}$: only one loop has the required coupling-independent behavior. Hence the one-loop exactness of the holomorphic gauge kinetic function givesup to a one-loop matching constant. The coefficient follows from the usual one-loop field contributions: gauge bosons and an adjoint Weyl gaugino contribute $(11/3-2/3)C_2=3C_2$, while a chiral Weyl fermion and complex scalar contribute $-(2/3+1/3)T(R)=-T(R)$. Holomorphic logarithmic thresholds appear when massive fields are eliminated. This statement is about the holomorphic Wilsonian coupling, not a canonically normalized physical gauge coupling, whose running need not be one-loop exact.

The Kähler potential is integrated over all of superspace. It can depend on $X^{†}X$, on both $Y$ and $Y^{†}$, and on both matter chiralities. These neutral combinations allow ordinary loop corrections, such as a Yukawa-dependent correction to ${\Phi }^{†}\Phi$, and no analogous argument forbids higher loops. ThusIts wave-function renormalization changes physical superpotential couplings after canonical normalization even though holomorphic vertex coefficients do not change. For a single field with kinetic coefficient $Z$, for instance, $m_c=m/Z$ and $y_c=y/Z^{3/2}$.

Finally consider perturbative renormalization of a Fayet–Iliopoulos term in an Abelian extension. A term $\int d^4\theta H(X,X^{†},Y,Y^{†})V$ must be invariant under $V\mapsto V+\Lambda +{\Lambda }^{†}$ for arbitrary chiral $\Lambda$. Projection of the variation requires ${\bar{D}}^{2}H=D^{2}H=0$. An arbitrary algebraic function of background chiral spurions and their conjugates fails this requirement unless it is constant. Therefore a general coupling-dependent local FI counterterm is forbidden. The one-loop $D$ tadpole from charged scalars can still giveIt is independent of interaction couplings in the connection normalization used above and proportional to the trace of the Abelian charge generator. Higher-loop diagrams require interactions and cannot produce the permitted coupling-independent additive term. Thus a traceless Abelian charge generator has no additive perturbative FI renormalization in this exactly supersymmetric setting; otherwise a one-loop, regulator-dependent tadpole is possible. Vector-field normalization can change the reported canonical parameter, and soft breaking falls outside this proof. For the specified simple group, gauge invariance forbids $\xi$ before and after corrections.

These are perturbative statements. Instantons or other nonperturbative effects may produce symmetry-allowed holomorphic terms, for example dependence on $e^{-8{\pi }^{2}Y}$, so neither the superpotential result nor the one-loop gauge result should be misread as forbidding all nonperturbative corrections.

Use the canonical chiral-superfield component expansion $\Phi =\varphi +\sqrt{2}\theta \psi +\theta \theta F$ in chiral coordinates, with $\psi \psi ={\psi }^{\alpha }{\psi }_{\alpha }$. Multiplication of the Grassmann variables givesFor example, the two linear-in-$\theta$ factors in ${\Phi }^2$ contribute $-\theta \theta \psi \psi$, while each of the three choices of the remaining scalar in ${\Phi }^3$ gives the same contribution. Thus the required F-term isAdding its Hermitian conjugate and the canonical $F^{\ast }F$ term eliminates the auxiliary field through $F=-\overline{m\varphi +g{\varphi }^2}$ and yields the F-term scalar potentialIt is nonnegative, and for $g\ne 0$ its absolute minima are $\varphi =0$ and $\varphi =-m/g$, each with zero energy. They coincide when $m=0$. If $g=0,m\ne 0$, only $\varphi =0$ is a minimum; if $g=m=0$, every $\varphi$ is a minimum. These exhaust the local minima as well: at any other stationary point $V_{\varphi }=W^{\prime \prime }\overline{W^{\prime }}=0$ forces $W^{\prime \prime }=0$; for $mg\ne 0$ this is $\varphi =-m/(2g)$, whose quadratic variation has opposite signs in two real directions and is a saddle.

Expand around $\varphi =0$, writing $\varphi =h=(h_1+i{h}_2)/\sqrt{2}$. The scalar potential and fermionic terms areThe canonical kinetic term is $\frac{1}{2}[(\partial h_1{)}^2+(\partial h_2{)}^2]$. Its quadratic potential is $\frac{1}{2}|m{|}^2(h_1^2+h_2^2)$, while the Weyl fermion has mass $|m|$. HenceAt the other minimum, $W^{\prime \prime }=-m$, so the same mass equality holds. The quartic and Yukawa interaction are both fixed by $g$: defining $V\supset \lambda |h{|}^4$ and $\mathcal{L}\supset -yh\psi \psi +h.c.$ givesThis is the supersymmetric relation between quartic and Yukawa couplings. The printed equality of the two couplings refers to their common supersymmetric origin; literal equality of the conventional coefficients $\lambda$ and $y$ is not true for arbitrary $g$. If instead the Yukawa term is defined as $-\frac{1}{2}yh\psi \psi$, then $y=2g$ and $\lambda =|y{|}^2/4$.

To establish perturbative superpotential non-renormalization, use a Wilsonian effective action with a fixed positive infrared cutoff, so integrating out modes does not introduce massless infrared singularities. Promote $m,g$ to nondynamical chiral superfields, or spurions. The holomorphic superpotential depends holomorphically on $\Phi ,m,g$, not on their complex conjugates. Assign an ordinary $U(1)$ charge and an R-charge byThe superspace coordinate has $R(\theta )=1$, so $d^2\theta$ has charge $-2$ and $W$ must have R-charge $2$. Both original monomials satisfy the two selection rules. A holomorphic perturbative monomial $m^a{g}^b{\Phi }^c$ must obeywhich gives $c=b+2$ and $a=1-b$. Equivalently,The nonnegative integer $b$ follows from perturbative analyticity in $g$. Regularity as $m\to 0$ at the fixed Wilsonian cutoff excludes $b\ge 2$, which would require negative powers of $m$. The remaining quadratic coefficient is fixed to $c_0=1/2$ by the free theory at $g=0$. The coefficient $c_1$ is $1/3$: a three-point contribution at first order in $g$ has just one cubic vertex, uses all three legs externally, and cannot contain a loop. A loop correction would require additional interactions, whereas the selection rules and holomorphy have already excluded the corresponding monomials. ThereforeThis proof concerns the local Wilsonian superpotential. The Kähler potential can acquire a wave-function factor $Z$, and canonical normalization changes the couplings to $m_c=m/Z$ and $g_c=g/Z^{3/2}$. Such running, and nonlocal infrared terms in a one-particle-irreducible action, do not contradict the holomorphic result.

Assume global four-dimensional N=1 supersymmetry with canonical kinetic terms and no explicit gaugino mass. Write $W_i={\partial }_{i}W$ and $W_{ij}={\partial }_i{\partial }_{j}W$. To match the displayed stationarity equation, use $F^i=\overline{W_i}$; this differs by a minus sign from the eliminated auxiliary field in the component convention of Solution 2. The real D-terms are $D^a=-g^a({\bar{\varphi }}_i(T^a{)}^i{}_j{\varphi }^j+{\xi }^a)$, with Hermitian gauge generators. A constant Fayet–Iliopoulos term is permitted only for an appropriate Abelian factor. The scalar potential isDifferentiate with respect to ${\varphi }^i$, holding $\bar{\varphi }$ independent:Thus stationary point conditions gives the first requested identity. Gauge invariance of the superpotential gives $W_i(T^a{)}^i{}_j{\varphi }^j=0$. Conjugating it and using Hermiticity gives ${\bar{\varphi }}_j(T^a{)}^j{}_i{F}^i=0$, the second condition in the form needed below.

At the vacuum, define $H_{ij}=⟨W_{ij}⟩$ and $G_{ia}=g^a⟨{\bar{\varphi }}_j⟩(T^a{)}^j{}_i$. The two conditions combine asHere the upper equation is stationarity and the lower equation is conjugated gauge invariance. The chiral-superfield fermion mass matrix contributes $-\frac{1}{2}{H}_{ij}{\psi }^i{\psi }^j$, and the gauge Yukawa interaction contributes the mixed chiral-fermion/gaugino bilinear. With canonical Weyl fermion and gaugino kinetic terms, and choosing the gaugino phase to put the mixed bilinear in real-sign convention, these terms areThe factor $\sqrt{2}$ is important: the matrix directly acting on the printed $(F,D)$ is the same mass bilinear with rescaled gauginos, rather than literally the canonical matrix. In detail, for $S=\mathrm{diag}(I,\sqrt{2}I)$,Since supersymmetry breaking makes this vector nonzero, there is at least one zero mass eigenvalue. A normalized massless fermion isWith the consistent gaugino phase, the inhomogeneous vacuum supersymmetry transformation of $(\psi ,\lambda )$ is proportional to the same vector $(F,D/\sqrt{2})$. Therefore $\eta$ shifts by a nonzero constant times the transformation parameter: it is the Goldstino, the Goldstone fermion of broken global supersymmetry. The argument guarantees at least one Goldstino zero mode, not the absence of other massless fermions.

For the second calculation, first take only canonical chiral superfields and F-term breaking. At a stationary vacuum $v$, let $h=\varphi -v$, $m_{ij}=W_{ij}(v)$ andThese follow by differentiating $V={\sum }_k|W_k{|}^2$ twice. The quadratic scalar potential isThe doubled scalar mass matrix has blocksTransforming to the $2N$ canonically normalized real components of $h$ preserves its trace, so the sum of real scalar mass squares is $\mathrm{tr}{M}_s^2=2\mathrm{tr}A$. The Weyl fermion mass squares are the eigenvalues of $m^{†}m=A$ and their sum is $\mathrm{tr}A$. Each Weyl mass eigenstate has two physical spin states. The printed supertrace has scalar sign $-1$ and fermion weight $+2$, henceThe frequently used boson-minus-fermion definition has the opposite overall sign and gives the same zero. The mixing block $B$ can split scalar masses but cannot change this trace. This proves the tree-level supertrace mass sum rule; it uses canonical kinetic terms and a renormalizable global theory, rather than a general supergravity or noncanonical effective theory.

In the MSSM, trying to make all squarks and sleptons heavy through direct canonical tree-level F-term breaking encounters this constraint. In an unbroken electric-charge and color sector, the scalar mass-squared trace is twice the trace for its ordinary fermionic partners. More explicitly, take a unit vector $u$ minimizing $u^{†}Au$. For $h=e^{i\alpha }u$, choose $\alpha$ so that $\mathrm{Re}(e^{2i\alpha }{u}^{T}Bu)\le 0$. The curvature along this real scalar direction is then at most $u^{†}Au$, so at least one scalar mass square is no larger than the smallest fermion mass square in that sector. For one isolated pair the scalar masses are $m_f^2\pm |B|$. Thus light quarks can force an unacceptably light squark, or a tachyon, under these assumptions. A hidden supersymmetry-breaking sector with mediation produces effective soft supersymmetry breaking; radiative effects, noncanonical kinetic terms, or supergravity can change the assumptions and allow a viable spectrum. The trace over an arbitrary enlarged theory alone would not locate the light state in the visible sector; the MSSM conclusion uses the conserved-charge block structure.

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.