[论文解读] All about the Grothendieck construction

Aaron Mazel-Gee|arXiv (Cornell University)|Oct 13, 2015

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

一句话总结

本文对∞-范畴论中的格罗滕迪克构造提供了全面的处理，建立了余极限的博斯菲尔德–卡恩公式，将定理Bn和Cn推广至∞-范畴，并引入了一个全局余极限函子，以捕捉自然变换与拉回下的同时函子性。主要贡献在于构建了一个关于∞-范畴的模型结构——(Cat∞)Th，该结构呈现了空间的∞-范畴，并阐明了格罗滕迪克构造的同伦本质。

ABSTRACT

We provide, among other things: (i) a Bousfield--Kan formula for colimits in $\infty$-categories (generalizing the 1-categorical formula for a colimit as a coequalizer of maps between coproducts); (ii) $\infty$-categorical generalizations of Barwick--Kan's Theorem B$_n$ and Dwyer--Kan--Smith's Theorem C$_n$ (regarding homotopy pullbacks in the Thomason model structure, which themselves vastly generalize Quillen's Theorem B); and (iii) an articulation of the simultaneous and interwoven functoriality of colimits (or dually, of limits) for natural transformations and for pullback along maps of diagram $\infty$-categories.

研究动机与目标

• 为∞-范畴中的余极限发展一个类似博斯菲尔德–卡恩的公式，推广经典的余上同调器公式。
• 将巴里克–卡恩的定理Bn与德里尔–卡恩–史密斯的定理Cn推广至∞-范畴及托马森模型结构的语境。
• 通过双函子自然变换与格罗滕迪克构造，形式化完备∞-范畴中余极限的全局函子性。
• 在∞-范畴的范畴(Cat∞)Th上构造一个托马森模型结构，该结构呈现空间的∞-范畴，并与群胚完备化一致。

提出的方法

• 使用准范畴中的非直线化构造作为格罗滕迪克构造的模型无关基础。
• 在Cat∞上应用托马森模型结构，通过群胚完备化呈现空间的∞-范畴。
• 构造一个全局余极限函子Lax(C) → C，以编码在自然变换与图范畴映射的拉回下余极限的函子性。
• 通过对外部角锥包含的提升性质刻画(Cat∞)Th中的纤维化，表明此类映射保持等价性与高阶同伦结构。
• 证明在(Cat∞)Th中诱导群胚完备化等价性的纤维化本身即为等价，确立关键的完备性结果。
• 利用∞-范畴中经典定理的类比（例如奎伦定理B）来描述在同伦范畴中纤维与拉回的结构。

实验结果

研究问题

• RQ1 如何将博斯菲尔德–卡恩的余极限公式从1-范畴推广至∞-范畴？
• RQ2 在同伦拉回与群胚完备化的语境下，巴里克–卡恩定理Bn与德里尔–卡恩–史密斯定理Cn的∞-范畴类比为何？
• RQ3 如何形式化图范畴∞-范畴的余极限在自然变换与拉回下的同时函子性？
• RQ4 在∞-范畴的范畴上的托马森模型结构(Cat∞)Th具有何种结构？它与经典托马森模型在Cat上的关系为何？
• RQ5 在∞-范畴语境下，何种函子条件可确保其满足性质Bn或Cn？

主要发现

• 本文建立了∞-范畴中余极限的博斯菲尔德–卡恩公式，将1-范畴中的余上同调器公式推广为同伦余极限构造。
• 证明了定理Bn与Cn在∞-范畴中的推广，描述了满足Bn或Cn条件的函子下群胚完备化的纤维与拉回。
• 构造了全局余极限函子Lax(C) → C，编码了在自然变换与图范畴映射的拉回下余极限的函子性。
• 证明了模型结构(Cat∞)Th呈现了空间的∞-范畴，其弱等价 precisely 是诱导群胚完备化等价的映射。
• 在(Cat∞)Th中，纤维化通过对外部角锥的提升性质刻画，且证明了若纤维化诱导群胚完备化等价，则其自身即为等价。
• 构造(Cat∞)Th解决了将经典托马森模型结构从Cat提升至Cat∞的关键障碍，因其将∞-群胚作为纤维对象，而经典模型中仅偏序集为双纤维对象。