Stable orthogonal Grothendieck specialization for involutions fixing 1

At least 2 years old · documented by

Let I∞I_\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 z∈I∞z\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 n∈Pn\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.

References

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.