A technique linking the differential topology of a smooth manifold to the critical points of smooth real‑valued functions (Morse functions) on it: nondegenerate critical points have well‑defined indices and correspond to handle attachments that build the manifold, and Morse inequalities relate counts of critical points to homology.

Principle

Nondegenerate critical points of a Morse function correspond to elementary topological changes (attachment of an index‑k handle), and gradient flow lines organize how these handles are attached; by analysing indices and critical values one derives cellular decompositions and homological bounds (Morse inequalities).

Demonstration

On a standard torus embedded in R^3, the height function has four nondegenerate critical points with indices 0, 1, 1 and 2. Reading these in order of increasing value produces a 0‑handle, two 1‑handle attachments and a 2‑handle, reproducing the torus topology and matching Betti numbers via Morse inequalities.

Misapplication

Applying Morse theory to functions with degenerate critical points without perturbation, to nonsmooth functions without a gradient structure, or treating Morse–Bott critical manifolds as if they were isolated Morse critical points. Neglecting compactness or boundary conditions (e.g., on noncompact manifolds) can invalidate conclusions.

Consequence

Provides a method to compute or estimate homology, to produce handle decompositions and cobordisms, and underpins proofs like the h‑cobordism theorem; it supplies geometric insight into how topology changes as one varies a function's level sets.

Reversal

Replacing Morse functions by Morse–Bott functions (critical submanifolds) or by functions with degenerate critical points alters the correspondence: critical manifolds require more elaborate analysis (Morse–Bott theory) and the simple one‑to‑one handle correspondence breaks down.

Boundary

Works in the smooth category for manifolds admitting Morse functions (every smooth manifold admits them) and requires nondegeneracy of critical points; for manifolds with boundary one uses Morse functions with controlled behaviour on the boundary or relative Morse theory. It does not directly apply in purely topological categories without a smooth structure, though analogues exist (PL, discrete Morse theory).

Semantic Tension

Closely related to handle decompositions and Cerf theory; sometimes conflated with discrete Morse theory or with general gradient dynamics. The tension lies in passing between analytic (functions, gradients) and combinatorial (handles, cells) viewpoints and in generalizing from isolated critical points to families.

Synthesis

Morse theory translates smooth function data (nondegenerate critical points and indices) into topological building operations (handle attachments), yielding explicit decompositions, inequalities for homology, and a dynamical picture via gradient flows that explains how manifold topology arises from level sets.