Linking and the Morse complex
For a Morse function f on a compact oriented manifold M, we show that f has more critical points than the number required by the Morse inequalities if and only if there exists a certain class of link in M whose components have nontrivial linking number, such that the minimal value of f on one of the components is larger than its maximal value on the other. Indeed we characterize the precise number of critical points of f in terms of the Betti numbers of M and the behavior of f with respect to links. This can be viewed as a refinement, in the case of compact manifolds, of the Rabinowitz Saddle Point Theorem. Our approach, inspired in part by techniques of chain-level symplectic Floer theory, involves associating to collections of chains in M algebraic operations on the Morse complex of f, which yields relationships between the linking numbers of homologically trivial (pseudo)cycles in M and an algebraic linking pairing on the Morse complex.