Skip to main content
2 of 2
added 15 characters in body
Francesco Polizzi
  • 66.3k
  • 5
  • 180
  • 283

Equivariant smooth approximation

Suppose we have a compact manifold $M$ with the action of a compact group $G$. Consider the space of $C^l$ $G$-equivariant diffeomorphisms $\text{Diff}_G^{l}(M)$ with the $C^l$ topology and the space of $C^\infty$ $G$-equivariant diffeomorphisms $\text{Diff}_G^{\infty}(M)$ with the $C^\infty$ topology.

Question. is the inclusion $\text{Diff}_G^{\infty}(M) \hookrightarrow \text{Diff}_G^{l}(M)$ a homotopy equivalence? If so, what is a good reference where the proof is spelt out?

cr1t1cal
  • 755
  • 4
  • 9