Skip to content

Instanton Measures, Zero Modes, and Determinants

A classical instanton is not yet a contribution to an observable. One must identify inequivalent collective coordinates, remove gauge redundancy, replace zero eigenvalues by collective-coordinate Jacobians, evaluate the remaining determinants, and combine the ultraviolet scale dependence with the running coupling. For a charge-one SU(N)SU(N) instanton, this procedure explains both the factor g4Ng^{-4N} and the scale-invariant geometric factor d4x0dρ/ρ5d^4x_0\,d\rho/\rho^5.

Required background. Gauge instantons, topological charge, and moduli fixes the BPST normalization and the 4N4N bosonic moduli. Zero modes, collective coordinates, and moduli measures supplies the general change of variables.

Helpful background. The Faddeev–Popov construction supplies the gauge quotient and ghost determinant. Running couplings and dimensional transmutation supplies the renormalization-group interface.

Let Aμ(x;a)\mathcal A_\mu(x;a) be a family of charge-one solutions labeled by moduli aαa^\alpha. A tangent must be projected into background gauge:

Zμ,α=Aμaα+DμΩα,DμZμ,α=0.Z_{\mu,\alpha} = \frac{\partial\mathcal A_\mu}{\partial a^\alpha} +D_\mu\Omega_\alpha, \qquad D_\mu Z_{\mu,\alpha}=0.

The moduli-space metric is the zero-mode norm

Gαβ=1g2d4xtr ⁣(Zμ,αZμ,β).G_{\alpha\beta} = \frac{1}{g^2}\int d^4x\, \operatorname{tr}\!\left( Z_{\mu,\alpha}Z_{\mu,\beta} \right).

Changing from normalized Gaussian amplitudes to aαa^\alpha produces

dμcoll=detG(2π)nB/2α=1nBdaα.d\mu_{\rm coll} = \frac{\sqrt{\det G}}{(2\pi)^{n_B/2}} \prod_{\alpha=1}^{n_B}da^\alpha.

For a charge-one SU(N)SU(N) instanton, nB=4Nn_B=4N. Because every entry of GG carries g2g^{-2}, its square root contributes

detGgnB=g4N(8π2g2)2N,\sqrt{\det G}\propto g^{-n_B}=g^{-4N} \propto \left(\frac{8\pi^2}{g^2}\right)^{2N},

where the omitted numerical factor is absorbed into the normalization constant. This is the origin of the coupling power; it is not an additional loop effect.

Gauge transformations that vanish at infinity are not moduli. Background gauge removes them, and the associated Faddeev–Popov determinant remains in the nonzero-mode factor. Constant transformations at infinity can rotate the SU(2)SU(2) embedding; their orbit is divided by the stabilizer U(N2)U(N-2). Thus “gauge orientation” and “gauge redundancy” are processed at different stages.

The full sequence is summarized below. Follow the lower checks as carefully as the central chain: a correct classical solution can still produce an uncontrolled size integral.

A gauge saddle passes through topology and action checks, the gauge quotient and stabilizer, collective coordinates and zero-mode Jacobians, nonzero determinants, running-coupling assembly, and size and diluteness tests before yielding a bounded semiclassical contribution.

Construction of a one-instanton contribution. The chain is schematic but its distinctions are exact: gauge directions are removed before collective coordinates are counted, zero modes are excluded from determinants, and renormalization and endpoint tests precede any physical conclusion.

After gauge fixing, the schematic one-loop fluctuation factor is

detΔghdetΔvecfermionsdetD.\frac{\det \Delta_{\rm gh}} {\sqrt{\det{}'\Delta_{\rm vec}}} \prod_{\text{fermions}}\det{}'\mathcal D.

The prime omits genuine zero modes. Bosonic zero modes have already become collective-coordinate integrals; fermionic zero modes become Grassmann integrals and must be saturated by insertions or masses. Negative modes, when present, require a contour prescription rather than omission. A self-dual BPST instanton has no physical negative mode, in contrast with a false-vacuum bounce; see the instanton–bounce boundary and mode comparison.

In pure SU(N)SU(N) Yang–Mills theory, the one-loop one-instanton density may be written

dnI=CNd4x0dρρ5[8π2g2(μ)]2Nexp ⁣[8π2g2(μ)](μρ)b0,b0=11N3.dn_I = C_N\, d^4x_0\,\frac{d\rho}{\rho^5} \left[\frac{8\pi^2}{g^2(\mu)}\right]^{2N} \exp\!\left[-\frac{8\pi^2}{g^2(\mu)}\right] (\mu\rho)^{b_0}, \qquad b_0=\frac{11N}{3}.

The constant CNC_N depends on the renormalization scheme and on the normalization of the orientation volume. The powers have separate origins:

  • d4x0dρ/ρ5d^4x_0\,d\rho/\rho^5 is scale invariant: under x0,ρλx0,λρx_0,\rho\mapsto\lambda x_0,\lambda\rho, the five differentials supply λ5\lambda^5, canceled by ρ5\rho^{-5}. Orientation coordinates are dimensionless.
  • [8π2/g2]2N[8\pi^2/g^2]^{2N} is the g4Ng^{-4N} zero-mode Jacobian just derived.
  • e8π2/g2e^{-8\pi^2/g^2} is the classical BPST weight.
  • (μρ)b0(\mu\rho)^{b_0} is the net scale dependence of the regulated nonzero-mode and ghost determinants.

The last two factors form a one-loop renormalization-group invariant combination. Since

μdgdμ=b016π2g3+O(g5),\mu\frac{dg}{d\mu} =-\frac{b_0}{16\pi^2}g^3+O(g^5),

one finds

ddlogμ[8π2g2(μ)+b0log(μρ)]=O(g2).\frac{d}{d\log\mu} \left[ -\frac{8\pi^2}{g^2(\mu)} +b_0\log(\mu\rho) \right] =O(g^2).

Thus, to one-loop accuracy,

e8π2/g2(μ)(μρ)b0=e8π2/g2(1/ρ).e^{-8\pi^2/g^2(\mu)}(\mu\rho)^{b_0} =e^{-8\pi^2/g^2(1/\rho)}.

This standard measure was obtained by evaluating the determinants in the instanton background; see ‘t Hooft 1976, §§ III–V, pp. 3436–3448 and the corrected normalization analysis in Bernard 1979, pp. 3013–3019. Mariño 2015, § 4.5, pp. 129–146 derives the same coupling and size powers and makes the infrared limitation explicit.

Matter zero modes and observable dependence

Section titled “Matter zero modes and observable dependence”

With NfN_f Dirac fermions in the fundamental representation,

b0=11N32Nf3.b_0=\frac{11N}{3}-\frac{2N_f}{3}.

For Q=+1Q=+1, each massless Dirac flavor supplies the chiral zero modes required by the index. In a vacuum amplitude the Grassmann integral vanishes unless a mass term saturates each flavor pair. The resulting dimensionless factor is

f=1Nf(mfρ).\prod_{f=1}^{N_f}(m_f\rho).

External fermion fields can saturate the same modes instead, producing a correlation-function selection rule. The detailed chirality and flavor structure is derived on Fermion Zero Modes, Index Data, and Selection Rules.

More generally, an observable insertion contributes its own power ρpO\rho^{p_{\mathcal O}} after positions and tensor structures are accounted for. The size integral therefore contains a local power

dρρα,α=b05+pO\int d\rho\,\rho^\alpha, \qquad \alpha=b_0-5+p_{\mathcal O}

at one loop, before logarithmic corrections. The ultraviolet endpoint converges only if α>1\alpha>-1, while the formal infrared endpoint converges only if α<1\alpha<-1. These mathematical tests do not extend weak coupling: the semiclassical expression must already be abandoned when ρΛ1\rho\Lambda\sim1. The Instanton Size Modulus and Infrared Limitations performs this check for explicit matter content.

A usable measure should pass four independent tests:

  1. Dimensions: d4x0dρ/ρ5d^4x_0\,d\rho/\rho^5, (μρ)b0(\mu\rho)^{b_0}, and mfρm_f\rho are dimensionless.
  2. Renormalization scale: explicit μ\mu-dependence cancels the running of the classical weight to the stated loop order.
  3. Zero-mode accounting: every omitted eigenvalue reappears as a bosonic collective coordinate or a Grassmann integral.
  4. Domain of integration: orientation stabilizers are quotiented once, and the ρ\rho range stays inside ρΛ1\rho\Lambda\ll1 if the result is called semiclassical.

Failure of any one test invalidates the claimed prefactor even if the exponent is correct.

Writing det\det{}' without saying what was removed. Translation, scale, orientation, fermion, gauge, and negative modes have different treatments. A prime is meaningful only together with that classification.

Treating CNC_N as universal. The complete density is scheme dependent; physical observables become scheme independent only after all ingredients are combined consistently.

Integrating through strong coupling. A formally divergent large-ρ\rho integral signals loss of control. Cutting it off by hand is a model assumption, not a first-principles instanton prediction.

  1. Show directly that the combination of the classical weight and (μρ)b0(\mu\rho)^{b_0} is μ\mu-independent at one loop.
Solution

The beta function gives d(1/g2)/dlogμ=b0/(8π2)+O(g2)d(1/g^2)/d\log\mu=b_0/(8\pi^2)+O(g^2). Therefore

ddlogμ(8π2g2)=b0+O(g2),\frac{d}{d\log\mu} \left(-\frac{8\pi^2}{g^2}\right) =-b_0+O(g^2),

which cancels d[b0log(μρ)]/dlogμ=b0d[b_0\log(\mu\rho)]/d\log\mu=b_0.

  1. For pure SU(2)SU(2), determine the one-loop small- and large-ρ\rho behavior of the vacuum size integral.
Solution

Here b0=22/3b_0=22/3, so the explicit power is

ρb05=ρ7/3.\rho^{b_0-5}=\rho^{7/3}.

Because 7/3>17/3>-1, the integral converges at ρ=0\rho=0. It grows toward large ρ\rho, where g(1/ρ)g(1/\rho) becomes strong. The one-loop semiclassical formula therefore loses validity before its formal upper endpoint can be interpreted.

  • Bernard, Claude. “Gauge Zero Modes, Instanton Determinants, and Quantum-Chromodynamic Calculations.” Physical Review D 19 (1979): 3013–3019. DOI.
  • Mariño, Marcos. Instantons and Large N: An Introduction to Non-Perturbative Methods in Quantum Field Theory. Cambridge: Cambridge University Press, 2015. DOI.
  • ‘t Hooft, Gerard. “Computation of the Quantum Effects Due to a Four-Dimensional Pseudoparticle.” Physical Review D 14 (1976): 3432–3450; erratum 18 (1978): 2199. DOI.