[論文レビュー] Equations differentielles p-adiques et (phi,N)-modules filtres

Laurent Berger|arXiv (Cornell University)|Jun 29, 2004

Algebraic structures and combinatorial models参考文献 8被引用数 4

ひとこと要約

この論文は、$\Gamma_K$ のリー代数が局所的に自明に作用するロッパ環上でのフィルター付き$(\varphi,N,G_K)$-モジュールと$(\varphi,\Gamma_K)$-モジュールの間の同値性を確立する。また、適切なフィルター付き$(\varphi,N,G_K)$-モジュールがちょうどエタール$(\varphi,\Gamma_K)$-モジュールに対応することを示し、コルメツ・フォンタインの定理の新たな証明を提供するとともに、ロッパ環とモノドロミー構造を通じて $p$-進表現、微分方程式、ガロアモジュールを統合的に扱う枠組みを構築する。

ABSTRACT

The goal of this article is to show that the following two categories are equivalent (1) the category of filtered (phi,N,G_K)-modules (2) the category of (phi,Gamma_K)-modules over the Robba ring such that the Lie algebra of Gamma_K acts locally trivially. Furthermore, we show that under this equivalence, the admissible filtered (phi,N,G_K)-modules correspond to the etale (phi,Gamma_K)-modules, which gives a new proof of Colmez-Fontaine's theorem.

研究の動機と目的

• ロッパ環上でのフィルター付き$(\varphi,N,G_K)$-モジュールと$(\varphi,\Gamma_K)$-モジュールの間のカテゴリカル同値性を、$\Gamma_K$ のリー代数作用が局所的に自明となるように確立すること。
• この同値性のもとで、適切なフィルター付き$(\varphi,N,G_K)$-モジュールがエタール$(\varphi,\Gamma_K)$-モジュールに正確に対応することを示すこと。
• 潜在的に半安定な$p$-進表現の分類に関するコルメツ・フォンタインの定理の新たな証明を提供すること。
• $p$-進表現の de Rham、$(\varphi,\Gamma_K)$-モジュール、微分方程式の不変量の間の相互作用を明確にすること。
• $p$-進微分方程式の可解性を用いて、$(\varphi,N,G_L/K)$-モジュール上のフィルトレーションを$(\varphi,\Gamma_K)$-モジュール構造から再構成すること。

提案手法

• フィルター付き$(\varphi,N,G_K)$-モジュールからロッパ環$\mathbf{B}^{\dagger}_{\mathrm{rig},K}$上での$(\varphi,\Gamma_K)$-モジュールへの関手$D \mapsto \mathcal{M}(D)$を構成する。
• 過収束$p$-進微分方程式の理論とケドレイヤのモノドロミー定理を用いて、$\mathcal{M}(D)$を定義・分析する。
• Frobeniusの勾配を用いて、$\mathcal{M}(D)$に自然なフィルトレーションを導入し、$D$の不変量$t_H$と$t_N$で表す。
• $\Gamma_K$ のリー代数の局所的自明作用を活用し、de Rham構造との整合性および微分方程式の可解性を保証する。
• $(\varphi,\Gamma_K)$-モジュール$\mathbf{D}^\dagger_{\mathrm{rig}}(V)$から$p$-進微分方程式$\mathbf{N}_{\mathrm{dR}}(V)$を構成し、その$G_L$-不変解が$\mathbf{D}_{\mathrm{st},L}(V)$に同型であることを関連付ける。
• ロッパ環の構造を用いて、$(\varphi,\Gamma_K)$-モジュール$\mathbf{D}^\dagger_{\mathrm{rig}}(V)$と$G_L$-固定点の構成を介して、de Rhamモジュール$\mathbf{D}_{\mathrm{st},L}(V)$を関連付ける。

実験結果

リサーチクエスチョン

• RQ1 フィルター付き$(\varphi,N,G_K)$-モジュールとロッパ環上での$(\varphi,\Gamma_K)$-モジュールの間で、$\Gamma_K$ のリー代数作用が局所的に自明となるような自然な同値性が存在するか？
• RQ2 フィルター付き$(\varphi,N,G_K)$-モジュールの適切性が、その対応する$(\varphi,\Gamma_K)$-モジュールのエタール性に正確に対応するか？
• RQ3 $p$-進微分方程式とロッパ環の枠組みを用いて、コルメツ・フォンタインの定理を再証明できるか？
• RQ4 de Rhamモジュール$\mathbf{D}_{\mathrm{st},L}(V)$、微分方程式$\mathbf{N}_{\mathrm{dR}}(V)$、$(\varphi,\Gamma_K)$-モジュール$\mathbf{D}^\dagger_{\mathrm{rig}}(V)$の間にはどのような関係があるか？
• RQ5 $(\varphi,\Gamma_K)$-モジュール$\mathbf{D}^\dagger_{\mathrm{rig}}(V)$から、$\mathbf{D}_{\mathrm{st},L}(V)$上のフィルトレーションを再構成できるか？

主な発見

• 関手$D \mapsto \mathcal{M}(D)$は、$\Gamma_K$ のリー代数作用が局所的に自明となるロッパ環$\mathbf{B}^{\dagger}_{\mathrm{rig},K}$上でのフィルター付き$(\varphi,N,G_K)$-モジュールと$(\varphi,\Gamma_K)$-モジュールの間のカテゴリカル同値性をなす。
• この同値性のもとで、適切なフィルター付き$(\varphi,N,G_K)$-モジュールは、ちょうどエタール$(\varphi,\Gamma_K)$-モジュールに対応する。
• $\mathcal{M}(D)$上のFrobeniusの勾配は、$D$の不変量$t_H$と$t_N$、およびその部分対象の表現で明示的に計算できる。
• $p$-進微分方程式$\mathbf{N}_{\mathrm{dR}}(V)$の$G_L$-不変解は、$(\varphi,N,G_{L/K})$-モジュールをなすが、これは$\mathbf{D}_{\mathrm{st},L}(V)$に同型である。
• $(\varphi,\Gamma_K)$-モジュール$\mathbf{D}^\dagger_{\mathrm{rig}}(V)$は、$\operatorname{Sol}_L(\mathbf{N}_{\mathrm{dR}}(V))$上に自然なフィルトレーションを定め、これにより$(\varphi,N,G_{L/K})$-モジュールとしてのフィルター構造が得られる。
• 三つの不変量$\mathbf{D}_{\mathrm{st},L}(V)$、$\mathbf{N}_{\mathrm{dR}}(V)$、$\mathbf{D}^\dagger_{\mathrm{rig}}(V)$は、提示された構成のもとで自然に同型であり、すべての構造が整合的である。