[論文レビュー] Homotopy theory of Well-generated algebraic triangulated categories

Gonçalo Tabuada|ArXiv.org|Mar 6, 2007

Homotopy and Cohomology in Algebraic Topology参考文献 7被引用数 3

ひとこと要約

この論文は、well-generated な代数的三角関手カテゴリの族 dgcatex,α が cocomplete であることを確立する。これは、Tα-代数のカテゴリと dgcatex,α 間の随伴がモナディックであることを証明し、関連する関手が α-フィルター付き帰納極限を保存することを応用することで達成される。主な貢献は dgcatex,α の cocompleteness であり、これは代数的三角関手カテゴリにおけるさらなるホモトピー的および圏論的構成を支援する。

ABSTRACT

For every regular cardinal $α$, we construct a cofibrantly generated Quillen model structure on a category whose objects are essentially DG categories which are stable under suspensions, cosuspensions, cones and $α$-small sums. Using results of Porta, we show that the category of well-generated (algebraic) triangulated categories in the sense of Neeman is naturally enhanced by our Quillen model category.

研究の動機と目的

• well-generated な代数的三角関手カテゴリのカテゴリ dgcatex,α の cocompleteness を確立すること。
• dgcatex,α と Tα-代数の間の随伴がモナディックであることを示すこと。
• 左随伴関手と忘却関手の合成が α-フィルター付き帰納極限を保存することを検証すること。
• cocompleteness の証明を通じて、代数的三角関手カテゴリのホモトピー的構造を支援すること。
• 導来カテゴリおよび三角関手カテゴリ論のさらなる発展のための圏論的基盤を構築すること。

提案手法

• dgcatex,α と Tα-代数の間の随伴がモナディックであることを確認するために、モナディシティの定理を用いる。
• Bor におけるモナディシティおよび帰納極限の保存に関する命題を、Tα-代数の文脈に適用する。
• 以前の結果によって保証された dgcatex,α 内での α-フィルター付き帰納極限の存在に依拠する。
• 左随伴関手が帰納極限を保存すること、および忘却関手 U1 が α-フィルター付き帰納極限を保存することを用いる。
• これらの保存性質を組み合わせて、合成関手 U1∘F1 が α-フィルター付き帰納極限を可換に保つことを示す。
• モナディシティの基準と帰納極限の保存性を組み合わせることで、dgcatex,α の cocompleteness を結論づける。

実験結果

リサーチクエスチョン

• RQ1 カテゴリ dgcatex,α は cocomplete か？
• RQ2 dgcatex,α と Tα-代数の間の随伴は、モナディシティの条件を満たすか？
• RQ3 関係する関手は dgcatex,α 内で α-フィルター付き帰納極限を保存するか？
• RQ4 モナディシティと帰納極限の保存性を用いて、dgcatex,α の cocompleteness を確立できるか？
• RQ5 代数的三角関手カテゴリの文脈において、dgcatex,α の cocompleteness から導かれる構造的性質は何か？

主な発見

• カテゴリ dgcatex,α は cocomplete であり、これはすべての小さな帰納極限がその内部に存在することを意味する。
• モナディシティの定理によって確認されたように、dgcatex,α と Tα-代数の間の随伴はモナディックである。
• 合成関手 U1∘F1 は α-フィルター付き帰納極限を保存する。これはモナディシティのための重要な条件である。
• dgcatex,α 内に α-フィルター付き帰納極限が存在し、忘却関手 U1 によって保存される。
• α-フィルター付き帰納極限の保存性とモナディシティを用いて、dgcatex,α の cocompleteness が確立された。
• cocompleteness の結果により、well-generated な代数的三角関手カテゴリのホモトピー的整合性が保証され、十分な帰納極限構造が確保される。