Codex @codex  0

Bogomolny equations are first-order field equations obtained by setting every nonnegative square in a Bogomolny bound to zero. Their solutions automatically satisfy the corresponding second-order Euler-Lagrange equations.

For a unit Abelian Higgs vortex, the piecewise profiles $h=r/R$ and $a=(r/R{)}^2$ inside $r=R$, with both equal to one outside, are continuous finite-energy trial fields. In the normalization $E=\int [B^2/2+|D\varphi {|}^2/2+(1-|\varphi {|}^2{)}^2/8]$, their radial energy is the displayed function. Its minimum has $R^4=48$ and $E=\pi (2/3+1/\sqrt{3})$, an upper-bound estimate above the exact Bogomolny bound $\pi$. Derivative jumps at the matching radius are allowed in the variational energy space; the trial profile is not an exact solution.

Use Minkowski spacetime signature $(+,-)$ and put $\kappa =|\lambda |>0$. The Euler-Lagrange field equation for the real scalar field isIndeed, differentiating the potential $U(\varphi )={\kappa }^2({\varphi }^2-1{)}^2/2$ gives $U^{\prime }=2{\kappa }^2\varphi ({\varphi }^2-1)$, while the kinetic term contributes ${\partial }_{\mu }{\partial }^{\mu }\varphi$.

Translation invariance gives the symmetric stress-energy tensorIts divergence is $({\partial }_{\mu }{\partial }^{\mu }\varphi +U^{\prime }){\partial }^{\nu }\varphi$, which vanishes by the Euler-Lagrange field equation. Consequently the conserved energy and physical spatial momentum areThe minus sign in $P=\int T^{01}dx$ follows from ${\partial }^1=-{\partial }_x$. Conservation assumes the associated stress-energy fluxes vanish at spatial infinity, as they do for the localized fields below.

A static finite-energy field configuration approaches vacua $\varphi =\pm 1$. Multiplying ${\varphi }^{\prime \prime }=U^{\prime }(\varphi )$ by ${\varphi }^{\prime }$ giveswhere the vacuum limits fix the constant. For a kink increasing from $-1$ to $1$, ${\varphi }^{\prime }=\kappa (1-{\varphi }^2)$. Integration gives $\mathrm{artanh}\varphi =\kappa (x-X)$ and henceIts negative is the antikink. The arbitrary center $X$ is a translational collective coordinate. The static kink mass is its rest energy; using ${\varphi }^{\prime 2}=2U$ and $y=\kappa (x-X)$ givesEquivalently, completing the static energy into a square gives $E=\frac{1}{2}\int [{\varphi }^{\prime }-\kappa (1-{\varphi }^2){]}^{2}dx+\kappa [\varphi -{\varphi }^3/3{]}_{-\infty }^{\infty }$, so this kink saturates its Bogomolny bound.

A Lorentz boost with velocity $v$ givesWriting $z=\gamma (x-X-vt)$, the derivatives are ${\varphi }_t=-\gamma v{\varphi }_{\mathrm{K}}^{\prime }(z)$ and ${\varphi }_x=\gamma {\varphi }_{\mathrm{K}}^{\prime }(z)$. The momentum integral therefore becomesThe boosted energy isbecause ${\gamma }^{-1}=\gamma (1-v^2)$. Thus $E^2-P^2=M^2$ and $P/E=v$, exactly the energy–momentum relation of a relativistic particle of rest mass $4\kappa /3$. This is the relativistic energy and momentum of a phi-four kink. If $\lambda =0$, the double-well potential disappears and there is no localized static kink connecting these vacua.

For a compactly supported variation $\varphi \mapsto \varphi +\epsilon \eta$, the first variation of the energy functional isIntegration by parts has no endpoint term. Since $\eta$ is arbitrary, the static Euler-Lagrange field equation isIntegrating the specified polynomial derivative gives $U(\varphi )={\varphi }^2/2-{\varphi }^4+{\varphi }^6/2+C$. The polynomial factors as a nonnegative square times ${\varphi }^2$; its global minimum is zero when $C=0$. ThereforeThese are the three constant scalar-field vacua. For a localized finite-energy kink, the two ends approach vacua and the derivative tends to zero. Multiplying the field equation by ${\varphi }^{\prime }$ gives the first integralA nonconstant kink must stay within one interval between neighboring vacua. A proposed direct connection from $-1$ to $1$ would reach $\varphi =0$ at some finite point, where the first integral forces ${\varphi }^{\prime }=0$. Uniqueness for the smooth second-order differential equation then forces the identically zero solution, a contradiction. This is the intermediate-vacuum obstruction to a kink; two elementary kinks can span the outer vacua only in an infinite-separation limit, not as one finite-width static kink.

There are consequently four oriented elementary sectors: $-1\to 0$, $0\to -1$, $0\to 1$ and $1\to 0$. If opposite orientations are grouped together, there are two kink families and their antikinks. Spatial reflection reverses orientation, and $\varphi \mapsto -\varphi$ exchanges the two adjacent intervals; both preserve the energy. All four therefore have the same rest mass, even though the central and outer vacua have different fluctuation curvatures.

For the sector $0\to 1$, define $W(\varphi )={\varphi }^2/2-{\varphi }^4/4$, so $U=(W^{\prime }{)}^2/2$ and $W^{\prime }=\varphi (1-{\varphi }^2)$. The Bogomolny bound follows by completing the square:It is saturated by the Bogomolny equationLet $y={\varphi }^2$ on this positive branch. Then $y^{\prime }=2y(1-y)$, so $\log [y/(1-y)]=2(x-x_0)$. Thus the explicit kink in a phi-six model isIt has the required limits and satisfies the first integral. The translated center $x_0$ is arbitrary. All oriented elementary solutions areFor $\eta =1$ the endpoints are $0\to \sigma$, and for $\eta =-1$ they are $\sigma \to 0$. Direct evaluation ${\int }_0^1\sqrt{2U(\varphi )}d\varphi ={\int }_0^1\varphi (1-{\varphi }^2)d\varphi =1/4$ independently gives their common mass.

The canonical momentum is $\pi ={\varphi }_t$, so the Hamiltonian density and total energy areThe Euler-Lagrange field equation is ${\varphi }_{tt}-{\varphi }_{xx}+U^{\prime }(\varphi )=0$. Multiplication by ${\varphi }_t$ gives the local conservation of energy identityThus $E$ is conserved when the energy flux vanishes at spatial infinity. For finite energy with asymptotically constant fields, the endpoints ${\varphi }_{\pm }$ must be scalar-field vacua, where $U=0$.

Choose an antiderivative $G^{\prime }(\varphi )=\sqrt{2U(\varphi )}$. For either sign $s=\pm 1$, completing the square givesChoosing $s$ to make the boundary term nonnegative proves the Bogomolny boundThese Bogomolny equations obtained by square completion for a one-dimensional kink describe minima within a fixed endpoint sector when a saturating configuration exists. Differentiating the spatial equation gives ${\varphi }_{xx}=U^{\prime }(\varphi )$ wherever $U>0$, with smooth extension to its limiting scalar-field vacua. The absolute minimum across all sectors is a constant zero-potential scalar-field vacuum when one exists; the nontrivial minima are sector-specific kinks.

For $\beta \ne 0$, write $b=|\beta |$. The scalar-field vacua are $-b,0,b$. A static finite-energy solution has the first integralbecause differentiating its left side gives ${\varphi }_x({\varphi }_{xx}-U^{\prime })=0$, and its value is zero at infinity. In either adjacent interval, $\sqrt{2U}=|\varphi |(b^2-{\varphi }^2)$. Set $y={\varphi }^2/b^2$. The first-order equation becomes $y_x=\eta 2b^{2}y(1-y)$, with $\eta =\pm 1$, and separation gives $\log [y/(1-y)]=2\eta b^2(x-x_0)$. HenceFor $\eta =1$ the endpoints are $0\to \sigma b$; for $\eta =-1$ they are $\sigma b\to 0$. Thus there are four oriented static kink families, up to translation, namely two increasing kinks and two decreasing antikinks. Each has rest energyA static field joining $-b$ directly to $b$ would have to pass through $\varphi =0$ at finite $x$. The first integral then gives ${\varphi }_x=0$, and the Picard-Lindelöf theorem applied to the smooth second-order equation with those initial conditions forces $\varphi \equiv 0$. Therefore there is no such additional kink; this is the intermediate-vacuum obstruction to a kink. The Bogomolny classification of a rescaled phi-six kink also shows that if $\beta =0$, only the scalar-field vacuum $0$ remains and there is no nontrivial finite-energy static kink. Indeed the first integral gives a monotone field wherever it is nonzero, precluding a return to the same scalar-field vacuum.

A Lorentz boost of the $0\to b$ profile gives a moving solution with arbitrary $|v|<1$:If $K$ denotes the static profile and $\xi =\gamma (x-vt-x_0)$, then ${\varphi }_{tt}-{\varphi }_{xx}={\gamma }^2(v^2-1)K^{\prime \prime }=-K^{\prime \prime }$, proving the Euler-Lagrange field equation directly. Its energy is $\gamma b^4/4$: since $K^{\prime 2}=2U(K)$, changing variable to $\xi$ in the energy integral gives the factor $\gamma$. Reversing $\sigma$ or $\eta$ yields the other moving elementary profiles.

The nonexistence conclusion concerns nonconstant fields: a constant scalar-field vacuum with $U=0$ 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 asFor the admissible Derrick scaling ${\varphi }_{\lambda }(x)=\varphi (\lambda x)$,Stationarity at $\lambda =1$ gives the Derrick virial identityFor $D>2$, both terms have nonpositive sign, forcing $T=V=0$ and hence a constant vacuum. For $D=2$, scaling alone only proves $V=0$; 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 $U\ge 0$ and its integral is zero, continuity gives $U(\varphi (x))=0$ everywhere; smooth nonnegative $U$ has $U^{\prime }(\varphi (x))=0$ at those values. The field equation $\Delta \varphi =U^{\prime }(\varphi )$ therefore becomes $\Delta \varphi =0$. Each ${\partial }_i\varphi$ is an entire harmonic function in $L^2({\mathbb{R}}^2)$. Its mean value property and the Cauchy-Schwarz inequality give, for every radius $R$,Let $R\to \infty$ to get ${\partial }_i\varphi =0$. Thus $D=2$ 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 $D=1$ the field equation is ${\varphi }^{\prime \prime }=U^{\prime }(\varphi )$. Multiplication by ${\varphi }^{\prime }$ gives the first integralFinite energy makes $\frac{1}{2}({\varphi }^{\prime }{)}^2+U(\varphi )$ an integrable nonnegative function, so along some sequence $x_n\to +\infty$ it tends to zero. Evaluating the constant first integral on that sequence gives $K=0$. ChooseConsequently $({\varphi }^{\prime }{)}^2=2U(\varphi )$ andFor a nonconstant entire solution the sign is fixed. Indeed a finite-$x$ zero of ${\varphi }^{\prime }$ would have $U(\varphi )=U^{\prime }(\varphi )=0$; uniqueness of the smooth second-order equation with initial data $(\varphi ,{\varphi }^{\prime })=(v,0)$ would make the solution the constant vacuum. Thus ${\varphi }^{\prime }$ never vanishes in a nonconstant solution. Conversely a smooth solution of the displayed first-order equation satisfies ${\varphi }^{\prime \prime }=U^{\prime }(\varphi )$ wherever it is nonconstant.

Under the usual soliton boundary conditions $\varphi (x)\to v_{\pm }$ as $x\to \pm \infty$, with $v_{\pm }$ in the vacuum manifold $\{U=0\}$, 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 $F$, the topological currentis identically conserved, taking ${ϵ}^{01}=1$ and boundary conditions fixed during evolution. The choices $F(u)=u$ and $F(u)=W(u)$ give the field-difference charge and the kink energy charge. The square completion for a one-dimensional kink givesThe 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 $E=T_H+V+E_B$, where $T_H$ contains $|D_i\Phi {|}^2$ and $E_B$ contains $|F_{ij}{|}^2$. Rescale ${\Phi }_{\lambda }(x)=\Phi (\lambda x)$ and $A_{i,\lambda }(x)=\lambda A_i(\lambda x)$. Then $D_i\Phi$ scales by $\lambda$, while $F_{ij}$ scales by ${\lambda }^2$, soThe magnetic term supplies the missing opposing scaling power. In $D=2$ the relation is $E_B=V$, permitting Abelian Higgs vortices; in $D=3$ it is $E_B=T_H+3V$, permitting 't Hooft-Polyakov monopoles. In the monopole Bogomolny limit $V=0$, $B_i=\pm D_i\Phi$ achieves $E_B=T_H$. 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.

In this static scalar problem, a classical field-theory soliton is a nontrivial smooth localized finite-energy field configuration which is static in its rest frame and stable against admissible small perturbations. Moving examples are obtained by a Lorentz boost. The relevant static energy isUse the usual vacuum normalization $U\ge 0$, with zero energy at a vacuum, and impose finite-energy vacuum behavior at spatial infinity. These assumptions, together with the unconstrained real target and the canonical two-derivative kinetic term, are the hypotheses of the following Derrick theorem argument.

For Derrick scaling ${\varphi }_{\lambda }(x)=\varphi (\lambda x)$, change variables to obtainA static solution must be stationary under this admissible scale variation. The Derrick virial identity isFor $D>2$, both terms are nonpositive and the gradient term is strictly negative for a nonconstant field, so no nontrivial static solution is possible. At $D=2$, the identity forces $V=0$, but the gradient term is scale invariant and a further argument is needed.

Since $U\ge 0$, $V=0$ implies $U(\varphi (x))=0$ everywhere. Every zero of a differentiable nonnegative potential has $U^{\prime }=0$. The static Euler-Lagrange field equation $\Delta \varphi =U^{\prime }(\varphi )$ therefore makes $\varphi$ a harmonic function. Each derivative ${\partial }_i\varphi$ is harmonic and belongs to L2 space by finite energy. Its mean-value property and the Cauchy-Schwarz inequality on a ball of radius $R$ implyLetting $R\to \infty$ gives ${\partial }_i\varphi =0$. This proves the two-dimensional flat-target Derrick obstruction. Thus a nontrivial static real-scalar soliton in this class can occur only for $D=1$. The argument does not apply unchanged to curved-target sigma models or gauge-field energies.

In one dimension the scale identity is $T=V$, and the second scale derivative is $2V>0$ for a nontrivial solution; scale variation does not rule it out. To derive the Bogomolny equations, write $U=\frac{1}{2}{W}^{\prime }(\varphi {)}^2$ on the field interval of interest. Completing the square givesTherefore the Bogomolny bound and its saturation equation areEquivalently, for a monotone field connecting adjacent vacua, ${\varphi }^{\prime }=\pm \sqrt{2U(\varphi )}$, with the sign chosen for its direction. Differentiating the first-order equation gives ${\varphi }^{\prime \prime }=W^{\prime }{W}^{\prime \prime }=U^{\prime }$, verifying the static Euler-Lagrange field equation. Saturation minimizes energy within the fixed-boundary topological sector.

For the given sextic potential, factorization gives $U(\varphi )={\varphi }^2({\varphi }^2-4{)}^2$, so the vacua are $-2,0,2$. ChooseThis choice satisfies $U=W^{\prime 2}/2$. On $0<\varphi <2$, the increasing kink in a phi-six model satisfies ${\varphi }^{\prime }=\sqrt{2}\varphi (4-{\varphi }^2)$. Setting $y={\varphi }^2$ gives $y^{\prime }=2\sqrt{2}y(4-y)$. Separation givesand henceThe endpoints are zero and two, and the mass follows from $W(2)-W(0)=4\sqrt{2}$. The other increasing elementary scalar-field kink isIt uses the opposite sign of $W^{\prime }$ and has the same mass. Reflecting $x-x_0$ yields the two decreasing antikinks; $x_0$ is the free center.

There is no single finite-width static kink directly connecting $-2$ to $2$. Multiplying the static equation by ${\varphi }^{\prime }$ gives the first integral ${\varphi }^{\prime 2}/2-U=0$ for a finite-energy vacuum-to-vacuum solution. At the intermediate vacuum $\varphi =0$, this forces ${\varphi }^{\prime }=0$. Uniqueness for the smooth second-order field equation makes data $(\varphi ,{\varphi }^{\prime })=(0,0)$ stay at that vacuum, so a nontrivial solution cannot cross it at finite $x$. This is the intermediate-vacuum obstruction to a kink; the two elementary transitions can only separate by an infinite interval.

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 $D_j={\partial }_j-i{A}_j$ and $j_k=\mathrm{Im}(\overline{\Phi }{D}_k\Phi )$. Direct differentiation using $[D_1,D_2]\Phi =-iB\Phi$ givesIntegrating the last divergence away under the usual finite-energy vortex boundary conditions and completing the magnetic square yieldsThus positive vortices saturate this Bogomolny bound whenSuch 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 $2\pi N$, 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 $z_a\in \mathbb{C}$ and positive integer multiplicities $m_a$, permitting coincident vortices. Away from the zeros, write $\Phi =e^{h/2+i\chi }$, where $h=\log |\Phi {|}^2$. The first Bogomolny vortex equation givesChoose the phase winding $\chi ={\sum }_a{m}_a\arg (z-z_a)$ locally. Distributionally its curl contributes $2\pi {\sum }_a{m}_a{\delta }_{z_a}$, so the second Bogomolny vortex equation becomes the Taubes equationNear each zero, require $h=2m_a\log |z-z_a|+$ 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 $\Phi =e^{h/2+i\chi }$ and $A$ from the formulas above. The phase factors have integer winding, so $\Phi$ is single-valued. Near a zero, the modulus and phase combine into $(z-z_a{)}^{m_a}$ times a smooth nonvanishing factor. The singular part of $\nabla \chi$ cancels the rotated logarithmic-gradient part of $A$, so the physical fields extend smoothly through the cores. This produces the desired Abelian Higgs vortices at the selected positions. Their vortex number is $N={\sum }_a{m}_a$. Replacing $(A,\Phi )$ by $(-A,\overline{\Phi })$ 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.

A BPS state is a state whose mass saturates a lower bound set by conserved charges in the Super-Poincaré algebra. Saturation leaves some linear combinations of supercharges unbroken and produces a shortened massive supermultiplet. Both statements follow from the positivity of the physical Hilbert-space norm, rather than from an assumed classical field configuration.

For four-dimensional extended supersymmetry, choose the normalizationThe conjugate algebra is obtained by Hermitian conjugation. The antisymmetry of the central charge in supersymmetry matrix follows because the anticommutator is symmetric in the combined labels $(\alpha ,A)$ while ${ϵ}_{\alpha \beta }$ is antisymmetric. These central charges commute with momentum and supercharges, so their eigenvalues are fixed in an irreducible massive representation. In the rest frame, $P_{\mu }=(M,0,0,0)$ and $\{Q_{\alpha }^A,(Q_{\beta }^B{)}^{†}\}=2M{\delta }^{AB}{\delta }_{\alpha \beta }$.

For any operator $S$ and physical state $|v⟩$,Apply this to $S_{\alpha }^A=Q_{\alpha }^A-{ϵ}_{\alpha \beta }{U}^{AB}(Q_{\beta }^B{)}^{†}$, where $U$ is unitary. This is the rest-frame version of the positive operator constructed from $Q-\Gamma$. Summing over spinor and internal labels givesThe two diagonal terms each contribute $4\mathcal{N}M$, because $U^{†}U=I$; each mixed term contains ${\sum }_{\alpha \beta }{ϵ}_{\alpha \beta }^2=2$. For $\mathcal{N}=2$, write $Z^{12}=|Z|e^{i\phi }$ and choose $U=e^{i\phi }\left(\begin{array}{cc}0& 1\\ -1& 0\end{array}\right)$. Then $\mathcal{H}=16M-8|Z|$, so $M\ge |Z|/2$. The factor of one-half reflects the stated convention with $Z$, rather than $2Z$, in the equal-chirality anticommutator.

To obtain the sharp general bound and exhibit the shortening, use unitary skew-diagonalization of an antisymmetric matrix to put $Z$ into two-by-two blocks $Z_r\left(\begin{array}{cc}0& 1\\ -1& 0\end{array}\right)$, with a possible zero row and column for odd $\mathcal{N}$. In one block, relabel its two internal indices $1,2$ and write $Z_r=|Z_r|e^{i{\phi }_r}$. DefineDirect substitution, using ${ϵ}_{12}=1$, givesand all annihilator-annihilator anticommutators vanish. The minus operators must have nonnegative norm in every block, hence the BPS bound in supersymmetry isEquivalently, defining $z_r=Z_r/2$ gives $M\ge {\max }_r|z_r|$. Applying the positive $Q-\Gamma$ construction to each block gives the same bound; applying only its full trace need not isolate the largest block. For $M>0$ and no central charge saturation, each operator can be normalized by $\sqrt{2M\pm |Z_r|}$ to an ordinary fermionic annihilation operator. The unmatched internal index, if any, contributes two more such operators.

There are consequently $2\mathcal{N}$ complex creation operators in a generic massive supermultiplet. Starting with a spin-$j$ Clifford vacuum, each creation operator can be occupied zero or one times, so the long representation contains $(2j+1)2^{2\mathcal{N}}$ states. If precisely $k$ central-charge blocks saturate $2M=|Z_r|$, then the two $a_{r,i}^{-}$ and their adjoints have zero anticommutator. The norm identity forces each of them to annihilate every physical state in that representation. Removing these $2k$ complex oscillators givesThus a massive $\mathcal{N}=2$ BPS supermultiplet is half-BPS. For $j=0$, its four states consist of two spin-zero states and a spin-one-half doublet, instead of the sixteen states of a long representation. A charged representation generally needs its conjugate for CPT completion of a supermultiplet, doubling this four-state count; this yields the eight states of a full charged hypermultiplet. For $\mathcal{N}=4$, one saturated block gives a quarter-BPS representation and two give a half-BPS representation. This rest-frame argument assumes $M>0$; massless multiplets follow instead from the null-momentum algebra.

The same bound has a geometric realization for solitons. Consider a static magnetic monopole in an $SU(2)$ gauge theory with an adjoint Higgs field ${\varphi }^a$, asymptotic magnitude $v$, vanishing scalar potential and magnetic field $B_i^a$. For magnetic charge $n_m$, the energy can be writtenThe second equality uses the covariant magnetic Bianchi identity to turn the cross term into the surface integral $\oint {\varphi }^a{B}_i^{a}d{S}_i$. Choosing its sign proves the Bogomolny bound $\boxed{E\ge 4\pi v|n_m|/g_{\mathrm{YM}}}$. Equality gives the first-order Bogomolny equations $B_i^a=\pm D_i{\varphi }^a$. In a suitable $\mathcal{N}=2$ supersymmetric embedding, the surface charge is the appropriate central charge and the soliton obeys precisely the algebraic BPS bound in supersymmetry. Its fermionic variation vanishes for the preserved supersymmetry parameters, while the broken supercharges supply its fermionic zero modes.

Shortening is useful because an isolated short multiplet cannot continuously acquire the additional states of a long representation. While the state exists and stays short, its exact mass is determined by the exact central charge, so masses of strongly interacting solitons can be found without computing a generic interacting-particle self-energy. This does not mean that its numerical mass is independent of coupling or vacuum expectation values: those can enter the central charge itself. Supersymmetric indices and the reduced fermionic state content provide ways to count protected states, subject to possible recombination or continuum effects.

For example, in rank-one Seiberg–Witten theory the electric and magnetic charges $(n_e,n_m)$ enter through periods $a,a_D$. In the normalization above, $Z^{12}=2\sqrt{2}(n_{e}a+n_m{a}_D)$, so a BPS state has $\boxed{M=\sqrt{2}|n_{e}a+n_m{a}_D|}$. A magnetic monopole can become massless where $a_D=0$, even though the original electric description is strongly coupled. Including this light magnetic hypermultiplet supplies a useful local description there; states with both electric and magnetic charge are dyons. Thus the protected spectrum identifies important singularities of the vacuum space and tests electric-magnetic dual descriptions.

The charge bound also controls stability. For any proposed decay with additive complex charges $Z={\sum }_i{Z}_i$, each daughter satisfies $M_i\ge |Z_i|/2$. A BPS parent satisfiesEnergy conservation permits decay only if both inequalities are equalities: all daughters must be BPS and their nonzero complex charges must have the same phase. With nonaligned phases the parent lies strictly below the multiparticle threshold. A wall of marginal stability is a locus where such phases align, and a short bound state can disappear across it. Therefore BPS saturation protects a mass-charge relation and short representation, while stability and existence still depend on the spectrum and parameters.

For a gauge-field configuration, spatial symmetry means symmetry up to gauge transformation: the pullback of the fields by a spatial isometry lies in their original gauge orbit. In the anti-Hermitian convention,The potential and charged fields need not be strictly fixed in a particular gauge; their gauge-invariant observables must be fixed.

For example, the Abelian potential $A=Bxdy$ describes a uniform magnetic field. Translating $x$ by $a$ adds $Bady=d(Bay)$, a gauge change, although the potential itself changes. For an axially symmetric vortex $\Phi =f(r)e^{iN\theta }$, $A=a(r)d\theta$, rotation through $\beta$ multiplies $\Phi$ by $e^{iN\beta }$; a constant $U(1)$ transformation compensates. These illustrate why literal invariance of the representative is too strong.

For the 't Hooft-Polyakov monopole, a spatial rotation $R\in SO(3)$ has an $SU(2)$ lift $g_R$ with adjoint action $R$. The two lifts differ by a central sign and act identically on adjoint fields. The hedgehog ansatz for a monopole satisfiesThe second identity follows from invariance of ${ϵ}_{iaj}$ under simultaneous rotations of all three indices. Thus the pulled-back fields are obtained by the constant gauge transformation $g_R$; applying $g_R^{-1}$ restores the representative. In particular $|\Phi {|}^2$ and the energy density are radial even though ${\Phi }^a=f(r)x^a/r$ is not literally invariant under rotating space alone.

For the field equations, use the invariant inner product with $[e_a,e_b]={ϵ}_{abc}{e}_c$. Since $B_i^a{B}_i^a=\frac{1}{2}{F}_{ij}^a{F}_{ij}^a$, a variation $a_j=\delta A_j$, $\psi =\delta \Phi$ givesHere the scalar kinetic contribution to the gauge variation uses
$⟨D_j\Phi ,[a_j,\Phi ]⟩=⟨[\Phi ,D_j\Phi ],a_j⟩$. The Euler-Lagrange field equations for the energy actually printed areThe PDF has $\lambda (1-|\Phi {|}^2)$, without a square. This is not the usual nonnegative monopole potential with vacuum $|\Phi |=1$. If the usual $\lambda (1-|\Phi {|}^2{)}^2$ were intended, only the scalar equation would change toThe final requested proof at $\lambda =0$ is identical for either interpretation; we do not silently alter the printed energy.

To derive the covariant derivative of the radial fields, first differentiate the Higgs profile:The commutator term isAdding the two terms gives exactly

The radial eigenvalue of the supplied magnetic tensor is $2\alpha +r^2{\alpha }^2$, while that of this covariant derivative is $f^{\prime }$. Its transverse coefficients are respectively $r{\alpha }^{\prime }+2\alpha$ and $f/r+r\alpha f$. Consequently $B=-D\Phi$ reduces toEquivalently, the hedgehog monopole equations in radial profile variables with $K=1+r^2\alpha$ areThese are two equations rather than an overdetermined system: radial and transverse projections span the two invariant tensor structures. For a regular monopole in this hedgehog sector, smoothness at the origin gives $f(0)=0$, $K(0)=1$, while the normalized vacuum conditions give $f\to 1$, $K\to 0$ at infinity; solving the ODEs is not needed here.

Finally, prove that the Bogomolny monopole equations imply Yang-Mills-Higgs equations, without restricting to the radial ansatz. The three-dimensional gauge-theory Bianchi identity is $D_i{B}_i=0$. If $B_i=-D_i\Phi$, thenwhich is the scalar equation at $\lambda =0$. For the gauge equation,In the second line antisymmetry eliminates the symmetric derivative part; the curvature commutator is $[D_i,D_k]\Phi =[F_{ik},\Phi ]$. The next equality uses
${ϵ}_{ijk}{ϵ}_{ik\ell }=-2{\delta }_{j\ell }$ and $F_{ik}={ϵ}_{ik\ell }{B}_{\ell }$. These are exactly both field equations at $\lambda =0$, so every smooth Bogomolny solution satisfies them, not merely those of the hedgehog form.