[論文レビュー] 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の安定∞-圏を用いて、Artinスタック上のétaleコhomologyにおける導来圏のGrothendieckの6操作の強化理論を構築し、∞-圏的設定において完全な基本変換定理を確立する。これはLaszloとOlssonの先行研究を一般化し、高次Artinスタックへと枠組みを拡張し、∞-圏的ホモトピー的整合性を∞-圏的同調的降下を用いて解決する。

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.

研究の動機と目的

• Artinスタックにおけるétaleコホモロジーの導来圏へのGrothendieckの6操作の拡張を、従来の定式化の制限を克服して行う。
• 従来の研究が層のレベルでのみ示したのではなく、導来∞-圏的設定において基本変換同型を確立する。
• 従来の手法が失敗するか強い仮定を必要とする高次Artinスタックへ理論を一般化する。
• 高度な∞-圏的技術を用いて、導来函手におけるホモトピー的整合性問題を体系的に解決する。
• Lurieの安定∞-圏フレームワークに統合することで、既存理論を統一・強化する。

提案手法

• Lurieの安定∞-圏理論を用いて、導来圏、函手、自然同型を∞-圏的レベルに高める。
• 高次圏的整合性を持つ方法で降下データを扱う、∞-圏的（同）調和的降下を導入する。
• 著者らの先行研究（arXiv:1211.5294）の結果を活用し、操作の構成におけるホモトピー的整合性を保証する。
• ∞-圏的強化を用いて、6操作（f^*, f_*, f_!, f^!, Rf_*, Rf_!）を、望ましい函手的性質および双対性を保つ形で定義する。
• 導来∞-圏における自然変換として基本変換同型を構成し、すべてのレベルで整合性を保証する。
• ∞-圏的技術を適用して、高次Artinスタックに対しても、基本変換写像が導来∞-圏で同型であることを証明する。

実験結果

リサーチクエスチョン

• RQ1 Artinスタックにおけるétaleコホモロジーの6操作を、どのように体系的に∞-圏的レベルに高めることができるか？
• RQ2 基本変換同型を、従来の層のレベルではなく、導来∞-圏において確立できるか？
• RQ3 理論を古典的ケースを超えて、高次Artinスタックへどの程度まで拡張できるか？
• RQ4 この文脈において、導来函手におけるホモトピー的整合性を体系的に管理する方法は何か？
• RQ5 ∞-圏的同調的降下は、操作の整合性と適合性を保証するために果たす役割は何か？

主な発見

• 6操作が完全に∞-圏的レベルに高められ、Artinスタック上の導来圏における整合性と適合性が保証される。
• 基本変換同型が導来∞-圏における同型として確立され、従来の手法の主要な制限が解消される。
• 理論は高次Artinスタックにも適用可能であり、古典的ケース（代数的空間やスキーム）を超えて適用範囲が拡張される。
• ∞-圏的同調的降下の使用により、導来函手におけるホモトピー的整合性問題に対する体系的解決策が得られる。
• LaszloとOlssonの先行研究を一般化・強化し、その制限的な仮定を除去しながら、彼らの結果を保持・強化する。
• 構成は双対性と整合し、射影公式や基本変換などの主要な性質が∞-圏的設定でも保たれる。