CCG 04-05:Riemann 映射、黎曼面与一致化

本页只解决一个问题

局部共形坐标如何拼成全局结构,标准域由什么决定?

本页是原长篇讲义的单概念版本。第一次阅读只追踪本页定义的对象;看见未掌握的前置符号时,先沿链接退回,不要跳过定义硬背结论。

开始前

8. Riemann 映射定理

若Ω⊊C\Omega\subsetneq\mathbb C 是非空单连通开集,则存在双全纯映射

f:Ω→D.f:\Omega\to\mathbb D.

若指定一点z0∈Ωz_0\in\Omega 满足

f(z0)=0,f′(z0)>0,f(z_0)=0, \qquad f'(z_0)>0,

则映射唯一。

8.1 它没有说什么

  • 不直接给出数值算法;
  • 不适用于整个复平面;
  • 不说明边界一定光滑延拓;
  • 不适用于多连通域的单位圆盘映射;
  • 不保证面积或长度畸变小。

多连通平面域需要圆域定理(Koebe uniformization):适当条件下可共形映到边界分支为圆的圆域。

9. 等温坐标

二维黎曼曲面局部存在坐标(x,y)(x,y),使

g=e2u(x,y)(dx2+dy2).g=e^{2u(x,y)}(dx^2+dy^2).

这相当于说任意二维度量局部都只差一个标量共形因子。证明可通过解 Beltrami 方程或调和坐标完成。

9.1 从一般度量得到 Beltrami 系数

一般二维度量

g=E,dx2+2F,dxdy+G,dy2g=E,dx^2+2F,dxdy+G,dy^2

可以唯一写成

g=ρ(z)∣dz+μ(z)dzˉ∣2,ρ>0,∣μ∣<1.g=\rho(z)|dz+\mu(z)d\bar z|^2, \qquad \rho>0,\quad|\mu|<1.

求解坐标变换的 Beltrami 方程,就能把μ\mu 消去,得到等温坐标。

9.2 等温坐标中的公式简化

若g=e2u∣dz∣2g=e^{2u}|dz|^2:

Δg=e−2uΔ0,\Delta_g=e^{-2u}\Delta_0,

K=−e−2uΔ0u.K=-e^{-2u}\Delta_0u.

Dirichlet 能量在二维共形变换下不变:若g~=e2ug\tilde g=e^{2u}g,则

∣df∣g~2dAg~=e−2u∣df∣g2e2udAg=∣df∣g2dAg.|df|_{\tilde g}^2dA_{\tilde g} =e^{-2u}|df|_g^2e^{2u}dA_g =|df|_g^2dA_g.

这是二维调和映射与共形几何特别契合的根本原因。

10. 共形图册与黎曼面

一个定向二维流形的图册{(Uα,zα)}\{(U_\alpha,z_\alpha)\} 若所有过渡函数

zβ∘zα−1z_\beta\circ z_\alpha^{-1}

都是全纯函数,则称为共形图册。互相兼容的最大共形图册定义共形结构;带共形结构的曲面就是黎曼面。

二维中存在三类等价结构:

共形结构⟺复结构⟺黎曼度量的共形等价类\boxed{ \text{共形结构} \Longleftrightarrow \text{复结构} \Longleftrightarrow \text{黎曼度量的共形等价类} }

这里“度量共形等价类”指

[g]={e2ug:u∈C∞(M)}.[g]=\{e^{2u}g:u\in C^\infty(M)\}.

11. 一致化定理

每个单连通黎曼面共形等价于以下三者之一:

  1. Riemann 球面C^\widehat{\mathbb C};
  2. 复平面C\mathbb C;
  3. 单位圆盘D\mathbb D。

等价地,任意黎曼曲面的通用覆盖具有常高斯曲率度量:

类型标准空间曲率紧致可定向曲面
球面型S2S^2+1+1g=0g=0
欧氏型C\mathbb C00g=1g=1
双曲型D\mathbb D−1-1g≥2g\ge2

为何由亏格决定,可由 Gauss–Bonnet 看出:常曲率KK 满足

KArea⁡(M)=2πχ(M)=4π(1−g).K\operatorname{Area}(M)=2\pi\chi(M)=4\pi(1-g).

因此g=0,1,≥2g=0,1,\ge2 分别对应正、零、负曲率符号。

11.1 唯一性要模掉自同构

一致化映射通常不是唯一的:球面有 Möbius 自同构,圆盘也有三实维自同构群。数值计算必须固定足够多的锚点或归一化条件。

读完必须能回答

  1. 不看公式,用自己的话回答开头的核心问题。
  2. 指出本页最重要公式中每个符号的类型:标量、向量、矩阵、映射还是集合。
  3. 找出定理成立所需的假设,并举一个删除某条假设后可能失败的例子。
  4. 对最小例子手算一遍;若本页含代码,再比较手算与程序输出。

前后课程

上一课:全纯函数与基本共形映射 | 下一课:球面立体投影