[论文解读] Groupes p-divisibles, groupes finis et modules filtrés

Christophe Breuil|arXiv (Cornell University)|Sep 1, 2000

Algebraic Geometry and Number Theory被引用 5

一句话总结

本论文在有限完全分歧扩张的 p-adic 局域（等特征零）的整数环上的 p-可除群范畴与一类特定滤过模——即完成除幂代数上的强可除模——之间建立了范畴的反等价。关键创新在于，通过使用合成拓扑技术与基于弗罗贝尼乌斯型算子 φ₁ 的广义迪奥丹尼模理论，将福尔蒂纳对 p-可除群及有限平坦 p-群的分类推广至任意分歧度 e 且 p ≠ 2 的情形。

ABSTRACT

Let k be a perfect field of characteristic p>0. When p>2, Fontaine and Laffaille have classified p-divisibles groups and finite flat p-groups over the Witt vectors W(k) in terms of filtered modules. Still assuming p>2, we extend these classifications over an arbitrary complete discrete valuation ring A with unequal characteristic (0,p) and residue field k by using "generalized" filtered modules. In particular, there is no restriction on the ramification index. In the case k is included in \bar{F}_p (and p>2), we then use this new classification to prove that any crystalline representation of the Galois group of Frac(A) with Hodge-Tate weights in {0,1} contains as a lattice the Tate module of a p-divisible group over A.

研究动机与目标

• 将福尔蒂纳对 OK 上 p-可除群及有限平坦 p-群的分类从低分歧度（e ≤ p−2）情形推广至更一般情形，
• 以系统化、内在化的方式构造从 p-可除群到滤过模及其逆的映射，且不依赖于伽罗瓦表示，
• 在 p ≠ 2 的条件下，建立 OK 上 p-可除群范畴与强可除滤过模范畴之间的完整反等价，
• 在 k ⊆ F_p 且 p ≠ 2 的情形下，证明福尔蒂纳关于 Hodge-Tate 权重为 {0,1} 的晶体表示的猜想，
• 开发一种新框架，利用合成拓扑与除幂代数，以应对高分歧度下非阿贝尔性与非忠实纤维函子的问题。

提出的方法

• 在 W(k) 上的威特向量环上构造一个完成除幂代数 S，配备一个滤过结构 Fil¹S 以及 S-模上的弗罗贝尼乌斯型算子 φ₁。
• 引入广义滤过模 (M, Fil¹M, φ₁)，其中 M 是有限生成的 S-模，Fil¹M 包含 Fil¹S·M，且 φ₁: Fil¹M → M 是一个半线性映射，其像生成 M。
• 利用 Spec(OK) 上的合成拓扑定义并操作 φ₁ 算子，借助贝塞洛-布林-梅辛晶体上同调的工具。
• 为每个滤过模 (M, Fil¹M, φ₁) 构造一个在合成拓扑上定义的群层，证明其由 OK 上的有限平坦群概形表示。
• 通过可约化法证明，从 OK 上的有限平坦 p-挠群概形到此类滤过模的函子是完全忠实且本质满射。
• 将分类结果应用于证明福尔蒂纳猜想：一个 p-进伽罗瓦表示是 Hodge-Tate 权重为 {0,1} 的晶体表示，当且仅当它来自 OK 上的 p-可除群。

实验结果

研究问题

• RQ1 福尔蒂纳对 OK 上 p-可除群的分类能否推广至 e ≤ p−2 之外的情形，且适用于 p ≠ 2？
• RQ2 是否存在一种自然的、内在的构造方法，从 OK 上的有限平坦 p-群构造出一个滤过模，以捕捉其结构而不依赖于伽罗瓦表示？
• RQ3 在高分歧度下，如何克服通用纤维函子不完全忠实的问题，以实现对 p-可除群的分类？
• RQ4 与 OK 上 p-可除群相关联的滤过模的精确结构是什么？其成为强可除模的条件是什么？
• RQ5 p-可除群与滤过模之间的反等价是否可推广至 OK 上任意分歧度下的完整范畴？

主要发现

• 本论文在 p ≠ 2 的条件下，建立了 OK 上 p-可除群范畴与强可除滤过模范畴之间的完整反等价。
• 该分类将福尔蒂纳早期在 e ≤ p−2 情形下的结果推广至任意分歧度 e，且从 p-可除群推广至有限平坦 p-群。
• 滤过模通过合成拓扑构造，其中 φ₁ 算子编码了弗罗贝尼乌斯逆算子，且依赖于群概形模 p² 的约化。
• 反等价通过两步过程证明：首先为滤过模关联一个合成拓扑上的层，其次利用晶体上同调从有限平坦群概形构造滤过模。
• 该结果表明，一个 Hodge-Tate 权重为 {0,1} 的 p-进伽罗瓦表示是晶体表示，当且仅当它来自 OK 上的 p-可除群，从而在该情形下证明了福尔蒂纳的猜想。
• 滤过模的构造是内在的，不依赖于伽罗瓦表示，解决了在高分歧度下通用纤维函子不完全忠实所引发的问题。