Morse Theory

⚡ Key Takeaways

Morse Theory studies the topology of a smooth manifold by analyzing the critical points of a generic real-valued function on it. One-line statement: the number and indices of critical points of a Morse function $f: M \to \mathbb{R}$ determine the homotopy type of $M$ via attachment of cells. Key result: $M$ has the homotopy type of a CW complex with one $k$ -cell for each critical point of index $k$ ; this yields the Morse inequalities relating critical points to Betti numbers. Where it applies: differential topology, Riemannian geometry, gauge theory, calculus of variations (geodesics), symplectic geometry (Floer theory), data analysis (persistent homology). Who/when: Marston Morse, 1925–1934; refined by Bott, Smale, Milnor, Witten.

💡 The Core Insight

Topology is built from critical points. Where the gradient of $f$ vanishes, the level sets of $f$ change their topological type. By cataloguing how they change — quantified by the index of the Hessian — you reconstruct the manifold one cell at a time. The flow of $-\nabla f$ organizes the manifold into a CW structure, and the algebra of its critical points (the Morse complex) computes homology.

DefinitionCritical Points and Nondegeneracy

Let $M$ be a smooth $n$ -dimensional manifold and $f: M \to \mathbb{R}$ a smooth function. A point $p \in M$ is a critical point if $df_p = 0$ . In local coordinates $(x^1,\dots,x^n)$ centered at $p$ , this means

1

\quad \frac{\partial f}{\partial x^i}(p) = 0, \qquad i = 1,\dots,n.

Derivation hint: the differential $df_p$ acts on tangent vectors by directional derivatives; it vanishes iff all partials vanish. At a critical point the Hessian is the well-defined symmetric bilinear form on $T_pM$ :

2

\quad H_p f(v,w) = v\big(w(\tilde f)\big), \qquad \text{coordinates: } (H_pf)_{ij} = \frac{\partial^2 f}{\partial x^i \partial x^j}(p).

Derivation hint: the ambiguity from choice of vector field extensions $\tilde f$ vanishes precisely because $df_p=0$ , making $H_pf$ coordinate-independent. A critical point $p$ is nondegenerate if $H_pf$ is a nondegenerate bilinear form ( $\det(H_pf)_{ij} \neq 0$ ). The index $\lambda(p)$ is the number of negative eigenvalues of $H_pf$ , i.e. the dimension of a maximal subspace on which $H_pf$ is negative definite. A function all of whose critical points are nondegenerate is a Morse function.

TheoremMorse Lemma

Let $p$ be a nondegenerate critical point of $f$ with index $\lambda$ . Then there exist local coordinates $(y^1,\dots,y^n)$ centered at $p$ in which

3

\quad f = f(p) - (y^1)^2 - \dots - (y^\lambda)^2 + (y^{\lambda+1})^2 + \dots + (y^n)^2.

Derivation hint: iteratively complete the square using a smooth version of the Taylor remainder (Hadamard's lemma), simultaneously diagonalizing the Hessian by Sylvester's law of inertia. In particular nondegenerate critical points are isolated, and the index is a coordinate-free invariant.

TheoremFundamental Theorems of Morse Theory

Let $f: M \to \mathbb{R}$ be a smooth function on a compact manifold, and $M^a = f^{-1}(-\infty,a]$ .

(A) If $f^{-1}[a,b]$ is compact and contains no critical points, then $M^a$ is diffeomorphic to $M^b$ , and $M^a$ is a deformation retract of $M^b$ .

(B) If $f^{-1}[a,b]$ contains exactly one critical point $p$ , of index $\lambda$ , with $a < f(p) < b$ , then $M^b$ has the homotopy type of $M^a$ with a $\lambda$ -cell attached:

4

\quad M^b \simeq M^a \cup_{\varphi} e^\lambda.

Derivation hint: use the gradient flow of $-\nabla f$ for (A) to push $M^b$ down to $M^a$ ; for (B), the Morse Lemma normal form lets you explicitly attach the cell of descending directions.

(Corollary) If $M$ is compact and $f$ is Morse, then $M$ has the homotopy type of a CW complex with one cell of dimension $\lambda$ for each critical point of index $\lambda$ .

ProofSketch of the Fundamental Theorems

Step 1 — Riemannian setup. Fix a Riemannian metric $g$ on $M$ , defining the gradient $\nabla f$ by $g(\nabla f, \cdot) = df$ . Consider the negative gradient flow $\dot\phi_t = -\nabla f(\phi_t)$ . Along a flow line,

5

\quad \frac{d}{dt} f(\phi_t(x)) = df(\dot\phi_t) = -g(\nabla f,\nabla f) = -\|\nabla f\|^2 \le 0.

Derivation hint: chain rule plus the defining identity of the gradient; equality to zero holds only at critical points.

Step 2 — No critical values (Theorem A). On $f^{-1}[a,b]$ with no critical points, $\|\nabla f\| > 0$ . Rescale the flow by $1/\|\nabla f\|^2$ so $f$ decreases at unit rate. The time- $(b-a)$ flow gives a diffeomorphism $M^b \to M^a$ and a deformation retraction onto $M^a$ .

Step 3 — Passing one critical point (Theorem B). Use Morse coordinates from equation [3]. Let $\varepsilon$ be small. The set $M^{c+\varepsilon}$ deformation retracts onto $M^{c-\varepsilon}$ together with the descending disk — the cell spanned by the negative ( $y^1,\dots,y^\lambda$ ) directions — attached along its boundary sphere $S^{\lambda-1}$ via the gradient flow. Explicitly the model is $f = c - \sum_1^\lambda (y^i)^2 + \sum_{\lambda+1}^n (y^j)^2$ , and one constructs $F$ a modified function whose sublevel set is $M^{c-\varepsilon}$ plus a "handle," then retracts.

Step 4 — Assembling the CW complex. Order critical values $c_1 < c_2 < \dots < c_k$ . Inductively each $M^{c_i + \varepsilon}$ is homotopy equivalent to the previous sublevel set with cells attached. Compactness gives finitely many critical points (each isolated by the Morse Lemma). The result is a CW complex with the stated cells. $\blacksquare$

∎

TheoremMorse Inequalities

Let $M$ be compact and $f$ Morse with $C_\lambda$ critical points of index $\lambda$ . Let $b_\lambda = \dim_{\mathbb F} H_\lambda(M;\mathbb F)$ be the Betti numbers over a field $\mathbb F$ . Then the weak Morse inequalities:

6

\quad C_\lambda \ge b_\lambda \quad\text{for all }\lambda, \qquad \sum_\lambda (-1)^\lambda C_\lambda = \sum_\lambda (-1)^\lambda b_\lambda = \chi(M).

Derivation hint: cellular homology of the Morse CW complex has chain groups of rank $C_\lambda$ ; ranks of chain groups dominate homology ranks, and Euler characteristic is a chain-level invariant. The strong Morse inequalities sharpen this to, for every $k$ :

7

\quad \sum_{\lambda=0}^{k} (-1)^{k-\lambda} C_\lambda \ \ge\ \sum_{\lambda=0}^{k} (-1)^{k-\lambda} b_\lambda.

Derivation hint: encode via the Morse polynomial $\mathcal M(t)=\sum C_\lambda t^\lambda$ and Poincaré polynomial $\mathcal P(t)=\sum b_\lambda t^\lambda$ ; then $\mathcal M(t)-\mathcal P(t) = (1+t)Q(t)$ with $Q$ having nonnegative coefficients.

EW

Edward Witten

b. 1951

Although Marston Morse founded the subject, Witten's 1982 paper "Supersymmetry and Morse Theory" reinvented it. Witten deformed the de Rham differential by $d_t = e^{-tf} d \, e^{tf}$ and showed that as $t \to \infty$ the harmonic forms (and hence cohomology) localize at critical points of $f$ . This gave an analytic proof of the Morse inequalities, interpreted the Morse complex as instanton-counting tunnelling amplitudes between critical points in supersymmetric quantum mechanics, and seeded Floer theory. His physical reasoning — that perturbative ground states sit at minima while instantons (gradient flow lines) connect them — became the template for infinite-dimensional Morse theory in gauge theory and symplectic topology.

🧠 Intuition

Imagine a mountainous landscape $M$ flooded by rising water, where the height is $f$ . The sublevel set $M^a$ is the submerged region at water level $a$ . As the water rises:

Crossing a minimum (index 0): a new isolated puddle appears — you attach a $0$ -cell (a point).
Crossing a saddle (index 1): two bodies of water merge, or a handle forms — you attach a $1$ -cell (an arc connecting components).
Crossing a maximum (index 2 on a surface): a remaining lake fills a basin and disappears as an island gets submerged — you attach a $2$ -cell (a disk capping off a hole).

The index counts the number of independent downhill directions at a critical point. A minimum has none (all uphill, index 0), a maximum on an $n$ -manifold has all $n$ . The genius is that the global shape of the terrain is encoded entirely by how these merging/capping events happen, in what order, attached where.

Figure

The height function on a vertically-standing torus, showing four critical points and the cells they attach.

```svg

```

ExampleMorse Function on the 2-Torus

Given: the standing torus $T^2 \subset \mathbb R^3$ with $f$ = height (the $z$ -coordinate). Find its critical points, indices, and verify the Morse inequalities over $\mathbb{Q}$ .

Steps: 1. Critical points occur where the tangent plane is horizontal: the bottom minimum, the inner-bottom saddle, the inner-top saddle, the top maximum. 2. Compute indices via the Hessian:

bottom min: $H = \mathrm{diag}(+,+)$ , index $\lambda=0$ .
lower saddle: $H = \mathrm{diag}(+,-)$ , index $\lambda=1$ .
upper saddle: $H = \mathrm{diag}(+,-)$ , index $\lambda=1$ .
top max: $H = \mathrm{diag}(-,-)$ , index $\lambda=2$ .

3. Critical counts: $C_0 = 1,\ C_1 = 2,\ C_2 = 1$ . 4. Known Betti numbers of $T^2$ : $b_0 = 1,\ b_1 = 2,\ b_2 = 1$ . 5. Weak inequalities: $C_\lambda \ge b_\lambda$ holds with equality everywhere — this is a perfect Morse function. 6. Euler characteristic: $\sum(-1)^\lambda C_\lambda = 1 - 2 + 1 = 0 = \chi(T^2)$ . ✓

Answer: $\boxed{C_0=1,\ C_1=2,\ C_2=1;\quad \chi(T^2)=0;\quad \text{Morse equalities are sharp.}}$

ExampleThe Standard Height on the n-Sphere

Given: $S^n = \{x \in \mathbb R^{n+1}: |x|=1\}$ with $f(x) = x_{n+1}$ (height). Determine the CW structure and homology.

Steps: 1. Critical points: north pole $N=(0,\dots,0,1)$ and south pole $S=(0,\dots,0,-1)$ . Only two, both nondegenerate. 2. At $S$ (the minimum) all directions go up: index $\lambda=0$ . 3. At $N$ (the maximum) all directions go down: index $\lambda=n$ . 4. Counts: $C_0=1$ , $C_n=1$ , all others zero. By the CW corollary $S^n \simeq e^0 \cup e^n$ — a point with an $n$ -cell attached, the standard CW structure of the sphere. 5. Homology: chain complex has $\mathbb Z$ in degrees $0$ and $n$ only, with zero differentials, giving $H_0 = H_n = \mathbb Z$ , all else $0$ . ✓ 6. Reeb's theorem check: a compact manifold admitting a Morse function with exactly two critical points is homeomorphic to $S^n$ .

Answer: $\boxed{C_0=C_n=1;\quad H_k(S^n)=\mathbb Z \text{ for }k\in\{0,n\},\ 0\text{ otherwise.}}$

⚠️ Common mistake

Morse functions are not unique, but they are generic. Any smooth function can be perturbed (in the $C^\infty$ topology) to a Morse function — Morse functions form an open dense set. Do not confuse a specific Morse function (which can have unnecessarily many critical points, e.g. a wiggly height function) with the minimal one (a perfect Morse function realizing the Betti numbers). Not every manifold admits a perfect Morse function: $\mathbb{RP}^3$ over $\mathbb Z$ has 2-torsion forcing extra critical points beyond the $\mathbb Q$ -Betti numbers — the strong Morse inequalities with field coefficients matter.

The index is the number of negative eigenvalues, not positive. A common sign error flips minima and maxima.

Counterexample

A function with a degenerate critical point fails the theory. Consider $f: \mathbb R \to \mathbb R$ , $f(x) = x^3$ . Then $f'(0) = 0$ so $0$ is critical, but $f''(0) = 0$ — the Hessian is degenerate. The Morse Lemma fails: $f$ has no quadratic normal form at $0$ , and $0$ is not even a local extremum. Such "monkey saddle"-type degeneracies ( $f(x,y) = x^3 - 3xy^2$ in 2D) are exactly what Morse theory excludes, and they can be removed by an arbitrarily small perturbation (e.g. $x^3 + \varepsilon x$ has either zero or two nondegenerate critical points). This illustrates why nondegeneracy is essential and why genericity arguments are needed.

connection

Morse theory sits at the crossroads of analysis, topology, and geometry:

Homology Theory and CW Complexes: the Morse complex $(C_*, \partial)$ , where $C_\lambda = \mathbb Z^{C_\lambda}$ and $\partial$ counts gradient flow lines between critical points of adjacent index, computes $H_*(M)$ directly — a finite-dimensional, geometrically transparent chain complex.
Riemannian Geometry: the gradient flow requires a metric, and Morse theory of the energy functional on the loop space $\Omega M$ recovers geodesics as critical points, proving the existence of closed geodesics and underpinning Bott's periodicity theorem.
<a class="wiki-link" href="/wiki/symplectic-geometry">Symplectic Geometry</a> and Floer Theory: infinite-dimensional Morse theory of the symplectic action functional yields Floer homology, resolving the Arnold conjecture on fixed points of Hamiltonian symplectomorphisms.
Handle Decompositions and Cobordism Theory: each index- $\lambda$ critical point corresponds to attaching a $\lambda$ -handle; Smale's handle-cancellation techniques powered the proof of the high-dimensional Poincaré conjecture.
<a class="wiki-link" href="/wiki/de-rham-cohomology">de Rham Cohomology</a>: Witten's deformation links the analytic spectrum of a deformed Laplacian to the Morse complex.

🔬 Where this appears

⏳ History

- 1925–1934 — Marston Morse develops the "calculus of variations in the large," proving the Morse inequalities and applying them to geodesics; his treatise The Calculus of Variations in the Large (1934) founds the field.

- 1929 — Morse establishes the relation between critical points of the energy functional on path spaces and geodesics, the infinite-dimensional template.

- 1949 — Lyusternik & Fet prove existence of a closed geodesic on any compact Riemannian manifold using Morse-theoretic methods on the free loop space.

- 1956–1959 — Raoul Bott proves the periodicity theorem for the stable homotopy of classical groups via Morse theory of energy functionals; introduces Morse–Bott theory for nondegenerate critical manifolds.

- 1960–1962 — Stephen Smale uses Morse theory and handle decompositions to prove the

h

-cobordism theorem and the generalized Poincaré conjecture in dimensions

\ge 5

.

- 1963 — John Milnor publishes Morse Theory, the canonical exposition, streamlining proofs of the fundamental theorems and the

h

-cobordism setup.

- 1982 — Edward Witten gives an analytic proof of the Morse inequalities via supersymmetric deformation of the de Rham complex, linking it to physics and instantons.

- 1988–1989 — Andreas Floer constructs Floer homology for Hamiltonian systems and 3-manifolds, infinite-dimensional Morse theory resolving cases of the Arnold conjecture.

- 1998 — Robin Forman develops discrete Morse theory on CW/simplicial complexes, making the theory algorithmically usable for data and computation.

open-problem

Morse–Smale transversality and the Morse complex. To define the boundary operator $\partial$ counting flow lines, one needs the descending and ascending manifolds of critical points to intersect transversally (the Morse–Smale condition). This holds for generic metrics but requires careful proof; the moduli spaces of flow lines must be compactified (broken trajectories), and orientations must be coherently assigned to fix signs in $\partial$ . Proving $\partial^2 = 0$ amounts to a gluing/compactness argument over 1-dimensional moduli of flow lines.

Open and active directions:

Min-max and Lyusternik–Schnirelmann category: for degenerate settings one needs cup-length / category bounds; sharp results on the minimal number of critical points (the Arnold conjecture for non-degenerate vs. degenerate Hamiltonians) remain subtle.
Infinite-dimensional Morse theory (Floer-type) requires the Palais–Smale condition and Fredholm analysis; constructing well-defined theories in gauge-theoretic settings (e.g., reducibles, bubbling) is delicate and partly open.
Discrete vs. smooth correspondence: optimal (minimal critical-cell) discrete Morse functions are NP-hard to compute in general; bridging algorithmic efficiency and topological optimality is ongoing.

Formal Statement

Why It Holds / Derivation

Building Intuition

Worked Examples

Common Misconceptions

Connections

Real-World Applications

Historical Development

Subtleties & Limits

See Also