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 , take the static, purely magnetic energy
Here , and is the gauge coupling. In the Bogomolny limit , retain the boundary condition ; 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 of topological degree . In a consistent magnetic orientation the asymptotic flux is , and
For 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 .
The gauge-theory Bianchi identity makes the cross term a divergence:
For either sign , complete the square:
Choosing gives
These 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 . The Bogomolny monopole equations imply Yang-Mills-Higgs equations: the Bianchi identity already gives , 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 and . With and , put
The radial and transverse parts of are and . The corresponding parts of are and . Therefore reduces to
The Prasad-Sommerfield radial monopole solution is
Direct differentiation verifies both equations. Near , and , so the apparent angular singularities disappear and the fields are smooth. At infinity decays exponentially while , leaving an Abelian magnetic field and mass .
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 be a complex Higgs field, , , and choose the critically coupled static energy
Different conventions for the scalar kinetic coefficient change the numerical coefficients of both the bound and the equations. This normalization gives scalar and gauge masses , 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 and . On a large circle the Higgs phase winds by , so the magnetic flux quantization of an Abelian Higgs vortex gives
Writing , expansion and integration by parts give
The divergence integrates to zero for the usual localized vortex boundary conditions. Thus the Bogomolny square completion for an Abelian Higgs vortex is
For the Bogomolny vortex equations and bound are
For , reverse the sign in both first-order equations and obtain .
For a rotationally symmetric positive vortex number, use and the physical angular component . The Bogomolny vortex equations become
with and . The regular core behaves as and . 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 . The first equation gives
At zeros of multiplicity , the phase contributes circulation . 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 near each zero. Uniqueness is visible directly: for two solutions with the same zeros, their nonsingular difference satisfies . Multiplying by and integrating gives
hence . The Abelian Higgs vortex moduli space has arbitrary unordered positions of the zeros, giving 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 at infinity and the gauge covariant derivative tends to zero there. On a sufficiently large circle write locally. Then the tangential gauge potential approaches . The normalized Higgs phase defines a continuous map with integer winding number
The second equality is Stokes theorem with the chosen orientation and . 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 . For arbitrary configurations, vortex-antivortex pairs may add zeros without changing , so need not count all unsigned zeros.
The critical coupling relates the charge to a minimum energy. Set . The covariant derivative commutator gives
Discarding its vanishing boundary integral and completing the magnetic square yields
For positive , the Bogomolny vortex equations are and . Reverse both signs for negative charge. Hence
Critical-coupling vortex solutions attain this bound; their energy depends only on . Positive-charge solutions have zeros counted with multiplicity, and their positions provide 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 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, is the coordinate one-form coefficient: the gauge potential is , and the orthonormal azimuthal component is . Thus , consistently with the printed energy. Since , the phase has winding one; equivalently , gives
For the trial functions all energy is inside . Their four contributions to are
Therefore the compact-core variational estimate for an Abelian Higgs vortex is
Writing , the derivative is , and the energy diverges at both ends of the range. The unique global minimum is
The 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 .
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 -vortex sector, the zeros have total multiplicity and the magnetic flux is ; they may be separated or coincident. Finite energy requires , and at infinity. Then 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 and independently. After covariant integration by parts,
Thus the scalar equation and its complex conjugate are
Varying the gauge field gives from the Maxwell term. The matter variation is
Consequently
These factors use the scalar kinetic coefficient ; 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 .
For the static purely magnetic solutions take temporal gauge . The scalar equation reduces to
Since , applying to the first Bogomolny vortex equation gives
The second equation sets , proving the scalar equation, including at smooth vortex cores without dividing by .
For the spatial gauge equations, put . The first equation implies , and . Therefore
With the stated metric, and the two static Maxwell equations are and . Both follow by differentiating . The time component is the Gauss law constraint in gauge theory; it is identically satisfied because both the electric field and vanish in this static temporal gauge. Hence
As an energy check, the Bogomolny square completion for an Abelian Higgs vortex gives 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 , 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 there, with . Then
Separating the real and imaginary parts of yields and . Hence
where is the positive quarter-turn. Under a gauge transformation, and , as this relation requires.
At regular contour points, the stipulated orthogonality means . Since is also perpendicular to ,
Thus, in that gauge, the gauge potential is tangent to contours of , equivalently contours of , 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 . Combining with the second equation gives away from the cores. At a zero of multiplicity , , and the phase has winding ; is not a finite real smooth field there. Distributionally, the full equality is
This is the Taubes equation in the paper's amplitude logarithm, rather than the often-used 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 density
A finite-energy field configuration in this static sector must approach scalar-field vacua with 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. Thus
Taking the derivative of the equality equation gives , 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 , , and select the sector , . Then , and the increasing Bogomolny equation is . Separating variables yields
The integration constant is the translational collective coordinate. Directly, and its energy density is , whose integral is . The decreasing antikink has the reversed boundary values, profile , and the same energy. A Lorentz boost produces the exact uniformly moving kink , with Lorentz factor and energy .
In two spatial dimensions, choose the Abelian Higgs model at critical coupling, with , , and energy
The gauge covariant derivative is used throughout this normalization. Integration by parts, using , gives , 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 at infinity, and makes the magnetic flux equal to the phase winding . For ,
These are the Bogomolny vortex equations for an Abelian Higgs vortex. Opposite signs give antivortices and the bound . The coefficient follows from the explicit energy normalization above; other conventions can give . 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.
A collective coordinate describes a position, orientation, or another parameter of a family of static solitons. For a family , promote to a slowly varying and substitute into the field action. In a scalar theory with unit kinetic coefficient, this gives the collective-coordinate effective Lagrangian
For a gauge-theory soliton, one also solves the Gauss law constraint in gauge theory constraint and projects out pure gauge transformations; arbitrary variations of gauge representatives do not define the physical metric. Tangent vectors to an exactly equal-energy family are zero modes in field theory. If is constant, the Euler-Lagrange equations of this moduli-space approximation are
the geodesic equations of its Riemannian metric. The approximation neglects radiation and deformation modes; it describes motion sufficiently slow that these omitted degrees of freedom remain unexcited to the required accuracy.
In collective-coordinate quantization, take the wavefunction measure and the minimal scalar Hamiltonian operator
The Laplace-Beltrami operator supplies coordinate-invariant kinetic energy. Global identifications and statistics must be imposed on the wavefunctions; the classical metric alone does not choose them. Curvature-ordering terms and loop corrections are additional quantum input.
For the phi-four kink, use the normalization and profile of Question 1. Substituting gives
The metric is constant because of translation invariance. This proves the translational dynamics of a phi-four kink: classically the centre moves at constant velocity, and quantum mechanically
Plane waves label the continuous translational momentum, with no position-dependent potential. Uniform-motion Lorentz invariance upgrades the dispersion to ; the displayed collective Lagrangian is its small-velocity expansion. Small perturbations also include an internal shape mode and continuum radiation, which this single collective coordinate omits. The fluctuation operator of a phi-four kink in this normalization is
the translational eigenfunction has , the shape mode has , and continuum modes in the spectrum start at . Thus the free-coordinate states describe the kink's low translational energies, not its full excitation spectrum or quantum mass correction.
For two Abelian Higgs vortices at critical coupling, the static energy is and the Abelian Higgs vortex moduli space has four real dimensions. Let be their positions, , and . The centre of mass decouples; the relative metric is rotationally symmetric and can be written
At large separation, , recovering two free particles. Although there is no static separation potential, the nonconstant metric produces velocity-dependent interaction. Coincidence is smooth in the relative coordinate for two identical vortices , not in the double-valued . Smoothness gives for near zero. A head-on geodesic continues through to the opposite real ray, so changes its line by : the vortices scatter through a right angle. This geometric argument does not require an explicit formula for .
With ordinary bosonic exchange statistics, relative wavefunctions are single-valued in and smooth at coincidence. In the separated polar coordinate they obey , with even integer angular labels. Their kinetic operator is
The apparent singularity at must be resolved with the smooth coordinate and regularity, rather than arbitrary boundary conditions on a punctured cone. The free centre-of-mass motion and the asymptotically free relative geometry give quantum scattering states; a flat static energy does not imply that the metric is flat or that scattering is absent. This is not a prediction of a discrete family of static two-vortex bound separations. The smooth collision geometry is developed in David Tong's arxiv.org/abs/hep-th/0509216.
For a Skyrmion of baryon number one, the Skyrmion hedgehog ansatz is
where are the Pauli matrices. Include a centre and an orientation through . Hedgehog symmetry identifies spatial rotations with opposite internal rotations, so there are three independent orientation coordinates, not six. Since and give the same field, the physical orientation space is , with SU(2) group as its double cover. Write . The leading collective Lagrangian has the form
where is the rotational moment of inertia obtained by integrating the profile's field kinetic energy.
For the fermionic quantization appropriate to baryons, the Finkelstein-Rubinstein constraints on the double cover impose . In SU(2) representations, the central element acts by , so must be half-integer. Left and right group actions supply isospin and spin angular momentum; hedgehog symmetry makes their magnitudes equal. The rotational quantization of a unit Skyrmion therefore gives
The level has four spin-isospin states and models the nucleon doublet, proton and neutron, each with two spin states. The level has sixteen states and models the Delta baryon quartet, each with four spin states. The rotor predicts a splitting . Without the fermionic sign, single-valued functions on would instead allow integer , which is a different quantization. High rotor levels can couple to deformation and pion radiation; this semiclassical approximation does not establish that its entire formal tower consists of stable particles.
At critical coupling, an -vortex solution of the Abelian Higgs model satisfies the Bogomolny vortex equations. The Abelian Higgs vortex moduli space consists of these solutions modulo gauge transformations. The unordered zeros of the Higgs field specify the vortex positions, so
as a complex manifold. A tangent vector is represented by a linearized solution orthogonal to infinitesimal gauge transformations. Substitution into the field-theory kinetic energy gives
which defines the natural Riemannian metric on the moduli space. Its geodesics give the slow-motion approximation.
For , translation invariance makes a flat plane. For , the center-of-mass plane factors from a rotationally symmetric relative moduli space. Far from coincidence, exchanging the vortices identifies the relative separation with , so the relative space is asymptotic to a cone of angle . The exact metric smoothly rounds its apparent tip at coincident vortices; the regular local coordinate is proportional to .
A head-on relative geodesic passes smoothly through this coincidence point. In terms of the asymptotic separation coordinate, it emerges on the perpendicular axis, producing Right-angle scattering of Abelian Higgs vortices. For signed impact parameter , the deflection is odd in , approaches zero as , and approaches the two signed values as . Within the geodesic approximation the trajectory, and hence this graph, is independent of incoming speed; speed only changes its parametrization in time.
For identical point particles in a bounded repulsive central potential, the relative coordinate moves in an ordinary plane rather than the rounded exchange cone. At energy below the finite central barrier, a head-on encounter is reflected and gives backscattering through , so the available deflections range from zero to nearly . At energy above the barrier, a head-on trajectory passes through the center and has zero deflection; the magnitude reaches a maximum at nonzero and then returns to zero. Increasing speed reduces this maximum. Thus point particles can exhibit backscattering at low speed and near-transparent head-on passage at high speed, whereas slow identical vortices have the speed-independent right-angle limit forced by the geometry of .
Interchanging two Abelian Higgs vortices replaces by . Thus is a single-valued relative coordinate on the unordered Abelian Higgs vortex moduli space. Coincidence is smooth in ; a geodesic crossing from positive real to negative real changes the line of separation by , explaining right-angle scattering of Abelian Higgs vortices. The asymptotic cone in the coordinate has angular period and must not be treated as a singularity of the actual coincidence metric.