[論文レビュー] Lectures on Non-Archimedean Function Theory

William B. Cherry|ArXiv.org|Sep 24, 2009

advanced mathematical theories参考文献 30被引用数 5

ひとこと要約

この講義シリーズでは、p進および非アーケメデス的体上の複素解析の類似物として、非アーケメデス的関数論を導入する。価値評価多角形やポアソン・ジエンセンの公式といった基礎的道具を構築し、単位円板上のメラモーフィック関数に対してベンデットの非アーケメデス的四領域定理に至る。この定理は、曲率と半径の明確な条件のもとで、単射的像が互いに交わらない四つの非境界付き円板へ写像されることを保証する。

ABSTRACT

Lecture 1 discusses non-Archimedean analogs of classical complex function theory based on the Schnirelman integral. Lecture 2 discusses valuation (Newton) polygons and their consequences and presents a non-Archimedean analog of the Poisson-Jensen formula. Lecture 3 introduces non-Archimedean value distribution theory. Lecture 4 presents an introduction to Benedetto's non-Archimedean analogs of the Ahlfors Island theorems.

研究の動機と目的

• 非アーケメデス的体上での関数論を、古典的複素解析に類似した体系的な理論として発展させること。
• 価値評価多角形や非アーケメデス的ポアソン・ジエンセンの公式といった基礎的道具を確立すること。
• 特に正標数における非アーケメデス的設定への値分布理論の拡張。
• 単位円板上のメラモーフィック関数に対してベンデットの四領域定理を証明・分析し、互いに交わらない非境界付き円板への単射的写像を特徴づけること。
• ベルコヴィッチ解析的空間と半ノルムが、正標数における結果の定式化と証明において果たす役割を明確にすること。

提案手法

• 非アーケメデス的絶対値を用い、超三角不等式を満たすものとして、完備かつ離散的評価を持つ体を定義する。
• $\mathbf{Q}$ から $\mathbf{Q}_p$ や $\mathbf{Z}_p$ を、コーシー列を零列で割ったものとして完成化の手続きを用いて構成する。
• 価値評価多角形を用いてメラモーフィック関数の挙動を分析し、非アーケメデス的設定におけるポアソン・ジエンセンの公式を導出する。
• ベリコヴィッチ解析的空間を導入し、ドメイン $\mathbf{B}_{<1}$ とターゲット $\mathbf{P}^1$ をモデル化することで、値分布のための位相的・距離的枠組みを提供する。
• 非アーケメデス的設定における歪みを制御するため、球面的微分を測る量 $||f^\#||_\nu = \frac{||f'\|_\nu}{\max\{1, ||f||_\nu\}}$ を定義する。
• $f(\nu) = \mu$ を満たす $\nu$ に対して、$f^\#(0)$ および $r(\nu)||f^\#||_\nu$ に条件を課すことにより、互いに交わらない四つの非境界付き円板のうちの一つへ写像される単射的像の存在を保証する。

実験結果

リサーチクエスチョン

• RQ1 古典的複素関数論を、特に $p$-進体において体系的に非アーケメデス的体へどのように拡張できるか？
• RQ2 非アーケメデス的設定におけるポアソン・ジエンセンの公式の類似物は何か？また、零点と極の分布とどのように関係するか？
• RQ3 正標数において、単位円板上のメラモーフィック関数が病理的な挙動を示さないための条件は何か？
• RQ4 曲率と半径のどの明確な条件を満たせば、単位円板上のメラモーフィック関数が、四つの互いに交わらない非境界付き円板のうちの一つへ単射的写像される領域をもつのか？
• RQ5 $f(\nu) = \mu$ を満たすすべての $\nu$ に対して $r(\nu)||f^\#||_\nu \geq C_2$ であることが必要である理由は何か？この条件が満たされない場合、何が起こるのか？

主な発見

• 価値評価多角形を用いて非アーケメデス的ポアソン・ジエンセンの公式が確立され、零点・極の位数と関数の成長の間の関係が結びつけられる。
• $\mathbf{B}_{<1}$ 上のメラモーフィック関数に対して、$f^\#(0) > C_1$ かつすべての $\nu$ について $f(\nu) = \mu$ を満たす $\nu$ に対して $r(\nu)||f^\#||_\nu \geq C_2$ ならば、$f$ はある非境界付き円板 $U$ を、四つの互いに交わらない非境界付き円板 $D_i$ のうちの一つへ単射的に写像する。
• $\mathrm{char}\;\widetilde{\mathbf{F}} = 0$ のとき、定数 $C_2 = 0$ である。これは、標数ゼロでは野生的分岐が存在しないことを反映している。
• 正標数では、$f(\nu) = \mu$ を満たすある $\nu$ に対して $r(\nu)||f^\#||_\nu$ が成立しない例が存在し、そのような場合には四領域の結論が成り立たない。
• この定理は鋭い：$\left(z + \frac{c}{z^{p^n}}\right)\prod_{i=1}^N\left(1 + \frac{c}{(z - a_i)^{p^n}}\right)$ の形の例は、$r(\nu)||f^\#||_\nu$ に関する条件を弱めると単射的像の性質が破綻することを示している。
• 証明は、ベリコヴィッチ位相と半ノルムを用いて、ドメインの幾何構造と各点における関数の挙動を定義・制御することに依拠している。