Hermitian Kazhdan–Lusztig polynomial sign conjecture

About 13 years old · traced to

Let X=X(O,L)X=X({\mathcal O},{\mathcal L}) be a standard module for the affine Hecke algebra with Hermitian Kazhdan–Lusztig polynomials P(O,L),(O′,L′)h(q)P^h_{({\mathcal O},{\mathcal L}),({\mathcal O}',{\mathcal L}')}(q) and ordinary Kazhdan–Lusztig polynomials P(O,L),(O′,L′)(q)P_{({\mathcal O},{\mathcal L}),({\mathcal O}',{\mathcal L}')}(q). Hermitian Kazhdan–Lusztig sign conjecture. For every pair (O,L)({\mathcal O},{\mathcal L}), there exists an orientation number ϵ(O,L)∈{±1}\epsilon({\mathcal O},{\mathcal L})\in\{\pm1\} such that

P(O,L),(O′,L′)h(q)=ϵ(O,L)ϵ(O′,L′)P(O,L),(O′,L′)(−q).P^h_{({\mathcal O},{\mathcal L}),({\mathcal O}',{\mathcal L}')}(q)=\epsilon({\mathcal O},{\mathcal L})\epsilon({\mathcal O}',{\mathcal L}')P_{({\mathcal O},{\mathcal L}),({\mathcal O}',{\mathcal L}')}(-q).

The conjecture predicts that Hermitian Kazhdan–Lusztig polynomials are obtained from the ordinary ones by replacing qq with −q-q, up to signs attached to the two orbit–local-system pairs; the supplied context says it is motivated by a theorem of Adams, van Leeuwen, Trapa, and Vogan but gives no resolution.

References

Primary source

Dan Barbasch and Dan Ciubotaru, “Hermitian forms for affine Hecke algebras”, arXiv:1312.3316 (2015).

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.