[論文レビュー] Koszul duality and mixed Hodge modules

Pramod N. Achar, S. Kitchen|arXiv (Cornell University)|May 11, 2011

Algebraic structures and combinatorial models参考文献 10被引用数 3

ひとこと要約

この論文は、アフィンな偶数分離を持つ滑らかな複素代数的多様体上の混合Hodgeモジュールに対して、ウィノウイング（winnowing）に基づくコシュール双対性の構成を確立し、ウィノウイングされた圏がコシュール的であることを証明するとともに、 perverse sheaves への自然な降下関手を構成する。主な貢献は、Schnürerの定理を一般化する形式的性に関する結果であり、Beilinson–Ginzburg–Soergel の手法で用いられる部分圏構成における任意の選択を避けることで、従来の方法に見られる非対称性を解消する。

ABSTRACT

We prove that on a certain class of smooth complex varieties (those with "affine even stratifications"), the category of mixed Hodge modules is "almost" Koszul: it becomes Koszul after a few unwanted extensions are eliminated. We also give an equivalence between perverse sheaves on such a variety and modules for a certain graded ring, obtaining a formality result as a corollary. For flag varieties, these results were proved earlier by Beilinson-Ginzburg-Soergel using a rather different construction.

研究の動機と目的

• 混合Hodgeモジュールのコシュール双対性構成における非対称性を解消すること。特に、[BGS] の手法で用いられる部分圏選択における任意の選択を避けること。
• Beilinson–Ginzburg–Soergel の手法で用いられる部分圏アプローチの代わりに、拡張を分割する「ウィノウイング」構成を導入することで、混合Hodgeモジュールに対して自然かつ選択に依存しない代替手法を構築すること。
• ウィノウイングされた混合Hodgeモジュールの圏から perverse sheaves への適切に振る舞う降下関手を構成し、形式的性に関する結果を得ること。
• 全旗多様体において、ウィノウイングされた圏が [BGS] で構成された部分圏と自然に同型であることを示し、両者の手法を統合すること。
• Schnürer の形式的定理を一般化し、 perverse sheaves 圏上の二つのコシュール次数付けを関連付ける自然な自己同値を確立すること。

提案手法

• 既存の部分圏アプローチを置き換えるために、もともと非分裂であった拡張を分割する新しい射を追加する「ウィノウイング」構成を導入する。
• コシュール的であることを保証するために、特定の次数でコホモロジーが消えるような対象のフル部分圏としてウィノウイングされた混合Hodgeモジュールの圏を定義する。
• 特別な rat-射影的分解を用いて、ウィノウイングされた混合Hodgeモジュールの圏から perverse sheaves への降下関手を構成する。
• 単純対象の直和の自己準同型代数に付随する次数付き環 $\mathbb{E}$ を用いて、コシュール双対性の同値を確立する。
• 降下関手がコシュール次数付けと整合的であり、ウィノウイングされた圏と $\mathbb{E}$ 上の次数付き $\mathbb{E}$-加群の圏との間の同値を誘導することを証明する。
• perverse sheaves 圏上に、rat および $\zeta$ 関手によって誘導される二つのコシュール次数付けを関連付ける自然な自己同値 $\tilde{\mu}$ を確立する。

実験結果

リサーチクエスチョン

• RQ1 混合Hodgeモジュールのコシュール双対性は、[BGS] の手法で用いられる部分圏選択における任意の選択を避けることで、構成可能であるか？
• RQ2 混合Hodgeモジュールの圏を「ウィノウイング」によってコシュール的にする自然な方法は、構成における選択に依存せず、常に存在するか？
• RQ3 ウィノウイングされた混合Hodgeモジュールの圏から perverse sheaves への降下関手は存在し、圏論的に適切に振る舞うか？
• RQ4 全旗多様体において、ウィノウイングされた混合Hodgeモジュールの圏は、[BGS] で構成された部分圏とどのように関係するか？
• RQ5 perverse sheaves 圏上の二つのコシュール次数付け（rat および $\zeta$ 関手によって誘導）は、自然な自己同値によって関連付けられるか？

主な発見

• アフィンな偶数分離を持つ多様体上の混合Hodgeモジュールのウィノウイングされた圏は、定理 5.7 で示されるようにコシュール的である。
• ウィノウイングされた混合Hodgeモジュールの圏から perverse sheaves への自然な降下関手が存在し、定理 6.6 で構成されている。
• 全旗多様体において、ウィノウイングされた圏は [BGS] で構成された部分圏と自然に同型である。これにより、元々のアプローチにおける選択依存性が解消された。
• 降下関手は形式的性を誘導し、Schnürer の定理を一般化する。これは perverse sheaves 上の二つのコシュール次数付けを関連付ける。
• perverse sheaves 圏上の自然な自己同値 $\tilde{\mu}$ が存在し、$\tilde{\mu} \circ \mathrm{rat} \cong \zeta \circ \beta$ を満たし、二つの次数付けを関連付ける。
• 単純対象の直和の自己準同型代数に付随する次数付き環 $\mathbb{E}$ は $E$ に同型であり、$\mathbb{E}$-加群の次数付き圏は、半単純 $\underline{E}$-加群の圏と同値である。