[論文レビュー] 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

ひとこと要約

本稿は、正に重層的な圏の文脈において、二次的およびコシュール双対性を一般化する枠組みを導入する。これは、有限次元または単位的代数に限らない古典的双対性の拡張である。線形複体としての射影的モジュールを用いて二次的双対関手を定義し、それらを用いて古典的カテゴリーオの翻訳関手とツッケルマン関手の間のコシュール双対性を再証明するとともに、ハリシュ・チャンドラ双モジュールおよびカック＝ムーディカテゴリーオの臨界超平面外のブロックに対して新たな双対性を確立する。

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.

研究の動機と目的

• 正に重層的な圏の文脈において、有限次元または単位的代数に限らない二次的およびコシュール双対性を一般化すること。
• 線形複体としての射影的モジュールを用いて、任意のコシュールでない圏に対しても適用可能な普遍的な二次的双対関手を定義すること。
• 古典的カテゴリーオにおける翻訳関手とツッケルマン関手の間のコシュール双対性を、dg代数を用いない、より初等的かつ明示的な証明を提供すること。
• 整数的ブロックのハリシュ・チャンドラ双モジュールおよびカック＝ムーディカテゴリーオの臨界超平面外のブロックに対して、コシュール双対圏を提案すること。
• 圏とその二次的双対圏の間の双モジュールとしての一般化コシュール複体を構成し、ホモロジー代数分野の最近の発展と関連付けること。

提案手法

• 圏上の射影的モジュールの線形複体の圏を用いて、正に重層的な圏の二次的双対を定義する。
• 二次的双対の導来圏における恒等関手の分解として複体 $\mathbb{P}^\bullet$ を構成する。
• 双対基底 $\{a_i\}$ と $\{a^i\}$ を用いて、$M_\mathbf{C} \otimes_{\mathbf{C}_0} {}_{\mathbf{C}^!}N$ 上の微分 $\delta$ を $\delta(m \otimes n) = \sum_i m a_i \otimes a^i n$ で定義する。
• 関係とその双対の直交性を用いて $\delta^2 = 0$ を証明し、複体が適切に定義されており、双次数 $(1,1)$ を持つことを示す。
• 得られた一般化コシュール複体を用いて、古典的コシュール複体を再現し、それらを双モジュール構造へと拡張する。
• 本フレームワークをカテゴリーオに適用し、翻訳関手とツッケルマン関手の双対性が複体 $\mathbb{P}^\bullet$ を通じてコシュール双対であることを示す。

実験結果

リサーチクエスチョン

• RQ1 有限次元または単位的代数に限らない、無限個のイデムポテンスを含む圏にまで拡張可能な二次的およびコシュール双対性の一般化はどのように達成できるか？
• RQ2 任意の二次的代数に対して、線形複体としての射影的モジュールを用いて、普遍的な双対関手を定義できるか？ これはコシュール圏でない場合にも成立するか？
• RQ3 カテゴリーオにおける翻訳関手とツッケルマン関手の間の明確な関係は何か？ そして、dg代数を用いないでこの双対性を証明できるか？
• RQ4 整数的ブロックのハリシュ・チャンドラ双モジュールおよびカック＝ムーディカテゴリーオの臨界超平面外のブロックに対して、どのようにコシュール双対圏を定義できるか？
• 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}^!)^*)$ は、古典的コシュール複体を部分複体として含み、それを双モジュール設定へと拡張する。
• 著者らは、dg代数に基づく既存の手法とは異なり、複体 $\mathbb{P}^\bullet$ のみを用いて、カテゴリーオにおける翻訳関手とツッケルマン関手の間のコシュール双対性を再証明し、より初等的かつ明示的な証明を提供する。
• ねじれ/完成化関手とシャッフル/コシャッフル関手の双対性は、その結果として得られ、文献において驚きのものであったが以前に説明がつかなかった双対性を解消する。