Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

A fundamental result in 3-dimensional smooth topology, which in computer jargon we might refer to as "a primitive", is the statement that any ($C^\infty$) diffeomorphism of S2 extends to a diffeomorphism of the closed 3-ball D3. Another way of stating the same thing would be to say that $Diff(S^2)$ is connected. This theorem was first proven by Munkres [Mich. Math. Jour. 7 (1960), 193-197]. Later, Smale proved the stronger result that $Diff(S^2)$ has the homotopy type of $O(3)$ [Proc. AMS 10 (1959), 621-626]. Another proof of Smale's result is given by Cerf in the appendix to [Sur les difféomorphismes de la sphère de dimension trois ($Γ_4=0$), Lecture Notes in Mathematics, No. 53. Springer-Verlag, Berlin-New York 1968].

Question 1: Are there any other known proofs to the statement that any diffeomorphism of S2 extends to a diffeomorphism of the closed 3-ball D3?

There are two reasons I'm not fully happy with the proofs I cited above. Smale's proof and Cerf's proof show much more and use what looks to me like "too much machinery" for just the "$Diff(S^2)$ is connected" statement, and, in particular, machinery which seems outside basic differential topology (maybe I'm wrong; I haven't gone into them in much detail). Munkres's proof has a number of back-references to another of his papers [Ann. Math. 72(3) (1960), 521-554], and corners need to be smoothed over and over and over and over again to get an honest smooth isotopy between a given diffeomorphism of S2 and the identity. What is worse, it seems difficult to extract an algorithm from Munkres's proof (Lemma 1.1 looks non-constructive- I wouldn't know how to extract a concrete diffeomorphism out of its proof), which brings me to my second question:

Question 2: How could I implement an extension of a smooth diffeomorphism of the 2-sphere to the 3-disc? To make things really concrete, let's say I had an image of the surface of the earth which I deformed by some strange diffeomorphism f of S2. How (by computer) could I smoothly deform it back to the usual picture of the earth?

One dimension down, maybe one way to do it might be to "relax a diffeomorphism of a circle gradually using the heat equation" (see Greg Kuperberg's comment here). Does this work one dimension up? I couldn't figure this out, but I don't see an obvious obstruction- not in dimension $3$. Or maybe there's a slick way of implementing Munkres's proof by lifting an orientation-preserving diffeomorphism of $S^2$ to $Spin(3)$ or something... I really have no idea.

Note, though, that other proofs that diffeomorphisms of S1 extend to D2 clearly seem to fail in dimension 3... in particular, trying to use some sort of Alexander trick to comb all the "bad parts" of the diffeomorphism into a small disc and shrink that disc to a point will not give rise to a smooth isotopy.

Finally, Morris Hirsch says in a footnote on Page 38 of The Collected Papers of Stephen Smale: "Around this time [1959] an outline of a proof attributed to Kneser was circulating by word of mouth; it was based on an alleged version of the Riemann Mapping Theorem which gives smoothness at the boundary of smooth Jordan domains, and smooth dependence on parameters. I do not know if such a proof was ever published."

Question 3: Was such a proof ever published? Is there anything else to be said about this proof outline?

Edit: Actually, I'd like to add even a fourth question:

Question 4: Are there any "second generation" detailed expositions of any of the above proofs?
share|improve this question
1  
The statement that the space of orientation-preserving diffeomorphisms of $S^n$ is connected can easily be manipulated into various equivalent statements, for example: the space of compactly supported diffeomorphisms of $\mathbb R^n$ is connected. In the case $n=2$ it can be proved using either complex analysis or the Poincare-Bendixson Theorem about flows of vector fields in the plane. The $n=1$ case is trivial by comparison. After (re)proving the $n=2$ case, Smale conjectured the $n=3$ case, and it was proved much later by Hatcher. The statement is false for most values of $n$. –  Tom Goodwillie Nov 13 '11 at 22:18
3  
A propos @Tom's comment, I have never met anyone who admitted to having read and understood Hatcher's paper, so a simpler proof is very much called for. –  Igor Rivin Nov 13 '11 at 23:03
7  
I wonder when Alan is going to respond to that comment :) –  Scott Carter Nov 14 '11 at 0:45
3  
@Igor: there's a few but not many. @Scott: I think Allen is well aware it's not an easy read, so this is not news. I think several people are trying to find alternative proofs, or to at least to simplify Hatcher's proof. There are quite a few theorems in the realm of diffeomorphism groups of manifolds that could use cleaning-up and rewriting, not just this theorem of Hatcher's. IMO it's about time to compile them all and put them in one place. –  Ryan Budney Nov 14 '11 at 2:06
1  
@Igor: Ian Agol has a blog post about this. The surgeries one has to do seems very much in spirit with Allen's original approach to the problem, so it's not clear to me there's a significant gain, at least in using such a straight-up approach. –  Ryan Budney Nov 23 '11 at 14:29
show 2 more comments

4 Answers

up vote 17 down vote accepted

More a survey of related things than an answer, but here goes.

Let's write $D(n)$ for the space of compactly supported diffeomorphisms $\mathbb R^n\to \mathbb R^n$. A reasonable guess might be that this is contractible, but this is true only for very small values of $n$.

The space $Diff(S^n)$ of diffeomorphisms $S^n\to S^n$ contains the Lie group $O(n+1)$. A reasonable guess might be that the inclusion of $O(n+1)$ is a homotopy equivalence, but no. In fact, this is equivalent to the first guess: The subgroup of $Diff(S^n)$ consisting of diffeomorphisms supported in the complement of a given point may be identified with $D(n)$, and the multiplication map $D(n)\times O(n+1)\to Diff(S^n)$ (which is not a group homomorphism) is an equivalence. You can see this by comparing $O(n+1)$ with the space of cosets $Diff(S^n)/D(n)$. Thus $D(n)$ is what you might call the exotic part of the homotopy type of $Diff(S^n)$. It is also equivalent to the space of all diffeomorphisms $D^n\to D^n$ fixing the boundary pointwise.

Introduce one more player: the space of all compactly supported diffeomorphisms $\mathbb R^n\times \lbrack 0,\infty )\to \mathbb R^n\times \lbrack 0,\infty )$. Call this $P(n)$. It fibers over $D(n)$, and the fiber is equivalent to $D(n+1)$. It is equivalent to the space of "pseudoisotopies" of $D^n$.

The statement that every diffeomorphism of $S^n$ extends to $D^{n+1}$ means precisely that $P(n)\to D(n)$ induces a surjection on components. This is in principle weaker than the statement that $D(n)$ is connected, but it turns out that (at least for most values of $n$, maybe all?) $P(n)$ is connected.

In low dimensions the story is this:

$D(0)$ is a point.

$P(0)=D(1)$ is contractible because it is convex: convex linear combinations of order-preserving diffeomorphisms of the line are again order-preserving diffeomorphisms.

$P(1)\sim D(2)$ is contractible. I am aware of two approaches to this:

(1) I believe that when Smale (re-)proved this he used the Poincare-Bendixson Theorem. The crux is that, given a compactly supported field of tangent lines in the half-plane $y\ge 0$ transverse to the line $y=0$, if you follow it from $y=0$ you will get all the way up and not get trapped in some spiral.

(2) Complex analysis. I always imagine that the following works, but I'm not sure of the details: The space of Riemannian metrics on $S^2$ is contractible because it is convex. The space of conformal structures on $S^2$ is contractible because its product with the space of positive functions on $S^2$ is that space of metrics. The group $Diff(S^2)$ acts on this contractible space. It acts transitively, by the uniformization theorem, and presumably in a strong enough sense that this implies that the subgroup preserving the standard conformal structure is equivalent to the whole. This subgroup (Moebius transformations plus complex conjugation) is equivalent to its maximal compact subgroup $O(3)$.

Thus $P(2)\sim D(3)$. Smale conjectured that this is contractible. Hatcher proved it.

Thus $P(3)\sim D(4)$. I don't actually know anything about this space.

For large values of $n$ (I forget how large):

The space $P(n)$ is connected, by a theorem of Cerf. But this does not mean at all that $D(n)$ is connected: we have an exact sequence $\dots \to\pi_1D(n)\to \pi_0D(n+1)\to \pi_0P(n)\to \pi_0D(n)$.

$\pi_0D(n)$ is the Kervaire-Milnor group of homotopy $(n+1)$-spheres, known to be finite and frequently nontrivial: You can make a smooth manifold homeomorphic to $S^{n+1}$ from any element of $\pi_0D(n)$ by gluing two hemispheres together. By the $h$-cobordism theorem, you get all homotopy spheres in this way; and it's elementary to see that two elements give the same thing if and only if they differ by something in the image of $\pi_0P(n)$.

There is an important map $P(n)\to P(n+1)$. Hatcher showed, and Igusa proved, that it is about $\frac{n}{3}$-connected. In the stable range $P(n)$ is essentially the Waldhausen $K$-theory of a point, which is rationally the same as the algebraic $K$-theory of $\mathbb Z$, and this implies plenty of elements of infinite order in the homotopy groups of $P(n)$ and $D(n)$ in degrees less than about $\frac{n}{3}$.

share|improve this answer
add comment

Smale's proof is actually pretty simple and geometric -- I highly recommend reading his paper.

There's also a beautiful short proof of Smale's theorem using the measurable Riemann mapping theorem in

MR0276999 (43 #2737a) Earle, Clifford J.; Eells, James A fibre bundle description of Teichmüller theory. J. Differential Geometry 3 1969 19–43.

share|improve this answer
7  
Thurston has a proof of Smale's theorem in his "Three dimensional geometry and topology" book. It's broken up into exercises. –  Ryan Budney Nov 14 '11 at 2:08
    
I'll look through this- thanks! –  Daniel Moskovich Nov 14 '11 at 2:59
add comment

A combinatorial proof of Smale's theorem (actually a stronger theorem, which at the time of the paper cited was a conjecture of N. Kuiper) is given in the paper

The space of simplexwise linear homeomorphisms of a convex 2-disk E. Block, R Connelly, DW Henderson - Topology, 1984 - Elsevier

This may actually be made algorithmic.

share|improve this answer
add comment

Regarding (2), Smale's proof can be made algorithmic. Smale's proof gives a formula for the extension. The formula involves some bump functions, the derivative, a lift of a derivative to the universal cover of a circle, a straight-line homotopy, integration of a vector field and some linear algebra. All these things have effective numerical approximations so if you're happy with a numerical approximation to a diffeomorphism you can certainly algorithmically find one.

share|improve this answer
    
:D $\hspace{2em}$ –  Jim Conant Nov 14 '11 at 2:29
add comment

Your Answer

 
discard

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

Not the answer you're looking for? Browse other questions tagged or ask your own question.