[论文解读] Quadratic duals, Koszul dual functors, and applications

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

Algebraic structures and combinatorial models参考文献 14被引用 4

一句话总结

本文提出了一种广义框架，用于正分次范畴中的二次对偶与科什乌勒对偶，将经典对偶性推广至有限维或含单位元代数之外的范畴。通过投影模的线性复形定义了二次对偶函子，并将其应用于重新证明在范畴 O 中的平移函子与祖克曼函子之间的科什乌勒对偶性，同时为哈里什-钱德拉双模与基姆-穆迪范畴 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.

研究动机与目标

• 通过在正分次范畴的设定下工作，将二次对偶与科什乌勒对偶性推广至有限维或含单位元代数之外的范畴。
• 利用投影模的线性复形定义一个通用的二次对偶函子，即使在非科什乌勒范畴中也适用。
• 为经典范畴 O 中平移函子与祖克曼函子之间的科什乌勒对偶性提供一种初等且显式的证明。
• 为哈里什-钱德拉双模的整数块以及基姆-穆迪范畴 O 中临界超平面外的块提出一个科什乌勒对偶范畴。
• 构建一个广义科什乌勒复形，作为范畴及其二次对偶之间双模的复形，与同调代数的最新进展相联系。

提出的方法

• 通过范畴上投影模的线性复形类别，定义正分次范畴的二次对偶。
• 在二次对偶的导出范畴中，构造复形 $\mathbb{P}^\bullet$ 作为恒等函子的解析。
• 在 $M_\mathbf{C} \otimes_{\mathbf{C}_0} {}_{\mathbf{C}^!}N$ 上引入微分 $\delta$，其定义为 $\delta(m \otimes n) = \sum_i m a_i \otimes a^i n$，其中 $\{a_i\}$ 与 $\{a^i\}$ 分别为 $\mathbf{C}_1$ 与 $\mathbf{C}^!_1$ 的对偶基。
• 利用关系及其对偶的正交性，证明 $\delta^2 = 0$，从而说明该复形是良定义的，且为双次数 $(1,1)$ 的齐次复形。
• 利用所得的广义科什乌勒复形，恢复经典科什乌勒复形，并将其推广至双模结构。
• 将该框架应用于范畴 $\mathcal{O}$，证明平移函子与祖克曼函子的对偶函子通过复形 $\mathbb{P}^\bullet$ 构成科什乌勒对偶。

实验结果

研究问题

• RQ1 如何将二次对偶与科什乌勒对偶性推广至包含无限多个幂等元的范畴，超越有限维或含单位元代数？
• RQ2 能否为任意二次代数定义一个统一的对偶函子，使用投影模的线性复形，即使该范畴并非科什乌勒范畴？
• RQ3 平移函子与祖克曼函子在范畴 $\mathcal{O}$ 中的确切关系为何？能否在不使用 dg-代数的情况下证明该对偶性？
• RQ4 如何为哈里什-钱德拉双模的整数块以及基姆-穆迪范畴 $\mathcal{O}$ 中临界超平面外的块定义一个科什乌勒对偶范畴？
• RQ5 广义科什乌勒复形在统一经典构造并将其推广至对偶范畴上的双模中起何种作用？

主要发现

• 本文通过投影模的线性复形类别，为任意正分次范畴 $\mathbf{C}$ 构造了其二次对偶范畴 $\mathbf{C}^!$，推广了代数的经典二次对偶。
• 在 $M_\mathbf{C} \otimes_{\mathbf{C}_0} {}_{\mathbf{C}^!}N$ 上定义的微分 $\delta$ 满足 $\delta^2 = 0$，从而确立了一个良定义的分次双模复形。
• 复形 $\mathcal{C}^\bullet = \mathcal{C}^\bullet(M,N)$ 同构于第 4.2 节中的 $\mathbb{P}^\bullet$，为广义科什乌勒复形提供了具体的实现。
• 广义科什乌勒复形 $\mathcal{C}^\bullet(\mathbf{C}, (\mathbf{C}^!)^*)$ 包含经典科什乌勒复形作为子复形，从而将其推广至双模设定。
• 作者仅通过复形 $\mathbb{P}^\bullet$ 重新证明了范畴 $\mathcal{O}$ 中平移函子与祖克曼函子之间的科什乌勒对偶性，提供了比以往基于 dg-代数方法更为初等且显式的证明。
• 扭转/完成函子与卷积/对偶卷积函子之间的对偶性作为推论被确立，解决了文献中一个出人意料且此前未被解释的对偶性。