[論文レビュー] The convergence Newton polygon of a $p$-adic differential equation V : local index theorems

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

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

ひとこと要約

本稿は、擬滑らかバーキヴィッチ曲線上の $p$-進微分方程式の de Rham コホロロジーについて、局所的および大域的インデックス定理を確立し、有限次元性の基準を示し、収束半径の傾きを用いて定義される大域的不規則性不変量と、インデックスがオイラー特性と関係するグロタンディーク・オグ・シャファレヴィッチの公式を導出する。さらに、収束ニュートン多角形の部分高さの超調和性を証明する。

ABSTRACT

In this paper and its sequel we consider locally-free $\mathscr{O}_X$-modules together with a connection over a quasi-smooth Berkovich curve $X$. We obtain necessary and sufficient conditions for the finite dimensionality of their de Rham cohomology over local domains such as disks and annuli. We deal with both analytic and meromorphic connections and we derive index formulas relating the index to the behavior of the radii of convergence of their solutions at the boundary of the curve $X$. We introduce the notion of absolute local index. We prove that it is an intrinsic notion extending the previous notions of Robba's generalized index and that of $p$-adic exponents. This condition arises at the boundary of the curve $X$ and it is an exact condition for the finite dimensionality of the de Rham cohomology. We derive comparison results between formal, meromorphic and analytic de Rham cohomologies.

研究の動機と目的

• 擬滑らかバーキヴィッチ曲線上の $p$-進微分方程式の de Rham コホロロジーの有限次元性を保証する局所的および大域的基準を確立すること。
• 微分方程式のインデックスを曲線のオイラー特性と大域的不規則性不変量と関連付ける大域的グロタンディーク・オグ・シャファレヴィッチの公式を定式化すること。
• $p$-進微分方程式の収束ニュートン多角形を定義・分析し、特にその部分高さに注目すること。
• 収束ニュートン多角形の部分高さの超調和性を証明し、$p$-進コホロロジー的設定で既知の結果を拡張すること。

提案手法

• バーキヴィッチ曲線上の各点におけるテイラー解の収束半径を、中心的な解析的不変量として用いる。
• 擬三角形分割 $S$ を用いて定義される制御グラフ $\Gamma_S(\mathscr{F})$ を導入し、収束半径が変化する場所を捉え、局所的に有限かつ連結であることを保証する。
• 収束半径の傾きから収束ニュートン多角形を構成し、特にスケルトン $\Gamma_S$ 沿いの部分高さに注目する。
• バーキヴィッチ幾何学およびノルモイドフレシェ空間の技術を用いて、切断および接続の位相的・解析的制御を保証する。
• アフィノイド被覆における逆極限およびスペクトル系列を用いて、コホモロジー的有限性および制限の整合性を分析する。
• バナッハ空間および収縮の理論を用いて、層およびその接続上のノルモイドフレシェ構造を定義・比較する。

実験結果

リサーチクエスチョン

• RQ1 擬滑らかバーキヴィッチ曲線上の $p$-進微分方程式の de Rham コホロロジーが有限次元であるための条件は何か？
• RQ2 微分方程式のインデックスを、曲線のオイラー特性およびその幾何的不変量とどのように大域的に関連付けることができるか？
• RQ3 収束ニュートン多角形は、$p$-進微分方程式の不規則性をどのように符号化しているか？
• RQ4 幾何的および解析的制約のもとで、収束ニュートン多角形の部分高さはどのように振る舞うか？
• RQ5 $p$-進設定において、ニュートン多角形の部分高さの超調和性を確立できるか？

主な発見

• 局所的に自由な $\mathscr{O}_X$-加群に接続を持つ場合、de Rham コホロロジーが有限次元であるための必要十分条件は、制御グラフ $\Gamma_S(\mathscr{F})$ が局所的に有限であることである。
• 大域的グロタンディーク・オグ・シャファレヴィッチの公式が確立され、$\mathscr{F}$ のインデックスが $X$ のオイラー特性に加え、グローバルな収束半径の傾きによって定義される不規則性の和に等しいことが示された。
• $\mathscr{F}$ の収束ニュートン多角形の部分高さは、スケルトン $\Gamma_S$ 上の超調和関数である。
• $\mathscr{F}$ の収束半径はバーキヴィッチ曲線 $X$ 上の連続関数であり、制御グラフ $\Gamma_S(\mathscr{F})$ は局所的に有限かつ連結なグラフである。
• 減少するアフィノイド近傍における逆極限と整合するように、$\mathscr{F}(X)$ および $\mathscr{F}'(X)$ 上のノルモイドフレシェ構造が定義され、位相的一致性が保証される。
• 切断上の制限写像は、ノルモイドフレシェ空間の圏において同型を誘導し、接続 $\nabla_X$ は $K$-線形な収縮である。