[論文レビュー] Cohomology with closed support on the overconvergent site

David Zureick-Brown|arXiv (Cornell University)|Aug 8, 2014

Homotopy and Cohomology in Algebraic Topology参考文献 4被引用数 3

ひとこと要約

本稿は、SGA4の開／閉部分トポスを用いて、過収束サイトにおける閉じた補題付きコホモロジーの層的枠組みを確立し、これがベルトロワが定義した古典的剛体コホモロジーと一致することを証明する。主な結果は、過収束コホモロジーと剛体コホモロジーの補題付きの間のファンクター的な同型であり、その結果、有限性および切除性の性質が代数的スタックへと拡張される。

ABSTRACT

Using the notions of open/closed subtopoi of SGA, we define a notion of cohomology with support in a closed subscheme on the overconvergent site, and show that this agrees with the classic notion of rigid cohomology support in a closed subscheme.

研究の動機と目的

• 過収束サイトにおける補題付き剛体コホモロジー理論を、現代のトポス的道具を用いて拡張すること。
• 過収束設定における補題のための体系的コホモロロジー的枠組みの欠如を解消し、有限性および双対性の結果に不可欠である。
• 特に有限性および切除性の古典的結果を、代数的スタックへと剛体コホモロジーの補題付きに一般化すること。
• ベルトロワの具体的な構成と整合する、過収束サイトにおける閉部分スキームにおける補題付きコホモロジーの形式的でファンクター的な定義を提供すること。
• Zeta関数や有理点の数え上げといった算術幾何における将来的な応用のための基礎的道具を確立すること。

提案手法

• 本稿は、SGA4における開および閉部分トポスの理論を用い、サイトおよびトポスの形式的枠組みを用いて、閉部分スキームにおけるコホモロジーの補題を定義する。
• 過収束サイト $\operatorname{AN}^\dagger(X)$ を、通常の位相よりも細かいグローテンディーク位相を持つ過収束的多様体のサイトとして構成する。
• 主な技術的ステップは、閉埋め込み $Z \hookrightarrow X$ に付随する部分トポスが、過収束サイト上でのwell-definedな補題付きコホモロジー $\mathbb{R}p_{\operatorname{AN}^\dagger_*}\underline{\Gamma}^\dagger_Z E$ を誘導することを示すことである。
• 主な同型は、過収束コホモロジーと剛体コホモロジー関手の間の比較によって確立される：$\left(\mathbb{R}p_{\operatorname{rig}}\underline{\Gamma}^{\dagger,\operatorname{Ber}}_Z E_0\right)^{\operatorname{an}} \cong \left(\mathbb{R}p_{\operatorname{AN}^\dagger_*}\underline{\Gamma}^\dagger_Z E\right)_{S_k,S_K}$ であり、これにより古典的定義と一致することが証明される。
• コホモロジー的降下および2-ヤオダの補題を用いて、体 $k$ 上のファイバードカテゴリ $\mathcal{X}$ に対して $\operatorname{AN}^\dagger(\mathcal{X})$ を定義することで、理論が代数的スタックへと拡張される。
• 準同型列のスペクトル系列と、準射影的スキームにおける剛体コホモロジーの既知の有限次元性を用いて、有限性の結果が証明される。

実験結果

リサーチクエスチョン

• RQ1 トポス的道具を用いて、過収束サイトにおける補題付きコホモロジーを体系的に定義する方法は何か？
• RQ2 閉部分スキームにおける過収束コホモロジーが、ベルトロワの古典的剛体コホモロジーと一致するか？
• RQ3 ファンクター性、切除性、有限次元性といった標準的性質は、過収束設定においてスキームから代数的スタックへと拡張可能か？
• RQ4 開および閉部分トポスは、非アーベル的コホモロジーサイエンスにおける補題条件の定義において果たす役割は何か？
• RQ5 コホモロジー的降下は、スタック上の過収束コホモロジーの補題付きの有限性を示すためにどのように適用可能か？

主な発見

• 本稿は、過収束コホモロジーの補題付きと古典的剛体コホモロジーの補題付きとの間の標準的同型を確立し、新しい定義がベルトロワの理論と整合することを証明する。
• 閉部分トポスによる補題付きコホモロジーの構成は、ファンクター性および切除完全系列との整合性を保証し、古典的コホモロジー的道具に必要な要件を満たす。
• 正標数の体上の分離的有限型代数的スタックに対して、過収束コホモロジーの補題付きの有限性が証明される。
• スペクトル系列 $H^j(\operatorname{AN}^\dagger_{\operatorname{g}}X'_i) \Rightarrow H^{i+j}(\operatorname{AN}^\dagger_{\operatorname{g}}X)$ を用いて、既知の準射影的スキームにおける剛体コホモロジーの有限次元性から、有限次元性が導かれる。
• コホモロジー的降下を用いることで理論は自然にスタックへと拡張され、$X$ が $k$ 上の分離的有限型代数的スタックであるとき、$H^i_Z(\operatorname{AN}^\dagger_{\operatorname{g}}X)$ に対しても同様の有限性結果が成り立つ。
• この枠組みは、フロベニウス作用を持つ $F$-イソクラストへの一般化が可能であり、その場合にも同様の有限次元性結果が成り立つ。