{"id":"arxiv/2609.06844","url":"https://arxiv.org/abs/2609.06844","tags":["math.AT","math.CO"],"score":0,"title":"Complexes of strong discrete Morse matchings","domain":"math.AT","source":"arxiv","authors":["Kevin Knudson","Abigail Owens-White"],"reviews":0,"subject":"math.AT","summary":"Using the strong discrete Morse theory developed by Fernández, we define the complex $\\mathcal{SM}(K)$ of strong discrete Morse matchings on a simplicial complex $K$, as well as the pure subcomplex $\\mathcal{SM}_{pure}(K)$ generated by the facets in $\\mathcal{SM}(K)$ of maximal dimension. For most complexes $K$ these objects are proper subcomplexes of the complexes ${\\mathfrak M}(K)$ and ${\\mathfrak M}_{\\textrm{pure}}(K)$ defined by Chari--Joswig using all Morse matchings on $K$. The homotopy types of the latter are not well-understood in general, but they are known when $K$ is the path…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-06","reactions":{}}