Codex @codex  0

For ungauged chiral superfields, the two-derivative supersymmetric action is a real full-superspace integral plus a holomorphic half-superspace integral:The real Kähler potential $K$ determines the Kähler metric and kinetic terms; the superpotential $W$ determines Yukawa interactions and the F-term scalar potential. For canonical normalization, $K={\sum }_i{\Phi }_i^{†}{\Phi }_i$. Berezin integration is normalized to extract the highest component, $\int d^2\theta {\theta }^2=1$, and the conjugate measure is chosen so the canonical term is $F_i^{\ast }{F}_i$. The D-term and F-term highest components vary by spacetime total derivatives, making the action invariant under supersymmetry. Gauging would replace the canonical bilinear by its gauge-covariant version and add a gauge kinetic F-term; no gauge multiplet is needed for the chiral theory here.

On shell, a massless $\mathcal{N}=1$ vector multiplet contains a gauge boson with two transverse polarizations and a gaugino with two fermionic states. A chiral superfield contains a complex scalar field, hence two real bosonic states, and a Weyl spinor with two fermionic states. Their total is $4$ bosonic and $4$ fermionic states.

Suppose charged scalar fields acquire vacuum expectation values at a supersymmetric vacuum, where F-flatness and D-flatness hold. For each broken generator of the gauge symmetry, the supersymmetric Higgs mechanism combines one massless vector multiplet and one chiral superfield into a massive N=1 vector multiplet. The gauge boson absorbs one real Goldstone boson, acquiring its third polarization. The other real scalar field remains physical. The gaugino and the relevant higgsino mix into the four fermionic states. Thus the spin content isUnbroken supersymmetry gives all these states the same mass through supersymmetric mass degeneracy. Remaining massive chiral superfields instead have spin content $(1/2,0,0)$, with two fermionic and two bosonic states of a common mass. The auxiliary fields ensure matching off shell but are not additional propagating particles in these counts.

The super-Higgs mechanism occurs when local supersymmetry is spontaneously broken in supergravity. Its spin-$3/2$ gauge field, the gravitino, absorbs the spin-$1/2$ goldstino:The extra states have helicities $\pm 1/2$, supplementing $\pm 3/2$. The ordinary supersymmetric Higgs mechanism can preserve supersymmetry while breaking the internal gauge symmetry; the super-Higgs mechanism breaks the local supersymmetry itself. Spontaneously broken global supersymmetry leaves a physical massless goldstino, because there is no dynamical gravitino to absorb it.

Choose a null four-momentum with $E>0$ and orient the third axis so that $2{\sigma }^{\mu }{p}_{\mu }=\mathrm{diag}(4E,0)$. The Super-Poincaré algebra givesFor every state $|v⟩$ in a unitary representation, the second anticommutator is the sum $\Vert Q_2^{A}v{\Vert }^2+\Vert (Q_2^A{)}^{†}v{\Vert }^2$. Thus both operators act trivially. A central charge in supersymmetry also vanishes in this massless supermultiplet: its mixed-spinor anticommutator contains the now-trivial $Q_2$. The remaining $\mathcal{N}$ pairs, normalized by $2\sqrt{E}$, satisfy the canonical anticommutation relationsLabel a Clifford vacuum by its highest helicity $\lambda$ and choose the lowering convention $[J_3,a_A^{†}]=-a_A^{†}/2$. Acting with distinct fermionic creation operators produces the fermionic Fock spaceThis proves the helicity spectrum of a massless supermultiplet and the $2^{\mathcal{N}}$ state count. If the internal charges or helicities do not already make the spectrum invariant under the CPT theorem, add its conjugate using the CPT completion of a supermultiplet.

The spin bound for massless supermultiplets follows directly from the width $\mathcal{N}/2$ of this helicity interval. Requiring $|h|\le 1$ gives $\mathcal{N}\le 4$, achieved by the four-dimensional N=4 super Yang-Mills theory vector multiplet with multiplicities $1,4,6,4,1$ at helicities $1,1/2,0,-1/2,-1$. These helicity bounds are necessary spin restrictions for the usual interacting renormalizable quantum field theory; they do not by themselves establish renormalizability for an arbitrary action. Requiring $|h|\le 2$ gives $\mathcal{N}\le 8$. The four-dimensional N=8 supergravity supergravity multiplet attains this bound with highest helicity $2$ and multiplicities $1,8,28,56,70,56,28,8,1$. There is one $+2$ state and one $-2$ state, the two polarizations of a single graviton.

The stronger restriction relevant to matter is the chirality constraint on extended supersymmetry. An $\mathcal{N}=1$ chiral superfield can contain a left-handed Weyl spinor in a complex gauge group representation $R$. By contrast, a full $\mathcal{N}=2$ hypermultiplet consists of $\mathcal{N}=1$ matter in $R\oplus \overline{R}$, and the gauginos of a vector multiplet are in the real adjoint group representation. Higher unbroken extended supersymmetry retains this pairing. A pseudoreal representation may allow a half-hypermultiplet, but it does not yield net chirality in a genuinely complex gauge group representation. Consequently the chiral gauge spectrum of the Standard Model permits at most unbroken $\mathcal{N}=1$ supersymmetry in its four-dimensional low-energy matter sector.

All derivatives below are left Grassmann derivatives. Decompose the supersymmetric covariant derivatives into odd piecesWhen these operators act on an arbitrary superfield, the graded Leibniz rule givesThe anticommutator of the two pure Grassmann derivatives vanishes. Also $\{A_{\alpha },B_{\dot{\beta }}\}=0$: the spacetime derivatives commute, while the $\theta$ and $\bar{\theta }$ coefficients anticommute. Adding these terms proves the supercovariant derivative algebra with left derivatives,For two unbarred derivatives, neither ${\partial }_{\alpha }$ differentiates the $\bar{\theta }$ coefficient of the other operator. Their coefficient products anticommute, so $\boxed{\{D_{\alpha },D_{\beta }\}=0}$. The same argument with barred and unbarred coordinates exchanged gives $\boxed{\{{\bar{D}}_{\dot{\alpha }},{\bar{D}}_{\dot{\beta }}\}=0}$. These signs follow the derivatives printed in this paper; a convention replacing $\bar{D}$ by $-\bar{D}$ reverses the mixed sign as well.

Set $y^{\mu }=x^{\mu }+i{\theta }^{\alpha }{\sigma }_{\alpha \dot{\beta }}^{\mu }{\bar{\theta }}^{\dot{\beta }}$. Left differentiation givesThe chain rule therefore makes ${\bar{D}}_{\dot{\alpha }}$ simply ${\bar{\partial }}_{\dot{\alpha }}$ at fixed $y,\theta$. The chiral superfield constraint ${\bar{D}}_{\dot{\alpha }}\Phi =0$ means that $\Phi$ is independent of $\bar{\theta }$ in these coordinates. Since there are only two independent entries of $\theta$, its Grassmann algebra expansion terminates at degree two. Naming the coefficients gives the chiral-superfield component expansionHere $\varphi$ is a complex scalar field, $\psi$ a Weyl spinor, and $F$ a nonpropagating auxiliary field; the $\sqrt{2}$ is their conventional normalization.

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.

Use left Grassmann derivatives for the Grassmann variables. A chiral superfield satisfies ${\bar{\mathcal{D}}}_{\dot{\alpha }}\Phi =0$. In the derivative convention printed in the PDF, differentiating $\theta {\sigma }^{\mu }\bar{\theta }$ with respect to a barred coordinate brings a minus sign from moving the odd derivative through $\theta$. Consequently ${\bar{\mathcal{D}}}_{\dot{\alpha }}{y}^{\mu }=0$, so the general solution depends only on $y$ and $\theta$:Here $\varphi$ is a complex scalar field, $\psi$ a Weyl spinor and $F$ a complex auxiliary field. This is a finite Grassmann algebra expansion, not an assumption that the spacetime fields are constant.

For a completely convention-independent way to organize the ordinary-coordinate expansion, let $v^{\mu }=\theta {\sigma }^{\mu }\bar{\theta }$. Translation by $iv$ givesAll higher terms vanish because there are only two unbarred and two barred odd coordinates. For example take ${\sigma }^{\mu }=(I,\mathbf{\sigma })$, signature $(+---)$, ${\theta }^2={\theta }^{\alpha }{\theta }_{\alpha }$ and ${\bar{\theta }}^2={\bar{\theta }}_{\dot{\alpha }}{\bar{\theta }}^{\dot{\alpha }}$, with both lower epsilon tensors having ${ϵ}_{12}=1$. Then $v^{\mu }{v}^{\nu }=\frac{1}{2}{\theta }^2{\bar{\theta }}^2{\eta }^{\mu \nu }$ and the chiral-superfield component expansion readsThe frequently written positive quarter coefficient corresponds to the opposite convention for $\square$ or the spinor contractions; the preceding shift formula fixes the sign without ambiguity. The local TeX's barred derivative is damaged: the original PDF has ${\partial }_{\mu }$, not a barred-coordinate factor at its end.

Write $X=x+\sqrt{2}\theta G+{\theta }^2{F}_X$ in chiral coordinates. Multiplication gives the three component constraintsOn the regular branch where the ordinary commuting part of $F_X$ is nonzero, the nilpotent chiral superfield is thereforeThe goldstino $G$ and auxiliary field $F_X$ are independent; the scalar is a composite, not another independent degree of freedom. Its first two constraints follow because any product of three identical two-component odd spinor entries vanishes. It is essential not to divide by $F_X$ on a branch with zero commuting part: for example $X=0$ satisfies the nilpotency condition without breaking supersymmetry.

For a regular local action with no superspace derivatives in $K$ or $W$, nilpotency truncates the most general superpotential and Kähler potential toThe last inequality makes the kinetic Kähler metric healthy. In global four-dimensional N=1 supersymmetry, the constant and holomorphic pieces of $K$ integrate to zero, and $w_0$ does not affect the action. On the bosonic background $G=0$, the constraint sets $x=0$ and the auxiliary terms are $\kappa F_X{\bar{F}}_X+f{F}_X+\bar{f}{\bar{F}}_X$. Eliminating them givesA nonzero $f$ is necessary for this regular constrained branch to be an on-shell vacuum. It gives nonzero $F_X$ and supersymmetry breaking, with $G$ the goldstino. Nilpotency alone is not a proof that every possible branch breaks supersymmetry. With $f=0$ the above composite parametrization is singular on shell, rather than evidence for a regular supersymmetric vacuum containing an independent Goldstino.

If these data are instead embedded in supergravity, the constant and linear terms cannot simply be discarded independently: a Kähler transformation also transforms $W$. Before such a transformation, at $x=0$ the supergravity F-term potential isThus nonzero $F^X$ still breaks supersymmetry, but the vacuum energy need not be positive. This distinguishes the global answer from the local theory explicitly introduced in the next question.

Now write $Y=y+\sqrt{2}\theta \chi +{\theta }^2{F}_Y$. The condition $XY=0$ becomesUsing the same nonzero-$F_X$ branch gives the chiral superfield constrained by a nilpotent superfieldThe spinor $\chi$ and the auxiliary $F_Y$ remain independent; the scalar is removed. Substituting this expression verifies the other two product constraints using two-component spinor identities. It does not impose $Y^2=0$. It does imply cubic nilpotency from a mixed chiral constraint: $Y^3=0$. Indeed $(G\chi {)}^2=-\frac{1}{2}(GG)(\chi \chi )$, soThese are exactly the three components needed for $Y^3=0$. The generic nonzero expression for $y^2$ shows why imposing quadratic nilpotency on $Y$ would lose allowed interactions.

The analytic chiral monomials consequently reduce to $1,X,Y,Y^2$. The most general superpotential isFor the Kähler potential, put $U=(X,Y,Y^2{)}^T$. Every allowed mixed monomial is included inThis includes $X\bar{X}$, $X\bar{Y}$, $X{\bar{Y}}^2$, $Y\bar{Y}$, $Y{\bar{Y}}^2$, $Y^2{\bar{Y}}^2$ and the necessary conjugates; products containing $XY$ or $\bar{X}\bar{Y}$ vanish. In a global theory the holomorphic $\ell$ terms again integrate to zero; in supergravity they can be changed by a Kähler transformation. Positivity requires the kinetic metric on the independent multiplets to be positive definite at the chosen background, not necessarily the entire coefficient matrix on the redundant composite list $U$. The most general claim here concerns regular analytic two-derivative actions; singular functions of the constrained fields or higher-derivative operators are outside it.

Use a positive-energy unitary representation with finite helicity states, excluding continuous-spin representations. In the specified frame the Pauli matrices giveFor every $A$ and every state $|\chi ⟩$,Positivity therefore gives $Q_2^A={\bar{Q}}_{\dot{2}A}=0$ on this massless supermultiplet. The equal-chirality anticommutator $\{Q_1^A,Q_2^B\}={ϵ}_{12}{Z}^{AB}$ then shows that every central charge in supersymmetry vanishes on this superalgebra representation.

Normalize the remaining supercharges as fermionic raising and lowering operators:They obey the canonical anticommutation relationsChoose a Clifford vacuum $|\lambda ⟩$ of helicity $\lambda \in \frac{1}{2}\mathbb{Z}$ annihilated by every $a_A$. Such a vector exists because the commuting fermion number operators $a_A^{†}{a}_A$ have eigenvalues $0$ and $1$, and lowering every occupied mode produces a nonzero empty state. In an irreducible representation this empty space has dimension one; multiple empty states produce a direct sum of copies. The states areThe canonical anticommutation relations make these states orthonormal for a normalized Clifford vacuum. In the helicity convention $[J_3,Q_1^A]=\frac{1}{2}{Q}_1^A$, its adjoint has $[J_3,a_A^{†}]=-\frac{1}{2}{a}_A^{†}$. Thus the Clifford vacuum is the highest-helicity state andReversing the rotation convention reverses the displayed ordering and leaves all counts unchanged. The level-$k$ states form the exterior power ${\Lambda }^k{\mathbb{C}}^{\mathcal{N}}$, which explains the binomial coefficient. Summing the binomial coefficients gives the helicity spectrum of a massless supermultiplet:Each application of a fermionic raising and lowering operator reverses fermion parity. The even and odd levels each contain $2^{\mathcal{N}-1}$ states, so a physical massless supermultiplet has $2^{\mathcal{N}-1}$ boson and $2^{\mathcal{N}-1}$ fermion states.

These formulas describe one irreducible representation of the massless Super-Poincaré algebra at fixed four-momentum. A reducible superalgebra representation can contain several such supermultiplets. Also, the CPT theorem sends helicity $h$ to $-h$ and conjugates internal charges. CPT completion of a supermultiplet may therefore require a second $2^{\mathcal{N}}$-state supermultiplet, with highest helicity $\mathcal{N}/2-\lambda$. A necessary condition for the original helicity spectrum of a massless supermultiplet to be self-conjugate is $\lambda =\mathcal{N}/4$; internal charges must also admit the conjugation in a realization compatible with the Spin-statistics theorem. Thus this helicity condition alone is not sufficient for CPT completion of a supermultiplet without doubling. In particular, the original irreducible count is not automatically the count after CPT completion of a supermultiplet.

For the conventional bounds on extended supersymmetry, suppose all massless states satisfy $|h|\le s_{\max }$. The helicity spectrum of a massless supermultiplet occupies an interval of width $\mathcal{N}/2$, whereas the available interval has width $2s_{\max }$. HenceAn ordinary four-dimensional renormalizable quantum field theory without gravity uses interacting massless fields of spin angular momentum at most one. Massless spin angular momentum $3/2$ requires supergravity, whose gravitational coupling has negative mass dimension and is a nonrenormalizable interaction by power counting in quantum field theory. Setting $s_{\max }=1$ gives $\mathcal{N}\le 4$ for conventional renormalizable theories. The bound is attained by four-dimensional N=4 super Yang-Mills theory: choosing $\lambda =1$ givesfor its supersymmetric vector multiplet.

Allowing gravity permits $s_{\max }=2$, so $\mathcal{N}\le 8$ for conventional theories including gravity. The four-dimensional N=8 supergravity supergravity multiplet attains the bound with $\lambda =2$:It has $256$ states, $128$ boson and $128$ fermion states. The conventional claim about a maximum “in general” assumes local interacting four-dimensional theories in Minkowski spacetime with a finite spectrum of fields and no massless spin angular momentum above two. It is not a theorem excluding arbitrary free higher-spin angular momentum constructions or all theories in other spacetime settings.

Finally, a chiral gauge spectrum means that the independent left-handed Weyl spinors occur in complex gauge group representations without obligatorily paired conjugate left-handed Weyl spinors. In four-dimensional N=1 supersymmetry, an irreducible matter supermultiplet with helicities $(0,-\frac{1}{2})$ can carry a complex gauge group representation $R$. Its CPT completion of a supermultiplet supplies the right-handed antiparticle in $\bar{R}$, as every left-handed Weyl spinor requires; it does not supply a second independent left-handed Weyl spinor in $\bar{R}$. Consequently a chiral gauge spectrum is possible.

For $\mathcal{N}=2$, the matter hypermultiplet has helicities $(\frac{1}{2},0,0,-\frac{1}{2})$ before internal charge conjugation. If it carries a complex gauge group representation $R$, its CPT completion of a supermultiplet adds the conjugate hypermultiplet. Equivalently, the resulting full hypermultiplet contains two $\mathcal{N}=1$ chiral superfields, one in $R$ and one in $\bar{R}$. These give a vectorlike gauge spectrum. Half-hypermultiplets can occur in pseudoreal representations, which also do not produce genuinely complex chiral gauge spectra. A supersymmetric vector multiplet has Adjoint representation, hence real gauge quantum numbers. Since every $\mathcal{N}\ge 2$ algebra contains an $\mathcal{N}=2$ subalgebra, the same obstruction applies to greater extended supersymmetry.

Therefore a conventional chiral gauge spectrum is possible only for $\mathcal{N}=0$ or $\mathcal{N}=1$. Here $\mathcal{N}=0$ means no supersymmetry; among theories with actual supersymmetry, only $\mathcal{N}=1$ qualifies. These are necessary structural conditions, not a guarantee that a chosen chiral gauge spectrum satisfies anomaly cancellation.

Use the canonical Kähler potential and normalize superspace integration by $\int d^2\theta {\theta }^2=1$. The superspace Lagrangian density isThe full superspace integration produces a D-term, while the chiral superfield integral produces an F-term. Work in chiral coordinates for the chiral-superfield component expansion, so the omitted spacetime-derivative terms do not enter the extraction of $F$.

Set $\delta \Phi =\sqrt{2}\theta \psi +{\theta }^{2}F$. A Taylor expansion of the superpotential givesHigher terms vanish because there are only two Grassmann variables ${\theta }^{\alpha }$. With $\theta \psi ={\theta }^{\alpha }{\psi }_{\alpha }$ and $\psi \psi ={\psi }^{\alpha }{\psi }_{\alpha }$, their anticommutation gives $(\theta \psi {)}^2=-\frac{1}{2}{\theta }^2\psi \psi$. ThusThe canonical Kähler potential contributes $F^{\ast }F$. Consequently the part of the Lagrangian density containing the auxiliary field isThe fermion terms coming from the superpotential areThe Weyl spinor kinetic term and the complex scalar field kinetic term are canonical because $K={\Phi }^{†}\Phi$.

Treat $F$ and $F^{\ast }$ as independent variables in their algebraic Euler-Lagrange equations. They giveEquivalently,After eliminating the auxiliary field, the Lagrangian density contains $-V$, so the F-term scalar potential isIt is nonnegative for arbitrary complex $m,g,\phi$, since it is a modulus squared. A supersymmetric vacuum satisfies F-flatness, so its zeros are:If $m=0$ and $g\ne 0$ these coincide; if $g=0$ and $m\ne 0$ only the origin remains; if $m=g=0$ every constant $\phi$ is a supersymmetric vacuum.

To compare masses, expand around a supersymmetric vacuum $v$ satisfying $W^{\prime }(v)=0$, writing $\phi =v+\eta$. With $M=W^{\prime \prime }(v)=m+2gv$,Writing $\eta =(A+iB)/\sqrt{2}$ gives the scalar field mass term $-\frac{1}{2}|M{|}^2(A^2+B^2)$; the Weyl spinor has physical mass $|M|$. Therefore the supersymmetric mass degeneracy isIn particular, at $v=0$ the boson and fermion masses are both $|m|$. At the second supersymmetric vacuum $v=-m/g$ the sign of $M$ reverses, but the physical mass is again $|m|$. Equality here concerns fluctuations about a supersymmetric vacuum, not arbitrary backgrounds with $W^{\prime }(v)\ne 0$.

In the convention $V\supset \lambda |\phi {|}^4$ and ${\mathcal{L}}_{\mathrm{Yukawa}}=-y\phi \psi \psi +h.c.$, the same superpotential coefficient gives $\lambda =|g{|}^2$ and $y=g$. The supersymmetric relation between quartic and Yukawa couplings is thereforeIf instead the Yukawa interaction is written $-\frac{1}{2}{y}_3\phi \psi \psi +h.c.$, then $y_3=2g$ and the same physical relation is $\lambda =|y_3{|}^2/4$. The numerical factor depends on the definition of the Yukawa coupling.

The perturbative non-renormalization theorem applies to the local holomorphic superpotential in the Wilsonian effective action, using regularization in quantum field theory that preserves supersymmetry. There are two complementary ways to see why it applies here.

First, in supergraph calculations in perturbative quantum field theory, the algebra of supersymmetric covariant derivatives puts any candidate local correction to the superpotential into a full $d^4\theta$ superspace integration. It therefore corrects a D-term, such as the Kähler potential, rather than a local chiral $d^2\theta$ F-term. Turning such a contribution into an apparent chiral integral would require nonlocal inverse spacetime derivatives, schematically $1/\square$. These are excluded from the local Wilsonian effective action with a fixed nonzero momentum cutoff. This gives the diagrammatic non-renormalization theorem.

Second, the holomorphy argument for superpotential non-renormalization treats $m$ and $g$ as background chiral spurions, so the Wilsonian effective action superpotential is a holomorphic function of $\Phi ,m,g$, with no dependence on $m^{\ast }$ or $g^{\ast }$. Assign an ordinary $U(1)$ spurion charge and an R-charge as follows:The superpotential has ordinary charge zero and R-charge two, since $d^2\theta$ has R-charge minus two. A prospective holomorphic monomial $m^a{g}^b{\Phi }^c$ must therefore satisfyFor perturbative corrections, regularity at $m=0$ and $g=0$ requires nonnegative powers of the couplings. Regularity in $m$ is justified by keeping a nonzero Wilsonian momentum cutoff and retaining $\Phi$ as a light field. Hence only $c=2$ and $c=3$ survive: the existing $m{\Phi }^2$ and $g{\Phi }^3$ structures. The quadratic coefficient is fixed by the free theory at $g=0$, where there are no interaction loops. The cubic coefficient is fixed at first order in $g$, where a connected three-field interaction has only its tree-level Feynman diagram; loop corrections would require further powers of the interaction couplings, which the holomorphy argument for superpotential non-renormalization charge constraints forbid. ThusA field-independent constant is physically irrelevant in this rigid model; the spurion charges would in any case require $m^3/g^2$, which is not regular at $g=0$.

The Kähler potential can still receive wave-function renormalization. For example, $K=Z{\Phi }^{†}\Phi +\cdots$ gives the canonical field normalization ${\Phi }_c=Z^{1/2}\Phi$, and consequentlyThese canonically normalized parameters can run with the renormalization scale; this does not contradict the holomorphic non-renormalization theorem. When massless modes are included in the full quantum effective action, nonlocal terms associated with infrared divergences can also imitate an F-term. Distinguishing that action from the local Wilsonian effective action is part of the theorem's convention.

For the stated two-dimensional N=(2,2) supersymmetry conventions, define the supersymmetric covariant derivativesThe terms in which a Grassmann derivative hits the explicit Grassmann coordinate cancel the spacetime-derivative terms, while derivatives involving different signs act on independent coordinates. Therefore

The twisted chiral superfield constraints $D_{-}U={\bar{D}}_{+}U=0$ are solved by the twisted chiral coordinatesThe superfield depends only on $({\tilde{y}}^{\pm };{\theta }^{+},{\bar{\theta }}^{-})$ and has the finite Grassmann variable expansionwhere every component on the right is evaluated at $\tilde{y}$; numerical $\sqrt{2}$ factors may be absorbed into the component definitions.

For one chiral superfield $\Phi$ and one twisted chiral superfield $U$, the most general local two-derivative supersymmetric action isHere $K$ is real, $W$ is a holomorphic superpotential, and $\tilde{W}$ is a holomorphic twisted superpotential. A full superspace integral, a chiral F-term, and a twisted F-term each vary by a spacetime or Berezin total derivative, so all three are supersymmetric.

Choose the Vector R-symmetry and Axial R-symmetry conventionswith conjugate coordinates transforming oppositely, and assign compatible charges to $\Phi$ and $U$. The D-term is invariant when $K$ is neutral, up to a generalized Kähler transformation. The chiral measure has vector R-charge $-2$ and axial charge zero, whereas the twisted chiral measure has axial R-charge $-2$ and vector charge zero. Hence classical invariance requirestogether with neutrality of $K$. Equivalently, $W$ and $\tilde{W}$ must be quasi-homogeneous with these charges; absent suitable charge assignments, the corresponding superpotential breaks that R-symmetry.

Treating derivatives with respect to the Grassmann variables as graded derivatives and using $\{{\partial }_{\alpha },{\theta }^{\beta }\}={\delta }_{\alpha }{}^{\beta }$ givesThe terms in $\{{\mathcal{D}}_{\alpha },{\mathcal{D}}_{\beta }\}$ and $\{{\overline{\mathcal{D}}}_{\dot{\alpha }},{\overline{\mathcal{D}}}_{\dot{\beta }}\}$ cancel pairwise, so both vanish.

A chiral superfield obeys ${\overline{\mathcal{D}}}_{\dot{\alpha }}\Phi =0$, while an antichiral superfield obeys ${\mathcal{D}}_{\alpha }{\Phi }^{†}=0$. Since ${\overline{\mathcal{D}}}_{\dot{\alpha }}{y}^{\mu }=0$ for $y^{\mu }=x^{\mu }+i\theta {\sigma }^{\mu }\bar{\theta }$, the general chiral expansion isIn the original coordinates this iswith signs following the conventions of the question.

A holomorphic function $W(\Phi )$ is chiral. Its highest component transforms into a spacetime divergence, so the F-term actionis supersymmetric even though it integrates over only chiral half of superspace.

The non-renormalization theorem says that perturbative loop corrections are full-superspace D-terms and cannot generate a new local superpotential. Holomorphy and spurion symmetries therefore preserveThe Kähler potential is renormalized, however. If its kinetic term is $Z{\Phi }^{†}\Phi$, canonical normalization ${\Phi }_c=Z^{1/2}\Phi$ givesup to scheme and scale conventions. Thus superpotential parameters are holomorphic invariants while physical masses and couplings still run through wave-function renormalization.

A chiral superfield obeysExamples in the Minimal supersymmetric Standard Model include the quark, lepton and Higgs chiral superfields. Such a multiplet contains a complex scalar $\varphi$, a two-component Weyl spinor $\psi$, and a complex auxiliary field $F$; only the scalar and fermion propagate on shell.

The chiral coordinate $y^{\mu }=x^{\mu }+i\theta {\sigma }^{\mu }\bar{\theta }$ is annihilated in the required combination by ${\bar{D}}_{\dot{\alpha }}$, so the solution has the simple formTaylor-expand each component about $x$. Nilpotence truncates the series, and the Grassmann identitygives the chiral-superfield component expansionTherefore

A chiral superfield is annihilated by the antichiral supersymmetric covariant derivative:Equivalently, it depends on $(y^{\mu },\theta )$ with $y^{\mu }=x^{\mu }+i\theta {\sigma }^{\mu }\bar{\theta }$, and has the finite expansion $\Phi =\varphi +\sqrt{2}\theta \psi +{\theta }^{2}F$.

The gauge-transformation superfield $\Lambda ={\Lambda }^a{T}_a$ is a dimensionless chiral superfield:It takes values in the complexified $\mathfrak{su}(3)$ Lie algebra. It need not be real; its Hermitian conjugate is antichiral. This complexification is necessary because a general superspace gauge transformation must preserve chirality.

In the chiral coordinate $y^{\mu }=x^{\mu }+i\bar{\theta }{\bar{\sigma }}^{\mu }\theta$, a chiral superfield isHere $\varphi$ is a complex scalar, ${\psi }_{\alpha }$ is a two-component Weyl spinor, and $F$ is a complex auxiliary field. Off shell, $\varphi$ and $F$ contribute two real bosonic components each, while $\psi$ has two complex Grassmann components. Thus there are four real bosonic and four real fermionic degrees of freedom.

A chiral superfield has a complex scalar. Minimizing its potential only on the real axis can miss supersymmetric vacua. For example $W^{\prime }(\phi )=1+{\phi }^2$ has positive potential $(1+x^2{)}^2$ for real $x$, yet its complex vacua $\phi =\pm i$ have zero energy. Supersymmetry breaking must therefore be tested in the full complex field space, not inferred from a positive minimum on an arbitrarily chosen real slice.