BGG complexes in singular blocks of category O

DOI10.1016/J.JPAA.2020.106449MaRDI QIDQ2220199zbMATH OpenOpenAlexFDO

Authors Volodymyr Mazorchuk, Rafael Mrđen

Publication date 22 January 2021

Published in Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1907.04121

zbMATH Keywords

\(\mathcal{S}\)-subcategories in \(\mathcal{O}\)balanced quasi-hereditary algebrasBGG complexescategory \(\mathcal{O}\)Kazhdan-Lusztig polynomials

Mathematics Subject Classification ID

Representations of Lie algebras and Lie superalgebras, algebraic theory (weights) (17B10) Homological methods in Lie (super)algebras (17B55)

Abstract: Using translation from the regular block, we construct and analyze properties of BGG complexes in singular blocks of BGG category $mathcalO$. We provide criteria, in terms of the Kazhdan-Lusztig-Vogan polynomials, for such complexes to be exact. In the Koszul dual picture, exactness of BGG complexes is expressed as a certain condition on a generalized Verma flag of an indecomposable projective object in the corresponding block of parabolic category $mathcalO$. In the second part of the paper, we construct BGG complexes in a more general setting of balanced quasi-hereditary algebras and show how our results for singular blocks can be used to construct BGG resolutions of simple modules in $mathcalS$-subcategories in $mathcalO$.

Review text

Consider the BGG category \(\mathcal{O}\) of a finite-dimensional semisimple Lie algebra. The aim of this paper is to construct and study BGG complexes in singular blocks \(\mathcal{O}_\lambda\) of \(\mathcal{O}\). These are constructed by applying the translation functor \(T_0^\lambda\) to BGG complexes in the regular block \(\mathcal{O}_0\), and then making further simplifications governed by the Bruhat order. After these simplifications are made, the authors are able to prove an exactness criterion for singular BGG complexes, following the approach of [\textit{B. D. Boe} and \textit{M. Hunziker}, Commun. Algebra 37, No. 1, 323--356 (2009; Zbl 1243.17003)]. This is stated in terms of singular Kazhdan-Lusztig-Vogan polynomials. Numerous examples are provided. Finally, the results obtained for singular blocks are applied to produce analogues of BGG resolutions in \(\mathcal{S}\)-subcategories of \(\mathcal{O}\), leading to an extension of the main result of \textit{V. Futorny} and \textit{V. Mazorchuk} [J. Math. Kyoto Univ. 38, No. 2, 229--240 (1998; Zbl 0926.17006)].

Recommendations

• Singular blocks of the category \({\mathcal O}\)
• scientific article; zbMATH DE number 1460680
• Some homological properties of category \(\mathcal{O}\). IV
• The classification of blocks in BGG category \(\mathcal{O}\)
• ON AN ANALOGUE OF BGG-RECIPROCITY

Cites work

• \(\mathfrak n\)-cohomology of simple highest weight modules on walls and purity
• \(S\)-subcategories in \(O\)
• A generalization of the Bernstein-Gelfand-Gelfand resolution
• Applications of the category of linear complexes of tilting modules associated with the category O
• Bernstein-Gelfand-Gelfand resolutions for basic classical Lie superalgebras
• Bernstein-Gelfand-Gelfand sequences
• BGG complexes in singular infinitesimal character for type A
• BGG-resolution for -stratified modules over simply-laced finite-dimensional Lie algebras
• Cartan decompositions and BGG-resolutions
• Categories of induced modules and standardly stratified algebras
• Categorification of (induced) cell modules and the rough structure of generalised Verma modules
• Category 𝒪: Quivers and endomorphism rings of projectives
• scientific article; zbMATH DE number 3859361 (Why is no real title available?)
• scientific article; zbMATH DE number 3955161 (Why is no real title available?)
• scientific article; zbMATH DE number 4010725 (Why is no real title available?)
• scientific article; zbMATH DE number 3695423 (Why is no real title available?)
• scientific article; zbMATH DE number 40982 (Why is no real title available?)
• scientific article; zbMATH DE number 3529178 (Why is no real title available?)
• scientific article; zbMATH DE number 1033382 (Why is no real title available?)
• scientific article; zbMATH DE number 1460680 (Why is no real title available?)
• scientific article; zbMATH DE number 3452124 (Why is no real title available?)
• scientific article; zbMATH DE number 2115438 (Why is no real title available?)
• Kategorie O , Perverse Garben Und Moduln Uber Den Koinvariantez Zur Weylgruppe
• Kostant Modules in Blocks of Category 𝒪_S
• Koszul duality for stratified algebras. I: Balanced quasi-hereditary algebras.
• Koszul Duality Patterns in Representation Theory
• Lie algebra cohomology and the generalized Borel-Weil theorem
• Loewy series and simple projective modules in the category \({\mathcal O}_ S\)
• Moduln mit einem höchsten Gewicht
• Möbius inversion for the Bruhat ordering on a Weyl group
• On functors associated to a simple root
• Properly stratified algebras
• Quasi-hereditary extension algebras.
• Representations of semisimple Lie algebras in the BGG category O
• Singular BGG complexes for the symplectic case
• Singular BGG complexes over isotropic 2-Grassmannian
• Singular blocks of the category \({\mathcal O}\)
• Splitting Criteria for -Modules Induced from a Parabolic and the Bernstein-Gelfand-Gelfand Resolution of a Finite Dimensional, Irreducible -Module
• Vanishing theorems for Lie algebra cohomology and the cohomology of discrete subgroups of semisimple Lie groups

Cited in

(14)

• Bruhat intervals and parabolic cosets in arbitrary Coxeter groups
• Some homological properties of category \(\mathcal{O}\). VI
• Bernstein-Gelfand-Gelfand resolutions and the constructible \(t\)-structure
• Functoriality of the BGG category O.
• Nonzero infinitesimal blocks of category \({\mathcal{O}}_{S}\)
• BGG complexes in singular infinitesimal character for type A
• Singular BGG complexes for the symplectic case
• BGG Category 𝒪 and ℤ-Graded Representation Theory
• Demazure product of permutations and hopping
• Singular blocks of parabolic category O and finite W-algebras
• Nonsymmetric Cauchy Kernel, crystals and last passage percolation
• Some homological properties of category \(\mathcal{O} \). VII
• Criteria for smoothness of positroid varieties via pattern avoidance, Johnson graphs, and spirographs
• Singular blocks of the category \({\mathcal O}\)

This page was built for publication: BGG complexes in singular blocks of category \(\mathcal{O}\)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2220199)