03.15.10 · modern-geometry / morse-homology

Poincaré duality via flow reversal and the filtered Morse spectral sequence

shipped3 tiersLean: none

Anchor (Master): Schwarz *Morse Homology* Part III; Bott *Lectures on Morse Theory* (the critical-value filtration); McCleary *A User's Guide to Spectral Sequences* §2 (the spectral sequence of a filtered complex)

Intuition Beginner

A height function on a shape picks out resting points and sorts them by index, the number of directions in which the shape falls away. Turn the whole picture upside down — replace the height by its negative — and every resting point stays exactly where it was, but its role flips. A valley bottom, where the surface curved up in every direction, becomes a mountain top, where it now curves down in every direction. A point that was a low pass through a ridge becomes a high pass. The geometry of the shape did not move; only our bookkeeping label changed.

This single flip is the whole idea behind one of the oldest facts in topology. Counting resting points of the upside-down height gives the same numbers as the original count, but read in reverse order: the bottom shelf trades places with the top shelf, the second shelf with the second-from-top, and so on. On a shape of dimension $n$ , a feature counted at level $k$ reappears at level $n - k$ . That mirror symmetry of the counts is Poincaré duality, and on a shape with a height function it costs nothing more than reading the same list of resting points from both ends.

There is a second idea here, just as plain. Build up the shape gradually, sweeping the height upward, and pause each time the sweep crosses a resting point. Each pause adds a little. A patient method tracks what each level adds and how the additions interact, organising the count into a tidy table that settles, level by level, onto the true number of holes. That organised sweep is the filtered spectral sequence, and its final tally is the Morse inequalities seen one more time.

Visual Beginner

Alt text: A two-panel figure. The left panel shows an upright torus and an upside-down copy of it; the four critical points keep their positions but swap roles, and arrows pair the point of index $k$ with the point of index $n - k$ , read as Poincaré duality through flow reversal. The right panel shows the torus swept upward with horizontal cuts at the four critical levels, a table recording what each level adds, and a final column giving the Betti numbers $1, 2, 1$ ; a bracket labels the cuts as the critical-value filtration. Reversing the height mirrors the index count, while sweeping it settles the same count onto the Betti numbers.

Worked example Beginner

Take the doughnut surface standing upright, with height measured from the floor. It has four resting points: a bottom of index $0$ , an inner-bottom saddle of index $1$ , an inner-top saddle of index $1$ , and a top of index $2$ . The dimension of the surface is $2$ .

Now flip the height: measure depth from the ceiling instead. Nothing on the doughnut moves. But the old bottom, which fell away upward in every direction, now falls away downward in every direction — it has become a top, of index $2$ . The old top becomes a bottom of index $0$ . The two saddles stay saddles of index $1$ , because a pass is still a pass when you turn it over.

Line up the two counts. The upright surface has counts $1, 2, 1$ across indices $0, 1, 2$ . The flipped surface has counts $1, 2, 1$ as well — the same list. And the pairing sends index $0$ to index $2$ , index $1$ to index $1$ , index $2$ to index $0$ . Each count matches its mirror partner: the one bottom pairs with the one top, the two middle saddles pair with each other.

What this tells us: the equality of an index- $k$ count with its index- $(n - k)$ partner is forced by a single flip of the height function, not by any hard computation. On the doughnut the numbers happen to be symmetric on their own, but the flip explains why they must be: the upright and flipped pictures count the very same holes from opposite ends.

Check your understanding Beginner

Formal definition Intermediate+

Fix a closed oriented Riemannian manifold $(M^{n}, g)$ and a Morse-Smale pair $(f, g)$ with Morse complex $(C_{*} (f), \partial_{f})$ and Morse homology $H M_{*} (f, g)$ as built in 03.15.06, identified with $H_{*} (M; Z)$ by the Morse Homology Theorem 03.15.08. The dual cochain complex $(C^{*} (f), δ_{f})$ and Morse cohomology $H M^{*} (f, g) ≅ H^{*} (M; Z)$ are those of 03.15.09.

The reversed pair is $(- f, g)$ . It is again Morse-Smale: the critical points of $- f$ are exactly those of $f$ , and the negative-gradient flow of $- f$ is the reverse of the negative-gradient flow of $f$ , since $\nabla (- f) = - \nabla f$ . Consequently the stable and unstable manifolds exchange, $$ W^u(x;-f) = W^s(x;f), \qquad W^s(x;-f) = W^u(x;f), $$ and the Hessian of $- f$ at a critical point is the negative of the Hessian of $f$ , so the index reverses: $$ \mu_{-f}(x) = n - \mu_f(x). $$ The Morse-Smale transversality $W^{u} (x; f) ⋔ W^{s} (y; f)$ becomes $W^{s} (x; - f) ⋔ W^{u} (y; - f)$ , which is the same transversality, so $(- f, g)$ is Morse-Smale whenever $(f, g)$ is.

The flow-reversal map is the grading-reversing isomorphism of free abelian groups $$ \Theta : C_k(f) \xrightarrow{\ \cong\ } C^{,n-k}(-f), \qquad \langle x\rangle \mapsto \langle x\rangle^{\vee}, $$ sending the generator of an index- $k$ critical point of $f$ to the dual generator of the same point, now of index $n - k$ for $- f$ . The content of the construction is that $Θ$ intertwines the boundary with the coboundary, $Θ \circ \partial_{f} = δ_{- f} \circ Θ$ , because a gradient line of $f$ from $x$ to $y$ is a gradient line of $- f$ from $y$ to $x$ with the same coherent sign, so the count $n_{f} (x, y)$ equals the count $n_{- f} (y, x)$ that defines $δ_{- f}$ .

The critical-value filtration of $C_{*} (f)$ uses the regular sublevel sets. Order the critical values $c_{1} < c_{2} < \dots < c_{N}$ and choose regular values $a_{0} < c_{1} < a_{1} < c_{2} < \dots < a_{N - 1} < c_{N} < a_{N}$ . Setting $F_{p} C_{*} (f) = C_{*} (f_{M^{a_{p}}})$ , the subcomplex generated by critical points below level $a_{p}$ , gives an increasing filtration $$ 0 = F_0 C_* \subseteq F_1 C_* \subseteq \cdots \subseteq F_N C_* = C_*(f) $$ by subcomplexes, because $\partial_{f}$ lowers the value (a negative-gradient line descends), so $\partial_{f} (F_{p}) \subseteq F_{p}$ . The associated spectral sequence $(E_{p, q}^{r}, d^{r})$ of this filtered complex, in the sense of 03.13.01, has first page the local Morse data and converges to $H M_{*} (f, g)$ .

Counterexamples to common slips

Flow reversal needs an orientation of $M$ to land in integral cohomology with the duality stated as $H M_{k} ≅ H M^{n - k}$ ; on a non-orientable $M$ the coherent orientation of 03.15.05 still exists for each complex separately, but $Θ$ identifies $C_{k} (f)$ with $C^{n - k} (- f)$ only after twisting by the orientation local system, and the clean statement holds over $Z /2$ .
The map $Θ$ reverses the grading; it is not a chain map of complexes of the same variance. It carries the boundary $\partial_{f}$ to the coboundary $δ_{- f}$ , so it is an isomorphism from a chain complex to a cochain complex, and only after dualising one side does it read as ordinary Poincaré duality.
The filtration is by critical value, not by index. For a self-indexing function the two coincide, but in general two critical points of different index can share a sublevel-set stage, and a critical point of low index can sit at a high value; the spectral sequence is governed by the heights, and the index only labels the internal grading $q$ .
The spectral sequence collapses at $E^{1}$ precisely when the function is perfect (the boundary counts vanishing between consecutive levels), not whenever the homology is free; a perfect Morse function exists on every manifold over a suitable field, but an integral perfect function can fail to exist, in which case higher differentials are forced.

Key theorem with proof Intermediate+

The duality is the chain-level shadow of a single sign change ^{[Schwarz Part III]}.

Theorem (Morse-theoretic Poincaré duality). Let $(M^{n}, g)$ be a closed oriented Riemannian manifold and $(f, g)$ a Morse-Smale pair. The flow-reversal map $Θ$ is an isomorphism of complexes $(C_(f),\partial_f)\xrightarrow{\cong}(C^{n-}(-f),\delta_{-f})$, and it descends to a natural isomorphism of graded abelian groups $$ HM_k(f,g) ;\cong; HM^{,n-k}(-f,g) ;\cong; HM^{,n-k}(M;\mathbb{Z}) \qquad (0\le k\le n), $$ recovering the singular Poincaré duality $H_{k} (M) ≅ H^{n - k} (M)$ of 03.12.16 with no triangulation and no fundamental class.

Proof. The map $Θ : ⟨ x ⟩ \mapsto ⟨ x ⟩^{\lor}$ is a bijection of bases sending index- $k$ generators of $f$ to index- $(n - k)$ generators of $- f$ , hence an isomorphism $C_{k} (f) \to C^{n - k} (- f)$ of free abelian groups. Take $x$ with $μ_{f} (x) = k$ and $y$ with $μ_{f} (y) = k - 1$ . A rigid negative-gradient line of $f$ from $x$ to $y$ traverses $W^{u} (x; f) \cap W^{s} (y; f)$ ; reversing time, the same curve is a rigid negative-gradient line of $- f$ from $y$ to $x$ in $W^{u} (y; - f) \cap W^{s} (x; - f)$ , and the coherent orientation 03.15.05 assigns it the same characteristic sign because reversing time and reversing the function together preserve the determinant-line orientation. Therefore $n_{f} (x, y) = n_{- f} (y, x)$ . Now $μ_{- f} (y) = n - k + 1$ and $μ_{- f} (x) = n - k$ , so $n_{- f} (y, x)$ is exactly the matrix entry of the coboundary $δ_{- f} : C^{n - k} (- f) \to C^{n - k + 1} (- f)$ from $⟨ x ⟩^{\lor}$ to $⟨ y ⟩^{\lor}$ . Reading off coefficients, $$ \Theta(\partial_f\langle x\rangle) = \Theta!\Big(\sum_y n_f(x,y)\langle y\rangle\Big) = \sum_y n_{-f}(y,x)\langle y\rangle^\vee = \delta_{-f}\langle x\rangle^\vee = \delta_{-f},\Theta\langle x\rangle, $$ so $Θ \partial_{f} = δ_{- f} Θ$ . An isomorphism of complexes induces an isomorphism on (co)homology, giving $H M_{k} (f) ≅ H M^{n - k} (- f)$ . By the continuation invariance of 03.15.07 applied to $- f$ , $H M^{n - k} (- f) ≅ H M^{n - k} (M)$ , and the Morse Homology Theorem 03.15.08 identifies both sides with the singular groups, where the composite is the cap product with the fundamental class of 03.12.16. $□$

The orientation of $M$ enters only in the last identification with integral singular cohomology; over $Z /2$ the entire statement holds with no orientation hypothesis.

Bridge. This theorem builds toward the intersection-pairing and spectral-sequence refinements that appear again in the Advanced results below and in 03.15.09, where the cup product was paired against this duality to recover the singular ring. The foundational reason Poincaré duality costs only a sign change is that the Morse complex already contains both the chain and cochain information — the same trajectory count read in two directions — so duality is the symmetry $f \leftrightarrow - f$ of the construction rather than an external theorem; this is exactly the chain-level content that the singular proof of 03.12.16 obtains through the cap product with a fundamental class. The flow-reversal isomorphism generalises the elementary observation that turning a height function upside down mirrors its index count, and putting these together the central insight is that the unstable manifold of $f$ and the unstable manifold of $- f$ at a point are complementary-dimensional and meet in the duality pairing, so the geometric intersection number is the algebraic pairing. The bridge is that the same negative-gradient line, run forwards for $f$ and backwards for $- f$ , is simultaneously a boundary contribution and a coboundary contribution, and this duality of trajectories is what the filtered spectral sequence will organise by height.

Exercises Intermediate+

Exercise 4 (medium, short-answer). For the standard height function on $T^2$ with critical values $0<1<2<3$ (a minimum, two saddles, a maximum), write out the critical-value filtration $F_0\subseteq F_1\subseteq F_2\subseteq F_3$ of $C_*(f)$ in terms of which generators each stage contains.

Hint

$F_{p}$ is generated by the critical points lying below the regular value $a_{p}$ chosen just above the $p$ -th critical value.

Answer

Rubric. Full credit: $F_{1} = Z ⟨ b ⟩$ (the minimum, value $0$ ); $F_{2} = Z ⟨ b ⟩ \oplus Z ⟨ s_{1} ⟩$ (adds the value- $1$ saddle); $F_{3} = Z ⟨ b ⟩ \oplus Z ⟨ s_{1} ⟩ \oplus Z ⟨ s_{2} ⟩$ (adds the value- $2$ saddle); $F_{4} =$ all of $C_{*}$ (adds the maximum $t$ , value $3$ ). Each inclusion is a subcomplex because $\partial$ lowers the value. (Indexing $F_{0} = 0$ through $F_{4} = C_{*}$ .) Partial credit for correct stages with the boundary-respects-filtration reason omitted.

Exercise 6 (hard, short-answer). Show that the weak Morse inequality $c_k\ge b_k$ is the statement $\dim E^1_{\bullet,k}\ge\dim E^\infty_{\bullet,k}$ for the critical-value spectral sequence, and that the strong inequalities follow from the alternating-sum behaviour of the differentials.

Hint

$E^{1}$ counts critical points by index; $E^{\infty}$ is the associated graded of $H M_{*} (M)$ ; each differential strictly drops rank in matched pairs.

Answer

Rubric. Full credit: the $E^{1}$ page has $dim E_{p, q}^{1}$ equal to the number of index- $(p + q)$ critical points at the $p$ -th level, so summing over $p$ at fixed total degree $k = p + q$ gives $\sum_{p} dim E_{p, k - p}^{1} = c_{k}$ , the count of index- $k$ critical points. The page $E^{\infty}$ is the associated graded of the filtration on $H M_{k} (M)$ , so $\sum_{p} dim E_{p, k - p}^{\infty} = dim H M_{k} = b_{k}$ . Since each page satisfies $dim E^{r + 1} = dim E^{r} - 2 rank d^{r}$ , dimensions never increase, giving $c_{k} = dim E^{1} \geq dim E^{\infty} = b_{k}$ (weak). For the strong inequalities, the total rank removed by the differentials assembles into the polynomial $Q_{t} \geq 0$ with $M_{t} - P_{t} = (1 + t) Q_{t}$ : a differential $d^{r}$ raising total degree by $1$ removes one generator in degree $k$ and one in degree $k - 1$ together, which is exactly the $(1 + t)$ factor. Full credit requires both the $E^{1} =$ critical-count and $E^{\infty} =$ associated-graded identifications.

Lean formalization Intermediate+

Mathlib carries chain complexes and their homology, the dual of a complex of free abelian groups, and the rudiments of a filtered spectral sequence through its exact-couple and Filtered machinery, so the algebraic frame of both constructions is partly present. What is missing is the Morse homology functor and the geometric input — the involution $f \mapsto - f$ , the index reversal, and the critical-value filtration — so this unit ships at lean_status: none. The pseudo-Lean below indicates the intended shape; it does not compile because morseHomology, flowReversal, and criticalValueFiltration are not defined in Mathlib.

-- Illustrative only; not wired into the Lean build (lean_status: none).

-- Flow reversal: the grading-reversing iso C_k(f) ≅ C^{n-k}(-f) intertwining
-- the boundary of f with the coboundary of -f.
noncomputable def flowReversal (g f) [MorseSmale g f] (n k : ℕ) :
    morseChain g f k ≃ₗ[ℤ] morseCochain g (-f) (n - k) := sorry

theorem flowReversal_intertwines (g f) [MorseSmale g f] (o : CoherentOrientation g f)
    (n k : ℕ) :
    (flowReversal g f n k).comp (morseBoundary o k)
      = (morseCoboundary (reverseOrientation o) (n - k)).comp (flowReversal g f n k) :=
  sorry  -- n_f(x,y) = n_{-f}(y,x): same line, reversed time and function

-- Morse-theoretic Poincaré duality, natural up to the orientation choice.
theorem morsePoincareDuality (g f) [MorseSmale g f] [Oriented M] (n k : ℕ) :
    morseHomology g f k ≃+ morseCohomology g (-f) (n - k) :=
  sorry  -- induced by flowReversal on (co)homology

-- The spectral sequence of the critical-value filtration converging to HM_*.
noncomputable def criticalValueSpectralSequence (g f) [MorseSmale g f] :
    SpectralSequence ℤ := sorry  -- E^1 = local Morse data, E^∞ = gr HM_*(M)

The proof gap is substantive. Mathlib needs the Morse homology functor (already named as the gap for 03.15.02-03.15.06), the involution on Morse-Smale pairs with its index reversal, the sign-tracking that gives $n_{f} (x, y) = n_{- f} (y, x)$ for the coherent orientation, and the spectral sequence of a sublevel-set-filtered complex with its convergence to the associated graded of $H M_{*}$ . Each is a separate formalisation target; the algebraic homology and dualisation engines already exist.

Advanced results Master

The duality and the filtration are two readings of one complex: flow reversal is the symmetry exchanging the two ends of every trajectory, and the critical-value filtration is the bookkeeping of where those trajectories begin and end by height.

The intersection pairing. The duality pairing $⟨ \cdot, \cdot ⟩ : H M_{k} (f) \otimes H M_{n - k} (f) \to Z$ is, at the chain level, $⟨ x, y ⟩ = # (W^{u} (x; f) \cap W^{s} (y; f))$ when $μ_{f} (x) + μ_{f} (y) = n$ and the dimensions are complementary, the signed count of points where the descending manifold of $x$ meets the ascending manifold of $y$ . Through flow reversal $W^{s} (y; f) = W^{u} (y; - f)$ , so this is the intersection of the index- $k$ unstable manifold of $f$ with the index- $(n - k)$ unstable manifold of $- f$ — two cells of complementary dimension in $M^{n}$ meeting transversally in a finite set. This is the Morse incarnation of the singular intersection form of 03.12.16: under the comparison isomorphism the geometric count equals the cap-product pairing $H_{k} (M) \otimes H_{n - k} (M) \to Z$ , $a \otimes b \mapsto ⟨ PD (a) ⌣ PD (b), [M]⟩$ .

The Morse-theoretic Lefschetz duality. For a manifold with boundary, the same flow reversal relates absolute and relative Morse homology: a Morse function with $\partial M$ as a regular level, increasing into $M$ , has a reversed companion for which the roles of incoming and outgoing boundary swap, yielding $H M_{k} (M, \partial M) ≅ H M^{n - k} (M)$ — the Lefschetz refinement, with the half-open trajectories that limit onto $\partial M$ generating the relative complex. The closed case is the boundaryless specialisation.

The spectral sequence in detail. The first page of the critical-value spectral sequence is $$ E^1_{p,q} = H_{p+q}\bigl(M^{a_p}, M^{a_{p-1}}\bigr) \cong \bigoplus_{\substack{x:,f(x)=c_p\ \mu_f(x)=p+q}} \mathbb{Z}, $$ one summand per critical point at the $p$ -th critical value, by the excision and handle-attachment computation of 03.15.08. The differential $d^{1} : E_{p, q}^{1} \to E_{p - 1, q}^{1}$ counts negative-gradient lines between critical points at consecutive critical values, and the higher differential $d^{r}$ counts broken cascades descending across exactly $r$ critical levels — a Morse-theoretic refinement invisible to the unfiltered boundary, which sums all of these. The sequence converges, $E_{p, q}^{\infty} ≅ gr_{p} H M_{p + q} (M)$ , to the associated graded of the filtration of $H M_{*} (M)$ by the value-level at which a class is born.

The Morse inequalities as a rank drop. Summing $E^{1}$ over $p$ at fixed degree gives the index count $c_{k}$ ; summing $E^{\infty}$ gives $b_{k}$ . Each page satisfies $dim E_{p, q}^{r + 1} = dim E_{p, q}^{r} - rank d_{p, q}^{r} - rank d_{p + r, q - r + 1}^{r}$ , so the total dimension drops by twice the rank of the differentials. The accumulated drop is the polynomial $Q_{t} \geq 0$ in the strong Morse inequalities $M_{t} - P_{t} = (1 + t) Q_{t}$ of 03.15.08: the $(1 + t)$ factor is exactly the matched pair of generators each differential cancels, one in degree $k$ and one in degree $k - 1$ .

Functoriality through monotone continuation. A monotone homotopy of functions ( $\partial_{s} f_{s} \leq 0$ ) gives a filtered continuation map by 03.15.07, hence a morphism of spectral sequences; on $E^{\infty}$ it is the induced map on the associated graded of $H M_{*}$ . The filtered continuation maps named at the close of 03.15.07 are precisely these morphisms, which is what makes the filtered invariant — and not merely the homology — well-defined up to isomorphism of spectral sequences.

Synthesis. The foundational reason Poincaré duality and the Morse inequalities live in one unit is that both are symmetries of a single object, the trajectory-counting complex, and this is exactly the structural economy Schwarz built the finite-dimensional theory to expose. Putting these together, flow reversal $f \leftrightarrow - f$ is the involution that turns the boundary into the coboundary and the unstable manifold into its complementary-dimensional dual, so the duality pairing is the geometric intersection number; the central insight is that one need not invoke a fundamental class because the complex already carries its own dual. The critical-value filtration is dual to this in a complementary sense: it resolves the same complex by height rather than by the $f \leftrightarrow - f$ symmetry, and its $E^{1} \Rightarrow E^{\infty}$ rank drop generalises the Morse inequalities from a single inequality per degree to a page-by-page accounting of exactly which trajectories cancel which generators. The bridge is that the intersection pairing and the spectral sequence are the two ways the Morse complex remembers more than its homology: the pairing through the $f \leftrightarrow - f$ symmetry, the filtration through the heights, and both appear again in the loop-space and gauge-theoretic settings where the action filtration produces spectral invariants and the Poincaré duality becomes the Floer-theoretic duality $H F_{*} (H) ≅ H F^{-*} (- H)$ .

Full proof set Master

The Key theorem section proves the flow-reversal duality. The propositions below establish the intersection-pairing identity and the structural facts about the spectral sequence.

Proposition (the duality pairing is the intersection number). Let $(f, g)$ be Morse-Smale on a closed oriented $M^{n}$ , and let $x, y$ be critical points with $μ_{f} (x) + μ_{f} (y) = n$ . Then the Poincaré-duality pairing $⟨[x], [y]⟩$ equals the signed intersection number $# (W^{u} (x; f) ⋔ W^{s} (y; f))$ .

Proof. Write $μ_{f} (x) = k$ , so $μ_{f} (y) = n - k$ . The descending manifold $W^{u} (x; f)$ has dimension $k$ , while the ascending manifold $W^{s} (y; f)$ has dimension $n - μ_{f} (y) = n - (n - k) = k$ ; these do not sum to $n$ , so the right complementary pairing is $W^{u} (x; f)$ of dimension $k$ against $W^{s} (x; f) = W^{u} (x; - f)$ of dimension $n - k$ , the descending manifold of the reversed function at the same point evaluated on the class $[y]$ . Concretely the pairing intersects the index- $k$ unstable manifold of $f$ with an index- $(n - k)$ unstable manifold of $- f$ , two cells whose dimensions sum to $n$ , meeting transversally in a finite signed set in $M^{n}$ by Morse-Smale transversality 03.15.01. The flow-reversal isomorphism $Θ$ sends $[x] \in H M_{k} (f)$ to $[x]^{\lor} \in H M^{n - k} (- f)$ , and the cohomology pairing $H M^{n - k} (- f) \otimes H M_{n - k} (f) \to Z$ evaluates $[x]^{\lor}$ on $[y]$ as the coefficient of $⟨ y ⟩$ in the cycle representing $[y]$ , which by the dual-basis construction of 03.15.09 is the count of rigid configurations in $W^{u} (x; - f) \cap W^{s} (y; - f) = W^{s} (x; f) \cap W^{u} (y; f)$ . Tracking the coherent signs through flow reversal identifies this with $# (W^{u} (x; f) ⋔ W^{s} (y; f))$ . The sign in each summand is the comparison of the coherent orientations of the two manifolds with the ambient orientation of $M$ , which is the local intersection sign. $■$

Proposition (the $E^{1}$ page is the local Morse data). For the critical-value filtration of a Morse-Smale pair, $E_{p, q}^{1} ≅ ⨁_{x} Z$ over critical points $x$ with $f (x) = c_{p}$ and $μ_{f} (x) = p + q$ , and $d^{1}$ counts gradient lines between critical points at consecutive critical values.

Proof. The page $E_{p, q}^{0} = F_{p} C_{p + q} / F_{p - 1} C_{p + q}$ is the free abelian group on the index- $(p + q)$ critical points whose value lies in $(a_{p - 1}, a_{p})$ , that is, those with $f (x) = c_{p}$ . The differential $d^{0}$ is the part of $\partial_{f}$ preserving the filtration degree $p$ , which counts lines between critical points at the same value; for a Morse function these are absent (a nonconstant gradient line strictly lowers $f$ ), so $d^{0} = 0$ and $E^{1} = E^{0}$ . The induced $d^{1} : E_{p, q}^{1} \to E_{p - 1, q}^{1}$ is the component of $\partial_{f}$ that drops the filtration by exactly one, counting lines from a value- $c_{p}$ critical point to a value- $c_{p - 1}$ one. Excision and the handle-attachment identification of 03.15.08 give $E_{p, q}^{1} ≅ H_{p + q} (M^{a_{p}}, M^{a_{p - 1}})$ , the relative homology that is free on the index- $(p + q)$ critical points at level $c_{p}$ . $■$

Proposition (convergence). The critical-value spectral sequence converges: $E_{p, q}^{\infty} ≅ gr_{p} H M_{p + q} (f, g)$ , the associated graded of the filtration induced on $HM_ $b y t h es u b l e v e l f i l t r a t i o n o f$ C_*$.*

Proof. The filtration is finite, $0 = F_{0} \subseteq \dots \subseteq F_{N} = C_{*} (f)$ , with $N$ the number of critical values, so it is bounded. For a bounded filtration of a complex the associated spectral sequence converges to the associated graded of the filtration on homology, by the standard exact-couple argument of 03.13.01: the differentials stabilise after finitely many pages because each $E_{p, q}^{r}$ vanishes outside the finite range $0 \leq p \leq N$ , so $E_{p, q}^{r} = E_{p, q}^{\infty}$ for $r > N$ , and the limit term is $F_{p} H M_{p + q} / F_{p - 1} H M_{p + q}$ , where $F_{p} H M_{*} = im (H_{*} (F_{p} C_{*}) \to H_{*} (C_{*}))$ . $■$

Proposition (collapse criterion). The spectral sequence collapses at $E^{1}$ if and only if for each pair of consecutive critical values the boundary count between the corresponding critical points vanishes and no higher cascade contributes; equivalently, when $dim E_{p, q}^{1} = b_{p + q}$ summed appropriately, i.e. $f$ is a perfect Morse function over the chosen coefficients.

Proof. Collapse at $E^{1}$ means every differential $d^{r}$ ( $r \geq 1$ ) vanishes, so $E^{1} = E^{\infty}$ and $\sum_{p} dim E_{p, k - p}^{1} = dim H M_{k} = b_{k}$ . Since $\sum_{p} dim E_{p, k - p}^{1} = c_{k}$ by the local-data proposition, collapse forces $c_{k} = b_{k}$ , perfection. Conversely if $c_{k} = b_{k}$ for all $k$ , then the weak inequality $dim E^{1} \geq dim E^{\infty}$ is an equality in every degree, and as dimensions only drop along the pages, no $d^{r}$ can have positive rank; all differentials vanish and $E^{1} = E^{\infty}$ . $■$

Together the four propositions give the full structure: flow reversal supplies the duality pairing as a geometric intersection number, and the critical-value filtration supplies a convergent spectral sequence whose $E^{1} \Rightarrow E^{\infty}$ rank drop is the strong Morse inequalities $M_{t} - P_{t} = (1 + t) Q_{t}$ of 03.15.08, with $Q_{t}$ assembled from the ranks of the differentials ^{[Schwarz Part III]}.

Connections Master

03.15.08 (the Morse Homology Theorem) is the identification on which both constructions stand. The duality $H M_{k} (f) ≅ H M^{n - k} (M)$ uses that theorem to pass from the reversed Morse cohomology to singular cohomology, and the spectral sequence converges to $H M_{*} (M) ≅ H_{*} (M)$ by it. The $E^{1}$ page is computed by the same excision-and-handle-attachment machinery the theorem uses to match the Morse and cellular boundaries, so this unit is the filtered and dualised refinement of that comparison.

03.15.09 (Morse cohomology and the cup product) states the flow-reversal duality theorem $H M_{k} (f) ≅ H M^{n - k} (- f)$ and defers its proof here; this unit supplies that proof and identifies the duality pairing with the intersection form, completing the ring-and-duality package of that unit. The cup product there and the intersection pairing here are Poincaré-dual operations: the unstable-manifold fibre products that compute $⌣$ become, under flow reversal, the complementary-dimensional intersections that compute the duality pairing.

03.15.07 (continuation maps and invariance of $H M_{*}$ ) supplies the filtered continuation maps that are the morphisms of the critical-value spectral sequence. Its closing paragraph names this unit as the home of the filtered spectral sequence whose maps are the monotone continuation maps; the monotonicity condition $\partial_{s} f_{s} \leq 0$ discussed there is exactly what makes a continuation map respect the critical-value filtration and descend to a map of spectral sequences.

03.12.16 (singular Poincaré duality) is the classical target the flow-reversal proof reconstructs. The singular statement $H_{k} (M) ≅ H^{n - k} (M)$ is proved by cap product with a fundamental class; the Morse proof obtains the same isomorphism from a single sign change of the function, and the two pairings agree under the Morse Homology Theorem. The Morse route makes the duality pairing visibly a geometric intersection number, the picture the singular cap product encodes abstractly.

03.13.01 (spectral sequences of filtered complexes) is the algebraic engine of the second construction. The critical-value filtration is a bounded filtration of the Morse complex, and the convergence $E^{\infty} ≅ gr H M_{*}$ is the standard exact-couple convergence specialised to it; the Morse-specific content is only the identification of $E^{1}$ with the local Morse data and of the higher differentials with multi-level cascades.

Historical & philosophical context Master

The duality at the heart of this unit predates the Morse-theoretic proof by half a century. Henri Poincaré, in Analysis Situs (Journal de l'École Polytechnique (2) 1, 1895, 1-121) ^{[Poincaré 1895]}, stated that the Betti numbers of a closed orientable manifold satisfy $b_{k} = b_{n - k}$ , the symmetry that now bears his name; his original argument, by dual triangulations, was incomplete by modern standards and was repaired through the cap-product formulation of the following decades. Marston Morse's 1934 The Calculus of Variations in the Large recognised that a function and its negative carry complementary critical-point data, and the duality $f \leftrightarrow - f$ for the Morse inequalities was folklore in the handle-theoretic tradition that John Milnor codified in Morse Theory (Annals of Mathematics Studies 51, Princeton, 1963) ^{[Milnor 1963]}, where the reversal of a self-indexing function and the resulting duality of handle decompositions is the geometric source of Poincaré duality.

The chain-level statement — that flow reversal is an isomorphism from the Morse complex of $f$ to the dual complex of $- f$ — was made precise within the self-contained analytic theory of Matthias Schwarz's Morse Homology (Progress in Mathematics 111, Birkhäuser, 1993) ^{[Schwarz Part III]}, from his 1992 ETH Zürich dissertation under Eduard Zehnder and Dietmar Salamon, alongside the dual cochain complex and the cup product. The organising of the same complex by critical value into a convergent spectral sequence is the Morse instance of the spectral sequence of a filtered complex, whose general theory is laid out in John McCleary's A User's Guide to Spectral Sequences (Cambridge Studies in Advanced Mathematics 58, 2nd ed., 2001) ^{[McCleary 2001]}. The philosophical point Schwarz's treatment makes is that Poincaré duality and the Morse inequalities, classically proved by separate machinery, are both internal symmetries of one combinatorial-analytic object: the duality is the $f \leftrightarrow - f$ involution, and the inequalities are the convergence of the height-filtered spectral sequence, so the finite-dimensional theory exhibits as structure what the infinite-dimensional Floer theories would later need as input.

Bibliography Master

@book{Schwarz1993,
  author    = {Schwarz, Matthias},
  title     = {Morse Homology},
  series    = {Progress in Mathematics},
  volume    = {111},
  publisher = {Birkh\"auser Verlag, Basel},
  year      = {1993}
}

@article{Poincare1895,
  author  = {Poincar\'e, Henri},
  title   = {Analysis Situs},
  journal = {Journal de l'\'Ecole Polytechnique (2)},
  volume  = {1},
  pages   = {1--121},
  year    = {1895}
}

@book{Milnor1963,
  author    = {Milnor, John W.},
  title     = {Morse Theory},
  series    = {Annals of Mathematics Studies},
  volume    = {51},
  publisher = {Princeton University Press},
  year      = {1963}
}

@book{McCleary2001,
  author    = {McCleary, John},
  title     = {A User's Guide to Spectral Sequences},
  series    = {Cambridge Studies in Advanced Mathematics},
  volume    = {58},
  edition   = {2nd},
  publisher = {Cambridge University Press},
  year      = {2001}
}

@book{Bott1982,
  author    = {Bott, Raoul},
  title     = {Lectures on Morse Theory, Old and New},
  publisher = {Bulletin of the American Mathematical Society 7 (1982), 331--358},
  year      = {1982}
}

@book{AudinDamian2014,
  author    = {Audin, Mich\`ele and Damian, Mihai},
  title     = {Morse Theory and Floer Homology},
  series    = {Universitext},
  publisher = {Springer-Verlag, London},
  year      = {2014}
}

@book{BanyagaHurtubise2004,
  author    = {Banyaga, Augustin and Hurtubise, David},
  title     = {Lectures on Morse Homology},
  series    = {Kluwer Texts in the Mathematical Sciences},
  volume    = {29},
  publisher = {Kluwer Academic Publishers, Dordrecht},
  year      = {2004}
}

Prerequisites

03.15.08
03.15.09
03.12.16
03.13.01

Tier anchors

beginner: Milnor *Morse Theory* §§3-5 (the height function on the torus; reversing the function turns minima into maxima); Audin-Damian *Morse Theory and Floer Homology* §3.3 (stable and unstable manifolds)
intermediate: Schwarz *Morse Homology* Part III (the dual complex and flow reversal); Banyaga-Hurtubise *Lectures on Morse Homology* Ch. 4 (Poincaré-Lefschetz duality for the Morse-Smale-Witten complex)
master: Schwarz *Morse Homology* Part III; Bott *Lectures on Morse Theory* (the critical-value filtration); McCleary *A User's Guide to Spectral Sequences* §2 (the spectral sequence of a filtered complex)

References

03-modern-geometry/Bott-LecturesOnMorseTheory.pdf · The critical-value filtration of the sublevel sets and the passage from local Morse data to the homology of the manifold (background for the spectral sequence)
Schwarz — Morse Homology (Progress in Mathematics 111, Birkhäuser 1993) · Part III (the dual cochain complex, Poincaré duality by flow reversal $C_k(f)\cong C^{n-k}(-f)$, and the resulting intersection pairing)
Milnor — Morse Theory · Annals of Mathematics Studies 51, Princeton 1963, §§3-5 (sublevel sets, the homotopy type added at each critical level, the duality $f\leftrightarrow -f$)
Poincaré — Analysis Situs · Journal de l'École Polytechnique (2) 1 (1895), 1-121 (the original duality of Betti numbers of a closed orientable manifold)
McCleary — A User's Guide to Spectral Sequences · Cambridge Studies in Advanced Mathematics 58, 2nd ed. 2001, §2 (the spectral sequence of a filtered differential module, convergence, and the comparison of $E^1$ with $E^\infty$)

Estimated time

beginner: 18m
intermediate: 46m
master: 84m