[論文レビュー] Non-Archimedean Big Picard Theorems

William B. Cherry|ArXiv.org|Jul 10, 2002

Algebraic Geometry and Number Theory参考文献 12被引用数 3

ひとこと要約

この論文は、Berkovichの解析的空間の理論を用いて、古典的Big Picard定理の非アーケメデス的版を確立し、滑らかな写像が2以上の genus を持つ非アーケメデス的代数曲線への写像が、穴あき円板から定義される場合に穴の部分にまで拡張可能であることを証明している。主な貢献は、完全に退化する還元を持つ曲線への写像の均一化に基づく拡張結果であり、非アーケメデス的設定におけるPicard型定理を一般化し、Langの予想の特徴的p版の基礎を築くものである。

ABSTRACT

A non-Archimedean analog of the classical Big Picard Theorem, which says that a holomorphic map from the punctured disc to a Riemann surface of hyperbolic type extends accross the puncture, is proven using Berkovich's theory of non-Archimedean analytic spaces.

研究の動機と目的

• 滑らかな写像に対する古典的Big Picard定理の非アーケメデス的版を確立すること。
• Berkovichの解析的空間理論を用いて、genus ≥2 の曲線への写像の拡張定理を証明すること。
• モデル理論的手法を用いずに、特徴的pにおけるLangの予想を証明するための基礎的段階を提供すること。
• BuiumのRaynaudの定理の証明法を一般化するため、非アーケメデス的版のBig Picard定理を証明すること。

提案手法

• 非アーケメデス的解析的空間の理論、特に解析的曲線およびその均一化の理論を用いる。
• 完全に退化する還元を持つ代数的曲線（Mumford曲線）の概念を適用し、Berkovichの射影直線から完全集合を除いた空間による均一化を可能にする。
• 持ち上げ技術を用いる：曲線がMumford曲線である場合、穴あき円板からの解析的写像は、曲線の普遍被覆に持ち上げられる。
• 非アーケメデス的版のMontelの定理に依拠し、最大ノルムとコンパクト性を用いて、有界な解析的写像を単位円板に拡張する。
• 定理2.1（2点を避ける写像の拡張）および定理2.2（穴あき円板における像の稠密性）を適用し、穴の近傍での挙動を制御する。
• Mumford曲線でない場合、有理関数を用いて問題を有界性に還元し、その後、正規化への写像の拡張定理を適用する。

実験結果

リサーチクエスチョン

• RQ1 Berkovichの解析的幾何を用いて、非アーケメデス的版のBig Picard定理を確立できるか？
• RQ2 穴あき円板から非アーケメデス的曲線（genus ≥2）への滑らかな写像が穴の部分にまで拡張可能となる条件は何か？
• RQ3 Mumford曲線の均一化理論を非アーケメデス的設定における拡張定理の証明にどのように応用できるか？
• RQ4 この結果を用いて、BuiumによるRaynaudの定理の証明法を特徴的pに一般化できるか？
• RQ5 完全に退化する還元が、非アーケメデス的写像の拡張定理を可能にする役割を果たす仕組みは何か？

主な発見

• 穴あき円板から非アーケメデス的代数曲線（genus ≥2）への滑らかな写像は、全円板上への滑らかな写像に拡張可能である。
• genus 1 の曲線への写像が少なくとも1点を避ける、または正規化が良い還元を持つ場合、穴の部分にまで拡張可能である。
• genus 0 の曲線に対しては、少なくとも2点を避ける写像は穴の部分にまで拡張可能であり、これは非アーケメデス的版の古典的Picard定理の一般化である。
• すべての既約代数的曲線（genus ≥2）に対して、均一化または有界性の議論により、還元型にかかわらず拡張結果が成り立つ。
• 解析的写像が射影的完成に拡張可能であることは、Berkovich幾何におけるGAGA原理により、その写像が有理的であることを示唆する。
• この結果により、Hrushovskiの手法を回避する非モデル理論的ルートが、特徴的pにおけるLangの予想の証明に向けた道筋を提供する。