[論文レビュー] Duality for local fields and sheaves on the category of fields

Takashi Suzuki|arXiv (Cornell University)|Oct 18, 2013

Algebraic Geometry and Number Theory参考文献 23被引用数 4

ひとこと要約

本稿は、完全な残渣体をもつ局所体における双対性を、グローテンディーク位相を備えた体の圏上の層を用いて再解釈し、古典的ガロアコホモロジーに双対性を還元することで、定式化と証明を簡略化する。主な貢献は、代数群間の拡張を正確に捉えるサイト理論的枠組みを提供し、完全体上の有理エタールサイトを通じてコホモロジー群に幾何的解釈を与えることである。

ABSTRACT

Duality for complete discrete valuation fields with perfect residue field with coefficients in (possibly p-torsion) finite flat group schemes was obtained by Begueri, Bester and Kato. In this paper, we give another formulation and proof of this result. We use the category of fields and a Grothendieck topology on it. This simplifies the formulation and proof and reduces the duality to classical results on Galois cohomology. A key point is that the resulting site correctly captures extension groups between algebraic groups.

研究の動機と目的

• 完全な残渣体をもつ完全離散順序体の双対性定理を、体の圏上の層理論を用いて再定式化および再証明すること。
• 体およびその拡張に基づくグローテンディークサイトを導入することで、コホモロジー群の幾何的構造を簡略化すること。
• 代数群間の拡張群が、有理エタールサイト上の層コホモロジーによって正確に捉えられることを確立すること。
• 適切なサイト理論的基盤を構築することで、双対性同型を古典的ガロアコホモロジーの結果に還元すること。
• アーベル多様体の特別ファイバーに関するグローテンディークの予想のような、より深い算術的問題への応用が可能な枠組みを提供すること。

提案手法

• 有理 k-代数（本質的に完全体）の圏にエタール位相を備えた有理エタールサイトを定義する。
• 体の残渣体 k の拡張 k' に対して K(k') を用い、局所体 K におけるエタール代数を考案することで、局所体 K 上の相対エタールサイトを構成する。
• 完成化テンソル積を用いて、サイト上に環の層 O_K および K を定義し、K(k') を残渣体を k' に拡張した後の K の完成化とする。
• 得られたサイトがガロアコホモロジーを正しく捉え、代数群間の Ext 群が層コホモロジーによって正しく計算されることを確立する。
• マクレーンの分解の引き戻しがサイト上で正則であることを証明し、コホモロジー計算のためのスペクトル系列の適用を可能にする。
• グローテンディークのスペクトル系列を用い、ベースサイト上のコホモロジーと相対サイト上のコホモロジーを関連づけ、消滅結果を用いて双対性を証明する。

実験結果

リサーチクエスチョン

• RQ1 完全な残渣体をもつ局所体の双対性は、スキームではなく体の圏上の層を用いて再定式化可能か？
• RQ2 体の圏に導入されたグローテンディーク位相は、代数群間の拡張群をどのように捉えるか？
• RQ3 古典的ガロアコホモロジーの結果を、この新しいサイト理論的設定で双対性定理を証明するためにどの程度利用可能か？
• RQ4 有理エタールサイトは、有限平坦群スキーム係数を持つ局所体のコホモロジカル構造を正しくモデル化するか？
• RQ5 この枠組みは、アーベル多様体の特別ファイバーに関するグローテンディークの予想のような算術的問題に応用可能か？

主な発見

• 体の圏上の有理エタールサイトは、ガロアコホモロジーを正しく計算し、代数群間の拡張群を正確に捉えている。
• 局所体上の相対エタールサイトのコホモロジーは、体の古典的ガロアコホモロジーと同型であり、双対性の記述を簡略化する。
• マクレーンの分解のサイトへの引き戻しは正則であるため、スペクトル系列を用いたコホモロジーの消滅を証明できる。
• 有限平坦群スキーム係数に対する双対性同型は、サイト理論的構成を経由して古典的ガロアコホモロジーの結果に還元される。
• サイト理論的枠組みにより、双対性が随伴として解釈され、ペアリングの幾何的解釈が得られる。
• この構成は、著者の後続研究で示されるように、アーベル多様体の特別ファイバーに関するグローテンディークの予想と整合する。