[论文解读] On the Hodge-Newton filtration for p-divisible O-modules

Elena Mantovan, Eva Viehmann|ArXiv.org|Oct 23, 2007

Advanced Algebra and Geometry参考文献 9被引用 8

一句话总结

本文将霍奇-牛顿过滤推广至 $p$-可除 $\mathcal{O}_B$-模，其在 $p$-进环上具有自同态结构，引入了 $\sigma$-不变的霍奇折线，并在牛顿折线与霍奇折线之间建立联系的条件下，证明了典范过滤的存在性。主要贡献是提出了在普遍形变空间中提升过滤的判别准则，将经典的结果由 Katz 和 Moonen 推广至 $\mathcal{O}_B$-模情形。

ABSTRACT

The notions Hodge-Newton decomposition and Hodge-Newton filtration for F-crystals are due to Katz and generalize Messing's result on the existence of the local-étale filtration for p-divisible groups. Recently, some of Katz's classical results have been generalized by Kottwitz to the context of F-crystals with additional structures and by Moonen to $μ$-ordinary p-divisible groups. In this paper, we discuss further generalizations to the situation of crystals in characteristic p and of p-divisible groups with additional structure by endomorphisms.

研究动机与目标

• 将霍奇-牛顿过滤理论从 $F$-晶体推广至具有自同态结构的 $p$-可除 $\mathcal{O}_B$-模。
• 定义并研究在弗罗贝尼乌斯作用下作为霍奇折线精化的 $\sigma$-不变霍奇折线。
• 建立霍奇过滤在 $p$-可除 $\mathcal{O}_B$-模的普遍形变中可提升的条件。
• 将 Katz 和 Moonen 的经典结果推广至 $\mathcal{O}_B$-模情形，尤其在 $\mu$-平凡与 $\sigma$-不变过滤的背景下。

提出的方法

• 将 $\sigma^a$-F-晶体的 $\mathcal{O}_B$-模定义为四元组 $(M, \nabla, F, \iota)$，其具有相容的 $\mathcal{O}_B$-作用、联络、弗罗贝尼乌斯映射以及 $\sigma^a$-交换关系。
• 引入 $\sigma$-不变霍奇折线 $\overline{\mu} = \frac{1}{r}\sum_{i=0}^{r-1} \sigma^i(\mu)$，以捕捉伽罗瓦不变的霍奇数据。
• 利用格罗滕迪克-梅西克形变理论，在形式幂级数环 $A = W(k)[[u^{(i)}_{l,m}]]$ 上构造 $p$-可除 $\mathcal{O}_B$-模的普遍形变。
• 通过作用于迪尤丹尼模的矩阵 $g_{\text{univ}}$ 显式描述普遍形变，其条目 $x_{a,b}^{(i)}$ 以参数 $u^{(i)}_{l,m}$ 分段定义。
• 证明霍奇过滤可提升，方法是证明普遍形变在条件 $\nu$ 与 $\overline{\mu}$ 在某一分段点前一致时，保持子格 $M_1$ 上的 $F$-作用与联络。
• 利用对偶性将提升结果推广至 $\nu$ 与 $\overline{\mu}$ 从某一分段点开始一致的情形。

实验结果

研究问题

• RQ1 在何种条件下，$p$-可除 $\mathcal{O}_B$-模的霍奇过滤可提升至其普遍形变？
• RQ2 伽罗瓦群 $\text{Gal}(\mathbb{F}_q/\mathbb{F}_p)$ 如何作用于 $\sigma^a$-F-晶体的 $\mathcal{O}_B$-模的霍奇与牛顿折线？
• RQ3 $\sigma$-不变霍奇折线 $\overline{\mu}$ 在刻画霍奇-牛顿过滤存在性中的作用是什么？
• RQ4 为何 $\nu$ 与 $\overline{\mu}$ 在分段点前一致的条件是霍奇过滤可提升的必要条件？

主要发现

• $\sigma$-不变霍奇折线 $\overline{\mu}$ 定义良好，且满足 $\nu \preceq \overline{\mu}$，推广了经典霍奇-牛顿条件。
• 当且仅当牛顿折线 $\nu$ 与 $\sigma$-不变霍奇折线 $\overline{\mu}$ 在某一分段点前一致时，霍奇过滤可提升至普遍形变。
• 若对某个 $i$，有 $M_1^{(i)}$ 不包含于 $(M^0)^{(i)}$，则过滤提升失败，因为这会破坏子格的 $g_{\text{univ}}$-不变性。
• 当霍奇折线与牛顿折线在分段点前一致时，联络 $\nabla$ 可限制于子格 $\mathcal{M}_1$，从而确保与形变结构的相容性。
• 对应周期空间的维数证实了 $\nu$ 与 $\overline{\mu}$ 条件的必要性，否则模空间维数将不正确。
• 该结果将 Moonen 的 $\mu$-平凡提升定理推广至 $\mathcal{O}_B$-模情形，其中 $\sigma$-不变霍奇折线起到了 $\mu$-平凡折线的作用。