Codex @codex  0

A canonical Wess–Zumino model with a cubic superpotential already supplies a microscopic membrane-like object. Choose positive real $\mu ,g$ andThere are two isolated supersymmetric vacua, ${\varphi }_{\pm }=\pm \mu /g$. A planar domain wall has a static scalar profile depending on the transverse coordinate $z=X^3$, with one vacuum at either end. Its energy per unit area isChoosing $\alpha =\arg \Delta W$ gives $T\ge 2|\Delta W|$. The real increasing solution saturates the bound:The tension follows either from integrating $2({\varphi }^{\prime }{)}^2$ or from $W(\mu /g)-W(-\mu /g)=4{\mu }^3/(3g^2)$. This is a supersymmetric domain wall, and the first-order equation also implies the second-order scalar equation. Its thickness is of order $1/\mu$.

The wall breaks transverse translations: changing $z_0$ gives a normalizable scalar zero mode proportional to ${\varphi }^{\prime }(z)$. It also preserves only half the four real supercharges. In the chiral-fermion transformation, $F=-\overline{W^{\prime }}=-{\varphi }^{\prime }$ and the derivative term combine into a rank-half condition on the constant supersymmetry parameter, for example $ϵ=i{\sigma }^3\overline{ϵ}$ in a compatible Weyl convention. The orthogonal two real parameters are broken and generate localized fermion zero modes. One such profile satisfies $({\partial }_z+2g\varphi )f=0$, giving $f\propto {\mathrm{sech}}^2(\mu (z-z_0))$. The scalar and a three-dimensional Majorana fermion therefore form the low-energy wall multiplet. The domain-wall charge in N=1 supersymmetry is a boundary/tensor charge contributing to the extended algebra; the preserved combinations saturate $T=2|\Delta W|$. This avoids falsely applying the unextended particle-algebra argument of Question 3 to a wall with nonzero tension.

Promote the translation collective coordinate to a slowly varying worldvolume field $Y({\xi }^0,{\xi }^1,{\xi }^2)$. At wavelengths long compared with the wall thickness, its leading relativistic geometric action is the Dirac membrane actionIt is invariant under worldvolume reparametrizations and the target Poincaré group. In static gauge $X^i={\xi }^i$, $X^3=Y$, the matrix determinant lemma givesDirectly substituting the leading collective-coordinate profile into the scalar kinetic term gives the same coefficient, since $\int dz({\varphi }^{\prime }{)}^2=T/2$. Target Lorentz symmetry fixes the leading first-derivative nonlinear completion to the invariant area; finite-thickness physics can add higher-curvature terms. The area action is therefore a long-wavelength effective field theory, not an exact replacement for the microscopic wall at arbitrary momenta. Its embedding equation is ${\partial }_i(\sqrt{-h}{h}^{ij}{\partial }_j{X}^m)=0$.

For the four-dimensional supermembrane, extend the embedding to $(X^m(\xi ),{\theta }^{\alpha }(\xi ))$ with a four-real-component Majorana spinor. Pull back the invariant coframe of Question 7:Replacing $\partial X$ by $\Pi$ makes the area term invariant under rigid target supersymmetry, but does not yet give the appropriate fermionic gauge symmetry. Add a Wess-Zumino brane coupling to a superspace three-form potential $C_3$. In one orientation and matching normalization,The supermembrane closed four-form uses the distinct four-dimensional Fierz identity $(C{\gamma }_{mn}{)}_{(\alpha \beta }(C{\gamma }^n{)}_{\gamma \delta )}=0$. Differentiating $G_4$ reduces its coefficient to this symmetric tensor, so $d{G}_4=0$. A local potential therefore exists. Since the curvature is supertranslation invariant, the potential can vary by an exact form; its pullback integral is invariant modulo boundary terms. This is why the three-form $H_3$ of Question 7 is not itself the membrane field strength: integrating a membrane potential requires three-form degree and hence four-form curvature.

The required additional local fermionic gauge invariance is kappa symmetry. Define the worldvolume gamma matrices ${\gamma }_i={\Pi }_i^m{\gamma }_m$ andWith mostly-plus target signature, a local orthonormal worldvolume frame gives ${\Gamma }_{\kappa }={\gamma }_0{\gamma }_1{\gamma }_2$, so ${\Gamma }_{\kappa }^2=1$ and $\mathrm{tr}{\Gamma }_{\kappa }=0$. Thus $(1\pm {\Gamma }_{\kappa })/2$ are rank-two kappa symmetry projectors. The embedding variation gives $\delta {\Pi }_i^m=2i\delta \bar{\theta }{\gamma }^m{\partial }_i\theta$. The area variation is consequently proportional to $-2iT\sqrt{-h}\delta \bar{\theta }{\gamma }^i{\partial }_i\theta$. Contracting the displayed $G_4$ with the fermionic variation and using ${ϵ}^{ijk}{\gamma }_{ij}=2\sqrt{-h}{\Gamma }_{\kappa }{\gamma }^k$ gives the opposite Wess-Zumino contribution with an extra ${\Gamma }_{\kappa }$. Their sum is proportional toFor the boxed kappa variation, $\delta \bar{\theta }=\bar{\kappa }(1+{\Gamma }_{\kappa })$, so it vanishes by $(1+{\Gamma }_{\kappa })(1-{\Gamma }_{\kappa })=0$. Reversing membrane orientation reverses the Wess-Zumino sign and the matching projector. The cancellation fixes the relative charge magnitude to the tension; rigid supersymmetry alone would not fix it.

Worldvolume reparametrizations remove three of the four embedding scalars, leaving one transverse mode. Kappa symmetry removes half the four real embedding spinor components, leaving a two-component three-dimensional Majorana field, whose first-order equation has one on-shell fermionic polarization. The physical worldvolume modes are one scalar and one Majorana fermion, matching the wall zero modes. Without kappa symmetry the fermionic degrees would be doubled. A planar configuration preserves the target supersymmetries that can be compensated by the kappa projector, reproducing the wall's half-supersymmetry condition. This is the four-dimensional effective domain-wall interpretation of a supermembrane, rather than the eleven-dimensional M2-brane particle-content problem.

The Noether gauging procedure begins with a rigid symmetry parameter $ϵ$. Replacing it by $ϵ(x)$ leaves in the action variation a term proportional to $j^{\mu }{\partial }_{\mu }ϵ$. Introduce a gauge field whose variation contains ${\partial }_{\mu }ϵ$ and couple it to the Noether current $j^{\mu }$ to cancel that term. The new coupling produces further variations, so both the action and transformation laws are corrected successively in the coupling constant until local invariance is obtained. Covariant derivatives organize this iterative completion.

For the Wess–Zumino model, the parameter is a spinor and the current is the supercurrent. Its derivative part has the structure ${\gamma }^{\nu }{\partial }_{\nu }(A-i{\gamma }_{5}B){\gamma }^{\mu }\psi$, up to the fixed Majorana spinor normalization and improvements. The gauge field is the spin-$3/2$ gravitino ${\Psi }_{\mu }$, with leading transformation $\delta {\Psi }_{\mu }={\kappa }^{-1}{D}_{\mu }ϵ+\cdots$. A coupling of ${\bar{\Psi }}_{\mu }$ to that current cancels the derivative of the local parameter. Since the commutator of two local supersymmetries includes a spacetime transformation, the vierbein and gravity must participate as well. This gives the Wess-Zumino chiral multiplet coupled to supergravity.

The terms displayed in the final expression have the following distinct roles:

The last two interactions are part of the higher-order local supersymmetry completion. They can be organized through the composite Kähler connection in the fermion derivatives, or derived by eliminating the corresponding supergravity auxiliary connection. Matter fermions and gravitini carry the appropriate chiral Kähler weights, fixing the relative current couplings. They are not new adjustable Yukawa interactions. In reading this organization, one must not include the composite connection in $D_{\mu }$ and then count its separately displayed current terms a second time.

Finally the spin connection itself acquires gravitino-induced torsion and matter spin-current contributions. Eliminating this algebraic connection, or solving for auxiliary fields, can make further fermion contact terms implicit in the chosen covariant derivatives and component convention. The key mechanism is current coupling at first order, followed by the covariant and higher-order terms required by local supersymmetry, rather than merely changing ordinary derivatives in the original matter Lagrangian.

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.

The chiral superfield condition is $\boxed{{\bar{D}}_{\dot{\alpha }}\Phi =0}$ for both dotted components. Use left Grassmann derivatives with the displayed supersymmetric covariant derivatives. The odd product rule gives $\partial (\theta {\sigma }^{\mu }\bar{\theta })/\partial {\bar{\theta }}^{\dot{\alpha }}=-(\theta {\sigma }^{\mu }{)}_{\dot{\alpha }}$, soThe chirality constraint therefore says that $\Phi$ is independent of $\bar{\theta }$ at fixed $y$. The Grassmann algebra has only two independent $\theta$ components, so every cubic product of them vanishes. Its general even scalar superfield consequently has a scalar coefficient, a term linear in $\theta$ with a Weyl spinor coefficient, and one quadratic term. Choosing the conventional component normalization gives the chiral-superfield component expansionHere $\varphi$ is a complex scalar field, $\psi$ an odd Weyl spinor and $F_{\mathrm{aux}}$ a complex nonpropagating auxiliary field. Conversely this expansion is annihilated by $\bar{D}$ because $y$ and $\theta$ are. At fixed ordinary $x$, the same result is the terminating translation $\Phi =e^{i\theta {\sigma }^{\mu }\bar{\theta }{\partial }_{\mu }}[\varphi (x)+\sqrt{2}\theta \psi (x)+(\theta \theta )F_{\mathrm{aux}}(x)]$; this retains the printed contraction convention without changing the order in the barred square.

For a local function of scalar superfields, initially allow $f(\Phi ,{\Phi }^{†})$. The chain rule givesFor arbitrary chiral component fields the last factor is not constrained to vanish, so chirality requires $f_{{\Phi }^{†}}=0$. Thus $\boxed{f\text{ must be holomorphic in the chiral fields}}$ on its domain, with no generic conjugate-field dependence. Its ordinary holomorphic derivatives must exist where its nilpotent expansion is evaluated; a pole or branch point there does not define a regular local superfield. Using $(\theta \psi {)}^2=-\frac{1}{2}(\theta \theta )(\psi \psi )$ gives the explicit holomorphic closure of chiral superfields:All three component coefficients are evaluated at $y$. For several chiral superfields, replace $f^{\prime }\psi$ by $f_i{\psi }_i$ and $f^{\prime \prime }\psi \psi$ by $f_{ij}{\psi }_i{\psi }_j$. This requirement concerns a function that is to be chiral for arbitrary field configurations; a special constant field configuration does not impose the same functional constraint.

The ungauged two-derivative supersymmetric action is obtained from a real Kähler potential and a holomorphic superpotential:The first integral is a D-term; the second is an F-term. The Kähler metric $K_{i\bar{j}}$ must be positive for positive scalar kinetic energy. The auxiliary part is $K_{i\bar{j}}{F}_i{\bar{F}}_{\bar{j}}+W_i{F}_i+{\overline{W}}_{\bar{j}}{\bar{F}}_{\bar{j}}$, so eliminating it gives the scalar potential $V=K^{i\bar{j}}{W}_i{\overline{W}}_{\bar{j}}$ in the bosonic sector.

For the single-field Wess–Zumino model, take the canonical Kähler potential $K={\Phi }^{†}\Phi$ and spacetime signature $(+---)$. Component superspace integration givesSince $W^{\prime }=m\varphi +g{\varphi }^2$ and $W^{\prime \prime }=m+2g\varphi$, the auxiliary equation is $F_{\mathrm{aux}}=-(m\varphi +g{\varphi }^2{)}^{\ast }$. Completing its square leaves $-|W^{\prime }{|}^2$ in the Lagrangian. Hence the tree-level effective potential isFor nonzero $m,g$, its two zero-energy supersymmetric vacua are $\varphi =0$ and $\varphi =-m/g$. The potential is nonnegative because it is an absolute square.

The Trilinear scalar vertices in the Wess–Zumino model come fromWith all field legs incoming, expanding $e^{iS}$ and differentiating each cubic monomial givesThe factor $2!$ counts the two identical legs; there is no $1/2!$ in ${\mathcal{L}}_3$ to cancel it. A factor enforcing four-momentum conservation is implicit. These labels specify fields in an all-incoming Feynman rule; physical outgoing particles are assigned by crossing. There are no ${\varphi }^3$ or $({\varphi }^{\ast }{)}^3$ scalar vertices from this on-shell potential.

Equivalently, if $m,g$ are real and $\varphi =(A+iB)/\sqrt{2}$ with canonically normalized real scalars $A,B$, then ${\mathcal{L}}_3=-mgA(A^2+B^2)/\sqrt{2}$. Differentiation gives $\boxed{V_{AAA}=-3\sqrt{2}img,V_{ABB}=-\sqrt{2}img}$, with vanishing $AAB$ and $BBB$ vertices. This is the same pair of complex-field interactions in a real basis.

For the non-renormalization argument, promote $m,g$ to nondynamical chiral spurions. Define one ordinary $U(1)$ and one R-symmetry by the Wess–Zumino spurion charge assignment:

Each superpotential term is neutral under the ordinary symmetry. Under the R-symmetry, both terms have charge two, which is canceled by the charge $-2$ of $d^2\theta$. In particular, $m$ is R-neutral as required. The scalar, spinor and auxiliary components of $\Phi$ have R-charges $1,0,-1$. These are formal symmetries when the couplings transform as spurions; replacing them by fixed nonzero numbers need not leave an actual continuous field symmetry.

A local loop-corrected Wilsonian effective action superpotential $F_{\mathrm{eff}}(\Phi ,m,g)$ must be holomorphic in all three chiral variables and obey the same charges. The ratio $z=g\Phi /m$ is neutral under both symmetries, while $m{\Phi }^2$ has the required charges and mass dimension three. Therefore, on a patch with $m\ne 0$, the most general symmetry-allowed form iswith $h$ holomorphic on its domain. This form follows directly for a monomial ${\Phi }^a{m}^b{g}^c$: ordinary charge gives $a-2b-3c=0$ and R-charge gives $a-c=2$, hence $a=c+2$, $b=1-c$. Each allowed monomial is $g^c{m}^{1-c}{\Phi }^{c+2}$ and already has mass dimension three. Charge symmetry alone leaves $h$ undetermined.

To constrain perturbative loops, retain the original elementary chiral superfield and a nonzero infrared cutoff, rather than integrating out the entire field. A regular perturbative superpotential can be expanded about $g=0$, so $h(z)={\sum }_{n\ge 0}{c}_n{z}^n$ andTerms with $n\ge 2$ have poles at $m=0$. They are excluded by regularity of the local Wilsonian coefficients in the massless limit with the infrared cutoff fixed. At $g=0$ the theory is Gaussian, so the quadratic coefficient remains $c_0=1/2$. The term linear in $g$ is the single original cubic vertex: a diagram with three external fields and only that one interaction vertex has no internal loop. Holomorphy disallows coefficients involving $g^{\ast }$ or $m^{\ast }$, so it cannot conceal the usual nonholomorphic wave-function corrections in $c_1$. Matching the one-vertex term gives $c_1=1/3$. Thus the holomorphy argument for superpotential non-renormalization givesThe infrared qualification matters: a singular one-particle-irreducible expression or the action after eliminating an entire massive multiplet is not the same local Wilsonian effective action for the retained field.

Consequently the holomorphic superpotential and its parameters m and g receive no perturbative vertex renormalization. The Kähler potential does undergo wave-function renormalization. If its quadratic term is $Z{\Phi }^{†}\Phi$, then canonical normalization gives ${\Phi }_c=Z^{1/2}\Phi$ andThese canonically normalized running couplings can therefore be renormalized despite the non-renormalization theorem for the holomorphic superpotential. Loop corrections can also change the effective scalar potential through the corrected Kähler metric. The distinction between holomorphic coefficients and canonically normalized couplings is essential to answering the renormalization question.

Chirality and the component expansion. A chiral superfield is constrained byUse left Grassmann derivatives. The sign from differentiating an odd factor matters:For a general superfield written in coordinates $(y,\theta ,\bar{\theta })$, the odd chain rule consequently turns the given superspace covariant derivative intoThe chirality constraint removes the explicit $\bar{\theta }$ dependence at fixed $y$. There are only two components of $\theta$, and their Grassmann algebra allows at most a quadratic monomial. Its finite chiral-superfield component expansion is thereforeHere $\phi$ is a complex scalar field, $\psi$ a Weyl spinor, and $F_{\mathrm{aux}}$ a complex auxiliary field; the last label avoids confusing it with the effective superpotential later. The factor $\sqrt{2}$ is the standard canonical component normalization. In ordinary coordinates the same statement isThis translation exponential terminates because its shift is nilpotent; it displays the full component dependence without an unstated convention for the barred spinor square.

A superspace covariant derivative obeys the graded product rule. Since an ordinary scalar chiral superfield is even, $\bar{D}({\Phi }^n)=n{\Phi }^{n-1}\bar{D}\Phi =0$. Linear combinations prove the polynomial claim. More generally, a nonsingular holomorphic function of chiral fields is chiral; inserting conjugate fields generally spoils this holomorphic closure of chiral superfields.

The superspace action. For a real Kähler potential and a holomorphic superpotential, the global chiral-field action has Lagrangian densityFull superspace integration gives a D-term, and chiral superspace integration an F-term. The action is real, and its supersymmetry variations are spacetime total derivatives. For one field, positive $K_{\phi \bar{\phi }}$ and algebraic elimination give $V=K^{\phi \bar{\phi }}|W_{\phi }{|}^2$. The Wess–Zumino model uses the canonical choice $K={\Phi }^{†}\Phi$ at tree level.

Scalar potential and the vertex. In canonical normalization, the auxiliary part of the Lagrangian density isSubstitution leaves ${\mathcal{L}}_{\mathrm{aux}}=-|W_{\phi }{|}^2$. Differentiating the given quadratic-plus-cubic superpotential therefore gives the tree-level effective potentialThis applies for complex $m,g$. In terms of canonically normalized real fields $\phi =(A+iB)/\sqrt{2}$, phases may be chosen to make $m,g$ real, in which caseThe complex-field quartic interaction is ${\mathcal{L}}_{\mathrm{int}}=-|g{|}^2{\phi }^{\ast 2}{\phi }^2$. There are two identical external legs of each field type. Differentiating with respect to those four fields, or counting the Wick attachments to the vertex, produces the factor $2!2!$:The local Feynman diagram for this quartic complex-scalar vertex in the Wess–Zumino model is

If real-field Feynman rules are preferred, the $AAAA$ and $BBBB$ vertices are $-6i|g{|}^2$, while the $AABB$ vertex is $-2i|g{|}^2$. These are the same interaction in a different component basis. They should not be confused with a convention that absorbs $2!2!$ into the coefficient of the complex quartic term.

Spurion symmetries. Treat $m,g$ as chiral spurions. An ordinary $U(1)$ acts on $\Phi ,m,g$ with charges $(1,-2,-3)$ and leaves $\theta$ neutral. An R-symmetry gives $\theta$ charge one and $\Phi ,m,g$ charges $(1,0,-1)$. Thus

Each superpotential term has ordinary charge zero and R-charge two; the chiral integration measure has R-charge minus two. In particular $m$ is neutral under the specified R-symmetry. These are formal transformations of fields and parameters together, not two exact symmetries of a theory with arbitrary fixed nontransforming numerical couplings. This Wess–Zumino spurion charge assignment is useful because it constrains possible quantum terms.

The general holomorphic form. Let $\mathcal{F}(\Phi ,m,g)$ denote the local effective superpotential, reserving $F_{\mathrm{aux}}$ for the auxiliary component. The holomorphy argument for superpotential non-renormalization permits dependence on the chiral spurions, not on their conjugates. The dimensionless combination $z=g\Phi /m$ is neutral under both formal symmetries, whereas $m{\Phi }^2$ has the required dimension and charges. Hence, for $m\ne 0$, their most general allowed form iswith a holomorphic function $f$ before perturbative regularity and matching conditions are imposed. Equivalently, a monomial $m^a{g}^b{\Phi }^c$ must obeySolving gives $a=1-b$, $c=b+2$. Thus the terms in the holomorphic expansion have the form $a_b{g}^b{m}^{1-b}{\Phi }^{b+2}$, which is precisely the expansion of the displayed function.

What is and is not renormalized. Apply the non-renormalization theorem to a local Wilsonian effective action retaining the elementary field and a nonzero infrared cutoff. Perturbative coefficients are regular as $g\to 0$ and $m\to 0$: no massless infrared modes have been integrated all the way to zero momentum. Negative powers of $g$ are incompatible with the free weak-coupling limit, and powers $b\ge 2$ would require negative powers of $m$. Only the quadratic and cubic structures survive this regularity test. Their coefficients cannot acquire a loop correction here: a quadratic term with no $g$ is the free-theory mass term, while a cubic term only linear in $g$ is already the tree interaction. A loop renormalizing that cubic term requires additional interaction insertions. Such a dependence is excluded by the holomorphic charge constraints; dependence on $g^{\ast }$ cannot repair it in a superpotential. Matching to the specified tree action fixesThe $m=0$ limit is taken in the final polynomial, not by evaluating the intermediate ratio $g\Phi /m$. The holomorphic Wilsonian superpotential and its parameters $m,g$ receive no independent perturbative vertex renormalization. Symmetries alone would only give the arbitrary function $f$; regularity and the free/tree matching are necessary to reach the stronger conclusion.

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

Take a canonical Kähler potential $K={\Phi }^{†}\Phi$ and the Wess–Zumino model superpotentialThe F-term component givesEliminating the auxiliary field by $F=-\overline{W^{\prime }(\varphi )}$ gives the F-term scalar potential $V=|W^{\prime }(\varphi ){|}^2$. ConsequentlyThis is the supersymmetric relation between quartic and Yukawa couplings: there is one holomorphic parameter $g$, with the quartic coefficient $|g{|}^2$ and the Yukawa coupling $g$ in the displayed normalization. For real $g$ the quartic coefficient is the $g^2$ of the question. They cannot be varied independently while retaining this canonical supersymmetry.

The relation produces the supersymmetric cancellation of quadratic divergences. Bosonic and fermionic Feynman diagrams correcting a scalar mass have equal ultraviolet quadratic coefficients and opposite signs, so the mass is not driven directly to the ultraviolet cutoff scale. In a theory with soft supersymmetry breaking, residual corrections instead have the schematic sizewith coefficients and logarithms depending on the spectrum. Thus superpartner masses near the electroweak scale can stabilize the Higgs boson mass against a much larger cutoff, addressing the radiative part of the hierarchy problem. Heavy sparticles leave a corresponding residual sensitivity; the cancellation does not by itself explain every mass scale.

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

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

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

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

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

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

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

With canonical Kähler potential, the Wess–Zumino model action isA spurion is a nondynamical background superfield assigned charges so that a coupling transforms covariantly and the action can be treated as formally symmetric.

In a canonical Wess–Zumino model with cubic superpotential $g{\Phi }^3/3$, auxiliary elimination gives a complex-scalar quartic interaction with two legs of each field type. With all momenta incoming and the displayed coefficient, its Feynman rule is $-i(2!2!)|g{|}^2$. For $\phi =(A+iB)/\sqrt{2}$, the same quartic scalar potential is $|g{|}^2(A^2+B^2{)}^2/4$, with real-field rules $-6i|g{|}^2$ for four identical legs and $-2i|g{|}^2$ for two of each. Factorials depend on how the coefficient is defined, not on a new physical coupling.

In a canonical Wess–Zumino model, complete the static transverse energy into $|{\varphi }^{\prime }-e^{i\alpha }\overline{W^{\prime }}{|}^2+2\mathrm{Re}(e^{-i\alpha }dW/dz)$. Choosing the phase of $\Delta W$ gives the tension bound. A solution of the displayed first-order equation attains it and preserves two of four real supercharges. For $W={\mu }^2\Phi /g-g{\Phi }^3/3$, $\varphi (z)=(\mu /g)\tanh (\mu z)$ interpolates between the two vacua and has tension $8{\mu }^3/(3g^2)$.

In a canonical Wess–Zumino model with cubic superpotential $g{\Phi }^3/3$, eliminating the auxiliary field gives $V\supset |g{|}^2|\phi {|}^4$ and $\mathcal{L}\supset -g\phi \psi \psi +h.c.$. Thus the coefficient of the quartic scalar field interaction is the squared modulus of this convention for the Yukawa coupling.

Localizing the rigid supersymmetry of a free Wess–Zumino model produces a derivative of the supersymmetry parameter multiplying the supercurrent. The Noether gauging procedure introduces a gravitino coupled to this current. Closure also requires a vierbein, the Einstein-Hilbert action, covariant matter kinetic terms and higher-order interactions. The leading gravitino-matter coupling contains the derivative of the scalar, not its undifferentiated value.