[论文解读] On specializations of minimal $p$-divisible groups

Nobuhiro Higuchi, Shushi Harashita|arXiv (Cornell University)|May 29, 2017

Algebraic Geometry and Number Theory参考文献 7被引用 3

一句话总结

该论文通过一种新颖的截断 Dieudonné 模块一级（DM1）上的归纳法，构建了从 Newton 多边形 $\xi$ 的最小 $p$-除子群到更小 Newton 多边形 $\zeta \prec \xi$ 的显式特化。关键贡献在于对 Oort 在无极化情形下关于中心叶边界行为的猜想给出了具体、算法化的实现，证实了 $H(\zeta)$ 可作为 $H(\xi)$ 的特化，并为无极化情形下中心叶的维数公式提供了新证明。

ABSTRACT

In this paper, for any pair $(ζ, ξ)$ of Newton polygons with $ζ\prec ξ$, we construct a concrete specialization from the minimal $p$-divisible group of $ξ$ to the minimal $p$-divisible group of $ζ$ by a beautiful induction. This in particular gives the affirmative answer to the unpolarized analogue of a question by Oort on the boundaries of central streams, and gives another proof of the dimension formula of the central leaves in the unpolarized case.

研究动机与目标

• 解决模 $p$-除子群空间中中心流边界问题的无极化类比，即 Oort 的问题。
• 为从较大 Newton 多边形的最小 $p$-除子群到较小 Newton 多边形的最小 $p$-除子群提供具体、算法化的特化构造。
• 利用显式特化数据，为无极化情形下中心叶的维数公式提供新证明。
• 将此前在极化情形下关于特化的结果推广至一般无极化设置。

提出的方法

• 对 Newton 多边形各段的总高度 $h = m_1 + n_1 + m_2 + n_2$ 进行递归归纳。
• 对表示 DM1 的序列应用组合变换：$S^{-}$ 将第一个相邻的 '0 1' 交换为 '1 0'，$S^{--}$ 两次应用此操作。
• 通过分析 DM1 的循环分解，识别出与更小 Newton 多边形对应的最小 DM1 的子模。
• 利用代数闭域上 $F$-zips 及其关联序列对 DM1 进行分类。
• 利用关于饱和特化及 Dieudonné 理论中 $p$-核结构的已知结果。
• 利用不同情形下 $N_{\xi}^{--} \cong N_{\xi'} \oplus N_{\rho}$ 或 $N_{\rho} \oplus N_{\rho'}$ 的事实，实现问题的归纳约化。

实验结果

研究问题

• RQ1 当 $\zeta \prec \xi$ 时，最小 $p$-除子群 $H(\zeta)$ 是否可实现为 $H(\xi)$ 的特化？
• RQ2 在无极化情形下，是否存在一种构造性、算法化的特化实现方法？
• RQ3 无极化模空间中中心叶的维数公式是否可由此类显式特化推出？
• RQ4 DM1 序列的组合结构如何反映 Newton 多边形特化的结构？

主要发现

• 本文为任意 $\zeta \prec \xi$ 构造了从 $H(\xi)$ 到 $H(\zeta)$ 的显式特化，证实了 Oort 猜想的无极化类比。
• 该构造通过基于 Newton 多边形高度的优美归纳法实现，利用对 DM1 序列的变换。
• 在 $\lambda_2 < 1/2 < \lambda_1$ 的关键情形下，作者通过分析 $N_{\xi}^{--}$ 的循环分解完成证明。
• 特化过程导致 $N_{\xi}^{--} \cong N_{\xi'} \oplus N_{\rho}$ 或 $N_{\rho} \oplus N_{\rho'}$，具体取决于各段参数。
• 该方法为无极化情形下中心叶的维数公式提供了新的显式证明。
• 该结果证实了最小 $p$-除子群 $H(\zeta)$ 是具有几何通用纤维 $H(\xi)$ 的 $p$-除子群的特殊纤维。