[論文レビュー] Normal holomorphic curves from parabolic regions to projective spaces

Alexandre Erëmenko|ArXiv.org|Oct 5, 2007

Meromorphic and Entire Functions参考文献 17被引用数 19

ひとこと要約

この論文は、複素平面や穿孔平面などの放物的領域から複素射影空間への正則ホロモルフィック曲線を、Fubini–Study計量に関する一様連続性に注目して調査する。特筆すべきは、Lipschitz制御と球面的微分の有界性を組み合わせた、新たな逆関数定理フレームワークを用いて、離散的集合における指定された値への補間に関する全射性結果を確立したことである。これは、Nevanlinna理論および正則族に関する先行研究を拡張するものである。

ABSTRACT

A holomorphic map from the complex line to a complex projective space is called normal (a. k. a. Brody curve) if it is uniformly continuous from the Euclidean metric to the Fubini--Study metric. The paper contains a survey of known results about such maps, as well as some new theorems.

研究の動機と目的

• 放物的領域（例えば C や C*）から P^n への正則ホロモルフィック曲線を、ユークリッド計量から Fubini–Study計量への一様連続写像として定義し、それらを研究すること。
• 補間問題に取り組む：離散的集合 E と P^n 内の指定された値が与えられたとき、それらを通過する正則ホロモルフィック曲線を構成できるか。
• Lipschitz制御と球面的微分の一様有界性を組み合わせた変更された逆関数定理を用いて、そのような補間曲線の存在の十分条件を確立すること。
• Nevanlinna理論および正則族の結果を、特に球面的微分と特徴関数の振る舞いに注目して、放物的領域の設定へと拡張すること。

提案手法

• f = Π ∘ f̃ と表す還元された斉次表現を用い、f̃: G → C^{n+1} ∖ {0} は共通零点を持たない正則関数である。
• 球面的微分 f# は (f#)^2 = Σ_{i<j} |f_i' f_j - f_i f_j'|^2 / ||f̃||^4 で定義され、ユークリッド計量から Fubini–Study計量への長さの歪みを測定する。
• Nevanlinna特徴関数のAhlfors–Shimizu形式を用いる：T(r,f) = ∫₀ʳ A(t,f) dt/t、ここで A(t,f) = (1/π)∫_{|z|≤t} (f#)^2 dz。
• 半径 δ の球上で定義された右逆写像 g⁻¹_m を用いた、新たな逆関数定理フレームワークを導入し、Lipschitz定数 L を満たす。
• 反復的更新 g(aₘᵏ) = P(bₘ, -φₘ(aᵏ⁻¹)) を用いて V^E 内の列 (aᵏ) を構成し、Cauchy推定と条件 Lδ < ε/(1+ε) を用いて収束を示す。
• 摂動項 φₘ の一様Lipschitz制御を保証するための鍵となる推定式 ||φₘ(a′) - φₘ(a″)|| ≤ δ||a′ - a″||_∞ を用いる。

実験結果

リサーチクエスチョン

• RQ1 G ⊂ C における離散的集合 E ⊂ G に対して、f|E = b を満たす正則ホロモルフィック曲線 f: G → P^n が存在するための条件は何か？
• RQ2 コンパクト部分集合 G において球面的微分 f# が一様に有界であると、曲線族の正則性が保証されるか？
• RQ3 Fubini–Study計量は、放物的領域からの正則曲線の一様連続性を特徴づける上で果たす役割は何か？
• RQ4 誤差伝播を制御できる固定点法または反復的技法を用いて、そのような補間曲線をどのように構成できるか？
• RQ5 目標値と定義域の幾何的性質にどのような条件を課すと、正則曲線空間上の評価写像の全射性が保証されるか？

主な発見

• Ascoli–Arzelàの定理により、球面的微分 f# が G のコンパクト部分集合上で一様に有界であることと、正則曲線族が正則であることとは同値である。
• 任意の離散的集合 E ⊂ C と任意の割り当て b ∈ (P^n)^E に対して、逆関数フレームワークが Lδ < ε/(1+ε) を満たす限り、f: C → P^n となる正則ホロモルフィック曲線が存在する。
• 初期データの反復的精錬に、Lipschitz定数 L と誤差制御 δ を持つ右逆写像 g⁻¹_m を用いることで、収束する解へと至る。
• 摂動項 φₘ の一様有界性 ||φₘ(a)|| < δ と φₘ のLipschitz性により、構成された曲線 f の球面的微分が一様に有界である。
• 与えられた計量と連続性仮定の下で、恒等式 P(P(b_s, -φ_s(a)), φ_s(a)) = b_s が成り立つことから、すべての s ∈ E に対して f(s, a) = b_s が成立する。
• Cauchy列 (aᵏ) が解 a ∈ V^E に収束することにより、小さな摂動に対しても結果が安定であることが示された。||aᵏ - aᵏ⁻¹||_∞ ≤ Lᵏδᵏ が成り立つ。