Shareshian–Wachs conjecture for the matching complex homology representation

About 22 years old · traced to

Let n=2kn=2k be even. The complexes NPMn{\mathsf {NPM}}_n and the poset Ln(2){\mathcal L}_n^{(2)} have reduced homology groups carrying actions of SnS_n, where εn\varepsilon_n denotes the sign character of SnS_n. The poset Ln(2){\mathcal L}_n^{(2)} consists of trees with nn bijectively labelled leaves whose nonleaves have degree congruent to 22 modulo 22 but are not of degree 22, and its order-complex homology is concentrated in dimension tt. Shareshian–Wachs conjecture. There is an isomorphism of SnS_n-modules

H~3k−4(NPMn)≅SnH~t(ΔLn(2))⊗εn.\widetilde{H}_{3k-4}({\mathsf {NPM}}_n) \cong_{S_n} \widetilde{H}_t(\Delta {\mathcal L}_n^{(2)}) \otimes \varepsilon_n.

This strengthens the stated Shareshian–Wachs theorem, which identifies the restriction of the left-hand side to Sn−1S_{n-1} with the corresponding homology representation. The conjecture concerns the full SnS_n-module structure and is unresolved in the supplied source.

References

Primary source

Svante Linusson, John Shareshian and Volkmar Welker, “Complexes of graphs with bounded matching size”, arXiv:math/0410345 (2004).

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.