[論文レビュー] 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 および Breuil-Kisin-Fargues モジュールにガロア作用を導入することで、整数的半安定ガロア表現を分類するための Breuil-Kisin $G_K$-モジュールの圏を構成する。先行研究における基礎的欠陥を解消するため、$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$-進コホモロジー理論の代数的化身を提供すること。
• $\widehat{\mathcal{R}}$ のような重要な環の $p$-進的完備性に関する、先行研究（例：[Liu07], [Gao18]）における基礎的ギャップを解消すること。
• 新しい枠組みを用いて、有限 $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)$ に埋め込み、フロベニウス作用およびガロア作用と整合性を保つ。
• ワイエルシュトラス準備型の議論を適用し、捩れモデル $\mathfrak{M}_n'$ の逆極限が、有限 $E(u)$-高さの有限自由 $\mathfrak{S}$-加群であることを示す。
• $\widehat{\mathcal{R}}$（既知の $p$-進的完備性を欠く）の代わりに、$p$-進的完備である $W(R)$ を用いることで、モジュールの $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 $G_K$-安定性を保証するための、不完全な $\widehat{\mathcal{R}}$ の正しい置き換えは何か。
• 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$-モジュールの圏は、整数的半安定ガロア表現を完全に分類する。
• $\widehat{\mathcal{R}}$ の代わりに $W(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$ を法として非分岐であることが確認される。
• この枠組みにより、[Liu07, Prop. 6.1.1] および [Gao18, Thm. 3.1] のギャップが、関係するすべての環およびイデアルが $p$-進的完備であることを保証することで解消される。