On some geometric aspects of Bruhat orderings. II: The parabolic analogue of Kazhdan-Lusztig polynomials (Q1109901): Difference between revisions

[Part I, cf. Invent. Math. 79, 499-511 (1985; Zbl 0563.14023).] We want to develop a theory of polynomials for the parabolic setup for any Coxeter group (W,S) and the subgroup \(W_ J\) generated by any subset \(J\subseteq S\). This is the starting point of our investigation. It turns out that one does get a set \(\{P^ J_{\tau,\sigma}\}\) of polynomials in \({\mathbb{Z}}[q]\) which is indexed by a pair \(\tau\), \(\sigma\) of elements in \(W^ J\), the set of minimal coset representatives of \(W/W_ J\). These polynomials give the dimensions of the intersection cohomology modules of Schubert varieties in G/P (see Theorem 4.1) for any P. They are related to \(P_{x,y}'s\) when the subgroup corresponding to P is finite (see Propositions 3.4 and 3.5). Incidentally, Proposition 3.5 provides a method for computing \(P_{x,y}'s\) which is very efficient since the number of intermediate steps is considerably smaller than that in the original setup (for any Coxeter group (W,S)).