[论文解读] The theory and practice of Reedy categories

Emily Riehl, Dominic Verity|arXiv (Cornell University)|Apr 25, 2013

Homotopy and Cohomology in Algebraic Topology参考文献 4被引用 26

一句话总结

本文以简化且易懂的方式阐述了Reedy范畴及其在同伦论中的作用，通过加权上积和Leibniz构造简化了关键结果的证明。它通过细胞化表示和骨架滤子，建立了在单纯模型范畴中几何实现与总化是同伦不变的结论，为理解同伦极限与上积提供了一个统一的框架。

ABSTRACT

The goal of this paper is to demystify the role played by the Reedy category axioms in homotopy theory. With no assumed prerequisites beyond a healthy appetite for category theoretic arguments, we present streamlined proofs of a number of useful technical results, which are well known to folklore but difficult to find in the literature. While the results presented here are not new, our approach to their proofs is somewhat novel. Specifically, we reduce the much of the hard work involved to simpler computations involving weighted colimits and Leibniz (pushout-product) constructions. The general theory is developed in parallel with examples, which we use to prove that familiar formulae for homotopy limits and colimits indeed have the desired properties.

研究动机与目标

• 为了阐明Reedy范畴公理及其在同伦论中的基础性作用。
• 为同伦极限与上积的经典结果提供易于理解且简明的证明，这些结果在文献中往往难以找到。
• 通过细胞化滤子证明，在单纯模型范畴中，几何实现与总化是同伦不变的。
• 通过加权上积和Yoneda嵌入的视角，统一处理骨架、余骨架与几何实现。
• 利用组合与范畴论工具，构建一个连贯的框架，以理解Reedy范畴索引的图的同伦行为。

提出的方法

• 以加权上积和Leibniz（上积-乘积）构造作为核心技术工具，将复杂的同伦论论证简化。
• 通过双函子 $\Delta: \mathbf{\Delta}^{\mathrm{op}} \times \mathbf{\Delta} \to \mathrm{Set}$ 的子函子定义 $n$-骨架与 $n$-余骨架，具体为 $\Delta^n = \Delta(-,[n])$ 与 $\partial\Delta^n = {}_{n-1}\Delta(-,[n])$。
• 通过形如 $\Delta^n \ast L_nX \cup \partial\Delta^n \ast X_n \to \Delta^n \ast X_n$ 的上积构造，构建几何实现的细胞复形表示，形成对单纯对象的滤子。
• 应用coYoneda引理与加权上积的丰富协连续性，证明单纯对象的几何实现同构于其骨架滤子的上积。
• 利用单纯模型范畴的'SM7'公理，证明滤子中上积与序列上积的同伦不变性。
• 对偶地将同一框架应用于余单纯对象，为总化构造类似Postnikov塔的表示。

实验结果

研究问题

• RQ1 如何系统地理解并应用Reedy范畴公理，以简化同伦论构造？
• RQ2 加权上积与Leibniz构造在证明几何实现的同伦不变性中起着何种精确作用？
• RQ3 单纯对象的骨架滤子如何提供一种细胞化表示，从而确保在弱等价下保持同伦不变性？
• RQ4 Yoneda嵌入与丰富协连续性在将几何实现识别为上积的过程中起到何种作用？
• RQ5 该框架是否可对偶化，从而在单纯模型范畴中为余单纯对象的总化得出类似结果？

主要发现

• 在共完备范畴中，单纯对象的几何实现可通过形如 $\Delta^n \ast L_nX \cup \partial\Delta^n \ast X_n \to \Delta^n \ast X_n$ 的上积构造实现细胞复形表示，从而诱导出实现的滤子。
• 在单纯模型范畴中，由于骨架滤子由上纤维化构成且上积保持弱等价，单纯对象的几何实现是同伦不变的。
• 在单纯模型范畴中，余单纯对象的总化是同伦不变的，原因在于其通过丰富极限与Leibniz构造构建的对偶Postnikov塔式滤子。
• 对于单纯集 $Y$ 与单纯范畴中的对象 $M$，同构 $\Delta \circledast_{\mathbf{\Delta}^{\mathrm{op}}} (Y \ast M) \cong Y \ast M$ 成立，将加权上积与单纯张量积联系起来。
• 在 $\mathcal{M}^{\mathbf{\Delta}^{\mathrm{op}}}$ 上的Reedy模型结构与骨架滤子相容，且Reedy纤维化对象的纤维化替换在总化下保持弱等价。
• 几何实现的同伦不变性源于模型范畴中上积与上纤维化序列上积的同伦不变性，这由SM7公理所保证。