Lusztig's symmetry conjecture for dimension polynomials

Let WW be a Weyl group, let J\mathcal{J} be its set of near involutions, and write dim(Mw)=Pw(q)\dim(M_w)=P_w(q), where Pw(t)Q[t]P_w(t)\in\mathbb{Q}[t]. For wJw\in\mathcal{J}, let LD(w)S\mathcal{L}_D(w)\subset S be its left descent set, and let ν\nu be the exponent appearing in the conjectured symmetry. Lusztig's symmetry conjecture. There exists an involution ww~w\leftrightarrow\widetilde{w} of J\mathcal{J} such that

tνPw(1/t)=±Pw~(t),LD(w~)=SLD(w).t^\nu P_w(1/t)=\pm P_{\widetilde{w}}(t),\qquad \mathcal{L}_D(\widetilde{w})=S\setminus\mathcal{L}_D(w).

The paper states that this conjecture is false for the characters MwM_w constructed there, so it is refuted in this setting.

Sources & referencesView supporting material

Primary source

Roman Bezrukavnikov, Michael Finkelberg, David Kazhdan and Calder Morton-Ferguson, “Modular reduction of complex representations of finite reductive groups”, arXiv:2502.09605 (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.