[Paper Review] Quadratic duals, Koszul dual functors, and applications

Volodymyr Mazorchuk, Serge Ovsienko+1 more|arXiv (Cornell University)|Mar 20, 2006

Algebraic structures and combinatorial models14 references4 citations

TL;DR

This paper introduces a generalized framework for quadratic and Koszul duality in the context of positively graded categories, extending classical duality beyond finite-dimensional or unital algebras. It defines quadratic dual functors via linear complexes of projectives and applies them to reprove Koszul duality between translation and Zuckerman functors in category O, while establishing new dualities for Harish-Chandra bimodules and Kac-Moody category O.

ABSTRACT

The paper studies quadratic and Koszul duality for modules over positively graded categories. Typical examples are modules over a path algebra, which is graded by the path length, of a not necessarily finite quiver with relations. We present a very general definition of quadratic and Koszul duality functors backed up by explicit examples. This generalises previous results in two substantial ways: We work in the setup of graded categories, i.e. we allow infinitely many idempotents and also define a ``Koszul'' duality functor for not necessarily Koszul categories. As an illustration of the techniques we reprove the Koszul duality of translation and Zuckerman functors for the classical category O in a quite elementary and explicit way. As applications we propose a definition of a "Koszul" dual category for integral blocks of Harish-Chandra bimodules and for blocks outside the critical hyperplanes for the Kac-Moody category O.

Motivation & Objective

• To generalize quadratic and Koszul duality beyond finite-dimensional or unital algebras by working in the setting of positively graded categories.
• To define a universal quadratic dual functor using linear complexes of projective modules, applicable even to non-Koszul categories.
• To provide an elementary, explicit proof of the Koszul duality between translation and Zuckerman functors in classical category O.
• To propose a Koszul dual category for integral blocks of Harish-Chandra bimodules and for blocks outside critical hyperplanes in Kac-Moody category O.
• To construct a generalized Koszul complex as a complex of bimodules over a category and its quadratic dual, linking to recent developments in homological algebra.

Proposed method

• Define the quadratic dual of a positively graded category using the category of linear complexes of projective modules over the category.
• Construct the complex $\mathbb{P}^\bullet$ as a resolution of the identity functor in the derived category of the quadratic dual.
• Introduce a differential $\delta$ on $M_\mathbf{C} \otimes_{\mathbf{C}_0} {}_{\mathbf{C}^!}N$ given by $\delta(m \otimes n) = \sum_i m a_i \otimes a^i n$, where $\{a_i\}$ and $\{a^i\}$ are dual bases of $\mathbf{C}_1$ and $\mathbf{C}^!_1$.
• Prove $\delta^2 = 0$ using the orthogonality of relations and their duals, showing that the complex is well-defined and homogeneous of bidegree $(1,1)$.
• Use the resulting generalized Koszul complex to recover classical Koszul complexes and extend them to bimodule structures.
• Apply the framework to category $\mathcal{O}$, showing that the duality functors for translation and Zuckerman functors are Koszul dual via the complex $\mathbb{P}^\bullet$.

Experimental results

Research questions

• RQ1 How can quadratic and Koszul duality be generalized beyond finite-dimensional or unital algebras to include categories with infinitely many idempotents?
• RQ2 Can a unified duality functor be defined for any quadratic algebra using linear complexes of projectives, even when the category is not Koszul?
• RQ3 What is the precise relationship between translation and Zuckerman functors in category $\mathcal{O}$, and can this duality be proven without dg-algebras?
• RQ4 How can a Koszul dual category be defined for integral blocks of Harish-Chandra bimodules and for blocks of Kac-Moody category $\mathcal{O}$ outside critical hyperplanes?
• RQ5 What is the role of the generalized Koszul complex in unifying classical constructions and extending them to bimodules over dual categories?

Key findings

• The paper constructs a quadratic dual category $\mathbf{C}^!$ for any positively graded category $\mathbf{C}$ via the category of linear complexes of projectives, generalizing the classical quadratic dual of an algebra.
• The differential $\delta$ defined on $M_\mathbf{C} \otimes_{\mathbf{C}_0} {}_{\mathbf{C}^!}N$ satisfies $\delta^2 = 0$, establishing a well-defined complex of graded bimodules.
• The complex $\mathcal{C}^\bullet = \mathcal{C}^\bullet(M,N)$ is isomorphic to $\mathbb{P}^\bullet$ from Section 4.2, providing a concrete realization of the generalized Koszul complex.
• The generalized Koszul complex $\mathcal{C}^\bullet(\mathbf{C}, (\mathbf{C}^!)^*)$ contains the classical Koszul complex as a subcomplex, extending it to a bimodule setting.
• The authors reprove the Koszul duality between translation and Zuckerman functors in category $\mathcal{O}$ using only the complex $\mathbb{P}^\bullet$, offering a more elementary and explicit proof than previous dg-algebra-based approaches.
• The duality between twisting/completion and shuffling/coshuffling functors is established as a consequence, resolving a surprising and previously unexplained duality in the literature.