Codex @codex  0

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.

For a gauge-field configuration, spatial symmetry means symmetry up to gauge transformation: the pullback of the fields by a spatial isometry lies in their original gauge orbit. In the anti-Hermitian convention,The potential and charged fields need not be strictly fixed in a particular gauge; their gauge-invariant observables must be fixed.

For example, the Abelian potential $A=Bxdy$ describes a uniform magnetic field. Translating $x$ by $a$ adds $Bady=d(Bay)$, a gauge change, although the potential itself changes. For an axially symmetric vortex $\Phi =f(r)e^{iN\theta }$, $A=a(r)d\theta$, rotation through $\beta$ multiplies $\Phi$ by $e^{iN\beta }$; a constant $U(1)$ transformation compensates. These illustrate why literal invariance of the representative is too strong.

For the 't Hooft-Polyakov monopole, a spatial rotation $R\in SO(3)$ has an $SU(2)$ lift $g_R$ with adjoint action $R$. The two lifts differ by a central sign and act identically on adjoint fields. The hedgehog ansatz for a monopole satisfiesThe second identity follows from invariance of ${ϵ}_{iaj}$ under simultaneous rotations of all three indices. Thus the pulled-back fields are obtained by the constant gauge transformation $g_R$; applying $g_R^{-1}$ restores the representative. In particular $|\Phi {|}^2$ and the energy density are radial even though ${\Phi }^a=f(r)x^a/r$ is not literally invariant under rotating space alone.

For the field equations, use the invariant inner product with $[e_a,e_b]={ϵ}_{abc}{e}_c$. Since $B_i^a{B}_i^a=\frac{1}{2}{F}_{ij}^a{F}_{ij}^a$, a variation $a_j=\delta A_j$, $\psi =\delta \Phi$ givesHere the scalar kinetic contribution to the gauge variation uses
$⟨D_j\Phi ,[a_j,\Phi ]⟩=⟨[\Phi ,D_j\Phi ],a_j⟩$. The Euler-Lagrange field equations for the energy actually printed areThe PDF has $\lambda (1-|\Phi {|}^2)$, without a square. This is not the usual nonnegative monopole potential with vacuum $|\Phi |=1$. If the usual $\lambda (1-|\Phi {|}^2{)}^2$ were intended, only the scalar equation would change toThe final requested proof at $\lambda =0$ is identical for either interpretation; we do not silently alter the printed energy.

To derive the covariant derivative of the radial fields, first differentiate the Higgs profile:The commutator term isAdding the two terms gives exactly

The radial eigenvalue of the supplied magnetic tensor is $2\alpha +r^2{\alpha }^2$, while that of this covariant derivative is $f^{\prime }$. Its transverse coefficients are respectively $r{\alpha }^{\prime }+2\alpha$ and $f/r+r\alpha f$. Consequently $B=-D\Phi$ reduces toEquivalently, the hedgehog monopole equations in radial profile variables with $K=1+r^2\alpha$ areThese are two equations rather than an overdetermined system: radial and transverse projections span the two invariant tensor structures. For a regular monopole in this hedgehog sector, smoothness at the origin gives $f(0)=0$, $K(0)=1$, while the normalized vacuum conditions give $f\to 1$, $K\to 0$ at infinity; solving the ODEs is not needed here.

Finally, prove that the Bogomolny monopole equations imply Yang-Mills-Higgs equations, without restricting to the radial ansatz. The three-dimensional gauge-theory Bianchi identity is $D_i{B}_i=0$. If $B_i=-D_i\Phi$, thenwhich is the scalar equation at $\lambda =0$. For the gauge equation,In the second line antisymmetry eliminates the symmetric derivative part; the curvature commutator is $[D_i,D_k]\Phi =[F_{ik},\Phi ]$. The next equality uses
${ϵ}_{ijk}{ϵ}_{ik\ell }=-2{\delta }_{j\ell }$ and $F_{ik}={ϵ}_{ik\ell }{B}_{\ell }$. These are exactly both field equations at $\lambda =0$, so every smooth Bogomolny solution satisfies them, not merely those of the hedgehog form.

For finite-energy monopoles, the associated energy argument is also transparent:The gauge-theory Bianchi identity converts $⟨B_i,D_i\Phi ⟩$ into this boundary term. At fixed asymptotic magnetic charge, $B=-D\Phi$ saturates the Bogomolny bound. This complements the local differential proof above and explains the energy-minimizing role of the first-order equations.

The curvature of $D=d+A$ isor $F_{\mu \nu }={\partial }_{\mu }{A}_{\nu }-{\partial }_{\nu }{A}_{\mu }+[A_{\mu },A_{\nu }]$. The covariant exterior derivative and the Jacobi identity give the Bianchi identity

Since the Hodge star operator satisfies ${\ast }^2=1$ on Euclidean two-forms,Using the opposite choice of sign as well givesEquality holds precisely for a self-dual or anti-self-dual Yang-Mills instanton, with the sign selected by that of $k$.

Now assume ${\partial }_0{A}_{\mu }=0$ and write $\Phi =A_0$. ThenThe spatial Bianchi identity and the self-duality equations becomewhere the upper four-dimensional sign gives the first displayed reduced sign under the orientation used here. Consequently

Gauge invariance of the inner product givesFor $w=1-|\Phi {|}^2$,Since $w\to 0$ at infinity, the weak maximum principle for elliptic operators excludes a negative interior minimum. Hence

With $d^{4}x=d{x}^0{d}^{3}x$, direct decomposition givesBecause $D_i{B}_i=0$,so the Pontryagin density reduces to the surface charge $4\pi N$ per unit $x^0$. The conventional three-dimensional energyobeys the Bogomolny bound $E_3\ge 4\pi |N|$, saturated by the Bogomolny-Prasad-Sommerfield monopole equation. The four-dimensional action density per unit $x^0$ is $2E_3$; signs relating $k$ and $N$ depend on the self-duality and orientation convention.

For the hedgehog ansatz for a monopole in the question, direct differentiation with $[T_a,T_b]=-{ϵ}_{abc}{T}_c$ givesOn a sphere of radius $r$,ThereforeThe boundary conditions $f\to 1$ and $r^2\alpha \to 1$ make the integrand equal to $r^{-2}+o(r^{-2})$. Thus

A spatial transformation is a symmetry of a gauge-field configuration when its pullback lies in the gauge orbit of the original configuration. It need not fix a particular representative. For a planar vortex, rotation changes its winding phase and a constant $U(1)$ transformation compensates. For a hedgehog ansatz for a monopole, a spatial rotation is compensated by the corresponding internal adjoint $SU(2)$ rotation. Gauge-invariant densities remain invariant without choosing a special gauge.