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.

Use metric $(+,-,-)$ and the paper's normalization. A static multi-vortex solution is a smooth finite-energy field configuration of Abelian Higgs vortices whose complex Higgs field has winding at spatial infinity and zeros in the plane. In a positive $N$-vortex sector, the zeros have total multiplicity $N$ and the magnetic flux is $2\pi N$; they may be separated or coincident. Finite energy requires $|\varphi |\to 1$, $D_i\varphi \to 0$ and $B=f_{12}\to 0$ at infinity. Then $a_i$ asymptotically compensates the phase gradient, so Stokes' theorem relates flux to the phase winding. The positive Bogomolny vortex equations describe this same-sign sector; negative flux uses the opposite signs and is not covered by simply mixing positive and negative zero multiplicities.

For the critically coupled Abelian Higgs field equations, vary $\varphi$ and $\bar{\varphi }$ independently. After covariant integration by parts,Thus the scalar equation and its complex conjugate areVarying the gauge field gives ${\partial }_{\mu }{f}^{\mu \nu }\delta a_{\nu }$ from the Maxwell term. The matter variation isConsequentlyThese factors use the scalar kinetic coefficient $1/2$; importing the current from a convention with coefficient one would give an incorrect factor two. The current is invariant under gauge transformations, and its conservation follows from the field equations and antisymmetry of $f^{\mu \nu }$.

For the static purely magnetic solutions take temporal gauge $a_0=0$. The scalar equation reduces toSince $[D_1,D_2]=-iB$, applying $D_1-i{D}_2$ to the first Bogomolny vortex equation givesThe second equation sets $B=(1-|\varphi {|}^2)/2$, proving the scalar equation, including at smooth vortex cores without dividing by $\varphi$.

For the spatial gauge equations, put $k_i=\mathrm{Im}(\bar{\varphi }{D}_i\varphi )$. The first equation implies $D_1\varphi =-i{D}_2\varphi$, and ${\partial }_i|\varphi {|}^2=2\mathrm{Re}(\bar{\varphi }{D}_i\varphi )$. ThereforeWith the stated metric, $j^i=-k_i$ and the two static Maxwell equations are ${\partial }_{2}B=k_1$ and ${\partial }_{1}B=-k_2$. Both follow by differentiating $B=(1-|\varphi {|}^2)/2$. The time component is the Gauss law constraint in gauge theory; it is identically satisfied because both the electric field and $j^0$ vanish in this static temporal gauge. HenceAs an energy check, the Bogomolny square completion for an Abelian Higgs vortex gives $E\ge \pi N$ in this normalization, saturated by these equations. On the plane, the Abelian Higgs vortex moduli space admits arbitrary vortex positions, including coincidence; its static energy is $\pi N$, so there is no position-dependent static potential. Their slow dynamical interactions are a different question.

The logarithmic form of a Bogomolny vortex is only local away from zeros. Write $\varphi =e^{u+i\chi }$ there, with $u=\log |\varphi |$. ThenSeparating the real and imaginary parts of $(D_1+i{D}_2)\varphi =0$ yields $u_1-{\chi }_2+a_2=0$ and ${\chi }_1-a_1+u_2=0$. Hencewhere $J(v_1,v_2)=(-v_2,v_1)$ is the positive quarter-turn. Under a gauge transformation, $\chi \mapsto \chi +\omega$ and $\mathbf{a}\mapsto \mathbf{a}+\nabla \omega$, as this relation requires.

At regular contour points, the stipulated orthogonality means $\nabla \chi \cdot \nabla u=0$. Since $J\nabla u$ is also perpendicular to $\nabla u$,Thus, in that gauge, the gauge potential is tangent to contours of $u$, equivalently contours of $|\varphi |$, and is parallel to the phase gradient wherever that gradient is nonzero. This is a gauge-dependent statement about the vector potential, not an assertion that the magnetic field is tangent to these curves, nor that the potential is a pure gradient or divergence-free. The two gradient magnitudes are not fixed by contour orthogonality.

On a phase patch $B={\partial }_1{a}_2-{\partial }_2{a}_1=-\Delta u$. Combining with the second equation gives $\Delta u+(1-e^{2u})/2=0$ away from the cores. At a zero of multiplicity $n_j$, $u\sim n_j\log |x-X_j|$, and the phase has winding $2\pi n_j$; $u$ is not a finite real smooth field there. Distributionally, the full equality isThis is the Taubes equation in the paper's amplitude logarithm, rather than the often-used $\log |\varphi {|}^2=2u$ convention. No single smooth globally defined phase or regular contour description at every zero has been assumed.

A Bogomolny bound expresses a static field energy as nonnegative squares plus a term fixed by the topological charge or boundary data. Setting the squares to zero gives the first-order Bogomolny equations. Their solutions minimize the energy in that sector and satisfy the second-order Euler-Lagrange field equations, although a general stationary solution need not attain the bound.

For one real scalar in one spatial dimension, take the Lagrangian densityA finite-energy field configuration in this static sector must approach scalar-field vacua ${\varphi }_{\pm }$ with $W^{\prime }({\varphi }_{\pm })=0$ at the two ends. Completing the square gives the square completion for a one-dimensional kink:Choose the sign for which the boundary term is nonnegative. ThusTaking the derivative of the equality equation gives ${\varphi }_{xx}=W^{\prime }{W}^{\prime \prime }=d([W^{\prime }{]}^2/2)/d\varphi$, the static Euler-Lagrange field equation. The boundary term is invariant under deformations keeping the asymptotic scalar-field vacua fixed; it is not a contribution from the local shape of the kink.

For a phi-four kink, let $c>0$, $W(\varphi )=c^2\varphi -{\varphi }^3/3$, and select the sector ${\varphi }_{-}=-c$, ${\varphi }_{+}=c$. Then $W^{\prime }=c^2-{\varphi }^2$, and the increasing Bogomolny equation is ${\varphi }_x=c^2-{\varphi }^2$. Separating variables yieldsThe integration constant $X$ is the translational collective coordinate. Directly, ${\varphi }_K^{\prime }=c^2{\mathrm{sech}}^2(c(x-X))$ and its energy density is $c^4{\mathrm{sech}}^4(c(x-X))$, whose integral is $4c^3/3$. The decreasing antikink has the reversed boundary values, profile $-{\varphi }_K$, and the same energy. A Lorentz boost produces the exact uniformly moving kink $c\tanh [c\gamma (x-X_0-vt)]$, with Lorentz factor $\gamma =(1-v^2{)}^{-1/2}$ and energy $\gamma M$.

In two spatial dimensions, choose the Abelian Higgs model at critical coupling, with $D_i={\partial }_i-i{A}_i$, $B={\partial }_1{A}_2-{\partial }_2{A}_1$, and energyThe gauge covariant derivative is used throughout this normalization. Integration by parts, using $[D_1,D_2]=-iB$, gives $\int |D_i\varphi {|}^2=\int |(D_1+i{D}_2)\varphi {|}^2+\int B|\varphi {|}^2$, with a vanishing boundary divergence for the decaying vortex fields. Combining this identity with the magnetic and potential terms gives the Bogomolny square completion for an Abelian Higgs vortex:Finite-energy field configurations have $|\varphi |\to 1$ at infinity, and $D_i\varphi \to 0$ makes the magnetic flux equal to the phase winding $2\pi N$. For $N>0$,These are the Bogomolny vortex equations for an Abelian Higgs vortex. Opposite signs give antivortices and the bound $E\ge \pi |N|$. The coefficient $\pi$ follows from the explicit energy normalization above; other conventions can give $2\pi$. Static solutions of fixed positive vortex number have equal energy independent of their positions, giving the Abelian Higgs vortex moduli space used for slow dynamics.