[論文レビュー] On arithmetic families of filtered phi-modules and crystalline representations

Eugen Hellmann|arXiv (Cornell University)|Oct 21, 2010

Algebraic Geometry and Number Theory参考文献 9被引用数 8

ひとこと要約

この論文は、アーベル的空間上の算術的ファミリーのフィルター付き $\varphi$-加群の弱い適性部分スタックが、アディック空間上でのスタックにおいて開部分スタックであることを確立し、古典的 $p$-進ホッジ理論をファミリーに一般化する。パッパスとラポポートの予想を、整数的 $p$-進ホッジ理論データからフィルター付き $\varphi$-加群スタックへの周期準同型の像を特定することで確認し、この開部分スタック上に普遍的クリスタリン表現ファミリーを構成する。

ABSTRACT

We consider stacks of filtered phi-modules over rigid analytic spaces and adic spaces. We show that these modules parametrize p-adic Galois representations of the absolute Galois group of a p-adic field with varying coefficients over an open substack containing all classical points. Further we study a period morphism (defined by Pappas and Rapoport) from a stack parametrizing integral data and determine the image of this morphism.

研究の動機と目的

• アディック空間上のフィルター付き $\varphi$-加群の算術的ファミリーを定義・研究し、ラポポート＝ジンクの幾何的設定を一般化すること。
• フロベニウスとフィルトレーションが両方変化する算術的文脈における弱い適性の概念を導入すること。
• アディック空間上のフィルター付き $\varphi$-加群スタックにおける弱い適性部分スタックが開部分スタックであることを証明すること。
• パッパスとラポポートが定義した、整数的 $p$-進ホッジ理論データからフィルター付き $\varphi$-加群スタックへの周期準同型の像を特定すること。
• 弱い適性部分スタック上に普遍的クリスタリン表現ファミリーを構成し、それがすべてのこのようなファミリーを普遍的にパラメトライズすることを示すこと。

提案手法

• 反射体 $E$ 上で有限型であるアディック空間の圏において、エタール局所で病理を避けるために、剛体解析的空間の代わりにアディック空間を用いる。
• 係数体 $K_0$ を持つ $K$-フィルター付き $\varphi$-加群をパラメトライズするスタック $\mathfrak{D}_\nu$ を定義し、半線形フロベニウスと型 $\nu$ のフィルトレーションを備える。
• 剛体解析的設定からの古典的条件を拡張し、アディックスタック内の点に対する一般化された弱い適性の概念を導入する。
• ロッバ環およびその完備化上の $\varphi$-加群の理論を用い、$D_{\rm cris}$-関手を介してクリスタリン表現とフィルター付き $\varphi$-加群を関連付ける。
• ケドレイヤとリウによるロッバ環上のエタール $\varphi$-加群に関する結果をアディック空間に一般化し、弱い適性部分スタックが開であることを示す。
• 周期準同型 $\Pi: \widehat{\mathcal{C}}_{K,\nu} \to \mathfrak{D}_\nu^{\rm rig}$ を分析し、それが弱い適性部分スタックを通じて因数分解することを証明し、明示的計算と降下の議論を用いてその像を同定する。

実験結果

リサーチクエスチョン

• RQ1 アディック空間上、$E$ 上で有限型である算術的フィルター付き $\varphi$-加群のスタックにおける弱い適性部分スタックは開かか？
• RQ2 整数的 $p$-進ホッジ理論データからフィルター付き $\varphi$-加群スタックへの周期準同型は、弱い適性部分スタックを通じて因数分解されるか？
• RQ3 パッパスとラポポートが定義した整数的 $p$-進ホッジ理論の文脈において、周期準同型の像は何か？
• RQ4 弱い適性部分スタック上に普遍的クリスタリン表現ファミリーを構成できるか？
• RQ5 非自明な場合において、適性部分スタックは残余ガロア表現の変形空間とどのように関係するか？

主な発見

• 弱い適性部分スタック $\mathfrak{D}_\nu^{\rm wa}$ は、$E$ 上で有限型であるアディック空間上のスタック $\mathfrak{D}_\nu$ の開部分スタックである。
• 周期準同型 $\Pi: \widehat{\mathcal{C}}_{K,\nu} \to \mathfrak{D}_\nu^{\rm rig}$ は $\mathfrak{D}_\nu^{\rm wa}$ を通じて因数分解され、その像は正確に弱い適性部分スタックである。
• 周期写像の像は、関連するフィルター付き $\varphi$-加群が弱い適性を満たす点の集合として記述され、パッパスとラポポートの予想が確認された。
• 開部分スタック $\mathfrak{D}_\nu^{\rm wa}$ 上に、クリスタリンな $G_K$-作用を備えた連続的 $G_K$-作用を持つベクトル束としての普遍的クリスタリン表現ファミリーが存在する。
• 一般に、適性部分スタックは整数的局所よりも真に小さいことが示された（例 8.29 より、$\mathfrak{D}_\nu^{\rm adm} \subsetneq \mathfrak{D}_\nu^{\rm int}$）。
• 例 8.30 において、適性部分スタックは残余表現の変形空間の直和ではないことが示され、ファミリー内での非自明なモノドロミー行動が存在することが示された。