[論文レビュー] On specializations of minimal $p$-divisible groups

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

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

ひとこと要約

本稿は、レベル1の切断されたデュドニー加群（DM1）に対する新しい帰納的技法を用いて、ニュートン多角形 $\xi$ の最小 $p$-可除群から、より小さいニュートン多角形 $\zeta \prec \xi$ のそれへの明示的な特殊化を構成する。主な貢献は、非極化の場合における中心葉の境界挙動に関するオールトの予想の具体的・アルゴリズム的実現であり、$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$-可除群のモジュライ空間における中心ストリームの境界についてのオールトの問いの非極化類似を解明すること。
• より大きなニュートン多角形の最小 $p$-可除群から、より小さいもののそれへの明示的・アルゴリズム的特殊化を構築すること。
• 明示的特殊化データを用いて、非極化状況における中心葉の次元公式の新たな証明を与えること。
• 従来の極化状況における特殊化に関する結果を、一般の非極化設定へと拡張すること。

提案手法

• ニュートン多角形の各セグメントの総高さ $h = m_1 + n_1 + m_2 + n_2$ に対する再帰的帰納法を用いる。
• DM1を表す系列に対する組合せ的変換を適用する：$S^{-}$ は最初の隣接する '0 1' を '1 0' に交換し、$S^{--}$ はこれを二度適用する。
• DM1のサイクル分解を分析し、より小さいニュートン多角形に対応する部分加群が最小DM1として同型であることを同定する。
• 代数閉体上での $F$-ズイプとそれに関連する系列を用いたDM1の分類を用いる。
• 既知の飽和特殊化に関する結果と、デュドニー理論における $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系列の組合せ論的構造は、ニュートン多角形の特殊化の構造をどのように反映するか？

主な発見

• 本稿は、任意の $\zeta \prec \xi$ に対して、$H(\xi)$ から $H(\zeta)$ への明示的特殊化を構成し、非極化状況におけるオールトの予想の類似を裏付けた。
• DM1系列に対する変換を用いた、ニュートン多角形の高さに関する洗練された帰納法によってこの構成が達成された。
• 特に $\lambda_2 < 1/2 < \lambda_1$ の臨界ケースでは、$N_{\xi}^{--}$ のサイクル分解を詳細に分析することで、証明を完成させた。
• 特殊化過程では、セグメントのパrameterに応じて $N_{\xi}^{--} \cong N_{\xi'} \oplus N_{\rho}$ または $N_{\rho} \oplus N_{\rho'}$ が得られる。
• この方法により、非極化状況における中心葉の次元公式の新たな明示的証明が得られた。
• 結果として、最小 $p$-可除群 $H(\zeta)$ が、幾何的一般ファイバーが $H\xi$ である $p$-可除群の特殊ファイバーとして現れることを確認した。