[论文解读] Homotopy theory of Well-generated algebraic triangulated categories

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

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

一句话总结

本文证明了良好生成的代数 triangulated 范畴的范畴，记为 dgcatex,α，是 cocomplete 的。其方法是通过证明 dgcatex,α 与 Tα-代数之间的伴随关系是单子性的，并利用相关函子对 α-过滤余极限的保持性。其主要贡献在于确立了 dgcatex,α 的 cocompleteness，这为代数 triangulated 范畴中的进一步同伦与范畴构造提供了支持。

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.

研究动机与目标

• 确立良好生成的代数 triangulated 范畴的范畴 dgcatex,α 的 cocompleteness。
• 证明 dgcatex,α 与 Tα-代数之间的伴随关系满足单子性条件。
• 验证复合函子 F1 与遗忘函子 U1 在 dgcatex,α 中保持 α-过滤余极限。
• 通过证明 cocompleteness 支持代数 triangulated 范畴的同伦结构。
• 为导出范畴与 triangulated 范畴理论的进一步发展奠定范畴论基础。

提出的方法

• 利用单子性定理，确认 dgcatex,α 与 Tα-代数之间的伴随关系是单子性的。
• 在 Tα-代数的背景下，应用 [Bor] 中关于单子性与余极限保持性的命题。
• 依赖于早期结果中已确立的 dgcatex,α 中 α-过滤余极限的存在性。
• 利用左伴随函子保持余极限，且遗忘函子 U1 保持 α-过滤余极限的事实。
• 结合这些保持性质，证明复合函子 U1∘F1 与 α-过滤余极限可交换。
• 通过单子性准则与余极限保持性，最终得出 dgcatex,α 的 cocompleteness 结论。

实验结果

研究问题

• RQ1 范畴 dgcatex,α 是否是 cocomplete 的？
• RQ2 dgcatex,α 与 Tα-代数之间的伴随关系是否满足单子性的条件？
• RQ3 涉及的函子在 dgcatex,α 中是否保持 α-过滤余极限？
• RQ4 能否通过单子性与余极限保持性来确立 dgcatex,α 的 cocompleteness？
• RQ5 在代数 triangulated 范畴的背景下，dgcatex,α 的 cocompleteness 会引出哪些结构性质？

主要发现

• 范畴 dgcatex,α 是 cocomplete 的，意味着其中存在所有小余极限。
• 根据单子性定理，dgcatex,α 与 Tα-代数之间的伴随关系是单子性的。
• 复合函子 U1∘F1 保持 α-过滤余极限，这是单子性成立的关键条件。
• α-过滤余极限存在于 dgcatex,α 中，且被遗忘函子 U1 保持。
• dgcatex,α 的 cocompleteness 通过 α-过滤余极限的保持性与单子性得以确立。
• 该结果通过确保充分的余极限结构，支持了良好生成的代数 triangulated 范畴的同伦一致性。