為何整體截面不夠：上同調的誕生
第四篇留給我們凝聚層、卡蒂埃除子，以及把扭轉資料打包在一個概形上的線叢。那個自然的問題——線叢 O(D) 有多少整體截面？——孤立地問竟是個錯的問法。把層 F 送到它的整體截面模 F(X) 的函子只是「左正合」的：由層的短正合序列 0 -> F' -> F -> F'' -> 0，你得到整體截面的正合序列 0 -> F'(X) -> F(X) -> F''(X)，但最後一個映射未必滿。一個 F'' 的截面在局部能提升到 F，整體卻可能提升不了。那個失敗是真實的幾何資訊，而層上同調正是記錄它的記帳工具。
這是最小的誠實圖像。在圓 S^1 上，用兩條弧 U 與 V 覆蓋它，其交集是兩小段。常值層 R 有大量局部截面——每條弧上一個實數——然而 U 與 V 上的局部常值函數，未必能以一種黏成帶指定跳躍的單一整體函數的方式在重疊上相容。黏合的障礙是一個實數，而那個數恰是 H^1(S^1, R) = R。零次的上同調計數「確實能黏」者（整體截面）；一次與更高次的上同調計數黏合的障礙，那些在局部存在卻無法整體拼合的截面之幽靈。
切赫上同調：一條你能親手跑的食譜
固定 X 的一個開覆蓋 U = {U_i} 與一個層 F。一個切赫 k-上鏈對每個 (k+1) 重重疊 U_{i_0...i_k} 指派其上的一個 F 截面；三重重疊上的資料正是捕捉黏合失敗者。切赫微分 d 把一個上鏈送到它在大一級重疊上的交錯限制差：對一個 0-上鏈 (s_i)（每個開集一個 i），(d s)_{ij} = s_j - s_i 於 U_i 交 U_j 上。一個 0-上鏈是上閉鏈（d s = 0）恰當諸 s_i 在重疊上相容——即它們黏成一個整體截面時。故零次的 H^0 = ker d = 整體截面 F(X)，自動回收了零次的故事。
戲在一次上演。一個 1-上鏈是雙重重疊上的一族截面 (t_ij)；它是上閉鏈，若在三重重疊上 t_ij - t_ik + t_jk = 0（你在第四篇已對線叢的轉移函數見過的上閉鏈條件）。它是上邊緣，若 t_ij = s_j - s_i 對某 0-上鏈 (s_i) 成立。於是 H^1(X, F) =（上閉鏈）/（上邊緣）：一個 1-上閉鏈度量局部相容的黏合資料，而它是上邊緣恰當該資料是假的——僅憑調整局部截面便已可達。H^1 中一個非零的類是道地的黏合資料，沒有任何誠實的局部截面選法能產生它。這正是為何同構意義下的線叢構成一個群 H^1(X, O*)：模掉上邊緣的轉移上閉鏈「就是」那個叢。
Cech complex for a cover U = { U_i } of X, with a sheaf F:
C^0 ---d---> C^1 ---d---> C^2 ---d---> ...
(s_i) (t_ij) (a_ijk)
d on C^0 : (d s)_ij = s_j - s_i on U_i n U_j
d on C^1 : (d t)_ijk = t_jk - t_ik + t_ij on U_i n U_j n U_k
H^k(X, F) = ker(d : C^k -> C^{k+1}) / im(d : C^{k-1} -> C^k)
H^0 = global sections F(X) (things that glue)
H^1 = gluing obstructions (local-but-not-global sections)
Key vanishing fact (this is WHY affine schemes are the good building blocks):
X affine, F quasi-coherent ==> H^k(X, F) = 0 for all k > 0.有限性、消滅與歐拉特徵
三個結構性事實使這套理論可用而非僅被定義。第一，仿射消滅定理：在仿射概形 Spec R 上每個凝聚層的高次上同調為零，因為那裡的擬凝聚層不過是一個 R-模，而模在單一個環上沒有黏合障礙。這正是第二篇所允諾的「良好局部模型」的精確意義——仿射是上同調平凡的。第二，格羅滕迪克消滅：在維度 n 的諾特概形上，對每個 k 大於 n 有 H^k(X, F) = 0。故在曲線上只有 H^0 與 H^1 留存；在曲面上只有 H^0、H^1、H^2。上同調活在由維度設下的有限窗格中。
第三，也是使黎曼-羅赫運轉的那一個：在域上的射影概形上，每個凝聚層 F 的上同調群都有限維，且在維度之上全為零。於是我們可作歐拉特徵 chi(F) = 對 i 求和 (-1)^i dim H^i(X, F)，一個有限維數的有限交錯和。歐拉特徵的奇蹟在於它的「穩定性」：由短正合序列 0 -> F' -> F -> F'' -> 0，上同調的長正合序列逼出 chi(F) = chi(F') + chi(F'')。當你形變一個層時，個別的上同調維數狂野地跳動，但它們的交錯和卻是剛硬而加性的。黎曼-羅赫究其本質，就是這個剛硬的數有一條乾淨的幾何公式這一陳述。
塞爾對偶：封住頂端的配對
歐拉特徵需要知道頂端的上同調 H^n，而那正是塞爾對偶掙得其地位之處。在維度 n、帶典範層 omega_X（餘切層的最高外冪，最高次微分形式之線叢）的光滑射影簇 X 上，塞爾對偶對任一局部自由的凝聚層 F 給出一個完美配對 H^i(X, F) x H^{n-i}(X, omega_X tensor F^對偶) -> H^n(X, omega_X) = k。換言之：F 的第 i 個上同調是 F 的 omega_X-扭轉對偶之第 (n-i) 個上同調的對偶向量空間。頂端的上同調化作倒讀的底端上同調。它是龐加萊對偶、以及你在複幾何那一級遇過的霍奇星對偶在代數幾何中的姊妹。
具體地，在虧格 g 的光滑射影曲線 C 上，典範層 omega_C 在 g = 1 時有一維的空間 H^0(C, omega_C)，而一般地 dim H^0(C, omega_C) = g——全純 1-形式恰有虧格那麼多。曲線上的塞爾對偶讀作 H^1(C, L) = H^0(C, omega_C tensor L^對偶)^對偶（線叢 L = O(D)）。這單一個等式把艱難、不穩定的群 H^1 轉換為另一個——往往更易駕馭的——線叢之截面空間的維數。當 deg L 夠大時，omega_C tensor L^對偶 有負次數，因而無截面，因而 H^1(C, L) = 0——這恰是上一個註記所要求的消滅，如今是推導而得而非假設。
黎曼-羅赫：先在曲線、再在曲面
現在來到回報。在虧格 g 的光滑射影曲線 C 上，對帶線叢 L = O(D) 的除子 D，黎曼-羅赫定理直接算出歐拉特徵：chi(O(D)) = dim H^0 - dim H^1 = deg D + 1 - g。右邊只知道 D 的「次數」（帶號的點數）與 C 的虧格 g——純拓樸與交數，無上同調。代入塞爾對偶，dim H^1(O(D)) = dim H^0(omega_C(-D)) = dim H^0(K - D)（用次數 deg K = 2g - 2 的典範除子 K），得到經典的雙邊形式：dim H^0(D) - dim H^0(K - D) = deg D + 1 - g。那就是黎曼與羅赫真正使用的形貌的黎曼-羅赫定理。
- 由 D = 0 讀出虧格：O(0) 是平凡叢，H^0 = 常值（維數 1），且由塞爾對偶 H^1 = H^0(omega_C)^對偶（維數 g）。黎曼-羅赫給出 chi = 1 - g，而確實 1 - g = deg 0 + 1 - g。公式在平凡叢處被逼自洽——信賴它之前一個好的健全性檢查。
- 免費獲得有效截面：若 deg D > 2g - 2，則 deg(K - D) < 0 故 H^0(K - D) = 0，且 dim H^0(D) = deg D + 1 - g 恰好成立。一個次數夠高的線叢有可預測地多的截面，無需任何分析。
- 磨利嵌入：在橢圓曲線（g = 1）上，deg D = 3 給出 dim H^0 = 3，而那三個截面把曲線嵌入為 CP^2 中的一條平面三次曲線——魏爾斯特拉斯方程作為黎曼-羅赫的後果重現。那個計數「就是」幾何。
提升到光滑射影曲面 S，同一副骨架長出一個帶曲率風味的修正項。對帶線叢 L = O(D) 的除子 D，曲面的黎曼-羅赫讀作 chi(O(D)) = (1/2) D.(D - K) + chi(O_S)，其中 D.(D - K) 是曲面上除子的交數（杯積的代數投影），K 是典範除子，而 chi(O_S) = 1 - q + p_g 是由 S 的非正則性 q 與幾何虧格 p_g 建成的固定不變量。其結構與曲線情形完全一致——一個二次交項加一個拓樸常數——而曲面上的塞爾對偶 H^2(O(D)) = H^0(K - D)^對偶，再次把那個彆扭的頂端群轉換為一個你有望掌控的截面空間。
在此誠實面對高度。兩種形式都是希策布魯赫-黎曼-羅赫定理 chi(F) = X 上積分 ch(F) . td(X) 的特例，並最終是塞爾-格羅滕迪克-黎曼-羅赫框架與阿蒂亞-辛格指標定理的特例——一個陳特徵乘以托德類的積分，我們能陳述它、闡明它的動機，卻絕對無法在一篇指南裡證明它；真正的證明是一門課。曲線公式是這個宏大陳述的 n = 1 實例，曲面公式是其 n = 2 實例。本級真正掙給你的（這裡僅陳述並闡明其動機，不予證明），是使那些陳述「具體有意義」的機器：以層攜帶資料、以切赫上同調計算它、以消滅定理簡化它、以塞爾對偶封住頂端、以歐拉特徵使整個交錯和剛硬。那是工作中的代數幾何學家的工具箱，而從這裡起它驅動從模問題到現代交數理論的一切。