Holomorphy and nonrenormalization theorems

Treat complex superpotential parameters as fixed lowest components of background chiral superfields, often called spurions. The Wilsonian superpotential must be holomorphic in those parameters as well as the dynamical chiral fields. Their conjugates cannot enter as ordinary superpotential arguments. Assigning symmetry charges to spurions produces selection rules even when their fixed numerical values break those symmetries. These rules must be combined with dimensions, weak-coupling limits, and possible singularities; holomorphy alone does not uniquely determine every function in every theory.

For the usual four-dimensional N equals one local theory with unbroken supersymmetry, compatible regularization, and a Wilsonian separation of infrared modes, the perturbative nonrenormalization theorem excludes additive loop corrections to the superpotential. Supergraph reasoning and holomorphic selection arguments provide complementary explanations. Infrared nonlocal terms in a one-particle-irreducible action can complicate a superficially similar statement if massless modes are integrated all the way to zero momentum. Thus the effective action's definition and the perturbative regime are part of the theorem, not optional qualifications.

The full superspace kinetic function is not protected in the same way. For a single field write $K=Z(\mu)\Phi^\dagger\Phi$ with a positive dimensionless wavefunction factor. The canonical field is square root of Z times the holomorphic field. Substituting it into a quadratic and cubic superpotential divides their coefficients by Z and Z to the three-halves power, respectively. A holomorphic coefficient can therefore remain unchanged while the corresponding canonically normalized coupling runs with scale. Physical masses also require the appropriate quantum and threshold interpretation.

The theorem does not forbid all superpotential changes. Integrating out a massive field at tree level can generate new allowed operators among light fields. Nonperturbative gauge dynamics can generate terms compatible with holomorphy and symmetries even when no perturbative graph can do so. Moreover, quantum corrections to the Kähler metric alter scalar potentials and fluctuation normalization. Claims that vacuum geometry, every mass, or every scattering amplitude is exact because of superpotential protection conflate distinct parts of the action and different physical observables.

Consider a heavy chiral field X with a large supersymmetric mass M and interaction $\lambda X\Phi^2$. At leading order in a low-energy derivative expansion, solve the algebraic holomorphic equation $W_X=0$ and substitute X back into W. This generates a quartic light-field superpotential suppressed by one power of M. The full superfield equation also contains kinetic derivative terms, whose omission is justified only for slowly varying configurations and sufficiently weak heavy-light mixing. The resulting effective Kähler terms and higher derivatives must be included when the desired accuracy requires them.

A controlled matching calculation specifies the scale hierarchy, field normalization, retained operator order, and symmetry assumptions. It does not call an induced tree-level operator a violation of a loop theorem. Likewise, a nonperturbative term must be tested against dimensions, anomalous or nonanomalous symmetries, and decoupling limits rather than accepted merely because it is holomorphic. This disciplined use of restrictions is why supersymmetric models can constrain strong dynamics without making every aspect of a theory solvable or converting a theoretical relation into experimental evidence.