[論文レビュー] The convergence Newton polygon of a $p$-adic differential equation III : global decompositions

Jérôme Poineau, Andréa Pulita|arXiv (Cornell University)|Aug 4, 2013

advanced mathematical theories参考文献 1被引用数 8

ひとこと要約

本稿は、Berkovich曲線上の $p$-進微分方程式のグローバル分解定理を、Baldassarriの過剰可解半径と弱三角形分割を用いて定義された収束半径に基づいて確立する。$i$-番目の半径が他をグローバルに厳密に分離するとき、接続は部分接続の直和に分解され、高ランク部分は三角形分割に依存しない。半径変動の制御グラフは局所的有限であることが示され、曲線の幾何と方程式のランクからその辺数の上限が導かれる。これにより、楕円曲線上での分類が得られる。

ABSTRACT

We deal with locally free $\\mathcal{O}_X$-modules with connection over a Berkovich curve $X$. As a main result we prove local and global decomposition theorems of such objects by the radii of convergence of their solutions. We also derive a bound of the number of edges of the controlling graph, in terms of the geometry of the curve and the rank of the equation. As an application we provide a classification result of such equations over elliptic curves.

研究の動機と目的

• 局所的設定（例えばアニュラスやディスク）を超えて、Berkovich曲線上のグローバルで曲線全体にわたる構造へ、$p$-進微分方程式の分解定理を拡張すること。
• 技術的仮定（可解性や調和性など）に依存しない、収束半径の厳密な分離に基づくグローバル分解結果を確立すること。
• 過剰可解半径と弱三角形分割を定義・利用し、Baldassarriのスペクトル半径連続性および有限性に関する結果を、より広いクラスの曲線へ一般化すること。
• 半径変動の制御グラフの辺数に上限を与えること。これは曲線の幾何と方程式のランクとに関連する。
• グローバル分解を用いて、楕円曲線上の $p$-進微分方程式を分類すること。

提案手法

• 各点における収束ニュートン多角形を、解の収束半径の対数を用いて定義し、弱三角形分割を用いて半径を正規化する。
• $\Gamma_{S,i}(\mathscr{F})$ グラフを、三角形分割 $S$ の外で $i$-番目の半径が局所定数でない点の集合として導入する。
• Berkovich幾何におけるスペクトルノルムに基づく定義の制限を克服するため、Baldassarriの過剰可解半径を用いる。
• 弱適切グラフ $\mathfrak{G}$ が局所的有限であるときかつそのときに限り、$\mathfrak{G}$-制御グラフ $\Gamma_{\mathfrak{G},i}(\mathscr{F})$ が局所的有限であることを証明する。
• 弱適切グラフ $\mathfrak{G}$ が局所的有限であるとき、$S$ と $\mathfrak{G}$ に関するディスクの比較に用いるモジュラス関数 $f_{S,\mathfrak{G}}$ を用いて、$\mathfrak{G}$-半径関数の連続性を確立する。
• すべての $x \in X$ に対して $\mathcal{R}_{\mathfrak{G},i-1}(x,\mathscr{F}) < \mathcal{R}_{\mathfrak{G},i}(x,\mathscr{F})$ を満たすグローバル分離条件により、部分接続 $\mathscr{F}_{\geq i}$ を構成し、$\mathfrak{G}$ の選択に依存しないことを示す。

実験結果

リサーチクエスチョン

• RQ1 Berkovich曲線全体にわたって収束半径の厳密な分離が成立する場合、$p$-進微分方程式のグローバル分解が達成可能か？
• RQ2 過剰可解半径と弱三角形分割の使用は、Berkovich幾何における収束半径の定義と連続性をどのように改善するか？
• RQ3 曲線の幾何と半径変動の制御グラフの有限性の関係は何か？
• RQ4 制御グラフの辺数は、曲線のトポロジーと方程式のランクの観点から上限を持つか？
• RQ5 グローバル分解定理は、楕円曲線上の $p$-進微分方程式の分類に応用可能か？

主な発見

• グローバル分解定理が成立する：$i$-番目の半径がすべての点で他を厳密に分離するとき、接続は半径の挙動に一致する部分接続の直和に分解される。
• 部分接続 $\mathscr{F}_{\geq i}$ は弱三角形分割 $S$ の選択に依存せず、内在的な幾何的意味を持つことが保証される。
• 制御グラフ $\Gamma_{\mathfrak{G},i}(\mathscr{F})$ が局所的有限であることは、弱適切グラフ $\mathfrak{G}$ が局所的有限であることと同値である。
• 制御グラフの辺数の上限は、曲線の幾何と方程式のランクから導かれるが、抽象には正確な式は記載されていない。
• $\mathfrak{G}$-半径関数の連続性は $\mathfrak{G}$ の局所的有限性と同値であり、連続性のためにはこの条件が必要である。
• 楕円曲線上の $p$-進微分方程式の分類は、グローバル分解結果の応用として達成された。