[論文レビュー] Theorie homotopique des DG-categories

Gonçalo Tabuada|ArXiv.org|Oct 23, 2007

Algebraic structures and combinatorial models参考文献 64被引用数 28

ひとこと要約

この論文は、dgcatex,α と Tα代数の圏の間のモナディック随伴を用いて、α-小で余完備な dg-圏の圏 dgcatex,α が余完備であることを確立する。主な結果は、左随伴と忘却関手の合成が α-フィルター付き帰納極限を保存することを示すことにより得られ、これは帰納極限の存在および忘却関手との整合性に依拠する。

ABSTRACT

In this thesis we present several original contributions to the study of: - DG categories and their invariants; - Neeman's well-generated (algebraic) triangulated categories; - Fomin-Zelevinsky's cluster algebras approach via representation theory.

研究の動機と目的

• α-小で余完備な dg-圏の圏 dgcatex,α の余完備性を確立すること。
• dgcatex,α と Tα代数の間の随伴がモナディックであることを示すこと。
• 合成関手 U₁∘F₁ が α-フィルター付き帰納極限を保存することを検証すること。
• dgcatex,α に α-フィルター付き帰納極限が存在し、忘却関手 U₁ によって保存されることを確認すること。
• モナディシティと帰納極限の保存を用いて、dgcatex,α の余完備性の証明を完了すること。

提案手法

• 命題 LABEL:monadic で確立された dgcatex,α と Tα代数の間のモナディック随伴を利用する。
• Borceux の結果（命題 4.3.2 および 4.3.6）を適用して、余完備性の問題を帰納極限の保存に還元する。
• F₁ が左随伴であること、したがってすべての帰納極限（α-フィルター付きのものも含む）を保存することを活用する。
• 命題 LABEL:filtered2 で示されたように、dgcatex,α に α-フィルター付き帰納極限が存在することを用いる。
• 忘却関手 U₁ が α-フィルター付き帰納極限を保存することを検証し、モナディック構造との整合性を保証する。
• モナディシティ定理と α-フィルター付き帰納極限の保存を用いて、dgcatex,α の余完備性を結論づける。

実験結果

リサーチクエスチョン

• RQ1 α-小で余完備な dg-圏の圏 dgcatex,α はすべての小さな帰納極限を備えているか？
• RQ2 dgcatex,α と Tα代数の間の随伴はモナディックか？
• RQ3 合成関手 U₁∘F₁ は α-フィルター付き帰納極限を保存するか？
• RQ4 dgcatex,α 内の α-フィルター付き帰納極限は忘却関手 U₁ によって保存されるか？
• RQ5 モナディシティと帰納極限の保存から、dgcatex,α の余完備性を導くことができるか？

主な発見

• 圏 dgcatex,α は余完備である。つまり、すべての小さな帰納極限を備えている。
• dgcatex,α と Tα代数の間の随伴は、命題 LABEL:monadic で示されたようにモナディックである。
• 合成関手 U₁∘F₁ は α-フィルター付き帰納極限を保存する。これはモナディシティの議論における重要なステップである。
• dgcatex,α に α-フィルター付き帰納極限が存在し、忘却関手 U₁ によって保存される。命題 LABEL:filtered2 による。
• dgcatex,α の余完備性は、モナディシティと帰納極限の保存の組み合わせから導かれる。
• 証明は、特にモナディック関手とフィルター付き帰納極限に関する標準的な圏論的結果に依拠している。