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.

In the usual smooth localized finite-energy class, the positive potential requires $|\varphi |\to 1$ at infinity and the gauge covariant derivative tends to zero there. On a sufficiently large circle write $\varphi \simeq e^{i\chi }$ locally. Then the tangential gauge potential approaches $d\chi$. The normalized Higgs phase defines a continuous map $S_{\infty }^1\to U(1)$ with integer winding numberThe second equality is Stokes theorem with the chosen orientation and $D_j={\partial }_j-i{a}_j$. Suitable decay makes the integrated covariant-derivative error vanish. Thus magnetic flux quantization of an Abelian Higgs vortex labels disconnected boundary sectors. This uses the standard continuous vacuum asymptotics, not a claim that bare integral finiteness alone supplies every pointwise boundary limit.

A nonzero winding requires zeros of the complex Higgs field somewhere inside: a nowhere-zero field on the whole disk would extend its normalized boundary map and make its winding zero. For isolated zeros the signed local indices sum to $N$. For arbitrary configurations, vortex-antivortex pairs may add zeros without changing $N$, so $|N|$ need not count all unsigned zeros.

The critical coupling relates the charge to a minimum energy. Set $j_i=\mathrm{Im}(\bar{\varphi }{D}_i\varphi )$. The covariant derivative commutator $[D_1,D_2]\varphi =-iB\varphi$ givesDiscarding its vanishing boundary integral and completing the magnetic square yieldsFor positive $N$, the Bogomolny vortex equations are $(D_1+i{D}_2)\varphi =0$ and $B=(1-|\varphi {|}^2)/2$. Reverse both signs for negative charge. HenceCritical-coupling vortex solutions attain this bound; their energy depends only on $|N|$. Positive-charge solutions have $N$ zeros counted with multiplicity, and their positions provide $2N$ real coordinates on the Abelian Higgs vortex moduli space. Coincident zeros are allowed. Position variations leave the static minimum energy unchanged, expressing the absence of static forces among same-sign Bogomolny vortices. The sign of $N$ reverses flux and orientation. Topology alone does not determine an arbitrary field's profile or full energy: the zero-charge vacuum has energy zero, while nonvacuum configurations in the same sector can have positive energy.

For the given radial ansatz, $a_{\theta }$ is the coordinate one-form coefficient: the gauge potential is $a(r)d\theta$, and the orthonormal azimuthal component is $a(r)/r$. Thus $B=a^{\prime }(r)/r$, consistently with the printed energy. Since $h(\infty )=1$, the phase $e^{i\theta }$ has winding one; equivalently $a(0)=0$, $a(\infty )=1$ givesFor the trial functions all energy is inside $0<r<r_0$. Their four contributions to $E/\pi$ areTherefore the compact-core variational estimate for an Abelian Higgs vortex isWriting $s=r_0^2>0$, the derivative is $-2/s^2+1/24$, and the energy diverges at both ends of the $s$ range. The unique global minimum isThe magnetic and potential energies agree at this optimum, as required by radial scale balance. The piecewise fields are continuous with square-integrable first derivatives; their derivative jumps do not create an additional surface energy. They are trial fields, not exact solutions. Their optimized energy is an upper-bound estimate, about 24.4% above the exact critical one-vortex energy $\pi$.

Write $\Omega =e^{2\rho }$, $F={\partial }_x{A}_2-{\partial }_y{A}_1$, and $s=|\Phi {|}^2$, so the physical magnetic field is $B=F/\Omega$. Use finite-energy Abelian Higgs vortex boundary data: the field tends to unit magnitude at the ideal boundary, its phase winds $N$ times, and the boundary limits in the decomposition exist. This vacuum asymptotic behavior is the setting in which the stated degree gives an energy bound. We retain the current boundary term; degree alone must not be silently equated with magnetic flux on an open disk.

Define $j_i=\mathrm{Im}(\bar{\Phi }{D}_i\Phi )$. The gauge-covariant derivative of a charged scalar field satisfies $[D_x,D_y]\Phi =-iF\Phi$. Differentiating the current givesOn the other hand,Combining the two identities and completing the square in the magnetic and potential terms yields the conformal-surface vortex square completionAll integrations on the noncompact metric disk can first be made over $|z|<R<1$ and then passed to the limit. By the Stokes theorem, the two boundary contributions combine to $\frac{1}{2}\oint (A+j)$. At the vacuum boundary write $\Phi =e^{i\chi }$. Then $j=d\chi -A$, so this combined integral is $\frac{1}{2}\oint d\chi =\pi N$, even if the current term does not vanish separately. The usual additional condition of tangential covariant decay makes that current term vanish and yields magnetic flux quantization of an Abelian Higgs vortex, but is not needed if the combined boundary term has this phase limit. Thus for $N\ge 0$, $V\ge \pi N$. Reversing both signs in the square completion gives $V\ge -\pi N$ for $N\le 0$, henceFor positive degree, equality is attained precisely when the Bogomolny vortex equations areDistinguishing the physical field $B$ from the coordinate curvature coefficient $F$ prevents an erroneous conformal factor.

For the proposed field, set $q=x^2+y^2$ and choose the smooth connection one-formIndeed, with ${\partial }_{\bar{z}}=\frac{1}{2}({\partial }_x+i{\partial }_y)$ and $A_{\bar{z}}=\frac{1}{2}(A_1+i{A}_2)$,The second Bogomolny vortex equation follows fromThus both squares vanish, including at the simple zero $z=0$ by smoothness. At $r\to 1$, $\Phi \to e^{i\vartheta }$ and $A=2r^{2}d\vartheta /(1+r^2)\to d\vartheta$, proving degree one. Moreover, $j_{\vartheta }=4r^2(1-r^2)/(1+r^2{)}^3\to 0$, so the current boundary term really vanishes for this solution. The magnetic flux is explicitlyConsequentlyThis is the hyperbolic one-vortex at curvature minus one half; its finite energy follows directly from the vanishing squares and the finite flux.

Since $|\Phi |\to 1$, the Higgs field is nonzero outside a sufficiently large disk. On a large positively oriented circle write $\Phi =\rho e^{i\chi }$ locally, where $\rho >0$. Its normalized phase is a map from the circle to the unit circle. The phase need not be a globally single-valued real function, but its total change is $2\pi N$ for an integer winding number $N$. This integer is the same on all sufficiently large circles because the intervening annulus contains no zeros.

The gauge covariant derivative givesIntegrate around the circle. The assumed rapid decay makes the integral of the second term tend to zero. For example, uniform $|D\Phi |=o(R^{-1})$ and $\rho \to 1$ on radius-$R$ circles suffice. HenceBy Stokes theorem, ${\oint }_{|x|=R}A={\int }_{|x|\le R}B{d}^{2}x$. Integrability of $B$ allows the limit, giving the magnetic flux quantization of an Abelian Higgs vortex:The topological charge $N$ is the degree of $\Phi /|\Phi |$ at infinity, counting net phase winding around the cores. For isolated zeros it is the sum of their signed local winding numbers. In the positive Abelian Higgs vortex construction, each core of multiplicity $m_a$ has local phase $m_a\arg (z-z_a)$, sothe number of vortices counted with multiplicity. Antivortices have the opposite sign. The integer is invariant under smooth gauge transformations defined throughout the disk, whose boundary winding is zero.