兩個彼此不合的拉普拉斯算子，而那不合之處就是曲率
前一篇把作用在微分形式上的霍奇拉普拉斯算子 Delta = d d* + d* d 交給了你——一個美麗、內蘊定義、非負的算子，其核是調和形式、因而是上同調。但在同一批形式上還坐著第二個、更天真的拉普拉斯算子：聯絡拉普拉斯算子（或稱粗拉普拉斯算子）nabla* nabla，由協變微分兩次再取跡而成。在函數上這兩者一致（差個符號），但在 1-形式及更高階形式上它們「不」一致，而本篇的全部收穫就活在那道差額裡。博赫納-魏曾博克公式精確地量出它，而所量得的是一個曲率項。
On 1-forms (equivalently, dual vector fields), the Weitzenbock identity reads:
Delta_Hodge = nabla* nabla + Ric
d d* + d* d = (rough Laplacian) + (Ricci curvature, acting as a symmetric endomorphism)
For a function f (a 0-form) the two Laplacians already agree, but on df it gives:
Delta(df) = d(Delta f), and pairing with df and integrating yields
(1/2) Delta |df|^2 = |Hess f|^2 + g( grad f , grad Delta f ) + Ric(grad f, grad f)
The last term, Ric(grad f, grad f), is the whole point: curvature has entered for free.為何曲率必在此現身，且帶著你上一級在第二變分中所見的同一種必然性？理由一模一樣。粗拉普拉斯算子與霍奇拉普拉斯算子都求兩次導，但「次序」不同——一個取第二協變導數的跡，另一個透過 d 與 d* 作反對稱化。調和這兩種次序，逼你交換一對協變導數，而協變導數的對易子，依定義，就是黎曼曲率張量。在 1-形式上，那張量的相關跡恰恰是里奇曲率。所以 Ric 不是硬栓上去的；它是你要求兩個自然的拉普拉斯算子相等時，無可迴避的代價。
博赫納方法：一條恆等式如何變成一個定理
公式本身只是代數；博赫納方法才是把幾何從中擠出來的食譜。其手法是一個極值原理論證，在閉流形上透過積分變得格外乾淨。設 omega 是一個調和 1-形式，故 Delta_Hodge omega = 0。把它代入魏曾博克恆等式，與 omega 配對，再在 M 上積分。霍奇項積分得零；分部積分把粗拉普拉斯項化成非負量 integral over M of |nabla omega|^2；而曲率項變成 integral over M of Ric(omega, omega)。你剩下一條方程，平衡著兩個積分。
- 在一個「閉」（緊、無邊界）流形 M 上，從恆等式出發：對一個調和 1-形式，0 = integral over M of g(Delta_Hodge omega, omega) = integral over M of [ |nabla omega|^2 + Ric(omega, omega) ]。
- 施加曲率假設 Ric >= 0。於是兩個被積函數都非負，但它們之和積分為零——所以每一個都必須逐點消失：到處 |nabla omega|^2 = 0 且 Ric(omega, omega) = 0。
- 讀出結論：nabla omega = 0 意味 omega 是「平行的」。因此一個 Ric >= 0 的閉流形只容許平行的調和 1-形式，而獨立者的數目至多為 n = dim M。
- 把它收緊為 Ric > 0（嚴格）：如今 Ric(omega, omega) = 0 直接逼出 omega = 0。所以「沒有」非零的調和 1-形式——而由德拉姆定理，第一貝蒂數 b_1(M) = 0。
退一步欣賞剛才發生的事：一個關於「曲率」（一個局部、分析-幾何的量）的假設，逼出一個關於「拓樸」（貝蒂數，一個整體同倫不變量）的結論。這是第一個博赫納消滅定理，也是一整門工業的原型——把同一論證跑在調和旋量、更高次的調和形式，或全純截面上，你就把某個曲率的正性，轉換成某個上同調群的消失。在正純量曲率下對狄拉克算子的利希涅羅維奇消滅，乃至複幾何中的小平消滅定理，都是穿著不同衣服的魏曾博克論證。
特徵值估計：在頻譜中聽見曲率
同一條博赫納恆等式，不施於調和形式而施於一個特徵函數，便掌控拉普拉斯-貝爾特拉米算子的「頻譜」。在閉 M 上，拉普拉斯算子 Delta f = -div(grad f) 有一串離散的非負特徵值 0 = lambda_0 < lambda_1 <= lambda_2 <= ...，即把流形當作鼓時的共振頻率。第一個非零特徵值 lambda_1 是基音，而曲率的下界把它釘住。利希涅羅維奇估計最為乾淨：若對某常數 k > 0 有 Ric >= (n-1) k g，則 lambda_1 >= n k。
證明又是博赫納食譜，這回跑在特徵函數上。取 Delta f = lambda_1 f，代入逐點恆等式 (1/2) Delta |grad f|^2 = |Hess f|^2 + g(grad f, grad Delta f) + Ric(grad f, grad f)，再在 M 上積分。左側積分為零（它是一個散度）。交叉項由特徵值方程給出 -lambda_1 integral of |grad f|^2。用柯西-施瓦茲不等式 |Hess f|^2 >= (Delta f)^2 / n 把海森項從下方界住，再代入 Ric >= (n-1) k。把剩下的不等式整理一番，恰恰就是 lambda_1 >= n k。鼓的基頻不可能跌破一條由里奇曲率設定的地板。
把拉普拉斯算子沿時間向前指：熱流
至此一切都是「靜態」的——一個固定度量、一個固定算子。本級最後的構想讓萬物動起來。幾何熱流是演化方程 (d/dt) u = -Delta u（取分析學家的符號，使它平滑化），即尋常熱方程的流形版本。把任意初始函數在拉普拉斯算子的特徵基底下分解；在流之下每個特徵模以 e^(-lambda t) 衰減，所以高頻皺褶（大 lambda）迅速死去，解鬆弛趨向其平均值。這就是上一節的特徵值估計在動態上要緊的緣由：lambda_1 恰是最慢的衰減率，即流形遺忘其初始條件、回歸平衡的速率。
同一套熱流哲學把前一篇的調和映射升級為一種動態方法。伊爾斯-桑普森定理讓任意映射 f: M -> N 沿其狄利克雷能量、透過調和映射熱流 (d/dt) f = tau(f) 往下流動，其中 tau 是張力場（能量的梯度）。只要目標 N 有非正截面曲率，能量密度的一個博赫納型恆等式便阻止流爆掉，且當 t -> infinity 時它收斂到一個與原映射同倫的真正調和映射。注意曲率假設加在「目標」上——拿掉它，流就可能發展出奇點（起泡），這是個誠實的限制，而非技術瑣節。
讓度量本身流動：里奇流初探
最大膽的一步，是去流動的既不是函數也不是映射，而是「度量」。漢密爾頓的里奇流是方程 (d/dt) g_ij = -2 Ric_ij——讓度量沿其自身里奇曲率的反方向演化。把它讀作度量的熱方程：在調和座標下，-2 Ric 的主項本質上是 g 的拉普拉斯算子，所以曲率擴散，熱點（高曲率）冷卻，而幾何試圖均勻化。在圓球面上，流把它均勻收縮到一點；在曲面上，它把任意度量共形地形變成常曲率度量，給出單值化定理的一個基於流的證明。
那個夢想是用流來簡化拓樸：從 3-流形上任意度量出發，跑這個流，讓它把幾何鬆弛成可辨認的常曲率塊，從中讀出幾何化猜想、連帶讀出龐加萊猜想。障礙在於流會發展出「奇點」——一個頸縮，即一條細管在有限時間內收縮到零半徑、曲率爆掉之處。佩雷爾曼那不朽的工作分析這些奇點、施行手術把它們切除並重啟流，並追蹤一個單調量（佩雷爾曼熵）來掌控整個過程——完成了漢密爾頓的綱領。