The pure discrete Morse matching complex simplex-boundary homotopy conjecture

Let cmathcalMP(K)cmathcal{M}_P(K) denote the pure complex of discrete Morse matchings of a simplicial complex KK. Let cmathrmcDeltancmathrm{cDelta}^n be the nn-simplex and cmathrmcpartialcmathrmcDeltancmathrm{cpartial}cmathrm{cDelta}^n its boundary. Pure matching complex conjecture. For all ncgeq2n cgeq 2,

cmathcalMP(cmathrmcDeltan)csimeqcmathcalMP(cmathrmcpartialcmathrmcDeltan).cmathcal{M}_P(cmathrm{cDelta}^n) csimeq cmathcal{M}_P(cmathrm{cpartial}cmathrm{cDelta}^n).

The equivalence holds for n=3n=3, where both complexes have homotopy type cbigvee81S3cbigvee^{81}S^3, but the general assertion is presented as a conjectural extension and remains open.

Sources & referencesView supporting material

Primary source

Nicholas A. Scoville, “The complex of discrete Morse matchings of the n-simplex: homotopy types and structural results”, arXiv:2604.18172 (2026).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.