A pairing in homology and the category of linear complexes of tilting modules for a quasi-hereditary algebra (with an appendix by Catharina Stroppel).

DOI10.1215/KJM/1250281654MaRDI QIDQ2494635zbMATH OpenOpenAlexFDO

Authors Volodymyr Mazorchuk, S. Ovsienko

Publication date 14 July 2006

Published in Journal of Mathematics of Kyoto University (Search for Journal in Brave)

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

zbMATH Keywords

Koszul dualityquasi-hereditary algebrasRingel dualitytilting modules

Mathematics Subject Classification ID

Syzygies, resolutions, complexes in associative algebras (16E05) Homological functors on modules (Tor, Ext, etc.) in associative algebras (16E30) Representations of quivers and partially ordered sets (16G20)

Abstract: We show that there exists a natural non-degenerate pairing of the homomorphism space between two neighbor standard modules over a quasi-hereditary algebra with the first extension space between the corresponding costandard modules and vise versa. Investigation of this phenomenon leads to a family of pairings involving standard, costandard and tilting modules. In the graded case, under some "Koszul-like" assumptions (which we prove are satisfied for example for the blocks of the category $mathcalO$), we obtain a non-degenerate pairing between certain graded homomorphism and graded extension spaces. This motivates the study of the category of linear tilting complexes for graded quasi-hereditary algebras. We show that, under assumptions, similar to those mentioned above, this category realizes the module category for the Koszul dual of the Ringel dual of the original algebra. As a corollary we obtain that under these assumptions the Ringel and Koszul dualities commute.

Review text

Let \(A\) be a quasi-hereditary algebra over a field \(k\), with standard modules \(\Delta(i)\) and costandard modules \(\nabla(i)\). Suppose \(i\) and \(j\) are neighbouring indices in the partial order. Then the authors construct a non-degenerate bilinear pairing \(\Hom_A(\Delta(i),\Delta(j))\times\text{Ext}^1_A(\nabla(j),\nabla(i))\to k\). Under additional assumptions, they also obtain a graded analogue. This works for the BGG-category \(\mathcal O\) and its parabolic analogue. There are interesting consequences for Ringel duality, which in particular is shown to commute with Koszul duality.

Recommendations

• Koszul duality for stratified algebras. I: Balanced quasi-hereditary algebras.
• On Characteristic Modules of Graded Quasi-hereditary Algebras
• Ringel duals of quasi-hereditary algebras
• Ringel duals of affine quasi-hereditary algebras
• Koszul duality for extension algebras of standard modules.

Cited in

(26)

• Nazarov-Wenzl algebras, coideal subalgebras and categorified skew Howe duality
• Symmetric structure for the endomorphism algebra of projective-injective module in parabolic category
• Quasi-hereditary extension algebras.
• The Ext-algebra of standard modules over dual extension algebras
• Some homological properties of category \(\mathcal{O}\). VI
• Koszul duality of affine Kac-Moody algebras and cyclotomic rational double affine Hecke algebras
• The 2-braid group and Garside normal form
• Dualities and derived equivalences for category \(\mathcal{O}\)
• Koszul duality for stratified algebras. I: Balanced quasi-hereditary algebras.
• Standard Koszul standardly stratified algebras
• Primitive ideals, twisting functors and star actions for classical Lie superalgebras
• On Characteristic Modules of Graded Quasi-hereditary Algebras
• Some homological properties of the category \(\mathcal O\). II.
• Quadratic duals, Koszul dual functors, and applications
• Quiver Schur algebras and Koszul duality.
• Category \(\mathcal{O}\) for the Schrödinger algebra
• Cohomology in singular blocks of parabolic category
• On minimal tilting complexes in highest weight categories
• Criterion for Quasi-Heredity
• On Hecke algebras and \(\mathbb{Z}\)-graded twisting, shuffling and Zuckerman functors
• Some homological properties of category \(\mathcal{O} \). VII
• The primitive spectrum of a basic classical Lie superalgebra
• Affine category \(\mathcal{O}\), Koszul duality and Zuckerman functors
• Applications of the category of linear complexes of tilting modules associated with the category O
• Categorification of (induced) cell modules and the rough structure of generalised Verma modules
• Koszul duality for extension algebras of standard modules.

This page was built for publication: A pairing in homology and the category of linear complexes of tilting modules for a quasi-hereditary algebra (with an appendix by Catharina Stroppel).

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