[论文解读] External triangulation of the homotopy category of exact quasi-category

Hiroyuki Nakaoka, Yann Palu|arXiv (Cornell University)|Apr 6, 2020

Homotopy and Cohomology in Algebraic Topology参考文献 11被引用 13

一句话总结

本文证明了精确准范畴的同伦范畴自然地携带一个外三角结构，该结构同时推广了精确范畴与三角范畴。通过构造一个函子 $Ε$ 并验证其双加法性及与外部三角结构的相容性，作者表明此类同伦范畴继承了一个灵活且统一的高阶扩张理论框架。

ABSTRACT

Extriangulated categories axiomatize extension-closed subcategories of triangulated categories. We show that the homotopy category of an exact quasi-category can be equipped with a natural extriangulated structure.

研究动机与目标

• 在统一的框架内统一精确范畴与三角范畴的结构。
• 证明精确准范畴的同伦范畴自然继承外三角结构。
• 将高阶范畴中的扩张理论推广至超越三角范畴设定的范围。
• 为精确 $∞$-范畴中的相对同调代数提供基础。
• 在稳定情形下，建立与现有三角结构的相容性。

提出的方法

• 通过纤维序列与同伦拉回定义精确准范畴中的精确序列。
• 通过准范畴中的映射空间引入从同伦范畴到扩张范畴的函子 $Ε$。
• 利用同伦拉回与准范畴中复合的性质，证明 $Ε$ 的双加法性。
• 在稳定情形下，构造 $Ε$ 与标准三角结构之间的自然变换。
• 使用立方体与拉回矩形来定义精确序列的态射，并验证等价关系。
• 通过显式图表追踪与函子性，验证外三角结构在稳定情形下与三角结构的相容性。

实验结果

研究问题

• RQ1 能否在精确准范畴的同伦范畴上赋予自然的外三角结构？
• RQ2 同伦范畴上的外三角结构与底层准范畴的精确性之间有何关系？
• RQ3 当准范畴为稳定时，外三角结构是否与三角结构相容？
• RQ4 同伦拉回与立方体在定义精确序列的态射中起什么作用？
• RQ5 函子 $Ε$ 如何在同伦范畴中编码扩张数据？

主要发现

• 精确准范畴 $\mathscr{C}$ 的同伦范畴 $h\mathscr{C}$ 自然地具有外三角结构。
• 通过 $\mathscr{C}$ 中的映射空间定义的函子 $\mathbb{E}$ 是双加法的，并编码了外三角结构。
• 精确序列的等价性由存在满足特定拉回与外面对条件的立方体来刻画。
• 当 $\mathscr{C}$ 为稳定时，外三角结构退化为标准的三角结构。
• 该构造与拉回相容，并在扩张等价类上诱导出良定义的作用。
• 与三角结构相容性的证明依赖于显式图表操作以及 $\mu_A$-拉回的使用。