The usual definition of the parabolic category $\mathcal{O}^{\mathfrak{p}}$ is the following. We consider Lie algebra $\mathfrak{g}$ of the rank $r$ with the root system $\Delta$ and the set of positive roots $\Delta^+$.

We then select some subset $I$ in the set of simple roots $\alpha_1,\dots, \alpha_r$ and construct the corresponding standard parabolic subalgebra $\mathfrak p_I$, Levi subalgebra $\mathfrak l_{I}=\mathfrak h\oplus\sum_{\alpha\in \Delta_I} \mathfrak g_{\alpha}$ and the nilradical $\mathfrak u_I=\oplus_{\alpha\in \Delta\setminus \Delta_I}\mathfrak{g}_{\alpha}$. Then the category $\mathcal{O}^{\mathfrak{p}}$ is the subcategory of finitely-generated $U(\mathfrak{g})$-modules, which are locally $\mathfrak{u}_I$-finite and are a sums of finite-dimensional simple $U(\mathfrak{l}_I)$-modules. The generalized Verma modules are defined and the analogue of Bernstein-Gelfand-Gelfand resolution is proved.

The question is if it is possible to drop the requirement of standartness of parabolic subalgebra? What parts of the theory can be developed for the arbitrary parabolic subalgebra constructed from the arbitrary subset of positive roots $\Delta^+$?

Are there any papers discussing this generalisation?

  • 1
    $\begingroup$ I'm having trouble coming up with a clever justification for this argument, but I think that actually, you will just end up with category $\mathcal O$ for the smallest standard parabolic containing whichever one you choose. $\endgroup$ – Ben Webster Nov 15 '10 at 7:23
  • 3
    $\begingroup$ There is some confusion in the question: an arbitrary parabolic subalgebra is conjugate under the associated adjoint group to a standard one, so all parabolic categories are equivalent to those constructed using some fixed set of simple roots. The choice of simple roots, hence of "standard" parabolics, doesn't matter here. $\endgroup$ – Jim Humphreys Nov 15 '10 at 11:49

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.