Stable orthogonal Grothendieck specialization for involutions fixing 1

From papers

Let II_\infty be the involutions of the infinite symmetric group, let DesV(z)\mathrm{Des}_V(z) be the visible descent set, and let GzO\mathfrak G^{\mathsf{O}}_z be the orthogonal involution Grothendieck polynomial. Stable specialization conjecture. If zIz\in I_\infty satisfies z(1)=1z(1)=1, then the limit in the source converges as a power series to a symmetric function and

GQz(x1,x2,,xn)=πwn(β)(GzO)GQ_z(x_1,x_2,\ldots,x_n)=\pi^{(\beta)}_{w_n}(\mathfrak G^{\mathsf{O}}_z)

for every nPn\in\mathbb P such that DesV(z)[n]\mathrm{Des}_V(z)\subseteq[n]. The supplied status is open, but the stated result is described as resolving an earlier question about finite positive expansions of GQμGQ_\mu into GλG_\lambda's; the exact resolution status should be checked against the paper.

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

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

Solutions 0

No solutions have been posted yet.