Categories of induced modules and standardly stratified algebras (Q698059): Difference between revisions

The paper deals with the BGG-category \(\mathcal{O}\) analogues associated with a parabolic subalgebra of a simple finite-dimensional complex Lie algebra. Namely, the admissible category \(\Lambda\) and the category \(\mathcal{O}(\mathcal{P},\Lambda)\) are considered. Denote by \(\widetilde{\mathfrak{U}}\) a reductive complex finite-dimensional Lie algebra with semisimple part \(\mathfrak{U}\), and denote by \(\Lambda\) a full subcategory of the category of all finitely-generated \(\widetilde{\mathfrak{U}}\)-modules. The category \(\Lambda\) is called admissible if: (1) \(\Lambda\) has an Abelian structure (not necessary inherited from the category of all modules) and the endomorphism ring of any simple object in \(\Lambda\) is \(\mathbb{C}\). (2) Any \(M\in\Lambda\) is the weight with respect to the center of \(\widetilde{\mathfrak{U}}\). (3) For any finite-dimensional simple \(\widetilde{\mathfrak{U}}\)-modules \(F\), \(F\otimes\)- is an exact endofunctor on \(\Lambda\). Let \(\mathcal{P}=(\mathfrak{U}\oplus\mathfrak{H}_{\mathfrak{U}})\oplus\mathfrak{N}\) be a parabolic subalgebra of the semisimple complex Lie algebra \(\mathfrak{G}\) with Levi factor \(\mathfrak{U}\oplus\mathfrak{H}_{\mathfrak{U}}\),where \(\mathfrak{U}\) is semisimple, \(\mathfrak{H}_{\mathfrak{U}}\) is Abelian, \([\mathfrak{U},\mathfrak{H}_{\mathfrak{U}}]=0\) and \(\widetilde{\mathfrak{U}}\simeq\mathfrak{U}+\mathfrak{H}_{\mathfrak{U}}\). Denote by \(\mathcal{O}(\mathcal{P},\Lambda)\) the full subcategory of the category of \(\mathfrak{G}\)-modules consisting of modules which are: (1) finitely generated; (2) \(\mathfrak{N}\)-finite; (3) a direct sum of modules from \(\Lambda\), when viewed as \(\widetilde{\mathfrak{U}}\)-modules. The authors derive that, under some natural conditions, \(\mathcal{O}(\mathcal{P},\Lambda)\) decomposes into blocks, each of which is the module category of a finite-dimensional algebra. Moreover, assuming such a decomposition for \(\Lambda\) with blocks being standardly stratified algebras, the authors derive that the block of \(\mathcal{O}(\mathcal{P},\Lambda)\) also corresponds to standardly stratified algebras. The reciprocity formulae in these categories are also proved.