Morse theory: critical-point indices, handle-attachment, Morse inequalities

A smooth f : M → R on a compact manifold is Morse iff every critical point (df = 0) is non-degenerate (Hessian invertible). At a non-degenerate critical point, the Morse lemma (Morse 1934) gives local coordinates in which f = c − x₁² − ……