[论文解读] Homotopy limits and colimits and enriched homotopy theory

Michael Shulman|arXiv (Cornell University)|Oct 5, 2006

Homotopy and Cohomology in Algebraic Topology参考文献 29被引用 56

一句话总结

本文建立了在丰富同伦理论中，经典显式同伦极限构造（通过bar构造）与抽象导出函子方法之间的等价性。它引入了丰富同伦范畴作为丰富模型范畴的推广，证明即使在丰富设定下，经典构造仍能给出正确的导出函子，从而统一了经典与现代同伦理论。

ABSTRACT

Homotopy limits and colimits are homotopical replacements for the usual limits and colimits of category theory, which can be approached either using classical explicit constructions or the modern abstract machinery of derived functors. Our first goal in this paper is expository: we explain both approaches and a proof of their equivalence. Our second goal is to generalize this result to enriched categories and homotopy weighted limits, showing that the classical explicit constructions still give the right answer in the abstract sense. This result partially bridges the gap between classical homotopy theory and modern abstract homotopy theory. To do this we introduce a notion of "enriched homotopical categories", which are more general than enriched model categories, but are still a good place to do enriched homotopy theory. This demonstrates that the presence of enrichment often simplifies rather than complicates matters, and goes some way toward achieving a better understanding of "the role of homotopy in homotopy theory."

研究动机与目标

• 将同伦理论中经典显式同伦极限构造（例如bar构造）与抽象导出函子方法相协调。
• 将这两种方法之间的等价性推广至丰富范畴及加权同伦余极限。
• 引入并发展丰富同伦范畴的理论，这是一种比丰富模型范畴更广泛、适用于丰富同伦理论的框架。
• 证明丰富化不仅不增加同伦理论的复杂性，反而使其更简洁，从而深化对同伦在同伦理论中作用的理解。
• 为经典与现代同伦理论框架下同伦极限与余极限的统一处理提供基础。

提出的方法

• 使用bar构造作为经典显式方法，在单纯或拓扑范畴中计算同伦余极限。
• 通过形变理论与局部化应用导出函子框架，利用普遍性质在全局定义同伦极限。
• 引入丰富同伦范畴作为丰富模型范畴的推广，允许在无需纤维化或协纤维化结构的情况下定义导出函子。
• 证明丰富双侧bar构造通过满足导出函子的普遍性质，能正确计算同伦余极限。
• 利用Reedy模型结构与Reedy协纤维化条件，验证bar构造在丰富设定下的同伦良好行为。
• 通过函子的张量积与Kan扩张，将bar构造与余极限函子的导出函子联系起来，从而证明关键等价性。

实验结果

研究问题

• RQ1 在丰富范畴中，经典显式同伦极限构造（如bar构造）是否与导出函子计算相同的对象？
• RQ2 导出函子定义的同伦极限是否可在不依赖完整模型范畴结构的前提下推广至丰富设定？
• RQ3 丰富范畴的何种结构条件可确保经典bar构造产生正确的同伦余极限？
• RQ4 丰富化如何影响同伦理论的复杂性——是使其简化还是复杂化？
• RQ5 Reedy协纤维化在确保基于bar构造的同伦余极限正确性方面起什么作用？

主要发现

• 在丰富范畴中，经典bar构造计算的同伦余极限与余极限函子的导出函子所计算的对象相同。
• 丰富双侧bar构造满足余极限函子导出函子的普遍性质，从而确立了两种方法之间的等价性。
• 通过bar构造构建的图$\mathscr{Q}F$在$\mathscr{M}^{\Delta\mathscr{D}}$中是Reedy协纤维的，从而确保了同伦余极限的良定义性。
• 两个Reedy协纤维图的张量积仍是Reedy协纤维的，这是证明$\mathscr{Q}F$协纤维性的关键技术结果。
• 通过使用框架或解析方法，该证明从单纯模型范畴推广至任意模型范畴，显示出其广泛适用性。
• 丰富同伦范畴为丰富同伦理论提供了合适的框架，其适用范围比丰富模型范畴更广，同时仍能支持导出函子与同伦极限。