Morsetheoretic

Morsetheoretic refers to the field of Morse theory, a framework in differential topology for studying the shape of smooth manifolds through real-valued functions. Originating with Marston Morse in the 1920s, the theory analyzes how the topology of level sets changes as a function crosses critical values.

Central objects are Morse functions, smooth functions whose critical points are nondegenerate (the Hessian is nonsingular) and isolated. Each critical point has an index equal to the number of negative eigenvalues of the Hessian; as the parameter moves past a critical value, the manifold gains a basic cell of that index. The topology of sublevel sets is thus built up by attaching cells in a controlled way, enabling a concrete link between analysis and topology.

Key results include the Morse inequalities, which bound the manifold's Betti numbers by the numbers of critical points of each index, and the construction of Morse (co)homology, whose chain groups are generated by critical points and whose boundary maps count gradient flow lines between them. This provides a robust algebraic invariant derived from a geometric setup.

Extensions and refinements include Morse–Smale theory, which imposes transversality of stable and unstable manifolds to ensure well-behaved flow lines; Morse–Bott theory for degenerate critical sets where the critical set forms a manifold rather than isolated points; and Cerf theory, which studies how Morse functions vary within families. These tools broaden applicability to broader categories of manifolds and functions.

Applications span topology and geometry, including computation of manifold invariants, construction of handle decompositions, and insights in mathematical physics via Floer-type theories. Typical examples feature height functions on surfaces such as spheres and tori; while not all functions are Morse, generic perturbations can render many functions Morse.