The unequal-parameter cell classification conjecture for type BnB_n

Let WW be of type BnB_n, with generators t,s1,,sn1t,s_1,\ldots,s_{n-1}, where tt is not conjugate to the sis_i, and let a positive weight function be specified by

b:=L(t)>0,b:=L(t)>0, a:=L(s1)=L(s2)==L(sn1)>0.a:=L(s_1)=L(s_2)=\cdots=L(s_{n-1})>0.

Write the weight function as (b,a,a,,a)(b,a,a,\ldots,a). The unequal-parameter cell classification conjecture. The equivalence classes of weight functions are

L0={(b,a,a,,a)a>b>0},L1={(a,a,a,,a)a>0},Li={(ia,a,a,,a)a>0}(2in1),Li,i1={(b,a,a,,a)ia>b>(i1)a>0}(2in1),Lasymp={(b,a,a,,a)b>(n1)a>0}.\begin{aligned} {\mathcal L}_0 &= \{ (b,a,a,\ldots,a) \mid a>b>0\},\\ {\mathcal L}_1 &= \{ (a,a,a,\ldots,a) \mid a>0\},\\ {\mathcal L}_i &= \{ (ia,a,a,\ldots,a) \mid a>0\} \qquad (2\leqslant i\leqslant n-1),\\ {\mathcal L}_{i,i-1} &= \{(b,a,a,\ldots,a) \mid ia>b>(i-1)a>0\} \qquad (2\leqslant i\leqslant n-1),\\ {\mathcal L}_{\mathrm{asymp}} &= \{ (b,a,a,\ldots,a) \mid b>(n-1)a>0\}. \end{aligned}

The class L1{\mathcal L}_1 is the equal-parameter case, and Lasymp{\mathcal L}_{\mathrm{asymp}} is the asymptotic case. This conjecture proposes a complete classification of equivalence classes of positive weight functions for type BnB_n; the asymptotic range was already treated by Bonnaf'e and Iancu, while the intermediate cases remain to be established.

Sources & referencesView supporting material

Primary source

Meinolf Geck, “Computing Kazhdan–Lusztig cells for unequal parameters”, arXiv:math/0312392 (2003).

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.