4

Suppose that $\pi_1(X)$ is a finite group. Show that any map $f:X \to S^1$ is nullhomotopic.

My attempt: Since $\pi_1(X)$ is finite and $\pi_1(S^1)=\mathbb{Z}$ torsion-free, then the induced homomorphism $f_*: \pi_1(X) \to \pi_1(S^1)$ has to be trivial. Therefore it is homotopic to a constant map and hence by definition nullhomotopic.

Is my reasoning correct? I have seen the solution to this problem using the covering spaces, lifting $f$ to $\mathbb{R}$ and then using the fact that $\mathbb{R}$ is contractible, but is this additional machinery really needed?

Dávid Natingga
  • 2,889
  • 2
  • 27
  • 41
  • 6
    You need a little more than the induced map on $\pi_1$ being trivial to conclude that a map is nullhomotopic. For instance, the identity map $S^2\rightarrow S^2$ induces the trivial map on $\pi_1$, but is not nullhomotopic. – J126 May 03 '13 at 15:49
  • 3
    Why do you know that if $f_*$ is trivial, it is homotopic to a constant? – Thomas Andrews May 03 '13 at 15:49
  • 2
    Think about the simply connected cover of $S^1$. – rondo9 May 03 '13 at 15:54

2 Answers2

3

Fancy: $\pi_1(X)$ finite implies $H_1(X)$ finite implies $0 = Hom(H_1(X), \mathbb Z) = H^1(X, \mathbb Z) = [X, K(\mathbb Z, 1)] = [X, S^1]$.

Justin Young
  • 3,452
2

The stated proof is not sufficient. Consider a case where the identity map $S^2 \to S^2$ induces the trivial map on $\pi_1$, but is not nullhomotopic.

Dávid Natingga
  • 2,889
  • 2
  • 27
  • 41