\(\mathfrak n\)-cohomology of simple highest weight modules on walls and purity (Q1812723): Difference between revisions
From MaRDI portal
Removed claim: reviewed by (P1447): Item:Q585383 |
Changed an Item |
||
Property / reviewed by | |||
Property / reviewed by: Dragan Milicic / rank | |||
Normal rank |
Revision as of 15:53, 19 February 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | \(\mathfrak n\)-cohomology of simple highest weight modules on walls and purity |
scientific article |
Statements
\(\mathfrak n\)-cohomology of simple highest weight modules on walls and purity (English)
0 references
25 June 1992
0 references
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}\).
0 references
complex semisimple Lie algebra
0 references
pure Hodge module
0 references
Verma modules
0 references
irreducible highest weight modules
0 references
infinitesimal character
0 references
Cartan subalgebra
0 references
root system
0 references