Bipartite matching complex homology tensor-product conjecture

About 22 years old · traced to

Let BNMk(r,s){\mathsf {BNM}}_k(r,s) be the bipartite matching complex on two parts of sizes rr and ss, with the natural action of Sr×SsS_r\times S_s. Let H(n,l)H(n,l) denote the irreducible SnS_n-module corresponding to the hook Young diagram with ll rows and n−l+1n-l+1 columns. Bipartite homology conjecture. As an (Sr×Ss)(S_r\times S_s)-module, the reduced homology group in dimension 2k−32k-3 is isomorphic to

H~2k−3(BNMk(r,s))≅H(r,k)⊗H(s,k).\widetilde{H}_{2k-3}({\mathsf {BNM}}_k(r,s)) \cong H(r,k)\otimes H(s,k).

The source says that the complex has homology concentrated in a single dimension and that experiments together with rank computations suggest this module-theoretic identification. Its status 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.