[论文解读] Gluing restricted nerves of $\infty$-categories

Yifeng Liu, Weizhe Zheng|arXiv (Cornell University)|Nov 22, 2012

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

一句话总结

本文提出了一种利用受限多重单纯复形骨架的通用框架，用于在∞-范畴中粘合子范畴，建立了与多重单纯复形结构相关的单纯集之间的范畴等价。其主要贡献是一种高阶范畴粘合技术，该技术推广了Deligne的理论，并通过增强的∞-范畴下降法，实现了在阿廷叠的平展上同调中构造格罗滕迪克六则运算。

ABSTRACT

In this article, we develop a general technique for gluing subcategories of $\infty$-categories. We obtain categorical equivalences between simplicial sets associated to certain multisimplicial sets. Such equivalences can be used to construct functors in different contexts. One of our results generalizes Deligne's gluing theory developed in the construction of the extraordinary pushforward operation in étale cohomology of schemes. Our results are applied in subsequent articles to construct Grothendieck's six operations in étale cohomology of Artin stacks.

研究动机与目标

• 开发一种在高阶范畴设定下粘合∞-范畴子范畴的通用技术。
• 将Deligne在平展上同调中关于异常上推的粘合理论推广至∞-范畴框架。
• 为在高阶阿廷叠背景下构造格罗滕迪克六则运算提供基础工具。
• 处理所有层次的态射之间的相干性，克服经典(2,1)-范畴方法的局限性。
• 建立由满足笛卡尔正方形条件的多重单纯复形结构所生成的单纯集之间的范畴等价。

提出的方法

• 引入受限多重单纯复形骨架 δ*kN(C)cartE1,…,Ek 作为单纯集，其n-单体为 [n]^k → C 的函子，满足在第i个方向上像位于 E_i 中，且所有 k×k 正方形均为笛卡尔正方形。
• 通过单体范畴的构造，利用余极限分解来定义函子。
• 利用内平凡扩张和范畴等价，将多重单纯复形骨架的子复形与全骨架联系起来。
• 应用有限格的分解为区间子格 P_p//q 的格论方法，证明内平凡扩张性质。
• 利用上积分解和偏序集上的归纳论证，验证范畴等价性。
• 证明标准立方体 □^n 到笛卡尔立方体范畴 Cart^n 的包含关系是内平凡扩张，从而支持下降技术。

实验结果

研究问题

• RQ1 如何系统地在保持所有高阶同伦层次相干性的前提下，粘合定义在∞-范畴子范畴上的函子？
• RQ2 在何种条件下，带有笛卡尔正方形约束的多重单纯复形骨架会诱导出范畴等价？
• RQ3 能否通过改进的骨架构造，将Deligne关于异常上推的粘合理论扩展至∞-范畴设定？
• RQ4 如何以一致且高阶范畴化的方式处理非典范分解（例如，紧致后接开浸入）？
• RQ5 区间子格及其并集在证明多重单纯复形结构的内平凡扩张与范畴等价性结果中起到何种作用？

主要发现

• 包含关系 □^n ⊆ Cart^n 是内平凡扩张，确立了多重单纯复形框架中的基础同伦等价。
• 包含关系 ⋃_p ⋃^n_p,n ⊆ Cart^n 是内平凡扩张，且 ⋃^n ⊆ Cart^n 是范畴等价，从而在∞-范畴设定中支持下降。
• 覆盖有限格 P 的区间子格 P_p//q 的并集，当覆盖与序结构相容时，会诱导出范畴等价。
• 通过子格并集的上积分解建立内平凡扩张，依赖于积与交运算的格论性质。
• 受限多重单纯复形骨架 δ*kN(C)cartE1,…,Ek 的构造提供了一种编码跨多个子范畴的相干粘合数据的自然方式。
• 该框架推广了Deligne的粘合理论，并通过∞-范畴增强，实现了在高阶阿廷叠的平展上同调中构造格罗滕迪克六则运算。