Lascoux expansion conjecture for symplectic involution Grothendieck polynomials

Let IfpfI^{\mathsf{fpf}}_\infty denote the fixed-point-free involutions, let GzSp\mathfrak G^{\mathsf{Sp}}_z be the corresponding symplectic involution Grothendieck polynomial, and let DSp(α)D^{\mathsf{Sp}}(\alpha) and DSp(z)D^{\mathsf{Sp}}(z) denote the associated symplectic diagrams. Lascoux expansion conjecture. For every zIfpfz\in I^{\mathsf{fpf}}_\infty, there is a set Z(z)\mathcal Z(z) of skew-symmetric weak compositions such that

GzSp=αZ(z)βDSp(α)DSp(z)LαP,\mathfrak G^{\mathsf{Sp}}_z=\sum_{\alpha\in\mathcal Z(z)}\beta^{|D^{\mathsf{Sp}}(\alpha)|-|D^{\mathsf{Sp}}(z)|}L^\mathsf{P}_\alpha,

so the coefficients belong to {βn:nN}\{\beta^n:n\in\mathbb N\}. This generalizes the P-key expansion conjecture and was checked computationally through size n8n\leq8; no general resolution is given.

Sources & referencesView supporting material

Primary source

Eric Marberg and Travis Scrimshaw, “Key and Lascoux polynomials for symmetric orbit closures”, arXiv:2302.04226 (2026).

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.