[論文レビュー] Dualité de Cartier et modules de Breuil

Xavier Caruso|arXiv (Cornell University)|Nov 16, 2005

Algebraic Geometry and Number Theory被引用数 3

ひとこと要約

この論文は、Breuilが有限平坦な $\mathcal{O}_K$-群スキーム（$p$ のべきで消えるもの）とこれらの線形代数的対象との間で確立した反同値により、Breuil モジュールの圏 $(\text{Mod}/S)$ 上での Cartier 双対性を明示的に記述している。この論文は、$(\text{Mod}/S)$ 上に双対化関手を構成し、それが Breuil の同値のもとで Cartier 双対性に正確に対応することを示し、$p$-可除群 $\mathcal{G}$ に対して自然な同型 $\text{Mod}(\mathcal{G})^\vee \simeq \text{Mod}(\mathcal{G}^\vee)$ を証明している。この同型はフィルトレーションと Frobenius 構造とに整合する。

ABSTRACT

Let O\_K be a complete discrete valuation ring. Denote by K its fractions field and by k its residue field. Assume that k is of characteristic p>0 and perfect. Breuil gives an anti-equivalence between the category of finite flat O\_K-group schemes killed by a power of p and a category of linear algebra objects which is called (Mod/S). The aim of this article is to make explicit the Cartier duality on the category (Mod/S).

研究の動機と目的

• 線形代数のみを用いて、Breuil モジュールの圏 $(\text{Mod}/S)$ 上での Cartier 双対性関手を明示的に記述すること。
• この双対化関手が、Breuil の反同値のもとで、有限平坦な $\mathcal{O}_K$-群スキーム上の古典的 Cartier 双対性に正確に対応することを確立すること。
• $(\text{Mod}/S)$ 上の双対性が、重要な構造（フィルトレーション $\text{Fil}^1$ と Frobenius マップ $\phi_1$）を保存することを証明し、線形代数的枠組みと整合することを保証すること。
• 双対性を強く可除モジュールの圏に拡張し、$p$-可除群 $\mathcal{G}$ に対して同型 $\text{Mod}(\mathcal{G})^\vee \simeq \text{Mod}(\mathcal{G}^\vee)$ が成り立つことの証明。

提案手法

• $(\text{Mod}/S)$ を、$S$-加群 $\mathcal{M}$ と、$\text{Fil}^1\mathcal{M}$ および $\phi_1$-線形写像 $\phi_1: \text{Fil}^1\mathcal{M} \to \mathcal{M}$ からなる圏と定義する。ここで、Frobenius 働きと特定の適合条件を満たすものとする。
• 双対 $S$-加群 $\mathcal{M}^\vee$ を用いて、$(\text{Mod}/S)$ 内の双対対象 $\mathcal{M}^\vee$ を構成する。ここで $\text{Fil}^1\mathcal{M}^\vee$ は $\text{Fil}^1\mathcal{M}$ の annihilator として定義され、$\phi_1^\vee$ は双対性を用いて定義される。
• 双対関手 $\mathcal{M} \mapsto \mathcal{M}^\vee$ が $(\text{Mod}/S)$ 上で適切に定義されており、完全列と必要な適合条件を保つことを証明する。
• Breuil の研究による圏の反同値を用いて、群スキーム上の古典的 Cartier 双対性を、$(\text{Mod}/S)$ 上の双対性に持ち上げる。これにより、$\text{Mod}(\mathcal{G})$ の双対が $\text{Mod}(\mathcal{G}^\vee)$ に同型であることを示す。
• 可換図式を構成し、関連写像の単射性と全射性の議論を用いて、双対性がフィルトレーション $\text{Fil}^1$ と Frobenius マップ $\phi_1$ とに整合することを検証する。
• 一般の場合を、$p$- torsion 群の場合に帰着するための dévissage 論法を適用し、この場合において双対写像の全射性が自動的に成り立つことを利用する。

実験結果

リサーチクエスチョン

• RQ1 線形代数のみを用いて、Breuil モジュールの圏 $(\text{Mod}/S)$ 上での Cartier 双対性をどのように明示的に実現できるか？
• RQ2 反同値のもとで、$p$-可除群 $\mathcal{G}$ に対して、Breuil モジュール $\text{Mod}(\mathcal{G})$ の双対が $\text{Mod}(\mathcal{G}^\vee)$ に一致するか？
• RQ3 $(\text{Mod}/S)$ 上の双対性関手は、フィルトレーション $\text{Fil}^1$ と Frobenius マップ $\phi_1$ とに整合するか？
• RQ4 $(\text{Mod}/S)$ 上の双対性は、強く可除モジュールの圏に拡張可能か？また、Galois 表現関手とに整合するか？

主な発見

• この論文は、Breuil の圏の反同値のもとで、Cartier 双対性に対応する、$(\text{Mod}/S)$ 上の自然な双対化関手を構成している。
• Breuil モジュール $\mathcal{M}$ の双対は明示的に $\mathcal{M}^\vee = \text{Hom}_S(\mathcal{M}, S)$ と与えられ、$\text{Fil}^1\mathcal{M}^\vee$ は $\text{Fil}^1\mathcal{M}$ の annihilator として定義され、$\phi_1^\vee$ は双対性を用いて定義される。
• 双対性関手は $(\text{Mod}/S)$ の構造を保存する：完全列、フィルトレーション、Frobenius マップ $\phi_1$ をすべて尊重し、線形代数的枠組みと整合することが保証される。
• 任意の $\mathcal{O}_K$ 上の $p$-可除群 $\mathcal{G}$ に対して、強く可除モジュールの圏内で自然な同型 $\text{Mod}(\mathcal{G})^\vee \simeq \text{Mod}(\mathcal{G}^\vee)$ が成り立つ。
• フィルトレーション $\text{Fil}^1$ と $\phi_1$ との整合性は、可換な立方体における図式追跡と、関連写像の単射性と全射性の議論により証明される。
• 一般の $p$-可除群の場合への結果の拡張は、$p$- torsion 場合に帰着する dévissage 論法により行われ、この場合において双対写像の全射性が自動的に成り立つことを利用している。