= Solution
A <principal bundle> separates the geometry of internal symmetry from a chosen local <gauge potential>. Let $\pi:P\to X$ be a principal $G$-bundle with a free right <Lie group action>. Each fiber is a copy of $G$, but generally no single identification works globally. A <principal connection> tells us how to compare fibers over nearby base points. Its physical interpretation is a prescription for <parallel transport> of internal states.
For $\xi\in\mathfrak g$, the vertical <fundamental vector field> is $\xi^\#_p=\left.\frac d{ds}\right|_0p\exp(s\xi)$. A <principal connection> is a <Lie algebra>-valued one-form $\mathcal A$ on $P$ satisfying
$$
\boxed{\mathcal A(\xi^\#)=\xi,\qquad R_g^*\mathcal A=\operatorname{Ad}_{g^{-1}}\mathcal A.}
$$
Equivalently, the <horizontal distribution of a principal connection> $H_p=\ker\mathcal A_p$ complements the vertical tangent space and is preserved by right translation. Given a curve in $X$ and an initial point in its fiber, there is a unique horizontal lift. For a closed curve its endpoint differs from its start by a group element: the <holonomy of a connection>. Thus a <principal connection> contains both infinitesimal and global transport information.
Choose local sections $s_\alpha:U_\alpha\to P$. Their <local principal connection forms> $A_\alpha=s_\alpha^*\mathcal A$ are the usual <gauge potentials>. If $s_\beta=s_\alpha g_{\alpha\beta}$ on an overlap, equivariance and reproduction of vertical generators give
$$
\boxed{A_\beta=g_{\alpha\beta}^{-1}A_\alpha g_{\alpha\beta}
+g_{\alpha\beta}^{-1}dg_{\alpha\beta}.}
$$
This inhomogeneous law means that a <gauge potential> is not an ordinary globally defined tensor. Its local formulas glue to a global <principal connection>. The same law describes changing a local section by a gauge function. For example, to impose <temporal gauge> locally, solve $\partial_tg=-A_tg$ so the transformed time component vanishes.
The <curvature of a principal connection> is
$$
\boxed{\mathcal F=d\mathcal A+\frac12[\mathcal A\wedge\mathcal A],\qquad
F_\alpha=dA_\alpha+A_\alpha\wedge A_\alpha.}
$$
Unlike the <principal connection> form, its curvature is horizontal and equivariant. Consequently $F_\beta=g_{\alpha\beta}^{-1}F_\alpha g_{\alpha\beta}$, and the <gauge curvature> is globally a two-form on $X$ with values in the <adjoint bundle> $\operatorname{ad}P=P\times_{\operatorname{Ad}}\mathfrak g$. The curvature measures the failure of horizontal directions to close under brackets: for horizontal lifts $U,V$, $\mathcal F(U,V)=-\mathcal A([U,V])$. A <flat principal connection> has an integrable horizontal distribution, although nontrivial global <holonomy of a connection> can remain around noncontractible curves.
The <covariant exterior derivative> on <adjoint bundle>-valued forms is locally $D_A=d+[A,\,\cdot\,]$. Expanding $F=dA+A\wedge A$ and using $d^2=0$ yields the <Bianchi identity>
$$
\boxed{D_AF=0.}
$$
For a representation $\rho$ of $G$, the same <principal connection> induces transport in the corresponding <associated vector bundle>; locally its <covariant derivative> is $d+\rho_*(A)$. This explains why charged matter and the <gauge curvature> use the same <gauge potential>.
Now put an oriented <Riemannian metric> on a four-dimensional base and take $G=SU(n)$. Use anti-Hermitian matrices with positive pairing $-\operatorname{tr}(XY)$, as in the preceding solution. The <Yang-Mills action> is
$$
S[A]=-\frac1{g_{\mathrm{YM}}^2}\int_X\operatorname{tr}(F\wedge*F).
$$
Its gauge invariance follows from curvature conjugation and invariance of the <trace>. Under a compactly supported variation $a=\delta A$, $\delta F=D_Aa$. Integration by parts therefore gives
$$
\delta S=-\frac2{g_{\mathrm{YM}}^2}\int_X\operatorname{tr}(a\wedge D_A*F),\qquad
\boxed{D_A*F=0.}
$$
This is a second-order equation for the <gauge potential>. The <self-dual Yang-Mills equations> $F=*F$ and the <Anti-self-dual Yang-Mills equations> $F=-*F$ are first-order equations. Either implies the full <Yang-Mills equations> immediately, since $D_A*F=\pm D_AF=0$ by the <Bianchi identity>. This is <self-duality implies Yang-Mills equations>.
A <Yang-Mills instanton> is a smooth finite-action Euclidean solution with self-dual or anti-self-dual <gauge curvature>. Its defining first-order condition depends on the <principal connection>, the metric and the orientation. Since the <Hodge star operator> on two-forms is unchanged under $g\mapsto e^{2f}g$ in four dimensions, self-duality and the <Yang-Mills action> are conformally invariant. In particular Euclidean solutions can be studied through conformal compactification, with appropriate behavior at infinity.
The global topology is encoded by <Chern-Weil theory>. Since $\operatorname{tr}F=0$, the <Second Chern form> and <Second Chern number> are
$$
c_2(A)=\frac1{8\pi^2}\operatorname{tr}(F\wedge F),\qquad
k=\int_Xc_2(A)\in\mathbb Z
$$
on a compact oriented four-manifold. The <Bianchi identity> makes $c_2(A)$ closed. More explicitly, under a connection variation,
$$
\delta\operatorname{tr}(F\wedge F)
=2\operatorname{tr}(D_Aa\wedge F)
=2d\operatorname{tr}(a\wedge F).
$$
Thus the integrated <Second Chern number> is independent of the <principal connection> on a fixed bundle, with the usual fixed-boundary condition on a noncompact base. The space of connections is affine, so integrating this variation along a straight path also proves that their characteristic forms differ by an exact form.
Locally the same characteristic form has a <Chern-Simons 3-form> primitive:
$$
\operatorname{tr}(F\wedge F)=d\operatorname{tr}\left(A\wedge dA+\frac23A\wedge A\wedge A\right).
$$
On $\mathbb R^4$ the underlying bundle is trivial, but a finite-action instanton with the standard extendible behavior at infinity can define a nontrivial bundle after adding the point at infinity. The transition map on an equatorial $S^3$ takes values in $SU(n)$; for $n\ge2$, its homotopy class lies in $\pi_3(SU(n))\cong\mathbb Z$. The boundary integral of the <Chern-Simons 3-form> computes that integer with the chosen sign convention. This reconciles a local matrix-valued <gauge potential> on $\mathbb R^4$ with nonzero global <Second Chern number> on $S^4$.
Finally the <Hodge splitting of Euclidean two-forms> produces the <Yang-Mills instanton Bogomolny bound>
$$
\boxed{S[A]\ge\frac{8\pi^2}{g_{\mathrm{YM}}^2}|k|.}
$$
Equality holds exactly when the opposite-duality component of the <gauge curvature> vanishes. Thus a <Yang-Mills instanton> is an \b[absolute action minimum in its fixed topological sector], not merely a stationary solution. In this trace convention self-dual instantons have $k<0$ and anti-self-dual instantons have $k>0$. In the zero sector, a self-dual or anti-self-dual finite-action solution has $S=0$ and hence $F=0$.
Different <principal connections> related by bundle gauge transformations describe the same physical configuration. Fixing $k$ and taking the quotient of instanton solutions by this <gauge equivalence of principal connections> gives the <instanton moduli space>. Near an anti-self-dual solution, write a variation as $a\in\Omega^1(X,\operatorname{ad}P)$. The linearized instanton equation and infinitesimal gauge transformations are
$$
P_+D_Aa=0,\qquad a\sim a+D_A\varepsilon.
$$
A local gauge condition $D_A^*a=0$ removes this redundancy. The combined operator $D_A^*\oplus P_+D_A$ is elliptic: for nonzero covector $\xi$, its principal symbol $a\mapsto(\iota_{\xi^\sharp}a,P_+(\xi\wedge a))$ has zero kernel. Choose $\xi=dt$; the first component removes $a_t$, and the self-dual projection of $dt\wedge a$ removes the three remaining components. This connects the <instanton moduli space> to geometric analysis, while the characteristic number and transport law explain its topological and physical meaning.
Back to article page
