[論文レビュー] Caratheodory convergence of log-Riemann surfaces and Euler's formula

Kingshook Biswas, Ricardo Pérez-Marco|arXiv (Cornell University)|Nov 2, 2010

Analytic and geometric function theory参考文献 2被引用数 4

ひとこと要約

本稿では、複素平面 ℂ への局所微分同相写像を備えたリーマン面としての対数リーマン面を導入し、平坦な計量と分岐点を用いた複素解析の幾何的解釈を可能にする。単連結な対数リーマン面のユニフォーム化におけるカラテオドリィ収束定理を確立し、ユニフォーム化写像の収束を用いて、Eulerの公式 (1 + z/n)^n → e^z の完全な幾何的証明を導く。

ABSTRACT

We define the notion of log-Riemann surfaces and Caratheodory convergence of log-Riemann surfaces. We prove a convergence theorem for uniformizations of simply connected log-Riemann surfaces converging in the Caratheodory topology. We obtain as a corollary a purely geometric proof of Euler's formula (1 + z/n)^n -> e^z .

研究の動機と目的

• リーマン面 𝒮 に ℂ への局所微分同相写像 π: 𝒮 → ℂ が存在し、|dπ| による引き戻しで平坦計量が誘導される、対数リーマン面の概念を形式化すること。
• 平坦計量と分岐点の文脈において、Gromov-Hausdorff型収束を用いて、対数リーマン面におけるカラテオドリィ収束を定義すること。
• カラテオドリィ収束下での単連結な対数リーマン面の正規化ユニフォーム化の収束定理を確立すること。
• 収束定理の直接的系として、Eulerの古典的公式 (1 + z/n)^n → e^z の幾何的証明を導出すること。

提案手法

• リーマン面 𝒮 に局所微分同相写像 π: 𝒮 → ℂ が存在し、|dπ| によって平坦計量が誘導される、対数リーマン面を定義する。
• パス計量に関して 𝒮 を完備化し、π が穴あき円板の被覆写像として振る舞う離散的分岐点 R を追加して 𝒮× を得る。
• より大きな表面への等長埋め込みと射影の収束を用いて、点付き対数リーマン面 (𝒮ₙ, zₙ) → (𝒮, z₀) のカラテオドリィ収束を導入する。
• 正規化ユニフォーム化 Fₙ: 𝒮ₙ× → 𝔻_{Rₙ} と F: 𝒮× → 𝔻_R を定義し、π-座標系で F(z₀) = 0 かつ F’(z₀) = 1 となるようにし、一意性を保証する。
• limsup Rₙ ≤ R かつ (𝒮ₙ, zₙ) → (𝒮, z₀) ならば、Rₙ → R かつ Fₙ ∘ ιₙ → F が 𝒮 のコンパクト集合上で一様収束することを証明する。
• 収束定理を n 乗根関数および対数関数の対数リーマン面に適用し、πₙ∘Gₙ(z) = (1 + z/n)^n および π∘G(z) = e^z を特定することで、Eulerの公式を導出する。

実験結果

リサーチクエスチョン

• RQ1 分岐点や平坦計量を含む、ℂ の部分領域に限らないリーマン面の収束概念をどのように一般化できるか？
• RQ2 単連結な対数リーマン面のユニフォーム化写像が、表面の幾何的収束下で収束するための条件は何か？
• RQ3 古典的極限 (1 + z/n)^n → e^z は、解析的または代数的手段ではなく、複素解析における幾何的収束定理から導けるか？
• RQ4 対数リーマン面の平坦計量と分岐構造は、ユニフォーム化と収束を統一的に扱うのにどの程度有効か？
• RQ5 カラテオドリィ収束下で、対数リーマン面の自己相似半径 Rₙ と R の関係はいかなるものか？

主な発見

• カラテオドリィ位相で (𝒮ₙ, zₙ) → (𝒮, z₀) かつ limsup Rₙ ≤ R ならば、単連結な対数リーマン面 𝒮ₙ× の正規化ユニフォーム化 Fₙ は 𝒮× のユニフォーム化 F にコンパクト集合上で一様収束する。
• 同じ収束条件と limsup 条件の下で、自己相似半径 Rₙ は R に収束する。すなわち lim Rₙ = R が成り立つ。
• 逆ユニフォーム化 Gₙ = Fₙ⁻¹ は、πₙ(zₙ) → π(z₀) のとき、compact subsets of 𝔻_R 上で πₙ∘Gₙ → π∘G 一様収束する。
• Fₙ ∘ ιₙ から F への収束は、正規族と極限における孤立特異点の除去を用いて確立され、唯一の極限点として恒等写像が得られる。
• n 乗根表面の幾何的収束が対数表面に至る過程で、πₙ∘Gₙ(z) = (1 + z/n)^n → e^z = π∘G(z) が成り立ち、Eulerの公式の幾何的証明が得られる。
• 収束は ℂ のコンパクト集合上で一様であり、最大値原理により、全域のディスク 𝔻_R へと拡張される。