Let $M$ be a closed connected smooth manifold and let ${\rm Diff}^r(M)$ be the group of $C^r$-diffeomorphisms equipped with the compact-open $C^r$-topology. I am looking for a reference to the fact that the natural inclusion ${\rm Diff}^r(M)\to {\rm Diff}^1(M)$ is a homotopy equivalence for $1\leq r\leq \infty$.
Homotopy equivalence of diffeomorphism groups
Jarek Kędra
- 1.8k
- 11
- 20