[論文レビュー] Artin-Mazur-Milne duality Theorem for fppf cohomology

Cyril Demarche, David Harari|arXiv (Cornell University)|Apr 11, 2018

Algebraic Geometry and Number Theory参考文献 10被引用数 1

ひとこと要約

この論文は、有限体および数体の整数環上の曲線のfppfコホモロジーに対して双対性定理を確立し、従来のエタールコホモロジーからのアーチン＝ヴェルディエ双対性をfppfコホモロジーへ拡張する。有限性および消失結果を証明し、より広いコホモロジー的設定における双対性の完全な枠組みを提供する。

ABSTRACT

We provide a complete proof of a duality theorem for the fppf cohomology of either a curve over a finite field or a ring of integers of a number field, which extends the classical Artin-Verdier Theorem in \'etale cohomology. We also prove some finiteness and vanishing statements.

研究の動機と目的

• エタールコホモロジーからの古典的アーチン＝ヴェルディエ双対性定理をfppfコホモロジーへ拡張すること。
• 有限体および数体の整数環上の代数的曲線に適用可能な双対性フレームワークを確立すること。
• これらの設定におけるfppfコホモロジー群の有限性および消失定理を証明すること。
• fppf位相における双対性同型の完全かつ厳密な証明を提供すること。

提案手法

• fppf位相の性質を活用して、エタールコホモロジーの技術をfppfトポスへ適応する。
• 有限体および整数環上の曲線の構造を用いて、コホモロジー的挙動を分析する。
• 特に双対化複体およびグロテンディークの局所双対性を含む代数幾何学における双対性定理を適用する。
• fppfコホモロジー群の有限性結果を用いて、双対性同型を確立する。
• 特定の次数におけるコホモロジーの消失を組み合わせて、双対性ペアリングの正当性を検証する。
• エタールおよびfppfコホモロジーの比較を基に、既知の双対性結果をfppf設定へと移行する。

実験結果

リサーチクエスチョン

• RQ1 有限体上の曲線の文脈において、アーチン＝ヴェルディエ双対性をエタールからfppfコホモロジーへどのように拡張できるか。
• RQ2 有限体および数体の整数環上の曲線のfppfコホモロジー群に成り立つ有限性の性質は何か。
• RQ3 これらの算術的設定におけるfppfコホモロジーに適用可能な消失定理は何か。
• RQ4 このようなスキームにおけるfppf位相における双対性同型の正確な形は何か。

主な発見

• 有限体および数体の整数環上の曲線のfppfコホモロジーに対して、完全な双対性同型が確立された。
• 関連するすべての次数において、fppfコホモロジー群の有限性定理が証明された。
• 有界範囲外の次数において、fppfコホモロジーの消失結果が得られた。
• 双対性定理は、古典的アーチン＝ヴェルディエ双対性をエタールからfppfコホモロジーへ拡張し、双対性ペアリング構造を保持した。