6.1 Notations from Morse theory [03RZ]
Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.
Complete original source context Β· Original author HTML
6.1 Notations from Morse theory
Let be a compact oriented Riemannian manifold of dimension , be a smooth Morse function. We will denote the set of critical points of by . If , we will denote by (resp. ) the unstable (resp. stable) submanifolds associated with . Namely, , and .
Let be the Morse index of , i.e. the negative rank of the quadratic form . The manifolds and are diffeomorphic to open balls of dimensions and respectively. It follows that the cohomology of with compact support is a graded vector space with the only non-zero -dimensional component in degree : . A choice of generator defines an orientation of . If the function satisfies Morse-Smale transversality condition, i.e. for any the manifolds and intersect transversally, then is a cell decomposition of . The cohomology can be computed as the cohomology of the Morse complex , with the components . Let us choose orientations of manifolds for all . We endow with the dual orientations. The graded module can be identified with where is the set of critical points of of index . The choice of orientations gives a basis of .
The differential is the standard Morse differential:
where an oriented -dimensional manifold (a set of points with signs), and denotes the total number of points counted with signs. The action of arises from the natural reparametrization of the gradient trajectories.
There is also a generalization of the Morse complex for a flat vector bundle (see [BZ], [HL]).