[論文レビュー] Enhanced adic formalism and perverse t-structures for higher Artin stacks

Yifeng Liu, Weizhe Zheng|arXiv (Cornell University)|Apr 4, 2014

Algebraic Geometry and Number Theory参考文献 17被引用数 11

ひとこと要約

この論文は、$∞$-圏を用いて、高次のアーティン・スタック上のエタール・コhomologyの強化されたアディック形式的体系を構築し、ベース・チェンジ定理を伴う6操作を確立するとともに、任意のパーソンスティのための perverse t-構造を定義する。これは、構成可能性の仮定を排除し、有限型の局所的なスタックへと拡張することで、ラスツロ–オルソンおよびガブレの結果を一般化する。

ABSTRACT

In this sequel of arXiv:1211.5294 and arXiv:1211.5948, we develop an adic formalism for étale cohomology of Artin stacks and prove several desired properties including the base change theorem. In addition, we define perverse t-structures on Artin stacks for general perversity, extending Gabber's work on schemes. Our results generalize results of Laszlo and Olsson on adic formalism and middle perversity. We continue to work in the world of $\infty$-categories in the sense of Lurie, by enhancing all the derived categories, functors, and natural transformations to the level of $\infty$-categories.

研究の動機と目的

• エタール・コホモロジーの6操作形式的体系を、構成可能性の仮定なしに高次のアーティン・スタックへと拡張すること。
• スキーム上のガブレの perverse t-構造およびラスツロ–オルソンの中間パーソンスティ結果を、アーティン・スタック上で任意のパーソンスティに一般化すること。
• より高い整合性と降下制御を実現するため、導来圏、ファンクター、自然変換を強化する $∞$-圏的フレームワークの構築。
• 高次のアーティン・スタック上の lisse-étale シェーブの導来圏に対して、ハイパーデスセンス性（滑らか、固有、平坦）を確立すること。
• 従来の結果がシェーブや制限された設定に限られていた導来 $∞$-圏的設定におけるベース・チェンジ定理の証明。

提案手法

• 導来圏、ファンクター、自然変換を強化するために $∞$-圏を用い、より高い圏的マシンを可能にする。
• 環付き図式 $\lambda = (\Xi, \Lambda)$ 上の $Λ(\xi)$-加群の $∞$-圏の極限を通じてアディック形式的体系を構成する。
• $∞$-圏的設定における随伴対としての強化された操作 $f^{*\mathrm{a}}$, $f_{*\mathrm{a}}$, $\otimes^\mathrm{a}$, および $\mathcal{H}\mathrm{om}^\mathrm{a}$ を定義する。
• ルリーのフレームワークからの $∞$-圏的降下、オブジェクトのグルーピング、および随伴ファンクター定理を適用して整合性を保証する。
• スキームへの還元と有限のベース・チェンジを用いて、滑らか、固有、平坦なハイパーカバーイングに対してハイパーデスセンスを証明する。
• パーソンスティ評価を介して perverse t-構造を定義し、強化された形式的体系を用いてアディック複体へと拡張する。

実験結果

リサーチクエスチョン

• RQ1 エタール・コホモロジーにおける6操作形式的体系を、構成可能性の仮定なしに高次のアーティン・スタックへと拡張できるか？
• RQ2 アーティン・スタック上で中間パーソンスティから任意のパーソンスティへと perverse t-構造を一般化する方法は何か？
• RQ3 $∞$-圏は、スタックの導来コホモロジーにおけるベース・チェンジ定理と降下を可能にする役割を果たすか？
• RQ4 滑らか、固有、平坦なハイパーカバーイングが、導来 $∞$-圏的設定においてどの程度降下性を満たすか？
• RQ5 強化されたアディック形式的体系は、高次スタックの文脈において、古典的なラスツロ–オルソンおよびガブレの結果とどのように関係するか？

主な発見

• ベース・チェンジ定理は、高次のアーティン・スタックの射に対して導来 $∞$-圏的設定で成立し、従来のシェーブに限られた結果を拡張する。
• 任意のパーソンスティに対して、高次のアーティン・スタック上で perverse t-構造が定義され、スキーム上のガブレの研究およびラスツロ–オルソンの中間パーソンスティ結果を一般化する。
• 強化されたアディック形式的体系は制限のない導来圏に適用可能であり、従来の理論で一般的な構成可能性の仮定を排除する。
• 滑らか、固有、平坦なハイパーカバーイングは、高次のアーティン・スタック上の lisse-étale シェーブの導来圏に対して $∞$-圏的降下性を満たす。
• $∞$-圏的フレームワークにより、グルーピング、随伴、降下の体系的取り扱いが可能となり、コホモロジカル・オペレーションの強固な基盤が提供される。
• 強化されたアディック操作の構成は、ラスツロ–オルソンの古典的形式的体系と整合的であり、彼らの結果を $∞$-圏的レベルに拡張する。