[論文レビュー] Meromorphic Potentials and Smooth CMC Surfaces

Josef F. Dorfmeister, Guido Haak|ArXiv.org|Dec 31, 1994

Algebraic and Geometric Analysis参考文献 5被引用数 15

ひとこと要約

この論文は、ループ群法を用いて、有理型ポテンシャルとℝ³内の滑らかな一定平均曲率（CMC）超曲面との間の対応関係を確立する。特筆すべきは、CMC埋め込みの微分が、ポテンシャル内の有理型関数fが消える点において正確に消えることを証明しており、幾何的特異点とポテンシャル内の解析的ゼロを結びつける。

ABSTRACT

This work is based on the approach developed by J.~Dorfmeister, F.~Pedit and H.~Wu [GANG and KITCS preprint, Report KITCS94-4-1] to construct maps $Φ:D ightarrow R^3$, $D$ being the unit disk in $C$, whose images are surfaces of constant mean curvature. They start from certain meromorphic one forms, so called meromorphic potentials, which take values in a twisted loop algebra over $su(2)$. The authors give necessary and sufficient conditions on the meromorphic potential for the constructed map $Φ$ to be an immersion. This revision corrects several misprints and minor TeX problems.

研究の動機と目的

• 有理型ポテンシャルとℝ³内での滑らかなCMC埋め込みとの関係を特定すること。
• ポテンシャル内の有理型関数fのゼロが及ぼす幾何的意味を分析すること。
• 埋め込み微分が消える条件を確立し、特異点を示すこと。
• ループ群によるCMC超曲面の構成におけるIwasawa分解とSym-Bobenko公式の役割を明確にすること。
• ループ群要素の因子分解を通じて、ホップ微分とポテンシャルを結ぶ条件を導出すること。

提案手法

• ポテンシャルξ = λ⁻¹[[0,f(z);g(z),0]]dzを用いてCMC埋め込みを構成し、f(z)g(z) = E(z)dz²を満たす。
• 初期値問題dg₋ = g₋ξ、g₋(0,λ) = Iを、ねじれループ群Λ⁻*SL(2,ℂ)σ内で解く。
• Iwasawa分解g₋ = Fg₊⁻¹を行い、F ∈ ΛSU(2)σ、g₊ ∈ Λ⁺SL(2,ℂ)σとする。
• FにSym-Bobenko公式を適用し、平均曲率H = -1/2のCMC埋め込みΦλを得る。
• Fによるσ₊への共役作用の右上要素を検討することで、dΦ(z₀)の微分を分析し、f(z₀) = 0のときかつそのときに限り消えることを示す。
• g₊のλ⁰係数の極分解を用いて、e⁻²ⁱᵇfが実数であることを導出し、ポテンシャルと幾何的実数性条件を結びつける。

実験結果

リサーチクエスチョン

• RQ1 ループ群法によるCMC埋め込みの微分が消える条件は何か？
• RQ2 ポテンシャル内の有理型関数fのゼロは、超曲面の幾何的特異点とどのように関係するか？
• RQ3 ホップ微分E(z)dz²とポテンシャル関数f、gとの間の明確な関係は何か？
• RQ4 線形系の解のIwasawa分解は、得られるCMC超曲面にどのように影響するか？
• RQ5 関数e⁻²ⁱᵇfが実数であるための条件は何か？その幾何的意味は何か？

主な発見

• CMC埋め込みの微分dΦ(z₀)が消えるのは、f(z₀) = 0のときかつそのときに限り、ポテンシャル内の解析的ゼロと幾何的特異点を直接結びつける。
• Sym-Bobenko公式の微分表現における右上要素にはλ⁻¹f(z)に滑らかな係数が乗じられ、f(z₀) = 0ならばdΦ(z₀) = 0であることが確認される。
• w⁻²f = -½Heᵘᐟ²という関係が成り立ち、wはg₊の対角部のλ⁰係数であり、ポテンシャルと平均曲率を結ぶ。
• 左下要素からw²E/f = Qe⁻ᵘᐟ²が導かれ、E = -½QHが得られ、これは[5]におけるホップ微分の定義と一致する。
• H = -2のとき、Q = Eが成り立ち、ホップ微分の標準的正規化と整合的であることが示される。
• g₊のλ⁰係数の極分解から、e⁻²ⁱᵇfが実数であることが導かれる。これは、表面が実解析的かつ幾何的に整合的であるための必要条件である。