Affine category O, Koszul duality and Zuckerman functors

DOI10.1016/J.AIM.2021.107921MaRDI QIDQ822712zbMATH OpenOpenAlexFDO

Authors Ruslan Maksimau

Publication date 23 September 2021

Published in Advances in Mathematics (Search for Journal in Brave)

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

zbMATH Keywords

category OKoszul dualityZuckerman functor

Mathematics Subject Classification ID

Representations of Lie algebras and Lie superalgebras, algebraic theory (weights) (17B10)

Abstract: The parabolic category $mathcalO$ for affine ${mathfrakgl}_N$ at level $-N-e$ admits a structure of a categorical representation of $widetilde{mathfraksl}_e$ with respect to some endofunctors $E$ and $F$. This category contains a smaller category $mathbfA$ that categorifies the higher level Fock space. We prove that the functors $E$ and $F$ in the category $mathbfA$ are Koszul dual to Zuckerman functors. The key point of the proof is to show that the functor $F$ for the category $mathbfA$ at level $-N-e$ can be decomposed in terms of the components of the functor $F$ for the category $mathbfA$ at level $-N-e-1$. To prove this, we use the following fact: a category with an action of $widetilde{mathfraksl}_{e+1}$ contains a (canonically defined) subcategory with an action of $widetilde{mathfraksl}_e$. We also prove a general statement that says that in some general situation a functor that satisfies a list of axioms is automatically Koszul dual to some sort of Zuckerman functor.

Recommendations

• scientific article; zbMATH DE number 4154692
• Categorical Koszul duality
• scientific article; zbMATH DE number 1460680
• Two kinds of derived categories, Koszul duality, and comodule-contramodule correspondence
• Koszul duality for operadic categories
• Affine categories and naturally Mal'cev categories
• Category O for the Virasoro algebra: cohomology and Koszulity
• Affine space over triangulated categories: a further invitation to Grothendieck derivators
• Koszul duality and equivariant cohomology
• scientific article; zbMATH DE number 5831329

Cites work

• A pairing in homology and the category of linear complexes of tilting modules for a quasi-hereditary algebra (with an appendix by Catharina Stroppel).
• Annihilating ideals and tilting functors
• Categorical representations and KLR algebras
• Categorifications and cyclotomic rational double affine Hecke algebras.
• Category \({\mathcal O}\): gradings and translation functors.
• Centers and translation functors for the category \({\mathcal O}\) over Kac-Moody algebras
• Crystals of Fock spaces and cyclotomic rational double affine Hecke algebras
• scientific article; zbMATH DE number 3695423 (Why is no real title available?)
• Koszul duality of affine Kac-Moody algebras and cyclotomic rational double affine Hecke algebras
• Koszul duality of translation--and Zuckerman functors
• Koszul Duality Patterns in Representation Theory
• On the category \(\mathcal O\) for rational Cherednik algebras.
• Parabolic induction and restriction functors for rational Cherednik algebras.
• Quadratic duals, Koszul dual functors, and applications
• Quiver Schur algebras and Koszul duality.
• Representations of semisimple Lie algebras in the BGG category O
• The combinatorics of category \({\mathcal O}\) over symmetrizable Kac-Moody algebras
• Tilting modules and the p-canonical basis

Cited in

(2)

• Koszul duality of translation--and Zuckerman functors
• scientific article; zbMATH DE number 1460680 (Why is no real title available?)

This page was built for publication: Affine category \(\mathcal{O}\), Koszul duality and Zuckerman functors

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