[论文解读] Frobenius modules over multivariate Robba rings

Kiran S. Kedlaya|arXiv (Cornell University)|Nov 29, 2013

Algebraic Geometry and Number Theory参考文献 45被引用 7

一句话总结

本文将 p-进霍奇理论中的经典单变量 Robba 环推广为多变量 Robba 环，从而为这些环上的 Frobenius 模提供统一的框架。关键贡献是一条定理，表明在适当的有理局部化后，此类环上的投影 φ-模存在 étale 模型，将过收敛下降推广至多变量情形，并统一了 p-进霍奇理论中的近期发展。

ABSTRACT

We describe a class of multivariate series rings generalizing the usual Robba ring over a p-adic field, and give a basic development of phi-modules over such rings. This makes it possible to give a unified survey of a number of recent developments in p-adic Hodge theory.

研究动机与目标

• 将经典 Robba 环推广至多变量情形，以统一 p-进霍奇理论中的近期发展。
• 建立多变量 Robba 环上 φ-模的理论，用于 Iwasawa 理论与 p-进 Langlands 程序中的应用。
• 在经典单变量下降失效的多变量情形中，建立过收敛下降。
• 提供一个涵盖多种构造的框架，例如非循环 Zp-塔、仿射代数以及基本群表示。

提出的方法

• 将 p-进域上仿射或半仿射代数的完备化构造为多变量 Robba 环。
• 在这些环上赋予一个 Frobenius 自同态，其模 p 的提升为 q 次 Frobenius。
• 应用有理局部化技术，控制 φ-模在谱中点附近的性质。
• 利用局部化的完备完美闭包，将 étale 模从 tilde-环下降至原始的 Robba 环。
• 应用 Dieudonné-Manin 分类与斜率多边形理论，分析 φ-模的分解。
• 利用伽罗瓦群的紧致性与协配模理论，确保作用的相容性。

实验结果

研究问题

• RQ1 过收敛下降能否超越单变量 Robba 环，推广至多变量情形？
• RQ2 在来自非循环 Zp-塔或 Lubin-Tate 扩张的多变量 Robba 环上，Frobenius 模如何表现？
• RQ3 φ-模理论在多大程度上可推广至包含仿射代数或基本群表示的表示？
• RQ4 在多变量推广中，是否能克服单变量情形下过收敛下降的失效？
• RQ5 在何种条件下，多变量 Robba 环上的 φ-模在局部化后存在自由 étale 模？

主要发现

• 在适当的有理局部化后，多变量 Robba 环上的投影 φ-模存在 étale 模型，推广了 Cherbonnier–Colmez 的下降结果。
• 若某 φ-模在提升至 tilde-环后的基扩张为 étale，则其 étale 模的存在性得以保证。
• φ-模的斜率多边形是下半连续的，从而在某点处满足 étale 性质的邻域内也保持 étale。
• 对于高度 h > 1 的 Lubin-Tate 扩张，其在谱中的对应点为非经典点，表明其无法专门化至单变量幂级数环。
• 该构造在局部化的多变量 Robba 环上产生一个 (φ,Γ)-模，从而在非分歧 Lubin-Tate 情形下证明了猜想 12.13。
• 该方法允许对结晶表示相关的协配可逆模实现下降，确认了与 Berger 构造的一致性。