Skewing identities for hook-indexed modules

For each positive integer nn, let Sρ\mathcal{S}_\rho denote the graded Frobenius characteristic associated with the hook shape ρ\rho, let e1e_1^\perp be the operator adjoint to multiplication by e1e_1, and let Id\operatorname{Id} be the identity operator. Skewing conjecture. For all nn,

(Ide1)S(n)=a=0n2S(ana2),(\operatorname{Id}\otimes e_1^\perp)\mathcal{S}_{(n)}=\sum_{a=0}^{n-2}\mathcal{S}_{(a\,|\,n-a-2)},

and

(e1Id)S1n=a=1n1S(ana1).(e_1^\perp\otimes\operatorname{Id})\mathcal{S}_{1^n}=\sum_{a=1}^{n-1}\mathcal{S}_{(a\,|\,n-a-1)}.

These identities are reported as confirmed by computations for n4n\leq4, but no proof or general resolution is supplied.

Sources & referencesView supporting material

Primary source

François Bergeron, “(GL_k x S_n)-modules and nabla of hook-indexed Schur functions”, arXiv:1909.03531 (2019).

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.