[論文レビュー] Étale Duality for Constructible Sheaves on Arithmetic Schemes

Uwe Jannsen, Shuji Saito+1 more|arXiv (Cornell University)|Jan 1, 2009

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

ひとこと要約

本稿は、算術的スキーム上の可解 torsion シェーブルに対して、双対化されたシェーブルを構成し、残差写像とエタールホモロジーを通じて、カトウの Gersten-Bloch-Ogus 複体にリンクさせることで、絶対エタール双対性を確立する。この双対化シェーブルから構築されたエタールホモロジーの niveau 譜系は、正確な符号制御とコアストリクション・トレース写像による函手的性質を伴い、カトウの複体を回復する。

ABSTRACT

In this note we relate three topics for arithmetic schemes: a general duality for étale constructible torsion sheaves, an étale homology theory, and a Gersten-Bloch-Ogus-Kato complex. The results in this paper have been used in other papers of the authors ([JS], [Sa], [SaH] in the list of references).

研究の動機と目的

• 算術的スキーム上の可解 torsion シェーブルに対するエタール双対性の正確な定式化を文献の空白を埋めるために提供すること。
• 特に混合特徴値および正の特徴値の設定において、双対化シェーブルを残差写像と記号写像の観点から特徴づけること。
• これらの双対化シェーブルを用いてエタールホモロジーを定義し、そのスペクトル系列がカトウの Gersten-Bloch-Ogus 複体を回復することを示すこと。
• 双対性同型写像における符号制御を決定し、エタールコホモロジーの文脈においてコアストリクションおよびトレース写像の函手的性質を検証すること。
• 著者らの後続研究に用いられる基盤的枠組みを提供すること、特に算術双対性理論の文脈において。

提案手法

• SGA4 の相対双対性に根ざし、導来圏における右随伴 $ Rf^! $ を用いて、エタール可解 torsion シェーブルに対する一般双対性を構成する。
• 双対化シェーブル $ \rho_X $ を用いてエタールホモロジーを定義し、随伴 $ \text{Hom}_X(\mathscr{F}, Rf^!\mathscr{G}) \cong \text{Hom}_S(Rf_!\mathscr{F}, \mathscr{G}) $ を利用する。
• ガロアコホモロジーにおける記号写像と残差準同型 $ \partial^{\text{val}}_{y,x} $ を関連させることで、算術的スキーム上の双対化シェーブル $ \rho_X $ を特徴づける。
• ブロッホとオグスの niveau 譜系を用いて、エタールホモロジーと剰余体のコホモロジーを関連させ、Kato の複体への収束を示す。
• シャピロの補題とコホモロジー的降下を適用し、$ W_n\Omega_{X,\log}^r $ を含む複体とトレース／コアストリクション写像の完全性を検証する。
• トレース、コアストリクション、ギジン写像を含む重要な図式の可換性を検証し、コアストリクション写像がエタールコホモロジーにおけるギジン写像 $ \text{Gys}_f $ と一致することを示す。

実験結果

リサーチクエスチョン

• RQ1 特に混合特徴値の文脈において、算術的スキーム上の可解 torsion シェーブルに対して、絶対エタール双対性をどのように定式化できるか？
• RQ2 カトウの複体における双対化シェーブルと残差写像 $ \partial^{\text{val}}_{y,x} $ の正確な関係は何か？
• RQ3 双対化シェーブルを用いて定義されたエタールホモロジーは、niveau 譜系を通じてカトウの Gersten-Bloch-Ogus 複体を回復するか？
• RQ4 双対性同型写像における符号制御と函手的性質（例えばトレースおよびコアストリクション）はどのように制御されるか？
• RQ5 複体内のコアストリクション写像は、エタールコホモロジーにおけるギジン写像と同一視できるか？

主な発見

• 算術的スキーム $ X $ 上の双対化シェーブル $ \rho_X $ は、その残差写像 $ \partial^{\text{val}}_{y,x} $ との整合性により特徴づけられ、点のエタールコホモロジーと高次元コホモロジーを結ぶ。
• 双対化シェーブル $ \rho_X $ を用いて定義されたエタールホモロジーは、$ E_1 $-頁がカトウの複体 $ C_n^{i,j}(X) $ と同型となるスペクトル系列を生じ、結果として彼の複体を回復する。
• キーダイアグラム (A.2.7) の下段は完全である。これは、Milnor K-理論を $ p^n $ で割った複体を層化し、$ W_n\Omega_{X,\log}^r $ との同型を用いることで示される。
• エタールコホモロジー列におけるコアストリクション写像 $ \text{Cor}_{v/x} $ は、ギジン写像 $ \text{Gys}_f $ と一致する。これは可換図式とシャピロの補題を用いて検証された。
• トレースとギジン写像を含む図式の可換性における符号は決定され、既存の文献における結果と整合的であることが示された。
• 本構成は、符号を正確に制御した双対性枠組みを提供し、特に算術双対性理論の文脈で著者らの後続研究の基盤をなしている。