= Solution
A <Yang-Mills instanton> is a localized finite-action Euclidean <gauge field> with self-dual or anti-self-dual <gauge curvature>. It is a four-dimensional space-time event, rather than a static three-dimensional finite-energy monopole. Take <gauge group> $SU(2)$ first, with <Skew-Hermitian> generators $T_a=-i\sigma_a/2$, $[T_a,T_b]=\epsilon_{abc}T_c$, and $\operatorname{tr}(T_aT_b)=-\delta_{ab}/2$. Write
$$
A=A_\mu dx^\mu,\quad F=dA+A\wedge A,\quad D_\mu=\partial_\mu+[A_\mu,\,\cdot\,],
$$
and fix orientation $dx^1\wedge dx^2\wedge dx^3\wedge dx^4$. The positive <Euclidean action> is
$$
S=-\frac1{g^2}\int\operatorname{tr}(F\wedge *F)
=\frac1{4g^2}\int F^a_{\mu\nu}F^a_{\mu\nu}\,d^4x.
$$
Varying $F$ gives $\delta F=D\delta A$. Integration by parts makes stationarity equivalent to $D_\mu F_{\mu\nu}=0$. The <Bianchi identity> $DF=0$ follows by expanding $F=dA+A\wedge A$, using $d^2=0$, and cancelling the remaining <matrix commutator> terms. Consequently $F=\pm *F$ implies the <Yang-Mills equations>: $D*F=\pm DF=0$. <Self-duality of gauge curvature> is an extra first-order condition, not a property of every finite-action <gauge connection>.
For the usual <instanton> decay conditions, the field is asymptotically pure gauge, $A\sim h^{-1}dh$ on the sphere at infinity. The boundary map $h:S^3\to SU(2)\simeq S^3$ has an <integer> degree. With the present trace convention define the <instanton number> by
$$
k=-\frac1{8\pi^2}\int\operatorname{tr}(F\wedge F)
=\frac1{32\pi^2}\int F^a_{\mu\nu}(*F)^a_{\mu\nu}\,d^4x.
$$
The identity
$$
\operatorname{tr}(F\wedge F)=d\operatorname{tr}\left(A\wedge dA+\frac23A\wedge A\wedge A\right)
$$
turns this integral into a boundary winding integral: for $A=h^{-1}dh$, the three-form in parentheses is $-\tfrac13\operatorname{tr}(h^{-1}dh)^3$, giving $k=(24\pi^2)^{-1}\int_{S^3}\operatorname{tr}(h^{-1}dh)^3$, with the chosen boundary orientation. The normalized invariant three-form computes the degree of $h$, so $k\in\mathbb Z$. Equivalently the gauge bundle extends across conformal infinity to a bundle on $S^4$, and this is its <Second Chern number> convention. A smooth deformation preserving the boundary class cannot change this <integer>.
Square completion gives the <Yang-Mills instanton Bogomolny bound>:
$$
S=\frac1{8g^2}\int(F^a_{\mu\nu}\mp(*F)^a_{\mu\nu})^2d^4x
\ \pm\ \frac{8\pi^2}{g^2}k
\quad\Longrightarrow\quad
\boxed{S\ge\frac{8\pi^2}{g^2}|k|.}
$$
Self-dual <gauge curvature> saturates the bound for $k>0$, and anti-self-dual <gauge curvature> for $k<0$. These are <Yang-Mills action> minima within their topological sectors. Gauge variations give redundant directions, and variations along the moduli give <zero modes>; there is no negative second variation within the fixed-charge sector at a bound-saturating solution.
An explicit charge-one solution is the <BPST instanton>. Put $y=x-a$, $r^2=y_\mu y_\mu$, $d=r^2+\rho^2$, with $\rho>0$. The self-dual <'t Hooft symbols> are defined by $\eta^a_{ij}=\epsilon_{aij}$ and $\eta^a_{i4}=\delta_{ai}$, extended antisymmetrically. Then
$$
A_\mu^a=\frac{2\eta^a_{\mu\nu}y_\nu}{d},\qquad
F_{\mu\nu}^a=-\frac{4\rho^2\eta^a_{\mu\nu}}{d^2}.
$$
For completeness, differentiation supplies $-4\eta^a_{\mu\nu}/d-4K^a_{\mu\nu}/d^2$, where $K^a_{\mu\nu}=\eta^a_{\nu\lambda}y_\lambda y_\mu-\eta^a_{\mu\lambda}y_\lambda y_\nu$. The <matrix commutator> term supplies $4C^a_{\mu\nu}/d^2$, and the symbol identity
$$
C^a_{\mu\nu}=\epsilon_{abc}\eta^b_{\mu\lambda}\eta^c_{\nu\sigma}y_\lambda y_\sigma
=r^2\eta^a_{\mu\nu}+K^a_{\mu\nu}
$$
reduces their sum to the stated <gauge curvature>. Since $*\eta^a=\eta^a$, it is self-dual and solves the <Yang-Mills equations>. The <gauge potential> is regular at the center in this gauge, and <gauge curvature> falls as $r^{-4}$ at infinity.
The squared-symbol sum is 12, so
$$
F^a_{\mu\nu}F^a_{\mu\nu}=\frac{192\rho^4}{(r^2+\rho^2)^4},\qquad
\int_{\mathbb R^4}\frac{\rho^4}{(r^2+\rho^2)^4}\,d^4x=\frac{\pi^2}{6}.
$$
The second integral follows from $d^4x=2\pi^2r^3dr$ and the substitution $u=r^2$. Thus
$$
\boxed{S_{\rm BPST}=8\pi^2/g^2,\qquad k=1.}
$$
Replacing the symbols by their anti-self-dual counterparts reverses the charge and gives an <anti-instanton>. A compact non-Abelian group with an $SU(2)$ subgroup admits corresponding embedded examples.
The center $a\in\mathbb R^4$ gives four position moduli and $\rho>0$ gives one size modulus. In a <framed instanton moduli space>, <gauge transformations> are required to approach the identity at infinity, so three global $SU(2)$ orientation parameters remain, making eight real parameters for one <instanton>. If constant <gauge transformations> are also divided out, only the five position-and-size parameters remain. The size costs no classical <Yang-Mills action>: under $A_\mu(x)\mapsto\lambda A_\mu(\lambda x)$, <gauge curvature> scales by $\lambda^2$ and the four-dimensional volume by $\lambda^{-4}$. As $\rho\to0$, <gauge curvature> concentrates at the center; the limiting object is a singular bubbling boundary of <moduli space>, not a smooth zero-size solution.
Higher-charge solutions require genuine nonlinear constructions, rather than a linear sum of charge-one <gauge potentials>. The <ADHM construction> gives a finite-dimensional description. For $V=\mathbb C^\ell$, $W=\mathbb C^N$, take $B_1,B_2\in\operatorname{End}(V)$, $I:W\to V$, $J:V\to W$, satisfying
$$
[B_1,B_2]+IJ=0,\qquad
[B_1,B_1^\dagger]+[B_2,B_2^\dagger]+II^\dagger-J^\dagger J=0,
$$
modulo the natural <group action> of $U(\ell)$. Here $\ell$ is the charge magnitude, avoiding confusion with the signed $k$ above. Regularity requires the following <matrix> to have full row rank everywhere:
$$
\mathcal D_z=
\begin{pmatrix}B_2-z_2&B_1-z_1&I\\-B_1^\dagger+\bar z_1&B_2^\dagger-\bar z_2&J^\dagger\end{pmatrix},
\qquad z_1=x^1+ix^2,\quad z_2=x^3+ix^4.
$$
The complex constraint kills the off-diagonal block of $\mathcal D_z\mathcal D_z^\dagger$, while the real constraint equates its diagonal blocks. Thus $\mathcal D_z\mathcal D_z^\dagger=1_2\otimes f^{-1}$. Choose an orthonormal <matrix> of kernel columns $\Psi$, with $\Psi^\dagger\Psi=1_N$, and define $A=\Psi^\dagger d\Psi$.
This is not merely a parameter count: its <gauge curvature> is checked by the <ADHM factorization identity>. The complementary <orthogonal projection> is $\mathcal D_z^\dagger(1_2\otimes f)\mathcal D_z$. Differentiating $\mathcal D_z\Psi=0$ in the identity $F=d\Psi^\dagger(1-\Psi\Psi^\dagger)\wedge d\Psi$ gives
$$
F=\Psi^\dagger d\mathcal D_z^\dagger(1_2\otimes f)\wedge d\mathcal D_z\Psi.
$$
The space-time <differential two-forms> appearing here are generated by $dz_1\wedge d\bar z_1-dz_2\wedge d\bar z_2$, $dz_1\wedge d\bar z_2$, and $d\bar z_1\wedge dz_2$. For orientation $1234$ these are anti-self-dual. Hence the construction yields anti-self-dual <gauge connections>, of charge $k=-\ell$ in the present convention; the reversed construction gives positive charge. Regular ADHM data describe the smooth framed <instanton> moduli, while degenerate rank conditions allow singular limits.
There are $4\ell^2+4\ell N$ real data parameters. The three real <matrix> <moment map> equations impose $3\ell^2$ conditions, and quotient by $U(\ell)$ removes another $\ell^2$, giving $4\ell N$ dimensions at regular points. For $SU(2)$ this is $8\ell$ framed dimensions and $8\ell-3$ unframed dimensions on the irreducible locus. This explains how the one-instanton parameters fit into the higher-charge family.
The <Penrose-Ward correspondence> provides a complementary description by <holomorphic vector bundles> on <twistor space>, trivial on the real <twistor lines> for the Euclidean problem and equipped with the suitable reality structure. Triviality on every complexified line is a stronger condition and is not required for ordinary Euclidean <instantons>. Symmetry reductions of the anti-self-dual equations give integrable three-dimensional systems such as the <Bogomolny equations>.
In the quantum theory, a Euclidean <instanton> interpolates between <Yang-Mills vacua> of different <Chern-Simons number>. Choosing Euclidean time $x^1$ and spatial orientation $234$, its signed charge is the final <Chern-Simons number> minus the initial one, so it describes <quantum tunnelling> between winding sectors. Semiclassical contributions are suppressed by $\exp[-8\pi^2|k|/g^2]$; a <Yang-Mills theta term> adds a phase $\exp(i\vartheta k)$. One integrates over the <instanton> <collective coordinates> and includes fluctuation determinants rather than treating one classical solution as the entire quantum answer. <Instantons> therefore connect finite-action classical geometry, topology of gauge bundles, exact nonlinear constructions, and nonperturbative quantum effects.
Back to article page
