從楔積走向一個微分算子
在上一篇裡，你組建了外代數，並學會用楔積把形式相乘，造出一個微分 k 形式 omega：它吞下 k 個切向量，反對稱地吐出一個數。那是在單一點上的代數。現在我們讓點動起來。外微分 d 就是把一個 k 形式微分成 (k+1) 形式 d omega 的那一個算子，而奇蹟在於：它無需度量、無需聯絡、無需座標就能良好定義——只要 M 的光滑結構。它是整個幾何裡最不依賴座標的微分。
從你早已熟悉的地方出發：一個 0 形式就是光滑函數 f。它的外微分正是那個熟悉的微分 d f = (partial f / partial x^i) dx^i，這個 1 形式作用在向量 X 上的值，就是方向導數 X(f)。往上爬，把一般的 k 形式以座標寫成 omega = a_I dx^I（對遞增的多重指標 I 求和），你便對係數微分再作楔積：d omega = (d a_I) ^ dx^I。所以 d 只作用在唯一還不是常形式的那部分——係數函數——而楔積把次數加一。這一條規則就能算出一切。
把 d 唯一釘住的四條公理
你不該背那條座標公式；要記住的是完整刻畫 d 的四條性質。(1) 線性：d 是 R 線性的。(2) 對函數而言，d f 就是普通的微分。(3) 分次的萊布尼茲律：當 alpha 是 p 形式時，d(alpha ^ beta) = (d alpha) ^ beta + (-1)^p alpha ^ (d beta)——那個符號 (-1)^p 是 d 滑過 p 個 1 形式所付出的代價，因為每一個都反交換。(4) 重頭戲：d^2 = 0，連用兩次 d 得零。任何滿足這些性質的算子，都被迫成為外微分；上面那條座標公式只是這組性質的唯一解。
d^2 = 0 從何而來？把它追溯到你自多變數微積分以來就熟知的一個事實：混合偏導可交換。對函數 f 而言，d f = (partial_i f) dx^i，再作一次 d 得 d(d f) = (partial_j partial_i f) dx^j ^ dx^i。係數 partial_j partial_i f 對 i 與 j 對稱（克萊羅定理），但 dx^j ^ dx^i 反對稱——對稱之物對反對稱之物求和，逐項相消為零。所以混合偏導相等，正是用形式語言寫出的 d^2 = 0。d^2 = 0 在更深處的每一次現身，都回溯到這個相消。
d 暗中就是梯度、旋度與散度
在 R^3 上，外微分根本不是什麼新運算——它是三個向量微積分算子披著同一件外衣。0 形式是函數 f，而 d f 恰好打包了梯度。1 形式對應一個向量場，它的 d 打包了旋度。2 形式同樣對應一個向量場，它的 d 打包了散度（乘上體積形式）。整座塔 grad、curl、div，就是單一序列 f -> d f -> d(d f) -> ...，沿著 0、1、2、3 次橫向讀過去。
degree: 0 --d--> 1 --d--> 2 --d--> 3 object: f A (1-form) B (2-form) C (3-form) d is: grad curl div d^2 = 0: curl(grad f) = 0 and div(curl A) = 0
現在用這本字典來讀 d^2 = 0，它就不再抽象：curl(grad f) = 0 與 div(curl A) = 0，正是那兩條恆等式 d(d f) = 0 與 d(d A) = 0。你在向量微積分裡是逐分量硬磨才證出它們的；在這裡，它們從關於形式的一個結構性事實裡掉出來，整齊劃一，且在任意維度皆然。這是這套形式體系的第一份真正紅利——三個算子、兩條招牌恆等式，以及對 R^3 那份彆扭的依賴，全都坍縮成單一個 d，而它能活在任意維度的任意流形上。
閉與恰當：化為上同調的那道缺口
兩個詞統御一切。一個形式 omega 若 d omega = 0 就稱為閉的，若 omega = d eta（某個低一次的形式 eta）就稱為恰當的。因為 d^2 = 0，每個恰當形式自動是閉的：若 omega = d eta 則 d omega = d(d eta) = 0。深刻的問題反向而行——是否每個閉形式都恰當？這些就是閉形式與恰當形式，而「閉」與「恰當」之間的缺口並非缺陷；它是資訊。它將成為德拉姆上同調，也就是商 H^k(M) = (閉 k 形式) / (恰當 k 形式)，而這個商度量著 M 的孔洞。
最乾淨的例子活在去掉原點的平面 R^2 上。考慮角形式 omega = (x dy - y dx)/(x^2 + y^2)。直接計算得 d omega = 0，所以它是閉的。但它不恰當：若恰當，它得是某個整體角函數 theta 的 d(theta)，然而當你繞原點一圈時 theta 會跳 2*pi，所以不存在單值的 theta。把 omega 沿著繞洞的一圈積分一次，你得到 2*pi 而非 0——而恰當形式沿任何環路的積分恆為 0。這個頑固的 2*pi 就是平面上的那個洞，被一個閉而不恰當的形式偵測到了。
龐加萊引理：在局部，閉確實意味著恰當
角形式之所以不恰當，純粹因為平面有個洞。去掉洞，障礙便消失。龐加萊引理俐落地陳述了這點：在一個星形（或更一般地、光滑可縮）的區域上，每個正次數的閉形式都是恰當的。所以在球、立方體或整個 R^n 上，對 k >= 1 而言閉與恰當重合，這類區域的 H^k 為零。在局部沒有洞，所以在局部每個閉形式都是某物的 d——恰當性的失效，是純粹整體的、拓樸的現象。
這個證明是構造性的，值得看一看大綱，因為它真的把反導數 eta 交到你手上。在星形區域上，人們建造一個同倫算子 K，一個把次數降一的映射，滿足恆等式 d K + K d = identity（作用在正次數的形式上）。把這個恆等式讀在閉形式 omega 上，其中 d omega = 0：第二項消失，留下 omega = d(K omega)。所以 eta = K omega 就是你明確的原函數，它是把 omega 沿著從星心發出的直線徑向積分而製造出來的。算子 K 由沿收縮同倫拉回、再把徑向變數積掉而建成。
兩點誠實的提醒。其一，「星形」是真實的假設，不是裝飾：如角形式所證，此引理在去掉原點的平面上為假，所以在未檢查定義域沒有洞之前，切勿引用它。其二，同一條同倫恆等式 d K + K d = identity，會以不同的 K，重新現身為李導數的卡坦魔術公式的核心——「某物的 d 加上某物作用於 d 等於恆等（或李導數）」這個代數形狀，是個反覆出現的主題，當形式開始流動時你會再遇到它。龐加萊引理是它最早、也最友善的一個實例。