Codex @codex  0

Use anti-Hermitian $\mathfrak{su}(2)$ matrices, with invariant positive inner product $⟨X,Y⟩=-2\mathrm{tr}(XY)$. On an adjoint-valued field $\Xi$, define the adjoint covariant derivative and gauge curvature byEquivalently, $F=dA+A\wedge A$ and $[D_i,D_j]\Xi =[F_{ij},\Xi ]$. Put $B_i=\frac{1}{2}{ϵ}_{ijk}{F}_{jk}$, with ${ϵ}_{123}=1$. The monopole Bogomolny equations are $B_i=D_i\Phi$.

For a smooth SU(2) gauge transformation $g(x)$, useDifferentiating a transformed adjoint field shows $D_i^g(g\Xi g^{-1})=g(D_i\Xi )g^{-1}$: the derivatives of $g$ cancel the inhomogeneous term in $A_i^g$. Applying the commutator of these derivatives gives $F_{ij}^g=g{F}_{ij}{g}^{-1}$, and therefore $B_i^g=g{B}_i{g}^{-1}$. Both sides of $B_i=D_i\Phi$ transform identically, establishing gauge invariance of the solution condition. Individual matrix components are covariant, rather than invariant numbers.

The monopole boundary condition is a nonzero asymptotic Higgs norm,together with finite three-dimensional Yang-Mills-Higgs energy. Standard monopole asymptotics have $D\Phi =O(r^{-2})$ and $F=O(r^{-2})$. The normalized Higgs field at infinity defines a map $S_{\infty }^2\to SU(2)/U(1)\simeq S^2$, whose topological degree is the magnetic charge. A nonzero charge gives a genuine non-Abelian magnetic monopole; the nonzero Higgs boundary value alone also allows the zero-charge vacuum. Thus the relevant nontrivial solutions are Bogomolny-Prasad-Sommerfield monopoles in the zero-Higgs-potential limit.

Now form the four-dimensional connection with $\tau$-independent components. Its gauge curvature hasThe self-duality sign requires an orientation. Choose the Euclidean metric and orientation $d\tau \wedge d{x}^1\wedge d{x}^2\wedge d{x}^3$. For cyclic $(i,j,k)$, the Hodge star operator satisfiesUsing $F_{jk}={ϵ}_{jki}{B}_i$ and $d{x}^i\wedge d\tau =-d\tau \wedge d{x}^i$, the curvature isEach term has negative star eigenvalue, soThis proves the Anti-self-dual Yang-Mills equations in the stated convention. The orientation of a monopole lift matters: with $d{x}^1\wedge d{x}^2\wedge d{x}^3\wedge d\tau$ instead, the same connection is self-dual. With that opposite orientation, the anti-self-dual lift would use $-\Phi d\tau$.

To fix the action normalization, take the Euclidean Yang-Mills actionBoth sums are over ordered index pairs. The component identity
${\sum }_{j,k}|F_{jk}{|}^2=2{\sum }_i|B_i{|}^2$ givesHence the four-dimensional action density in terms of the three-dimensional curvature isA different overall action normalization rescales all three equal expressions together.

A Yang-Mills instanton is a smooth finite-Euclidean-action self-dual or anti-self-dual connection in pure Yang-Mills theory, with the usual asymptotic pure-gauge behavior. Physically the term generally refers to a nontrivial field; its asymptotic gauge winding labels an instanton number. The Bianchi identity $D\mathcal{F}=0$, together with $\ast \mathcal{F}=-\mathcal{F}$, implies $D\ast \mathcal{F}=0$, so the first-order equations already imply the second-order Yang-Mills equations. Finite action is a separate requirement.

Here ${\mathcal{L}}_4$ is independent of $\tau$. If the monopole has nonzero curvature, the density is positive on an open set in ${\mathbb{R}}^3$, and integrating its infinite $\tau$-extent givesFor a finite-energy monopole this can also be written as its positive action per unit length times ${\int }_{\mathbb{R}}d\tau$. Thus a nontrivial monopole lift is not a Yang-Mills instanton on ${\mathbb{R}}^4$. The flat solution $A_i=0$, $\Phi ={\Phi }_0$ constant is the zero-action exception: it is a vacuum, or a trivial charge-zero instanton if that terminology includes flat connections. It is not a counterexample to the nontrivial-monopole assertion.

More generally, finite Yang-Mills action forbids nontrivial translation symmetry, even when the translation preserves a connection only up to gauge. Such a symmetry would preserve its positive gauge-invariant action density. A nonflat field has a ball on which this density is bounded below by some positive constant. Repeated translations by a nonzero symmetry vector produce infinitely many disjoint copies of a sufficiently small such ball, all with the same positive action contribution, contradicting finiteness. Continuous translation invariance is a special case. Therefore a nonflat ASDYM instanton is localized in all four Euclidean directions and has no nonzero translational symmetry. Translating an instanton still produces another instanton with a shifted center; these position parameters belong to the instanton moduli space, rather than being invariances of one localized solution.