Bipartite matching complex homology tensor-product conjecture

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 nl+1n-l+1 columns. Bipartite homology conjecture. As an (Sr×Ss)(S_r\times S_s)-module, the reduced homology group in dimension 2k32k-3 is isomorphic to

H~2k3(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.

Sources & referencesView supporting material

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.