Degree Theory for Maps of Spheres

Core Idea

The degree of a continuous map f : Sⁿ -> Sⁿ is the integer d such that the induced map f_* : H_n(Sⁿ) -> H_n(Sⁿ) sends the generator [Sⁿ] to d[Sⁿ]. Since H_n(Sⁿ) = Z, f_* is determined by this single integer. The degree classifies maps of spheres up to homotopy (two maps are homotopic if and only if they have the same degree), satisfies deg(g compose f) = deg(g) * deg(f), and has powerful consequences: the antipodal map has degree (-1)ⁿ⁺¹, reflections have degree -1, and maps with nonzero degree are surjective.

Explainer

Degree theory assigns an integer to every continuous map f : Sⁿ -> Sⁿ, measuring "how many times f wraps the sphere around itself." Since H_n(Sⁿ) = Z with generator [Sⁿ] (the fundamental class), the induced homomorphism f_* : H_n(Sⁿ) -> H_n(Sⁿ) is multiplication by some integer d. This integer is the degree of f, denoted deg(f). It generalizes the classical winding number (for n = 1) to all dimensions and is the most important single invariant of maps between spheres.

The degree has a clean set of properties. Functoriality gives deg(g compose f) = deg(g) * deg(f). The identity has degree 1, and constant maps have degree 0. A reflection (negating one coordinate in Rⁿ⁺¹) has degree -1, since it reverses the orientation of Sⁿ. The antipodal map a(x) = -x is the composition of (n+1) reflections (one for each coordinate), so deg(a) = (-1)ⁿ⁺¹. This means the antipodal map is homotopic to the identity when n is odd and has degree -1 when n is even — a key fact underlying the Borsuk-Ulam theorem and the nonexistence of nowhere-vanishing vector fields on even-dimensional spheres.

The Hopf degree theorem states that two maps f, g : Sⁿ -> Sⁿ are homotopic if and only if deg(f) = deg(g). In other words, the degree is a complete homotopy invariant for self-maps of spheres. Combined with the Hurewicz theorem (pi_n(Sⁿ) = H_n(Sⁿ) = Z), this means the homotopy classes of maps Sⁿ -> Sⁿ are in bijection with the integers, with the degree providing the bijection. Every integer occurs as the degree of some map (e.g., the map z -> z^d on S¹, or its higher-dimensional analogues), so [Sⁿ, Sⁿ] = Z.

Degree theory has far-reaching applications. A map with nonzero degree is surjective (it must hit every point of the target sphere with nonzero algebraic multiplicity). This is the key observation in the Brouwer fixed point theorem: if f : Dⁿ -> Dⁿ had no fixed point, we could construct a map S^n-1 -> S^n-1 of degree 1 that is also a retraction, contradicting degree properties. The hairy ball theorem (no nowhere-vanishing continuous tangent vector field on S^2k) follows from degree theory: such a vector field would give a homotopy from the identity to the antipodal map, but these have different degrees (1 versus -1) on even-dimensional spheres. The Borsuk-Ulam theorem and the computation of the Lefschetz number also rely on degree theory as their foundation.

For smooth maps, the degree has an alternative differential-topological characterization: deg(f) = sum of signs of the Jacobian determinant at preimages of a regular value. This connects the homological degree to the analytical notion of local orientation-preserving or orientation-reversing behavior. A map that wraps Sⁿ around Sⁿ d times, covering the target with the same orientation everywhere, has degree d. A map that covers the target with both orientations has degree equal to the algebraic sum. This geometric picture makes the degree intuitive: it counts "signed wrapping."