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

From papers

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+1Tγμ1eμ,YNμ=eμCw~N+1eμ.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.

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

Jeremie Guilhot and Loic Poulain d'Andecy, “Kazhdan-Lusztig bases of parabolic Hecke algebras and applications to Schur-Weyl duality”, arXiv:2602.20861 (2026).

Solutions 0

No solutions have been posted yet.