[论文解读] 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}}$.

研究动机与目标

• 确定紧黎曼曲面上孤立奇点附近共形双曲度量的精确局部几何结构。
• 解决一个开放问题：此类度量是否在尼茨赫分类为锥形或尖点类型之外，还能否具有显式的坐标表达式。
• 确立在每个奇点附近，使度量呈现标准显式形式的复坐标的存在性与唯一性（至多旋转）。
• 通过提供局部模型度量，扩展对奇异双曲度量整体几何的理解。

提出的方法

• 使用从穿孔圆盘到双曲空间上半平面模型的发展映射，分析局部度量结构。
• 将单值变换（等距）分类为椭圆型、抛物型或双曲型，以分析奇点附近的性质。
• 应用文献[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$。
• 发展映射的单值性在尖点奇点处为抛物型，导致度量呈现对数形式。
• 在假设发展映射定义良好的前提下，椭圆型与双曲型单值性会导致矛盾，因此被排除。
• 结果证实仅可能出现锥形与尖点奇点，并为两者提供了显式模型，完成了局部分类。