Non-power-of-two lifting conjecture for Lien(2)Lie_n^{(2)}

Let Lien(2)Lie_n^{(2)} denote the SnS_n-representation considered in the paper, and let p1Lien1(2)Lien(2)p_1Lie_{n-1}^{(2)}-Lie_n^{(2)} be the corresponding symmetric function; equivalently, let Lien1(2)SnLien(2)Lie_{n-1}^{(2)}\uparrow^{S_n}-Lie_n^{(2)} denote the induced virtual representation. Non-power-of-two lifting conjecture. The symmetric function

p1Lien1(2)Lien(2)p_1Lie_{n-1}^{(2)}-Lie_n^{(2)}

is Schur-positive if and only if nn is not a power of 22. Equivalently, Lien1(2)SnLien(2)Lie_{n-1}^{(2)}\uparrow^{S_n}-Lie_n^{(2)} is a true SnS_n-module lifting Lien1(2)Lie_{n-1}^{(2)} if and only if nn is not a power of 22. Such a lifting would generalize the Whitehouse-module construction for the ordinary Lie representation; the conjecture was verified computationally through n=32n=32, but no general proof is given.

Sources & referencesView supporting material

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.