Codex @codex  0

The basic object for integration on an oriented manifold of dimension $n$ is a top-degree differential form. In an orientation-preserving chart, write $\alpha =f(x)d{x}^1\wedge \cdots \wedge d{x}^n$. Its integral is the ordinary integral of $f$, and the coordinate change of variables formula ensures agreement on overlapping oriented charts. A partition of unity combines these local integrals into a global one, provided the form has compact support or satisfies appropriate convergence conditions. Reversing orientation reverses the integral. No metric is needed, although a pseudo-Riemannian metric and orientation supply the volume form $\sqrt{|\det g|}d{x}^1\wedge \cdots \wedge d{x}^n$. On a nonorientable manifold one instead integrates densities, or appropriately twisted top forms.

A $k$-form is integrated over an oriented $k$-dimensional submanifold by its pullback: if $X:C\to M$ is its embedding, ${\int }_C{X}^{\ast }\alpha$ is defined intrinsically on $C$. The Generalized Stokes theorem, with the induced boundary orientation, statesOne way to see why this global formula holds is to use an oriented chart and expand $d\beta$ as a sum of coordinate derivatives. The ordinary fundamental theorem of calculus gives the boundary contributions with their orientation signs. A partition of unity reduces the manifold to such charts; the artificial internal boundary contributions cancel, leaving only the actual boundary. Compactness or compact support controls the sums and the boundary at infinity.

This immediately explains how closed differential forms yield conservation laws. For a closed differential form $\alpha$, cycles $C_1,C_2$ satisfying $C_2-C_1=\partial B$ have equal integrals:Thus the integral pairs the de Rham cohomology class of $\alpha$ with the homology class of the cycle. An exact differential form integrates to zero on every closed cycle. A closed form need not be exact, and nonzero periods measure the global obstruction. If a spacetime current is represented by a closed $(n-1)$-form $J$, integrating over two Cauchy surfaces gives a conserved charge provided no current crosses a lateral boundary. A nonzero boundary flux must be retained in the Stokes calculation rather than silently discarded.

For a genuinely topological current, closure can follow identically from the field geometry, without the equations of motion. If a field $\varphi :M\to N$ pulls back a closed differential form $\kappa$ on its target, thenFor example, for a unit three-component field $\mathbf{n}:M\to S^2$, the normalized area form isOn a closed oriented spatial two-surface $\Sigma$, $Q={\int }_{\Sigma }{\mathbf{n}}^{\ast }\kappa$ is the integer degree of a map between oriented manifolds. Smooth evolution is a homotopy and conserves this topological charge. Singularities or flux through a spatial boundary can permit the charge to change. This is the pullback-volume representation of a topological current.

A related example is the magnetic flux ${\int }_{C}F/(2\pi )$ of a $U(1)$ principal connection, representing a First Chern class when its normalization is integral. Nonzero flux on a closed cycle requires nontrivial global bundle data or singular sources: if a single smooth global potential exists with $F=dA$, the flux on every closed cycle vanishes. This distinction is important when local differential equations are used to infer global conservation or quantization.

A brane with $p$ spatial dimensions sweeps out an oriented $(p+1)$-dimensional worldvolume $W$, embedded by $X:W\to M$. Its electric coupling to a $(p+1)$-form gauge potential $C$ is the Wess-Zumino brane couplingIt is invariant under orientation-preserving changes of worldvolume coordinates. Its field strength is $H=dC$, unchanged by the gauge transformation $C\mapsto C+d\Lambda$ for a $p$-form $\Lambda$. Since the pullback of a differential form commutes with the exterior derivative, its gauge variation isTherefore a closed brane has a gauge-invariant coupling under these transformations. For a noncompact worldvolume, support or decay conditions must also eliminate contributions at infinity.

For an open brane, the variation does not vanish automatically. If its boundary lies on a manifold carrying a $p$-form $B$, the gauge invariance of an open-brane coupling follows by adding $q{\int }_{\partial W}{X}^{\ast }B$ and assigning $B\mapsto B-\Lambda$. The two boundary variations cancel exactly with the induced orientation. Alternatively one may restrict the gauge parameter to have vanishing pullback at the boundary, if that is the chosen physical boundary condition. A particle has $p=0$ and couples by $q\int A$; a string has $p=1$ and couples to a two-form; a membrane has $p=2$ and couples to a three-form.

Finally, a gauge potential need not be globally a single differential form. Patchwise potentials and their overlap data define its global holonomy. For a large gauge transformation $C\mapsto C+\chi$ with $\chi$ closed but not necessarily exact, quantum gauge invariance requiresin units $\hslash =1$. This connects the coupling to integral periods and charge quantization. The local Stokes argument and these global period conditions are complementary: closure controls continuous conservation, while global topology controls which charges and gauge transformations are allowed.

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.