[論文レビュー] Harmonic maps into conic surfaces with cone angles less than $2\pi$

Jesse Gell‐Redman|arXiv (Cornell University)|Oct 20, 2010

Analytic and geometric function theory参考文献 20被引用数 6

ひとこと要約

本稿は、$2\pi$未満の尖り角をもつ円錐面へのエネルギー最小化調和写像の存在、一意性、および滑らかな依存性を確立する。特に、対象が尖り角$\leq \pi$である場合には、このような写像がホメオモルフィズムであることを示している。主な貢献は、低角の円錐点の逆像を固定するホモトピー類内での相対的最小化の厳密な枠組みを構築し、円錐計量へのティヒミュラー理論の拡張を可能にすることにある。

ABSTRACT

We prove the existence and uniqueness of harmonic maps in degree one homotopy classes of closed, orientable surfaces of positive genus, when the target has conic points with cone angles less than $2\\pi$. For a cone point $p$ of cone angle less than or equal $\\pi$ we show that one can minimize, uniquely, in the relative homotopy class of a homeomorphism sending a fixed point $q$ in the domain to $p$. The latter can be interpreted as minimizing maps from punctured Riemann surfaces.

研究の動機と目的

• 閉じた、向き付け可能な genus $> 0$ の曲面から、非正の曲率と尖り角$< 2\pi$の円錐面へのエネルギー最小化調和写像の存在と一意性を確立すること。
• 尖り角$\leq \pi$の場合に、円錐点の逆像を固定する相対的最小化定理を証明することで、穴あき曲面への理論の拡張を図ること。
• このような最小化写像がホメオモルフィズムであり、対象計量に対して滑らかに依存することを示すこと。
• 固定された幾何的データにおける相対的最小化写像の空間が、尖り角$\leq \pi$の円錐点の個数に等しい複素次元の複素多様体であることを示すこと。
• 穴あき曲面上の円錐計量へのティヒミュラー理論および一様化結果の拡張の基盤を築くこと。

提案手法

• 連続法を用い、摂動と収束の議論を組み合わせて調和写像を構成する。
• エネルギー汎関数のEuler-Lagrange方程式として生じる張力場作用素$\tau(u,g,G)$に陰関数定理を適用する。
• 円錐特異点を取り扱い、Fredholm性を保証するために、重み付き Hölder 空間$C^{k,\gamma}_{b}$および$r^{\epsilon}C^{k,\gamma}_{b}$を用いる。
• 摂動空間$\mathcal{P}(u)$と計量摂動の部分空間$\mathcal{M}^*(g)$を定義し、$\tau$の非退化微分を保証する。
• エネルギー汎関数の共形不変性と、円錐点近傍の局所座標を用いて、問題を座標計算に還元する。
• 平行移動$\Xi$を介したプッシュバック位相を導入し、バンドル$\mathsf{E}$内の切断の滑らかさを定義し、張力場作用素の$C^1$-正則性を保証する。

実験結果

リサーチクエスチョン

• RQ1 閉じた genus $> 0$ の曲面から、尖り角$< 2\pi$で非正の曲率をもつ円錐面への、各度数1ホモトピー類におけるエネルギー最小化調和写像が存在するか？
• RQ2 尖り角$\leq \pi$の場合に、写像による円錐点の逆像を固定する相対的最小化写像を構成できるか？
• RQ3 このような相対的最小化写像の空間は幾何的対象としてどのように振る舞うか—特に、複素多様体であるか？
• RQ4 これらの最小化写像の正則性および幾何的データ（計量、尖り角）への依存性はいかなるものか？
• RQ5 調和写像の理論を、穴あき曲面上の円錐計量を用いてティヒミュラー空間をパラメトライズするのに拡張できるか？

主な発見

• genus $> 0$ の閉曲面に対して、各度数1ホモトピー類には、エネルギー最小化調和写像が一意に存在し、各円錐点の逆像は1点である。
• 尖り角$\leq \pi$の場合、円錐点の逆像を固定する相対的最小化問題には一意な解が存在し、その最小化写像はホメオモルフィズムである。
• 固定された幾何的データにおける相対的最小化写像の空間は、尖り角$\leq \pi$の円錐点の個数に等しい複素次元の複素多様体である。
• 最小化写像は対象計量に対して滑らかに依存し、張力場作用素$\tau$は適切なBanach空間設定において$C^1$である。
• この証明は、摂動空間における張力場作用素の非退化微分が示されることに依存し、これにより陰関数定理の適用が可能になる。
• 共形座標における局所計算により、張力場が重み付きHölder空間に属することが確認され、陰関数議論に必要な正則性が保証される。