Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

I am interested in slight variations of the usual isotopy extension theorems.

In short, my question is the following : Can one extend isotopies of $C \subseteq M$, where $C$ is compact and $M$ is a manifold with boundary ?

Now to the details. The usual reference for these is the book Differential Topology by Hirsch, where I found the following theorems :

1.3 Let $V \subseteq M$ be a compact submanifold and $F:V \times I \rightarrow M$ an isotopy of $V$. If either $F(V \times I) \subseteq \partial M$ or $F(V \times I) \subseteq M \setminus \partial M$, then $F$ extends to a diffeotopy with compact support.

1.4 Let $U \subseteq M$ be an open set and $A \subseteq U$ a compact set. Let $F: U\times I \rightarrow M$ be an isotopy of $U$ such that $\widehat{F}(U \times I) \subseteq M \times I$ is open. Then there is a diffeotopy of $M$ having compact support, which agrees with $F$ on a neighborhood of $A \times I$.

I am quite confused by both the statements and the proofs. Here are my questions :

  • Is the 'submanifold' hypothesis in Theorem 1.3 really needed, or can one relax it to any compact set ? More specifically, I am looking to apply it to a graph embedded on a surface, is there any obstruction against it ? I took a close look at the proof and did not see any trouble with that, but I'm puzzled since every reference I found seems to include this hypothesis as well.

  • A way to obtain the result for any compact set would be to take an open tubular neighborhood and apply Theorem 1.4, but does it hold that any isotopy of a compact set extends to its open tubular neighborhood ? This seems obvious but I cannot find a straightforward proof.

  • Does Theorem 1.4 hold for manifolds with boundary ? Looking at the proof, Hirsch does not seem to take the precautions he took in Theorem 1.3 to avoid getting an 'isotopy' that moves the boundary to the interior of the manifold. More generally, both results emane from Theorem 1.1 which does not seem to hold for manifolds with boundaries (but nothing is explicitly written), because integrating a vector field with vectors on the boundary pointing towards the interior does not give a homeomorphism; so I am a bit worried.

  • And a last question, a bit disconnected from the others : These proofs use vector fields, and as such we need smooth isotopies. If two sets included on a surface (say for instance graphs) are isotopic, are they smoothly isotopic ? The usual way to tackle these problems is to use a Theorem by Munkres stating that homeomorphisms of a surface are homotopic to diffeomorphisms, but it does not seem to do the job here..?

Thanks for any hint/answer !

share|improve this question
Hmm, this does not seem to attract much interest around here, so I am thinking about cross-posting it to MathOverflow. Is there a rule against it ? Or does anyone think it would be a bad fit there ? –  Arnaud Aug 29 '12 at 8:41
I think it would be fine to post this question on MO. However, I would suggest that you wait a few more days before posting it over there (not all those who have the expertise to answer might have seen it, yet). If you do post on MO please provide links back and forth, so as to avoid duplication of efforts. Another suggestion: your question is a bit on the longer side, maybe it would be more likely to attract answers if it were a bit shorter: maybe you could break it up into several smaller pieces? Be that as it may: welcome to the site and good luck with your question(s)! –  t.b. Aug 29 '12 at 12:34
There are no strict rules but see this meta.MO thread for example. –  t.b. Aug 29 '12 at 12:51
Thanks for the advice ! I will wait a few more days and rephrase it so that it is more succinct and gets to the point more clearly. –  Arnaud Aug 29 '12 at 13:58

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.