[論文レビュー] Koszulity of directed categories in representation stability theory

Wee Liang Gan, Liping Li|arXiv (Cornell University)|Nov 19, 2014

Algebraic structures and combinatorial models参考文献 23被引用数 9

ひとこと要約

本稿は、特性が0の体上の表現安定性理論に現れる無限の方向付き次数付き圏、例えばFI、OI、およびその変種に関連する圏のコシュール性を確立する。A∞型におけるコシュール性の一般基準と、射空間に関する組合せ的条件を用いて、これらの圏がコシュールであることを証明し、さらにそれらの加群圏がその二次双対の加群圏と同値であることを示す。さらに、フーリエ型変換を介して、導来圏における自己双対構造が成り立つ。

ABSTRACT

In the first part of this paper, we study Koszul property of directed graded categories. In the second part of this paper, we prove a general criterion for an infinite directed category to be Koszul. We show that infinite directed categories in the theory of representation stability are Koszul over a field of characteristic zero.

研究の動機と目的

• 無限の方向付き次数付き圏におけるコシュール性の一般基準を確立すること。
• 表現安定性における主要な圏—例えばFI、OI、およびその変種—が特性が0の体上コシュールであることを証明すること。
• これらの圏のヨネダ圏が、その二次双対の加群圏と同値であることを示すこと。
• これらの圏の有限生成次数付き加群の有界導来圏に自己双対関手を構成すること。
• この双対性が自然同型を除いて対合であることを示すことにより、表現安定性におけるフーリエ変換の一般化を達成すること。

提案手法

• 射空間の構造と組合せ的性質を分析することで、無限の方向付き次数付き圏における一般コシュール性基準を開発する。
• A∞型の圏にこの基準を適用し、単射を伴う有限集合の圏（FI）および順序付き単射を伴う圏（OI）の構造を利用する。
• ねじれ関手と二次双対の概念を用いて、元の圏とその双対との間の導来同値性を確立する。
• コシュール双対関手K、ねじれ関手、双対化関手の合成を用いて、導来圏上の自己双対を定義する。
• 関手の合成が同値を定め、その結果得られる双対性が自然同型を除いて対合であることを検証する。
• 底面の体が特性0であることの仮定に依拠し、半単純代数の性質と1次の有限生成性を利用する。

実験結果

リサーチクエスチョン

• RQ1 無限の方向付き次数付き圏がコシュールであるための条件は何か？
• RQ2 FIΓ、OIΓ、FId、OIdの圏は、特性0の体上でコシュールであるか？
• RQ3 方向付き圏の加群圏とその二次双対の加群圏の間に導来同値性は存在するか？
• RQ4 これらの圏の有限生成次数付き加群の有界導来圏に自己双対関手を構成できるか？
• RQ5 この自己双対性は自然同型を除いて対合であるか？

主な発見

• FIΓ、OIΓ、FId、OIdの圏は、特性0の体上でコシュールである。
• これらの圏のヨネダ圏は、その二次双対の加群圏と同値である。
• これらの圏の有限生成次数付き加群の導来圏には、自然同型を除いて対合である自己双対関手が存在する。
• この自己双対性は、コシュール双対、ねじれ、双対化関手の合成として構成され、その逆関手と同型である。
• 加群圏の同値性と導来自己双対性は、底面の体が特性0であることの仮定の下で成り立つ。
• 証明は、射空間の組合せ的構造と1次の有限生成性に依拠している。