[论文解读] Characterizations of abstract stable homotopy theories

Moritz Groth|arXiv (Cornell University)|Feb 24, 2016

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

一句话总结

本文通过证明稳定性等价于同伦有限极限与同伦有限余极限的交换性，为稳定导出器（stable derivators）——即模型化谱的抽象同伦理论——提供了新的刻画。此外，本文进一步证明稳定性等价于正方形上部分锥与部分纤维构造的交换性，从而为理解从空间到谱的普遍稳定化过程提供了概念性框架。

ABSTRACT

In this paper we establish new characterizations of stable derivators, thereby obtaining additional interpretations of the passage from (pointed) topological spaces to spectra and, more generally, of the stabilization. We show that a derivator is stable if and only if homotopy finite limits and homotopy finite colimits commute, and there are variants for sufficiently finite Kan extensions. As an additional reformulation, a derivator is stable if and only if it admits a zero object and if partial cone and partial fiber morphisms commute on squares.

研究动机与目标

• 识别唯一刻画从 pointed 拓扑空间同伦理论到谱的过渡的精确性质。
• 提供超越基于悬停-环 adjunction 或 Goodwillie 立方体的现有定义的稳定导出器的替代、内在刻画。
• 通过识别导出器成为稳定的条件，阐明稳定化的普遍性质。
• 利用 Kan 扩张与同伦有限极限/余极限统一稳定性的各种视角。
• 使用导出器作为框架，在抽象同伦理论中为稳定化过程提供概念性基础。

提出的方法

• 使用导出器作为同伦极限、余极限与 Kan 扩张的框架，推广模型范畴与 ∞-范畴。
• 证明一个导出器是稳定的当且仅当同伦有限极限与同伦有限余极限交换，其中“同伦有限”意指等价于一个无非平凡自同态的有限、骨架范畴。
• 通过左同伦有限左 Kan 扩张与任意右 Kan 扩张的交换性重新表述稳定性。
• 引入正方形上部分锥与部分纤维态射的概念，证明其交换性可刻画 pointed 导出器中的稳定性。
• 将结果应用于普遍例子：谱的导出器，证明其稳定性恰好源于有限（余）极限的交换性。
• 使用 Barratt–Puppe 序列与伴随链可视化迭代锥与纤维，将抽象交换性与经典同伦论构造联系起来。

实验结果

研究问题

• RQ1 哪些精确性质能普遍刻画 pointed 空间同伦理论向谱的稳定化？
• RQ2 导出器的稳定性能否仅通过有限（余）极限的交换性来刻画？
• RQ3 在 pointed 导出器中，正方形上的部分锥与部分纤维构造如何与稳定性相关？
• RQ4 在何种意义上，谱的导出器是来自空间导出器的普遍稳定导出器？
• RQ5 导出器中的 Kan 扩张与伴随链如何反映 Barratt–Puppe 序列的结构？

主要发现

• 一个导出器是稳定的当且仅当同伦有限极限与同伦有限余极限交换。
• 稳定性等价于左同伦有限左 Kan 扩张与任意右 Kan 扩张的交换性。
• 稳定性也等价于任意左 Kan 扩张与右同伦有限右 Kan 扩张的交换性。
• 在 pointed 导出器中，稳定性成立当且仅当锥态射保持纤维。
• 正方形上部分锥与部分纤维态射交换当且仅当导出器是稳定的。
• 谱的导出器作为空间导出器的普遍稳定化，正是通过强制有限（余）极限的交换性而产生的。