Coefficientwise domination conjecture for even-rank partition-poset homology

Let α2n\alpha_{2n} be the Frobenius characteristic of the representation on maximal chains of Π2n\Pi_{2n}, and let R2nR_{2n} be the Frobenius characteristic of the homology of the even-rank subposet Π2ne\Pi_{2n}^e. Write ai(2n)a_i(2n) and bi(n)b_i(n) for the coefficients of h2ih12n2ih_2^i h_1^{2n-2i} in α2n\alpha_{2n} and R2nR_{2n}, respectively.

Coefficientwise domination conjecture. The symmetric function α2nR2n\alpha_{2n}-R_{2n} is a nonnegative integer combination of homogeneous symmetric functions hλh_\lambda indexed by partitions λ\lambda of nn whose parts are 11 or 22. Equivalently,

bi(n)ai(2n)for all 2in.b_i(n)\leq a_i(2n)\qquad\text{for all }2\leq i\leq n.

This is presented as a strengthening suggested by the available data; the source gives no resolution.

Sources & referencesView supporting material

Primary source

Sheila Sundaram, “Some Problems Arising from Partition Poset Homology”, arXiv:1507.02365 (2015).

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.