arXiv++ Combinatorics

We develop a discrete Morse-Bott theory for Lefschetz complexes with real-valued incidence functions and finitely many cells in each dimension. Our main result is a reduction procedure, based on four elementary operations called Moves, for computing the remainder series $R_t$ associated with the Morse-Bott inequality. These Moves preserve $R_t$, and the procedure recursively constructs, using finitely many Moves in each dimension, a disjoint union of two-cell elementary blocks with vanishing Poincaré series. The resulting decomposition computes the coefficients of $R_t$ by counting the blocks in the corresponding dimensions. The same procedure also computes the Betti numbers of the original complex by counting the cells removed as isolated cells. As consequences, we obtain the nonnegativity of the coefficients of $R_t$ and the Morse-Bott inequality for Lefschetz complexes. The method applies in particular to CW complexes, where the nonnegativity is obtained by identifying each coefficient of $R_t$ with the number of elementary blocks in the corresponding dimension.

This paper shows that discrete Morse-Bott theory can be developed in an intuitive way, which is achieved by improving the definition of the discrete Morse-Bott function originally introduced by S. Yaptieu. In fact, we demonstrate that various natural properties hold for discrete Morse-Bott functions and, in particular, establish the discrete Morse-Bott inequality, which can be regarded as an extension of both the discrete Morse inequalities and the continuous Morse-Bott inequalities.