[論文レビュー] A Course on Derived Categories

Amnon Yekutieli|arXiv (Cornell University)|Jun 28, 2012

Algebraic structures and combinatorial models参考文献 16被引用数 6

ひとこと要約

この講義ノートは、ホモロジー代数における導来圏と導来函手について包括的な紹介を提供しており、三角圏、導来函手、双対複体といった基礎的概念に焦点を当てる。主な貢献は、可換および非可換代数に対する剛性のある双対複体の体系的構築であり、導来圏における降下理論と双対性理論を介して代数幾何学および奇妙な層への応用を含む。

ABSTRACT

These are notes for an advanced course given at Ben Gurion University in Spring 2012.

研究の動機と目的

• 代数幾何学およびホモロジー代数の院生および研究者を対象に、自己完結的でアクセス可能な導来圏の入門を提供すること。
• 古典的なホモロジー的構成を導来設定に拡張する際の導来函手と分解の役割を明確にすること。
• 可換および非可換代数上での剛性のある双対複体の存在および一意性を確立し、その降下性質を検討すること。
• 導来圏における導来ホモロジー函手と双対性函手を介して、スキーム上の奇妙な両立層といった幾何的対象と導来圏理論を結びつけること。
• 剛性のある双対複体が代数幾何学における双対性を統一し、カルラビ＝ヤウ代数といった現代的概念とどのように関係するかを示すこと。

提案手法

• 複体のホモトピー圏を準同型写像で局所化することで導来圏を構成し、三角圏および局所化技術を用いる。
• 右および左の導来函手を構成するためのK-インジェクティブおよびK-プロジェクトィブ分解を導入する。
• 完全な三角圏部分カテゴリおよび局所化理論を用いて、アーベル圏Mに対する導来圏D(M)を定義する。
• 導来ホモロジー函手RHomおよび導来テンソル積を用いて、導来圏における双対性を定義する。
• 奇妙な層のスタック性と降下理論を応用し、アフィン局所データからスキーム上でのグローバルな剛性のある双対複体を構成する。
• 剛性条件を活用して、基底変換下での双対複体の一意性および整合性を保証する。

実験結果

リサーチクエスチョン

• RQ1 アーベル圏から局所化および三角圏構造を用いて導来圏を体系的に構成する方法は何か？
• RQ2 可換および非可換設定下で双対複体の存在および一意性を保証する条件は何か？
• RQ3 代数幾何学における基底変換および降下に関して、剛性のある双対複体はどのように振る舞うか？
• RQ4 導来函手は、古典的なホモロジー函手をどのように自然に一般化するか？
• RQ5 奇妙な両立層は、スキームの導来圏における双対性函手の像としてどのように生じるか？

主な発見

• 可換環AのMod Aの導来圏D(Mod A)には、有限生成コホモロジーを持つ有界複体に対して反射的を誘導する、反変三角圏双対性函手RHom(−, A)が存在する。
• 可換および非可換代数上では、剛性のある双対複体が存在し、導来圏においては一意同型を除いて一意である。これは、可換および非可換代数に対する標準的双対性を提供する。
• スキームの開部分集合への奇妙な両立層の割り当てはスタックをなしており、有効な降下を保証し、「奇妙な層」という用語の正当性を裏付ける。
• 体上有限型のスキームに対しては、アフィン被覆上の局所的剛性のある双対複体を降下同型を介して貼り合わせることで、グローバルな剛性のある双対複体を構成できる。
• 導来圏の構成により、双対性の統一的取り扱いが可能となり、有限生成コホモロジーを持つ複体に対して自然変換η: 1 → RDRが同型となる。
• 剛性のある双対複体はカルラビ＝ヤウ代数と深く関係しており、Aが次元nのカルラビ＝ヤウ代数であれば、A[n]は剛性のある双対複体である。