[論文レビュー] Continuity and finiteness of the radius of convergence of a p-adic differential equation via potential theory

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

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

ひとこと要約

本稿は、p進微分方程式の収束半径の連続性および有限型の性質を、潜在論を用いて、擬滑らかであるBerkovich曲線上で簡潔に証明する。超調和関数とラプラシアンにおけるRadon測度を用いることで、境界なしの曲線または収束型接続の下で、半径関数が連続的であり、局所的に定数であることが示され、これは局所的に有限な部分グラフの外で成り立つ。

ABSTRACT

We study the radius of convergence of a differential equation on a smooth Berkovich curve over a non-archimedean complete valued field of characteristic 0. Several properties of this function are known: F. Baldassarri proved that it is continuous and the authors showed that it factorizes by the retraction through a locally finite graph. Here, assuming that the curve has no boundary or that the differential equation is overconvergent, we provide a shorter proof of both results by using potential theory on Berkovich curves.

研究の動機と目的

• Berkovich曲線上におけるp進微分方程式の収束半径の連続性および有限型の性質を、より短く、概念的に証明すること。
• 潜在論を用いて、収束半径関数が連続的であり、局所的に定数であることを、局所的に有限な部分グラフの外で示すこと。
• 境界なしの曲線または収束型接続に制限することで、一般の擬滑らか曲線への既知の結果の拡張を達成すること。
• 超調和関数とそのラプラシアンを中心的な道具として用いることで、従来の長大な証明を統一的かつ簡略化すること。
• 収束半径の対数が超調和関数であることを示し、ラプラシアンの測度論的性質を活用できるようにすること。

提案手法

• 特に超調和関数およびそのラプラシアン（Radon測度として）の理論を用いて、Berkovich曲線上の潜在論を適用する。
• タイプ2点の近傍における局所的微分作用素を用い、収束半径の対数を超調和関数として表現する。
• 超調和関数のラプラシアンがRadon測度であることを利用し、非定数方向の数を制御する。
• 対数半径関数における非ゼロ勾配の有界性を用いて、各タイプ2点において非定数方向が有限個しか存在しないことを示す。
• タイプ2、3、4点における線分上での超調和関数の連続性に帰着することで、局所的に有限な部分グラフ上での連続性を証明する。
• 補題3.3.8を適用して、半径を微分作用素の収束半径に関連づけ、枝間での極限比較を可能にする。

実験結果

リサーチクエスチョン

• RQ1 潜在論を用いることで、p進微分方程式の収束半径の連続性および有限型の性質をより簡潔に証明できるか？
• RQ2 収束半径の対数は、Berkovich曲線上でどの程度まで超調和関数として表現可能か？
• RQ3 対数半径関数のラプラシアンの構造は、タイプ2点における非定数方向の数をどのように制約するか？
• RQ4 境界なしまたは収束型の条件の下で、潜在論が連続性および有限性の完全な証明をもたらす条件は何か？
• RQ5 局所的微分作用素から収束半径を回復できるか？また、これは曲線上の全体的挙動とどのように関係するか？

主な発見

• 曲線が境界なしであるか、接続が収束型である限り、収束半径関数は曲線全体で連続的である。
• 収束半径関数は、曲線の局所的に有限な部分グラフΓの外で局所的に定数であり、これは有限性の性質を裏付ける。
• 各タイプ2点の近傍では、収束半径の対数は超調和関数であるが、たかだか有限個の枝を除いてはそうである。
• 対数半径のラプラシアンはRadon測度であり、非ゼロ勾配の有界性から、各タイプ2点において非定数方向は有限個しか存在しない。
• タイプ2、3、4点における連続性は、超調和関数の一般的性質、特に線分上での連続性に起因する。
• 補題3.3.8により、点xにおける収束半径は、ある微分作用素dと半径Rを用いてmin(Rd(x, (F, ∇))/R, 1)として表現可能である。