Searching for an unabridged proof of "The Basic Theorem of Morse Theory" - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-21T01:33:31Z http://mathoverflow.net/feeds/question/70248 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/70248/searching-for-an-unabridged-proof-of-the-basic-theorem-of-morse-theory Searching for an unabridged proof of "The Basic Theorem of Morse Theory" Daniel Moskovich 2011-07-13T17:51:47Z 2011-07-15T04:49:58Z <p>Steven Smale labels the following statement "The Basic Theorem of Morse Theory" in <a href="http://www.ams.org/journals/bull/1963-69-02/S0002-9904-1963-10901-5/S0002-9904-1963-10901-5.pdf" rel="nofollow">A Survey of some Recent Developments in Differential Topology</a>:</p> <blockquote> Let f be a $C^\infty$ function on a closed manifold with no critical points on $f^{-1}[-\epsilon,\epsilon]$ except k nondegenerate ones on $f^{-1}(0)$, all of index $s$. Then $f^{-1}[-\infty,\epsilon]$ is diffeomorphic to $X(f^{-1}[-\infty,-\epsilon];f_1,\ldots,f_k;s)$ (for suitable f<sub>i</sub>. </blockquote> <p>Here $X(M;f;s)$ for $f\colon\,(\partial D^s)\times D^{n-s}\to M$ is M with an s-handle attached by f.<br> Where can I find a complete proof of this theorem, with all the t's crossed and i's dotted? Textbooks (Milnor, Matsumoto) only seem to prove homology/homotopy versions of the above statement, usually with substantial steps to be filled in by the reader. I nosed around some old papers for a few hours, (surely Smale himself proved it somewhere!) but to no avail. If I were to continue to search, no doubt I could eventually turn it up (there are a finite number of differential topology papers written 1958-1962, which is when I assume it was proven), but because I think that this question might be of wider interest, and to save me a lot of time, I'd like to ask:</p> <blockquote> Where can I find a complete unabridged proof of "The Basic Theorem of Morse Theory"? (in fact I care only about low dimensions) What is the original paper, and is there a textbook exposition of it anywhere? </blockquote> http://mathoverflow.net/questions/70248/searching-for-an-unabridged-proof-of-the-basic-theorem-of-morse-theory/70249#70249 Answer by John Klein for Searching for an unabridged proof of "The Basic Theorem of Morse Theory" John Klein 2011-07-13T18:08:11Z 2011-07-13T18:08:11Z <p>My recollection is that Milnor's proof gives exactly what you are asking. In fact, see the remark on the bottom of page 17 of his book.</p> http://mathoverflow.net/questions/70248/searching-for-an-unabridged-proof-of-the-basic-theorem-of-morse-theory/70250#70250 Answer by Johannes Ebert for Searching for an unabridged proof of "The Basic Theorem of Morse Theory" Johannes Ebert 2011-07-13T18:09:50Z 2011-07-13T18:09:50Z <p>Kosinski, ''Differential manifolds'', Chapter VII, section 2. He gives a detailed proof in the case of just one critical point. </p> http://mathoverflow.net/questions/70248/searching-for-an-unabridged-proof-of-the-basic-theorem-of-morse-theory/70265#70265 Answer by Pietro Majer for Searching for an unabridged proof of "The Basic Theorem of Morse Theory" Pietro Majer 2011-07-13T21:37:33Z 2011-07-13T22:02:01Z <p>R.Palais, <a href="http://www.math.northwestern.edu/~getzler/Morse/palais.pdf" rel="nofollow"><em>Morse theory on Hilbert manifolds</em></a> (main Theorem of §12). As you will see, in the infinite dimensional setting the construction looses nothing in clearness.</p> http://mathoverflow.net/questions/70248/searching-for-an-unabridged-proof-of-the-basic-theorem-of-morse-theory/70322#70322 Answer by Giuseppe for Searching for an unabridged proof of "The Basic Theorem of Morse Theory" Giuseppe 2011-07-14T13:16:01Z 2011-07-15T04:49:58Z <p>Dear Daniel Moskovich, I am answering just the last part of your question. As you said this could be useful to many others beyond the original poster, so I report my experience hoping to be useful. </p> <p>The only textbook on differentiable manifolds including a proof of the basic theorem in Morse Theory, that until now I have met, is "Differentiable manifolds, Second Edition" by Lawrence Conlon. </p> <p>His presentation of Morse Theory is distributed on sections 2.9.B, 3.10, and 4.2, and is closely inspired by Milnor's book.<br> In a certain way it requires the active cooperation of the reader by completing just some minor details, but at the end this work is doubly rewarding, it renforces your previous knowledge and assures that you grasp the content of basic morse theory.</p> <p><strong>Edit</strong>: I have found that Conlon leaves apart just to recognize that a certain manifold is a $\lambda$-handle, and for this result he refers to <a href="http://www.math.uchicago.edu/~shmuel/tom-readings/Smale,%20PC.pdf" rel="nofollow">S.Smale "Generalized Poincarè's conjecture in dimensions greater than four"</a></p>