Conjecture on generators of the ideal INμI^{\mu}_N in the parabolic Hecke algebra

Less than 1 year old · traced to

Let Hμ(Sn)H^{\mu}(S_n) be the parabolic Hecke algebra, let INμI^{\mu}_N be the ideal under consideration, and define

XNμ=eμTγμCwN+1†Tγμ−1eμ,YNμ=eμCw~N+1†eμ.X^{\mu}_N=e_{\mu}T_{\gamma_{\mu}}C^{\dagger}_{w_{N+1}}T_{\gamma_{\mu}}^{-1}e_{\mu},\qquad Y^{\mu}_N=e_{\mu}C^{\dagger}_{\tilde{w}_{N+1}}e_{\mu}.

Generator conjectures. The element XNμX^{\mu}_N generates INμI^{\mu}_N; the element YNμY^{\mu}_N generates INμI^{\mu}_N; and

XNμ=YNμ.X^{\mu}_N=Y^{\mu}_N.

Statement a) was previously conjectured and proved in several special cases, including N=2N=2 for any μ\mu and arbitrary NN for specified types of μ\mu. The present work gives supporting evidence for the equality and proves all three statements in some special cases; if the equality holds, the two generator assertions are equivalent.

References

Primary source

Jeremie Guilhot and Loic Poulain d'Andecy, “Kazhdan-Lusztig bases of parabolic Hecke algebras and applications to Schur-Weyl duality”, arXiv:2602.20861 (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.