A generalization of calculus of variations which draws the relationship between the stationary points of a smooth real-valued
function on a manifold and the global topology of the
manifold. For example, if a compact
manifold admits a function whose only stationary points are a maximum and a minimum,
then the manifold is a sphere. Technically speaking, Morse
theory applied to a function on a manifold
with
and
shows that every bordism
can be realized as a finite sequence of surgeries. Conversely,
a sequence of surgeries gives a bordism.
There are a number of classical applications of Morse theory, including counting geodesics on a Riemann surface and determination of the topology of a Lie group (Bott 1960, Milnor 1963). Morse theory has received much attention in the last two decades as a result of the paper by Witten (1982) which relates Morse theory to quantum field theory and also directly connects the stationary points of a smooth function to differential forms on the manifold.