[论文解读] On Families of (Phi,Gamma)-modules

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

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

一句话总结

本文在仿射巴拿赫代数上建立了过拟合平展 $(\varphi,\Gamma)$-模族与 $p$-进伽罗瓦表示之间的局部等价性，通过证明此类模可局部提升为表示，解决了全局理论中的一个关键障碍。关键结果是：在任意一个刚性解析点附近，刚性解析基上的平展 $(\varphi,\Gamma)$-模成为伽罗瓦表示，且在同构意义下唯一。

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.

研究动机与目标

• 解决 Berger–Colmez 函子在 $p$-进巴拿赫代数上 $(\varphi,\Gamma)$-模族中非等价的问题。
• 在刚性解析几何背景下，建立从伽罗瓦表示到 $(\varphi,\Gamma)$-模函子的局部逆。
• 阐明模 $p$ 残留表示在将 $(\varphi,\Gamma)$-模提升为伽罗瓦表示时作为全局障碍的作用。
• 尽管斜率多边形非局部常数，仍将 Colmez 的有限维向量空间理论与 Kedlaya 的斜率滤子理论推广至族的情形。
• 为将 Fontaine–Colmez 定理推广至仿射基上滤子 $(\phi,N)$-模族提供一个框架。

提出的方法

• 利用 $p$-进巴拿赫代数与刚性解析几何理论，定义在 $\mathbf{B}^{\dagger}_{\mathrm{rig},K}\widehat{\otimes}_{{\mathbb{Q}}_p} S$ 上的 $(\varphi,\Gamma)$-模族，其中 $S$ 为仿射代数。
• 应用 Lütkebohmert 关于某些 $\mathcal{R}$-环上表示局部自由性的结果，以确保局部基的存在性。
• 构造一个基变换矩阵 $V$，使其在模 $\mathfrak{m}_x$ 约化下提升，随后利用引理 7.1 进行形变论证，使 $D$ 可逆。
• 利用引理 7.3 通过矩阵 $U$ 构造新基，使得新弗罗贝尼乌斯矩阵的元素属于 $p\mathcal{O}_S\widehat{\otimes}\mathcal{R}^{\mathrm{int},s}$ 且具有正斜率。
• 迭代应用该变换，将基扩展至更大的环，证明在 $S\widehat{\otimes}\mathcal{R}^{[s,ps]}_{K'_0}$ 上存在一个平展模型。
• 在基变换至剩余域 $L = S/\mathfrak{m}_x$ 后，利用 $\mathrm{Gal}(L/{\mathbb{Q}}_p)$ 的伽罗瓦下降，将提升下降回原始基 $S$。

实验结果

研究问题

• RQ1 在仿射基上，一族过拟合平展 $(\varphi,\Gamma)$-模是否可局部提升为一族 $p$-进伽罗瓦表示？
• RQ2 此类族的全局提升障碍的本质是什么？它与表示的模 $p$ 约化有何关联？
• RQ3 能否将 $p$-进域上有限维向量空间的理论推广至族的情形，以从 $(\varphi,\Gamma)$-模恢复伽罗瓦表示？
• RQ4 一族 $(\varphi,\Gamma)$-模的平展局部是否对应于伯克维奇解析空间中的开子集？如果不是，原因是什么？
• RQ5 能否将 Fontaine–Colmez 定理推广至仿射基上弱正则族的滤子 $(\phi,N)$-模？

主要发现

• 对于任意 $\mathbb{Q}_p$ 上的仿射代数 $S$，若一族 $(\varphi,\Gamma)$-模在 $\mathbf{B}^{\dagger}_{\mathrm{rig},K}\widehat{\otimes}_{{\mathbb{Q}}_p} S$ 上于刚性解析点 $x$ 处为平展，则存在 $x$ 的一个仿射邻域 $M(B)$，使得该模在 $B$ 上的限制可唯一地由 $B$-线性伽罗瓦表示实现。
• 全局提升的障碍完全存在于模 $p$ 残留层面上，如 Chenevier 的例子所示，其中模 $p$ 表示无法被统一平凡化。
• 局部提升通过使用可逆矩阵与斜率控制的形变理论论证实现，确保基变换后弗罗贝尼乌斯作用变为平展。
• 该构造依赖于收缩基底，以使形变参数 $D$ 可逆，且误差项 $W$ 具有正的 $p$-进赋值，从而实现迭代精化。
• 该结果可推广至弱正则族的滤子 $(\phi,N)$-模情形，表明局部上存在一族形式的 Fontaine–Colmez 定理。
• 该理论不适用于伯克维奇点，如反例所示：平展局部在伯克维奇空间中并非开集，表明在此背景下刚性与伯克维奇解析几何存在根本差异。