[论文解读] Finite flat commutative group schemes over complete discrete valuation rings III: classification, tangent spaces, and semistable reduction of Abelian varieties

Mikhail V. Bondarko|ArXiv.org|Dec 29, 2004

Algebraic Geometry and Number Theory被引用 3

一句话总结

本文利用Cartier模对混合特征完全离散赋值环上的有限平坦交换概形群进行了完整分类，并建立了阿贝尔簇在 $p$-进域上具有半稳定与普通约化的有限 $p$-进条件。证明了在 $K$ 上具有半稳定约化等价于存在 $\/mathfrak{O}_K$ 上的概形群 $H$，使得 $H_K$ 嵌入 $\operatorname{Ker}[p^l]_{V,K}$，且 $T H_{\mathfrak{O}_L}$ 包含 $(\mathfrak{O}_L/p^l \mathfrak{O}_L)^m$，并给出了普通约化的类似条件。

ABSTRACT

We classify group schemes in terms of their Cartier modules. We also prove the equivalence of different definitions of the tangent space and the dimension for these group schemes; in particular, the minimal dimension of a formal group law that contains $S$ as a closed subgroup is equal to the minimal number of generators for the affine algebra of $S$. As an application the following reduction criteria for Abelian varieties are proved. Let $K$ be a mixed characteristic local field, let its residue field have characteristic $p$, $L$ be a finite extension of $K$, let $\mathfrak{O}_K\subset\mathfrak{O}_L$ be their rings of integers. Let $e$ be the absolute ramification index of $L$, $s=[\log_p(pe/(p-1))]$, $e_0$ be the ramification index of $L/K$, $l=2s+v_p(e_0)+1$. For a finite flat commutative $\mathfrak{O}_L$-group scheme $H$ we denote the $\mathfrak{O}_L$-dual of the module $J/J^2$ by $TH$. Here $J$ is the augmentation ideal of the affine algebra of $H$. Let $V$ be an $m$-dimensional Abelian variety over $K$. Suppose that $V$ has semistable reduction over $L$. \begin{theor} $V$ has semistable reduction over $K$ if and only if for some group scheme $H$ over $\mathfrak{O}_K$ there exist embeddings of $H_K$ into $\operatorname{Ker}[p^{l}]_{V,K}$, and of $(\mathfrak{O}_L/p^l\mathfrak{O}_L)^m$ into $TH_\ol$. \end{theor} This criterion has a very nice-looking version in the ordinary reduction case. \begin{theor} $V$ has ordinary reduction over $K$ if and only if for some $H_K\subset \operatorname{Ker}[p^{l}]_{V,K}$ and $M$ unramified over $K$ we have $H_M\cong (μ_{p^{l},M})^m$. Here $μ$ denotes the group scheme of roots of unity.\end{theor}

研究动机与目标

• 通过Cartier模对混合特征完全离散赋值环上的有限局部平坦交换概形群进行完整分类。
• 建立此类概形群的切空间与维数的不同定义之间的等价性。
• 推导出局部域上阿贝尔簇具有半稳定与普通约化的有限 $p$-进条件。
• 推广先前结果，避免对完美剩余域或概形群的平坦性条件的限制。
• 展示Cartier模分类的伽罗瓦稳定性，从而支持下降论证。

提出的方法

• 通过Oort函子将概形群映射到其Cartier模实现分类，明确描述了任意局部概形群的像。
• 切空间 $TH$ 定义为 $\mathfrak{O}_L$-对偶 $J/J^2$，其中 $J$ 是 $H$ 的坐标环的增广理想，且证明其与维数和切空间的标准定义一致。
• 论文利用阿贝尔簇的 $p$-挠子群及其Néron模型的结构，将概形群的嵌入与约化类型联系起来。
• 关键不变量如分歧指数 $e$，整数 $s = [\log_p(pe/(p-1))]$，以及 $l = 2s + v_p(e_0) + 1$ 被用于定义所需挠子群的 $p^l$ 水平。
• 证明依赖于形式群的性质、对偶性以及离散赋值环上 $p$-除子群的结构。
• 通过分析 $p$-挠子群概形的通用纤维及其切空间，结合下降与基变换技术，推导出条件。

实验结果

研究问题

• RQ1 如何利用Cartier模对混合特征完全离散赋值环上的有限平坦交换概形群进行完整分类？
• RQ2 有限平坦概形群的切空间与其维数及最小形式群律嵌入之间的确切关系为何？
• RQ3 当阿贝尔簇在局部域 $K$ 的有限扩张 $L$ 上具有半稳定约化时，其在 $K$ 上也具有半稳定约化的条件是什么？
• RQ4 阿贝尔簇在 $K$ 上具有普通约化的 $p^l$-挠子群及其切空间的哪些有限 $p$-进条件成立？
• RQ5 与现有分类（如Breuil的分类）相比，Cartier模方法在一般性与伽罗瓦稳定性方面有何优势？

主要发现

• 本文在无需额外平坦性假设的前提下，对混合特征完全离散赋值环上的有限局部平坦交换概形群提供了基于其Cartier模的完整分类。
• 将给定局部概形群 $S$ 作为闭子群包含在内的最小形式群律的维数，等于其坐标环的最小生成元数，从而建立了概形群结构与形式群理论之间的关键联系。
• 在 $K$ 上，$m$-维阿贝尔簇 $V$ 具有半稳定约化，当且仅当存在 $\/mathfrak{O}_K$ 上的有限平坦概形群 $H$，使得 $H_K$ 嵌入 $\operatorname{Ker}[p^l]_{V,K}$，且 $T H_{\mathfrak{O}_L}$ 包含 $(\mathfrak{O}_L/p^l \mathfrak{O}_L)^m$，其中 $l = 2s + v_p(e_0) + 1$，$s = [\log_p(pe/(p-1))]$。
• 对于普通约化，以下三者等价：$V$ 在 $K$ 上具有良好普通约化；存在 $\mathfrak{O}_K$ 上的乘法型概形群 $H$，使得 $T H_{\mathfrak{O}_L} \cong (\mathfrak{O}_L/p^{l'} \mathfrak{O}_L)^m$ 且 $H_K \subset \operatorname{Ker}[p^{l'}]_{V,K}$；以及存在某个 $K$ 的非分歧扩张 $M$，使得 $H_M \cong (\mu_{p^{l'},M})^m$，其中 $l' = s + v_p(e_0) + 1$。
• Cartier模方法具有伽罗瓦稳定性，支持下降论证，且避免了早期分类中对完美剩余域的限制。
• 条件是有限的：仅依赖于 $p^l$-挠子群概形及其切空间，通过仅要求有限信息而非完整 $p$-挠子群，推广了Grothendieck的条件。