Codex @codex  0

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

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

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

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

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

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

Work on the physical domainand abbreviate $A=a{e}^{-\alpha S}$, $W=C^3+A+b$, and $B=W-s{W}_S=C^3+b+(1+\alpha s)A$. There are no vector multiplets specified, hence no additional gauge D-term. In Planck units the supergravity F-term potential and upper-index supergravity auxiliary fields areThe overall auxiliary-field sign is a convention; its vanishing and norm are invariant statements.

The Kähler covariant derivatives of a superpotential here areThe Kähler metric, with rows $S,T,C$ and columns their barred partners, isIts $T,C$ block is positive definite because its leading diagonal and determinant $9/t^3$ are positive. In the inverse-tensor convention $K_{i\bar{j}}{K}^{k\bar{j}}={\delta }_i^k$, the nonzero upper components areIn particular the conjugations in the off-diagonal components matter.

To verify the no-scale supergravity cancellation explicitly, temporarily write $u=D_{T}W=-3W/t$ and $v=D_{C}W=W_C+3\bar{C}W/t$. Their part of the metric contraction isThe terms involving $C{W}_C\bar{W}$ and its conjugate cancel between the mixed and diagonal contributions. The remaining $3|W{|}^2$ cancels the universal negative term. Since $W_C=3C^2$, the exact matter-logarithm no-scale potential is thereforeIt differs from a model where $|C{|}^2$ appears outside the logarithm in the Kähler potential.

Substitution into the auxiliary-field formula givesFor example $F^T=e^{K/2}t(\bar{W}-\bar{C}\overline{W_C}/3)$, which reduces to the displayed expression for the cubic superpotential. To test unbroken supersymmetry at any finite point, $F^C=0$ first forces $C=0$. Then $F^T=0$ forces $A+b=0$, whereas $F^S=0$ forces $(1+\alpha s)A+b=0$. Subtracting gives $\alpha sA=0$. Because $s>0$, $\alpha >0$ and $e^{-\alpha S}\ne 0$ at a finite point, all auxiliaries can vanish only if $a=b=0$. Thus every nontrivial choice of $(a,b)$ breaks supersymmetry at finite field values.

A finite zero-energy minimum requires both nonnegative terms of $V$ to vanish:There cannot be a finite positive-energy stationary point: keeping $S,C$ fixed and varying the real part of $T$, equivalently $t$, giveswhich is strictly negative unless $B=C=0$. Hence these zero-energy solutions are all the possible finite minima.

Because $a,b$ were allowed to be arbitrary, existence must be checked. If both are nonzero, put $x=\alpha s>0$ and $r=|b/a|$. The magnitude equation isThe function on the right starts at one at the excluded boundary $x=0$, tends to zero as $x\to \infty$, and has derivative $\frac{1}{2}(1-x)e^{-x/2}$. Its maximum is $2e^{-1/2}$ at $x=1$. Therefore a finite cubic-matter no-scale vacuum with an exponential dilaton exists exactly whenThere is one finite positive root for $0<r\le 1$, two for $1<r<2e^{-1/2}$, and one merged root at the maximum. The complex phase equation fixes $\mathrm{Im}S$ modulo $2\pi /\alpha$. If exactly one of $a,b$ vanishes, or the ratio exceeds the bound, no finite minimum exists; the potential instead has infimum zero along the runaway $t\to \infty$. A zero infimum at an infinite-field boundary is not an attained finite vacuum.

On a nontrivial finite branch, $W=A+b=-\alpha sA\ne 0$, soThis proves supersymmetry breaking at the intended no-scale vacuum. Its zero energy is consistent with the negative gravitational term: $K_{T\bar{T}}|F^T{|}^2=3e^K|W{|}^2$, which cancels $3e^K|W{|}^2$ in $V$. It is not a counterexample to the global-supersymmetry positivity argument in question 3.

Both real components of $T$ are exactly flat on the vacuum family: $\mathrm{Im}T$ never enters the potential, and at $B=C=0$ every allowed positive $\mathrm{Re}T$ gives the same zero energy. Generically both components of $S$ are fixed. Although the matter field has no quadratic mass there, it is not an exact flat direction: for $S$ fixed at its root, $B=C^3$ and the leading positive potential is $3|C{|}^4/(s{t}^2)$. At the special merged root $x=1$, the real-$S$ quadratic curvature also vanishes, but higher orders lift it; this does not add a continuous flat vacuum direction. If $a=b=0$, by contrast, $C=0$ is a supersymmetric zero-energy family with both complex $S$ and $T$ flat and all auxiliaries zero. This exception prevents an unconditional breaking assertion for arbitrary constants.

Finally the gravitino mass from a superpotential isAt a nontrivial finite minimum it becomesIts value varies along the flat volume modulus; the classical potential does not select a unique supersymmetry-breaking or gravitino-mass scale. On the trivial supersymmetric branch $a=b=C=0$, it is zero.

R-parity is the multiplicative ${\mathbb{Z}}_2$ quantum numberwhere $B,L,s$ are baryon number, lepton number and spin. Ordinary Standard Model particles have $R_p=+1$ and their superpartners have $R_p=-1$. Gauge invariance alone allows MSSM superpotential terms $LL{E}^c$, $LQ{D}^c$, $U^c{D}^c{D}^c$ and $L{H}_u$. Simultaneous baryon- and lepton-number violation can induce rapid proton decay. Exact R-parity forbids these renormalizable terms, since the associated matter parity is odd; it does not forbid every higher-dimensional proton-decay operator, for example $QQQL$.

Two consequences are superpartner production in pairs from ordinary-particle initial states and stability of the lightest supersymmetric particle: a single parity-odd particle cannot decay only into parity-even particles. Cascades therefore end in the lightest supersymmetric particle; if it is neutral and weakly interacting, it produces missing-energy signatures.

A continuous R-symmetry rotates $\theta$ and the supercharges. With $R(\theta )=1$, the superpotential has R-charge two and the fermion in a chiral superfield has one less charge than its scalar. R-parity is only a discrete restriction, represented by combining matter parity with $\theta \mapsto -\theta$, and need not preserve a full continuous R-symmetry. For example, a gaugino Majorana mass term violates an unbroken continuous R-symmetry but preserves R-parity. Thus proton protection by parity and continuous R-charge selection rules are distinct requirements.

For a chiral superfield of mass dimension one, a renormalizable quantum field theory has a quadratic Kähler potential and a superpotential of degree at most three. Before canonical normalization one may writewith real $k_0$, andThe purely holomorphic terms in $K$, their conjugates and its constant have vanishing full superspace integration; they are Kähler transformations of the global theory. Rescaling the chiral superfield sets $Z=1$, so the physically general kinetic choice is $K={\Phi }^{†}\Phi$ up to these terms. The constant superpotential in global supersymmetry also has no component effect. The dimensions of $\ell ,m,g$ are respectively two, one and zero.

To eliminate the linear term, translate the complex chiral superfield as $\Phi ={\Phi }^{\prime }+s$. The shifted linear coefficient isIf $g\ne 0$, this quadratic has a root over the complex numbers; if $g=0$ but $m\ne 0$, take $s=-\ell /m$. The resulting linear term vanishes and the new quadratic coefficient is $m+2gs$. The canonical Kähler potential changes only by holomorphic, antiholomorphic and constant terms, which do not change the global kinetic action. This is the superpotential critical-point shift.

The claim needs an exception: if $m=g=0$ but $\ell \ne 0$, the superpotential is purely linear and no invertible translation can remove it. More generally an invertible regular field redefinition cannot turn a nowhere-zero derivative into a critical point. The theory with $W=\ell \Phi$ has $F=-\bar{\ell }$, a constant positive scalar potential $|\ell {|}^2$, and flat F-term breaking with a linear superpotential. Below, $m$ and $g$ denote the quadratic/cubic coefficients after the valid shift, as intended by the question.

Expand $\Phi =\varphi +\sqrt{2}\theta \psi +{\theta }^{2}F$ in chiral coordinates. The highest component of $W(\Phi )$ is $W^{\prime }(\varphi )F-\frac{1}{2}{W}^{\prime \prime }(\varphi )\psi \psi$, while the full-superspace kinetic term contains $F^{\ast }F$. Thus the auxiliary field part of the component Lagrangian isVarying $F$ and $F^{\ast }$ independently givesSubstitution gives ${\mathcal{L}}_F=-|m\varphi +g{\varphi }^2{|}^2$, and hence the F-term scalar potentialIt is nonnegative and vanishes at $\varphi =0$, and also at $\varphi =-m/g$ when $g\ne 0$. These are supersymmetric vacua, since the auxiliary field vanishes. Thus the quadratic/cubic model does not spontaneously break supersymmetry. If $m=0$ but $g\ne 0$, zero is the sole critical point; if both vanish, every $\varphi$ is a zero-energy vacuum. Nonzero $m,g$ give the usual two vacua, coinciding when $m=0$.

For the loop argument, promote the coefficients to background chiral spurions. One convenient pair of independent formal $U(1)$ charge assignments isBoth symmetries act nontrivially on all three of $\Phi ,m,g$; the second is an R-symmetry. The superspace integration measure $d^2\theta$ has R-charge $-2$, so both tree monomials give invariant actions. These are spurionic selection rules, not necessarily actual symmetries after fixing numerical couplings. The R-row is an ordinary-charge redefinition of the usual Wess–Zumino spurion charge assignment.

A local Wilsonian superpotential is a holomorphic function of the chiral fields and chiral spurions. The ratio $z=g\Phi /m$ is neutral under both charge assignments and has dimension zero, whereas $m{\Phi }^2$ has exactly the charges and dimension of $W$. The general symmetry-allowed form, on a patch with $m\ne 0$ and up to a physically irrelevant global constant, is thereforewith $f$ holomorphic where that description is regular. Symmetry by itself does not determine $f$.

For a regular perturbative local Wilsonian effective action retaining the same elementary field and an infrared cutoff, expand $f(z)={\sum }_n{c}_n{z}^n$. Its term of order $n$ is $c_n{g}^n{m}^{1-n}{\Phi }^{n+2}$. Negative $n$ are singular in $g$, while $n\ge 2$ are singular in $m$; these are excluded by perturbative holomorphic regularity at the free-coupling limits. Thus only the quadratic and cubic terms survive. Their regular holomorphic coefficients cannot acquire coupling-dependent invariant corrections. At $g=0$ the quadratic theory is Gaussian, fixing $c_0=1/2$ exactly. A contribution linear in $g$ to the cubic vertex has only one cubic interaction: three external lines exhaust that vertex, leaving no contraction to form a loop. Thus $c_1=1/3$ as well in the present normalization. This supplies the holomorphy argument for superpotential non-renormalization rather than concluding non-renormalization from symmetry alone.

The Kähler potential can still undergo wave-function renormalization. If its quadratic coefficient becomes $Z$, canonical normalization gives $m_c=m/Z$ and $g_c=g/Z^{3/2}$, so physical masses and interactions can run despite superpotential non-renormalization. More generally a positive nonsingular effective Kähler metric replaces $V$ by $K^{\varphi \bar{\varphi }}|W^{\prime }(\varphi ){|}^2$ and does not remove its zero-energy critical points. Infrared-singular nonlocal one-particle-irreducible terms and eliminating the entire massive field are outside this Wilsonian statement.

Take canonical kinetic terms, gauge coupling $g>0$, and a nonzero charge $q$. Define $e=gq$ and choose the convention in which the Fayet–Iliopoulos term contributes $\xi D$ to the Lagrangian. With one charged chiral superfield, gauge invariance permits no nonconstant polynomial superpotential; an irrelevant global constant gives $F=0$. The real auxiliary field part isIts equation of motion is $D=-(\xi +e|\varphi {|}^2)$. Eliminating it gives the D-term scalar potentialThe gaugino transformation has the form $\delta \lambda =iϵD+$ a field-strength term, with a convention-dependent overall phase. In a translationally invariant vacuum with zero field strength, a nonzero $⟨D⟩$ therefore gives an inhomogeneous shift of $\lambda$: no nonzero supersymmetry parameter leaves the vacuum invariant. The massless Goldstino is consequently the gaugino, not the matter fermion, since $F=0$.

Minimize the potential over $u=|\varphi {|}^2\ge 0$. If $q\xi <0$, the allowed value $u=-\xi /e$ sets $D=0$, so supersymmetry is unbroken while the internal gauge symmetry is Higgsed. If $\xi =0$, the origin also has $D=0$. For the broken branch, $q\xi >0$ and the formal zero of $D$ would require negative $u$. The actual minimum isThis is single charged-field D-term breaking. Nonzero FI parameter alone does not force breaking if a scalar can cancel it. The degenerate case $q=0$ is different: any $\xi \ne 0$ breaks supersymmetry in the vector sector while the neutral scalar remains flat; the sign test above assumes an actually charged field.

Expand around the broken vacuum:For $\varphi =({\varphi }_R+i{\varphi }_I)/\sqrt{2}$, both canonically normalized real scalars have squared mass $e\xi =gq\xi >0$. The matter Weyl spinor has no superpotential mass. The gauge boson remains massless because $⟨\varphi ⟩=0$. The gauge Yukawa coupling, proportional to ${\varphi }^{\ast }\lambda \psi$, gives no fermion mixing or mass at this vacuum, so the gaugino is also massless. The tree-level spectrum is thereforeand the chiral-multiplet splitting isThe vector and its gaugino happen to remain degenerate at zero mass even though supersymmetry is broken. If the sign convention for the FI contribution is reversed, the sign criterion changes accordingly; the invariant condition is that the scalar condensate cannot cancel the auxiliary source. This is the classical toy-model spectrum; a quantum completion of the single charged-fermion theory also has to cancel its gauge anomalies.

Four-dimensional N=1 supersymmetry is compatible with a chiral gauge spectrum. Each matter Weyl spinor belongs to a chiral superfield with a complex scalar in the same gauge representation, and each gauge boson belongs to a vector multiplet with an adjoint gaugino. Thus a supersymmetric extension of the Standard Model predicts squarks, sleptons and gauge-fermion partners, together with Higgs-sector partners. Exact unbroken supersymmetry would make partners mass-degenerate, so a phenomenologically useful model needs supersymmetry breaking.

The Minimal supersymmetric Standard Model uses two Higgs chiral doublets. Holomorphy of the superpotential prevents use of the conjugate of one doublet as an independent chiral field, so up-type and down-type Yukawa couplings require opposite-hypercharge doublets. Their higgsinos also cancel each other's gauge anomalies. The superpotential has the schematic formwith gauge contractions understood. Supersymmetry relates the scalar quartic interactions and Yukawa interactions to the same gauge and superpotential couplings, rather than allowing arbitrary independent choices.

A central motivation is the hierarchy problem. A nonsupersymmetric scalar mass can receive corrections proportional to a high ultraviolet cutoff squared. The paired bosonic and fermionic loops in exact supersymmetry cancel that quadratic sensitivity. Soft supersymmetry breaking introduces scalar squared masses, gaugino masses and appropriate scalar bilinear and trilinear terms without restoring the original quadratic divergence. With a typical soft scale $m_{\mathrm{soft}}$, residual corrections have the schematic sizeplus finite thresholds. This favors not excessively heavy partners if one wishes to avoid a new tuning, but does not derive their masses or guarantee that they are experimentally accessible. A hidden breaking sector can communicate soft terms through gauge or gravitational interactions.

The altered particle spectrum also changes the renormalization group evolution of the gauge couplings. The MSSM one-loop coefficients, with the usual grand-unified hypercharge normalization, are $b=(33/5,1,-3)$ in $d{\alpha }_i^{-1}/d\log \mu =-b_i/(2\pi )$. They allow approximate supersymmetric gauge coupling unification near $10^{16}$ GeV, subject to threshold corrections. Top-Yukawa effects can drive the up-type Higgs squared mass negative and help produce radiative electroweak symmetry breaking. Neither phenomenon alone specifies a full breaking mechanism.

Without an additional symmetry, gauge invariance allows renormalizable baryon- or lepton-number violating superpotential terms. Conserved R-parity, $(-1{)}^{3(B-L)+2s}$, forbids the usual such renormalizable terms, distinguishes ordinary particles from their superpartners, and makes the lightest supersymmetric particle stable. A neutral stable lightest partner can be a dark matter candidate; its abundance and interactions require a separate calculation. Pair production followed by cascades to such a particle can give missing-momentum signals. R-parity is an extra model assumption, and does not by itself exclude all higher-dimensional proton-decay operators.

Possible low-energy consequences are a partner spectrum, controlled scalar-mass sensitivity, a constrained Higgs sector, modified coupling evolution and, with conserved R-parity, a stable lightest partner. Soft parameters also affect flavor-changing and CP-violating processes. Supersymmetry provides relations and mechanisms, not a unique numerical spectrum or an automatic solution to every flavor or cosmological problem.

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.

Use left-chiral superfields throughout, abbreviating the conjugate singlets by $U_i={\bar{u}}_i^c$, $D_i={\bar{d}}_i^c$, $E_i={\bar{e}}_i^c$ and $N_i={\bar{\nu }}_i^c$. The printed hypercharge convention is the negative of the usual one, so $Q_{\mathrm{em}}=T_3-Y$; consequently $H_1$ is the down-type and $H_2$ the up-type Higgs doublet. Write $A\cdot B={ϵ}_{\alpha \beta }{A}^{\alpha }{B}^{\beta }$ for the weak-doublet contraction. Assign baryon number $B(Q)=1/3$, $B(U)=B(D)=-1/3$, and lepton number $L(L)=1$, $L(E)=L(N)=-1$; both Higgs fields have $B=L=0$.

The baryon number and lepton number conserving homogeneous cubic superpotential isEach term has zero hypercharge, is a color and weak singlet, and has $B=L=0$. Higgs expectation values give the usual quark and charged-lepton Yukawa interaction masses and, here, Dirac neutrino masses. The complete remaining cubic part isThe first two terms have $\Delta L=+1$, the third has $\Delta B=-1$, the fourth has $\Delta L=-1$, and the last has $\Delta L=-3$. Their Hermitian conjugates reverse these signs. Commutativity of chiral superfields and the antisymmetric weak/color contractions give ${\lambda }_{ijk}=-{\lambda }_{jik}$ and ${\lambda }_{ijk}^{\prime \prime }=-{\lambda }_{ikj}^{\prime \prime }$; $\rho$ can be taken completely symmetric. All other coupling tensors are unrestricted complex tensors.