凝聚層、除子與線叢

從環到模層

讀完第三篇，你已能把概形 X 看成由仿射片 Spec R 黏合而成的局部環化空間，每片帶著它的函數結構層 O_X。下一步讓代數幾何感覺像在會變動的基底上做線性代數：不再研究函數，而是研究住在 O_X 之上的模。一個 O_X-模層 F 對每個開集 U 指派一個 O_X(U)-模 F(U)，並與限制相容。在仿射卡 Spec R 上，最乾淨的這類層來自一個如假包換的 R-模 M，其作法恰恰映照 O_X 本身的造法——在每個素理想處取局部化。

把結果記作 Spec R 上的層 M-twiddle：它在素理想 p 處的莖是局部化 M_p，而它在基本開集 D(f) 上的截面是 M[1/f]。當 M = R 時你便取回 O_X。這個擬凝聚構造就是橋樑：概形上的擬凝聚層是指在每個仿射卡 Spec R 上看起來都像某個模 M 的 M-twiddle 的層。這個口號既誠實又好用——Spec R 上的擬凝聚層與 R-模是「同一筆資料」，是範疇的等價。於是整個交換代數在局部上都化為幾何。

凝聚意味著有限生成，且受控制

擬凝聚很慷慨；凝聚才是你真正拿來計算的那個有紀律的子類。在諾特概形上——也就是環沒有無窮上升理想鏈的安全場景——凝聚層是指在每張仿射卡上都是某個「有限生成」模 M 的 M-twiddle 的層。有限生成是有限維的類比：正是它讓秩、維數、乃至後來的歐拉示性數成為有限的數字，而非一廂情願。

兩個例子把這個想法釘牢。第一，結構層 O_X 是凝聚的——由常值 1 有限生成。第二，閉子概形 Z 的理想層 I_Z（它在 U 上的截面是在 Z 上取零的函數）是凝聚的，且嵌進一個短正合序列 0 -> I_Z -> O_X -> O_Z -> 0。讀這條序列：它說閉子概形恰是其消沒理想的餘核資料，正是你在簇上見過的坐標環商 R/I 的層版本。凝聚層在核、餘核與擴張下封閉，故這個範疇是阿貝爾範疇——同調代數的恰當居所。

除子：餘維一的幾何

現在暫且從代數切換到幾何。在一個漂亮的簇或概形上，外爾除子是不可約餘維一閉子概形的有限形式整係數組合 D = sum n_i Z_i——曲面上的曲線、曲線上的點、P^n 中的超曲面。一個有理函數 f 的除子按重數記錄它的零點與極點：div(f) = sum（f 沿 Z 的階）乘以 Z。這種函數的除子稱為主除子，而當兩個除子之差為主除子時，它們線性等價——D ~ D' 當且僅當 D - D' = div(f) 對某個 f 成立。這正是你在黎曼曲面上見過的零極點記帳的研究生升級版，如今在任何合理的概形上都合法。

外爾除子直觀，但它需要概形是正規的（這樣「沿 Z 的階」才有意義）。對概形友善的表親是卡蒂埃除子：資料在「局部上」由每個開集 U_alpha 上的單一有理函數 f_alpha 給出，在交疊處比值 f_alpha / f_beta 是可逆的正則函數。於是一個卡蒂埃除子是「局部上用一條方程式」割出餘維一軌跡的配方，各方程式相差一個單位即可。在光滑概形上外爾與卡蒂埃除子重合；在奇異概形上它們會真正分歧，而卡蒂埃是更規矩的概念，因為它僅靠結構層便能定義。

線叢、可逆層與皮卡群

統一就在這裡。卡蒂埃除子的轉移資料——交疊處的單位 f_alpha / f_beta——恰是一個秩一向量叢（即線叢）的上閉鏈。代數地說，線叢與可逆層是同一件事：一個局部自由、秩為一的凝聚層 L，意即每個點都有一個鄰域，在那裡 L 看起來就像 O_X 本身。「可逆」是字面的——存在一個層 L^{-1} 使得 L tensor L^{-1} = O_X，而張量積讓這些層構成一個群。

那個群就是皮卡群 Pic(X)。皮卡群在張量積下收集線叢的同構類，以 O_X 為單位元、L^{-1} 為逆元。這部字典扣上了一個圈：卡蒂埃除子模去線性等價，同構於 Pic(X)。一個除子 D 給出線叢 O_X(D)；D ~ D' 恰當 O_X(D) 與 O_X(D') 同構；而 O_X(D) 的整體截面恰是那些使 div(f) + D 有效（零極點受 D 約束）的有理函數 f。最後這個事實正是下一篇的引擎——數那些截面是一個上同調問題。

Cartier divisors / linear equiv.   <->   Pic(X) = { line bundles } / iso
        D  ~  D'   (D - D' principal)  <->  O_X(D) = O_X(D')
        H^0(X, O_X(D)) = { f rational : div(f) + D >= 0 } u {0}
        O_X(D) (x) O_X(D') = O_X(D + D'),   O_X(0) = O_X

除子／線叢／皮卡群字典一覽；(x) 是張量積，>= 0 表示有效。

一個範例：射影空間上的線叢

在 P^n 上把它具體化，這是統整整個學科的範例。P^n 上每個線叢都是 O(d) = O(1)^{tensor d}，對某個唯一的整數 d 而言，故 Pic(P^n) = Z。線叢 O(1) 是重言子叢的對偶；它的整體截面是坐標 x_0, ..., x_n 的齊次「線性」形式，一個 (n+1) 維空間。更一般地，當 d >= 0 時 H^0(P^n, O(d)) 是 d 次齊次多項式的空間，而當 d < 0 時它為「零」——一個負線叢根本沒有整體截面。

用標準卡 U_i = { x_i != 0 } 覆蓋 P^n，每片都是仿射 n-空間的一份副本——這些就是第二篇的仿射片。
在交疊 U_i ∩ U_j 上，O(d) 的轉移函數是 (x_i / x_j)^d，一個可逆正則函數——驗證它是上閉鏈，故局部片能黏合成一個如假包換的線叢。
辨認其對應的除子：O(d) = O_X(d H)，其中 H 是任一超平面 { 線性形式 = 0 }，故整數 d 字面上就在數超平面。
讀出截面：O(d) 的一個整體截面是一個 d 次超曲面（它的零點軌跡），重現「P^2 中一條 d 次曲線是 O(d) 的一個截面」——這幅古典圖像，如今具有叢論的形式。

留意剛才發生了什麼：幾何（d 次超曲面）、代數（d 次多項式）、與叢（O(d)）是同一物件的三個面，而層上同調 H^0 量度的是那個代數。第五篇恰好從這裡接手：高階上同調群的維數 h^i = dim H^i(X, L)、它們的交錯和歐拉示性數、把 H^i 與 H^{n-i} 配對的塞爾對偶、以及把這一切化為曲面上交數計數的黎曼-羅赫定理。凝聚層、除子與線叢是名詞；上同調是那個終於讓我們能夠去「數」的動詞。