The top elementary coefficient conjecture for Segre powers of Boolean lattices

Let Bn(t)B_n^{(t)} denote the tt-fold Segre power of the Boolean lattice, and let H~n2(Bn(t))\tilde{H}_{n-2}(B_n^{(t)}) be its reduced homology with the induced Sn\mathfrak{S}_n-action. Write its Frobenius characteristic in the elementary symmetric-function basis:

chH~n2(Bn(t))=λnaλeλ.\operatorname{ch}\,\tilde{H}_{n-2}(B_n^{(t)})=\sum_{\lambda\vdash n}a_\lambda e_\lambda.

Top elementary coefficient conjecture. The coefficient of ene_n is always 11, that is, a(n)=1a_{(n)}=1.

This conjecture concerns the diagonal Sn\mathfrak{S}_n-action on the homology of Segre powers of Boolean lattices. The paper reports that Sage computations for n,t7n,t\leqslant7 support it; its general validity remains open.

Sources & referencesView supporting material

Primary source

Yifei Li and Sheila Sundaram, “Homology of Segre powers of Boolean and subspace lattices”, arXiv:2408.08421 (2025).

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.