\(\mathfrak n\)-cohomology of simple highest weight modules on walls and purity (Q1812723)

Let \(\mathfrak g\) be a complex semisimple Lie algebra, \(G\) the group of its inner automorphisms, \(B\) a Borel subgroup of \(G\) and \(P\) a parabolic subgroup containing \(B\). The main result of this paper is the following: let \(\mathcal F\) be a pure Hodge module (in sense of M. Saito) on \(G/B\) smooth along the Bruhat cells. Then its restrictions to the \(P\)-orbits are also pure of the same weight as \(\mathcal F\). Using this result the author proves a result which expresses the dimensions of Ext-groups between Verma modules and irreducible highest weight modules with a singular integral infinitesimal character in the category \(\mathcal O\) of highest weight modules in terms of the dimensions of the corresponding groups for regular integral infinitesimal character. More precisely, let \(\mathfrak h\) be a Cartan subalgebra of \(\mathfrak g\) contained in the Lie algebra \(\mathfrak b\) of \(B\). Let \(W\) be the Weyl group of the root system of \(({\mathfrak g},{\mathfrak h})\), and \(\ell: W\to \mathbb{Z}\) the length function on \(W\). Let \(\rho\) be the half-sum of positive roots. For \(\mu \in {\mathfrak h}^*\), denote by \(M(\mu)\) the Verma module with highest weight \(\mu- \rho\) and by \(L(\mu)\) its unique irreducible quotient. If \(\lambda\) is an integral antidominant weight, denote by \(W_ \lambda\) its stabilizer of \(\lambda\) in \(W\) and by \({^ \lambda W}\) the set of representatives of \(W/W_ \lambda\) of shortest length. Then \[ \dim\text{Ext}^ i_{\mathcal O}(M(v\lambda),L(w\lambda)) = \sum_{z\in W_ \lambda}(- 1)^{\ell(z)}\dim\text{Ext}^{i-\ell(z)}_{\mathcal O}(M(-vz\rho),L(- w\rho)) \] for any \(v,w \in {^ \lambda W}\).