Abstract:Bouc (1992) first studied the topological properties of $M_n$, the matching complex of the complete graph of order $n$, in connection with Brown complexes and Quillen complexes. Björner et al. (1994) showed that $M_n$ is homotopically $(\nu_n-1)$-connected, where $\nu_n=\lfloor{\frac{n+1}{3}}\rfloor-1$, and conjectured that this connectivity bound is sharp. Shareshian and Wachs (2007) settled the conjecture by inductively showing that the $\nu_n$-dimensional homology group of $M_n$ is nontrivial, with Bouc's calculation of $H_1(M_7)$ serving as the pivotal base step. In general, the topology of $M_n$ is not very well-understood, even for a small $n$. In the present article, we look into the topology of $M_n$, and $M_7$ in particular, in the light of discrete Morse theory as developed by Forman (1998). We first construct a gradient vector field on $M_n$ (for $n \ge 5$) that doesn't admit any critical simplices of dimension up to $\nu_n-1$, except one unavoidable $0$-simplex, which also leads to the aforementioned $(\nu_n-1)$-connectedness of $M_n$ in a purely combinatorial way. However, for an efficient homology computation by discrete Morse theoretic techniques, we are required to work with a gradient vector field that admits a low number of critical simplices, and also allows an efficient enumeration of gradient paths. An optimal gradient vector field is one with the least number of critical simplices, but the problem of finding an optimal gradient vector field, in general, is an NP-hard problem (even for $2$-dimensional complexes). We improve the gradient vector field constructed on $M_7$ in particular to a much more efficient (near-optimal) one, and then with the help of this improved gradient vector field, compute the homology groups of $M_7$ in an efficient and algorithmic manner. We also augment this near-optimal gradient vector field to one that we conjecture to be optimal.

Higher topological complexity of Seifert fibered manifolds

Topological complexity, asphericity and connected sums

3-Manifolds with complexity at most 9

LS-category and topological complexity of several families of fibre bundles

Homology cobordism and Seifert fibered 3-manifolds

On the homotopy type of the space of fiberings of $S^1 \times S^2$ by simple closed curves

On sutured Floer homology and the equivalence of Seifert surfaces

Sutured Floer homology distinguishes between Seifert surfaces

Topologically trivial proper 2-knots

Tight contact structures on some families of small Seifert fiber spaces

Connected Heegaard Floer homology of sums of Seifert fibrations

Topology of matching complexes of complete graphs via discrete Morse theory

Group actions and higher topological complexity of lens spaces

On the topology of $\mathcal{M}_{0,n+1}/Σ_n$ and $\overline{\mathcal{M}}_{0,n+1}/Σ_n$

High-codimensional knots spun about manifolds

Unknotted Curves on Seifert Surfaces

Surgery Obstructions for Seifert Fibered Homology Spheres

Fibrations on the 6-sphere and Clemens threefolds

Families of nondiffeomorphic 4-manifolds with the same Seiberg-Witten invariants

Handle numbers of guts of sutured manifolds and nearly fibered knots