[论文解读] Dualité de Cartier et modules de Breuil

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

Algebraic Geometry and Number Theory被引用 3

一句话总结

本文通过布雷乌尔建立的有限平坦 $\mathcal{O}_K$-概形群（被 $p$ 的幂零化）与这些线性代数对象之间的反同构，显式描述了布雷乌尔模范畴 $(\text{Mod}/S)$ 上的卡蒂埃对偶。它在 $(\text{Mod}/S)$ 上构造了一个对偶化函子，该函子在布雷乌尔等价下精确对应于卡蒂埃对偶，并证明了对于 $p$-可除群 $\mathcal{G}$，存在一个典范同构 $\text{Mod}(\mathcal{G})^\vee \simeq \text{Mod}(\mathcal{G}^\vee)$，且该同构与过滤结构和弗罗贝尼乌斯结构相容。

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).

研究动机与目标

• 通过仅使用线性代数，显式描述布雷乌尔模范畴 $(\text{Mod}/S)$ 上的卡蒂埃对偶函子。
• 在布雷乌尔的反同构下，确立该对偶化函子精确对应于有限平坦 $\mathcal{O}_K$-概形群上的经典卡蒂埃对偶。
• 证明在 $(\text{Mod}/S)$ 上的对偶性保持关键结构：过滤 $\text{Fil}^1$ 与弗罗贝尼乌斯映射 $\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}$。
• 通过对偶 $S$-模 $\mathcal{M}^\vee$ 构造 $(\text{Mod}/S)$ 中的对偶对象 $\mathcal{M}^\vee$，其中 $\text{Fil}^1\mathcal{M}^\vee$ 定义为 $\text{Fil}^1\mathcal{M}$ 的零化子，并通过对偶性定义 $\phi_1^\vee$。
• 证明对偶函子 $\mathcal{M} \mapsto \mathcal{M}^\vee$ 在 $(\text{Mod}/S)$ 上是良定义的，保持正合列与所需的相容条件。
• 利用布雷乌尔工作中的范畴反同构，将经典群概形上的卡蒂埃对偶提升为 $(\text{Mod}/S)$ 上的对偶性，证明 $\text{Mod}(\mathcal{G})$ 的对偶同构于 $\text{Mod}(\mathcal{G}^\vee)$。
• 通过构造交换图表并使用单射与满射性论证，验证对偶性与过滤 $\text{Fil}^1$ 及弗罗贝尼乌斯映射 $\phi_1$ 的相容性。
• 使用分解论证（dévissage），将一般情形约化为 $p$-挠群情形，此时对偶映射的满射性是自动成立的。

实验结果

研究问题

• RQ1 如何仅通过线性代数在布雷乌尔模范畴 $(\text{Mod}/S)$ 上显式实现卡蒂埃对偶？
• RQ2 在反同构下，布雷乌尔模 $\text{Mod}(\mathcal{G})$ 的对偶是否对应于 $\text{Mod}(\mathcal{G}^\vee)$，其中 $\mathcal{G}$ 是一个 $p$-可除群？
• RQ3 $(\text{Mod}/S)$ 上的对偶函子是否与过滤 $\text{Fil}^1$ 和弗罗贝尼乌斯映射 $\phi_1$ 相容？
• RQ4 $(\text{Mod}/S)$ 上的对偶性能否扩展到强除子模范畴，且是否与伽罗瓦表示函子相容？

主要发现

• 本文在范畴 $(\text{Mod}/S)$ 上构造了一个典范的对偶化函子，该函子在布雷乌尔的范畴反同构下精确对应于卡蒂埃对偶。
• 布雷乌尔模 $\mathcal{M}$ 的对偶显式给出为 $\mathcal{M}^\vee = \text{Hom}_S(\mathcal{M}, S)$，其中 $\text{Fil}^1\mathcal{M}^\vee$ 定义为 $\text{Fil}^1\mathcal{M}$ 的零化子，且 $\phi_1^\vee$ 通过双对偶性定义。
• 该对偶函子保持 $(\text{Mod}/S)$ 的结构：它保持正合列、过滤与弗罗贝尼乌斯映射 $\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$-可除群。