從平坦的拉普拉斯算子到彎曲的拉普拉斯算子
拉普拉斯算子已在三篇裡光天化日地藏身。第二篇中極小曲面方程線性化為 u_xx + u_yy = 0；第三篇中映入 R 的調和映射不過是被拉普拉斯算子消去的函數，是狄利克雷能量的臨界點。如今我們把那個算子推到舞台中央，問那個顯然的問題：在彎曲流形上，拉普拉斯算子究竟「是什麼」？平坦的答案 Delta f = sum_i d^2 f / dx_i^2，是寫在一般流形所沒有的笛卡兒坐標裡的。我們需要一個只用度量 g 的定義，而最乾淨的路線是變分的——正是組織了整個本級的那一招。
從函數的狄利克雷能量出發，E(f) = (1/2) integral over M of |grad f|^2 dV，其中 grad f 是度量梯度，dV 是黎曼體積形式。對 f 取一階變分，正如第一篇對曲線所取：求導，並用 M 上的散度定理分部積分，臨界點條件便冒出來成為 div(grad f) = 0。算子 div(grad)「就是」拉普拉斯-貝爾特拉米算子，是流形的內蘊拉普拉斯算子。所以一個函數調和，恰當它是狄利克雷能量的臨界點——這正是從能量造出測地線、從面積造出極小曲面的同一套歐拉-拉格朗日邏輯，如今從拉普拉斯算子造出調和函數。
在局部坐標裡寫開來，無坐標的 div(grad) 變成 Delta f = (1/sqrt(det g)) d_i ( sqrt(det g) g^{ij} d_j f )——度量進入了兩次，一次在縮並導數的逆度量 g^{ij}，一次在使這個散度與體積形式 dV 相匹配的體積因子 sqrt(det g)。把度量取成單位矩陣，sqrt(det g) 因子皆為 1，便回復平坦的 Delta f = sum_i d^2 f / dx_i^2；所以彎曲的拉普拉斯算子，就是把度量穿進每一個位置的平坦拉普拉斯算子。其教訓是：這裡毫無玄妙——Delta 完全像梯度與散度那樣，由 g 機械地造出。
把拉普拉斯算子提升到形式：餘微分與霍奇星算子
函數是 0-形式，而外微分 d 把一個k-形式變成 (k+1)-形式。要在形式上建拉普拉斯算子，我們需要一個朝「另一個」方向走、把次數降一的夥伴——d 的伴隨。度量供應了它。有了 g，你可以在 k-形式上定義一個內積（把逐點內積對 dV 積分），於是餘微分 delta 不過是 d 關於那個內積的形式伴隨：在閉流形上 integral of <d alpha, beta> = integral of <alpha, delta beta>。d 把次數抬升 k -> k+1，delta 則把它降下 k -> k-1。整個想法就在這裡；其餘一切不過是 delta 如何計算的帳目。
把 delta 寫具體的辦法，要用到霍奇星算子，這是本篇唯一需要的新線性代數零件。在一個有向 n-流形上，度量與定向為每個 k-形式 alpha 挑出一個互補的 (n-k)-形式 *alpha（讀作「星 alpha」）——即體積形式中扣掉 alpha 後「剩下」的部分。在 R^3 上，星算子是古典向量分析背後的小裝置：它把 1-形式 dx 等同於 2-形式 dy ^ dz，這正是旋度與外積彷彿活在同一個世界裡的緣由。有了它，delta 不過是 d 被星算子共軛而成（差一個依 k 與 n 而定的符號），而這唯一的算子 delta 把梯度、散度與旋度的伴隨統合為形式上一個乾淨的對象。
現在在 k-形式上定義霍奇拉普拉斯算子為 Delta = d delta + delta d。這兩項是被逼出來的：單憑 d 不可能是拉普拉斯算子，因為 d^2 = 0 使它冪零，而你需要一個二階算子。對稱組合 d delta + delta d 是二階、自伴且非負的——恰是你想要的結構。在 0-形式（函數）上 delta = 0，所以 Delta f = delta d f 化約成上一節的拉普拉斯-貝爾特拉米算子，且內建了幾何學家的符號。所以霍奇拉普拉斯算子並非一個與拉普拉斯-貝爾特拉米算子相競爭的新算子；它就是「同一個」算子，終於被延伸到能作用於每個次數的形式上。
調和形式與霍奇分解
若 Delta omega = 0，則 k-形式 omega 是調和的。在緊緻流形上，這個看似無害的條件有個驚人的後果。把 Delta omega = 0 與 omega 配對並積分：0 = integral of <Delta omega, omega> = integral of <d omega, d omega> + integral of <delta omega, delta omega> = ||d omega||^2 + ||delta omega||^2。兩個平方之和為零，唯有兩者皆消失，所以 omega 調和「同時」逼出 d omega = 0 「與」 delta omega = 0。因此一個調和形式既是閉的（d omega = 0）又是餘閉的（delta omega = 0）——是最均衡、最對稱的那種形式。這個小小的分部積分論證，是整套理論的種子。
握住這幅圖像：調和形式是它所在類中「最放鬆」的代表元。回想前一級，德拉姆上同調 H^k(M) 衡量的是閉形式模去恰當形式——對任何 eta，閉形式 omega 與 omega + d eta 代表同一個類。在一個固定類的所有這些代表元當中，調和那個是模長「最小」的唯一者：把任何恰當形式 d eta 加到一個調和形式上，會嚴格增大它的 L^2 模長（交叉項恰因調和形式餘閉而消失）。所以「調和」之於上同調類，正如「測地線」之於一個圈的同倫類、或「極小曲面」之於一條邊界——是能量最小、最對稱的代表元。整個本級一直在用四套戲服講同一個故事。
霍奇分解定理把這一切組裝成幾何中最美的陳述之一。在一個緊緻有向的黎曼流形上，所有 k-形式所成的空間分裂為三塊的正交直和：恰當形式（d 的像）、餘恰當形式（delta 的像），與調和形式（Delta 的核）。每個 k-形式 omega 都唯一地寫成 omega = d alpha + delta beta + h，其中 h 調和，而這三個和項在 L^2 內積下互相正交。調和部分 h 是 d 與 delta 都造不出來的不可約核心——是當你剝去一切恰當與一切餘恰當之後，那個貨真價實的拓樸殘餘。
Hodge decomposition on a COMPACT oriented Riemannian manifold (M, g):
Omega^k(M) = d( Omega^{k-1} ) (+) delta( Omega^{k+1} ) (+) Harmonic^k
exact co-exact ker Delta
the three summands are MUTUALLY ORTHOGONAL in the L^2 inner product
consequence (the Hodge theorem):
Harmonic^k(M, g) is isomorphic to H^k(M; R) (de Rham cohomology)
so dim Harmonic^k = b_k = the k-th Betti number (a TOPOLOGICAL number)
hypotheses you may NOT drop: M compact (no boundary), g a Riemannian metric.為何這令人驚嘆：每個上同調類恰有一個調和形式
追蹤分解對一個「閉」形式做了什麼，因為上同調正住在那裡。若 omega 閉（d omega = 0），把它代入 omega = d alpha + delta beta + h 並施以 d：餘恰當那塊 delta beta 是唯一可能倖存的，而它被逼為零，所以一個閉形式恰是一個恰當部分加一個調和部分，omega = d alpha + h。模去恰當形式來讀——這恰是過渡到一個上同調類——那個 d alpha 便消失了：每個德拉姆類都由它的調和部分 h 代表，而由正交性，h 是該類中「唯一」的調和形式。所以每個上同調類恰含一個調和代表元，不多也不少。
這就是霍奇定理，而它在兩個方向上同時令人驚嘆。拓樸 -> 分析：調和 k-形式所成空間的維數，即算子 Delta 的一個分析核維數，等於第 k 個貝蒂數 b_k，這是一個對度量一無所知的純拓樸計數。分析 -> 拓樸：儘管調和形式「本身」依賴於你所選的度量 g，它們「有幾個」卻不依賴——更換度量，每個調和形式都形變，但它們的數目被拓樸釘死。拉普拉斯算子，一個全然由度量造出的算子，竟暗中清點著洞。
調和代表元為你買到什麼，以及它接下來流向何方
一個典範代表元的回報立即而具體。在一個平坦環面 T^n 上，調和形式恰是常係數形式（係數為常數的 dx^I），在 k 次數中有「n 取 k」個——這恰是環面的 b_k，靠手算便得回。在圓二維球面 S^2 上，唯一的調和 0-形式與 2-形式是常數乘以 1 與體積形式，根本沒有調和 1-形式，給出 b_0 = b_2 = 1 與 b_1 = 0——球面沒有讓 1-形式纏繞的洞，而拉普拉斯算子看得見這件事。以這些微小的計算開場：它們比那以最大一般性陳述的抽象三分裂，遠更能承載定理。