[論文レビュー] A ramification theorem for the ratio of canonical forms of flat surfaces in hyperbolic three-space

Yu Kawakami|arXiv (Cornell University)|Oct 14, 2011

Geometric and Algebraic Topology参考文献 10被引用数 5

ひとこと要約

本稿は、双曲的3次元空間内の弱完全な平坦なフロントの正則形式の比に対して、効果的で、ネヴァンリンナ理論に類似した値分布理論的枠組みを提供する、有効な分岐定理を確立する。主な貢献は、比関数の例外値の数に対する鋭い上限を与えることであり、これにより2つの応用が得られる：アーフォルズの島定理の弱い版の証明と、完全で特異点のない平坦な曲面がホロスフィアまたは双曲的シリンダーであるという古典的分類に対する、新たな簡略化された証明。

ABSTRACT

We provide an effective ramification theorem for the ratio of canonical forms of a weakly complete flat front in the hyperbolic three-space. Moreover we give the two applications of this theorem, the first one is to show an analogue of the Ahlfors islands theorem for it and the second one is to give a simple proof of the classification of complete nonsingular flat surfaces in the hyperbolic three-space.

研究の動機と目的

• 弱完全な平坦なフロントの正則形式の比に対する鋭い分岐定理を確立すること。
• ネヴァンリンナ理論からの値分布的技法を、双曲空間内の平坦なフロントの幾何学へと拡張すること。
• 双曲的3次元空間内の完全で特異点のない平坦な曲面の古典的分類に対する、新たな簡略化された証明を提供すること。
• 平坦なフロントの正則形式の比に対する、アーフォルズの島定理の類似を導出すること。
• 比関数の例外値の数に対する最良の上界を特定すること。

提案手法

• 本稿は、弱完全な平坦なフロントの普遍被覆上のメラモーフィック比 ρ に対する分岐定理を導入する。
• 特に欠損関係式を用いたネヴァンリンナ理論の技法を適用し、ρ の値の重複度を含む鋭い不等式を導出する。
• 証明は、正則形式が誘導する計量の完全性と、普遍被覆上の発散路の挙動に依存する。
• Poincaré計量と等角不変性を用いた積分推定を用い、全重複度が無限大であると仮定した場合に矛盾を導く。
• 平坦なフロントの特異点がちょうど |ρ| = 1 に対応することをフレームワークが活用する。
• 本定理を2つの状況に応用する：小円板における値分布と例外値の数え上げ。

実験結果

リサーチクエスチョン

• RQ1 弱完全な平坦なフロントの正則形式の比が、双曲的3次元空間内で省略できる例外値の数に対する鋭い上界は何か？
• RQ2 平坦なフロントの正則形式の比に対して、アーフォルズの島定理の類似を確立できるか？
• RQ3 分岐定理は、双曲的3次元空間内の完全で特異点のない平坦な曲面の古典的分類を再証明するためにどのように利用できるか？
• RQ4 弱完全性と比関数 ρ の値分布との間にはどのような関係があるか？
• RQ5 比関数 ρ が小円板の上に単純な島をもたない条件は、どのような場合に平坦なフロントがホロスフィアまたは双曲的シリンダーに合同であることを強制するか？

主な発見

• 分岐定理は有効的かつ鋭く、Corollary 3.4 で示されるように、上限は最良である。
• 比 ρ が4つ以上の値を省略するならば、平坦なフロントはホロスフィアまたは双曲的シリンダーに合同でなければならない。
• アーフォルズの島定理の弱い版が成り立つ：ρ が7つの互いに素な小円板の上に単純な島を持たないならば、曲面はホロスフィアまたは双曲的シリンダーに合同である。
• 例外値の数の上限としての「3」は鋭いものであり、Proposition 1.2 で明示的な例によって示されている。
• 完全で特異点のない平坦な曲面の分類は、分岐定理を用いることでより簡略化された形で再証明された。
• 証明は、完全な平坦な曲面が弱完全であることと、|ρ| = 1 の集合が ρ の像の補集合に含まれることに依存しており、これにより省略値が非可算無限個以上存在することが示唆される。