Bogomolny square completion for an Abelian Higgs vortex Created 2026-10-05 Updated 2026-10-06
With and , use the critical-coupling energy . For positive vortex number, integration by parts gives
The boundary divergence vanishes for the usual decaying vortex fields, and magnetic flux is . The two squares vanish exactly at the Bogomolny vortex equations. Reversing both signs treats negative . Energy coefficients and the numerical bound change together under other normalizations.
Critically coupled Abelian Higgs field equations Created 2026-10-06 Updated 2026-10-14
Use metric , and Lagrangian . The Euler-Lagrange field equations are and . Varying gives a kinetic contribution and potential contribution ; variation of gives . For static fields in temporal gauge , the positive Bogomolny vortex equations imply the scalar equation because . They imply the spatial gauge equations because and , while . The Gauss equation then vanishes identically.
For metric , these smooth fields satisfy the Bogomolny vortex equations with one simple zero at the origin. Their curvature coefficient is , and their physical magnetic field is . The magnetic flux is , and the critically coupled energy in the conformal-surface vortex square completion normalization is .
Away from zeros of the Higgs field, write with . The Bogomolny vortex equation gives and . Consequently , where , and on a regular phase patch. If the contours of and are orthogonal, then , so : the gauge potential is tangent to constant-amplitude contours. This does not imply that it is curl-free. At a vortex zero, and the phase is only locally defined. Including phase winding distributionally gives . The usual Taubes equation uses , so its delta coefficients double.
When and its gauge covariant derivative decays fast enough, on a large circle write locally. The tangential derivative gives . The integrated error tends to zero, so Stokes theorem turns total magnetic flux into the phase change . This integer is the winding number of the normalized Higgs field on the circle. For positive Bogomolny vortex equations it is the total zero multiplicity.
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.
The topological degree assigns an integer to a continuous map between closed, connected, oriented manifolds of the same dimension . Their top homology groups are infinite cyclic, generated by their fundamental classes. The induced map defines
For a smooth map and a regular value , its equivalent local description is
where the sign records preservation or reversal of orientation. The preimage is a finite set because the manifolds are compact and is regular. This is a signed count; opposite-orientation preimages cancel. If is a normalized target volume form with , the pullback of a differential form gives the equivalent integral .
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 :
since a top-dimensional form on 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 , the homotopy group 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 to and classify the resulting map into the target. For a defect whose vacuum field varies with direction, retain the sphere 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 . Its degree is the winding number
Nonzero 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 gives . With outward orientation its degree is
The 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 with at infinity gives , 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 ; specifying the orientation fixes the sign. Similarly, the transition map at infinity of a four-dimensional Yang-Mills instanton has degree in , measured by its Chern charge.
A scalar-field kink illustrates the discrete-vacuum case: its endpoint data lie in , rather than being a map between connected positive-dimensional spheres. For the double-well field its topological charge is . A kink has , an antikink ; 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.
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 .
Write , , and , so the physical magnetic field is . Use finite-energy Abelian Higgs vortex boundary data: the field tends to unit magnitude at the ideal boundary, its phase winds 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 . The gauge-covariant derivative of a charged scalar field satisfies . Differentiating the current gives
On the other hand,
Combining the two identities and completing the square in the magnetic and potential terms yields the conformal-surface vortex square completion
All integrations on the noncompact metric disk can first be made over and then passed to the limit. By the Stokes theorem, the two boundary contributions combine to . At the vacuum boundary write . Then , so this combined integral is , 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 , . Reversing both signs in the square completion gives for , hence
For positive degree, equality is attained precisely when the Bogomolny vortex equations are
Distinguishing the physical field from the coordinate curvature coefficient prevents an erroneous conformal factor.
For the proposed field, set and choose the smooth connection one-form
Indeed, with and ,
The second Bogomolny vortex equation follows from
Thus both squares vanish, including at the simple zero by smoothness. At , and , proving degree one. Moreover, , so the current boundary term really vanishes for this solution. The magnetic flux is explicitly
Consequently
This is the hyperbolic one-vortex at curvature minus one half; its finite energy follows directly from the vanishing squares and the finite flux.
At this critical coupling, construct solutions of the Bogomolny vortex equations rather than superpose isolated vortices, which would not respect the nonlinear field equations. Define and . Direct differentiation using gives
Integrating the last divergence away under the usual finite-energy vortex boundary conditions and completing the magnetic square yields
Thus positive vortices saturate this Bogomolny bound when
Such fields solve the static second-order equations: under any compactly supported variation the flux is unchanged, and the first variation of both zero squares vanishes. The bound here is , twice the bound in the frequently used half-normalized Abelian Higgs model energy.
For the prescribed-zero construction of planar Abelian Higgs vortices, choose arbitrary points and positive integer multiplicities , permitting coincident vortices. Away from the zeros, write , where . The first Bogomolny vortex equation gives
Choose the phase winding locally. Distributionally its curl contributes , so the second Bogomolny vortex equation becomes the Taubes equation
Near each zero, require a smooth remainder. The planar existence theorem for this equation gives a solution for every finite multiset of prescribed points, unique in this decaying class; see the original theorem. This elliptic existence result is the nontrivial analytic ingredient of the construction, not a linear superposition assumption.
Reconstruct and from the formulas above. The phase factors have integer winding, so is single-valued. Near a zero, the modulus and phase combine into times a smooth nonvanishing factor. The singular part of cancels the rotated logarithmic-gradient part of , so the physical fields extend smoothly through the cores. This produces the desired Abelian Higgs vortices at the selected positions. Their vortex number is . Replacing by constructs the negative-sign antivortex family; the positive construction does not assert arbitrary mixtures of positive and negative cores solve the same first-order equations.
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.
Away from a zero of , the first Bogomolny vortex equation gives
Substitution into the second equation, with , gives
Now set . The Gaussian curvature formula gives
Therefore implies
which is exactly the vortex equation.
The metric
is the pullback of the Poincare disc model metric under . It consequently has away from the origin. Comparing it with gives the Witten hyperbolic vortex
Putting gives winding number . A gauge choice with positive radial factor is
and then
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 .
Finite energy requires and on the circle at spatial infinity. Writing there gives . The vortex number is the winding number
By Stokes theorem, the magnetic flux is quantized:
For the rotationally symmetric Abelian Higgs vortex ansatz, and give
After the angular integration, the Abelian Higgs model energy becomes
Completing the square in the two pairs of terms gives
Regularity at the origin and approach to the vacuum at infinity require
More precisely, and near the origin. The boundary term is , so
The bound is saturated exactly when both squares vanish, giving the radial Bogomolny vortex equations
The asymptotic value also makes the flux , so the ansatz has vortex number .