# Morse inequalities

Inequalities following from Morse theory and relating the number of critical points (cf. Critical point) of a Morse function on a manifold to its homology invariants.

Let $f$ be a Morse function on a smooth $n$- dimensional manifold $M$( without boundary) having a finite number of critical points. Then the homology group $H _ \lambda ( M)$ is finitely generated and is therefore determined by its rank, $r _ \lambda = \mathop{\rm rk} ( H _ \lambda ( M) )$, and its torsion rank, $t _ \lambda = t ( H _ \lambda ( M) )$( the torsion rank of an Abelian group $A$ with a finite number of generators is the minimal number of cyclic groups in a direct-sum decomposition of which a maximal torsion subgroup of $A$ can be imbedded). The Morse inequalities relate the number $m _ \lambda$ of critical points of $f$ with Morse index $\lambda$ to these ranks, and have the form:

$$r _ \lambda + t _ \lambda + t _ {\lambda - 1 } \leq m _ \lambda ,\ \ \lambda = 0 \dots n ;$$

$$\sum _ { i= } 0 ^ \lambda ( - 1 ) ^ {\lambda - i } r _ {i} \leq \sum _ { i= } 0 ^ \lambda ( - 1 ) ^ {\lambda - i } m _ {i} ,\ \lambda = 0 \dots n .$$

For $\lambda = n$ the last Morse inequality is always an equality, so that

$$\sum _ { i= } 0 ^ { n } ( - 1 ) ^ {i} m _ {i} = \chi ( M) ,$$

where $\chi ( M)$ is the Euler characteristic of $M$.

The Morse inequalities also hold for Morse functions of a triple $( W , V _ {0} , V _ {1} )$, it suffices to replace the groups $H _ \lambda ( M)$ by the relative homology groups $H _ \lambda ( W , V _ {0} )$.

According to the Morse inequalities, a manifold having "large" homology groups does not admit a Morse function with a small number of critical points. It is remarkable that the estimates in the Morse inequalities are sharp: On a closed simply-connected manifold of dimension $n \geq 6$ there is a Morse function for which the Morse inequalities are equalities (Smale's theorem, see ). In particular, on any closed manifold that is homotopically equivalent to the sphere $S ^ {n}$, with $n \geq 6$, there is a Morse function with two critical points; hence it follows immediately (see Morse theory) that $M$ is homeomorphic to $S ^ {n}$( see Poincaré conjecture). A similar application of Smale's theorem allows one to prove theorems on $h$- and $s$- cobordism.

An analogue of the Morse inequalities holds for a Morse function $f : X \rightarrow \mathbf R$ on an infinite-dimensional Hilbert manifold, and they relate (for any regular values $a , b \in \mathbf R$, $a < b$, of $f$) the numbers $m _ \lambda ( a , b )$ of critical points of finite index $\lambda$ lying in $f ^ { - 1 } [ a , b]$, with the rank $r _ \lambda ( a , b )$ and torsion rank $t _ \lambda ( a , b )$ of the group $H _ \lambda ( M ^ {b} , M ^ {a} )$, where $M ^ {c} = f ^ { - 1 } ( - \infty , c ]$. Namely,

$$r _ \lambda ( a , b ) + t _ \lambda ( a , b ) + t _ {\lambda - 1 } ( a , b ) \leq m _ \lambda ,$$

$$\sum _ { i= } 0 ^ \lambda ( - 1 ) ^ {\lambda - i } r _ {i} ( a , b ) \leq \sum _ { i= } 0 ^ \lambda ( - 1 ) ^ {\lambda - i } m _ {i} ;$$

$$\lambda = 0 , 1 ,\dots .$$

For $\lambda$ large enough the latter inequality becomes an equality.

How to Cite This Entry:
Morse inequalities. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Morse_inequalities&oldid=47904
This article was adapted from an original article by M.M. PostnikovYu.B. Rudyak (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article