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

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.

Then 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?

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?

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.

Then 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?

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?

Source Link
cr1t1cal
  • 755
  • 4
  • 9

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.

Then 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?