Codex @codex  0

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.

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.

Here L-superfield means a left-chiral superfield: ${\bar{D}}_{\dot{\alpha }}\Phi =0$, and its complex conjugate is an antichiral superfield, $D_{\alpha }{\Phi }^{\ast }=0$. Interpret the two barred derivatives as the contracted scalar ${\bar{D}}^2={\bar{D}}_{\dot{\alpha }}{\bar{D}}^{\dot{\alpha }}$. The key point is chiral projection by squared supercovariant derivatives. Since the two components of $\bar{D}$ anticommute, any product of three barred derivatives repeats a component and is zero. Thusfor every superfield $X$, even when $X$ is antichiral. In particular, ${\bar{D}}^2{\Phi }^{\ast }$ is chiral.

The right side is chiral too. Because $\Phi$ is even, the graded derivation rule gives ${\bar{D}}_{\dot{\alpha }}({\Phi }^2)=({\bar{D}}_{\dot{\alpha }}\Phi )\Phi +\Phi ({\bar{D}}_{\dot{\alpha }}\Phi )=0$. Constant $m$ and $\lambda$ do not contribute derivatives. Consequentlyso applying the chiral constraint to the equation imposes no additional incompatible condition. This is the holomorphic closure of chiral superfields; a generic nonholomorphic right side would not satisfy it.

Both sides have zero Grassmann parity and are Lorentz scalars: the two dotted derivative indices are contracted with the invariant epsilon tensor, and $\Phi$ is a scalar superfield. Moreover, each covariant derivative anticommutes with every supercharge, so its squared contraction commutes with the supercharges. Hence the equation transforms covariantly under supersymmetry. It is the chiral field equation of motion of the Wess–Zumino model with superpotential $\mathcal{W}(\Phi )=m{\Phi }^2/2+\lambda {\Phi }^3/3$, for which ${\mathcal{W}}^{\prime }=m\Phi +\lambda {\Phi }^2$, using the normalization in the PDF. With mass dimensions $[\Phi ]=1$, $[\bar{D}]=1/2$, $[m]=1$ and $[\lambda ]=0$, each side has dimension two. No component field equations of motion are needed for this consistency argument.

Use hypercharge normalized by $Q_{\mathrm{em}}=T_3+Y$, and express all matter fermions as left-handed Weyl spinors. Thus $u^c,d^c,e^c$ denote the charge conjugates of the right-handed Standard Model fermions; the superscript $c$ is unrelated to the antiparticle marker $(A)$. Each chiral superfield contains a complex scalar field and a Weyl spinor, while each vector superfield contains a gauge boson and a gaugino. The complete propagating content of the Minimal supersymmetric Standard Model before electroweak symmetry breaking is:

The marker $(A)$ means that conjugate antiparticle states must also be counted: a charged Weyl spinor has a particle helicity and a distinct antiparticle helicity, and a complex scalar field has particle and antiparticle excitations. The real adjoint gauge bosons and adjoint Majorana fermions already contain their conjugate states, so no extra marker is attached to them. For example, the charged combinations $W^{\pm }$ are both contained in the one real weak triplet. There are no right-handed-neutrino chiral superfields, no gravitino, and no propagating auxiliary fields in this field table. The matter sector has $3(6+3+3+2+1)=45$ gauge components; the two Higgs chiral doublets add four. Thus the count is $2(49)+2(12)=\boxed{122\text{ bosonic and }122\text{ fermionic on-shell states}}$, before mass effects are considered.

R-parity is the multiplicative discrete quantum number $\boxed{R_p=(-1{)}^{3(B-L)+2s}}$, with baryon number $B$, lepton number $L$ and spin $s$. Ordinary quarks, leptons, Higgs scalars and gauge bosons have $R_p=+1$; their sparticles have $R_p=-1$. For superfields the equivalent rule is matter parity $P_M=(-1{)}^{3(B-L)}$: $Q,U^c,D^c,L,E^c$ are odd, and $H_u,H_d$ and the gauge superfields are even. With $A\cdot B={ϵ}_{ab}{A}^a{B}^b$ contracting weak indices and implicit color contractions, the renormalizable R-parity-conserving MSSM superpotential isSigns of the three Yukawa couplings can be absorbed into their matrices. Every term has even matter parity and zero hypercharge; holomorphy requires the two independent Higgs chiral doublets, rather than using $H_u^{†}$ in a superpotential.

Conserved R-parity forces an even number of odd particles in a process whose incoming particles are all ordinary particles, so colliders produce sparticles in pairs or another even multiplicity. Their decay chains end in the stable lightest supersymmetric particle. A neutral, weakly interacting lightest supersymmetric particle, commonly a neutralino after electroweak symmetry breaking, escapes the detector and gives missing transverse momentum; it is also a possible dark matter constituent. Stability alone does not establish its relic abundance, and a charged or colored stable lightest supersymmetric particle is not the usual viable dark matter candidate. Conserved R-parity forbids the renormalizable interactions responsible for the decay below. It does not by itself forbid higher-dimensional proton-decay operators: the superpotential operators $QQQL/\Lambda$ and $U^c{U}^c{D}^c{E}^c/\Lambda$ have even matter parity. Thus the renormalizable R-parity-conserving MSSM protects the proton, while ultraviolet physics can still induce its decay.

The gauge-invariant renormalizable R-parity-violating superpotential isHere ${\lambda }_{ijk}=-{\lambda }_{jik}$ and ${\lambda }_{ijk}^{\prime \prime }=-{\lambda }_{ikj}^{\prime \prime }$ because of the weak and color antisymmetric contractions. The first two trilinear terms and the bilinear term violate lepton number, whereas the $U^c{D}^c{D}^c$ term violates baryon number. The $\lambda ,{\lambda }^{\prime },{\lambda }^{\prime \prime }$ are dimensionless and ${\kappa }_i$ has mass dimension one.

For a concrete squark-mediated proton decay channel, take ${\lambda }_{112}^{\prime \prime }$ and ${\lambda }_{112}^{\prime }$ nonzero. Antisymmetry allows these indices: the exchanged scalar is a strange squark, not a repeated down flavor in ${\lambda }^{\prime \prime }$. Two quarks in the proton undergo $u_R{d}_R\to {\tilde{s}}_R^{\ast }\to e^{+}\bar{u}$; the spectator $u$ combines with $\bar{u}$ into the $u\bar{u}$ component of ${\pi }^0$. The baryon-violating Feynman vertex and lepton-violating Feynman vertex give $p\to e^{+}{\pi }^0$.

At momenta small compared with the squark mass $m$, its scalar propagator is of order $m^{-2}$. Eliminating it generates a dimension-six four-fermion proton-decay operator, schematically $(u^c{d}^c{)}^{†}(eu)$, with coefficient $C\sim {\lambda }_{112}^{\prime \prime }{}^{\ast }{\lambda }_{112}^{\prime }/m^2$. Consequently the dimensionless decay amplitude is of order $C{m}_p^2$, and phase space supplies one more power of $m_p$ to the width:This is a dimensional estimate; phase-space constants and hadronic matrix elements change its coefficient, not its fourth-power dependence on $m$. For order-one couplings and $m_p\sim 1\mathrm{GeV}$, the stated lifetime limit is ${\tau }_p\gtrsim 10^{40}\times 10^{24}{\mathrm{GeV}}^{-1}=10^{64}{\mathrm{GeV}}^{-1}$. Therefore $m^4\gtrsim 10^{64}{\mathrm{GeV}}^4$, giving $\boxed{m\gtrsim 10^{16}\mathrm{GeV}}$.

Such a mass is incompatible with the intended weak-scale MSSM explanation of the hierarchy problem: squarks that cancel the Higgs-sector sensitivity to high scales must not introduce a new enormous splitting from their light quark partners. For example, $m\sim 10^3\mathrm{GeV}$ with order-one couplings would give only ${\tau }_p\sim 10^{12}{\mathrm{GeV}}^{-1}\sim 10^{-12}\mathrm{s}$. The field content alone does not mathematically prohibit extremely heavy superpartners, but that choice sacrifices the weak-scale naturalness motivation. The usual resolution is conserved R-parity, or sufficiently suppressed simultaneous baryon number and lepton number violation, rather than making the exchanged squark this heavy.

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.

Assume the standard canonical kinetic action $\int d^4\theta {\Phi }^{†}\Phi$. A constant field redefinition $\Phi =\Psi +s$ is invertible and preserves chirality. Its kinetic action differs by $s{\Psi }^{†}+s^{\ast }\Psi +|s{|}^2$, whose full superspace integrals vanish up to a boundary term: a chiral or antichiral field has no independent full-superspace component. Equivalently, spacetime derivatives of a constant are zero. There is no nontrivial Jacobian for this translation of the field. Thus physical predictions are unchanged when all parameters and the coordinate of the vacuum are transformed together.

The transformed superpotential iswhere $A=W(s)$. Removing the linear term means choosing a critical point $W^{\prime }(s)=0$, not merely choosing $s=-\kappa /m$ while ignoring the cubic term. For $g\ne 0$,The resulting superpotential is $A+M{\Psi }^2/2+g{\Psi }^3/6$. Its constant term has no effect in global supersymmetry, since its chiral superspace integral is zero. It would matter in supergravity, which is not the model here.

A real shift is physically allowed, but it does not always suffice to remove the linear term. With real couplings it requires $\Delta \ge 0$ for $g\ne 0$. For example $m=0$, $\kappa =1$, $g=2$ gives $W^{\prime }(s)=1+s^2$, which has no real root. A complex shift $s=\pm i$ is still a valid redefinition of the complex chiral scalar and removes the term. Thus the printed instruction needs either the real-root hypothesis or permission for a complex shift.

If $g=0$ and $m\ne 0$, choose $s=-\kappa /m$. If $g=m=0$, no shift removes a nonzero $\kappa$; if $\kappa =0$ it is already absent. These exceptional branches will also distinguish the supersymmetry-breaking possibilities below.

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.