第四篇把我們留在哪裡，以及我們還缺的那一步
到現在，德拉姆上同調 H^k(M) 已是熟面孔：閉的 k 形式對恰當形式取商（回想第二篇的閉形式與恰當形式），它是一個向量空間，其維數數的是某種 k 維的孔洞。我們也握有兩個錨點。龐加萊引理說：可縮的開集在正次數上的上同調平凡——在局部，閉永遠意味著恰當。而 H^0(M) 不過是在數連通分支，因為一個閉的 0 形式就是局部常值函數。誠實的缺口在於計算：沒有人想要徒手去搜尋所有形式所成的無窮維空間。我們需要一個辦法，把 M 拆成已知的小塊，再把答案組裝回來。
這套策略是幾何裡最古老的一招：切開再黏合。用兩個開集 U 與 V 覆蓋 M，而它們的上同調你早已知道——通常是因為各自可縮，或是若干可縮片段的不交聯集，於是龐加萊引理適用。微妙之處在於交疊 U 交 V，同一個形式在那裡有兩套必須吻合的描述。梅耶-菲托里斯序列正是那台記帳機器，把「我懂 U、懂 V、懂它們的交疊」轉換成「我懂 M」。它是微分形式版的排容原理，但升級成一條正合序列，於是它追蹤的不只是維數，還有那些孔洞是如何被黏起來的。
梅耶-菲托里斯序列：先黏合，再計數
固定一個開覆蓋 M = U 聯 V。把 M 上的形式分別限制到 U 與 V，再在交疊上比較這兩個限制，就建出一條形式複形的短正合序列。純粹的同調代數（蛇引理）會把任何複形的短正合序列變成上同調的長正合序列。這一條長序列一口氣貫穿每個次數：H^k(M) 夾在那些小塊的上同調與交疊的上同調之間，被一個連接映射永無止境地串接起來。「正合」意味著每個箭頭的像恰好是下一個箭頭的核——沒有鬆動、沒有洩漏——這正是當鄰項已知時，你能反解出某個未知項的緣由。
... -> H^(k-1)(U n V) --d*--> H^k(M) --(r_U, r_V)--> H^k(U) (+) H^k(V) --(s_U - s_V)--> H^k(U n V) --d*--> H^(k+1)(M) -> ... r = restrict a class on M to each piece s = restrict a class on a piece to the overlap, then subtract the two d* = the connecting map: take a class on the overlap, split it across U and V, apply d exactness at each spot: image(incoming arrow) = kernel(outgoing arrow)
連接映射 d* 是巧妙的關鍵，值得用一句話建立直覺。給定交疊上的一個類，你一般無法把它延拓到整個 M，但你可以用單位分解把它拆開：寫 1 = rho_U + rho_V 從屬於該覆蓋，把交疊上的形式乘以這些凸起函數，分別推到 U 與 V 上，再取兩者之差的外微分。各個片段本身不閉，但它們的差卻是整個 M 上一個貨真價實、且高一個次數的閉形式。次數的這一跳，正是交疊裡一個一維孔洞如何在 M 上現形為一個二維類的機制。
兩個算例：球面與環面
永遠先講例子。取 M = S^2，用兩塊開帽覆蓋它：U 比北半球略大、V 比南半球略大，兩者都可縮成一點，交疊 U 交 V 是一條赤道帶，可形變收縮到一個圓。由龐加萊引理，U 與 V 具有一點的上同調；那條帶子則具有 S^1 的上同調。把這些餵進長正合序列，唯一的未知就是 H^1(S^2) 與 H^2(S^2)。正合性逼出 H^1(S^2) = 0 且 H^2(S^2) = R：球面沒有一維孔洞（每條迴圈都圍出一塊帽），卻有一個二維空腔（它包住一塊體積）。H^2 那唯一的生成元，差一個尺度，就是面積形式。
- 選一個覆蓋，使各小塊與交疊都是你已理解的——通常是可縮開集（一點的上同調），以及收縮到球面或圓的交疊。
- 寫下梅耶-菲托里斯序列的相關片段，並把由龐加萊引理得到的 U、V 與 U 交 V 的已知上同調代入。
- 運用正合性（每個節點上像 = 核）以及正合序列的秩-零化度記帳，逐項解出未知的 H^k(M)。
- 用 H^0（數分支）核對，並在閉的可定向 n 維流形上用最高次數 H^n = R 核對；若某個貝蒂數算成負的，那就是你算錯了。
現在來看環面 T^2，這個真正物有所值的例子。最乾淨的走法是把環面切成兩段沿短向纏繞的開圓柱（管子），它們交疊在兩個不交的環帶上。把序列跑一遍得到 H^0 = R、H^1 = R^2、H^2 = R：一個分支、兩個獨立的一維孔洞、一個空腔。那兩個 H^1 生成元，正是量度繞環面兩個圓圈纏繞數的形式 d theta_1 與 d theta_2——和當初偵測圓上孔洞的同一招角形式手法，如今用在兩個獨立的方向上。把它和球面比一比，你就能從貝蒂數直接讀出拓樸：環面的 b_1 = 2，而球面的 b_1 = 0，這個 2 數的正是你縮不掉的基本迴圈數目。
德拉姆定理：形式知曉拓樸
這裡是整級的深層回報。我們從光滑形式——一個浸透了微積分的分析裝置——建出 H^k(M)。另有一個全然不同、純屬組合拓樸的裝置——奇異同調 H_k(M) 及其對偶奇異上同調——由單純形的連續映射建成，全程不含任何導數。德拉姆定理說：這兩個世界重合——德拉姆上同調與（實係數的）奇異上同調之間，存在一個自然的同構。橋梁就是積分。第三篇的斯托克斯定理保證，用「在閉鏈上對 omega 積分」把閉形式與閉鏈配對起來，只依賴形式的上同調類與閉鏈的同調類。
為何它物有所值，而不只是漂亮？因為它讓兩邊各以己長相互借力。形式靈活又可算：龐加萊引理與梅耶-菲托里斯序列讓你以紮實的計算得到 H^k(M)，於是你立刻能斷言關於迴圈與孔洞的事實，而那些是純拓樸的陳述。反過來，拓樸約束分析：知道貝蒂數，就確切告訴你一個流形必須承載多少個獨立的「閉而不恰當」形式，這直接餵入下一級的霍奇理論，在那裡每個上同調類都獲得一個唯一的調和代表元。
良覆蓋、切赫，與本級的下一個指向
雙集合的梅耶-菲托里斯序列，只是更大機器的特例。用許多開集覆蓋 M，並要求它們所有有限交集都可縮——一個良覆蓋（任何流形上都存在）。那麼整個上同調都可從「哪些集合彼此交疊」這純組合的模式中還原，整理成切赫上同調。切赫-德拉姆的對照證明兩者一致，並把計算 H^k(M) 化約成在一個有限組合物件——覆蓋的神經——上的記帳，而不再是無窮的形式空間。這和神經定理背後是同一圈想法，也是軟體實際求出拓樸不變量的計算核心。
誠實面對我們所展示之事的邊界。如上陳述的德拉姆定理只給實係數；它看不見撓元——克萊因瓶在其整係數同調裡藏了一個 Z/2，沒有任何形式偵測得到，因為實向量空間打從一開始就沒有撓元可言。形式計算的是貝蒂數，從來不是完整的整係數同調。同樣地，我們只是陳述、而非證明了那份自然性與切赫對照；德拉姆定理的真正證明是一本書的一章，我們給的是想法與零件，而非完整的驗證。手握梅耶-菲托里斯以計算、德拉姆以詮釋，下一級會加上一個度規，並追問每個類的最佳代表元——那就是霍奇理論。