No label defined (Q3972934)

[For the entire collection see Zbl 0719.00018.] This paper, as a continuation of [\textit{M. Kashiwara}, The Grothendieck Festschrift, Vol. II, Prog. Math. 87, 407-433 (1990; Zbl 0727.17013)], completes the proof of the Kazhdan-Lusztig conjecture for symmetrizable Kac-Moody Lie algebras. The proof consists of two parts: (1) the algebraic part --- the correspondence between \({\mathcal D}\)-modules on the flag variety and representations of the Kac-Moody Lie algebra, (2) the topological part --- the description of geometry of Schubert varieties in terms of the Kazhdan-Lusztig polynomials. The algebraic part is already established in the paper cited above and the paper under review is devoted to the topological part. There are two points in the proof except which the proof is similar to the finite dimensional case. The first one is the usage of the theory of mixed Hodge modules and the second one is the interpretation of the inverse Kazhdan-Lusztig polynomials as the coefficients of certain elements in the dual of the Hecke-Iwahori algebra. Let \({\mathfrak h}\) be the Cartan subalgebra of a symmetrizable Kac-Moody Lie algebra and \(W\) the Weyl group. For \(w\in W\) define the action on \({\mathfrak h}^*\) by \(w\cdot\lambda=w(\lambda+\rho)-\rho\). Let \(P_{z,w}(q)\) be the Kazhdan-Lusztig polynomial and \(Q_{z,w}(q)\) the inverse Kazhdan- Lusztig polynomial. They are related by \[ \sum_ w(-1)^{\ell(w)- \ell(y)}Q_{y,w}(q)P_{w,z}(q)=\delta_{y,z}. \] The main result of the paper is the following. For a dominant integral weight \(\lambda\in{\mathfrak h}^*\), one has \[ ch L(w\cdot\lambda)=\sum_ z(-1)^{\ell(z)- \ell(w)}Q_{w,z}(1)ch M(z\cdot\lambda), \] or equivalently \(ch M(w\cdot\lambda)=\sum_ zP_{w,z}(1)ch L(z\cdot\lambda)\).