[論文レビュー] New methods for (phi, Gamma)-modules

Kiran S. Kedlaya|arXiv (Cornell University)|Jul 10, 2013

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

ひとこと要約

本稿では、p進ホッジ理論における2つの基礎的結果—Fontaine-Wintenbergerのガロア群の同型、およびCherbonnier-Colmezの(φ,Γ)-加群の再完備化に関する定理—について、古典的ないくつかの理論（高次分岐理論、Tate-Sen形式的理論）を回避する方法で、完全体代数とほぼ環論の技法を用いて、自己完備な証明を提示する。主な貢献は、完全体環から過収束部分環へのエタール(φ,Γ)-加群の直接的降下の仕組みを構築し、p進ノルムにおける行列収束によって過収束性を確立することにある。

ABSTRACT

We provide new proofs of two key results of p-adic Hodge theory: the Fontaine-Wintenberger isomorphism between Galois groups in characteristic 0 and characteristic p, and the Cherbonnier-Colmez theorem on decompletion of (phi, Gamma)-modules. These proofs are derived from joint work with Liu on relative p-adic Hodge theory, and are closely related to Scholze's study of perfectoid algebras and spaces.

研究の動機と目的

• 特徴0と特徴pのガロア群のFontaine-Wintenberger同型を、高次分岐理論に依存せずに再証明すること。
• Tate-Sen形式的理論を用いない、(φ,Γ)-加群の再完備化に関するCherbonnier-Colmez定理の新証明を提供すること。
• 傾きを用いた方法により、完全体体と特徴pの完全体の間の関手的対応を確立し、Fontaine-Wintenberger結果を一般化すること。
• エタール(φ,Γ)-加群の基底をA_K^†からA˜_K^†に拡張する操作が、カテゴリの同値であることを示すこと。
• p進収束の議論を用いて、剛体解析的空間上での過収束相対(φ,Γ)-加群理論を一般化すること。

提案手法

• 厳密なp-環とウィットベクトル構成を用いて、完全体体と特徴pの完全体の間の傾き対応を分析する。
• コロナリー2.5.7を繰り返し用いて、完全体から過収束設定への基底の降下を実現する、収束する行列列U_lをA˜_K^†に構成する。
• p進ノルム|·|_rを用いて、γ作用下での行列G_lおよびその摂動の収束を制御する。
• 恒等式H^{-1}Cφ(H) - C = (γ-1)(C)を用いて、行列をA_K^†とT（あるp進完備化）の成分に分解し、非ゼロの場合に矛盾を導く。
• φ(H) = Hγ(A)という交換関係を用いて、C=0のときφ作用がA_K^†に降下することを強制し、Aの成分がA_K^†に属することを示す。
• U = U_0U_1⋯の収束を用いて、任意のA˜_K^†上のエタール(φ,Γ)-加群で、pを法として固定される基底を持つものは、A_K^†に降下可能であることを、降下による同値性の証明により示す。

実験結果

リサーチクエスチョン

• RQ1 Fontaine-Wintenberger同型は、高次分岐理論に依存せずに証明可能か？
• RQ2 Cherbonnier-Colmez定理における再完備化は、Tate-Sen形式的理論を用いずに再証明可能か？
• RQ3 完全体環A˜_K^†から過収束環A_K^†への(φ,Γ)-加群の直接的降下法は存在するか？
• RQ4 完全体環上の(φ,Γ)-加群が過収束部分環に降下するための条件は何か？
• RQ5 p進ノルムの推移的推移的評価を用いて、p進ガロア表現の過収束性を代数的に特徴づけられるか？

主な発見

• ウィットベクトルとp進収束を用いた直接的構成により、ほぼ環論を回避して、完全体体と特徴pの完全体の間の傾き対応が確立された。
• A_K^†上のエタール(φ,Γ)-加群からA˜_K^†上の加群への基底拡張関手がカテゴリの同値であることが示され、p進ガロア表現の過収束性が証明された。
• 行列G = γ(e_j)は、収束する行列積U_lによる共役をとることで、A_K^†に収束することが示され、|X_l|_r ≤ ε^{2}および|Y_l|_r ≤ ε^{l+2}（ε < min{c^{-r}, 1}）を満たす。
• 誤差項Cがゼロでない場合に矛盾を導く議論により、φ作用におけるCが消えることが示され、φ作用がA_K^†に降下することが保証され、加群構造の降下が証明された。
• 過収束環A_K^†は、Z_pに係数を持つ形式的ローラン級数で、π^nの係数のp進付値がn → -∞のとき少なくとも線形に -n に比例して増加するものとして特徴づけられる。
• A˜_K^†上の加群MにおけるΓ作用がA_K^†に降下することが証明され、両環に同じ位相が入っているため、連続的であることが保証された。