For your first question, look at complements (a "fundamental" technique in analyzing ambient isotopies/ambient homeomorphisms; e.g. the "knot group"):
Let the union of the initial two spheres be S, and the union of the final two spheres be T. An isotopy on mathbbR3 taking S to T in particular ends with a homeomorphism from mathbbR3 to itself taking S to T, hence producing a homeomorphism from U=mathbbR3setminusS to V=mathbbR3setminusT. But U has only one of its three connected components contractible (the inside of the inner sphere), whereas V has two of its three components contractible (the insides of the two spheres), a contradicting that they be homeomorphic.
Big(One way to prove the other components are not contractible is that they have non-trivial second homotopy and homology groups, as exhibited by the elements represented by the spheres themselves.Big)
For your third (and second) question, in generality, here's an argument that there is no embedding from M=Sn−1timesI to mathbbRn with boundary ambient isotopic to the "side-by-side" embedding of
S0sqcupS1. By any letter S I denote a copy of Sn−1. For comfort of the imagination, think n=2:
(1) Up to ambient isotopy, there are only three embeddings of S0sqcupS1 in mathbbRn : the "avocado+ type" embeddings A+ with S0 inside S1, the "avocado− type" embeddings A− with S1 inside S0, and the "side-by-side type" embeddings B with S0 and S1 "next to" each other.
Big(That they fall into these three types is just a case analysis; that any two embeddings in the same "type" are ambient isotopic is also easy: (a) first translate and dilate until the S1 embeddings match up, and then being in the same case means the two S′2s are embedding in the same component of the compliment of S1, so (b) you can move them around in that component until they match up, too.Big)
(2) Apm are not ambient isotopic to B, by counting contractible components of their complements, as in the answer to your first question: Apm has one, B has two.
(3) An embedding from M=StimesI to Rn cannot have partialM=B up to ambient isotopy.
Big( Why? Here's one proof, which I found kind of fun: Suppose partialM=B, i.e. is in the "side-by-side" arrangement. Since M is connected, int(M)=MsetminuspartialM must lie outside both spheres of partialM, since if it lies inside one, it can't touch the other. Let x be the center of of the S1 component of partialM. Now M is compact, so it has a point p which is of maximal distance from x. Such a p must be a boundary point of
M, since at an interior point, we could move slightly in a direction away from x and stay inside M. But p can't be on S1 or S2 either, since their outer sides are "padded" by the open set int(M)... this a Euclidean geometry argument which I'll stop rigorizing here. So p is nowhere, a contradiction.Big)
(4) By process of elimination, partialM must be ambient isotopic to Apm, which by (2) is not ambient isotopic to the "side-by-side" embedding B, which is what you wanted.
No comments:
Post a Comment