[論文レビュー] On Families of (Phi,Gamma)-modules

Kiran S. Kedlaya, Ruochuan Liu|arXiv (Cornell University)|Nov 29, 2008

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

ひとこと要約

本稿は、アフィノイドバナッハ代数上の $p$-進ガロア表現と過収束エタール $(\varphi,\Gamma)$-加群の族の間で局所的に同値であることを確立し、グローバル理論における主要な障害を解消する。具体的には、このような加群が局所的に表現に持ち上げられることを示している。主な結果は、rigid analytic base 上のエタール $(\varphi,\Gamma)$-加群は、任意のrigid analytic点の近傍でガロア表現に一致し、同型を除いて一意な持ち上げが存在することである。

ABSTRACT

Berger and Colmez introduced a theory of families of overconvergent étale (Phi,Gamma)-modules associated to families of p-adic Galois representations over p-adic Banach algebras. However, in contrast with the classical theory of (Phi,Gamma)-modules, the functor they obtain is not an equivalence of categories. In this paper, we prove that when the base is an affinoid space, every family of (overconvergent) étale (Phi,Gamma)-modules can locally be converted into a family of p-adic representations in a unique manner, providing the "local" equivalence. There is a global mod p obstruction related to the moduli of residual representations.

研究の動機と目的

• $p$-進バナッハ代数上の $(\varphi,\Gamma)$-加群の族において、Berger–Colmez関手が同値でないという問題を扱う。
• rigid analytic geometryの文脈で、ガロア表現から $(\varphi,\Gamma)$-加群への関手の局所的逆関手を確立する。
• mod $p$ 残余表現が、$(\varphi,\Gamma)$-加群をガロア表現に持ち上げる際のグローバル障害として果たす役割を明確にする。
• 非局所的定数でない勾配多角形を考慮しても、Colmezの有限次元ベクトル空間理論およびKedlayaの勾配フィルトレーションを族の設定に拡張する。
• アフィノイド基底上のフィルトレートド $(\phi,N)$-加群の族へのFontaine–Colmez定理の一般化をためるフレームワークを提供する。

提案手法

• $p$-進バナッハ代数およびrigid analytic geometryの理論を用いて、アフィノイド $S$ に対して $\mathbf{B}^{\dagger}_{\mathrm{rig},K}\widehat{\otimes}_{{\mathbb{Q}}_p} S$ 上の $(\varphi,\Gamma)$-加群の族を定義する。
• 特定の $\mathcal{R}$-環上で表現の局所自由性を保証するLütkebohmertの結果を応用して、局所基底の存在を保証する。
• $\mathfrak{m}_x$ を法とする還元を上げる変換行列 $V$ の構成の後、Lemma 7.1 を用いた変形議論により $D$ が可逆になるようにする。
• Lemma 7.3 を用いて、新しい基底を行列 $U$ を用いて作成し、新しいフロベニウス行列の成分が $p\mathcal{O}_S\widehat{\otimes}\mathcal{R}^{\mathrm{int},s}$ に属し、正の勾配を持つようにする。
• 変換を繰り返し適用して基底をより大きな環へ拡張し、$S\widehat{\otimes}\mathcal{R}^{[s,ps]}_{K'_0}$ 上にエタールモデルの存在を示す。
• $\mathrm{Gal}(L/{\mathbb{Q}}_p)$ のガロア降下を用いて、残余体 $L = S/\mathfrak{m}_x$ への基底変更の後、元の基底 $S$ に戻して持ち上げを復元する。

実験結果

リサーチクエスチョン

• RQ1 アフィノイド基底上の過収束エタール $(\varphi,\Gamma)$-加群の族は、局所的に $p$-進ガロア表現の族に持ち上げられるか？
• RQ2 このような族のグローバルな持ち上げにおける障害の性質は何か？ また、その障害は表現の mod $p$ 近似とどのように関係しているか？
• RQ3 $p$-進体上の有限次元ベクトル空間の理論を族に拡張することで、$(\varphi,\Gamma)$-加群からガロア表現を回復できるか？
• RQ4 $(\varphi,\Gamma)$-加群の族のエタール集合は、Berkovich解析的空間において開集合に対応するか？ もし非開であれば、その理由は何か？
• RQ5 Fontaine–Colmez定理は、アフィノイド基底上の弱く適応的族のフィルトレートド $(\phi,N)$-加群へ一般化可能か？

主な発見

• 任意の $\mathbb{Q}_p$ 上のアフィノイド代数 $S$ に対して、$\mathbf{B}^{\dagger}_{\mathrm{rig},K}\widehat{\otimes}_{{\mathbb{Q}}_p} S$ 上の $(\varphi,\Gamma)$-加群の族がrigid analytic点 $x$ でエタールであれば、$x$ のアフィノイド近傍 $M(B)$ が存在し、$B$ 上への制限が一意な $B$-線形ガロア表現から来る。
• グローバルな持ち上げの障害は、mod $p$ 残余レベルに完全に帰着する。Chenevierの例により、mod $p$ 表現が一様に自明化できないことが示されている。
• 局所的持ち上げは、可逆行列と勾配制御を用いた変形的議論により達成され、基底変換によってフロベニウス作用がエタールになるように保証される。
• 変形パrameter $D$ を可逆に保ち、誤差項 $W$ の $p$-進付値を正にするために基底を縮小する。これにより反復的精錬が可能になる。
• 弱く適応的族のフィルトレートド $(\phi,N)$-加群のケースにも結果が拡張され、局所的にFontaine–Colmez定理の族版が成り立つことが示唆される。
• 理論はBerkovich点へは拡張されない。エタール集合がBerkovich空間で開集合でない反例により、この文脈においてrigidとBerkovich解析的幾何学には根本的な違いがあることが示された。