[论文解读] New methods for (phi, Gamma)-modules

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

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

一句话总结

本文使用完美域代数与几乎环论技术，提供了p进霍德格理论中两个基础结果的新、自包含证明——福尔蒂内-温滕贝格的伽罗瓦群同构定理与切尔邦尼耶-科莱兹关于(φ,Γ)-模去完备化的定理——避开了经典分歧理论与塔特-森形式理论。关键贡献在于：从完美域环到其过收敛子环的平展(φ,Γ)-模的直接下降论证，通过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之间伽罗瓦群的福尔蒂内-温滕贝格同构。
• 提供切尔邦尼耶-科莱兹关于(φ,Γ)-模去完备化的定理的新证明，避免使用塔特-森形式理论。
• 通过倾斜构造，建立完美域与特征p的完美域之间的函子对应关系，推广福尔蒂内-温滕贝格结果。
• 证明从过收敛环A_K^†到完美域环A˜_K^†的平展(φ,Γ)-模的基扩张是范畴等价。
• 通过p进范数下的矩阵收敛性论证，将过收敛相对(φ,Γ)-模理论推广至刚性解析空间。

提出的方法

• 使用严格p环与威特向量构造，分析完美域与特征p的完美域之间的倾斜对应关系。
• 通过推论2.5.7的迭代提升，构造A˜_K^†中的收敛矩阵序列U_l，实现从完美域到过收敛设置的基下降。
• 应用p进范数估计|·|_r，控制矩阵G_l及其在γ作用下的扰动的收敛性。
• 通过恒等式H^{-1}Cφ(H) - C = (γ-1)(C)将矩阵分解为A_K^†与T（某p进完备化）中的分量，若C非零则导致矛盾。
• 利用交换关系φ(H) = Hγ(A)强制当C=0时φ作用可下降至A_K^†，从而推出A的元素属于A_K^†。
• 通过下降论证证明范畴等价：任何在A˜_K^†上具有模p下固定的基的平展(φ,Γ)-模，其下降至A_K^†，基于U = U_0U_1⋯的收敛性。

实验结果

研究问题

• RQ1 福尔蒂内-温滕贝格同构能否在不依赖高阶分歧理论的前提下被证明？
• RQ2 切尔邦尼耶-科莱兹关于去完备化的定理能否在不使用塔特-森形式理论的前提下被重新证明？
• RQ3 是否存在从完美域环A˜_K^†到过收敛环A_K^†的(φ,Γ)-模的直接下降方法？
• RQ4 何种条件可确保完美域环上的(φ,Γ)-模下降至过收敛子环？
• RQ5 如何通过矩阵上的范数估计，代数刻画p进伽罗瓦表示的过收敛性？

主要发现

• 通过威特向量与p进收敛性的直接构造，建立了完美域与特征p的完美域之间的倾斜对应关系，避开了几乎环论。
• 从A_K^†上的平展(φ,Γ)-模到A˜_K^†上的模的基扩张函子是范畴等价，证明了p进伽罗瓦表示的过收敛性。
• 经由收敛矩阵乘积U_l的共轭后，矩阵G = γ(e_j)收敛于A_K^†中的矩阵，且满足|X_l|_r ≤ ε^{2}与|Y_l|_r ≤ ε^{l+2}，其中ε < min{c^{-r}, 1}。
• 矛盾论证表明，φ作用中的误差项C必须为零，从而强制φ作用可下降至A_K^†，因此证明了模结构的下降。
• 过收敛环A_K^†被表征为π的形式洛朗级数，其系数在Z_p中，且当n → -∞时，π^n系数的p进赋值至少以线性方式趋于-in。
• 证明表明，Γ在A˜_K^†上模M上的作用可下降至A_K^†，且由于两环具有相同拓扑，该作用是连续的。