# Restrictions of Diffeomorphisms

Notation: Let$M$ be a smooth, closed manifold, $S$ any submanifold of $M$, $Diff(M)$ the group of diffeomorphisms of $M$ and $Imb(S, M)$ the group of smooth imbeddings of $S$ into $M$.

A classical result of R. Palais from the 1960 paper Local triviality of the restriction map for embeddings says that the map $Diff(M)$ $\rightarrow$ $Imb(S, M)$ given by restriction is a fibration.

I feel like I've heard during numerous teas that there are various refinements and generalizations of this due to J. Cerf and (possibly) others.

(1) Can anyone summarize what else is known in this direction beyond the theorem of Palais?

(2) Is there a way to see Palais' result easily? [added: from the responses it sounds like the original paper is still a great way to see this result. But see the answers of Randal-Williams and Palais for an alternate route.]

• My article, appeared in Commentarii Mathematici Helvetici with the title "Local triviality of the restriction map for embeddings". Elon Lima's article with a shorter proof of my main result has the same title with an "On" in front and appears in a later issue of the same journal. If you have a good feeling for basic differential topology the proof is quite natural and non-technical. I recall it originated in a discussion I had with Steve Smale. We decided that the restriction map should be a Serre fibration. I got interested in it and we were both surprised that it was locally trivial. – Dick Palais Sep 11 '10 at 15:56
• Thanks for the specific reference as well as the historical anecdote! – Romeo Sep 11 '10 at 17:01
• I apologise for the trivial question, but what is the group structure on $Imb(S,M)$ mentioned in the first sentence of the question? – Alex M. Apr 12 '14 at 7:58

Regarding your 2nd question, yes of course. Palais's paper is quite nice. If you haven't had a look at it, you might as well try -- it's only 7 pages long. If you want to discover the proof on your own I'd start with the case $S$ a finite set. Then move up to $S$ a positive-dimensional submanifold. You'll want to be comfortable with things like the proof of the tubular neighbourhood theorem, the concept of injectivity radius, etc.
This is closely related to (and can be proved by the same methods as) the fact that if we fix another manifold $N$ then the restriction map $$\mathrm{Emb}(M, N) \to \mathrm{Emb}(S, N)$$ is a locally trivial fibration, which was proved in the same paper by Palais. However, I wanted to advertise a geodesic proof of this fact: