[论文解读] Metrics of constant positive curvature with conic singularities. A survey

Alexandre Erëmenko|arXiv (Cornell University)|Mar 24, 2021

Geometric Analysis and Curvature Flows参考文献 19被引用 4

一句话总结

本综述研究了在具有有限个锥形奇点的紧黎曼曲面上，常正曲率 1 的共形度量，重点通过发展映射和单值性群研究其分类与存在性。结果表明，对于具有角度 (1/2,1/2,1/2,3/2) 的四个奇点的球面，每个环面参数 τ 对应的此类度量至多存在一个，其存在性由 τ 的周期比的显式不等式所决定。

ABSTRACT

We consider conformal metrics of constant curvature 1 on a Riemann surface, with finitely many prescribed conic singularities and prescribed angles at these singularities. Especially interesting case which was studied by C. L. Chai, C. S Lin and C. L. Wang is described in some detail, with simplified proofs.

研究动机与目标

• 对具有指定锥形奇点及其角度的紧黎曼曲面上常曲率 1 的共形度量进行分类并理解其存在性。
• 解决球几何中非唯一性问题的开放难题，与非正曲率情形下已充分理解的情况形成对比。
• 为蔡、林与王所研究的球面上四个锥形奇点的情形提供简化证明与详细分析。
• 通过线性微分方程的单值性群与环面双重覆叠的几何，建立此类度量存在的判别准则。

提出的方法

• 使用发展映射 f: S\A → Ĉ（黎曼球面）作为具有 PSU(2) 单值性的多值全纯函数，其在奇点附近具有指定局部行为 f(z) ~ c(z−a_j)^{α_j}。
• 通过 ρ(z) = 2|f′(z)| / (1 + |f(z)|²) 重构度量，等价性由后复合 Möbius 变换定义。
• 将存在性问题约化为环面双重覆叠上勒梅方程的投影单值性的单位化问题。
• 通过勒梅方程 w′′ − (2℘(z) + λ)w = 0 及其单值性分析辅助参数问题，使用 Weierstrass 椭圆函数。
• 应用 Hermite 的解公式，涉及 σ 与 ζ 函数，推导出单值性群单位化的条件：ω_jζ(a) − η_ja 为纯虚数。
• 在 τ-平面（模参数）中导出显式不等式，刻画此类度量存在的区域。

实验结果

研究问题

• RQ1 对于给定的紧黎曼曲面及指定锥形奇点与角度，常曲率 1 度量的等价类有多少个？
• RQ2 奇点位置与角度满足何种条件时，可在球面上保证此类度量的存在性？
• RQ3 关联线性微分方程的单值性如何决定度量的存在性与唯一性？
• RQ4 在四个奇点角度为 (1/2,1/2,1/2,3/2) 的情形下，存在多少个度量？其如何依赖于环面参数 τ？
• RQ5 在 τ-平面中，存在单位化单值性的解的区域的几何与解析特征是什么？

主要发现

• 对于具有四个锥形奇点、角度为 (1/2,1/2,1/2,3/2) 的球面，每个环面参数 τ 对应的常曲率 1 度量至多存在一个等价类。
• 此类度量的存在性等价于勒梅方程的投影单值性为单位化，当且仅当涉及 ω_jζ(a) − η_ja 的两个复方程为纯虚数时成立。
• τ-平面中此类度量存在的区域由不等式 Im( (πi)/(e_j ω_1² + η_1 ω_1) − 2τ ) < 0（j = 1,2,3）刻画。
• 辅助参数 λ = ℘(a) 由线性方程 Aa + Bā + ζ(a) = 0 的解 a 唯一确定，该方程要么无解，要么有两个解 ±a。
• 平凡解 a = ω_j（j=1,2,3）不产生线性无关解，因此被排除在有效度量定义之外。
• 球面上的度量通过 2-叶覆叠提升为环面上的偶度量，且唯一偶解对应于所需的球面度量。