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.

A chiral spinor superfield carries a Spinor representation of the Lorentz group index and satisfies ${\bar{D}}_{\dot{\alpha }}{\Psi }_{\beta }=0$. The chiral field-strength superfield is a fermionic example: its lowest component is the Weyl spinor gaugino. Its spinor index distinguishes it from a scalar chiral superfield, even though both obey the same chirality constraint.

Ordinary electromagnetism uses a one-form gauge potential, its gauge transformation and its curvature. On superspace the corresponding object is a superspace gauge connection, with both vector and spinor components. Write ${\nabla }_A=D_A+i{\mathcal{A}}_A$. Its graded commutator contains the flat-frame torsion plus supercurvature. The conventional constraints set the two undotted-spinor curvatures, the two dotted-spinor curvatures and the conventional mixed spinor curvature to zero; the mixed derivative algebra then determines the vector connection. The remaining independent gauge curvature is packaged into a chiral field-strength superfield. A real vector superfield $V=V^{†}$ is a prepotential solving these constraints, rather than four unrelated ordinary gauge potentials.

Use the left-derivative conventions of Question 5, with $D^2=D^{\alpha }{D}_{\alpha }$ and ${\bar{D}}^2={\bar{D}}_{\dot{\alpha }}{\bar{D}}^{\dot{\alpha }}$. An Abelian supergauge transformation has a chiral parameter $\Lambda$, and one consistent normalization isThe parameter is chiral so that the transformed matter is still a chiral superfield; its complex components remove more of the prepotential than an ordinary real gauge parameter. In Wess-Zumino gauge, one convenient expansion isIts components are the gauge potential $A_m$, the gaugino $\lambda$ and the real auxiliary field $D$. Wess-Zumino gauge removes the extra scalar and spinor components of a general real superfield. Supersymmetry transformations usually leave that gauge slice and require a compensating supergauge transformation. For a residual chiral parameter with real lowest component $a(x)$, the expansion gives $A_m^{\prime }=A_m+2{\partial }_{m}a$ and ${\varphi }^{\prime }=e^{-2iqa}\varphi$; thus $\alpha =2a$ is the ordinary Maxwell gauge parameter.

The Abelian field strength is the Abelian field-strength chiral projectionThree barred derivatives vanish because there are only two anticommuting dotted components, so ${\bar{D}}_{\dot{\beta }}{W}_{\alpha }=0$. Gauge invariance follows directly: $D_{\alpha }\bar{\Lambda }=0$ by antichirality, while the mixed derivative algebra gives ${\bar{D}}^2{D}_{\alpha }\Lambda =0$ for chiral $\Lambda$. In chiral coordinates its component structure iswhere ${\sigma }^{mn}=({\sigma }^m{\bar{\sigma }}^n-{\sigma }^n{\bar{\sigma }}^m)/4$ fixes the tensor normalization. Overall gaugino phase choices do not change the gauge-invariant field strength or its Bianchi constraint.

Reality of $V$ and the derivative algebra imply the superspace Yang-Mills Bianchi identityIndeed, the two sides are the same differential operator on $V$, because $D^{\alpha }{\bar{D}}^2{D}_{\alpha }={\bar{D}}_{\dot{\alpha }}{D}^2{\bar{D}}^{\dot{\alpha }}$. This is the superspace counterpart of $dF=0$, and its components contain ${\partial }_{[m}{F}_{np]}=0$. It is a defining curvature constraint, not the Maxwell equations. Varying the pure gauge action additionally sets the common real superfield $D^{\alpha }{W}_{\alpha }$ to zero; matter supplies a current instead.

The Supersymmetric Yang-Mills action and minimal matter coupling areThe chiral phase factors cancel in $\bar{\Phi }{e}^{2qV}\Phi$. The component matter derivative is $({\partial }_m+iq{A}_m)\varphi$, which transforms covariantly under the residual gauge transformation just derived. The same superspace term generates the associated matter–gaugino Yukawa coupling and $qD|\varphi {|}^2$ auxiliary coupling, so minimal coupling is not only replacing an ordinary derivative in the scalar action. The gauge action contains $-F_{mn}{F}^{mn}/(4g^2)$, the gaugino kinetic term and $D^2/(2g^2)$. Rescaling the vector multiplet to canonical kinetic normalization gives the physical coupling $qg$. The holomorphic superpotential must be gauge invariant; a single field of nonzero continuous Abelian charge admits no nonconstant polynomial superpotential without additional fields. For several fields, invariance requires ${\sum }_i{q}_i{\Phi }_i{\mathcal{W}}_i=0$. A Fayet–Iliopoulos term is additionally possible for an Abelian factor, shifting the algebraic $D$ equation.

For a non-Abelian gauge group, $V$ and $\Lambda$ are Lie-algebra-valued, and multiplication cannot be reordered. For matter in a specified representation, setThe same matter quadratic form remains invariant. Its curvature isAt first order in an Abelian $V$, this reduces to $-{\bar{D}}^2{D}_{\alpha }V/4$, fixing the factor $1/8$. In the chiral gauge frame, $\bar{\nabla }=\bar{D}$ and ${\nabla }_{\alpha }=e^{-2V}{D}_{\alpha }{e}^{2V}$ as an operator. The gauge-covariant Bianchi identity is ${\nabla }^{\alpha }{W}_{\alpha }={\bar{\nabla }}_{\dot{\alpha }}{\tilde{\bar{W}}}^{\dot{\alpha }}$, where $\tilde{\bar{W}}=e^{-2V}\bar{W}{e}^{2V}$ is the conjugate curvature expressed in that same frame. It follows from the graded Jacobi identity of the covariant derivatives. Taking a trace of $W^{\alpha }{W}_{\alpha }$ makes the chiral gauge action invariant. Its bosonic curvature becomes the ordinary Yang-Mills curvature, and the gaugino transforms in the Adjoint representation. A constant Fayet–Iliopoulos coefficient cannot be inserted for a simple non-Abelian group, since it would need an invariant linear functional annihilating every Lie bracket. These constructions connect the constrained superspace connection, its prepotential and its component gauge multiplet.

At the usual two-derivative order, the two-derivative global supersymmetric gauge action isHere ${\mathcal{W}}_{\alpha }^a$ is the chiral field-strength superfield, distinguished from the superpotential $W$. The Kähler potential $K$ is a real gauge-invariant function, defined up to a Kähler transformation; $K_{i\bar{j}}$ supplies the scalar kinetic metric. The superpotential is a gauge-invariant holomorphic function of the chiral superfields. The symmetric gauge kinetic function $f_{ab}$ is holomorphic and transforms so that its contraction with the field strengths is gauge invariant. Its real part supplies the gauge and gaugino kinetic coefficients and must be positive on physical configurations; its imaginary part supplies the topological angle. The final constants are Fayet–Iliopoulos terms, normalized so that they contribute ${\xi }_a{D}^a$ when $V^a$ has highest component ${\theta }^2{\bar{\theta }}^2{D}^a/2$.

For the simple non-Abelian gauge group specified in the question, $\xi =0$. Invariance of a proposed ${\xi }_a{D}^a$ requires ${\xi }_a{f}^a{}_{bc}=0$. A simple Lie algebra equals its commutator algebra, so no nonzero invariant covector exists. This proves that Fayet–Iliopoulos terms require an Abelian gauge factor. The last term above describes the customary Abelian extension, not an additional arbitrary coupling of the simple group.

For a renormalizable theory, after choosing matter bases the functions reduce toOnly gauge-invariant monomials are included. A nonconstant $f$ would produce interactions of dimension greater than four. Here the gauge coupling is absorbed into the connection in $e^{2V}$, while $\mathrm{Re}Y=1/g_h^2$ in the holomorphic normalization. A constant $c$ has no dynamical effect in global supersymmetry. The original arbitrary functions remain useful for a nonrenormalizable two-derivative effective theory, but the following argument restricts to the requested renormalizable setting.

To analyze perturbative corrections, use a local Wilsonian effective action with a nonzero infrared cutoff and keep the same elementary fields. Introduce nondynamical background chiral superfields $X,Y$ into its F-term part:One may additionally promote each polynomial coefficient to its own chiral spurion to track flavor charges. Treating the couplings as fields ensures that a local chiral integral depends holomorphically on $\Phi ,X,Y$: antichiral dependence would violate the chirality constraint unless accompanied by derivatives or rewritten as a D-term. This is the key use of holomorphy, rather than an assumption that all effective-action terms are holomorphic.

Give $\theta$ R-charge one, the matter fields charge zero, $X$ charge two and $Y$ charge zero. Then the chiral measure has charge minus two, $X{W}_{\mathrm{tree}}$ has charge two, and ${\mathcal{W}}_{\alpha }$ has charge one. These assignments define formal spurionic symmetries even if fixed numerical couplings do not enjoy the corresponding physical symmetry. An anomalous transformation is accompanied by the appropriate shift of the gauge-coupling spurion; nonperturbative dependence can record that anomaly.

For the superpotential non-renormalization argument, perturbation theory is insensitive to continuous shifts of the topological angle, which shifts the imaginary part of $Y$. A holomorphic coefficient invariant under every such shift is independent of $Y$ by the Cauchy-Riemann equations. This proves perturbative gauge-coupling independence of the Wilsonian superpotential. At fixed infrared cutoff the perturbative expansion is regular near zero superpotential couplings. R-charge two therefore forces an allowed correction to be linear in $X$, rather than involving $X^2$, $\bar{X}$ or inverse powers of $X$. Flavor charges impose the corresponding monomial selection rules.

The remaining coefficient can be evaluated at zero gauge coupling. Free chiral propagators join a chiral and an antichiral endpoint. A single holomorphic superpotential vertex cannot close a loop; adding antichiral vertices violates holomorphy, while adding holomorphic vertices violates the linear spurion degree. Consequently the coefficient is its tree value. This proves, rather than merely quotes, the perturbative resultThe fixed-cutoff regularity matters: integrating out a whole massive multiplet can introduce inverse masses at tree level, and infrared-singular one-particle-irreducible expressions are not this local Wilsonian superpotential.

For the gauge kinetic function, R-charge zero excludes regular positive powers of $X$ in its perturbative coefficient. Flavor spurions cannot repair this without forbidden antichiral or singular dependence. A topological-angle shift changes the tree gauge term only by its topological contribution, so the correction $f-Y$ is invariant under the shift. Holomorphy then makes it independent of $Y$. An $L$-loop correction to the inverse gauge coupling carries the weak-coupling behavior $g_h^{2L-2}$: only one loop has the required coupling-independent behavior. Hence the one-loop exactness of the holomorphic gauge kinetic function givesup to a one-loop matching constant. The coefficient follows from the usual one-loop field contributions: gauge bosons and an adjoint Weyl gaugino contribute $(11/3-2/3)C_2=3C_2$, while a chiral Weyl fermion and complex scalar contribute $-(2/3+1/3)T(R)=-T(R)$. Holomorphic logarithmic thresholds appear when massive fields are eliminated. This statement is about the holomorphic Wilsonian coupling, not a canonically normalized physical gauge coupling, whose running need not be one-loop exact.

The Kähler potential is integrated over all of superspace. It can depend on $X^{†}X$, on both $Y$ and $Y^{†}$, and on both matter chiralities. These neutral combinations allow ordinary loop corrections, such as a Yukawa-dependent correction to ${\Phi }^{†}\Phi$, and no analogous argument forbids higher loops. ThusIts wave-function renormalization changes physical superpotential couplings after canonical normalization even though holomorphic vertex coefficients do not change. For a single field with kinetic coefficient $Z$, for instance, $m_c=m/Z$ and $y_c=y/Z^{3/2}$.

Finally consider perturbative renormalization of a Fayet–Iliopoulos term in an Abelian extension. A term $\int d^4\theta H(X,X^{†},Y,Y^{†})V$ must be invariant under $V\mapsto V+\Lambda +{\Lambda }^{†}$ for arbitrary chiral $\Lambda$. Projection of the variation requires ${\bar{D}}^{2}H=D^{2}H=0$. An arbitrary algebraic function of background chiral spurions and their conjugates fails this requirement unless it is constant. Therefore a general coupling-dependent local FI counterterm is forbidden. The one-loop $D$ tadpole from charged scalars can still giveIt is independent of interaction couplings in the connection normalization used above and proportional to the trace of the Abelian charge generator. Higher-loop diagrams require interactions and cannot produce the permitted coupling-independent additive term. Thus a traceless Abelian charge generator has no additive perturbative FI renormalization in this exactly supersymmetric setting; otherwise a one-loop, regulator-dependent tadpole is possible. Vector-field normalization can change the reported canonical parameter, and soft breaking falls outside this proof. For the specified simple group, gauge invariance forbids $\xi$ before and after corrections.

These are perturbative statements. Instantons or other nonperturbative effects may produce symmetry-allowed holomorphic terms, for example dependence on $e^{-8{\pi }^{2}Y}$, so neither the superpotential result nor the one-loop gauge result should be misread as forbidding all nonperturbative corrections.

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.

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.

Under the Abelian supergauge transformation $V\mapsto V+i(\Omega -{\Omega }^{†})$, the real and imaginary components of $\omega$, together with $\psi$ and $F$, shift $C,\chi$ and $M$. They can be chosen to setleaving Wess-Zumino gaugeThe remaining imaginary scalar gauge parameter acts as the ordinary transformation $A_{\mu }\mapsto A_{\mu }+{\partial }_{\mu }\alpha$.

The chiral field-strength superfieldis chiral and gauge invariant in the Abelian theory. Henceis supersymmetric. Its components are the Maxwell kinetic term, the gaugino kinetic term, and the auxiliary term $D^2/(2e^2)$.

For the component check, vary $F_{\mu \nu }$ using $\delta A_{\mu }=ϵ{\sigma }_{\mu }\bar{\lambda }+\lambda {\sigma }_{\mu }\overline{ϵ}$ and vary the gaugino term using $\delta \lambda =F_{\rho \sigma }{\sigma }^{\rho \sigma }ϵ$ and its conjugate. After integration by parts, the terms proportional to ${\partial }_{\mu }{F}^{\mu \nu }$ cancel between the two variations. The remaining terms reduce, by the stated sigma-matrix identity, to a contraction of ${\partial }_{[\mu }{F}_{\nu \rho ]}$, which vanishes by the Bianchi identity. Thus $\delta \mathcal{L}$ is a total divergence and the action is invariant. The auxiliary field would make this supersymmetry close off shell; setting $D=0$ gives the displayed on-shell transformations.

The relation in part vi givesso the full-superspace term has gauge invariance. The chiral field-strength superfield transforms covariantly,Cyclicity of the matrix trace then gives $\mathrm{Tr}(W^{\prime }{}^{\alpha }{W}_{\alpha }^{\prime })=\mathrm{Tr}(W^{\alpha }{W}_{\alpha })$. Both superspace integrals, and hence the entire Lagrangian density, are invariant.

A gauge connection on superspace has both vector and spinor components. Subtracting the flat-frame torsion from the graded commutator of its covariant derivatives defines its supercurvature. The conventional four-dimensional $\mathcal{N}=1$ spinor-curvature constraints leave one real vector superfield as a prepotential. Its chiral field-strength superfield contains the ordinary gauge curvature, gaugino and real auxiliary field.