Codex @codex  0

Write $S={\Phi }_0$, $u={\Phi }_{+}$, $v={\Phi }_{-}$, $M=M_p$, $P=uv-\zeta$, $x=|S{|}^2/M^2$ and $q=|u{|}^2+|v{|}^2$. Assume $g\ne 0$ and, initially, $\zeta \ne 0$. The supergravity F-term potential isThe canonical Kähler potential gives the identity Kähler metric. The three Kähler covariant derivatives of a superpotential areSubstituting, including the negative term rather than treating the potential as just a sum of squares, gives the exact answerHere $(1+x{)}^2-3x=1-x+x^2$ explains the first coefficient. It is strictly positive for real $x$, since $1-x+x^2=(x-1/2{)}^2+3/4$. Thus this model's scalar potential is nonnegative everywhere.

In the stated limit $q/M^2\ll 1$, the exponential can be replaced by $e^x[1+O(q/M^2)]$. The other displayed terms retain the effects of the Kähler covariant derivatives of a superpotential. Small waterfall fields alone do not justify discarding $\zeta /M^2$ in those derivatives, or expanding in $x$. If also $|\zeta |/M^2\ll 1$ and $x\ll 1$, the leading result reduces to the global F-term scalar potentialNo gauge sector or gauge coupling is supplied, so there is no specified D-term contribution to add.

The supersymmetric vacuum manifold of a bilinear hybrid superpotential isIndeed $W=0$ and all three Kähler covariant derivatives of a superpotential vanish there, so all supergravity auxiliary fields vanish and supersymmetry is unbroken. The nonnegative scalar potential makes this a global minimum. Conversely zero potential requires $uv=\zeta$, and then $|S{|}^{2}q=0$; for $\zeta \ne 0$ this forces $S=0$. With just the supplied fields this is a complex vacuum manifold before imposing any gauge quotient: the product is fixed but the ratio of $u$ and $v$ is not. More precisely, it is an F-flat vacuum manifold whether or not a gauge symmetry is specified. If one additionally gauges opposite charges, D-flatness typically imposes $|u|=|v|$, giving $|u|=|v|=\sqrt{|\zeta |}$ up to phases and gauge equivalence; that is an extra assumption, not a consequence of $K$ and $W$ alone.

The other familiar branch of F-term hybrid inflation has $u=v=0$. Its nonzero derivative $D_{S}W=-g\zeta (1+x)$ establishes supersymmetry breaking, and its exact scalar potential isThe canonical-Kähler correction to an F-term hybrid valley begins asIn particular the inflaton quadratic mass cancels at this order; the first lift of the global flat valley is quartic in $|S|$.

To identify when this branch is a transverse minimum, rephase the waterfall fields so that $\zeta$ is real positive. To quadratic order in $u,v$, the global scalar potential isThe normalized combinations $(u\pm \bar{v})/\sqrt{2}$ diagonalize this quadratic form, withThus $|S{|}^2>|\zeta |$ gives a valley of transverse minima, while below the threshold the negative eigenvalue produces the waterfall instability in F-term hybrid inflation.

The exact supergravity correction to this stability test is also available without taking $x$ small. Put $b=|\zeta |/M^2$. Expansion of the exact supergravity F-term potential about $u=v=0$ gives equal diagonal coefficients $|g{|}^2{M}^2{e}^x[x+b^2(1+x^2)]$ and off-diagonal magnitude $|g{|}^2{M}^2{e}^{x}b(1+x+x^2)$. HenceFor the usual sub-Planckian symmetry-breaking scale $0<b\ll 1$, the lower eigenvalue is $|g{|}^2{M}^2{e}^x(1-b)[x-b(1+x^2)]$. It is positive for the familiar sub-Planckian valley $b\ll x\ll 1$, and changes sign near $x=b$.

The printed assertion of two full minima requires qualification. The broken branch is a transverse inflationary valley, not generally a second stationary minimum of the complete supergravity potential. In factIts only stationary point in $S$ is the origin. For $0<|\zeta |<M^2$ that point has a negative waterfall eigenvalue $|g{|}^2(|\zeta {|}^2/M^2-|\zeta |)$. A direct counterexample is the path $S=0$, $u=v=a$ with real small $a$, after rephasing $\zeta >0$:The negative quadratic coefficient proves it is not a minimum. No loop corrections or additional stabilizing interactions were specified that could create the requested second stationary vacuum. The mathematically supported interpretation is a SUSY-breaking transverse valley and a zero-energy supersymmetric vacuum minimum manifold. The limit on $u,v$ alone does not fix the parameter range $|\zeta |/M^2$; the familiar waterfall conclusion uses the sub-Planckian range just stated.

In the corresponding global theory the exponential prefactor, Kähler corrections to $D_{i}W$ and universal $-3|W{|}^2/M^2$ term are absent. Its $u=v=0$ valley has exactly constant tree-level energy $|g\zeta {|}^2$ for all $S$, whereas canonical supergravity lifts it by the quartic correction above. The supersymmetric vacuum $S=0$, $uv=\zeta$ and its zero energy persist in both descriptions. If $\zeta =0$, the origin and the $S$ axis instead have vanishing F-terms; the broken-valley interpretation does not apply.

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.

For a single chiral superfield, the supergravity F-term potential, with $\kappa =m_p^{-1}$ restored, isThe canonical Kähler potential has $K_{z\bar{z}}=K^{z\bar{z}}=1$, so the Kähler covariant derivative of a superpotential isConsequently the Polonyi model has the scalar potentialThe negative term is essential; retaining only the square of the supergravity auxiliary field would give the global F-term scalar potential rather than the supergravity F-term potential.

Set $x=\kappa z=a+iy$ and $b=\kappa \beta =2-\sqrt{3}$. In this notation $V=|\mu {|}^2{m}_p^2{e}^{|x{|}^2}U$, whereAt $a_0=\sqrt{3}-1$, $y=0$, one has $a_0+b=1$ and $1+a_0(a_0+b)=\sqrt{3}$, so $U=0$. To prove that this is a local minimum in both real directions, rather than checking only the real axis, put $u=a-a_0$. Direct expansion gives the stable zero-energy Polonyi vacuum identityEvery coefficient outside the square is strictly positive, and the exponential factor is positive. Thus $V\ge 0$ everywhere and equality requires $u=y=0$, provided $\mu \ne 0$. This proves the stronger conclusiona unique global minimum of this Polonyi model. If $\mu =0$, the scalar potential vanishes identically and this uniqueness and supersymmetry breaking conclusion do not hold.

For an independent local stability check, the Hessian matrix of $U$ at this global minimum is diagonal:Since $U$ and its first derivatives vanish there, differentiating the exponential introduces no additional Hessian matrix terms at the global minimum. For canonically normalized real fluctuations $z=z_0+(s+it)/\sqrt{2}$, the squared scalar masses are thereforewhich are both positive.

Although the vacuum energy is zero, the supergravity auxiliary field is not. In the convention $F^z=-e^{{\kappa }^{2}K/2}\overline{D_{z}W}$, its vacuum expectation value obeysThe matter fermion transformation contains a term proportional to $F^zϵ$, so no nonzero constant supersymmetry parameter leaves this vacuum invariant. Hence supersymmetry is spontaneously broken even though the vacuum energy vanishes: the positive auxiliary field contribution cancels the negative gravitational term. The matter fermion supplies the goldstino, which is absorbed by the gravitino in the super-Higgs mechanism.

Using the gravitino mass from a superpotential, and $z_0+\beta =m_p$, givesAn auxiliary field $F^z$ has mass dimension two. Defining the supersymmetry breaking scale by ${\Lambda }_{\mathrm{SUSY}}=\sqrt{|F^z|}$, one obtainsThus the gravitino mass is small compared with the supersymmetry breaking scale when that scale is sub-Planckian, as in the usual hierarchy $|\mu |\ll m_p$. This smallness is gravitational suppression; it is not a conclusion valid for arbitrary choices of the mass parameter.

Use the scalar components of the three chiral superfields, and set $a=|{\varphi }_0{|}^2$, $b=|{\varphi }_{+}{|}^2$, $c=|{\varphi }_{-}{|}^2$ and $\Sigma =a+b+c$. We assume the physical sign $g>0$ and a nonzero coupling $\lambda$. The coefficient $g$ below is exactly the coefficient in the supplied D-term scalar potential; it should not be silently replaced by a differently normalized squared gauge coupling. The canonical Kähler potential has identity Kähler metric, and the three Kähler covariant derivatives of a superpotential areSubstitution in the supergravity F-term potential givesIn particular, the subtraction cancels only half of the six ${\kappa }^{2}abc$ terms contributed by the three squares. The full scalar potential isIts nonnegativity follows term by term from $a,b,c\ge 0$ and $g>0$. This is a special property of this cubic superpotential, not of a general supergravity F-term potential.

The D-term vacuum branches of a cubic superpotential must be described as branches: there are not two isolated field-space minima. First suppose $\zeta >0$. Vanishing of $V_F$ requires $ab=ac=bc=0$, and vanishing of the D-term scalar potential requires $b-c=\zeta$. Together these conditions give the vacuum expectation valuesThe phase of ${\varphi }_{+}$ lies on a gauge orbit, and one may choose it positive and real. At this global minimum, all $D_{i}W$ and the real auxiliary field of the vector multiplet vanish. It is a supersymmetric vacuum, even though the internal gauge symmetry is spontaneously broken. For $\zeta <0$, interchange ${\varphi }_{+}$ and ${\varphi }_{-}$: the nonzero vacuum expectation value has magnitude $\sqrt{-\zeta }$. For $\zeta =0$, the supersymmetric vacuum is the entire family ${\varphi }_{+}={\varphi }_{-}=0$, with ${\varphi }_0$ arbitrary.

The other branch has ${\varphi }_{+}={\varphi }_{-}=0$ and arbitrary ${\varphi }_0$. Here $W=D_{i}W=0$ but the real auxiliary field is nonzero for $\zeta \ne 0$, andThus this branch has pure D-term supersymmetry breaking and a flat direction of a scalar potential in the neutral scalar. It is not stable at every neutral-field value. At a fixed $a=|{\varphi }_0{|}^2$, expansion in the charged scalars yieldsHence the two charged squared masses and the stability condition areAbove this threshold, both charged directions have positive mass squared. Continuity makes them uniformly positive in a sufficiently small neighborhood of the chosen neutral-field value, so the stationary branch is a genuine, non-strict local minimum valley. Its neutral direction stays flat. Below the threshold, a charged mass squared is negative and the branch is a saddle point. At equality it is a boundary of the stable valley, not a local minimum in the full field space: changing $a$ slightly downward and switching on the unstable charged field lowers $V$. For example, for $\zeta >0$, put $a=a_c-ϵ$, $b={ϵ}^2$, $c=0$. Since $M(a)=|\lambda {|}^{2}a{e}^{{\kappa }^{2}a}$ has $M^{\prime }(a_c)>0$, one finds $V-g{\zeta }^2=-M^{\prime }(a_c){ϵ}^3+O({ϵ}^4)<0$.

There are no further local-minimum branches under these generic assumptions. If $b+c>0$, the expression for $V_F$ is strictly increasing in $a$, so a stationary configuration with a charged condensate must have $a=0$. At $a=0$, an interior critical point with $b,c>0$ is impossible, becauseOn the boundary $c=0$, the relevant scalar potential is $g(b-\zeta {)}^2$; on $b=0$ it is $g(c+\zeta {)}^2$. Their nonnegative-domain minima give exactly the supersymmetric vacuum described above, or the origin of the charged-field branch. Thus, for nonzero $\zeta$, the two types are the zero-energy supersymmetric gauge orbit and the positive-energy D-breaking minimum valley above the threshold. If $\zeta =0$, the two types coalesce into the flat supersymmetric vacuum; the literal two-minimum assertion needs this parameter qualification.

In the global supersymmetry limit $\kappa \to 0$, the F-term scalar potential becomes $|\lambda {|}^2(ab+ac+bc)$ and the D-term scalar potential retains its form. The same two types of branches occur, with the threshold $|\lambda {|}^{2}a>2g|\zeta |$. Supergravity instead introduces the exponential and additional positive terms. The goldstino of global supersymmetry breaking is a physical fermion; in local supersymmetry it participates in the super-Higgs mechanism. A positive vacuum energy also gravitates in supergravity. In particular, the positive-energy branch here has $W=0$ and hence vanishing gravitino mass from a superpotential; it is not the tuned zero-energy broken vacuum of Question 3.

There is a further gauge-consistency qualification. In conventional two-derivative matter-coupled supergravity, a constant Fayet–Iliopoulos term gauges an R-symmetry and requires a corresponding nontrivial transformation of the superpotential. The apparent charges $0,+1,-1$ make the supplied cubic superpotential neutral, so a nonzero independent constant $\zeta$ does not by itself specify a consistent conventional supergravity action. The computed branches are those of the supplied scalar potential; a full embedding needs compatible charges or additional fields. This restriction is explained in Van Proeyen's derivation of the superpotential gauge-covariance condition.

More generally, the supergravity moment-map constraint on D-term breaking follows directly from gauge covariance. If $k^i{\partial }_{i}W=-{\kappa }^{2}rW$ and the moment map is $\mathcal{P}=i(k^i{K}_i-r)$, then at a point with $W\ne 0$,Consequently all chiral auxiliary fields vanishing implies the D-term also vanishes there. This relation has no analogue forcing that implication in an arbitrary global supersymmetry model. Its $W\ne 0$ hypothesis matters: the formal D-breaking branch above has $W=0$, so it does not contradict the identity. These conventional gauge-completion restrictions are additional to the elementary minimization calculation.

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.

Take canonical charged chiral superfield kinetic terms, gauge coupling $e>0$, and no Fayet–Iliopoulos term, since none is specified. Elimination of the three complex auxiliary fields givesThe Abelian gauge auxiliary field obeys $D=-e(|{\phi }_{+}{|}^2-|{\phi }_{-}{|}^2)$ in this normalization. Thus the F-term scalar potential and the gauge D-term giveAll terms are nonnegative. The normalization of $e$ can be changed together with the vector-field normalization, but the relative charges and the zero-potential conditions cannot. A noncanonical Kähler potential would change the inverse-metric factors in the F-term potential; adding a Fayet–Iliopoulos term would shift $D$ and define a different model. Neither is silently introduced here.

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.