Alternating-sum decomposition conjecture for the modules V ⁣hk(n)V\!h_k(n)

About 6 years old · traced to

Let Lie(2)Lie^{(2)} be the symmetric-function species used in the plethysm below, and let V ⁣hk(n)V\!h_k(n) be the SnS_n-module whose Frobenius characteristic is the degree-nn term of hn−k[Lie(2)]h_{n-k}[Lie^{(2)}], for k=0,1,…,n−1k=0,1,\ldots,n-1. Define U−1(n)U_{-1}(n) to be the zero module and U0(n)U_0(n) to be the trivial SnS_n-module. Alternating-sum decomposition conjecture. For 0≤k≤n−10\leq k\leq n-1, the truncated alternating sum

V ⁣hk(n)−V ⁣hk−1(n)+…+(−1)kV ⁣h0(n)=Uk(n)V\!h_k(n)-V\!h_{k-1}(n)+\ldots+(-1)^kV\!h_0(n)=U_k(n)

is a true SnS_n-module, and consequently

V ⁣hk(n)≃Uk(n)+Uk−1(n).V\!h_k(n)\simeq U_k(n)+U_{k-1}(n).

Equivalently, the degree-nn term in

(hn−k−hn−k+1+…+(−1)khn)[Lie(2)](h_{n-k}-h_{n-k+1}+\ldots+(-1)^kh_n)[Lie^{(2)}]

is Schur-positive for 0≤k≤n−10\leq k\leq n-1. This is an analogue for the modules V ⁣hk(n)V\!h_k(n) of the corresponding decomposition of Whitney homology of the partition lattice; the source does not provide a resolution, so the conjecture remains open.

References

Primary source

Sheila Sundaram, “On a curious variant of the S_n-module Lie_n”, arXiv:2005.01896 (2020).

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.