Today we prove what is known as The Morse Lemma. It tells us exactly what our Morse function looks like near its critical points.
Let be a non-degenerate critical point of . Then we can choose coordinates about p, , such that in these coordinates . Moreover, is the index of the critical point. (Note that ).
Proof: Choose local coordinates, , centered at . Without loss of generality by replacing with . Thus in coordinates, since p corresponds to 0, (it is a little sloppy, but I’ll probably call the actual function and the function in coordinates the same thing and go back and forth).
By a general theorem of multi-variable calculus (I don’t know if it has a name, it might be Taylor’s theorem? I always get confused at how much is actually included in that), we have smooth functions such that and .
But 0 is a critical point of , so and we can apply the theorem again to each . We’ll suggestively call the smooth functions .
Thus, we now have . Let .
Then , and .
But in that form we see that the second partial derivatives are .
By assumption is a non-degenerate critical point, so and hence we can apply a linear transformation to our current coordinates and get that . Thus .
Now is continuous, so that means it is non-zero in a neighborhood of 0.
Let be a new coordinate neighborhood where . (Note this is actually a coordinate system, since the determinant of the Jacobian of the transformation from this one to the old one is non-zero).
if , and the same thing with minus signs everywhere if is negative.
Thus the function is if or
(I awkwardly wrote this with words, because I couldn’t get cases to look right, and was having weird errors I couldn’t figure).
Now just isolate the stuff after the . It satisfies the same conditions as , but has fewer variables, so we can induct on the number of variables until we have .
And since the plus and minus signs came from changing basis to put the Hessian into diagonal form with plus and minus 1′s, the number of minus signs is indeed the index.
The proof of this tended to be sort of tedious to check everything, so don’t worry if you didn’t go through it. I don’t think there is really insight you get from going through it. This is one of those rare instances that I think the result is more important than the proof.
Now we have real good reason to believe the index will be or 0 if we are at a local max or min. What does a max or min look like near the point? Well, it slopes all in the same direction, i.e. it will locally look like a sphere. But this is exactly what the Morse lemma tells us about index n and 0 critical points. We’ll make this more precise later.
I wasn’t sure how I was going to proceed. My two options seemed to be to build the Morse theory I need for Lefschetz, and then do Lefschetz, then come back to Morse theory. But I think I’m just going to continue as far as I want to go ignoring what is needed for the Hyperplane Theorem, then reference what I need.