[论文解读] Abstract cubical homotopy theory

Falk Beckert, Moritz Groth|arXiv (Cornell University)|Mar 15, 2018

Algebraic structures and combinatorial models参考文献 35被引用 4

一句话总结

本文通过使用 $n$-立方体的相干图，发展了一套同伦理论的抽象立方体演算，引入了基数滤子、余纤维化与强余纤维化 $n$-立方体之间的插值，以及迭代锥构造。主要贡献是为稳定导出范畴建立了全局 Serre 对偶性，通过 $n$-立方体块之间的强稳定等价性，实现了余极限-极限对偶性以及无限链的伴随关系。

ABSTRACT

Triangulations and higher triangulations axiomatize the calculus of derived cokernels when applied to strings of composable morphisms. While there are no cubical versions of (higher) triangulations, in this paper we use coherent diagrams to develop some aspects of a rich cubical calculus. Applied to the models in the background, this enhances the typical examples of triangulated and tensor-triangulated categories. The main players are the cardinality filtration of n-cubes, the induced interpolation between cocartesian and strongly cocartesian n-cubes, and the yoga of iterated cone constructions. In the stable case, the representation theories of chunks of n-cubes are related by compatible strong stable equivalences and admit a global form of Serre duality. As sample applications, we use these Serre equivalences to express colimits in terms of limits and to relate the abstract representation theories of chunks by infinite chains of adjunctions. On a more abstract side, along the way we establish a general decomposition result for colimits, which specializes to the classical Bousfield-Kan formulas. We also include a short discussion of abstract formulas and their compatibility with morphisms, leading to the idea of universal formulas in monoidal homotopy theories.

研究动机与目标

• 开发一种同伦理论的立方体演算，其推广了三角范畴与张量-三角范畴，超越了态射链的结构。
• 通过使用 $n$-立方体的相干图，弥补高阶三角化结构的立方体类比的缺失。
• 通过 $n$-立方体块之间的强稳定等价性，在稳定导出范畴中建立全局形式的 Serre 对偶性。
• 通过 Serre 等价性关联余极限与极限，并将通用公式推广至张量同伦理论。

提出的方法

• 使用 $n$-立方体的基数滤子，在余纤维化与强余纤维化结构之间实现插值。
• 应用迭代锥构造来建模总余纤维并推导同伦不变量。
• 在稳定导出范畴中建立 $n$-立方体块之间的强稳定等价性，从而实现全局 Serre 对偶性。
• 应用余极限的分解定理，特别地在表示导出范畴中特化为 Bousfield–Kan 公式。
• 使用连续公式与 $S$-精确方阵，将精确性从通用导出范畴（如空间、谱）传播至任意导出范畴。
• 利用 $S$-精确性与 $S ext{p}$-精确性，推导出张量同伦理论中的通用公式。

实验结果

研究问题

• RQ1 在不依赖三角范畴或高阶三角结构的抽象同伦理论中，如何发展立方体演算？
• RQ2 相干的 $n$-立方体图在建模导出余核与迭代锥构造中起什么作用？
• RQ3 $n$-立方体块之间的强稳定等价性如何导致稳定导出范畴中全局形式的 Serre 对偶性？
• RQ4 在何种背景下，张量同伦理论中的通用公式能从基导出范畴（如 $S$ 或 $S ext{p}$）传播开来？
• RQ5 同伦精确方阵与导出范畴中关于共端与余极限公式的有效性之间存在何种关系？

主要发现

• 本文通过 $n$-立方体块之间的强稳定等价性，在稳定导出范畴中建立了全局 Serre 对偶性。
• 在稳定导出范畴中，余极限可通过 Serre 等价性诱导的导出对偶性表示为极限。
• 通过 $n$-立方体对余极限的分解在表示导出范畴中特化为经典的 Bousfield–Kan 公式。
• 连续公式可从空间导出范畴 ($S$) 与谱导出范畴 ($S ext{p}$) 传播至任意导出范畴，确保其通用有效性。
• 方阵 (13.1) 是 $S ext{p}$-精确的，当且仅当它是 $D_Z$-精确的，这蕴含 $D_k$-精确性，但反之未必成立。
• 在表示导出范畴中，Bousfield–Kan 公式可简化为余等化子表示，但此性质无法推广至任意导出范畴，因为某些包含映射并非同伦终。