Skip to main content
edited tags
Link
Jarek Kędra
  • 1.8k
  • 11
  • 20
Source Link
Jarek Kędra
  • 1.8k
  • 11
  • 20

Homotopy equivalence of diffeomorphism groups

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$.