除子：零點與極點的記帳法
本級第一篇給了我們一個虧格為 g 的緊黎曼曲面 X，並教我們用亞純函數 f 在每點 p 的階 ord_p(f) 來讀它——在零點為正、在極點為負、其餘為零。我們在那裡證得的大事實是：在緊曲面上，非常數的 f 計重數後，零點與極點一樣多。把這一切局部資料一次記下的自然辦法，就是除子：點的有限形式整數組合 D = sum n_p [p]，其中 n_p 是整數且只有有限多個非零。可以把除子想成一本帳簿，給每點配一個階，而除有限多個點外皆為零。
由函數造出的兩種除子最為要緊。任何非零亞純函數 f 都有一個主除子 div(f) = sum_p ord_p(f) [p]，記下它所有零點（含重數）減去所有極點。第一篇的緊曲面定理現在讀來乾淨俐落：除子的次數 deg(D) = sum n_p 滿足對每個非常數的 f 皆有 deg(div(f)) = 0。所以主除子永遠次數為零——這一句話正是「零點等於極點」的全部內容。我們也給除子排序：當每個係數 n_p >= 0 時記 D >= 0（有效除子），而 D' - D >= 0 時記 D' >= D。
現在來到核心對象。對除子 D 配上一個向量空間：極點受 D 限制的亞純函數所成的空間，記為 L(D) = { f : div(f) + D >= 0 }，並連同零函數。把這個不等式在點 p 拆開來看：若 n_p > 0，函數在該處「被允許」有階數至多 n_p 的極點；若 n_p < 0，函數「被要求」在該處至少零到 |n_p| 階；若 n_p = 0，函數須在 p 處全純。所以 D 就是一張通行證——它在係數為正處核發極點，在係數為負處要求零點。這個有限維複向量空間的維數記為 l(D) = dim L(D)，而計算 l(D) 正是黎曼-羅赫所回答的問題。
線性等價與次數不變量
兩個除子 D 與 D' 稱為線性等價，記為 D ~ D'，當它們的差是主除子：對某亞純函數 f 有 D - D' = div(f)。這是自然的等價關係，因為它本質上不改變 L(D)——乘上那個 f 給出向量空間的同構 L(D) -> L(D')，故 l(D) = l(D')。又因主除子次數為零，線性等價的除子永遠共享同一次數。所以次數是除子類的第一個不變量，而 l(D) 是第二個；黎曼-羅赫正是兩者之間的橋。
幾個小推論可磨利直覺。若 deg(D) < 0，則 L(D) = {0}，故 l(D) = 0：因為 L(D) 中一個非零的 f 會給出 div(f) + D >= 0，從而 deg(div(f) + D) = deg(D) >= 0，矛盾。另一端，在虧格為 0 的曲面——黎曼球面 CP^1——上，每個次數 d >= 0 的除子都有 l(D) = d + 1，因為 L(d[infinity]) 由 1, z, z^2, ..., z^d 張成，即次數至多 d 的多項式。這條俐落的公式 l(D) = deg(D) + 1 是黎曼-羅赫的虧格-0 面貌；對更高的虧格會冒出一個修正項，替它命名正是下一節的工作。
全純微分與典範類
X 上的亞純對象不只有函數；還有亞純 1-形式。在局部座標 z 下這樣的形式形如 omega = h(z) dz，h 為亞純，而關鍵的查驗是：在座標變換 w = w(z) 下階數的變換正確——因為 dz = (dz/dw) dw，1-形式的階 ord_p(omega) 與座標無關地良好定義。所以一個亞純 1-形式 omega 有它自己的除子 div(omega) = sum_p ord_p(omega) [p]。全純微分是無極點者，div(omega) >= 0；在緊曲面上，這些形式所成的空間維數恰為 g，即虧格——這是第一篇的一個乾淨事實，也是虧格的解析化身。
以下是美麗的塌縮。任兩個非零亞純 1-形式相差一個亞純函數：omega' = f omega，故 div(omega') = div(f) + div(omega)，即 div(omega') ~ div(omega)。因此一切亞純 1-形式的除子都線性等價，而這唯一的線性等價類就是典範類，記為 K。它是曲面上最重要的除子類，且是內蘊的——只依賴 X，不依賴任何形式的選取。它的次數由第一篇的虧格故事所決定：deg(K) = 2g - 2。在球面（g = 0）上這是 -2，與 div(dz) = -2[infinity] 相符；在環面（g = 1）上是 0，與 C/Lambda 上處處不為零、處處無極點的形式 dz 相符。
為何要把目光投向 K？因為它暗中編碼了全純微分，而黎曼-羅赫將用它作為虧格-0 所欠缺的那個精確修正項。先注意 l(K) = g：L(K) 中一個函數 f 意味著對固定參考形式 omega 有 div(f) + div(omega) >= 0，即 f omega 是全純微分，所以 L(K) 同構於 g 維的全純微分空間。所以典範類就是那個其線性系「即是」全純微分的除子。請把兩個數一併記著——deg(K) = 2g - 2 與 l(K) = g——因為它們正是釘住整條定理的兩個邊界值。
黎曼-羅赫定理本身
我們現在可以陳述這齣戲的主角。對虧格為 g 的緊黎曼曲面 X 上任一除子 D，黎曼-羅赫定理說 l(D) - l(K - D) = deg(D) - g + 1。把左邊讀作「D 所允許的函數，被 K - D 所允許的微分修正」；把右邊讀作「素樸的計數 = 次數，減去虧格罰項，再加一」。l(K - D) 這一項是球面所不需要的修正，且本質上是對偶的：由上面的典範類恆等式，K - D 度量的是除子壓過 -D 的亞純 1-形式，即沿 D 帶有指定零點的全純微分。所以黎曼-羅赫在函數的計數與微分的計數之間取得平衡。
RIEMANN-ROCH l(D) - l(K - D) = deg(D) - g + 1
Two built-in sanity checks (just plug in):
D = 0 : l(0) - l(K) = 0 - g + 1
1 - g = 1 - g (TRUE, since l(0)=1, l(K)=g)
D = K : l(K) - l(0) = deg(K) - g + 1
g - 1 = (2g-2) - g + 1 = g - 1 (TRUE)
Large-degree regime: if deg(D) > 2g - 2 then deg(K - D) < 0, so
l(K - D) = 0 and l(D) = deg(D) - g + 1 exactly.關於如何讀這個陳述，有兩點誠實話。其一，這個方程式是精確的恆等式，但它本身不會直接交給你 l(D)——它把 l(D) 以那個常屬未知的 l(K - D) 表出。它的威力在某一項被逼為零的情形中兌現：當 deg(D) < 0 得 l(D) = 0，而當 deg(D) > 2g - 2 得 l(K - D) = 0，從而直接得 l(D) = deg(D) - g + 1。那神祕的中段 0 <= deg(D) <= 2g - 2 正是特定曲面的幾何所棲身之處。其二，修正項 l(K - D) 並非權宜的補丁；經塞爾對偶的現代讀法把它認同為一個上同調群，l(K - D) = dim H^1(X, O(D))，這正是該定理之所以是等式而非不等式的結構性理由。
兌現它：一個算給你看的例子
讓我們在最著名的高虧格例子上開動這部機器：橢圓曲線，即虧格-1 的環面 X = C/Lambda。這裡 g = 1，故 2g - 2 = 0 且 K ~ 0（形式 dz 全純且處處不為零）。取 D = n[O]，O 為基點、n 為正整數。由於 deg(D) = n > 0 = 2g - 2，大次數規則在 n >= 1 的那一刻起便適用，給出 l(n[O]) = n - g + 1 = n。所以在 O 處有階數至多 1 的極點的函數空間是 1 維的（只有常數——一個次數 1 的映射會逼使虧格為 0），允許二階極點的空間是 2 維的，允許三階極點的空間是 3 維的，依此類推。這些跳躍正是魏爾斯特拉斯函數的結構：1 與魏爾斯特拉斯 p-函數給出 L(2[O])，再添 p' 給出 L(3[O])。
- 固定資料：虧格為 g 的緊曲面 X、一個除子 D，以及次數 deg(K) = 2g - 2 的典範類 K。算出 deg(D) = 係數之和。
- 把次數對照門檻。若 deg(D) < 0，斷定 l(D) = 0 並停。若 deg(D) > 2g - 2，斷定 l(K - D) = 0，故直接得 l(D) = deg(D) - g + 1。
- 若 deg(D) 落在中段 0 <= deg(D) <= 2g - 2，僅憑次數無法收尾；要親手算出 l(K - D)（常藉沿 D 消沒的全純微分），再代入 l(D) = deg(D) - g + 1 + l(K - D)。
- 把答案做幾何詮釋：l(D) - 1 是線性系 |D| 的維數，恰是 D 所附映射 X -> CP^N 的射影空間維數——這正是通往嵌入的門。