[論文レビュー] Noetherian hereditary categories satisfying Serre duality

Idun Reiten, Michel Van den Bergh|ArXiv.org|Nov 30, 1999

Algebraic structures and combinatorial models参考文献 18被引用数 17

ひとこと要約

この論文は、ボンダルとカプラノフの意味でのセレ・双対性を満たす代数的に閉じた体上のExt-有限ノエター的純粋なアーベル圏を分類する。このような圏は、拡張されたディンキン型またはエーコル型のクーパー・プレプロジェクティヴ圏に、あるいは純粋な順序の次数付き加群の圏に、ある種の導来同値であることが示され、非自明な射影的またはインジェクティブな射が存在しない場合、セレ・双対性がほとんど分裂系列の存在と同値であることを証明する。

ABSTRACT

In this paper we classify noetherian hereditary abelian categories satisfying Serre duality in the sense of Bondal and Kapranov. As a consequence we obtain a classification of saturated noetherian hereditary categories. As a side result we show that when our hereditary categories have no nonzero projectives or injectives, then the Serre duality property is equivalent to the existence of almost split sequences.

研究の動機と目的

• 代数的に閉じた体上のExt-有限ノエター的純粋なアーベル圏で、ボンダルとカプラノフの意味でのセレ・双対性を満たすものについて分類すること。
• 非自明な射影的またはインジェクティブな射をもたない純粋なアーベル圏において、セレ・双対性とほとんど分裂系列の存在との関係を確立すること。
• セレ・双対性を満たすものについての分類を用いて、飽和したノエター的純粋なアーベル圏を特徴づけること。
• 導来同値と幾何的実現（例：次数付き環、順序の層）を通じて、このような圏の構造的理解を提供すること。
• 非可換代数幾何学の枠組みを拡張し、滑らかで固有なスキーム上の連接層に類似したセレ・双対性をもつ圏を同定すること。

提案手法

• 有界導来圏におけるセレファンクターの概念を用いて、アーベル圏におけるセレ・双対性を形式化する。
• 導来同値の技法を用いて、分類を拡張されたディンキン型およびエーコル型のクーパー・プレプロジェクティヴ圏と関連付ける。
• 商圏および局所化部分圏の理論を用いて、ノエター的純粋なアーベル圏の構造を分析する。
• 単位的包と直接極限による圏の完備化を用いて、ノエター的圏からより大きな圏への結果の拡張を行う。
• ゾルンの補題を用いて、インジェクティブ分解における最大の上への持ち上げを構成し、高次のExt群の消滅を証明する。
• ティルティング理論の結果とティルティング対象の存在を活用し、分類を標準的および準ティルティング代数と結びつける。

実験結果

リサーチクエスチョン

• RQ1 代数的に閉じた体上のExt-有限ノエター的純粋なアーベル圏で、ボンダルとカプラノフの意味でのセレ・双対性を満たすものはどれか？
• RQ2 純粋なアーベル圏において非自明な射影的またはインジェクティブな射が存在しない場合、セレ・双対性はほとんど分裂系列の存在とどのように関係するか？
• RQ3 代数的に閉じた体上の飽和したノエター的純粋なアーベル圏の完全な分類は何か？
• RQ4 導来同値と幾何的実現（例：次数付き環、順序の層）は、このような圏の分類にどのように寄与するか？
• RQ5 商圏および局所化部分圏は、これらの圏の構造理解において果たす役割は何か？

主な発見

• この論文は、セレ・双対性を満たすExt-有限ノエター的純粋なアーベル圏の完全な分類を提供する：それらは、拡張されたディンキン型またはエーコル型のクーパー・プレプロジェクティヴ圏に導来同値である。
• 飽和したノエター的純粋なアーベル圏は、まさにセレ・双対性を満たすものに限られ、飽和性と双対性の直接的な関係を確立する。
• 純粋なアーベル圏に非自明な射影的またはインジェクティブな射が存在しない場合、セレ・双対性はほとんど分裂系列の存在と同値である。
• ノエター的純粋なアーベル圏における対象のインジェクティブ包の圏のグローバル次元は、元の圏のグローバル次元によって上から抑えられる。
• ノエター的純粋なアーベル圏をインジェクティブ包による完備化することで、グローバル次元が保存され、構造的安定性が保証される。
• ノエター的次数付き環Rに対して、qgr(R)はgr(R)からねじれ加群を除いた商圏として得られ、次数付き環および順序の層による分類の実現において中心的な役割を果たす。