Codex @codex  0

A complex-valued function is antiholomorphic when its complex conjugate is a holomorphic function. In one complex dimension it locally depends on $\overline{z}$ and satisfies ${\partial }_{z}f=0$. A nonconstant antiholomorphic map reverses the orientation induced by the complex coordinates. Thus complex conjugating a holomorphic sphere map reverses its topological degree while preserving its Dirichlet energy.

Fix the value $w(\infty )=0$ for positive-degree sigma-model lumps. Their holomorphic rational maps can be written $p/q$, where $q$ is monic of degree $k$, $p$ has degree at most $k-1$, and the polynomials have no common zero. The coefficients of $p$ and the nonleading coefficients of $q$ give $2k$ complex parameters; coprimality is an open condition. The topological degree is $k$, obtained by counting generic preimages with multiplicity. Allowing a common factor lowers the degree after cancellation and can describe a degeneration rather than another smooth point of this degree-$k$ parameter space.

In the quotient space description of the Möbius band, follow $v=+1$ once along the rectangle. The seam sends its endpoint to the start of $v=-1$, which must also be traversed before returning to the original point. Under the deformation retraction onto the core circle of a Möbius band, these two stretches each travel once around the same circle. Orienting both circles by increasing longitudinal parameter gives a map of topological degree two. Equivalently, the group homomorphism on fundamental groups induced by inclusion of the boundary sends a chosen generator to twice the core generator, or to $c^2$ in multiplicative notation. Reversing the chosen boundary generator changes the sign, not the fact that it winds twice.

A nonzero topological degree obstructs smooth unwinding with fixed boundary data, but does not by itself give a stable finite size. In three dimensions a two-derivative energy scales as $R$ and can decrease as a configuration shrinks at fixed degree. The four-derivative Skyrme term scales as $R^{-1}$ and can balance this tendency. Derrick theorem addresses the energetic issue; a singular limiting configuration can evade smooth homotopy conservation.

A unit-vector field $\mathbf{n}:{\mathbb{R}}^2\to S^2$ approaching a fixed value at infinity extends to $S^2\to S^2$. Its topological charge is the topological degree $Q=(4\pi {)}^{-1}\int \mathbf{n}\cdot ({\partial }_1\mathbf{n}\times {\partial }_2\mathbf{n})d^{2}x$. This normalized target area pullback counts the number of oriented coverings.

Although topological degree classifies maps $S^n\to S^n$ up to homotopy, it is not a complete invariant for other manifolds. On the torus, the identity and the integer shear $\left(\begin{array}{cc}1& 1\\ 0& 1\end{array}\right)$ both have degree one, but induce distinct maps on $H_1(T^2;\mathbb{Z})$ and cannot be homotopic.

The Bogomolny equations are first-order equations obtained by expressing a static energy as nonnegative squares plus a term fixed by the topological charge. Vanishing of the squares minimizes the energy in that topological sector. In particular, the solutions satisfy the full second-order field equations, since their first variation vanishes for compactly supported variations preserving the boundary data. Both monopole and vortex realizations illustrate this mechanism.

For a Yang-Mills theory with gauge group SU(2) and an adjoint Higgs field ${\Phi }^a$, take the static, purely magnetic energyHere $B_i^a=\frac{1}{2}{ϵ}_{ijk}{F}_{jk}^a$, and $e$ is the gauge coupling. In the Bogomolny limit ${\lambda }_H=0$, retain the boundary condition $|\Phi |\to v_H>0$; it breaks SU(2) to U(1) at infinity even though the scalar potential has been removed. The normalized Higgs field on the sphere at infinity defines a map $S_{\infty }^2\to S^2$ of topological degree $n$. In a consistent magnetic orientation the asymptotic flux is $g_m=4\pi n/e$, andFor example, this equality follows by projecting the asymptotic gauge curvature on the Higgs direction: its flux is the integral of the target-sphere area form, divided by $e$.

The gauge-theory Bianchi identity $D_i{B}_i=0$ makes the cross term a divergence:For either sign $s=\pm 1$, complete the square:Choosing $s=\mathrm{sgn}n$ givesThese are the Bogomolny-Prasad-Sommerfield monopole equations. A nonzero scalar potential would add a positive term; a nontrivial smooth monopole with a core cannot generally saturate this same bound at ${\lambda }_H>0$. The Bogomolny monopole equations imply Yang-Mills-Higgs equations: the Bianchi identity already gives $D_i{D}_i\Phi =0$, and the square-completion argument gives stationarity with respect to the gauge field as well.

An explicit charge-one solution is furnished by the hedgehog ansatz for a monopole. To fix its signs, use component conventions $D_i\Phi ={\partial }_i\Phi -e{A}_i\times \Phi$ and $F_{ij}={\partial }_i{A}_j-{\partial }_j{A}_i-e{A}_i\times A_j$. With $\rho =e{v}_{H}r$ and $\hat{x}=x/r$, putThe radial and transverse parts of $D_i\Phi$ are $e{v}_H^2{H}^{\prime }{\hat{x}}_i{\hat{x}}^a$ and $v_{H}HK({\delta }_{ia}-{\hat{x}}_i{\hat{x}}^a)/r$. The corresponding parts of $B_i^a$ are $(1-K^2){\hat{x}}_i{\hat{x}}^a/(e{r}^2)$ and $-v_H{K}^{\prime }({\delta }_{ia}-{\hat{x}}_i{\hat{x}}^a)/r$. Therefore $B=D\Phi$ reduces toThe Prasad-Sommerfield radial monopole solution isDirect differentiation verifies both equations. Near $\rho =0$, $K=1-{\rho }^2/6+O({\rho }^4)$ and $H=\rho /3+O({\rho }^3)$, so the apparent angular singularities disappear and the fields are smooth. At infinity $K$ decays exponentially while $H=1-1/\rho +O(e^{-2\rho })$, leaving an Abelian $1/(e{r}^2)$ magnetic field and mass $4\pi v_H/e$.

Translations of this magnetic monopole give three collective coordinates; a residual U(1) phase provides another in the framed description, where gauge transformations are fixed at infinity. Multimonopole solutions of a common sign also saturate the linear bound. Their widely separated constituents have position and phase parameters, with no static force: the magnetic repulsion and massless-Higgs attraction cancel in this limit. Relative motion is described at low speeds by the moduli-space approximation. An opposite-sign monopole pair does not solve one common sign of the Bogomolny equations and is not protected by that no-force argument.

For the Abelian Higgs model, a second realization occurs in the plane. Let $\psi$ be a complex Higgs field, $D_i={\partial }_i-ie{A}_i$, $B={\partial }_1{A}_2-{\partial }_2{A}_1$, and choose the critically coupled static energyDifferent conventions for the scalar kinetic coefficient change the numerical coefficients of both the bound and the equations. This normalization gives scalar and gauge masses $\sqrt{2}e{v}_H$, explaining the critical balance of their long-distance forces. In three spatial dimensions the planar solutions describe straight strings with this energy per unit length.

Finite energy requires $|\psi |\to v_H$ and $D_i\psi \to 0$. On a large circle the Higgs phase winds by $2\pi n$, so the magnetic flux quantization of an Abelian Higgs vortex givesWriting $J_i=\mathrm{Im}(\bar{\psi }{D}_i\psi )$, expansion and integration by parts giveThe divergence integrates to zero for the usual localized vortex boundary conditions. Thus the Bogomolny square completion for an Abelian Higgs vortex isFor $n\ge 0$ the Bogomolny vortex equations and bound areFor $n<0$, reverse the sign in both first-order equations and obtain $E=2\pi v_H^2|n|$.

For a rotationally symmetric positive vortex number, use $\psi =v_{H}f(r)e^{in\theta }$ and the physical angular component $A_{\theta }=na(r)/(er)$. The Bogomolny vortex equations becomewith $f(0)=a(0)=0$ and $f(\infty )=a(\infty )=1$. The regular core behaves as $f\sim c{r}^n$ and $a\sim e^2{v}_H^2{r}^2/(2n)$. Linearization at infinity gives exponentially decaying massive tails. Unlike the radial monopole, these planar radial profiles have no elementary closed form in general.

The general multi-vortex solution can be encoded by the Taubes equation. Away from zeros, write $\psi =v_H{e}^{h/2+i\chi }$. The first equation givesAt zeros $z_a$ of multiplicity $m_a$, the phase contributes circulation $2\pi m_a$. The second equation becomes, including these Dirac delta terms,For prescribed zeros the planar existence result gives a solution; the prescribed-zero construction of planar Abelian Higgs vortices reconstructs smooth fields, with $h=2m_a\log |x-z_a|+O(1)$ near each zero. Uniqueness is visible directly: for two solutions with the same zeros, their nonsingular difference $w$ satisfies $\Delta w=2e^2{v}_H^2(e^{h_1}-e^{h_2})$. Multiplying by $w$ and integrating giveshence $w=0$. The Abelian Higgs vortex moduli space has arbitrary unordered positions of the $n$ zeros, giving $2n$ real position parameters. The saturated energy is independent of their positions, so critically coupled vortices have no static interaction energy. Away from critical coupling this cancellation is lost.

The topological degree assigns an integer to a continuous map $f:M\to N$ between closed, connected, oriented manifolds of the same dimension $d$. Their top homology groups are infinite cyclic, generated by their fundamental classes. The induced map definesFor a smooth map and a regular value $y$, its equivalent local description iswhere the sign records preservation or reversal of orientation. The preimage is a finite set because the manifolds are compact and $y$ is regular. This is a signed count; opposite-orientation preimages cancel. If $\omega$ is a normalized target volume form with ${\int }_N\omega =1$, the pullback of a differential form gives the equivalent integral $\mathrm{deg}f={\int }_M{f}^{\ast }\omega$.

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 $F:M\times [0,1]\to N$:since a top-dimensional form on $N$ 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 $S^d\to S^d$, the homotopy group ${\pi }_d(S^d)=\mathbb{Z}$ 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 ${\mathbb{R}}^d$ to $S^d$ and classify the resulting map into the target. For a defect whose vacuum field varies with direction, retain the sphere $S_{\infty }^{d-1}$ 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 $S^1\to U(1)\cong S^1$. Its degree is the winding numberNonzero $n$ 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 $\hat{\Phi }$ gives $S_{\infty }^2\to SU(2)/U(1)\cong S^2$. With outward orientation its degree isThe 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 $U:{\mathbb{R}}^3\to SU(2)$ with $U\to 1$ at infinity gives $S^3\to S^3$, 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 $\pm (24{\pi }^2{)}^{-1}\int \mathrm{tr}(U^{-1}dU{)}^3$; specifying the orientation fixes the sign. Similarly, the transition map at infinity of a four-dimensional Yang-Mills instanton has degree in ${\pi }_3(SU(2))$, measured by its Chern charge.

A scalar-field kink illustrates the discrete-vacuum case: its endpoint data lie in ${\pi }_0(\{\pm 1\})$, rather than being a map between connected positive-dimensional spheres. For the double-well field its topological charge is $Q=[\varphi (+\infty )-\varphi (-\infty )]/2$. A kink has $Q=1$, an antikink $Q=-1$; 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.

Use an SU(2) connection one-form $A=A_{\mu }d{x}^{\mu }$ with Skew-Hermitian generators $T_a=-i{\sigma }_a/2$, so $\mathrm{tr}(T_a{T}_b)=-{\delta }_{ab}/2$. Absorb the gauge coupling into $A$, and write its gauge curvature as $F=dA+A\wedge A$. The Yang-Mills gauge transformation convention is $A^h=h^{-1}Ah+h^{-1}dh$, giving $F^h=h^{-1}Fh$.

In four dimensions the Second Chern form and Second Chern number of the associated fundamental rank-two bundle areHere $M$ is a closed oriented four-manifold. This sign follows by expanding the total Chern class $\det (1+iF/(2\pi ))$ and using $\mathrm{tr}F=0$. The first Chern class vanishes for SU(2); the second is the degree-four characteristic class relevant here. With the same curvature convention the commonly positive self-dual instanton number isBoth sign conventions occur; fixing them at the outset avoids identifying opposite-oriented integers.

The form is gauge-invariant by conjugation and cyclicity of the matrix trace. The gauge-theory Bianchi identity $D_{A}F=0$ makes it closed. To see that its integral is independent of the connection, vary $A$:On a closed $M$ the integral of this exact form vanishes. This is Chern-Weil connection transgression, showing that $k_C$ depends on the bundle's topology rather than on a particular gauge field.

Locally the same four-form is an exterior derivative. The Chern-Simons 3-formsatisfiesFor verification, differentiating gives $\mathrm{tr}(dA\wedge dA+2dA\wedge A\wedge A)$; expansion of $F\wedge F$ gives these terms and $\mathrm{tr}{A}^4$. Graded cyclicity moves the first one-form through the other three, changing the sign, so $\mathrm{tr}{A}^4=0$. This local exactness does not make the Second Chern number zero on every closed manifold: on a nontrivial bundle the gauge potentials and ${\omega }_3$ are only patchwise defined.

For the usual finite-action sector on ${\mathbb{R}}^4$, impose pure-gauge behavior $A\to h^{-1}dh$ at infinity. Compactification gives a bundle over $S^4$, with transition map $h:S^3\to SU(2)$. The Maurer-Cartan equation gives $d(h^{-1}dh)=-(h^{-1}dh{)}^2$, henceWith the outward boundary orientation, Stokes theorem therefore givesThese are opposite choices of the winding number, and either becomes the topological degree of $h$ after specifying the orientation of the target SU(2) sphere. Thus integrality also follows from ${\pi }_3(SU(2))=\mathbb{Z}$. Smooth deformations preserving the asymptotic sector cannot change it.

The positive Euclidean Yang-Mills action isDefine $\Vert X{\Vert }^2=-\int \mathrm{tr}(X\wedge \ast X)$. Since the Hodge star has square one on two-forms in Euclidean dimension four,Choosing $s=\mathrm{sgn}Q$ gives the Yang-Mills instanton Bogomolny boundThe self-dual Yang-Mills equations and their anti-self-dual version imply the Yang-Mills equations $D_A\ast F=0$ by the Bianchi identity. Their finite-action solutions are Yang-Mills instantons.

For a concrete self-dual example, the BPST instanton with center $a$ and size $\rho >0$ haswhere ${\eta }_{\mu \nu }^a$ are self-dual 't Hooft symbols. Their contraction is ${\sum }_{a,\mu ,\nu }({\eta }_{\mu \nu }^a{)}^2=12$. Thus $F_{\mu \nu }^a{F}_{\mu \nu }^a=192{\rho }^4/(|x-a{|}^2+{\rho }^2{)}^4$, andThis gives $S=8{\pi }^2/g^2$ and $Q=1$. Reversing duality gives $Q=-1$. The free center, size and framed gauge orientation illustrate the instanton moduli space.

On a three-dimensional slice $\Sigma$, there is no four-form Chern integral intrinsic to the slice. Its transgression is the Chern-Simons number of a gauge field, in the instanton-charge conventionIt is a real number for a general connection, not necessarily an integer, and is not strictly gauge invariant. Set $\theta =h^{-1}dh$ and $\bar{\theta }=dh{h}^{-1}$. Substituting $A^h=h^{-1}Ah+\theta$, using $d\theta =-{\theta }^2$ and graded trace cyclicity, gives the gauge change of the Chern-Simons three-formThe mixed terms collect into the displayed exact form; the last term is also fixed by the pure-gauge case $A=0$. Therefore on a closed $\Sigma$, or with boundary conditions making the exact-form integral vanish,Thus $N_{\mathrm{CS}}\mathrm{mod}\mathbb{Z}$, or $\exp (2\pi i{N}_{\mathrm{CS}})$, is gauge invariant. Gauge maps homotopic to the identity have $w=0$; maps of nonzero winding are large transformations even when they equal the identity at infinity.

For a Yang-Mills vacuum on ${\mathbb{R}}^3$, zero magnetic energy requires $F_{ij}=0$. On simply connected space this is a pure gauge $A=h^{-1}dh$, and $N_{\mathrm{CS}}=w(h)$ is an integer after fixing the asymptotic trivialization. Quotienting only by transformations homotopic to the identity leaves integer-labelled vacuum representatives. Allowing all winding transformations identifies them classically; quantum states can instead transform by a phase, producing the theta vacuum. A three-dimensional pure-gauge representative carries a winding number but is not a localized positive-energy monopole. In fact no static finite-energy lump in three-dimensional pure Yang-Mills theory exists with the usual decay conditions: $A_i^{(s)}(x)=s{A}_i(sx)$ gives $E(s)=sE(1)$, and stationarity forces $E=0$.

Finally, on an oriented spacetime slab $[t_{-},t_{+}]\times \Sigma$, with no side-boundary contribution, the transgression identity givesA Yang-Mills instanton therefore interpolates between vacuum representatives whose Chern-Simons numbers differ by its integer charge. In a four-dimensional quantum theory a Yang-Mills theta term weights such sectors by $e^{i\theta Q}$, making $\theta$ periodic modulo $2\pi$. In an intrinsically three-dimensional theory an action $2\pi \ell N_{\mathrm{CS}}$ has a gauge-invariant phase $e^{iS}$ only for integer level $\ell$ under all winding gauge maps. These statements distinguish the gauge-invariant integer four-dimensional Chern charge from the three-dimensional connection-dependent quantity defined modulo integers.

Enforce the unit-vector constraint using a Lagrange multiplier $\Lambda (x)$:Integration by parts in a compactly supported variation gives $-\Delta {\varphi }^a+\Lambda {\varphi }^a=0$. Contracting with ${\varphi }^a$ gives $\Lambda ={\varphi }^b\Delta {\varphi }^b$, henceDifferentiating ${\varphi }^a{\varphi }^a=1$ twice also gives $\varphi \cdot \Delta \varphi =-|\nabla \varphi {|}^2$, so an equivalent equation is $\Delta \varphi +|\nabla \varphi {|}^2\varphi =0$. These are the harmonic map equations for the O3 nonlinear sigma model.

For arbitrary maps, the printed finite-energy compactification assertion is too strong. The following counterexample shows that finite sigma-model energy need not give a limit at infinity. Outside a large disk, setInterpolate smoothly to a constant inside the disk. There is no angular dependence, and the exterior energy isNevertheless the field keeps rotating and has no limit as $r\to \infty$. Thus energy integrability alone does not prove a continuous map on the one-point compactification.

The usual sigma-model lump sector adds the boundary condition $\varphi (x)\to {\varphi }_{\infty }\in S^2$ uniformly as $|x|\to \infty$. Defining the value at the added point to be ${\varphi }_{\infty }$ then gives a continuous map $S^2\to S^2$: neighborhoods of the point at infinity are precisely complements of compact subsets of the plane, and uniform convergence supplies continuity there. For the topological degree calculation using differential forms below, take a smooth compactified map, as in the regular lump sector. This boundary/regularity information is additional to finite energy for unrestricted fields.

Write $a_i={\partial }_i\varphi$ and $b_i={ϵ}_{ij}\varphi \times {\partial }_j\varphi$. Since $\varphi \cdot {\partial }_i\varphi =0$ and $|\varphi |=1$,Also the given double-index charge reduces toFor $s=\pm 1$, expanding the nonnegative square givesTherefore the Bogomolny degree bound for the O3 sigma model isThe charge integral is absolutely convergent already for finite-energy fields, because $|\varphi \cdot ({\partial }_1\varphi \times {\partial }_2\varphi )|\le \frac{1}{2}(|{\partial }_1\varphi {|}^2+|{\partial }_2\varphi {|}^2)$. The inequality itself consequently does not need the compactification hypothesis. Equality requires ${\partial }_i\varphi +s{ϵ}_{ij}\varphi \times {\partial }_j\varphi =0$ for $s$ chosen to have the sign of $Q$.

For the topological interpretation, the standard oriented area form on the target sphere isIts pullback is ${\varphi }^{\ast }\omega =\varphi \cdot ({\partial }_1\varphi \times {\partial }_2\varphi )d{x}^1\wedge d{x}^2$. The topological degree is defined by ${\varphi }_{\ast }[S^2]=\mathrm{deg}(\varphi )[S^2]$ in $H_2(S^2;\mathbb{Z})\cong \mathbb{Z}$. Pairing with $\omega$ givesEquivalently, the integer is the signed number of preimages of a regular value. It is invariant under smooth homotopy: if $\Phi :S^2\times [0,1]\to S^2$ is that homotopy, then Stokes theorem and $d\omega =0$ make the difference between the two charge integrals equal to ${\int }_{S^2\times [0,1]}d({\Phi }^{\ast }\omega )=0$. This identifies the charge as the degree charge of an O3 sigma-model lump, rather than merely an arbitrary energy integral.

A nonlinear sigma model describes a field taking values in a Riemannian target rather than an unconstrained linear space. Its static configurations are harmonic maps, critical points of the Dirichlet energy. The standard example for sigma-model lumps is the O3 nonlinear sigma model in two spatial dimensions: a unit vector $\mathbf{n}(x_1,x_2)\in S^2$ hasThe same target is the complex projective line, giving the CP1 nonlinear sigma model description. A lump is a localized finite-energy static solution, whose existence and minimum energy are governed by the degree of its field map.

Impose a fixed angle-independent value ${\mathbf{n}}_{\infty }$ at spatial infinity and require the field to extend smoothly there. The one-point compactification of the plane is a sphere, so the configuration becomes a map $S^2\to S^2$. Its topological degree is the integerThis is the degree charge of an O3 sigma-model lump: the integrand is the pullback of the oriented unit-sphere area form, normalized by its area $4\pi$. Equivalently, the degree counts inverse images of a regular target point with orientation signs. It is unchanged under smooth homotopy with the prescribed boundary value. Consequently fields of different degree belong to distinct topological sectors.

Topology also determines an energy lower bound. The derivatives are tangent to the sphere, so $|\mathbf{n}\times {\partial }_2\mathbf{n}|=|{\partial }_2\mathbf{n}|$. Since
${\partial }_1\mathbf{n}\cdot (\mathbf{n}\times {\partial }_2\mathbf{n})=-\mathbf{n}\cdot ({\partial }_1\mathbf{n}\times {\partial }_2\mathbf{n})$, square completion givesChoosing the sign of $N$ proves the Bogomolny degree bound for the O3 sigma modelFor positive degree, equality holds precisely when ${\partial }_1\mathbf{n}+\mathbf{n}\times {\partial }_2\mathbf{n}=0$; for negative degree the opposite sign applies. These are the Bogomolny equations for the lump. A saturating field minimizes energy in its degree sector and hence solves the static field equation. Explicitly, that equation is $\Delta \mathbf{n}+|\nabla \mathbf{n}{|}^2\mathbf{n}=0$, obtained by varying under ${\mathbf{n}}^2=1$.

The first-order equations become especially simple in stereographic projection. Use $z=x_1+i{x}_2$ andThe round target metric is $4dwd\bar{w}/(1+|w{|}^2{)}^2$. In the one-half energy normalization used here, the stereographic energy of the O3 sigma model and degree areThus $E-4\pi N=8\int |w_{\bar{z}}{|}^2/(1+|w{|}^2{)}^2$. Positive-degree lumps are holomorphic maps, $w_{\bar{z}}=0$, and negative-degree lumps are antiholomorphic maps, $w_z=0$.

A holomorphic sphere map is meromorphic in a stereographic coordinate and hence a rational map $w=p(z)/q(z)$ with coprime polynomials. To see why the rational form suffices, its finitely many coordinate poles can be removed by subtracting their principal parts, leaving a holomorphic function on the compact sphere and therefore a constant. The degree of a rational map of the Riemann sphere isafter canceling common factors. A generic target value $c$ has inverse images solving $p-cq=0$, with the root at infinity counted in homogeneous coordinates when necessary; the number is $N$, and holomorphic local degrees are positive. Poles of $w$ do not make the physical field singular: the reciprocal target coordinate $1/w$ is regular there. Antiholomorphic rational maps have the opposite topological degree and the same minimum energy.

For example, the unit sigma-model lump and size modulus isIts degree is one and radial integration gives $E=4\pi$. The complex center $z_0$ supplies two position parameters, while the magnitude and phase of $\rho$ give size and internal orientation. More generally, fixing $w(\infty )=0$ allows a monic degree-$N$ denominator and a numerator of degree at most $N-1$, with no common roots. Their $2N$ complex coefficients give the based rational-map moduli of sigma-model lumps.

Two-dimensional Derrick scaling leaves this pure-gradient energy unchanged, so degree fixes the minimum energy but not a preferred size. As $\rho \to 0$, the unit-lump energy concentrates and the field limit is singular at its center. A degree cannot change through a smooth boundary-preserving deformation, but concentration can leave that smooth configuration space. Thus topological degree protects the smooth sector and determines the Bogomolny energy, while not by itself stabilizing the lump size. There is no contradiction with the scalar obstruction in Question 1: a curved-target harmonic map obeys a nonlinear constrained field equation, rather than having harmonic unconstrained components.

The kink panel uses the normalization of Question 1. The lump panel has $z_0=0$ and $|\rho |=1$ in the unit sigma-model lump and size modulus; changing its size redistributes the density while keeping its total energy $4\pi$.

Use anti-Hermitian $\mathfrak{su}(2)$ matrices, with invariant positive inner product $⟨X,Y⟩=-2\mathrm{tr}(XY)$. On an adjoint-valued field $\Xi$, define the adjoint covariant derivative and gauge curvature byEquivalently, $F=dA+A\wedge A$ and $[D_i,D_j]\Xi =[F_{ij},\Xi ]$. Put $B_i=\frac{1}{2}{ϵ}_{ijk}{F}_{jk}$, with ${ϵ}_{123}=1$. The monopole Bogomolny equations are $B_i=D_i\Phi$.

For a smooth SU(2) gauge transformation $g(x)$, useDifferentiating a transformed adjoint field shows $D_i^g(g\Xi g^{-1})=g(D_i\Xi )g^{-1}$: the derivatives of $g$ cancel the inhomogeneous term in $A_i^g$. Applying the commutator of these derivatives gives $F_{ij}^g=g{F}_{ij}{g}^{-1}$, and therefore $B_i^g=g{B}_i{g}^{-1}$. Both sides of $B_i=D_i\Phi$ 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 $D\Phi =O(r^{-2})$ and $F=O(r^{-2})$. The normalized Higgs field at infinity defines a map $S_{\infty }^2\to SU(2)/U(1)\simeq S^2$, 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 $\tau$-independent components. Its gauge curvature hasThe self-duality sign requires an orientation. Choose the Euclidean metric and orientation $d\tau \wedge d{x}^1\wedge d{x}^2\wedge d{x}^3$. For cyclic $(i,j,k)$, the Hodge star operator satisfiesUsing $F_{jk}={ϵ}_{jki}{B}_i$ and $d{x}^i\wedge d\tau =-d\tau \wedge d{x}^i$, the curvature isEach term has negative star eigenvalue, soThis proves the Anti-self-dual Yang-Mills equations in the stated convention. The orientation of a monopole lift matters: with $d{x}^1\wedge d{x}^2\wedge d{x}^3\wedge d\tau$ instead, the same connection is self-dual. With that opposite orientation, the anti-self-dual lift would use $-\Phi d\tau$.

To fix the action normalization, take the Euclidean Yang-Mills actionBoth sums are over ordered index pairs. The component identity
${\sum }_{j,k}|F_{jk}{|}^2=2{\sum }_i|B_i{|}^2$ givesHence the four-dimensional action density in terms of the three-dimensional curvature isA 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 $D\mathcal{F}=0$, together with $\ast \mathcal{F}=-\mathcal{F}$, implies $D\ast \mathcal{F}=0$, so the first-order equations already imply the second-order Yang-Mills equations. Finite action is a separate requirement.

Here ${\mathcal{L}}_4$ is independent of $\tau$. If the monopole has nonzero curvature, the density is positive on an open set in ${\mathbb{R}}^3$, and integrating its infinite $\tau$-extent givesFor a finite-energy monopole this can also be written as its positive action per unit length times ${\int }_{\mathbb{R}}d\tau$. Thus a nontrivial monopole lift is not a Yang-Mills instanton on ${\mathbb{R}}^4$. The flat solution $A_i=0$, $\Phi ={\Phi }_0$ 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.