[論文レビュー] Isolated singularities of conformal hyperbolic metrics

Yu Feng, Yiqian Shi+1 more|arXiv (Cornell University)|Nov 3, 2017

Geometry and complex manifolds参考文献 2被引用数 7

ひとこと要約

本稿では、リーマン面における孤立した特異点をもつ共形的双曲計量の明示的な局所表現を提供する。特には、角度 $2\pi\alpha$ の角特異点の近傍では、計量が $\frac{4\alpha^2|z|^{2\alpha-2}}{(1-|z|^{2\alpha})^2}|dz|^2$ の形を取り、カスプ特異点の近傍では $|z|^{-2}(\ln|z|)^{-2}|dz|^2$ の形をとることを証明する。これらの結果は、双曲幾何における発展写像と等長変換の分類を用いて得られ、座標の回転を除いて一意的であることが示された。

ABSTRACT

J. Nitsche proved that an isolated singularity of a conformal hyperbolic metric is either a conical singularity or a cusp one. We prove by developing map that there exists a complex coordinate $z$ centered at the singularity where the metric has the expression of either $\displaystyle{\frac{4α^2\vert z \vert^{2α-2}}{(1-\vert z \vert ^{2α})^2}\vert \mathrm{d} z \vert^2}$ with $α>0$ or $\displaystyle{\vert z \vert ^{-2}\big(\ln|z|\big)^{-2}|dz|^{2}}$.

研究の動機と目的

• コンパクトなリーマン面における孤立特異点の近傍における共形的双曲計量の正確な局所幾何的構造を特定すること。
• Nitscheの分類による角型またはカスプ型への分類を超えて、このような計量が明示的な座標表現をもつかどうかという未解決の問題を解消すること。
• 各特異点の近傍で計量が標準的で明示的な形をとる複素座標の存在と、回転を除いての一意性を確立すること。
• 局所モデル計量の提供を通じて、特異を持つ双曲計量のグローバル幾何の理解を拡張すること。

提案手法

• 双曲空間の上半平面モデルへの、穴あき円板からの発展写像を用いて、局所計量構造を分析する。
• モノドロミー変換（等長変換）を楕円型、放物型、双曲型に分類し、特異点近傍での挙動を分析する。
• 文献[4]の補題3.2の双曲版を用いて、発展写像のモノドロミーを制御する。
• 特異点回りでの解析接続から生じる関数方程式を解くことにより、明示的な計量形を導出する。
• PSL(2,R)に属するモビウス変換を用いて発展写像を正規化し、標準形に帰着する。
• 背理法を用いて、一貫しないモノドロミー型（楕円型および双曲型）を除外し、カスプ特異点には放物型のみが残ることを示す。

実験結果

リサーチクエスチョン

• RQ1 角度 $2\pi\alpha$ の角特異点の近傍における共形的双曲計量の明示的局所表現は何か？
• RQ2 カスプ特異点の近傍における共形的双曲計量の明示的局所表現は何か？
• RQ3 特異点近傍の複素座標は回転を除いてどのように一意に定まるか？
• RQ4 発展写像を正規化することで、角特異点およびカスプ特異点の両方に対して標準形を得られるか？
• RQ5 等長変換の共軌道類は、モノドロミーの分類およびしたがって計量構造の分類において果たす役割は何か？

主な発見

• 角度 $2\pi\alpha$ の角特異点に対して、特異点を中心とする適切な座標 $z$ において、計量は $\mathrm{d}\sigma^2 = \frac{4\alpha^2|z|^{2\alpha-2}}{(1-|z|^{2\alpha})^2}|dz|^2$ である。
• カスプ特異点に対しては、適切な座標 $z$ において、計量は $\mathrm{d}\sigma^2 = |z|^{-2}(\ln|z|)^{-2}|dz|^2$ である。
• 座標 $z$ は、両方の特異点タイプにおいて、回転 $z \mapsto \lambda z$（$|\lambda|=1$）を除いて一意的である。
• 発展写像のモノドロミーは、カスプ特異点では放物型であり、これにより計量の対数的形が生じる。
• 楕円型および双曲型のモノドロミーの場合には、発展写像が正しく定義されるという仮定のもとで矛盾が生じるため、これらは除外される。
• 結果として、角特異点およびカスプ特異点の両方が現れうることを確認し、両者に対する明示的モデルを提供することで、局所分類を完成させた。