The verification of a conjecture on left cells of certain Coxeter groups (Q1894988)

Let \(W = (W,S)\) be a Coxeter group with \(S\) its Coxeter generator set. For \(w \in W\), one denotes by \(l(w)\) the length of \(w\), and associates a subset \({\mathcal R} (w) = \{s \in S \mid ws < w\}\) of \(S\). For \(y, w \in W\), one writes \(y\)---\(w\) if either \(\text{deg }P_{y,w}\) or \(\text{deg }P_{w,y}\) reaches \({1\over 2}(|l(w) - l(y)|- 1)\), where \(P_{y,w}\) is a Kazhdan-Lusztig polynomial [\textit{D. Kazhdan} and \textit{G. Lusztig}, Invent. Math. 53, 165-184 (1979; Zbl 0499.20035)]. The equivalence relations \(\sim_L\), \(\sim_R\), \(\sim_{LR}\) on \(W\) are defined in [loc. cit.]. The equivalence classes of \(W\) with respect to \(\sim_L\) (resp. \(\sim_R\), \(\sim_{LR}\)) are called left (resp. right, two-sided) cells. \textit{G. Lusztig} defined a function \(a : W \to N \cup \{\infty\}\) [in Adv. Stud. Pure Math. 6, 255-287 (1985; Zbl 0569.20032)]. To each element \(x \in W\), one associates a set \(\Sigma (x)\) of all left cells \(\Gamma\) of \(W\) satisfying the condition that there exists some element \(y \in \Gamma\) with \(y\)---\(x\), \({\mathcal R}(y) \nsubseteq {\mathcal R}(x)\) and \(a(y) = a(x)\). In [Tôhoku Math. J., II. Ser. 46, 105-124 (1994; Zbl 0798.20040)] the author showed that if \(x \sim_L y\) in \(W\) then \({\mathcal R} (x) = {\mathcal R}(y)\) and \(\Sigma(x) = \Sigma(y)\), and conjectured that the reverse conclusion should also be true. In the present paper, the author proves this conjecture in the cases when \(W\) is an irreducible Weyl group \(W'\) and when \(W\) is an irreducible affine Weyl group \(W_a\) with the following cases excepted: \(W_a\) has type \(\widetilde {F}_4\), the element \(x\) in the conjecture satisfies \({\mathcal R} (x) \in \{\{s_0, s_1, s_2\},\{s_3, s_4\}\}\) and \(a(x) \in \{6, 7, 9, 10, 13, 16\}\).