Stratified Morse Theory: Past and Present

Abstract

In 1974, Mark Goresky and Robert MacPherson began their development of intersection homology theory (see [24] in these volumes), and their first paper on this topic appeared in 1980; see [12]. At that time, they were missing a fundamental tool which was available for the study of smooth manifolds; they had no Morse Theory for stratified spaces. Goresky and MacPherson wished to have a Stratified Morse Theory to allow them to prove a Lefschetz hyperplane theorem for the intersection homology of complex singular spaces, just as ordinary Morse Theory yields the Lefschetz Hyperplane Theorem for ordinary homology of complex manifolds ([34], §7). The time was ripe for a stratified version of Morse Theory. In 1970, Mather had given a rigorous proof of Thom’s first isotopy lemma [33]; this result says that proper, stratified, submersions are locally-trivial fibrations. In 1973, Morse functions on singular spaces had been defined by Lazzeri in [25], and the density and stability of Morse functions under perturbations had been proved in [37]. We shall recall these definitions and results in Section 2. What was missing was the analog of the fundamental result of Morse Theory, a theorem describing how the topology of a space is related to the critical points of a proper Morse function. In [16], Goresky and MacPherson proved such a theorem for stratified spaces. Suppose that M is a smooth manifold, that X is a Whitney stratified subset ofM , and that f : X → R is a proper function which is the restriction of a smooth function on M . For all v ∈ R, let X≤v := f−1((−∞, v]). Suppose that a, b ∈ R, a < b, and f−1([a, b]) contains a single (stratified) critical point, p, which is non-degenerate (see Definition 2.3) and contained in the open set f−1((a, b)). Let S be the stratum containing p. Then, the Main Theorem of Stratified Morse Theory (see Theorem 2.16) says that the topological space X≤b is obtained from the space X≤a by attaching a space A to X≤a along a subspace B ⊆ A, where the pair (A,B), the Morse data, is the product of the tangential Morse data of f at p and the normal Morse data of f at p. This result is especially powerful in the complex analytic case, where the normal Morse data depends on the stratum S, but not on the point p or on the particular Morse function f . Detailed proofs of these results appeared in the 1988 book Stratified Morse Theory [16]; we present a summary of a number of these results in Section 2. Even before the appearance of [16], Goresky and MacPherson published two papers, Stratified Morse Theory [15] and Morse Theory and Intersection Homology Theory [14], which contained announcements of many of the fundamental definitions and results of Stratified Morse Theory. In addition, these two papers showed that Stratified Morse Theory has a number of important applications to complex analytic spaces, including homotopy results, the desired Lefschetz Hyperplane Theorem for intersection homology, and the first proof that the (shifted) nearby cycles of a perverse sheaf are again perverse. We shall discuss these results and others in Section 3.