Skip to main content
1 of 2
Tyrone
  • 5.6k
  • 1
  • 29
  • 50

Let $X$ be a compact topological manifold. Since $\mathcal{H}(X)$ is a separable metric space and $S^n$ is compact, the mapping space $C(S^n,\mathcal{H}(X))$ in the compact-open topology is also a separable metric space.

Since $\mathcal{H}(X)$ is locally contractible topological group [Cer], it is locally equiconnected [Fox]. Since $S^n$ is compact Hausdorff, the space $C(S^n,\mathcal{H}(X))$ is also locally equiconnected [Mil, Le.3].

Now consider the evaluation fibration sequence $$ C_*(S^n,\mathcal{H}(X))\rightarrow C(S^n,\mathcal{H}(X))\xrightarrow{ev}\mathcal{H}(X). $$

Theorem (Heath [Hea]) If $p:E\rightarrow B$ is a Hurewicz fibration and $E,B$ are locally equiconnected metric spaces, then for any $x\in B$, the fibre $p^{-1}(x)$ is locally equiconnected. $\qquad\blacksquare$

It follows that $C_*(S^n,\mathcal{H}(X))$ is locally equiconnected and hence locally contractible. Thus $C_*(S^n,\mathcal{H}(X))$ has open path components. Since it is a separable metric space, it has at most countably many path components. Thus we have:

Proposition If $X$ is a compact manifold, then for any $n\geq$ the group $\pi_n(\mathcal{H}(X))\cong\pi_0(C_*(S^n,\mathcal{H}(X)))$ is countable. $\qquad\blacksquare$

References

[Cer] A. Černavskii, Local contractibility of the group of homeomorphisms of a manifold, (Russian) Mat. Sb. (N.S.) 79 (121) (1969), 307-356.

[Fox] R. Fox, On fibre spaces. II, Bulletin of the American Mathematical Society. 49 (1943), 733–735.

[Hea] P. Heath, A Pullback Theorem for Locally-Equiconnected Spaces, Man. Math 55 (1986), 233-238.

[Mil] J. Milnor, On spaces having the homotopy type of a CW complex, Trans. Amer. Math. Soc. 90 (1959), 272-280.

Tyrone
  • 5.6k
  • 1
  • 29
  • 50