4
$\begingroup$

In the paper: Kostant modules in blocks of category $\mathcal{O}^\mathfrak{p}$

In section 8.2 (p.22), I use the notation in Humphrey's Category $\mathcal{O}$ book.

Then the passage said the following: ``The general formula follows from the following isomorphism (which is proved using a Lyndon-Hochschild-Serre spectral sequence argument as in [ES1, Chap. 15])

$ \text{Ext}^i _{\mathcal{O}^\mathfrak{p}}(M_I(w_Iy\cdot\mu), L(w_Iw\cdot\mu)) \cong\text{Ext}^i _{\mathcal{O}}(M(w_Iy\cdot\mu), L(w_Iw\cdot\mu)), $

where $M(w_Iy\cdot\mu)$ is the ordinary Verma module of highest weight $w_Iy\cdot\mu$ in the block $\mathcal{O}_\mu$ of ordinary category $\mathcal{O}$."

Note that $M_I(w_Iy\cdot\mu)$ is the parabolic Verma module defined in Humphrey's book Ch. 9. And $L(\lambda)$ is the unique simple subquotient of both $M_I(\lambda)$ and $M(\lambda)$.

Does anyone know how to use Lyndon-Hochschild-Serre spectral sequence argument to show the isomorphism for any $y,w\in {}^SW^J$ and any anti-dominant integral weight $\mu\in\mathfrak{h}^*$?

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.