The Morse Inequalities provide a profound connection between the critical points of a Morse function on a manifold and the manifold’s topological invariants. These inequalities leverage the concept of the index of a critical point—essentially, the count of the negative eigenvalues of the function’s Hessian matrix at that point—to relate the geometry of the manifold to its topology. Morse theory, developed by Marston Morse, uses these insights to bridge Differential Topology and Algebraic Topology, offering a powerful framework for understanding the shape and structure of manifolds.
Statement of Morse Inequalities
Given a compact smooth manifold (M) and a Morse function (f: M \rightarrow \mathbb{R}), let (C_k) denote the number of critical points of (f) with index (k), and let (b_k) denote the (k)-th Betti number of (M), which represents the rank of the (k)-th homology group of (M) (intuitively, (b_k) counts the number of (k)-dimensional “holes” in (M)). The Morse inequalities state that for each (k):
-
Weak Morse Inequalities: (C_k \geq b_k). This implies that the number of critical points of index (k) is at least as large as the (k)-th Betti number.
-
Strong Morse Inequality: For any integer (N), [ \sum_{k=0}^N (-1)^{N-k} C_k \geq \sum_{k=0}^N (-1)^{N-k} b_k ]. This refined version takes into account the alternating sum of the counts of critical points and Betti numbers up to (N).
-
Morse Equality: The sum of the Morse inequalities over all indices (k) gives the Morse equality: [ \sum_{k=0}^{\infty} (-1)^k C_k = \sum_{k=0}^{\infty} (-1)^k b_k = \chi(M) ], where (\chi(M)) is the Euler characteristic of (M). This equality reveals that the alternating sum of the numbers of critical points of all indices equals the Euler characteristic of the manifold.
Implications and Applications
-
Topology of Manifolds: The Morse inequalities provide a method for estimating the topology of a manifold by examining the critical points of Morse functions defined on it. They indicate that the manifold’s topology constrains the distribution of critical points.
-
Existence of Morse Functions: The inequalities imply that every compact smooth manifold admits a Morse function, since any manifold has well-defined Betti numbers and an Euler characteristic.
-
Homological Algebra and Morse Homology: Morse theory, through the Morse inequalities, leads to the development of Morse homology, which connects the critical points of Morse functions to the homology of the manifold, offering an alternative approach to standard homological algebra.
Conclusion
The Morse inequalities elegantly link the differential geometric properties of Morse functions with the algebraic topological invariants of manifolds. They underscore the richness of Morse theory as a framework for exploring the interplay between a manifold’s geometry and its topology, providing essential insights into the manifold’s structure by analyzing the behavior of functions defined on it.