Past exam of the mathematics course of the University of Cambridge / 2002 / iii / Paper 70 (Yang-Mills Field Theory)

Use Minkowski spacetime signature $(+,-)$ and put $\kappa =|\lambda |>0$. The Euler-Lagrange field equation for the real scalar field isIndeed, differentiating the potential $U(\varphi )={\kappa }^2({\varphi }^2-1{)}^2/2$ gives $U^{\prime }=2{\kappa }^2\varphi ({\varphi }^2-1)$, while the kinetic term contributes ${\partial }_{\mu }{\partial }^{\mu }\varphi$.

Translation invariance gives the symmetric stress-energy tensorIts divergence is $({\partial }_{\mu }{\partial }^{\mu }\varphi +U^{\prime }){\partial }^{\nu }\varphi$, which vanishes by the Euler-Lagrange field equation. Consequently the conserved energy and physical spatial momentum areThe minus sign in $P=\int T^{01}dx$ follows from ${\partial }^1=-{\partial }_x$. Conservation assumes the associated stress-energy fluxes vanish at spatial infinity, as they do for the localized fields below.

A static finite-energy field configuration approaches vacua $\varphi =\pm 1$. Multiplying ${\varphi }^{\prime \prime }=U^{\prime }(\varphi )$ by ${\varphi }^{\prime }$ giveswhere the vacuum limits fix the constant. For a kink increasing from $-1$ to $1$, ${\varphi }^{\prime }=\kappa (1-{\varphi }^2)$. Integration gives $\mathrm{artanh}\varphi =\kappa (x-X)$ and henceIts negative is the antikink. The arbitrary center $X$ is a translational collective coordinate. The static kink mass is its rest energy; using ${\varphi }^{\prime 2}=2U$ and $y=\kappa (x-X)$ givesEquivalently, completing the static energy into a square gives $E=\frac{1}{2}\int [{\varphi }^{\prime }-\kappa (1-{\varphi }^2){]}^{2}dx+\kappa [\varphi -{\varphi }^3/3{]}_{-\infty }^{\infty }$, so this kink saturates its Bogomolny bound.

A Lorentz boost with velocity $v$ givesWriting $z=\gamma (x-X-vt)$, the derivatives are ${\varphi }_t=-\gamma v{\varphi }_{\mathrm{K}}^{\prime }(z)$ and ${\varphi }_x=\gamma {\varphi }_{\mathrm{K}}^{\prime }(z)$. The momentum integral therefore becomesThe boosted energy isbecause ${\gamma }^{-1}=\gamma (1-v^2)$. Thus $E^2-P^2=M^2$ and $P/E=v$, exactly the energy–momentum relation of a relativistic particle of rest mass $4\kappa /3$. This is the relativistic energy and momentum of a phi-four kink. If $\lambda =0$, the double-well potential disappears and there is no localized static kink connecting these vacua.

The Bogomolny equations are first-order equations obtained by expressing a static energy as nonnegative squares plus a term fixed by the topological charge. Vanishing of the squares minimizes the energy in that topological sector. In particular, the solutions satisfy the full second-order field equations, since their first variation vanishes for compactly supported variations preserving the boundary data. Both monopole and vortex realizations illustrate this mechanism.

For a Yang-Mills theory with gauge group SU(2) and an adjoint Higgs field ${\Phi }^a$, take the static, purely magnetic energyHere $B_i^a=\frac{1}{2}{ϵ}_{ijk}{F}_{jk}^a$, and $e$ is the gauge coupling. In the Bogomolny limit ${\lambda }_H=0$, retain the boundary condition $|\Phi |\to v_H>0$; it breaks SU(2) to U(1) at infinity even though the scalar potential has been removed. The normalized Higgs field on the sphere at infinity defines a map $S_{\infty }^2\to S^2$ of topological degree $n$. In a consistent magnetic orientation the asymptotic flux is $g_m=4\pi n/e$, andFor example, this equality follows by projecting the asymptotic gauge curvature on the Higgs direction: its flux is the integral of the target-sphere area form, divided by $e$.

The gauge-theory Bianchi identity $D_i{B}_i=0$ makes the cross term a divergence:For either sign $s=\pm 1$, complete the square:Choosing $s=\mathrm{sgn}n$ givesThese are the Bogomolny-Prasad-Sommerfield monopole equations. A nonzero scalar potential would add a positive term; a nontrivial smooth monopole with a core cannot generally saturate this same bound at ${\lambda }_H>0$. The Bogomolny monopole equations imply Yang-Mills-Higgs equations: the Bianchi identity already gives $D_i{D}_i\Phi =0$, and the square-completion argument gives stationarity with respect to the gauge field as well.

An explicit charge-one solution is furnished by the hedgehog ansatz for a monopole. To fix its signs, use component conventions $D_i\Phi ={\partial }_i\Phi -e{A}_i\times \Phi$ and $F_{ij}={\partial }_i{A}_j-{\partial }_j{A}_i-e{A}_i\times A_j$. With $\rho =e{v}_{H}r$ and $\hat{x}=x/r$, putThe radial and transverse parts of $D_i\Phi$ are $e{v}_H^2{H}^{\prime }{\hat{x}}_i{\hat{x}}^a$ and $v_{H}HK({\delta }_{ia}-{\hat{x}}_i{\hat{x}}^a)/r$. The corresponding parts of $B_i^a$ are $(1-K^2){\hat{x}}_i{\hat{x}}^a/(e{r}^2)$ and $-v_H{K}^{\prime }({\delta }_{ia}-{\hat{x}}_i{\hat{x}}^a)/r$. Therefore $B=D\Phi$ reduces toThe Prasad-Sommerfield radial monopole solution isDirect differentiation verifies both equations. Near $\rho =0$, $K=1-{\rho }^2/6+O({\rho }^4)$ and $H=\rho /3+O({\rho }^3)$, so the apparent angular singularities disappear and the fields are smooth. At infinity $K$ decays exponentially while $H=1-1/\rho +O(e^{-2\rho })$, leaving an Abelian $1/(e{r}^2)$ magnetic field and mass $4\pi v_H/e$.

Translations of this magnetic monopole give three collective coordinates; a residual U(1) phase provides another in the framed description, where gauge transformations are fixed at infinity. Multimonopole solutions of a common sign also saturate the linear bound. Their widely separated constituents have position and phase parameters, with no static force: the magnetic repulsion and massless-Higgs attraction cancel in this limit. Relative motion is described at low speeds by the moduli-space approximation. An opposite-sign monopole pair does not solve one common sign of the Bogomolny equations and is not protected by that no-force argument.

For the Abelian Higgs model, a second realization occurs in the plane. Let $\psi$ be a complex Higgs field, $D_i={\partial }_i-ie{A}_i$, $B={\partial }_1{A}_2-{\partial }_2{A}_1$, and choose the critically coupled static energyDifferent conventions for the scalar kinetic coefficient change the numerical coefficients of both the bound and the equations. This normalization gives scalar and gauge masses $\sqrt{2}e{v}_H$, explaining the critical balance of their long-distance forces. In three spatial dimensions the planar solutions describe straight strings with this energy per unit length.

Finite energy requires $|\psi |\to v_H$ and $D_i\psi \to 0$. On a large circle the Higgs phase winds by $2\pi n$, so the magnetic flux quantization of an Abelian Higgs vortex givesWriting $J_i=\mathrm{Im}(\bar{\psi }{D}_i\psi )$, expansion and integration by parts giveThe divergence integrates to zero for the usual localized vortex boundary conditions. Thus the Bogomolny square completion for an Abelian Higgs vortex isFor $n\ge 0$ the Bogomolny vortex equations and bound areFor $n<0$, reverse the sign in both first-order equations and obtain $E=2\pi v_H^2|n|$.

For a rotationally symmetric positive vortex number, use $\psi =v_{H}f(r)e^{in\theta }$ and the physical angular component $A_{\theta }=na(r)/(er)$. The Bogomolny vortex equations becomewith $f(0)=a(0)=0$ and $f(\infty )=a(\infty )=1$. The regular core behaves as $f\sim c{r}^n$ and $a\sim e^2{v}_H^2{r}^2/(2n)$. Linearization at infinity gives exponentially decaying massive tails. Unlike the radial monopole, these planar radial profiles have no elementary closed form in general.

The general multi-vortex solution can be encoded by the Taubes equation. Away from zeros, write $\psi =v_H{e}^{h/2+i\chi }$. The first equation givesAt zeros $z_a$ of multiplicity $m_a$, the phase contributes circulation $2\pi m_a$. The second equation becomes, including these Dirac delta terms,For prescribed zeros the planar existence result gives a solution; the prescribed-zero construction of planar Abelian Higgs vortices reconstructs smooth fields, with $h=2m_a\log |x-z_a|+O(1)$ near each zero. Uniqueness is visible directly: for two solutions with the same zeros, their nonsingular difference $w$ satisfies $\Delta w=2e^2{v}_H^2(e^{h_1}-e^{h_2})$. Multiplying by $w$ and integrating giveshence $w=0$. The Abelian Higgs vortex moduli space has arbitrary unordered positions of the $n$ zeros, giving $2n$ real position parameters. The saturated energy is independent of their positions, so critically coupled vortices have no static interaction energy. Away from critical coupling this cancellation is lost.

The topological degree assigns an integer to a continuous map $f:M\to N$ between closed, connected, oriented manifolds of the same dimension $d$. Their top homology groups are infinite cyclic, generated by their fundamental classes. The induced map definesFor a smooth map and a regular value $y$, its equivalent local description iswhere the sign records preservation or reversal of orientation. The preimage is a finite set because the manifolds are compact and $y$ is regular. This is a signed count; opposite-orientation preimages cancel. If $\omega$ is a normalized target volume form with ${\int }_N\omega =1$, the pullback of a differential form gives the equivalent integral $\mathrm{deg}f={\int }_M{f}^{\ast }\omega$.

The homotopy invariance of mapping degree follows because homotopic maps induce the same homology map. In the smooth description, apply Stokes theorem to a homotopy $F:M\times [0,1]\to N$:since a top-dimensional form on $N$ is closed. Thus degree cannot change during a smooth deformation preserving the relevant boundary conditions. Degrees multiply under composition, and a nonzero-degree map is surjective: a missed target point would give a regular value with an empty preimage and hence degree zero.

For maps $S^d\to S^d$, the homotopy group ${\pi }_d(S^d)=\mathbb{Z}$ is completely detected by degree. This supplies integer topological sectors for many classical field-theory solitons. It is important to distinguish two ways spheres arise. In a nonlinear sigma model with the field approaching one fixed target value at infinity, compactify all of ${\mathbb{R}}^d$ to $S^d$ and classify the resulting map into the target. For a defect whose vacuum field varies with direction, retain the sphere $S_{\infty }^{d-1}$ surrounding the core and map it into the vacuum manifold. This is the vacuum-boundary degree as a defect charge. An asymptotic limit is a boundary hypothesis; finite energy alone in every possible model need not imply one.

For an Abelian Higgs vortex, the phase at infinity defines $S^1\to U(1)\cong S^1$. Its degree is the winding numberNonzero $n$ forces a zero of the Higgs field inside: a nowhere-vanishing field would extend its normalized phase through the disk and make the boundary loop contractible. This is also the flux classification of the Bogomolny vortex equations.

For a 't Hooft-Polyakov monopole, the normalized adjoint Higgs field $\hat{\Phi }$ gives $S_{\infty }^2\to SU(2)/U(1)\cong S^2$. With outward orientation its degree isThe integrand is the normalized target area form, so the hedgehog ansatz for a monopole has degree one. Nonzero degree obstructs extending the normalized Higgs direction through the ball; the full Higgs field must leave the vacuum manifold, normally vanishing in its core. The asymptotic unbroken Abelian magnetic flux measures the same integer with a convention-dependent sign.

For the Skyrme model, a field $U:{\mathbb{R}}^3\to SU(2)$ with $U\to 1$ at infinity gives $S^3\to S^3$, because SU(2) as the three-sphere identifies the target. A choice of orientations gives its topological baryon number in the Skyrme model as the winding integral $\pm (24{\pi }^2{)}^{-1}\int \mathrm{tr}(U^{-1}dU{)}^3$; specifying the orientation fixes the sign. Similarly, the transition map at infinity of a four-dimensional Yang-Mills instanton has degree in ${\pi }_3(SU(2))$, measured by its Chern charge.

A scalar-field kink illustrates the discrete-vacuum case: its endpoint data lie in ${\pi }_0(\{\pm 1\})$, rather than being a map between connected positive-dimensional spheres. For the double-well field its topological charge is $Q=[\varphi (+\infty )-\varphi (-\infty )]/2$. A kink has $Q=1$, an antikink $Q=-1$; they cannot individually deform to vacuum while their endpoints are fixed.

Degree classifies topology, rather than every solution. Smooth motion or local perturbations with fixed boundary data preserve it, and a nonzero degree obstructs decay to the vacuum within that class. It does not guarantee existence of a smooth energy minimizer, a fixed size, uniqueness, or dynamical stability. The degree and energetic stability of a field configuration are distinct: a field can shrink towards a singular limit at fixed degree, as Derrick's theorem diagnoses in many two-derivative theories. Moreover degree need not classify all homotopy classes for an arbitrary target; other homotopy groups or invariants may be needed. Within one degree there can be continuous moduli spaces and several stationary solutions.

Use an SU(2) connection one-form $A=A_{\mu }d{x}^{\mu }$ with Skew-Hermitian generators $T_a=-i{\sigma }_a/2$, so $\mathrm{tr}(T_a{T}_b)=-{\delta }_{ab}/2$. Absorb the gauge coupling into $A$, and write its gauge curvature as $F=dA+A\wedge A$. The Yang-Mills gauge transformation convention is $A^h=h^{-1}Ah+h^{-1}dh$, giving $F^h=h^{-1}Fh$.

In four dimensions the Second Chern form and Second Chern number of the associated fundamental rank-two bundle areHere $M$ is a closed oriented four-manifold. This sign follows by expanding the total Chern class $\det (1+iF/(2\pi ))$ and using $\mathrm{tr}F=0$. The first Chern class vanishes for SU(2); the second is the degree-four characteristic class relevant here. With the same curvature convention the commonly positive self-dual instanton number isBoth sign conventions occur; fixing them at the outset avoids identifying opposite-oriented integers.

The form is gauge-invariant by conjugation and cyclicity of the matrix trace. The gauge-theory Bianchi identity $D_{A}F=0$ makes it closed. To see that its integral is independent of the connection, vary $A$:On a closed $M$ the integral of this exact form vanishes. This is Chern-Weil connection transgression, showing that $k_C$ depends on the bundle's topology rather than on a particular gauge field.

Locally the same four-form is an exterior derivative. The Chern-Simons 3-formsatisfiesFor verification, differentiating gives $\mathrm{tr}(dA\wedge dA+2dA\wedge A\wedge A)$; expansion of $F\wedge F$ gives these terms and $\mathrm{tr}{A}^4$. Graded cyclicity moves the first one-form through the other three, changing the sign, so $\mathrm{tr}{A}^4=0$. This local exactness does not make the Second Chern number zero on every closed manifold: on a nontrivial bundle the gauge potentials and ${\omega }_3$ are only patchwise defined.

For the usual finite-action sector on ${\mathbb{R}}^4$, impose pure-gauge behavior $A\to h^{-1}dh$ at infinity. Compactification gives a bundle over $S^4$, with transition map $h:S^3\to SU(2)$. The Maurer-Cartan equation gives $d(h^{-1}dh)=-(h^{-1}dh{)}^2$, henceWith the outward boundary orientation, Stokes theorem therefore givesThese are opposite choices of the winding number, and either becomes the topological degree of $h$ after specifying the orientation of the target SU(2) sphere. Thus integrality also follows from ${\pi }_3(SU(2))=\mathbb{Z}$. Smooth deformations preserving the asymptotic sector cannot change it.

The positive Euclidean Yang-Mills action isDefine $\Vert X{\Vert }^2=-\int \mathrm{tr}(X\wedge \ast X)$. Since the Hodge star has square one on two-forms in Euclidean dimension four,Choosing $s=\mathrm{sgn}Q$ gives the Yang-Mills instanton Bogomolny boundThe self-dual Yang-Mills equations and their anti-self-dual version imply the Yang-Mills equations $D_A\ast F=0$ by the Bianchi identity. Their finite-action solutions are Yang-Mills instantons.

For a concrete self-dual example, the BPST instanton with center $a$ and size $\rho >0$ haswhere ${\eta }_{\mu \nu }^a$ are self-dual 't Hooft symbols. Their contraction is ${\sum }_{a,\mu ,\nu }({\eta }_{\mu \nu }^a{)}^2=12$. Thus $F_{\mu \nu }^a{F}_{\mu \nu }^a=192{\rho }^4/(|x-a{|}^2+{\rho }^2{)}^4$, andThis gives $S=8{\pi }^2/g^2$ and $Q=1$. Reversing duality gives $Q=-1$. The free center, size and framed gauge orientation illustrate the instanton moduli space.

On a three-dimensional slice $\Sigma$, there is no four-form Chern integral intrinsic to the slice. Its transgression is the Chern-Simons number of a gauge field, in the instanton-charge conventionIt is a real number for a general connection, not necessarily an integer, and is not strictly gauge invariant. Set $\theta =h^{-1}dh$ and $\bar{\theta }=dh{h}^{-1}$. Substituting $A^h=h^{-1}Ah+\theta$, using $d\theta =-{\theta }^2$ and graded trace cyclicity, gives the gauge change of the Chern-Simons three-formThe mixed terms collect into the displayed exact form; the last term is also fixed by the pure-gauge case $A=0$. Therefore on a closed $\Sigma$, or with boundary conditions making the exact-form integral vanish,Thus $N_{\mathrm{CS}}\mathrm{mod}\mathbb{Z}$, or $\exp (2\pi i{N}_{\mathrm{CS}})$, is gauge invariant. Gauge maps homotopic to the identity have $w=0$; maps of nonzero winding are large transformations even when they equal the identity at infinity.

For a Yang-Mills vacuum on ${\mathbb{R}}^3$, zero magnetic energy requires $F_{ij}=0$. On simply connected space this is a pure gauge $A=h^{-1}dh$, and $N_{\mathrm{CS}}=w(h)$ is an integer after fixing the asymptotic trivialization. Quotienting only by transformations homotopic to the identity leaves integer-labelled vacuum representatives. Allowing all winding transformations identifies them classically; quantum states can instead transform by a phase, producing the theta vacuum. A three-dimensional pure-gauge representative carries a winding number but is not a localized positive-energy monopole. In fact no static finite-energy lump in three-dimensional pure Yang-Mills theory exists with the usual decay conditions: $A_i^{(s)}(x)=s{A}_i(sx)$ gives $E(s)=sE(1)$, and stationarity forces $E=0$.

Finally, on an oriented spacetime slab $[t_{-},t_{+}]\times \Sigma$, with no side-boundary contribution, the transgression identity givesA Yang-Mills instanton therefore interpolates between vacuum representatives whose Chern-Simons numbers differ by its integer charge. In a four-dimensional quantum theory a Yang-Mills theta term weights such sectors by $e^{i\theta Q}$, making $\theta$ periodic modulo $2\pi$. In an intrinsically three-dimensional theory an action $2\pi \ell N_{\mathrm{CS}}$ has a gauge-invariant phase $e^{iS}$ only for integer level $\ell$ under all winding gauge maps. These statements distinguish the gauge-invariant integer four-dimensional Chern charge from the three-dimensional connection-dependent quantity defined modulo integers.