Over the past few decades, Morse theory has undergone many generalizations, into many different fields. At the moment, I only know of a few, and I understand even fewer. Well, let’s begin at the beginning:

- Classical Morse theory (CMT)
- Stratified Morse theory (SMT)
- Micro-local Morse theory (MMT)

The core of these theories is, of course, the study of Morse functions on suitable spaces and generalizations/interpretations of theorems in CMT to these spaces. For CMT, the spaces are smooth manifolds (or, compact manifolds, if your definition of Morse function doesn’t require properness). SMT looks at Morse functions on (Whitney) stratified spaces, usually real/complex varieties (either algebraic or analytic), and more generally, subanalytic subsets of smooth manifolds. MMT deals with both cases, but from a more “meta” perspective that I’m not going to tell you about right now.

The overarching theme is pretty simple: one can investigate the (co)homology of by examining the behavior of level sets of Morse functions as they “pass through” critical values. First, we’ll need some notation. Let be a smooth manifold, , and let be a smooth function. Then, set

In CMT, this overarching idea is described by two “fundamental” theorems:

**Fundamental Theorem of Classical Morse theory, A **(CMT;A):

Suppose has no critical values on the interval . Then, is diffeomorphic to , and the inclusion is a homotopy equivalence (that is, is a deformation-retract of ).

Homologically speaking, this last point can be rephrased as (for singular homology with coefficients).

**Fundamental Theorem of Classical Morse theory, B **(CMT;B):

Suppose that has a unique critical value in the interior of the interval , corresponding to the isolated critical point of index . Then, is non-zero only in degree , in which case $latex H_\lambda(M_{\leq b},M_{\leq a}) \cong \mathbb{Z}$.

So, if varies across a critical value of , the topological type of “jumps” somehow. If we want to compare how topological type of differs from that of , the obvious thing to do is consider them together as a pair of spaces and look at the relative (co)homology of this pair. CMT;A and CMT;B together tell us that we’re only going to get non-zero relative homology of this pair when there is a critical value between and , and in that case, the homology is non-zero only in degree .

But HOW does the topological type change, specifically, as we cross the critical value?