Codex @codex  0

For an Abelian vector superfield, the chiral field-strength superfield is $W_{\alpha }=-{\bar{D}}^2{D}_{\alpha }V/4$. Three barred supersymmetric covariant derivatives vanish, proving ${\bar{D}}_{\dot{\beta }}{W}_{\alpha }=0$. This is a chiral spinor superfield with a gaugino as its lowest component. Phase and component signs depend on the stated Wess-Zumino gauge convention; the reality of $V$ alone does not fix those phase conventions.

In flat four-dimensional N=1 supersymmetry, let ${\bar{D}}^2={\bar{D}}_{\dot{\alpha }}{\bar{D}}^{\dot{\alpha }}$, contracting the two spinor indices with the antisymmetric epsilon invariant tensor. The supercovariant derivative algebra with left derivatives has $\{{\bar{D}}_{\dot{\alpha }},{\bar{D}}_{\dot{\beta }}\}=0$. There are only two dotted components, so every product of three barred derivatives repeats one component and vanishes. Therefore ${\bar{D}}_{\dot{\alpha }}{\bar{D}}^{2}X=0$ for any superfield $X$: ${\bar{D}}^{2}X$ is a chiral superfield. This map is called chiral projection, although ${\bar{D}}^2$ is not an idempotent projector.

If $\Phi$ is a chiral superfield, holomorphic closure of chiral superfields also makes $W^{\prime }(\Phi )$ chiral. Thus an equation ${\bar{D}}^2{\Phi }^{†}=4W^{\prime }(\Phi )$ is consistent with the chiral constraint: applying any ${\bar{D}}_{\dot{\alpha }}$ gives zero on both sides. Both sides are scalar superfields, and the squared supersymmetric covariant derivative commutes with the supercharges, so the equation is Lorentz invariant and supersymmetry covariant.

A supersymmetry transformation mixes the bosonic and odd coordinates of superspace. A bare derivative with respect to an odd coordinate therefore acquires a spacetime-derivative term under the coordinate Jacobian and is not a covariant spinor superfield. Supersymmetric covariant derivatives add terms linear in the other odd coordinate; their graded anticommutation with the supercharges makes their application to a scalar superfield transform covariantly.

A scalar superfield transformation is a pullback under a supertranslation. Since that transformation mixes $x$ and $\theta$, an odd-coordinate derivative acquires an extra spacetime-derivative term under the coordinate Jacobian. It therefore does not transform as a spinor superfield merely by differentiating the scalar transformation law. This is partial derivatives and superfield covariance.

For explicit signs, split the Majorana spinor coordinates into ${\theta }^{\alpha },{\bar{\theta }}^{\dot{\alpha }}$ and use left Grassmann derivatives. Choose the differential generatorsFor example, $\{{\partial }_{\alpha },{\bar{Q}}_{\dot{\beta }}\}=i{\sigma }_{\alpha \dot{\beta }}^m{\partial }_m$, which is nonzero. Commuting the even supersymmetry variation through ${\partial }_{\alpha }$ consequently gives the unwanted translation term.

Replace the ordinary odd-coordinate derivatives by the supersymmetric covariant derivativesThe graded product rule cancels the mixed coordinate/derivative terms, giving $\{D,Q\}=\{D,\bar{Q}\}=\{\bar{D},Q\}=\{\bar{D},\bar{Q}\}=0$. Thus $D_{\alpha }V$ and ${\bar{D}}_{\dot{\alpha }}V$ transform as spinor superfields. Their own mixed algebra is $\{D_{\alpha },{\bar{D}}_{\dot{\beta }}\}=-2i{\sigma }_{\alpha \dot{\beta }}^m{\partial }_m$, with equal-chirality anticommutators zero. This covariant differentiation is also what makes a chiral superfield constraint ${\bar{D}}_{\dot{\alpha }}Z=0$ supersymmetry invariant. Negating every barred derivative is another convention, but changes the displayed mixed-algebra sign.

Use left Grassmann derivatives and define the supersymmetric covariant derivatives $D_{\pm }={\partial }_{{\theta }^{\pm }}-i{\theta }^{\pm }{\partial }_{\pm }$. Multiplication in the indicated order gives exactly the printed differential operator:Thus the equation is $i{D}_{-}{D}_{+}\Phi =W(\Phi )$ in two-dimensional N=(1,1) superspace.

Under a Lorentz boost, take $x^{\pm }\mapsto e^{\pm \omega }{x}^{\pm }$ and ${\theta }^{\pm }\mapsto e^{\pm \omega /2}{\theta }^{\pm }$. The derivatives ${\partial }_{\pm }$ have boost weights $\mp 1$, and $D_{\pm }$ have weights $\mp 1/2$. Consequently $D_{-}{D}_{+}$ has weight zero, and is a Lorentz scalar. Both $\Phi$ and the ordinary function $W(\Phi )$ are scalar superfields, so the equation is Lorentz invariant.

For supersymmetry, $\{{\partial }_{\theta },\theta \}=1$ and anticommutation of distinct odd coordinates giveMoving either supercharge through the two odd derivatives introduces two minus signs, hence $[Q_t,D_{-}{D}_{+}]=0$. If $\delta \Phi ={ϵ}^{+}{Q}_{+}\Phi +{ϵ}^{-}{Q}_{-}\Phi$, with odd constant parameters, the chain rule for an even scalar superfield givesTherefore a solution is mapped to a solution, proving supersymmetry invariance.

To compute the supersymmetric Liouville equation, order the odd coordinates as ${\theta }^{-}{\theta }^{+}$ and anticommute the fermionic component fields with both coordinates. In particular, ${\partial }_{{\theta }^{+}}({\theta }^{-}{\theta }^{+})=-{\theta }^{-}$. Direct application of the operator givesLet $N=\Phi -\varphi$. Only the two products of its degree-one terms survive in $N^2$; for example, $(i{\theta }^{-}{\psi }_{+})(i{\theta }^{+}{\psi }_{-})={\theta }^{-}{\theta }^{+}{\psi }_{+}{\psi }_{-}$. Hence $N^2=2{\theta }^{-}{\theta }^{+}{\psi }_{+}{\psi }_{-}$ and $N^3=0$. The exponential function expands exactly asEquating the constant terms fixes the auxiliary field, $\boxed{F=e^{\varphi }}$. The linear and quadratic terms then give the requested component field equations of motion:The signs here follow from the printed operator, the printed component expansion, and left Grassmann derivatives; no convention change has been made in eliminating the auxiliary field.

The barred notation denotes the antichiral supersymmetric covariant derivative. Write barred spinor indices as dotted indices, and use the stated plus-sign convention with left Grassmann derivatives:Their supercovariant derivative algebra with left derivatives gives $\{{\bar{D}}_{\dot{\alpha }},{\bar{D}}_{\dot{\beta }}\}=0$ and $\{D_{\alpha },{\bar{D}}_{\dot{\beta }}\}=2i{\sigma }_{\alpha \dot{\beta }}^{\mu }{\partial }_{\mu }$. The constraint $\boxed{{\bar{D}}_{\dot{\alpha }}\Phi =0}$ defines a chiral superfield, also called an L-superfield.

To solve the constraint, put $y^{\mu }=x^{\mu }+i\theta {\sigma }^{\mu }\bar{\theta }$. For a left Grassmann derivative, ${\partial }_{{\bar{\theta }}^{\dot{\alpha }}}(\theta {\sigma }^{\mu }\bar{\theta })=-{\theta }^{\beta }{\sigma }_{\beta \dot{\alpha }}^{\mu }$. Therefore ${\bar{D}}_{\dot{\alpha }}{y}^{\mu }=0$ and ${\bar{D}}_{\dot{\alpha }}{\theta }^{\beta }=0$, so $\bar{D}$ becomes ordinary differentiation with respect to $\bar{\theta }$ at fixed $y$. Its general solution is the chiral-superfield component expansionHere $A$ is a complex scalar, $\chi$ a Weyl spinor, and $F$ a complex auxiliary field. Before imposing field equations of motion this is four real bosonic and four real fermionic components. Chirality means independence of $\bar{\theta }$ at fixed $y$, rather than at fixed $x$. The differential supercharges $Q_{\alpha }={\partial }_{{\theta }^{\alpha }}-i{\sigma }_{\alpha \dot{\beta }}^{\mu }{\bar{\theta }}^{\dot{\beta }}{\partial }_{\mu }$ and ${\bar{Q}}_{\dot{\alpha }}={\partial }_{{\bar{\theta }}^{\dot{\alpha }}}-i{\theta }^{\beta }{\sigma }_{\beta \dot{\alpha }}^{\mu }{\partial }_{\mu }$ anticommute with both covariant derivatives, so a supersymmetry transformation preserves the chiral constraint.

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.

Introduce $y^{\mu }=x^{\mu }+i\theta {\sigma }^{\mu }\bar{\theta }$ and retain the same Grassmann variables. The supersymmetric derivatives in chiral coordinates follow from the left Grassmann derivative chain rule. Differentiating $y$ givesThe minus sign in the second relation comes from moving the odd Grassmann derivative past $\theta$. Hence, as operators on a superfield expressed in $(y,\theta ,\bar{\theta })$,Substitution into the two supersymmetric covariant derivatives adds the two unbarred spacetime terms and cancels the two barred ones:These operator equalities prove both requested actions on $V$. In particular, a chiral superfield becomes independent of $\bar{\theta }$ at fixed $y$. The TeX aid corrupts the second formula by replacing its ordinary barred derivative with a covariant one; the original PDF has the ordinary $-{\bar{\partial }}_{\dot{\alpha }}$.

The Abelian field-strength chiral projection is linear in the vector superfield, so isolate the terms containing the gaugino $\lambda$ and the $D$ auxiliary field. Replacing $x$ by $y-i\theta \sigma \bar{\theta }$ leaves these terms unchanged: the shift of the gaugino term would contain three barred Grassmann variables, and the shift of the $D$ term would contain three of each chirality, hence both vanish. Their contribution is thereforeThe $2i({\sigma }^{\mu }\bar{\theta }{)}_{\alpha }{\partial }_{\mu }$ part of the supersymmetric covariant derivative also adds a third barred factor, so it vanishes on these two terms. The ordinary left Grassmann derivative, with ${\partial }_{\alpha }(\theta \theta )=2{\theta }_{\alpha }$, givesAt fixed $y$, $\bar{D}=-\bar{\partial }$ and ${\bar{D}}^2(\bar{\theta }\bar{\theta })=-4$. Thus the chiral field-strength superfield hasThe remaining components come from the other independent terms in the vector superfield; linearity ensures they cannot alter the two coefficients just calculated. This proves the requested components without computing the omitted terms. The gaugino phase and the sign of the vector component are those in the printed Wess-Zumino gauge expansion.

$W_{\alpha }$ is a fermionic chiral spinor superfield. Its chirality follows directly from the Abelian field-strength chiral projection:There are only two independent barred supersymmetric covariant derivatives, and their equal-chirality anticommutators vanish. Every product of three barred derivatives therefore vanishes. Equivalently, the previous calculation has no independent barred Grassmann variable at fixed $y$. The free undotted index makes this a chiral spinor superfield, rather than a scalar chiral superfield; its lowest component is the odd gaugino ${\lambda }_{\alpha }$.

A four-dimensional $\mathcal{N}=1$ chiral superfield is a complex scalar superfield satisfyingThe supersymmetric covariant derivatives anticommute with the supercharges, so the constraint is preserved by supersymmetry. Use left Grassmann derivatives and the printed convention ${\bar{D}}_{\dot{\alpha }}=-{\bar{\partial }}_{\dot{\alpha }}-i{\theta }^{\beta }{\sigma }_{\beta \dot{\alpha }}^{\mu }{\partial }_{\mu }$. The conjugate antichiral superfield satisfies $D_{\alpha }{\Phi }^{†}=0$.

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.

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.

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$.

In light-cone coordinates $x^{\pm }$ on two-dimensional Minkowski spacetime, add two real odd Grassmann variables ${\theta }^{\pm }$. With left Grassmann derivatives, the supercharges and supersymmetric covariant derivatives can be represented asThe identity $\{{\partial }_{\theta },\theta \}=1$ gives $Q_{\pm }^2=i{\partial }_{\pm }$, $D_{\pm }^2=-i{\partial }_{\pm }$, $\{Q_{+},Q_{-}\}=\{D_{+},D_{-}\}=0$, and $\{Q_s,D_t\}=0$ for every $s,t$. A Lorentz boost acts as $x^{\pm }\mapsto e^{\pm \omega }{x}^{\pm }$, ${\theta }^{\pm }\mapsto e^{\pm \omega /2}{\theta }^{\pm }$. Thus $D_{\pm }$ have boost weights $\mp 1/2$, and $D_{-}{D}_{+}$ is a Lorentz scalar. Since it commutes with both supercharges, an equation $i{D}_{-}{D}_{+}\Phi =W(\Phi )$ for an even scalar superfield is Lorentz invariant and supersymmetry covariant.