In two dimensions, scale and . The magnetic field has scaling weight two, the gauge covariant derivative of the Higgs field has weight one, and the potential has weight zero. Their integrated energies therefore have the powers shown. Stationarity gives , a Derrick virial identity. This balance allows a planar Abelian Higgs vortex to have finite size even though a scalar-gradient-plus-nonnegative-potential model has no comparable magnetic term.
In three space dimensions, rescale to and to . The gauge curvature then scales with two derivatives, and the adjoint covariant derivative of the Higgs field with one. Magnetic, Higgs-gradient and potential energies give the displayed formula. Stationarity requires , which permits nonzero energies. In the Bogomolny-Prasad-Sommerfield monopole limit , the Bogomolny equations give .
In the basis with gauge transformations and , the non-Abelian connection transforms by conjugation. The Lie brackets and give , , with neutral . Thus gives the displayed Hermitian matrix. The fields transform as , while both neutral combinations are uncharged. This separates the Adjoint representation on the gauge fields from the doublet charge matrix on the Higgs field.
This planar Abelian Higgs model replaces the usual magnetic energy by . Use and . The magnetic term is singular at a zero of the Higgs field, so the admissible class must have finite energy; formal field equations are first derived where . Its positive-flux Bogomolny equations are and . On those solutions extends regularly across zeros.
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.
For the gauge-singlet composite , the interaction is electroweak gauge-invariant. At the Higgs field vacuum, , giving . The Grassmann variation of a chiral Majorana mass term therefore identifies the mass parameter as , with physical mass . The dimension-five interaction has a coupling of mass dimension minus one. Under lepton number phase rotation, its two terms acquire factors , so it violates continuous lepton number by two units. It is an effective extension of the minimal renormalizable Standard Model.
Three distinct motivations are stabilizing the weak scale, improving gauge-coupling unification, and supplying dark matter. Supersymmetric cancellation of quadratic divergences protects the Higgs field from the hierarchy problem; soft supersymmetry breaking near the weak scale keeps the residual corrections modest. The MSSM particle content improves gauge coupling unification under the usual assumptions about intermediate thresholds. Conserved R-parity can make a neutral lightest supersymmetric particle, such as a neutralino, stable and a possible weak-scale dark matter candidate. These are motivations, not guaranteed predictions. If supersymmetry is instead broken at much higher energies, it can still organize string theory and supergravity, and it remains a powerful tool for nonperturbative quantum field theory, as illustrated by Seiberg–Witten theory.
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 .
The nonexistence conclusion concerns nonconstant fields: a constant scalar-field vacuum with is a zero-energy critical point of an energy functional in every dimension. Assume the potential is smooth, so the classical Euler-Lagrange equation is well defined. Write the two nonnegative energy terms as
For the admissible Derrick scaling ,
Stationarity at gives the Derrick virial identity
For , both terms have nonpositive sign, forcing and hence a constant vacuum. For , scaling alone only proves ; the gradient term is scale invariant, so it must not simply be declared zero.
The two-dimensional flat-target Derrick obstruction supplies that remaining step. Since and its integral is zero, continuity gives everywhere; smooth nonnegative has at those values. The field equation therefore becomes . Each is an entire harmonic function in . Its mean value property and the Cauchy-Schwarz inequality give, for every radius ,
Let to get . Thus also has only constant stationary field configurations of finite energy. The unconstrained real scalar target is essential in this argument; the spherical target in Question 2 has different field equations.
In the field equation is . Multiplication by gives the first integral
Finite energy makes an integrable nonnegative function, so along some sequence it tends to zero. Evaluating the constant first integral on that sequence gives . Choose
Consequently and
For a nonconstant entire solution the sign is fixed. Indeed a finite- zero of would have ; uniqueness of the smooth second-order equation with initial data would make the solution the constant vacuum. Thus never vanishes in a nonconstant solution. Conversely a smooth solution of the displayed first-order equation satisfies wherever it is nonconstant.
Under the usual soliton boundary conditions as , with in the vacuum manifold , the two endpoint components label the topological sector. For isolated scalar-field vacua this is an ordered pair of vacuum labels, not necessarily one universally normalized integer. More explicitly, for any smooth , the topological current
is identically conserved, taking and boundary conditions fixed during evolution. The choices and give the field-difference charge and the kink energy charge. The square completion for a one-dimensional kink gives
The first-order critical solution saturates this Bogomolny bound. A nonzero difference between endpoint vacuum components prevents continuous deformation to a vacuum while those boundary conditions remain fixed. Finite energy alone need not give finite endpoint values for arbitrary potentials, so these topological labels use the stated vacuum boundary conditions.
To evade the scalar-only obstruction, introduce a gauge field and a charged, generally multicomponent Higgs field. For a Yang-Mills-Higgs energy write , where contains and contains . Rescale and . Then scales by , while scales by , so
The magnetic term supplies the missing opposing scaling power. In the relation is , permitting Abelian Higgs vortices; in it is , permitting 't Hooft-Polyakov monopoles. In the monopole Bogomolny limit , achieves . Also, asymptotic ordinary derivatives need not vanish when a Higgs phase winds: the relevant vanishing quantity is the gauge covariant derivative. This allows nontrivial boundary winding with finite energy. Merely appending a gauge potential to a neutral one-component real field would not by itself furnish that Higgs mechanism.
The hierarchy problem concerns the enormous separation between the electroweak scale and a possible fundamental ultraviolet scale such as the reduced Planck mass: whereas . For an elementary Higgs field, heavy states or a physical high-energy ultraviolet cutoff generically generate
Here represents the appropriate dimensionless couplings. Maintaining a small physical Higgs mass then requires a very accurate cancellation against its bare mass parameter. The problem is sensitivity to actual high-energy physics, rather than merely the presence of a quadratic divergence in one choice of regulator.
The cosmological constant problem concerns the much smaller gravitationally observable vacuum energy. In the Einstein equation, a constant term in the effective action contributes to the cosmological constant, with in the usual normalization. Generic zero-point contributions scale as , and vacuum transitions also change . The dark-energy density is only of order . The puzzle is why the total remains so small despite much larger individual contributions. A constant shift of the nongravitational Hamiltonian cannot remove its gravitational effect.
Supersymmetry relates bosonic and fermionic degrees of freedom, including their interactions. Their opposite loop signs cancel the quadratic contributions to a scalar field mass in the unbroken theory. With soft supersymmetry breaking, the surviving correction is controlled by the mass splitting, schematically
Thus a sufficiently low soft-breaking scale protects a small electroweak scale against a much higher ultraviolet scale. This is the useful supersymmetric response to the hierarchy problem.
Exact global supersymmetry also cancels vacuum energy: the supersymmetry algebra expresses the Hamiltonian as a positive sum of anticommutators, so a vacuum annihilated by every supercharge has zero energy. Equivalently, with canonical kinetic terms,
vanishes in a supersymmetric vacuum. However, ordinary particles and their superpartners cannot have the identical mass spectrum of unbroken supersymmetry, so a useful phenomenological theory needs supersymmetry breaking. Its vacuum energy is generically of order the fourth power of the breaking scale; even a scale of order gives about , enormously above the required value. In supergravity, a negative term can cancel positive breaking contributions:
but arranging a tiny residual is a new tuning. Consequently supersymmetry can protect the hierarchy after soft breaking, while its exact vacuum-energy cancellation does not by itself survive realistic breaking.
One higher-dimensional proposal uses large extra dimensions. Take flat compact dimensions of common radius , with gravity propagating in the bulk and Standard Model fields confined to a four-dimensional brane. Reducing the gravitational Einstein-Hilbert action gives
so
A fundamental gravitational scale near a TeV then produces apparently weak four-dimensional gravity through dilution into the large compact volume. For and , is about , using . At distances much smaller than , the gravitational potential scales as ; at distances much larger than it scales as . Confining charged Standard Model fields to the brane avoids a light tower of charged Kaluza-Klein modes associated with the large radius. The primary explanatory challenge is radius stabilization: one must generate and stabilize , rather than simply postulate a huge volume and transfer the original hierarchy into a modulus.
A second proposal is the Randall–Sundrum model. Compactify on an interval, equivalently an orbifold with branes at and , and use the warped metric
A negative bulk cosmological constant and suitably related brane tensions support this geometry. Integrating over the full orbifold interval gives
For a scalar field on the brane at , its induced metric gives the kinetic coefficient and mass coefficient . The canonical field is , hence
With and of the same fundamental order, an exponent -- converts a fundamental mass into a weak-scale mass, without requiring a large proper compactification volume.
Again the separation must be selected dynamically. The original warped solution leaves a massless radion, so merely choosing does not complete the explanation. For example, the Goldberger–Wise stabilization mechanism introduces a bulk scalar field with boundary values and a small mass . Its static equation and solution are
For small backreaction and large , the leading radius-dependent potential is proportional to . Its leading minimum obeys , so a modest boundary-value ratio and a small can give the required exponent. Corrections and the residual four-dimensional cosmological constant must still be controlled. Both proposals need a stable dynamical origin for the compactification geometry; their volume or warp relations alone do not supply it.
Use anti-Hermitian matrices, with invariant positive inner product . On an adjoint-valued field , define the adjoint covariant derivative and gauge curvature by
Equivalently, and . Put , with . The monopole Bogomolny equations are .
For a smooth SU(2) gauge transformation , use
Differentiating a transformed adjoint field shows : the derivatives of cancel the inhomogeneous term in . Applying the commutator of these derivatives gives , and therefore . Both sides of transform identically, establishing gauge invariance of the solution condition. Individual matrix components are covariant, rather than invariant numbers.
The monopole boundary condition is a nonzero asymptotic Higgs norm,
together with finite three-dimensional Yang-Mills-Higgs energy. Standard monopole asymptotics have and . The normalized Higgs field at infinity defines a map , whose topological degree is the magnetic charge. A nonzero charge gives a genuine non-Abelian magnetic monopole; the nonzero Higgs boundary value alone also allows the zero-charge vacuum. Thus the relevant nontrivial solutions are Bogomolny-Prasad-Sommerfield monopoles in the zero-Higgs-potential limit.
Now form the four-dimensional connection with -independent components. Its gauge curvature has
The self-duality sign requires an orientation. Choose the Euclidean metric and orientation . For cyclic , the Hodge star operator satisfies
Using and , the curvature is
Each term has negative star eigenvalue, so
This proves the Anti-self-dual Yang-Mills equations in the stated convention. The orientation of a monopole lift matters: with instead, the same connection is self-dual. With that opposite orientation, the anti-self-dual lift would use .
To fix the action normalization, take the Euclidean Yang-Mills action
Both sums are over ordered index pairs. The component identity
gives
Hence the four-dimensional action density in terms of the three-dimensional curvature is
A different overall action normalization rescales all three equal expressions together.
A Yang-Mills instanton is a smooth finite-Euclidean-action self-dual or anti-self-dual connection in pure Yang-Mills theory, with the usual asymptotic pure-gauge behavior. Physically the term generally refers to a nontrivial field; its asymptotic gauge winding labels an instanton number. The Bianchi identity , together with , implies , so the first-order equations already imply the second-order Yang-Mills equations. Finite action is a separate requirement.
Here is independent of . If the monopole has nonzero curvature, the density is positive on an open set in , and integrating its infinite -extent gives
For a finite-energy monopole this can also be written as its positive action per unit length times . Thus a nontrivial monopole lift is not a Yang-Mills instanton on . The flat solution , constant is the zero-action exception: it is a vacuum, or a trivial charge-zero instanton if that terminology includes flat connections. It is not a counterexample to the nontrivial-monopole assertion.
More generally, finite Yang-Mills action forbids nontrivial translation symmetry, even when the translation preserves a connection only up to gauge. Such a symmetry would preserve its positive gauge-invariant action density. A nonflat field has a ball on which this density is bounded below by some positive constant. Repeated translations by a nonzero symmetry vector produce infinitely many disjoint copies of a sufficiently small such ball, all with the same positive action contribution, contradicting finiteness. Continuous translation invariance is a special case. Therefore a nonflat ASDYM instanton is localized in all four Euclidean directions and has no nonzero translational symmetry. Translating an instanton still produces another instanton with a shifted center; these position parameters belong to the instanton moduli space, rather than being invariances of one localized solution.
Let and . For a sufficiently regular finite-energy field configuration with vacuum asymptotics, the scaled field stays in the same boundary sector. Changing variables gives the Derrick scaling formula
A static solution must be stationary under this variation, so the Derrick virial identity is
For , both terms are nonnegative, so both vanish and the field is constant at a vacuum. Hence there are no nonconstant smooth finite-energy static solitons of this scalar type for . For the identity is , allowing kinks. For it requires : a nonzero potential contribution excludes a static soliton, but the scaling identity alone does not exclude a purely derivative energy.
There is a useful refinement specific to the unconstrained flat target . If is differentiable and nonnegative, implies and on the image. The static Euler-Lagrange field equations then give . Each first derivative is an entire harmonic function in L2 space. Its mean-value bound over a disk of radius is at most its total squared norm divided by ; letting shows that derivative is zero. Thus even the exceptional two-dimensional case has only constant smooth finite-energy solutions into this flat target. This two-dimensional flat-target Derrick obstruction uses the field equations in addition to the scale identity.
The Yang-Mills theory with a Higgs field escapes the original scaling because the gauge curvature is quadratic in spatial scaling. In three dimensions use and . Then and . Writing the magnetic, Higgs-gradient and Higgs-potential energies as , the Derrick scaling of Yang-Mills-Higgs energy gives
at stationarity. These terms can balance. In particular, the zero-potential Bogomolny-Prasad-Sommerfield monopole has .
For a nonlinear sigma model in two dimensions, the harmonic map energy is purely quadratic in first derivatives and is scale invariant: . Its target is a curved manifold, not the unconstrained Euclidean target of the refinement above. Its equation is the nonlinear harmonic-map equation, not componentwise . The Derrick theorem therefore gives no obstruction. Nonconstant finite-energy maps into , as in the O3 nonlinear sigma model, provide examples with nonzero degree.
For the complex theory, regard and as independent variables in the variation, and write , . Variation in gives
Thus
The factor 2 follows from the printed normalization of the complex kinetic term; equivalently vary its two real components.
A non-topological soliton is a localized finite-energy persistent field solution with no protecting winding or other nontrivial topological sector. In this complex theory a Q-ball has a stationary spatial profile and a rotating phase,
with real . It is not static as a field even though its energy density is time-independent. The global phase symmetry gives the Noether charge
The profile equation is . Its energy is . To vary the size at fixed charge one must also vary the frequency, because scaling at fixed would change . Eliminating gives charge-constrained scalar-field scaling:
The new positive-power term can balance the other terms for , including , so the static Derrick theorem does not rule out these solutions. Equivalently, at fixed frequency the profile extremizes , whose effective potential need not be nonnegative. This explains both the time dependence and the charge constraint behind the evasion; a complex field by itself is not enough.
For an explicit example take the sextic unique-vacuum Q-ball potential
It is nonnegative, since , and its only vacuum is zero. Its small-field mass squared is , while . It supports localized Q-balls, for example radial ones in three dimensions with . In that range the profile potential is positive quadratic near zero but negative somewhere away from zero, permitting a localized nontrivial profile. This example uses a conserved phase charge and no vacuum winding.
For the adjoint covariant derivative , the gauge curvature is
The matrix-valued wedge product gives one commutator in each coefficient; follows directly. The given trace defines a real positive inner product on the anti-Hermitian algebra .
The additional terms in , compared with ordinary differentiation, are
Thus trace cyclicity proves the compatibility identity
With compactly supported variations, this gives covariant integration by parts without boundary contributions.
Use , so . Write the independent variations as and . The curvature and Higgs derivative variations are
The variation of the Yang-Mills theory magnetic energy is
For the Higgs field derivative energy, trace cyclicity also gives . Hence
Arbitrariness of the variations proves the Euler-Lagrange field equations
The gauge equation can equivalently be written , where . This equivalent form also checks the sign of the commutator source.
Now suppose the positive-sign Bogomolny equations hold. The gauge-theory Bianchi identity implies , and therefore . For the gauge equation,
Consequently . Thus the first-order Bogomolny equations imply both second-order field equations. The negative-sign convention works as well, with both occurrences of that sign tracked consistently.
Finally differentiate the norm twice, using the trace compatibility identity at each step:
The second term vanishes, and for the Bogomolny equations. Thus the Higgs norm identity for a Bogomolny monopole gives
There is no extra factor 2 multiplying : the printed energy density already contains both equal terms without an overall .
The Derrick scaling of the Abelian Higgs energy must rescale the gauge potential as well as the Higgs field. Set
Then and
Let , and , with all integrals over the plane. Changing variables gives
At a static solution, . Consequently
The covariant-gradient contribution is scale invariant, while the magnetic and potential terms balance. This is why the scalar-only nonexistence conclusion does not extend to the Abelian Higgs model.
Since , the Higgs field is nonzero outside a sufficiently large disk. On a large positively oriented circle write locally, where . 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 for an integer winding number . This integer is the same on all sufficiently large circles because the intervening annulus contains no zeros.
The gauge covariant derivative gives
Integrate around the circle. The assumed rapid decay makes the integral of the second term tend to zero. For example, uniform and on radius- circles suffice. Hence
By Stokes theorem, . Integrability of allows the limit, giving the magnetic flux quantization of an Abelian Higgs vortex:
The topological charge is the degree of 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 has local phase , so
the 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.