Vexillary involution crystal isomorphism conjecture

Let II_\infty be the set of finite involutions, let zIz\in I_\infty be vexillary, meaning 21432143-avoiding, and let c(z)c(z) be its code, which is a symmetric weak composition. Assume that the largest descent of zz is at most nn.

Vexillary involution crystal conjecture. There is an isomorphism of qn+\mathfrak q^+_n-crystals

BRFnO(z)BRFnO(c(z)).\mathrm{BRF}^{\mathsf{O}}_n(z)\cong \mathrm{BRF}^{\mathsf{O}}_n(c(z)).

This is a crystal-theoretic strengthening of the conjectural identity SzO=κc(z)Q\mathfrak S^{\mathsf{O}}_z=\kappa^{\mathsf{Q}}_{c(z)} for vexillary involutions. The source reports supporting computations, but the conjecture is unresolved.

Sources & referencesView supporting material

Primary source

Eric Marberg and Travis Scrimshaw, “Crystals for shifted key polynomials”, arXiv:2306.00336 (2025).

Additional references

2 papers in this index state this conjecture (2023). The statement above is taken from the most recent of them; the others are arXiv:2302.04226.

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.