All continuous maps $f:M\to S^1$ are null-homotopic, is $M$ simply connected

algebraic-topologyfundamental-groupsmanifolds

Suppose that $M$ is a connected topological manifold so that $M$ is path connected, locally path connected and locally connected. Suppose we know that for all continuous maps $f:M\to S^1$ we know that $f_*:\pi_1(M)\to \pi_1(S^1)$ is the trivial map. I have shown that this is equivalent to all continuous functions $f:M\to S^1$ being null-homotopic. Is it possible that this also implies that $M$ is simply connected?

If $M$ is simply connected, then $\pi_1(M) = 0$ implies that $f_* = 0$ for all continuous $f$. But it is not clear to me that a converse should hold. That is $f_* = 0$ for all continuous functions $f:M\to S^1$ implies that $\pi_1(M) = 0$.

Best Answer

Here's a method for basically constructing all counterexamples.

A continuous map $f : M \to S^1$ is homotopic to a constant if and only if the induced fundamental group homomorphism $f_* : \pi_1(M) \to \pi_1(S^1) \approx \mathbb Z$ is trivial. Furthermore, every homomorphism $\pi_1(M) \to \pi_1(S^1)$ is the induced homomorphism of a continuous function $M \to S^1$. These two facts are guaranteed by applying the fact that $S^1$ has contractible universal cover; in other words, $S^1$ is an Eilenberg-MacClane space, specifically $S^1=K(\mathbb Z,1)$.

It follows that $M$ satisfies the property

All continuous maps $M \mapsto S^1$ are homotopic to a constant

if and only if every homomorphism $\pi_1(M) \to \mathbb Z$ is trivial, which holds if and only if every homomorphism $H_1(M) \to \mathbb Z$ is trivial. Assuming in addition that $M$ is compact --- and hence $H_1(M)$ is a finitely generated abelian group --- this holds if and only if $H_1(M)$ is finite.

But, there are lots of finitely generated groups with nontrivial, finite abelianization, and each of them can be realized as the fundamental group $\pi_1(M)$ of some compact manifold $M$, in which case $\text{ab}(\pi_1(M)) \approx H_1(M)$ has no homomorphisms to $\mathbb Z$. And yet in this case $\pi_1(M)$ is nontrivial, so $M$ is not simply connected.