Search arXiv⌕ Search
Home/Archive/arXiv

arXiv · 2609.33329

Morse-Bott inequalities on Lefschetz complexes

Yuto Nishikawa
View original source ↗Read source document ↗Export metadata ↓

Abstract

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.

Explore related subjects

math.ATmath.CO

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Yuto Nishikawa. 2026-09-27. Morse-Bott inequalities on Lefschetz complexes. https://arxiv.org/abs/2609.33329

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

On Poincaré Surgery

We exhibit a homotopy theoretic proof of the Fundamental Theorem of Poincaré surgery in the simply connected case. We also deduce the Poincaré transversality exact sequence.

math.AT↗
arXiv2026

Borsuk-Ulam type theorem for Stiefel manifolds and orthogonal mass partitions

We prove a Borsuk--Ulam-type zero theorem for the Stiefel manifold $V_{n,k}$ with the free action of the hyperoctahedral group $B_k=(\mathbb{Z}/2)^k\rtimes S_k$. The theorem gives a nonvanishing criterion for explicit polynomials in ${R}_{n,k}=\mathbb{F}_2[a_1,\ldots,a_k]/(a_1^n,a_2^{n-1},\ldots,a_k^{n-k+1})$. We apply this criterion to equipartitions by mutually orthogonal hyperplanes. If $(P_{k,n})^m\ne0$ in ${R}_{d,k}=\mathbb{F}_2[a_1,\ldots,a_k]/(a_1^{d+1},a_2^d,\ldots,a_k^{d-k+2})$, then any $m$ finite Borel measures in $\mathbb{R}^d$ that vanish on affine hyperplanes admit $k$ mutually orthogonal hyperplanes such that every $n$-element subfamily divides each measure into $2^n$ equal parts. For the least possible dimension $Δ^*(m,k,n)$, we obtain general lower bounds and prove upper bounds in several cases. These give exact values, including $Δ^*(2^j-1,k,2)=2^{j-1}(k+1)-1$ for all $j\ge1$ and $k\ge2$. In the case $n=k$, the upper bound of Mani-Levitska, Vrećica, and Zivaljević [18], originally obtained without an orthogonality requirement, remains valid under the stronger requirement that all $k$ hyperplanes be mutually orthogonal.

math.AT↗
arXiv2026

Algebraically and geometrically minimal DG-models of diagrams of spaces

We extend Sullivan's rational homotopy theory by constructing geometrically and algebraically minimal models for diagrams of simply connected spaces over a class of finite indexing categories. Both classes classify rational diagram homotopy types, but their minimality conditions can differ. We also show that, in contrast to classical rational homotopy theory, H-diagrams need not split into products of Eilenberg--MacLane diagrams, and characterize the indexing categories for which every H-diagram admits such a splitting. Also we apply this to computation of automorphism groups of rational homotopy types of certain diagrams of spaces.

math.AT↗