Canonical chain complexes for Morse-Smale vector fields

In 1960, Smale defined a filtration of a closed smooth manifold by the unstable manifolds of fixed points and closed orbits of a Morse-Smale vector field defined on it, and derived generalized Morse inequalities. This suggests that, similarly to the Morse chain complex of a gradient-like vector field, even in the presence of closed orbits, Morse-Smale vector fields admit canonical chain complexes, invariant under topological equivalence, from which one can algebraically derive Morse inequalities. In this paper we show that this is actually the case, improving the state of the art that only offers non-canonical chain complexes. Technically, we achieve this result considering the Čech homology spectral sequence of the unstable manifolds filtration. In particular, we turn bounded exact couples into chain complexes such that the limit page of the spectral sequence associated with an exact couple gives the homology of the chain complex. We showcase our construction with examples.

💡 Research Summary

The paper addresses a long‑standing gap in the algebraic topology of Morse‑Smale vector fields: the lack of a canonical chain complex that works even when closed (periodic) orbits are present. Building on Smale’s 1960 construction of a filtration of a closed smooth manifold by the unstable manifolds of the field’s hyperbolic fixed points and closed orbits, the authors develop a completely intrinsic method to associate a chain complex to any Morse‑Smale vector field on a closed manifold.

The core technical tool is the Čech homology spectral sequence associated with the unstable‑manifold filtration. The authors first establish that this filtration is bounded below and finite, guaranteeing convergence of the spectral sequence to the Čech homology of the manifold. They then introduce a general algebraic procedure that converts any bounded spectral sequence arising from a bounded exact couple into a chain complex. The construction proceeds by decomposing the first page (E^1_{p,q}) into canonical generators—each generator corresponds to a hyperbolic critical element (a fixed point or a closed orbit). The higher‑page differentials (d^r) induce isomorphisms between appropriate summands, and by “gluing” these isomorphisms one obtains a differential on the direct sum of the generators, yielding a chain complex (C_(v)). By design, the homology of (C_(v)) coincides with the (\infty)-page of the spectral sequence, and therefore with the Čech (hence singular) homology of the underlying manifold.

Key properties of the resulting complex are:

1. Canonical – No arbitrary choices (such as auxiliary Morse functions, perturbations, or orderings) are required; the generators are uniquely determined by the dynamics.
2. Topological invariance – If two Morse‑Smale vector fields are topologically equivalent (i.e., related by a homeomorphism preserving flow lines), their associated complexes are isomorphic.
3. Correct homology – The homology of (C_*(v)) reproduces the manifold’s homology, establishing that the complex is a genuine algebraic model of the space.

In the special case of gradient‑like Morse‑Smale fields (no closed orbits), the construction recovers the classical Morse chain complex: generators are precisely the critical points, and the differential counts flow lines between them, reproducing the well‑known isomorphism with singular homology.

Using the canonical complex, the authors give a clean algebraic derivation of the generalized Morse inequalities for Morse‑Smale vector fields. Let (c_k) denote the number of generators in degree (k) (i.e., the number of fixed points of index (k) plus the number of closed orbits of index (k)). Then the alternating sum (\sum_k (-1)^k c_k) equals the alternating sum of the Betti numbers (\sum_k (-1)^k b_k), and the stronger inequalities (\sum_{i\le k} (-1)^{k-i} c_i \ge \sum_{i\le k} (-1)^{k-i} b_i) follow from the existence of a filtration of the complex.

The paper concludes with two explicit examples on the 2‑sphere. In each case a Morse‑Smale vector field with both fixed points and a periodic orbit is described, the unstable‑manifold filtration is written down, the Čech spectral sequence is computed, and the resulting chain complex (C_*(v)) is displayed. These examples illustrate how closed orbits contribute extra generators in degree one (coming from the (S^1) factor in the unstable manifold of a periodic orbit) and how the differentials encode the attaching maps between unstable manifolds.

Overall, the work provides a robust, choice‑free algebraic framework for Morse‑Smale dynamics, unifying the gradient‑like Morse theory with the more general setting that includes periodic orbits. It opens the door to further applications, such as functorial constructions in Floer‑type theories, refined invariants for dynamical systems, and computational tools for analyzing the topology of flows on manifolds.