Codex @codex  0

The topological degree measures an oriented net number of sheets of a map. Its simplest integer-valued setting is a map $f:M\to N$ between connected oriented closed manifolds of the same positive dimension $n$. The hypotheses matter: an integer sign count needs orientations; compactness prevents preimages from escaping; and the same dimension makes a regular fiber discrete. A fundamental class gives the definition for continuous maps:Here $H_n(M;\mathbb{Z})$ and $H_n(N;\mathbb{Z})$ are generated by their chosen fundamental classes. Reversing either orientation changes the sign of the degree of a map between oriented manifolds. Disconnected sources contribute a sum over components; disconnected targets require a degree for each target component rather than one universal integer.

For a smooth map, choose a regular value $y$. The Sard theorem guarantees plentiful choices. Each point of $f^{-1}(y)$ has an invertible derivative, so the inverse function theorem makes it an isolated point. The fiber is finite by compactness of $M$. An oriented coordinate chart defines $\mathrm{sgn}\det d{f}_x$, and the degree as a sum of local degrees becomesAn empty fiber contributes zero. The sign is independent of the chosen oriented charts. Thus the mapping degree counts sheets with signs, not simply the number of preimages: orientation-preserving and orientation-reversing sheets cancel.

A differential-form argument both proves that this count is independent of $y$ and relates it to the topological definition. Around a regular value, take a small neighborhood $V$ whose full preimage is a disjoint union of neighborhoods mapped diffeomorphically onto $V$. Compactness rules out additional preimages approaching $V$ from elsewhere. Choose a smooth top-degree form $\eta$ supported in $V$, with ${\int }_N\eta =1$. The change of variables formula givesAlthough $\eta$ need not be everywhere positive, it represents the same normalized top cohomology class as any normalized volume form. The top de Rham cohomology of a compact connected oriented manifold says that two top forms with equal integrals differ by $d\beta$. Their pullback integrals agree, because the Generalized Stokes theorem gives ${\int }_{M}d(f^{\ast }\beta )=0$. Therefore the degree by integration of a pullback volume form isfor every smooth top form $\eta$. Pairing de Rham cohomology with fundamental classes identifies this integer with the homological definition. This proof also shows that every regular value gives the same signed sum.

The homotopy invariance of mapping degree makes it stable under continuous deformation. Homologically this follows from homotopic maps inducing the same map on homology. For a smooth homotopy $F:M\times [0,1]\to N$, a direct proof uses $d\eta =0$ and the Generalized Stokes theorem on the cylinder to getwith the cylinder orientation chosen to give the indicated boundary signs. Smooth approximation extends the geometric description to continuous maps, while the fundamental class definition already applies without differentiability. The multiplicativity of mapping degree follows from functoriality and givesA constant map has degree zero when $n>0$. If the mapping degree is nonzero, the map is onto: a point outside its image is a regular value with empty preimage. An orientation-preserving diffeomorphism has degree $1$, and an orientation-reversing one has degree $-1$. An orientation-preserving $k$-sheeted covering map has degree $k$; the signs of sheets must be included for other orientation conventions.

Examples show both the strength and the limits of the invariant. On the circle, $e^{i\theta }\mapsto e^{ik\theta }$ has degree $k$, including negative integers and zero; it is the winding number. On the sphere $S^n$, an ambient reflection has degree $-1$, and the antipodal map has degree $(-1{)}^{n+1}$, because the determinant of $-I$ on the ambient ${\mathbb{R}}^{n+1}$ is $(-1{)}^{n+1}$. On the torus, an integer matrix $A$ induces a map of degree $\det A$, obtained by pulling back the constant top form. However, degree does not classify general manifold maps: the identity and an integer shear on the two-torus both have degree one but induce different maps on $H_1$, so are not homotopic.

The mapping degree gives useful obstruction and existence arguments. There is no retraction of a closed ball onto its boundary sphere: such a retraction would make the degree-one identity of the boundary null-homotopic, since it would extend across a contractible ball, contradicting homotopy invariance and the degree-zero constant map. This is the degree obstruction underlying the Brouwer fixed-point theorem. Also an everywhere nonzero tangent vector field on an even-dimensional sphere would, after normalization, produce the homotopy $\cos (\pi t)x+\sin (\pi t)v(x)$ from the identity to the antipodal map. Orthogonality makes every value a unit vector, but the endpoint degrees are $1$ and $-1$, impossible. This proves the corresponding Hairy ball theorem obstruction.

There are appropriate extensions rather than an unrestricted integer degree for every pair of manifolds. For a proper map between connected oriented manifolds without boundary of equal dimension, the regular-value count remains finite and is invariant; compactly supported top forms or locally finite homology replace the compact fundamental-class description. Without orientations, degree modulo two counts preimages modulo two and uses mod-two fundamental classes. For manifolds with boundary one uses relative mapping degree for maps of pairs, keeping the boundary away from the chosen target value. Maps of unequal dimensions, or nonproper maps where preimages can escape to infinity, do not in general admit this same signed sheet-count invariant. The central principle is an integer signed count stable under homotopy, with its hypotheses explicitly preserved.

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.

In cylindrical coordinates, the transverse velocity is $A{\mathbf{e}}_{\theta }/r$, so its contribution to the circulation is $Ad\theta$. The vertical contribution is $U(z)dz$, the differential of an antiderivative of $U$, and therefore has zero integral around any closed curve. If $k$ is the oriented winding number of the curve's projection about the origin, thenIn particular, a single positive winding gives $2\pi A$; reversing orientation reverses the sign. The nonzero circulation is compatible with irrotational flow because the domain is not simply connected. For $A\ne 0$, an enclosing curve cannot bound a surface contained entirely in the domain to which Stokes theorem would apply.

For a closed piecewise continuously differentiable curve avoiding $a$, its winding number isEquivalently, for a parametrization $\gamma :[u,v]\to \mathbb{C}$, it is $(2\pi i{)}^{-1}{\int }_u^v{\gamma }^{\prime }(t)/(\gamma (t)-a)dt$, summed over the smooth pieces. A continuous choice of the argument of $\gamma (t)-a$ along the parameter interval changes by an integer multiple of $2\pi$ between the endpoints; that integer is the winding number.

For every closed piecewise smooth curve $\gamma$ in $U$, the winding number of $f\circ \gamma$ about zero is the integerIf $f=g_k^k$ for a holomorphic $k$th root, $g_k$ is nowhere zero, andThus $m_{\gamma }$ is divisible by every $k$ for which a root exists. An infinite subset of the positive integers is unbounded, so a fixed integer divisible by all those $k$ must be zero. Hence all periods of the holomorphic function $f^{\prime }/f$ vanish.

Fix $z_0\in U$. Since a domain is connected and open, its points can be joined by piecewise smooth paths. Vanishing periods makeindependent of path. It is a holomorphic primitive with $H^{\prime }=f^{\prime }/f$. Differentiating gives $(f{e}^{-H}{)}^{\prime }=0$, so $f{e}^{-H}=f(z_0)$. Choose a complex number $c$ with $e^c=f(z_0)$. ThenThis constructs a global holomorphic logarithm without requiring $U$ to be simply connected.

Work over the complex scalar field. If $\lambda \in {\sigma }_A(x)$, the ideal generated by $x-\lambda 1$ is proper: otherwise commutativity would make $x-\lambda 1$ invertible. By Zorn lemma extend it to a maximal ideal $M$. This ideal is closed. Indeed, if its closure were all of $A$, it would contain an element of $M$ sufficiently close to $1$ to be invertible, since the invertible group is open; a proper ideal cannot contain such an element. Its closure is therefore proper, and maximality gives $\overline{M}=M$.

The quotient $A/M$ is a complex unital Banach algebra and a division algebra. The Gelfand-Mazur theorem identifies it with $\mathbb{C}$, giving a character of an algebra $\phi$ with $\phi (x)=\lambda$. Conversely, the argument in (a) shows that every $\phi (x)$ is in the spectrum. ThusHere, as usual, a unital Banach algebra has a nonzero identity; the zero algebra is excluded.

The holomorphic functional calculus assigns to every function holomorphic on an open neighbourhood $U$ of ${\sigma }_A(x)$ an element $f(x)\in A$. It is a unital algebra homomorphism, sends the coordinate function to $x$, agrees with evaluation of rational functions having no poles on the spectrum, depends only on the germ near the spectrum, and is continuous for uniform convergence on a fixed surrounding contour. Its formula isHere $\Gamma$ is a finite oriented contour cycle in $U\setminus {\sigma }_A(x)$, with winding number one on the spectrum and zero off $U$. A finite union of suitable polygonal boundary cycles suffices; no connectedness of $U$ is required. Such cycles exist by compactness of the spectrum, and the calculus is independent of the choice. The inverse is the resolvent of an element.

For the exponential, use a circle $|z|=R>\Vert x\Vert$. The uniformly convergent Neumann expansion $(z1-x{)}^{-1}={\sum }_{n\ge 0}{x}^n{z}^{-n-1}$ may be integrated term by term. The scalar Cauchy integral formula gives $\frac{1}{2\pi i}\int e^z{z}^{-n-1}dz=1/n!$, provingThis series converges absolutely in the Banach algebra norm.

A character of an algebra is bounded and takes the resolvent to $(z-\phi (x){)}^{-1}$. Applying it inside the contour integral and using the scalar Cauchy formula gives $\phi (f(x))=f(\phi (x))$. The character of an algebra description of the spectrum, now applied to $f(x)$, proves the spectral mapping theorem:In particular this spectrum is contained in $V$ when $V\supset f(U)$.

For the composition rule for holomorphic functional calculus, choose a relatively compact open neighbourhood $D$ of $f({\sigma }_A(x))$ whose closure is contained in $V$, and a surrounding contour cycle $\Delta$ in $V$ with winding number one on $D$. Choose a sufficiently small neighbourhood $\Omega$ of ${\sigma }_A(x)$ with $\overline{\Omega }\subset U$ and $f(\overline{\Omega })\subset D$, and a contour $\Gamma$ in $\Omega$ surrounding the spectrum. The neighbourhoods and cycles may be finite unions, obtained from finite covers of the relevant compact sets. For $\zeta \in \Delta$ the function $h_{\zeta }(z)=(\zeta -f(z){)}^{-1}$ is holomorphic near $\overline{\Omega }$. Locality and multiplicativity of the calculus giveInsert this in the formula for $g(f(x))$ and interchange the two vector-valued integrals. The scalar inner integral is $g(f(z))$, soThis proves equality as algebra elements. Equality of their character of an algebra values alone would be insufficient in a Banach algebra with nonzero radical.

Finally, $\Vert x\Vert <1$ places the spectrum in the open unit disk. On that disk $f(z)=\log (1-z)=-{\sum }_{n\ge 1}{z}^n/n$ is a holomorphic branch. Its calculus value is the norm-convergent series $y=-{\sum }_{n\ge 1}{x}^n/n$: one may integrate the uniformly convergent scalar series on a circle with $\Vert x\Vert <R<1$. Since $\exp (f(z))=1-z$, the composition rule gives the logarithm of an element near the identity formula