[论文解读] Enhanced six operations and base change theorem for sheaves on Artin stacks

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

Homotopy and Cohomology in Algebraic Topology被引用 11

一句话总结

本文利用Lurie的稳定∞-范畴理论，对阿廷叠上的平展上同调中的导出范畴，发展了格罗滕迪克六操作的增强理论，建立了∞-范畴设定下的完整基变换定理。该工作推广了拉斯佐和奥尔森的前期工作，将框架扩展至高阶阿廷叠，并通过∞-范畴同调下降法解决了同伦相干性问题。

ABSTRACT

In this article, we develop a theory of Grothendieck's six operations for derived categories in etale cohomology of Artin stacks. We prove several desired properties of the operations, including the base change theorem in derived categories. This extends all previous theories on this subject, including the recent one developed by Laszlo and Olsson, in which the operations are subject to more assumptions and the base change isomorphism is only constructed on the level of sheaves. Moreover, our theory works for higher Artin stacks as well. Our method differs from all previous approaches, as we exploit the theory of stable $\infty$-categories developed by Lurie. We enhance derived categories, functors, and natural isomorphisms to the level of $\infty$-categories and introduce $\infty$-categorical (co)homological descent. To handle the homotopy coherence, we apply the results of our previous article arXiv:1211.5294 and develop several other $\infty$-categorical techniques.

研究动机与目标

• 将格罗滕迪克的六操作系统性地推广至阿廷叠上的导出范畴平展上同调，克服先前表述中的局限性。
• 在导出∞-范畴设定下建立基变换同构，而非仅在层的层面，如以往工作所示。
• 将该理论推广至高阶阿廷叠，其中先前方法失效或需强假设。
• 通过先进的∞-范畴技术，系统性地解决导出函子中的同伦相干性问题。
• 通过将现有理论嵌入Lurie的稳定∞-范畴框架中，实现统一与强化。

提出的方法

• 利用Lurie的稳定∞-范畴理论，将导出范畴、函子及自然同构提升至∞-范畴层面。
• 引入∞-范畴（co）同调下降，以一致且高阶范畴化的方式处理下降数据。
• 利用作者先前工作（arXiv:1211.5294）的结果，确保操作构造中的同伦相干性。
• 通过∞-范畴增强，以保持期望的函子性与对偶性，定义六种操作（f^*, f_*, f_!, f^!, Rf_*, Rf_!）。
• 将基变换同构构造为导出范畴∞-范畴中的自然变换，确保在所有层次上的相容性。
• 应用∞-范畴技术，证明即使在高阶阿廷叠情形下，基变换映射在导出∞-范畴中仍为等价。

实验结果

研究问题

• RQ1 格罗滕迪克的六操作如何能系统性地增强至阿廷叠的∞-范畴层面？
• RQ2 基变换同构是否可在导出∞-范畴中建立，而非仅在层的层面？
• RQ3 该理论在多大程度上可推广至经典情形之外的高阶阿廷叠？
• RQ4 在此背景下，如何系统性地管理导出函子中的同伦相干性？
• RQ5 ∞-范畴同调下降在确保操作的一致性与相容性方面起到何种作用？

主要发现

• 六种操作已完全增强至∞-范畴层面，确保了阿廷叠上导出范畴中的相干性与相容性。
• 基变换同构被确立为导出∞-范畴中的等价，解决了早期方法中的关键局限。
• 该理论适用于高阶阿廷叠，将适用范围扩展至经典代数空间或概形情形之外。
• 使用∞-范畴同调下降为导出函子中的同伦相干性问题提供了系统性解决方案。
• 该框架推广并强化了拉斯佐与奥尔森的前期工作，消除了其限制性假设，同时保持并增强了其结果。
• 该构造与对偶性相容，并在∞-范畴设定下保持了关键性质，如投影公式与基变换。