Classical Morse theory centered around simple statements like Morse inequalities, concerning just the Betti numbers. It is useful not only for studying manifolds, but also for studying infinite CW-type spaces homotopically filtered in manifolds, as by Milnor and Bott (especially The stable homotopy of the classical groups) for spaces of paths in a smooth manifold.
There are some infinite-dimensional generalizations like Floer instanton homology for 3-dimensional manifolds and also the Hamiltonian variant of Floer homology (and cohomology) for (finite dimensional) symplectic manifolds. Especially well studied is the case of the cotangent bundle of a differentiable manifold with its standard symplectic structure; this is sometimes called Floer–Oh homology. Floer homology has been partly motivated by Arnold’s conjecture on periodic trajectories in classical mechanics. The symplectic variant of Floer cohomology is related to quantum cohomology.
On a smooth manifold , a smooth function is said to be Morse (or a Morse function) if
The Morse functions on are dense in most reasonable topologies you could put on . A further condition which is useful in case is not compact is
Together with a (smooth) Riemann structure , any real function on defines a flow on by the equation
The Morse functions are notable in that the flows they define have isolated fixed-points with trivially linearizable dynamics, and ...[fixme: less vague?]... no other stable cyles.
When is Morse and coercive, the unstable manifolds of the fixpoints can be arranged into a CW complex , canonically homeomorphic to . When is compact, and are automatically both coercive, and induces a dual CW complexe . Concretely, ….[details].
Let be a surjective submersion of compact smooth manifolds, and assume is connected. By suitable implicit function theorems, the preimage of any parametrized nonstationary curve is a submanifold of , and furthermore the parameter is a Morse function on this submanifold, having no critical points. (It is not coercive). By a very little more analysis, the Morse gradient flow is therefore a smooth family of homotopy equivalences. A trivial adjustment of the Riemann structure further allows that the Morse flow sends fibers to fibers diffeomorphically, so that in fact the fibers over neighboring points of are diffeomorphic. But since is connected, this implies that all the fibers are diffeomorphic, so that is a smooth fiber bundle over .
The restriction to the unit sphere in of a generic quadratic form is Morse with critical points — two of each index; and furthermore this restriction clearly descends to as a Morse function with critical points, one of each index. It can be shown that this is indeed the minimal collection of critical points supported by real projective space.
Raoul Bott, The stable homotopy of the classical groups. Ann. of Math. (2) 70 1959 313–337.
M. M. Postnikov, Введение в теорию Морса — М.: Наука, 1971
There is also a variant due Barannikov, and in more abstract form Viterbo:
S. Barannikov, The framed Morse complex and its invariants, Advances in Soviet Math. 21 (1994), 93-115.
François Laudenbach, On an article by S. A. Barannikov, arxiv/1509.03490
The relation to supersymmetric quantum mechanics is due to