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

From papers

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 hnk[Lie(2)]h_{n-k}[Lie^{(2)}], for k=0,1,,n1k=0,1,\ldots,n-1. Define U1(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 0kn10\leq k\leq n-1, the truncated alternating sum

V ⁣hk(n)V ⁣hk1(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)+Uk1(n).V\!h_k(n)\simeq U_k(n)+U_{k-1}(n).

Equivalently, the degree-nn term in

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

is Schur-positive for 0kn10\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.

Progress summary

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Sources & referencesView supporting material

Primary source

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

Solutions 0

No solutions have been posted yet.