Gauge Instantons, Topological Charge, and Moduli

The BPST instanton is a smooth finite-action solution of Euclidean Yang–Mills theory whose topological charge is $Q=+1$. Its action saturates a self-duality bound, $S_I=8\pi^2/g^2$, and its continuous family exposes the position, size, and gauge-orientation variables that later enter the one-instanton measure.

Required background. Euclidean tunneling saddles and boundary conditions supplies the finite-action logic. Topological sectors, boundary data, and global form supplies the sector decomposition and the role of data at infinity. The Yang–Mills action and gauge self-interaction supplies the gauge-field dynamics.

Helpful background. Characteristic classes and Chern–Weil theory gives the global interpretation of the charge integral.

The self-duality bound

Work on oriented Euclidean $\mathbb R^4$ with $\epsilon_{1234}=+1$. For $SU(2)$, take Hermitian generators

$$T^a=\frac{\sigma^a}{2}, \qquad \operatorname{tr}(T^aT^b)=\frac12\delta^{ab}.$$

It is convenient to put the coupling outside the action. Define the mathematical connection $\mathcal A=gA$ and curvature

$$\mathcal F=d\mathcal A-i\mathcal A\wedge\mathcal A, \qquad \widetilde{\mathcal F}_{\mu\nu} =\frac12\epsilon_{\mu\nu\rho\sigma}\mathcal F_{\rho\sigma}.$$

Then

$$S_E =\frac{1}{4g^2}\int d^4x\, \mathcal F_{\mu\nu}^a\mathcal F_{\mu\nu}^a, \qquad Q =\frac{1}{32\pi^2}\int d^4x\, \mathcal F_{\mu\nu}^a\widetilde{\mathcal F}_{\mu\nu}^a.$$

Completing the square gives

$$S_E = \frac{1}{8g^2}\int d^4x\, \left(\mathcal F_{\mu\nu}^a\mp \widetilde{\mathcal F}_{\mu\nu}^a\right)^2 +\frac{8\pi^2}{g^2}(\pm Q) \ge \frac{8\pi^2}{g^2}|Q|.$$

The upper sign is saturated by a self-dual field, $\mathcal F=\widetilde{\mathcal F}$, with $Q>0$; an anti-self-dual field has $Q<0$. The bound is exact for every smooth finite-action field in the declared sector. It does not say that the integral over the instanton’s size is semiclassically controlled.

The BPST field and a direct normalization check

Let $r^2=(x-x_0)^2$, and choose the self-dual ‘t Hooft symbols $\eta^a_{\mu\nu}$ with

$$\frac12\epsilon_{\mu\nu\rho\sigma}\eta^a_{\rho\sigma} =\eta^a_{\mu\nu}.$$

In regular gauge, one orientation of the BPST connection is

$$\mathcal A_\mu^a(x) = \frac{2\eta^a_{\mu\nu}(x-x_0)_\nu}{r^2+\rho^2}, \qquad \rho>0.$$

With this choice,

$$\mathcal F_{\mu\nu}^a(x) = -\frac{4\rho^2\eta^a_{\mu\nu}}{(r^2+\rho^2)^2}, \qquad \mathcal F_{\mu\nu}^a\mathcal F_{\mu\nu}^a = \frac{192\rho^4}{(r^2+\rho^2)^4}.$$

The field strength is self-dual because $\eta$ is self-dual. Its gauge-invariant density can be integrated without relying on a convention for the potential:

$$\begin{aligned} \int_{\mathbb R^4}d^4x\,\mathcal F_{\mu\nu}^a\mathcal F_{\mu\nu}^a &= 2\pi^2\int_0^\infty dr\,r^3 \frac{192\rho^4}{(r^2+\rho^2)^4}\\ &=32\pi^2. \end{aligned}$$

Therefore

$$Q=1, \qquad S_I=\frac{8\pi^2}{g^2}.$$

Equivalently, the normalized topological density is

$$q(x) =\frac{1}{32\pi^2} \mathcal F_{\mu\nu}^a\widetilde{\mathcal F}_{\mu\nu}^a =\frac{6\rho^4}{\pi^2(r^2+\rho^2)^4}, \qquad \int d^4x\,q(x)=1.$$

This solution and its unit charge were first exhibited by Belavin, Polyakov, Schwartz, and Tyupkin 1975, pp. 85–87. A convention-complete modern derivation is given in Mariño 2015, § 4.3, pp. 112–124. At large $r$, $\mathcal A_\mu=O(r^{-1})$ and approaches a pure gauge on $S^3_\infty$; the winding of that boundary map accounts for $Q$. Regular gauge is smooth at the center. Singular gauge moves the gauge-coordinate singularity to the center and falls as $r^{-3}$, but gauge-invariant densities are unchanged.

Moduli, gauge directions, and stabilizers

The $SU(2)$, $Q=1$ family has eight bosonic collective coordinates:

$$\underbrace{x_0^\mu}_{4} \quad+\quad \underbrace{\rho}_{1} \quad+\quad \underbrace{\text{global }SU(2)/\mathbb Z_2 \text{ orientation}}_{3}.$$

These must not be conflated with arbitrary local gauge transformations. In background gauge, a physical zero mode $\delta_\alpha\mathcal A_\mu$ is a tangent to the moduli family adjusted by a compensating gauge transformation so that

$$D_\mu\delta_\alpha\mathcal A_\mu=0.$$

Gauge transformations that approach the identity at infinity are redundancies and are removed by gauge fixing and the ghost determinant. Transformations with a nontrivial constant value at infinity rotate the embedded instanton and supply orientation coordinates, subject to the stabilizer that leaves the field unchanged.

For an $SU(2)$ embedding in $SU(N)$, the centralizer is $U(N-2)$. Consequently the orientation orbit has dimension

$$\dim SU(N)-\dim U(N-2)=4N-5.$$

Adding four translations and one size gives $4N$ collective coordinates for a charge-one instanton. This count is a local statement about the BPST family; the complete classification of multi-instanton moduli spaces requires the construction of Atiyah, Hitchin, Drinfeld, and Manin 1978, pp. 185–187 and lies beyond this page.

The full processing chain from these moduli to a measure is shown on Instanton Measures, Zero Modes, and Determinants. The instanton–bounce boundary and mode comparison contrasts these moduli with the translation and negative modes of a decay bounce.

What the classical solution does not establish

The arbitrary size $\rho$ reflects classical scale invariance. Quantum running weights different sizes and, in asymptotically free theories on $\mathbb R^4$, can drive the integral toward $\rho\Lambda\sim1$, where the weak-coupling calculation fails. Likewise, $S_I=8\pi^2/g^2$ establishes exponential suppression at a chosen weak scale but does not by itself prove a dilute ensemble, a condensate, or confinement.

Boundary and global-form data also matter. The integer $Q$ derivation above uses a globally defined $SU(2)$ bundle on the compactification of $\mathbb R^4$ with the stated behavior at infinity. Quotient gauge groups, non-spin manifolds, background higher-form fields, or compact circles may modify the allowed charge lattice; those possibilities are not changes to the local BPST profile.

Common pitfalls

Mixing coupling conventions. Here $\mathcal A=gA$, so $g$ appears outside the action and not inside the displayed BPST profile. Moving $g$ into the commutator requires moving corresponding powers everywhere.

Counting gauge redundancy as a collective coordinate. Only normalizable, gauge-fixed tangents to inequivalent configurations are integrated as moduli. The stabilizer must be divided out separately.

Inferring control from self-duality. Self-duality makes the classical action minimal in fixed $Q$. It does not control the $\rho$ integral or the many-instanton ensemble.

Exercises

1. Evaluate the radial integral of the BPST action density and verify that it is independent of $\rho$.

Solution

Set $u=r^2/\rho^2$, so $r^3dr=\rho^4u\,du/2$. Then

$$2\pi^2\int_0^\infty dr\,r^3 \frac{192\rho^4}{(r^2+\rho^2)^4} =192\pi^2\int_0^\infty du\,\frac{u}{(1+u)^4}.$$

The last integral is $B(2,2)=1/6$, giving $32\pi^2$. Every power of $\rho$ cancels, as classical scale invariance requires.

2. Derive the $4N$ count for a charge-one $SU(N)$ instanton and identify where the stabilizer enters.

Solution

An embedded $SU(2)$ solution is invariant under its centralizer $U(N-2)$. The orientation orbit therefore has dimension

$$(N^2-1)-(N-2)^2=4N-5.$$

Adding four translations and one positive scale gives $4N$. Dividing by the centralizer is essential; counting all $N^2-1$ constant rotations would overcount equivalent embeddings.

References

• Atiyah, Michael F., Nigel J. Hitchin, Vladimir G. Drinfeld, and Yuri I. Manin. “Construction of Instantons.” Physics Letters A 65 (1978): 185–187. DOI.
• Belavin, Alexander A., Alexander M. Polyakov, Albert S. Schwartz, and Yuri S. Tyupkin. “Pseudoparticle Solutions of the Yang–Mills Equations.” Physics Letters B 59 (1975): 85–87. DOI.
• Mariño, Marcos. Instantons and Large N: An Introduction to Non-Perturbative Methods in Quantum Field Theory. Cambridge: Cambridge University Press, 2015. DOI.