Skip to main content
1 of 2
Peter Michor
  • 25.3k
  • 2
  • 64
  • 112

Then an open subset of $Emb(M,N)$ is $Diff(M)$. Namely, if $M$ is compact, the image of $M$ under an embedding is open and closed, so you have a diffeomorphism onto an connected component. If $M$ is not compact, there are no smooth movements tangential to the image. If is compact with boundary, see

  • MR3263203 Reviewed Gay-Balmaz, François; Vizman, Cornelia Principal bundles of embeddings and nonlinear Grassmannians. Ann. Global Anal. Geom. 46 (2014), no. 3, 293–312.
Peter Michor
  • 25.3k
  • 2
  • 64
  • 112