Algebraic Topology – Computing the Degree of a Map

algebraic-topology

For some $m \in \mathbb{Z}$, consider the map $$f: S^1 \rightarrow S^1: (\cos 2\pi t, \sin 2 \pi t) \mapsto (\cos 2\pi m t, \sin 2 \pi m t).$$

I want to compute the degree of $f$. My intuition tells me that it should be simply $m$, and that it can be solved with the Mayer-Vietoris sequence. However, I am struggling to find the solution.

For clarity the degree of a map $f: S^n \rightarrow S^n$ is defined as the integer $k$ such that the homomorphism induced on $H_n (S^n)$ induced by $f$ acts on generators $\alpha$ of $H_n (S^n)$ like $$f_*(\alpha) = m \alpha.$$

Best Answer

You said that you are working with Vick's "Homology Theory". In Chapter 1 he introduces singular homology theory and studies its properties.

In the example on p. 22 / 23 he proves that $H_1(S^1) \approx \mathbb Z$ and shows that the $1$-cycle $c + d$ with singular $1$-simplices $c , d : \sigma_1 \to S^1$ as depicted in Fig. 1.6 represents a generator $\omega$ of this group.

For the sake of convenience let $h : I = [0,1] \to \sigma_1, h(t) = (1-t)(1,0) + t(0,1)$, denote the obvious homeomorphism and let $$\bar c : I \to S^1, \bar c(t) = e^{\pi i t}, \\\bar d : I \to S^1, \bar d(t) = e^{\pi i t + \pi} .$$ Then $c = \bar c \circ h^{-1}, d = \bar d \circ h^{-1}$. Note that we regard $S^1$ as the subset of $\mathbb C$ consisting of all $z$ with $\lvert z \rvert = 1$.

Let us next prove the following

Lemma. Let $\bar u , \bar v : I \to X$ be two paths in a space $X$ such that $u(1) = v(0)$ and $$\bar w = \bar u * \bar v : I \to X, t \mapsto \begin{cases} \bar u(2t) & t \le 1/2 \\ \bar v(2t-1) & t \ge 1/2 \end{cases}$$ be the concatenated path. Let $u = \bar u \circ h^{-1}, v = \bar v \circ h^{-1}, w = \bar w \circ h^{-1}$ be the associated singular $1$-simplices. Then the $1$-chain $u + v - w$ (which is actually a $1$-cycle) is the boundary of a singular $2$-simplex in $X$.

Proof. The idea is this: Consider the standard $2$-simplex $\sigma_2$ with vertices $v_0 = (1,0,0), v_1 = (0,1,0), v_2 = (0,0,1)$. Map the line segment $[v_0,v_1]$ by $u$ to $X$, $[v_1,v_2]$ by $v$ to $X$ and $[v_0,v_2]$ by $w$ to $X$. You get a map from the boundary of $\sigma_2$ to $X$. It is easy to see that this map extends to $\sigma_2$ which proves the lemma.

The lemma shows that the $1$-cycles $c + d$ and $e = \bar e \circ h^{-1}$ with

$$\bar e : I \to S^1, \bar e(t) = e^{2\pi i t}$$ represent the same element in $H_1(S^1)$. Actually both represent the generator $\omega$.

For $k = 1, \ldots, m$ define paths $$\bar p_k : I \to S^1, \bar p_k(t) = e^{\frac{2\pi }{m} i t + \frac{2\pi (k-1)}{m} i} .$$

The induced singular $1$-simplices $p_k = \bar p_k \circ h^{-1}$ give a $1$-cycle

$$\gamma = p_1 + \ldots + p_m .$$

Applying the lemma inductively, we see that $\gamma$ and $e$ represent the same element in $H_1(S^1)$.

Using complex numbers, the map $f$ is given by $$f(z) = z^m .$$ We have $$f_*(\gamma) = f \circ p_1 + \ldots + f \circ p_m.$$ An easy computation shows that $$f \circ p_k = e, $$ thus $$f_*(\gamma) = me .$$ Going to homology we get $$f_*(\omega) = f_*([\gamma]) = [f_*(\gamma)] = [me] = m[e] = m\omega .$$ This shows that $f$ has degree $m$.

Related Question