我們在階梯上的位置
你帶著複幾何那條線來到本級:你已知道複流形是什麼——一份轉移映射為全純(而非僅光滑)的圖冊——也見過那個決定概複結構何時真正為複的障礙。黎曼曲面正是這一切中最小的有趣情形——一個複維為一的複流形。本級的承諾不尋常,值得直說:在這唯一的維度裡,拓樸、複分析與代數不再是各自分立的學問,而成為同一個對象的三張面孔。
開始前先誠實一句。這些是研究所層級的主題;我們假設你能流利操作單變數複分析(全純函數、洛朗級數、留數)、點集拓樸,以及前幾級的光滑與複流形語言。我們會說「流形」、「坐標卡」、「覆疊空間」、「虧格」,並倚靠第一冊與複幾何各篇,而非重新推導。凡某事實只是概覽性的斷言、其證明本身就是一整門課的——單值化定理便是首要例子——我們會誠實說明,並指向真正展開它的那一篇,而非假裝一段話就是一個證明。
黎曼曲面究竟是什麼,具體地說
把定義剝到骨架。黎曼曲面 X 是一個連通的豪斯多夫拓樸空間,帶有映入 C 之開子集的坐標卡圖冊,使得每個轉移映射——兩張重疊坐標卡之間的比對——皆為全純。這就是全部定義,而唯一把它和光滑曲面區分開的詞,是「全純」。由於每個全純映射尤其是光滑且保定向的,黎曼曲面便自動成為一個光滑、可定向的實二維曲面。複結構是疊加在那層熟悉的拓樸皮膚之上的額外剛性。
三個例子幾乎承載了全部直覺,故先以它們開場,而非以普遍性開場。最簡單的非平凡者是黎曼球面 C 併上唯一的無窮遠點,也記作 CP^1:兩張坐標卡,平面 C 與在坐標 w = 1/z 下無窮遠附近的平面,藉全純轉移 z -> 1/z 黏合。拓樸上它就是 2-維球面 S^2。其次是複環面 C / L,其中 L 是如 Z + Z*tau 的格:平面模掉平移,拓樸上是甜甜圈,也是橢圓曲線的家。第三,任何光滑射影代數曲線——CP^2 中某齊次多項式無奇異點的零集——都是緊黎曼曲面,這正是從分析直通代數幾何的橋樑。
亞純函數:零點、極點及其階數
在黎曼曲面上,「全純函數」是逐卡定義的:f 在 p 附近全純,意思是當它以某個以 p 為心的局部坐標 z 表出時,它是 z 的尋常全純函數。由於轉移映射全純,這項性質不依賴你選哪張坐標卡——這份與坐標卡無關,正是要求全純黏合的全部用意。亞純函數是同一構想,但允許受控的爆破:f 為亞純,若在每一點附近它除了可能的孤立極點外皆全純,亦即局部上是兩個全純函數之比。黎曼球面的亞純函數,恰恰就是有理函數 p(z)/q(z)——這個事實值得記牢。
讓全部記帳得以運作的局部不變量,是零點或極點的階。選一個局部坐標 z 使 z(p) = 0,在那裡把 f 展成洛朗級數。出現的最小冪次,記作 n,便是 f 在 p 的階:若 n > 0,函數以 n 階消沒(零點);若 n < 0,它以 |n| 階爆掉(極點);n = 0 則表示 f 在該處有限且非零。關鍵的檢查是:n 不依賴你所選的局部坐標——坐標變換 w = w(z) 在 p 全純且導數不為零,故它把首項乘上一個非零因子,而保持首項的冪次不動。階是繫於 (f, p) 的、道地且與坐標無關的整數。
Local coordinate z with z(p) = 0. f(z) = c_n z^n + c_(n+1) z^(n+1) + ... ( c_n nonzero ) n > 0 -> zero of order n n = 0 -> finite, nonzero value n < 0 -> pole of order |n| ord_p(f g) = ord_p(f) + ord_p(g) ord_p(f/g) = ord_p(f) - ord_p(g) The integer n is independent of the chosen coordinate z.
緊性改變一切:函數域
此處整體拓樸宣示了自己。在如平面 C 的非緊曲面上,全純函數浩如煙海——每個具像樣收斂半徑的冪級數皆是。但在緊黎曼曲面上,唯一處處全純的函數只有常數。理由是極大模原理的一行應用:|f| 在緊空間上連續,故取得極大值,而非常數的全純函數不可能有模的內部極大,於是 f 必為常數。這並非技術細節;它是逼使我們允許極點的結構性事實。在緊曲面上若想要任何非常數函數,它們就必須是亞純的。
如今把緊黎曼曲面 X 上所有亞純函數匯集起來。亞純函數的和、積與商皆為亞純(極點孤立且可控),故它們構成一個域——亞純函數域 M(X)。這單一的代數對象威力驚人:對球面而言它是 C(z),單變數有理函數域;對曲線而言它是代數幾何所研究的函數域;而一條深刻的定理斷言,X 可僅由 M(X) 一物復原至同構。換言之,曲面的解析幾何與其函數域的純代數,乃是等價的資料——這是本級「分析與代數融合」之承諾的第一個具體回報。
虧格:統御一切的單一整數
每個緊可定向曲面,拓樸上都是一個黏上若干個 g 把手的球面,而曲面分類定理斷言那個整數 g——虧格——是完全的拓樸不變量:g = 0 是球面,g = 1 是環面,g = 2 是雙洞甜甜圈,依此類推。它由歐拉示性數透過 chi = 2 - 2g 釘住,也由秩為 2g 的一階同調釘住。所以「有幾個洞」並非含糊之辭;它是一個精確、可計算的數。緊黎曼曲面身為緊可定向曲面,便有一個完全確定的虧格。
了不起之處在於,這個純拓樸的 g 掌控了分析。X 上整體全純 1-形式(全純微分)所成空間的維數,結果恰好等於 g——球面上為零、環面上為一維(即著名的 C/L 上的 dz)、一般情形為 g 維。虧格同樣設定了黎曼-羅赫定理中的門檻,那定理計數你能以指定極點構造出多少亞純函數;它也出現在黎曼-赫爾維茨公式裡,關聯由一個分歧映射連起的兩曲面之虧格。一個從洞讀出的整數,統御著曲面整套函數論。
為何拓樸竟如此緊密地支配分析?深層的答案是單值化定理,第四篇的高潮:每個單連通黎曼曲面恰是三者之一——球面 CP^1、平面 C,或單位圓盤——而三種虧格區間恰好對齊這三種幾何。虧格 0 是正曲率的球面,虧格 1 是平直的平面(環面即 C/L),虧格至少 2 則是雙曲的、以圓盤為模型。對其地位要誠實:單值化定理在此只陳述與動機說明,並未證明;它的證明是一整門課的內容,待我們抵達時也只會勾勒其輪廓。
為何這個十字路口要緊,以及接下來是什麼
退一步,看那三座塔的會合。拓樸上,緊黎曼曲面是一個 g 洞曲面;分析上,它是亞純函數的舞台,其零點與極點服從精確的階算術;代數上,它是一個域 M(X),等價地說是一條光滑射影代數曲線。本級其餘部分,就是這三種視角之間的字典。第二篇研究曲面之間的映射——分歧覆疊——以及追蹤虧格如何變化的黎曼-赫爾維茨公式。第三篇引入除子、典範類,以及虧格所掌控的核心計數結果——黎曼-羅赫定理。
兩則誠實的告誡,要帶著爬上階梯。其一,此處幾乎一切乾淨而有力的東西都需要緊性——極大模原理、全純微分維數的有限性、黎曼-羅赫——所以在套用某結果前,務必先檢查它是否假設曲面為緊。非緊理論(平面、圓盤、有穿孔的曲面)真實而重要,但服從不同的規則;別把緊的定理硬搬進非緊的場景。其二,符號與正規化的慣例因書而異——有些以 chi = 2 - 2g 定義虧格,有些對微分作不同正規化,典範類也可能帶著各式符號出現。挑定一本教科書,把它的慣例抄在封面內頁,並忠誠到底。
把這篇指南記在心裡有個乾淨的辦法:緊黎曼曲面是一個對象、三個名字——一個 g 洞拓樸曲面、一個亞純函數域、一條射影代數曲線——而那單一整數 g 是它們之間的樞紐。下游的一切,從第三篇的除子記帳到第五篇的阿貝爾-雅可比映射與雅可比簇,都是由那個數與那重三位一體展開出來的後果。把三個例子——球面、環面、光滑平面曲線——握在手中,一般理論便會感覺像有條理的常識,而非為抽象而抽象。