Degree of a map between oriented manifolds ($\mathrm{deg}f$)

For a map $f:M\to N$ between closed connected oriented $d$-manifolds, its degree is the integer determined by $f_{\ast }[M]=(\mathrm{deg}f)[N]$ in top-dimensional homology.

Let $M,N$ be closed connected oriented manifolds of the same dimension, and suppose $a^r$ generates the top integral cohomology of $N$. If every class of degree $|a|$ on $M$ has zero rth cup power, every continuous map $f:M\to N$ has mapping degree zero. Indeed, $f^{\ast }(a^r)=(f^{\ast }a{)}^r=0$, and evaluation on the fundamental class gives $\mathrm{deg}f=0$. For $S^2\times S^4\to {\mathbb{CP}}^3$, the degree-two class is a multiple of the sphere class $u$, whose square vanishes.

For $k>0$, an epimorphism ${\pi }_1({\Sigma }_2)\to \mathbb{Z}/k$ gives a connected $k$-sheeted cover. Its Euler characteristic is $-2k$, hence its genus is $k+1$, and the lifted orientation gives degree $k$. For negative $k$ compose the $|k|$-sheeted cover with an orientation-reversing homeomorphism of the target. For $k=0$ take a constant map from the torus.

Choose an oriented embedded closed disc in a closed oriented positive-dimensional manifold and collapse its complement to a point. A target point away from the collapsed value has one preimage with local degree $+1$, proving global degree one by the degree as a sum of local degrees.

On the unit two-sphere this formula maps onto the torus: every torus point has arguments corresponding to $x,y\in [-1/2,1/2]$, and $x^2+y^2\le 1/2$ leaves a real $z$ on the sphere. Scaling both arguments continuously to zero is a null-homotopy, so the degree is zero. Surjectivity alone does not force nonzero degree.

For maps of oriented connected closed manifolds of the same dimension, apply functoriality of homology to $f_{\ast }[M]=(\mathrm{deg}f)[N]$ and $g_{\ast }[N]=(\mathrm{deg}g)[L]$. The composite coefficient is their product. This recovers the multiplication of signed sheet counts for compositions of finite covering maps.

For maps between oriented connected closed manifolds of the same dimension, a homotopy induces equal maps on top-dimensional homology, hence equal coefficients on the fundamental class. For smooth maps and a smooth homotopy, the degree by integration of a pullback volume form gives another proof: the Generalized Stokes theorem on the homotopy cylinder makes the difference of endpoint pullback integrals zero because the target top form is closed. This is an obstruction to extending a degree-one sphere identity over a ball.

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.

For a smooth map $f:M\to N$ between oriented connected closed manifolds of the same dimension, a normalized volume form on the target gives $\mathrm{deg}f={\int }_M{f}^{\ast }\omega$. The formula agrees with the degree as a sum of local degrees. A change of normalized top-form adds an exact form by top-dimensional de Rham cohomology, whose pullback has zero integral by Stokes theorem.

For a smooth map between oriented unit spheres, integrate the pullback of the target area form. Localizing a normalized top-degree form near a regular value, and using Stokes theorem to discard exact-form differences, identifies this integral with the degree as a sum of local degrees.

A degree of a map between oriented manifolds equal to one makes the pullback on degree-one cohomology injective by the Poincare duality pairing. Thus a degree-one map of closed oriented surfaces requires $2h\le 2g$. Conversely, collapse the extra handles in ${\Sigma }_h\#{\Sigma }_{g-h}$ onto a point. The retained oriented disc shows that this map has degree one.

If $S^n\to N$ has prime degree $p$ and $N$ is a closed connected oriented $n$-manifold, every integral homology group of $N$ in degrees strictly between zero and $n$ is a finite $p$-primary abelian group. Consequently one power of $p$ annihilates all these groups. The proof combines Poincare duality over each field ${\mathbb{F}}_q$, $q\ne p$, with the universal coefficient theorem for homology and finite generation.

For $n\ge 2$, a self-map of $S^n$ factoring through Real projective space ${\mathbb{RP}}^n$ has degree zero when $n$ is even, and can have exactly the even degrees when $n$ is odd. In the odd case the first map lifts through the double covering and the covering has degree two. The dimension-one exception allows every integer, since ${\mathbb{RP}}^1\cong S^1$.