[论文解读] Breuil-Kisin modules and integral $p$-adic Hodge theory

Hui Gao|arXiv (Cornell University)|May 21, 2019

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

一句话总结

本文构建了一个 Breuil-Kisin $G_K$-模的范畴，以代数方式分类积分半稳定伽罗瓦表示，使用带有伽罗瓦作用的 Breuil-Kisin 和 Breuil-Kisin-Fargues 模。它通过用 $p$-进完备环替代不完整的 $p$-进拓扑，填补了早期工作中存在的基础性空白，确保了 $G_K$-稳定性，并为积分 $p$-进霍奇理论建立了完整的代数框架。

ABSTRACT

We construct a category of Breuil-Kisin $G_K$-modules to classify integral semi-stable Galois representations. Our theory uses Breuil-Kisin modules and Breuil-Kisin-Fargues modules with Galois actions, and can be regarded as the algebraic avatar of the integral $p$-adic cohomology theories of Bhatt-Morrow-Scholze and Bhatt-Scholze. As a key ingredient, we classify Galois representations that are of finite $E(u)$-height.

研究动机与目标

• 构建一个 Breuil-Kisin $G_K$-模的范畴，以代数方式分类积分半稳定伽罗瓦表示。
• 为 Bhatt-Morrow-Scholze 和 Bhatt-Scholze 的积分 $p$-进上同调理论提供一个代数实现。
• 解决早期工作中（例如 [Liu07], [Gao18]）关于关键环（如 $\widehat{\mathcal{R}}$）的 $p$-进完备性问题中的基础性漏洞。
• 利用新框架对有限 $E(u)$-阶的伽罗瓦表示进行分类。
• 为半稳定表示建立一个完全积分的、$p$-进完备的 $(\varphi,\tau)$-模理论版本。

提出的方法

• 使用 $\mathfrak{S} = W(k)[[u]]$ 和 $W(R)$ 上的伽罗瓦作用，构造有限自由 Breuil-Kisin $G_K$-模的范畴，其中 $R = \mathcal{O}_{C_p}^\flat$。
• 利用 Teichmüller 提升 $[\underline{\pi}] \in W(R)$ 将 $\mathfrak{S}$ 嵌入 $W(R)$，以确保与弗罗贝尼乌斯和伽罗瓦作用的相容性。
• 应用类似 Weierstrass 准备定理的论证，证明 torsion 模 $\mathfrak{M}_n'$ 的逆极限是有限自由 $\mathfrak{S}$-模，且具有有限 $E(u)$-阶。
• 用 $W(R)$（其为 $p$-进完备）替代 $\widehat{\mathcal{R}}$（其已知不具有 $p$-进完备性），以确保模的 $G_K$-稳定性。
• 通过利用 $W(R)$ 和 $W(k)$ 的 $p$-进完备性，证明 $\widetilde{\mathfrak{M}} \otimes_{\varphi,\mathfrak{S}} W(R)$ 是 $G_K$-稳定的。
• 利用 $\mathfrak{M}_n' / u\mathfrak{M}_n'$ 是 $G_K$-不变的事实，通过 $p$-进完备性证明 $\widetilde{\mathfrak{M}} / u\widetilde{\mathfrak{M}}$ 也是 $G_K$-不变的。

实验结果

研究问题

• RQ1 能否通过一个 $p$-进完备模范畴，实现对积分半稳定伽罗瓦表示的完整代数分类？
• RQ2 在 $(\varphi,\hat{G})$-模的构造中，$\widehat{\mathcal{R}}$ 的正确替代品是什么，以确保 $G_K$-稳定性？
• RQ3 如何解决 [Liu07] 和 [Gao18] 中关于 $\mathcal{R}_{K_0} \cap \mathbf{A}_{\mathrm{cris}}$ 的 $p$-进完备性问题中的漏洞？
• RQ4 能否利用 Breuil-Kisin $G_K$-模完全分类有限 $E(u)$-阶表示的理论？
• RQ5 Bhatt-Morrow-Scholze 和 Bhatt-Scholze 的积分 $p$-进上同调理论在多大程度上能通过此类模实现代数化？

主要发现

• 有限自由 Breuil-Kisin $G_K$-模的范畴为积分半稳定伽罗瓦表示提供了完整的分类。
• 使用 $W(R)$ 而非 $\widehat{\mathcal{R}}$ 解决了早期证明中因 $\hat{G}$-稳定性而失效的 $p$-进完备性问题。
• 逆极限 $\widetilde{\mathfrak{M}} = \varprojlim \mathfrak{M}_n'$ 是一个具有有限 $E(u)$-阶的有限自由 $\mathfrak{S}$-模，确保了整性与有限性。
• $\widetilde{\mathfrak{M}} \otimes_{\varphi,\mathfrak{S}} W(R)$ 是 $G_K$-稳定的，证明了其对应的伽罗瓦表示是半稳定的。
• $\widetilde{\mathfrak{M}} / u\widetilde{\mathfrak{M}}$ 上的 $G_K$-作用是平凡的，确认了该表示模 $u$ 是无挠的。
• 该框架通过确保所有涉及的环与理想均为 $p$-进完备，解决了 [Liu07, Prop. 6.1.1] 和 [Gao18, Thm. 3.1] 中的漏洞。