Welcome to MathOverflow

Question

3

2

If $f$ is an orientation-preserving diffeomorphism of $\mathbb R^n$ and $K$ is a compact set in $\mathbb R^n$, can we find another diffeomorphism $\tilde f$ of $\mathbb R^n$ such that:

(1)$f=\tilde f$ on a neighborhood of $K$. (2)There is a bounded set $V$ and $\tilde f=id$ outside $V$?

flag	asked Apr 28 2012 at 9:12 Adterram 299●1●6

1

For reference: math.stackexchange.com/q/137892/264 – Zev Chonoles Apr 28 2012 at 9:25

Alberto Abbondandolo · Accepted Answer · 2012-04-28 10:16:02Z UTC

18

Yes. You may use the fact that f is isotopic to the identity to see it as the time-1 flow of a time-dependent vector field. Then you just have to modify the vector field so that it vanishes outside from a large ball.

answered Apr 28 2012 at 10:16

Alberto Abbondandolo
697●3●10

2

It took me some time to decode your answer; you should not be that cryptic. Do you know if this proof is written somewhere? – Anton Petrunin Apr 28 2012 at 22:50

To Anton. You are right, this is my first answer on MO and I still have to get familiar with its style. I should have added at least 2 things: 1) The fact that every orientation preserving diffeomorphism of $\mathbb{R}^n$ is isotopic to the identity is proved in Milnor, "Topology from the differentiable viewpoint", Chapter 6, Lemma 2. 2) The desired diffeomorphism is obtained by integrating up to time 1 the modified vector field. – Alberto Abbondandolo Apr 29 2012 at 8:15

And no, I don't know a precise reference. But the statement of Palais which Igor cites in his answer is strongly related. – Alberto Abbondandolo Apr 29 2012 at 8:21

Igor Rivin · Answer 2 · 2012-04-29 00:10:41Z UTC

2

I believe that the result is actually Theorem 5.5 in R. S. Palais, Natural operations on differential forms, Trans. Amer. Math. Soc. vol. 92 (1959) pp. 125-141, after a bit of massaging.

answered Apr 29 2012 at 0:10

Igor Rivin
31.1k●3●37●71

The orientation-preserving diffeomorphism of $\mathbb R^n$

Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

2 Answers

You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.