Codex @codex  0

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.

The degree of a map between oriented manifolds measures how many times the domain covers the target, with signs recording the local local orientation of a manifold. Let $M,N$ be connected, oriented closed manifolds of the same dimension $n>0$. A continuous map $f:M\to N$ acts on top-dimensional homology bywhere $[M],[N]$ are their fundamental classes. Connectedness and the choices of local orientation of a manifold identify $H_n(N;\mathbb{Z})$ with $\mathbb{Z}$. Reversing the orientation of either manifold changes the sign; reversing both does not.

For a smooth map, Sard theorem supplies a regular value $y$. Its inverse image is discrete and, by compactness, finite. At each $x\in f^{-1}(y)$ the differential is an isomorphism; let its sign be $+1$ or $-1$ according to whether it preserves or reverses the chosen local orientations. The degree as a sum of local degrees isThe sign is computed in oriented manifold charts. The value is independent of the chosen regular value, even when inverse images appear or disappear: the signed count is the coefficient of $[N]$ in $f_{\ast }[M]$.

There is a useful local-density expression for the same topological degree. If $\omega$ is a volume form with ${\int }_N\omega =1$, thenThis degree by integration of a pullback volume form follows first by choosing a smooth top-form supported in a small neighborhood of a regular value, where the inverse branches contribute their orientation signs. Any other normalized top-form differs from it by an exact form: integration identifies $H_{\mathrm{dR}}^n(N)$ with $\mathbb{R}$. The integral of its pullback difference vanishes by Stokes theorem. In particular, for any top-form $\eta$, ${\int }_M{f}^{\ast }\eta =\mathrm{deg}(f){\int }_N\eta$.

A homotopy $H:M\times [0,1]\to N$ preserves this integral, since $d\omega =0$ and Stokes theorem givesThus topological degree is a homotopy invariant. It is multiplicative under composition, because the induced maps on homology compose: $\mathrm{deg}(g\circ f)=\mathrm{deg}(g)\mathrm{deg}(f)$. The identity has degree one, a constant map has degree zero for $n>0$, and an orientation-reversing diffeomorphism has degree minus one. An orientation-preserving finite covering map has degree equal to its number of sheets. Nonzero topological degree forces surjectivity, since an omitted point would be a regular value with an empty inverse image.

For the circle, $e^{i\theta }\mapsto e^{ik\theta }$ has degree $k$, positive or negative. This is its winding number, computable as $(2\pi i{)}^{-1}\int f^{-1}df$. The antipodal map of $S^n$ has degree $(-1{)}^{n+1}$: its extension $-I$ on the ambient $(n+1)$-dimensional vector space has that determinant sign and respects the outward-normal convention. A holomorphic map $z\mapsto z^k$, $k\ge 1$, on the Riemann sphere has degree $k$, whereas its complex conjugate has degree $-k$. These examples show how orientation, rather than simply the number of inverse images, determines the integer.

For maps $S^n\to S^n$, topological degree gives the complete homotopy classification ${\pi }_n(S^n)\cong \mathbb{Z}$. The degree does not classify general manifold maps: the identity of the torus and the map induced by the integer matrix $\left(\begin{array}{cc}1& 1\\ 0& 1\end{array}\right)$ both have degree one, but have different induced maps on $H_1(T^2;\mathbb{Z})$ and so are not homotopic. A nonzero-degree map $S^n\to S^n$ cannot extend continuously to $B^{n+1}$, because such an extension would make the boundary map null-homotopic. In the smooth setting, Stokes theorem gives the same obstruction by applying it to the pulled-back normalized volume form.

The hypotheses can be adjusted, but must be stated. For connected oriented noncompact manifolds, a proper map has a degree defined using compactly supported top-forms, and it is invariant under proper homotopies. For manifolds with boundary one uses relative fundamental classes and maps of pairs, or fixes appropriate boundary conditions. Without an integral orientation one can still count inverse images modulo two, obtaining a mod-two degree. The integer integral formula used below assumes the oriented setting.

In classical field theory, these ideas turn continuous fields into quantized topological charges. Suppose a field on ${\mathbb{R}}^d$ approaches one fixed target value at spatial infinity. The one-point compactification makes it a map $\varphi :S^d\to \mathcal{V}$. When the target $\mathcal{V}$ is an oriented closed $d$-manifold, its topological degree labels topological sectors. More generally the sectors are described by homotopy groups; an integer degree is available only when the domain and target have the appropriate dimensions and orientations. Smooth time evolution preserving the boundary condition is a homotopy, so it cannot change the integer. A change requires a singular field, escape from the allowed target, or a change at the boundary.

A normalized closed target $d$-form gives the pullback-volume representation of a topological current. On spacetime, put $\alpha ={\varphi }^{\ast }\omega$. Since $d\alpha ={\varphi }^{\ast }(d\omega )=0$, its dual current is identically conserved, andis independent of time when there is no flux at infinity. This conservation law follows from geometry without using the field equations; it need not arise from a continuous symmetry through Noether theorem.

A concrete example is the O3 nonlinear sigma model in two spatial dimensions. Its unit-vector field $\mathbf{n}$ approaches a constant at infinity, defining $S^2\to S^2$. The normalized area form of the target gives the degree charge of an O3 sigma-model lump:For the energy normalization $E=\frac{1}{2}\int (|{\partial }_1\mathbf{n}{|}^2+|{\partial }_2\mathbf{n}{|}^2)$, the identities $\mathbf{n}\cdot {\partial }_i\mathbf{n}=0$ giveThis is the Bogomolny degree bound for the O3 sigma model. Choosing the sign appropriate to $Q$ makes the square nonnegative; vanishing of the square gives first-order Bogomolny equations and a sigma-model lump saturating the bound. With the oriented stereographic projectionthe maps $w=z^k$ have $Q=k$ and $E=4\pi k$. Their conjugates have $Q=-k$ with the same energy. Holomorphic rational maps have positive degree equal to their degree as rational maps; taking a reciprocal does not reverse the orientation. Antiholomorphic dependence reverses it.

The Skyrme model supplies a three-dimensional example. A field $U:{\mathbb{R}}^3\to \mathrm{SU}(2)$ with $U\to I$ at infinity is a map $S^3\to \mathrm{SU}(2)\cong S^3$. Take $T_i=-i{\tau }_i$ and $U^{-1}dU={\theta }^i{T}_i$, with ${\theta }^1\wedge {\theta }^2\wedge {\theta }^3$ positive. Since $\mathrm{tr}(T_i{T}_j{T}_k)=-2{ϵ}_{ijk}$, the normalized target volume form isThe integral is one on the unit three-sphere. Consequently the Skyrme baryon number as a mapping degree isThis is the topological baryon number in the Skyrme model; the sign has been fixed by the stated orientation and anti-Hermitian generator convention.

A topological charge alone does not guarantee a stable finite-size solution. The degree and energetic stability of a field configuration concern different properties. For a three-dimensional configuration of size $R$, the two-derivative energy scales as $R$, so it can decrease by shrinking while the topological degree remains fixed for every $R>0$. The limit can be singular. The Skyrme term, with four derivatives, scales as $R^{-1}$ and can balance the shrinking tendency. This is the role of Derrick theorem in distinguishing topological obstruction from energetic stability.

For defects, the relevant boundary map can instead be the sphere surrounding a core. A vacuum manifold equal to $S^1$ gives the integer winding number of a vortex; a vacuum manifold $S^2$ gives the degree of a surrounding $S^2$ for a magnetic monopole. This vacuum-boundary degree as a defect charge obstructs extending the normalized vacuum field through the enclosed ball. A nonzero integer therefore forces the field to leave the vacuum manifold somewhere in the core. This construction does not require the field to take one constant value in every direction at infinity.

Degree also appears in four-dimensional gauge theory through a boundary transition function. For an anti-Hermitian SU(2) gauge connection on ${\mathbb{R}}^4$, write $F=dA+A\wedge A$ and assume finite-action boundary behavior $A\to g^{-1}dg$ on the large bounding three-sphere. In the second-Chern conventionthe identity $d\mathrm{tr}(A\wedge dA+\frac{2}{3}{A}^3)=\mathrm{tr}(F\wedge F)$ and the Maurer-Cartan equation giveThis boundary winding representation of Yang-Mills topological charge relates the Second Chern number to the degree of $g:S^3\to \mathrm{SU}(2)$. The Chern-Simons 3-form turns the bulk integral into the boundary winding integral. Conventions which define the instanton number with the opposite trace sign reverse $k$; the integer quantization is unchanged. A Yang-Mills theta term weights a sector by $e^{i\vartheta k}$, giving periodicity $\vartheta \mapsto \vartheta +2\pi$. Thus the same topological degree that counts oriented inverse images also labels field sectors and expresses their quantized charges as integrals of local densities.