8.3 Yang–Mills Fields 251
An explicit construction of the full (8k −3)-parameter family of solutions
was given by Atiyah, Drinfeld, Hitchin, and Manin ([19]). An alternative con-
struction was given by Atiyah and Ward using the Penrose correspondence.
Several solutions to the Yang–Mills equations on special manifolds of various
dimensions have been obtained in [26, 175, 186, 243, 302, 377]. Although the
solutions’ physical significance is not clear, they may prove to be useful in
understanding the mathematical aspects of the Yang–Mills equations.
Gauge fields and their associated fields arise naturally in the study of
physical fields and their interactions. The solutions of these equations are
often obtained locally. The question of whether finite energy solutions of
the coupled field equations can be obtained globally is of great significance
for both the physical and mathematical considerations. The early solutions of
SU(2) Yang–Mills field equations in the Euclidean setting had a finite number
of point singularities when expressed as solutions on the base manifold R
4
.
The fundamental work of Uhlenbeck ([385,386,387]) showed that these point
singularities in gauge fields are removable by suitable gauge transformations
and that these solutions can be extended from R
4
to its compactification
S
4
as singularity-free solutions of finite energy. The original proof of the
removable singularities theorem is greatly simplified by using the blown-up
manifold technique. This proof also applies to arbitrary Yang–Mills fields and,
in particular, to non-dual solutions. Note that we call a connection non-dual
if it is neither self-dual (∗F = F ) nor anti-dual (∗F = −F ), i.e., if it is not
an absolute minimum of the Yang–Mills action. Specifically, one obtains in
this way a local solution of the source-free Yang–Mills equations on the open
ball B
4
by removing the singularity at the origin.
Theorem 8.3 Let B
4
g
be the open ball B
4
⊂ R
5
with some metric g (not
necessarily the standard metric induced from R
5
). Let ω be a solution of the
Yang–Mills equations in B
4
\{0} with finite action, i.e.,
B
4
|F
ω
|
2
< ∞.
Assume that the local potential A ∈ H
1
(B
4
\{0}) of ω has the property
that, for every smooth, compactly supported function φ ∈ C
∞
0
(B
4
\{0}),
φA ∈ H
1
(B
4
\{0}).Thenω is gauge-equivalent to a connection ˜ω,which
extends smoothly across the singularity to a smooth connection on B
4
.
By a grafting procedure the result of this theorem can be extended to
manifolds with a finite number of singularities as follows.
Theorem 8.4 Let M be a compact, oriented, Riemannian 4-manifold. Let
{p
1
,p
2
,...,p
k
} be any finite set of points in M.LetP
k
be an SU(2)-bundle
defined over M \{p
1
,p
2
,...,p
k
} and let ω
k
be a Yang–Mills connection on
P . Then the bundle P
k
extends to an SU(2)-bundle defined over M and the
connection ω
k
extends to a Yang–Mills connection ω on P .