[論文レビュー] Topos co-évanescents et généralisations

Ahmed Abbes, M. Gros|arXiv (Cornell University)|Jul 12, 2011

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

ひとこと要約

この論文は、p-進ホッジ理論におけるFaltingsが導入したトポスを修正・一般化し、元の定義が構造層を適切に扱えないことの原因を解明する。Deligneのトポスの方向付き積に基づく一般化された共消滅トポスの概念を導入することで、Faltingsのグローバルなアプローチのための強固な枠組みを確立し、Faltingsのトポスが実際にこの一般化された構成の特別な場合であることを証明することで、p-進シンプソン対応およびp-進ホッジ理論における基礎的問題を解決する。

ABSTRACT

This article is devoted to studying a topos introduced by Faltings for the purpose of $p$-adic Hodge theory. We present a new approach based on a generalisation of Deligne's co-vanishing topos. Along the way, we correct Faltings' original definition.

研究の動機と目的

• Faltingsの元のトポス定義が、提示された位相において構造層を有効な層と扱えないという基礎的欠陥を是正すること。
• Deligneの提言とIllusieのノートにインspされ、共消滅トポスの概念を形式化・一般化し、Faltingsのグローバルp-進ホッジ理論の正しい位相的基盤を提供すること。
• Faltingsのトポスが一般化された共消滅トポスの特別な場合であることを確立することで、p-進ホッジ理論におけるグローバルアプローチの正当化と強化を図ること。
• ファイブレーションのサイトと方向付きトポス積を用いて、Faltings理論の背後にあるサイトおよびトポスを体系的に構成すること。
• FaltingsのトポスとK(π,1)性質との関係を明確にし、グローバルコhomological構成と整合性を保つこと。

提案手法

• 著者らは、IがU-サイトであり、EがI上にファイブレーションされたカテゴリで、各ファイバーに所定の位相が与えられるようなサイトのファイブレーションπ: E → Iを用いて、一般化された共消滅トポスを定義する。
• 全カテゴリEに新たな位相を導入し、2種類の被覆族で生成される：カルテジアン被覆族と、I内の射影から生じる被覆族。
• Deligneの枠組みを一般化する方向付きトポス積を用いて、連続的かつ左完全な関手f⁺: S → Xおよびg⁺: S → Yからなるサイトを構成するトポスを定義する。
• Faltingsのトポスを、この一般化された共消滅トポスの特別な場合として定義する。p-進体上のスキームXの有限エタール被覆のサイトを用いる。
• 共消滅位相において構造層が層であることを証明し、Faltingsの元の定義とは異なり、重要な欠陥を是正する。
• 全環付きトポスおよび共消滅環付きトポスの概念を統合することで、p-進幾何におけるコホモロジー不変量の整合的取り扱いを可能にする。

実験結果

リサーチクエスチョン

• RQ1 なぜFaltingsの元のトポスは構造層を層と扱えないのか。そして、これを保証する正しい位相的条件は何か。
• RQ2 Deligneの方向付きトポス積の概念をどのように一般化すれば、Faltingsのp-進ホッジ理論を正しく支えるトポスを構成できるか。
• RQ3 Faltingsのトポスとp-進エタールコホモロジーにおけるK(π,1)性質との正確な関係は何か。
• RQ4 Faltingsのトポスを、より広いトポスのクラスの特別な場合として体系的に再構成できるか。そのようなクラスの公理は何か。
• RQ5 p-進体上のスキームのコホモロジー不変量と、一般化された共消滅トポスのコホモロジーとの関係は何か。

主な発見

• Faltingsのトポスは、[9]で元々定義されたものでは、構造層に対して層の条件を満たさず、理論の重要な要素が無効化される。
• 適切な被覆族を伴うサイトのファイブレーションを用いて構成された一般化された共消滅トポスは、構造層を正しく層として扱うことができ、基礎的欠陥が是正される。
• Faltingsのトポスが一般化された共消滅トポスの特定の例に同型であることが示され、そのp-進ホッジ理論における役割が正当化される。
• 著者らは、一般化された共消滅トポスの明示的なサイト、すなわちg⁺の共消滅サイトを構成し、方向付き積から導かれるサイトよりも単純であることを示す。
• Faltingsのトポスにおける構造層が共消滅位相において層であることが証明され、グローバルコホモロジー枠組みと整合することが確認される。
• 本論文では、Faltingsのトポスが全環付きトポスであり、共消滅環付きトポスであることが確立され、p-進コホモロジーの整合的代数的幾何的基盤が提供される。