Boolean elements in Kazhdan-Lusztig theory. (Q2576970): Difference between revisions

Let \((W,S)\) be a Coxeter system with \(\leqslant\) the Bruhat order and \(\ell\) the length function. An element \(w\in W\) is called Boolean, if \(w\leqslant s_1\cdots s_{n-1}s_ns_{n-1}\cdots s_1\), for some \(s_i\in S\) with \(s_i\neq s_j\) \(\forall i\neq j\) and \(\ell(s_1\cdots s_{n-1}s_ns_{n-1}\cdots s_1)=2n-1\). The paper under review assumes the Coxeter system \((W,S)\) to be linear (i.e., its Coxeter graph has no branching node). Let \(u,v\in W\) be Boolean with \(u\leqslant v\). The main result of the paper is to show that the Kazhdan-Lusztig polynomial \(P_{u,v}(q)\) is a power of \(q+1\). For any \(x\in W\), let \(C_x\) be the Kazhdan-Lusztig element in the Hecke algebra associated to \((W,S)\) and let \(F_x(q):=\sum_{u\leqslant x}q^{\ell(u)}P_{u,x}(q)\), which is the intersection homology Poincaré polynomial of the Schubert variety indexed by \(x\) in the case where \(W\) is either a Weyl or an affine Weyl group. Now assume that \(w\in W\) is Boolean. The paper expresses the element \(C_w\) explicitly as a \(\mathbb{Z}[q^{1/2},q^{-1/2}]\)-linear combination of the monomials of the form \(C_{s_1}\cdots C_{s_r}\), \(s_i\in S\). Also, the paper expresses \(F_w(q)\) explicitly as an element in the ring \(\mathbb{Z}[q]\).