[論文レビュー] 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 $-分離的 $\mathcal{O}_B$-加群に自己準同型構造を備えた場合に、ホッジ＝ニュートン層を一般化する。$\sigma$-不変ホッジ多角形を導入し、ニュートン多角形とホッジ多角形を関連付ける条件の下で、標準層の存在を証明する。主な貢献は、普遍変形空間における層の持ち上げのための基準を提示することであり、古典的なカッツおよびムーレンの結果を$\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$-不変ホッジ多角形$\overline{\mu} = \frac{1}{r}\sum_{i=0}^{r-1} \sigma^i(\mu)$を定義し、フロベニウス作用の下でのホッジデータの精緻化を研究すること。
• $p$-分離的$\mathcal{O}_B$-加群の普遍変形においてホッジ層が持ち上がる条件を確立すること。
• カッツおよびムーレンの古典的結果を、特に$\mu$-通常および$\sigma$-不変層の文脈において、$\mathcal{O}_B$-加群の設定に一般化すること。

提案手法

• $\mathcal{O}_B$-作用、接続、フロベニウス、$\sigma^a$-可換性を備えた、$\sigma^a$-F-クリスタルの$\mathcal{O}_B$-加群としての定義$(M, \nabla, F, \iota)$。
• ガロア不変ホッジデータを捉えるために、$\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$-加群の普遍変形を構成。
• Dieudonné加群上で作用する行列$g_{\text{univ}}$を用いて、普遍変形を明示的に記述し、パラメータ$u^{(i)}_{l,m}$を用いて$\{x_{a,b}^{(i)}\}$を分岐定義で定義。
• ニュートン多角形$\nu$と$\overline{\mu}$があるブレークポイントまで一致する条件の下で、$F$作用と$M_1$上の接続が保存されることを示し、ホッジ層の持ち上げを証明。
• 双対性を適用して、$\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}$が、あるブレークポイントまで一致することである。
• $M_1^{(i)}$が$(M^0)^{(i)}$に含まれない場合、$g_{\text{univ}}$-不変性が破れるため、持ち上げが失敗する。
• ホッジ多角形とニュートン多角形がブレークポイントまで一致する場合、接続$\nabla$は部分加群$\mathcal{M}_1$に制限され、変形構造と整合性を保つ。
• 対応する周期空間の次元が、$\nu$と$\overline{\mu}$の条件が必要であることを確認しており、そうでなければモジュライ空間の次元が誤りになる。
• ムーレンの$\mu$-通常の持ち上げ定理が、$\mathcal{O}_B$-加群の設定に拡張され、$\sigma$-不変ホッジ多角形が$\mu$-通常多角形の役割を果たす。