從計數函數到曲面分類
本篇之前的三篇都在一個「固定」的黎曼曲面 X 上工作：第一篇建造了 X 及其亞純函數域，第二篇透過分歧覆疊與黎曼-赫爾維茨公式理解曲面間的映射，第三篇則以黎曼-羅赫定理計數一個除子類容許多少函數與微分。這一切都把曲面當成已給的。單值化定理把問題裡外翻轉，問道：到底「存在」哪些黎曼曲面，在雙全純等價意義下？答案乾淨得令人吃驚，並且它把先前的一切都整頓了起來。
這就是精確的陳述，請注意它有多短。每個單連通的黎曼曲面都雙全純於三個模型曲面之一，且恰為其一：黎曼球面 CP^1（也寫成 S^2 或 C 並上無窮遠點）、複平面 C，或開單位圓盤 D = { z : |z| < 1 }。整個定理就是這樣。三個曲面。沒有第四種情形、沒有連續族、沒有奇異的例子——這種剛性在高維毫無類比，那裡單連通複流形多得野蠻。對「所有」黎曼曲面的分類將藉由過渡到萬有覆疊得出，這正是下一節的內容。
三個模型，三種幾何
在使用這條定理之前，先把這三個模型當作幾何對象來認識，因為每個都帶著一個常曲率的「自然」幾何。球面 CP^1 是緊的，帶常正曲率 K = +1 的度量——圓球幾何，其中「直線」是大圓，而三角形以角盈鼓起。平面 C 是平坦情形，K = 0，尋常的歐氏幾何。圓盤 D 帶龐加萊圓盤度量 ds^2 = 4 |dz|^2 / (1 - |z|^2)^2，常負曲率 K = -1——這就是雙曲幾何，其中過一條直線外的一點有無窮多條平行線，而三角形帶角虧。所以三分法「球面／平面／圓盤」字面上就是三分法「正／零／負曲率」。
這三者作為黎曼曲面是道地地相異的，其理由值得記在心裡，因為它們會反覆出現。CP^1 是三者中唯一緊的，故它永不可能雙全純於 C 或 D。而 C 「不」雙全純於 D——這恰是劉維爾定理的喬裝。一個雙全純 C -> D 會是一個有界整函數，因而是常數，所以沒有這樣的映射存在。單單這一個觀察，即平面與圓盤相異，便是整套雙曲理論的分析種子：「大多數」黎曼曲面之所以將以圓盤為模型，恰恰因為有界性是如此強的約束。
THE THREE SIMPLY CONNECTED MODELS
model | symbol | compact? | curvature | geometry | metric ds^2
-----------+--------+----------+-----------+---------------+---------------------------
sphere | CP^1 | yes | K = +1 | spherical | 4|dz|^2 / (1 + |z|^2)^2
plane | C | no | K = 0 | Euclidean | |dz|^2
disk | D | no | K = -1 | hyperbolic | 4|dz|^2 / (1 - |z|^2)^2
Why no two are biholomorphic:
CP^1 compact, C and D are not -> CP^1 stands alone
C -> D bounded entire = constant -> C and D differ (Liouville)對覆疊變換取商：每個曲面，皆獲分類
現在來收割。取「任何」連通的黎曼曲面 X。它的萬有覆疊 X-tilde 仍是一個黎曼曲面（複結構沿覆疊映射上提），且它是單連通的——故由單值化，X-tilde 是 CP^1、C 或 D 之一，無一例外。於是 X 本身還原為商 X = X-tilde / Gamma，其中 Gamma 是基本群 pi_1(X)，藉覆疊變換作用於 X-tilde 上。關鍵在於這些覆疊變換是雙全純的自同構，自由且真正不連續地作用，故它們構成模型的自同構群的一個離散子群。為黎曼曲面分類，便化為在三個固定空間上為這些離散群作用分類。
每個模型此刻把它的商利落地分類。若 X-tilde = CP^1，唯一自由作用的群是平凡群（球面的每個自同構作為一個默比烏斯變換都有不動點），所以以球面為萬有覆疊的「唯一」曲面就是 CP^1 本身。若 X-tilde = C，自由作用由平移格給出——平凡群給 C，單一平移給柱面 C*，秩 2 的格給環面。若 X-tilde = D，你得到其餘的一切：所有更高虧格的緊曲面與大多數非緊曲面。哪個是哪個的算術直接來自虧格，並與你自第一篇起一直攜帶的歐拉示性數 chi = 2 - 2g 完美吻合。
- 虧格 0（球面）：chi = 2 > 0，正。唯一緊的虧格 0 曲面是 CP^1，萬有覆疊為 CP^1，群為平凡。曲率為正；這是球面類。
- 虧格 1（環面）：chi = 0，平坦。萬有覆疊為 C，群為秩 2 的格 Lambda，故每個環面都是 C / Lambda——正是第三篇的橢圓曲線，帶平坦度量與一個處處非零的全純微分 dz。這是歐氏類，且是其唯一者。
- 虧格 g >= 2：chi = 2 - 2g < 0，負。萬有覆疊為圓盤 D，pi_1 是一個雙曲等距的離散群（富克斯群），故曲面為 D / Gamma，帶雙曲度量。這是「一般」情形——「幾乎每個」緊黎曼曲面都是雙曲的。
兩個演算的例子：環面與一個虧格 2 曲面
把環面具體化，因為它是你應當總是伸手去拿的例子。在 C 中固定一個格 Lambda = Z + Z*tau，其中 tau 的虛部為正，並令 X = C / Lambda。覆疊映射 C -> X 即取商，覆疊群是 Lambda 以 z -> z + lambda 作用，而平坦度量 |dz|^2 下降是因為平移是等距。微分 dz 下降為一個處處無零點的全域全純 1-形式——印證了典範類是平凡的、虧格是 1，正是第三篇黎曼-羅赫的記帳為橢圓曲線所預測者。兩個環面 C / Lambda 與 C / Lambda' 雙全純，恰當它們的 tau 值在模群作用下相等，這是第五篇等待著的模空間向你吹來的第一聲耳語。
現在來個虧格 2 曲面，由圓盤接手。它在拓樸上是兩個環面沿一個洞黏合，一個連通和，chi = 2 - 4 = -2 < 0，故它的萬有覆疊必為 D。你可以親手把它建成龐加萊圓盤裡的一個雙曲八邊形，八條邊按 a b a-inverse b-inverse c d c-inverse d-inverse 的型樣黏合；八個角會聚到一點，而角度必須加總為 2 pi。在歐氏幾何裡一個正八邊形的角為 135 度，八個合計 1080 度，遠遠太多——但在雙曲幾何裡角度隨八邊形長大而「縮小」，故有一個唯一的尺寸使其角恰好加總為 360 度。黏合便得到一個常曲率 K = -1 的光滑曲面。覆疊群 Gamma 由實現 a, b, c, d 的四個雙曲等距生成。
一條定理的兩副面孔，與一個誠實的告誡
知道單值化穿著兩套等價的戲服是划算的。「複分析」版本就是我們陳述的那個：每個單連通黎曼曲面雙全純於 CP^1、C 或 D。「黎曼」版本則說：每個黎曼曲面在其共形類中容許一個常曲率（+1、0 或 -1）的完備度量，在負曲率情形下差一個尺度後唯一。這是同一條定理透過兩本字典來讀，因為在一個複維度裡，度量的一個共形類與一個複結構是「同一份資料」——曲面的一個共形映射恰恰就是一個全純（或反全純）的映射。這個巧合是二維所特有的，也是這門學問之所以美得不講道理的秘密緣由。
抵抗兩個誘人的誇大。其一，單值化在平坦與球面情形下「並不」給出唯一的度量——環面有一整族平坦度量（不同的 tau），而 CP^1 只在差默比烏斯自同構意義下才有它的圓度量；唯有雙曲的 g >= 2 情形度量才被釘到差一個尺度。其二，這是「一個」複維度的現象。對更高維的曲面沒有單值化定理；單連通的緊複流形構成一座未馴服的動物園，而在它們上頭尋找一個典範度量，正是上一級凱勒-愛因斯坦與卡拉比-丘幾何那片艱難的開放疆域。這奇蹟是維度一的局部現象——請誠實地說它無法向上擴展。
退一步看你如今掌握了什麼。每個黎曼曲面都是三個明確空間之一被一個離散群所取的商，其幾何由它的虧格透過 chi = 2 - 2g 的正負號所決定。緊者分裂為：虧格 0 是球面，虧格 1 是平坦環面（橢圓曲線），虧格 g >= 2 是雙曲曲面——而最後這個一般類，正是第五篇的阿貝爾-雅可比映射、雅可比簇與曲線模空間將居住之處。單值化是整個本級的樞紐：黎曼-羅赫在一個固定曲面上計數，而現在你精確地知道有哪些曲面可供計數。