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

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

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

一句话总结

本论文通过使用稳定 ∞-范畴，为高阶阿廷堆栈上的平展上同调中的导出范畴发展了增强的六操作形式体系，将基变换定理建立在导出范畴中，而非仅限于上同调层上。通过在 ∞-范畴增强中工作，该研究克服了先前工作的局限性，实现了同伦相干下降，并将理论推广至非准紧分离和高阶堆栈，且无需对基概形施加限制性假设。

ABSTRACT

In this article, we develop a theory of Grothendieck's six operations for derived categories in étale cohomology of Artin stacks, for both torsion and adic coefficients. We prove several desired properties of the operations, including the base change theorem in derived categories. This extends many previous theories on this subject, including the 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. In addition, we define perverse t-structures on higher Artin stacks for general perversity, extending Gabber's work on schemes. Our method differs from 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 issue of ``homotopy coherence'', we develop a general technique for gluing subcategories of $\infty$-categories and several other $\infty$-categorical techniques. 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 category-theoretical results generalizes Deligne's gluing theory developed in the construction of the extraordinary pushforward operation in étale cohomology of schemes.

研究动机与目标

• 将格罗滕迪克的六操作形式体系扩展至高阶阿廷堆栈上的平展上同调，突破先前理论的局限。
• 不仅在上同调层上，更在导出范畴中构造基变换同构，这对几何朗兰兹理论的应用至关重要。
• 通过使用 ∞-范畴增强，克服早期工作中存在的技术限制（如对基概形的假设或仅关注构造层），实现理论的推广。
• 将理论推广至高阶阿辛堆栈上的光滑-平展层，包括非准紧分离和高阶德利涅-穆尔富堆栈。
• 通过稳定 ∞-范畴提供同伦相干框架，确保导出设定中函子与自然同构的相干性。

提出的方法

• 作者利用勒里关于 ∞-范畴的理论，将阿辛堆栈上光滑-平展层的导出范畴增强为稳定 ∞-范畴。
• 他们在这些 ∞-范畴之间构造六操作（f^*, f_*, f_!, f^!, ⊗, Hom）作为函子，通过 ∞-范畴技术确保其相干性。
• 该理论依赖于 ∞-范畴的（同调）下降，从而可将六操作从概形传递至代数空间和堆栈。
• 他们使用单纯形范畴与多重单纯集来构造函子，并在 ∞-范畴设定中验证伴随关系。
• 通过证明同伦相干性与下降相容性，该研究在 ∞-范畴框架中建立了基变换定理。
• 他们通过从基上潜在的对偶复形拉回定义对偶复形 Ω_X，并在 ∞-范畴设定中证明了双对偶性与庞加莱对偶性。

实验结果

研究问题

• RQ1 六操作形式体系能否以一种方式扩展至高阶阿辛堆栈，使得基变换同构在导出范畴中成立，而不仅限于上同调层？
• RQ2 在基概形非准紧或非准分离时，如何在堆栈的光滑-平展层导出范畴中确保同伦相干性与函子性？
• RQ3 是否能通过 ∞-范畴方法为高阶阿辛堆栈构造一个对偶复形，且其是否满足双对偶性与庞加莱对偶性？
• RQ4 该理论能否超越构造层，推广至局部有限型态射上的更一般光滑-平展层？
• RQ5 与经典导出范畴相比，∞-范畴增强如何提升六操作的相干性与自然性？

主要发现

• 基变换同构在导出 ∞-范畴中构造完成，而不仅限于上同调层，解决了先前工作的关键局限。
• 六操作（f^*, f_*, f_!, f^!, ⊗, Hom）已完全增强为高阶阿辛堆栈上光滑-平展层的稳定 ∞-范畴之间的函子。
• 该理论适用于高阶阿辛堆栈与高阶德利涅-穆尔富堆栈，且无需对基概形施加准分离性或有限型假设。
• 通过对偶复形 Ω_X 通过从基上拉回构造，并在构造复形的全子范畴上证明其双对偶性：D_X ∘ D_X ≅ id。
• 庞加莱对偶性在 ∞-范畴设定中成立：对相对维数为 d 的光滑态射 u: U → X，有 u^*Ω_X ≅ Ω_U⟨−d⟩。
• 通过 ∞-范畴下降，建立了自然变换 h f^! ≃ R f^!，表明增强后的 f^! 在构造复形上与经典 R f^! 一致。