[论文解读] Parametrized higher category theory and higher algebra: Expos\'e II - Indexed homotopy limits and colimits

Jay Shah|arXiv (Cornell University)|Sep 16, 2018

Homotopy and Cohomology in Algebraic Topology参考文献 9被引用 12

一句话总结

本文建立了在基 ∞-范畴上参数化的 ∞-范畴中的索引同伦极限与余极限的基础理论，其关键应用在于 G-等变同伦理论。本文证明了 G-∞-范畴中的 G-空间在 G-余极限下自由生成于一个收缩的 G-空间，从而证实了 Mike Hill 的一个猜想。

ABSTRACT

We develop foundations for the category theory of $\infty$-categories parametrized by a base $\infty$-category. Our main contribution is a theory of indexed homotopy limits and colimits, which specializes to a theory of $G$-colimits for $G$ a finite group when the base is chosen to be the orbit category of $G$. We apply this theory to show that the $G$-$\infty$-category of $G$-spaces is freely generated under $G$-colimits by the contractible $G$-space, thereby affirming a conjecture of Mike Hill.

研究动机与目标

• 建立在基 ∞-范畴上参数化的 ∞-范畴中索引同伦极限与余极限的一般理论。
• 通过取基为有限群 G 的轨道范畴，将该理论特化到 G-等变同伦理论的情形。
• 证明 G-∞-范畴中的 G-空间在 G-余极限下由收缩的 G-空间自由生成。
• 利用参数化高阶范畴理论，为 G-等变 ∞-范畴提供同伦基础。

提出的方法

• 使用纤维丛范畴的语言，形式化在基 ∞-范畴上的 ∞-范畴中索引极限与余极限的理论。
• 利用 Grothendieck 构造，将参数化 ∞-范畴建模为基上的纤维丛范畴。
• 将该理论应用于有限群 G 的轨道范畴，将 G-余极限作为索引余极限的一个特例来定义。
• 利用自由生成的普遍性质，证明 G-∞-范畴中的 G-空间是通过收缩的 G-空间经 G-余极限构造而来的。
• 利用参数化 ∞-范畴中左伴随函子与普遍性质的理论，验证自由性条件。

实验结果

研究问题

• RQ1 如何在以基 ∞-范畴为参数的 ∞-范畴中系统地定义同伦极限与余极限？
• RQ2 当基为有限群 G 的轨道范畴时，索引余极限与 G-余极限之间的确切关系是什么？
• RQ3 G-∞-范畴中的 G-空间是否在 G-余极限下由收缩的 G-空间自由生成？
• RQ4 参数化 ∞-范畴的理论能否用于证明等变同伦理论中的基础性结果？

主要发现

• 索引同伦极限与余极限的理论为参数化 ∞-范畴提供了统一的框架，将经典范畴论推广到了同伦设置中。
• 当基为有限群 G 的轨道范畴时，索引余极限恢复了等变同伦理论中标准的 G-余极限概念。
• G-∞-范畴中的 G-空间在 G-余极限下由收缩的 G-空间自由生成，证实了 Mike Hill 的一个猜想。
• 该结果建立了 G-空间在余极限生成下的普遍性质，为等变 ∞-范畴提供了新的结构性洞见。