Morse theory

Morse theory. It is a branch of differential topology that analyzes the topology of a manifold by studying differentiable functions on that manifold. Named for its founder, Marston Morse, the theory establishes a powerful link between the analytical properties of these functions and the global topological structure of the underlying space. The central insight is that the critical points of a suitably chosen function reveal profound information about the manifold's shape, such as its homology groups and homotopy type.

● Introduction

The development of this field was pioneered by Marston Morse in the 1920s and 1930s, building upon earlier ideas in the calculus of variations. Its initial applications were profound in the study of geodesics on Riemannian manifolds, providing tools to analyze the space of paths. The theory has since become a cornerstone of modern geometry and topology, with deep connections to dynamical systems and mathematical physics. Its influence extends to areas like symplectic geometry through the work of mathematicians such as Raoul Bott.

● Basic concepts

The foundational object is a smooth manifold, typically a compact space or one without boundary. One studies a smooth function on this manifold, often called a Morse function, which has only non-degenerate critical points. The Hessian matrix at each critical point is non-singular, and its index—the number of negative eigenvalues—is a key invariant. The manifold can be decomposed by studying the flow of the gradient vector field associated with the function, leading to a construction of a CW complex homotopy equivalent to the manifold.

● Morse lemma and critical points

A central technical result is the Morse lemma, which provides a local normal form for the function near a non-degenerate critical point. It states that there exist local coordinates in which the function takes the form of a standard quadratic form, directly related to the index. This lemma simplifies the analysis of how the topology of the sublevel set changes as one passes a critical value. The celebrated Morse inequalities relate the numbers of critical points of each index to the Betti numbers of the manifold, providing a powerful set of constraints discovered by Marston Morse.

● Applications

in topology The theory provides a direct method for computing the homology of manifolds. By constructing a chain complex from critical points, one recovers cellular homology, as seen in the work of John Milnor on h-cobordism theorem. It was instrumental in proving the generalized Poincaré conjecture in high dimensions by Stephen Smale. Applications also abound in the study of minimal surfaces, Yang–Mills theory, and the topology of loop spaces, particularly through the influential research of Raoul Bott and his periodicity theorem.

● Generalizations and related theories

Important extensions include Morse–Bott theory, which allows for critical sets that are submanifolds, crucial in symplectic geometry and the study of moment maps. The infinite-dimensional version is central to Floer homology, developed by Andreas Floer for applications to Arnold conjecture in Hamiltonian systems. Discrete analogues appear in Forman's discrete Morse theory on simplicial complexes. Deep connections also exist with catastrophe theory of René Thom and with Picard–Lefschetz theory in complex geometry.

Category:Differential topology Category:Homology theory Category:Mathematical theories