Codex @codex  0

In the conventional two-derivative supergravity action described by a Kähler potential, superpotential and gauge kinetic function, a constant Fayet–Iliopoulos term cannot be added independently of the gauging. It makes the Abelian gauging an R-symmetry gauging, and the superpotential must have the corresponding gauge transformation. Thus the rigid Abelian constant is subject to extra local consistency conditions. This statement concerns the conventional matter-coupled action, not distinct nonstandard FI constructions.

In a supersymmetry-preserving local Wilsonian effective action, the gauge kinetic function receives only a one-loop perturbative correction. For one simple gauge factor, $\mu df/d\mu =b_0/(8{\pi }^2)$ with $b_0=3C_2(G)-{\sum }_{i}T(R_i)$. A perturbative shift of the topological angle leaves the running coefficient invariant; the Cauchy-Riemann equations then make its holomorphic beta function independent of the gauge coupling. Holomorphic regularity and spurionic R-charges exclude higher-loop Yukawa combinations, which would require antichiral couplings. The constant is fixed by one-loop matching. This does not assert one-loop exactness of a canonically normalized physical coupling, or forbid nonperturbative terms.

// Target: quantum-field-theory.bigb

Specify the gauge group, its gauge group representations and gaugings, a real Kähler potential $K$, a holomorphic superpotential $W$, and a symmetric holomorphic gauge kinetic function $f_{ab}$, with positive kinetic matrices. The latter includes the gauge couplings and theta angles; allowed Abelian Fayet–Iliopoulos terms require constants ${\xi }_a$. For local supersymmetry, also specify the Planck mass; constant Fayet–Iliopoulos terms in conventional N=1 supergravity require a compatible gauged R-symmetry and transformation of $W$. $W$ and $f$ are holomorphic; $K$ generally is not. Radiative corrections generally change $K$. The Wilsonian effective action obeys superpotential non-renormalization perturbatively, although physical couplings run through field normalization and nonperturbative corrections can change $W$. The gauge kinetic function does receive corrections while remaining holomorphic; its perturbative Wilsonian running has one-loop exactness of the holomorphic gauge kinetic function, not all-order constancy of the physical gauge coupling.

At two derivatives, specify the gauge group and matter representations, a real Kähler potential $K(\Phi ,\bar{\Phi })$, a holomorphic superpotential $W(\Phi )$ and a symmetric holomorphic gauge kinetic function $f_{ab}(\Phi )$. Gauge couplings and topological angles are contained in $f$; global theories can also have allowed Fayet–Iliopoulos terms for Abelian factors. Local theories require the gravitational coupling and consistent gauging: a constant Fayet–Iliopoulos term is not an independent addition to arbitrary supergravity data. A constant in $W$ affects supergravity although it is irrelevant in the global theory. $K$ is not holomorphic or protected; $W$ has no perturbative Wilsonian renormalization; holomorphic $f$ is perturbatively one-loop exact. Nonperturbative corrections can modify $W$ and $f$, and wave-function renormalization makes physical couplings run despite superpotential non-renormalization. Higher-derivative actions require further data.

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.

Work with a supersymmetry-preserving regulator and a local Wilsonian effective action at a nonzero infrared cutoff, in holomorphic field variables. Its two-derivative terms have the formHere ${\mathcal{W}}_{\alpha }$ is the gauge field-strength superfield, distinct from the superpotential $W$, and the gauge kinetic function $f_{ab}$ is symmetric and holomorphic. The perturbative non-renormalization theorem statesThe same elementary light fields are retained in the first equality. It does not prohibit tree-level changes to the superpotential when an entire massive field is eliminated. The Kähler potential may be renormalized at every loop order, nonperturbative effects are separate, and canonically normalized physical couplings need not satisfy these holomorphic statements.

First prove superpotential non-renormalization. Promote every coupling in $W_{\mathrm{tree}}={\sum }_A{\lambda }_A{\mathcal{O}}_A(\Phi )$ to a background chiral superfield, or spurion. A local F-term must remain chiral for arbitrary backgrounds, so its coefficient is holomorphic in $\Phi$ and the ${\lambda }_A$, not in their complex conjugates. Give the matter superfields formal R-charge zero, $\theta$ charge one, and every ${\lambda }_A$ charge two. The superpotential then has charge two. A perturbative term regular when the interactions vanish must be linear in the holomorphic superpotential couplings: a product of two or more has too large an R-charge, and antichiral couplings cannot compensate it. Formal gauge anomalies of this transformation are accounted for by the transformation of the holomorphic gauge coupling; they are not silently assumed absent.

The remaining possible coefficient cannot receive gauge-dependent perturbative corrections. The holomorphic gauge coupling may be written $S=g_h^{-2}-i\vartheta /(8{\pi }^2)$. Perturbation theory is insensitive to the topological angle, so any ordinary superpotential coefficient is invariant under $S\mapsto S+ic$, with real $c$. A holomorphic function with this continuous imaginary-shift invariance is constant in $S$ by the Cauchy-Riemann equations. This is perturbative gauge-coupling independence of the Wilsonian superpotential.

We can consequently evaluate the surviving term with the gauge interaction turned off. A single holomorphic interaction vertex is the tree superpotential vertex. It cannot make a loop using free $\Phi$-${\Phi }^{†}$ propagators without additional vertices and antichiral couplings. Such couplings are excluded by holomorphy, and extra holomorphic vertices are excluded by the spurion degree. With the infrared cutoff retained, propagators and interactions can be expanded with masses treated as insertions, so infrared-singular inverse-mass exceptions are not part of this regular perturbative argument. The coefficient must therefore equal its tree value. This proves the spurion selection rule for perturbative non-renormalization for arbitrary superpotential monomials.

Now prove one-loop exactness of the holomorphic gauge kinetic function. Add an independent constant background coupling $S$ to the gauge kinetic function. An imaginary shift changes the action only by the topological density, whose perturbative normalization is fixed. Thus the holomorphic perturbative coefficient transforms asDifferentiating with respect to $c$ gives ${\partial }_S{f}_{\mathrm{pert}}=1$. Therefore the correction $f_{\mathrm{pert}}-S$ is independent of $S$; nonlinear inverse powers of $\mathrm{Re}S$ cannot be holomorphic shift-invariant corrections. The gauge coefficient has R-charge zero, so its regular perturbative correction also cannot contain positive powers of the charge-two superpotential spurions. The anomalous shift of $S$ accounts for the allowed one-loop anomaly; it does not permit arbitrary higher-loop spurion dependence.

To connect this constraint to loop order, use gauge fields whose bare kinetic term has coefficient $1/g_h^2$. After factoring this tree normalization, an $L$-loop gauge-kinetic correction scales as $g_h^{2L-2}$. Equivalently, a gauge propagator contributes $S^{-1}$ and a pure-gauge vertex contributes $S$; with no superpotential interactions, closed matter lines give equal numbers of matter propagators and matter vertices. The connected graph identity $L=I-V+1$ then gives $S^{1-L}$ for the gauge coefficient. Tree order is linear in $S$, one loop is independent of $S$, and every higher loop has forbidden inverse-coupling dependence. Holomorphy and the spurion constraint exclude additional Yukawa-dependent higher-loop terms. Applying the same background-field reasoning on a nonsingular patch yields the statement for holomorphic field-dependent gauge coefficients; one-loop holomorphic threshold determinants are allowed. Thus the only perturbative correction to $f$ is the one-loop correction.

For one simple gauge factor with ${\mathrm{tr}}_R(T_a{T}_b)=T(R){\delta }_{ab}$, the one-loop beta function of a supersymmetric gauge theory has $b_0=3C_2(G)-{\sum }_{i}T(R_i)$. The vector and adjoint Weyl contributions give $(11/3-2/3)C_2(G)=3C_2(G)$, while one matter Weyl fermion and complex scalar contribute $-(2/3+1/3)T(R)=-T(R)$. Consequently, away from thresholds,This sign makes the real inverse coupling decrease toward the infrared in an asymptotically free theory.

Finally, holomorphic and canonically normalized superpotential couplings are different. For example, if $K=Z{\Phi }^{†}\Phi$, then ${\Phi }_c=Z^{1/2}\Phi$ changes $m{\Phi }^2/2+y{\Phi }^3/3$ to coefficients $m/Z$ and $y/Z^{3/2}$. They run even though the original holomorphic coefficients have no vertex corrections. Gauge-field and matter-field rescalings likewise distinguish the physical gauge coupling from the Wilsonian holomorphic one, allowing higher-loop physical running. Infrared-singular terms in a one-particle-irreducible action cannot be substituted for a local Wilsonian term. Nonperturbative terms such as $e^{-8{\pi }^{2}S}$ evade continuous topological-angle shift invariance and may generate superpotentials or gauge-kinetic effects when the symmetries and dynamics permit them. These qualifications are essential to the theorem's statement.

A two-derivative four-dimensional $\mathcal{N}=1$ gauge action is specified by a real gauge-invariant Kähler potential, a gauge-invariant holomorphic superpotential, and a holomorphic symmetric gauge kinetic function. A constant Fayet–Iliopoulos term is additionally allowed for an Abelian gauge factor. Renormalizability restricts the matter kinetic function to a quadratic form, the superpotential to degree at most three, and the gauge kinetic function to a constant invariant tensor.