從拉普拉斯算子到唯一的調和代表元
第三篇把神奇方程式 Delta_d = 2 Delta_partial = 2 Delta_dbar 交給了我們，它在凱勒流形上由凱勒恆等式誕生。在利用它之前，先回想拉普拉斯算子即便在尋常的緊黎曼流形上也替你買到了什麼——就是你在度量那一級遇過的霍奇定理。霍奇拉普拉斯算子 Delta = dd* + d*d 是作用於形式上的橢圓、自伴、非負算子，而在「緊」流形上橢圓性逼使它的核為有限維。滿足 Delta alpha = 0 的形式 alpha 稱為調和的，而分部積分恆等式 integral of <Delta alpha, alpha> = ||d alpha||^2 + ||d* alpha||^2 表明 alpha 為調和的恰當它既閉（d alpha = 0）又餘閉（d* alpha = 0）。
於是霍奇定理說：每個德拉姆上同調類裡恰好坐著一個調和代表元。具體地說，k-形式的空間正交分裂為（調和形式）加（d 的像）加（d* 的像），而在上同調裡只有調和的那一塊存活下來。所以 H^k(M; R) 字面上同構於有限維的調和 k-形式空間。這是一座驚人的橋：一個由閉模去恰當所定義的拓樸不變量，竟靠解一個偏微分方程來計算——在你的類裡挑出能量最小的那個形式。把 d 換成 dbar，同一陳述一字不差地成立，計算的便是杜爾博上同調 H^{p,q}(M)，即 dbar-調和的 (p,q)-形式。
霍奇分解與霍奇鑽石
現在凱勒條件引爆了。在赤裸的複流形上，d-調和與 dbar-調和意指不同的東西，且沒有理由一個 d-調和 k-形式會有乾淨的型別。但 Delta_d = 2 Delta_dbar 意味著這兩個算子有「相同」的核：一個形式是 d-調和的，當且僅當它是 dbar-調和的。由於 Delta_dbar 保持 (p,q) 分次（dbar 把 q 升一，dbar* 把它降一），它的核按型別分裂——因而 d-調和形式的空間也按型別分裂。經霍奇定理翻譯，便得到緊凱勒流形的霍奇分解：H^k(M; C) = 對 p+q=k 直和 H^{p,q}(M)。
兩個對稱使這變得剛硬。其一，複共軛把一個 dbar-調和的 (p,q)-形式送到一個 dbar-調和的 (q,p)-形式，給出霍奇對稱 h^{p,q} = h^{q,p}，其中霍奇數為 h^{p,q} = dim H^{p,q}。其二，在複維數為 n 的流形上，霍奇星把 (p,q) 與 (n-p, n-q) 配對，給出 h^{p,q} = h^{n-p, n-q}——這是按型別細化的龐加萊對偶。兩者合起來說，把霍奇數排成方格，便有一個四重的反射對稱。貝蒂數由 b_k = 對 p+q=k 求和 h^{p,q} 還原，故共軛對稱立刻逼使每個「奇」貝蒂數為偶——正是第三篇裡終結霍普夫曲面的那個障礙。
The HODGE DIAMOND of a compact Kahler n-fold (rows = degree k, h^{p,q} at position (p,q)):
n = 2 (a Kahler surface) :
h^{0,0}
h^{1,0} h^{0,1}
h^{2,0} h^{1,1} h^{0,2}
h^{2,1} h^{1,2}
h^{2,2}
Symmetries pinning the diamond :
h^{p,q} = h^{q,p} (conjugation -- left-right mirror)
h^{p,q} = h^{n-p,n-q} (Hodge star -- up-down mirror)
h^{0,0} = h^{n,n} = 1 (connected, compact)
K3 surface (a Calabi-Yau 2-fold) fills in as :
1
0 0
1 20 1
0 0
1 -> b_0..b_4 = 1, 0, 22, 0, 1ddbar-引理與形式性的一瞥
同一個拉普拉斯塌縮給出一個較安靜卻極其有用的工具，ddbar-引理。它說：在緊凱勒流形上，若一個形式 alpha 既 d-閉又 dbar-閉，且或為 d-恰當「或」為 dbar-恰當，則它事實上是 ddbar-恰當的——對某形式 beta，alpha = i partial dbar beta。換言之，三個自然的「恰當」概念（d-恰當、partial-恰當、dbar-恰當）在閉形式之內塌縮為一，正如三個拉普拉斯算子塌縮為一一般。ddbar-引理使你能把一個上同調類換成一個典範的位勢，它是構造凱勒位勢、以及在同一類裡比較度量的技術核心。
一個現在值得品嘗、第五篇將完整兌現的後果：同一上同調類裡的任兩個凱勒形式相差某全域函數的 i partial dbar，即 omega' = omega + i partial dbar phi。這單單一行就是卡拉比猜想與凱勒-愛因斯坦幾何的全部布局——尋找一個特殊度量化約成對 phi 解一個純量方程，即複蒙日-安培方程。ddbar-引理還蘊涵緊凱勒流形在有理同倫論意義下是「形式的」：它們的實同倫型僅由其上同調環決定。這是一種強剛性——它排除了許多同倫型成為凱勒的可能，也是 d omega = 0 條件一路深入拓樸的又一途徑。
強萊夫謝茨：與 omega 取楔積是同構
現在來到本級的高潮。回想第三篇的萊夫謝茨算子 L：它把一個形式與凱勒形式取楔積，L(alpha) = omega ^ alpha，把次數升 2，其伴隨 Lambda 把次數降 2。由於 omega 為閉且調和，L 降到上同調上，L: H^k(M) -> H^{k+2}(M)。強萊夫謝茨定理對迭代映射 L^j 作出一個驚人的主張。在複維數為 n 的緊凱勒流形上，對每個 k <= n，j 重楔積 L^{n-k}: H^k(M; R) -> H^{2n-k}(M; R) 是一個「同構」。反覆與凱勒類取楔積，把上同調的下半部一對一地搬到上半部。
這究竟為何會成立？讓它變得可信的秘密在此：算子 L、Lambda，以及在 k-形式上計數的算子 H = (k - n)，恰好滿足李代數 sl(2) 的對易關係——[H, L] = 2L、[H, Lambda] = -2Lambda、[L, Lambda] = H。所以上同調是 sl(2,R) 的一個有限維表示！而 sl(2) 的表示論——你或許從量子力學的角動量階梯認得它——說每個有限維表示都分解成不可約的「弦」，在其上升算子 L 從底部向上一路單射，直到對稱的頂部。強萊夫謝茨恰恰是說 L^{n-k} 把每條弦的底部同構地映到它鏡像的頂部。深邃的幾何裡藏著一塊大學部的李理論。
強萊夫謝茨買到了什麼，以及如何使用它
後果是立即且強大的。因為 L^{n-k} 在 H^k 上（對 k <= n）單射，映射 L: H^k -> H^{k+2} 本身在下半部就是單射——故貝蒂數必須「遞增」直到中間：b_0 <= b_2 <= ...、b_1 <= b_3 <= ...，且兩半互為鏡像，b_k = b_{2n-k}。這是一個一般流形不滿足的硬性拓樸約束；它是「是否為凱勒」的試金石。強萊夫謝茨還產出本原分解：每個類唯一地是若干 L^j（本原類）之和，其中本原類是被 Lambda 殺死（或等價地被足夠多個 L 的冪殺死）的類。這是 sl(2) 最低權向量的上同調投影，也是霍奇-黎曼雙線性關係的舞台，後者使凱勒流形上的相交形式在每個本原片上是定的。
讓我們走一遍最小的誠實例子。取 CP^2，複維數 n = 2，配富比尼-施圖迪凱勒類 h 屬於 H^2。它的上同調是 H^0 = R*1、H^2 = R*h、H^4 = R*h^2，所有奇數群消失，故貝蒂數為 1, 0, 1, 0, 1。此處的強萊夫謝茨即是說 L^2: H^0 -> H^4，把 1 送到 h^2，是一個同構——而 h^2 確實生成 H^4，因為兩條一般的直線交於一點，故 h^2 在 CP^2 上的積分為 1。貝蒂數列 1, 0, 1, 0, 1 恰好服從遞增至中間與鏡像對稱。對照一個乘積如 S^2 x S^4，其貝蒂數 1, 0, 1, 0, 1, 0, 1 看來也對稱——但去驗強萊夫謝茨與霍奇鑽石，才是你認證一個候選者真的是凱勒、而非僅僅貝蒂對稱的方法。
- 抽象地解那個偏微分方程：在你「緊」的凱勒 M 上，援引霍奇定理，使每個德拉姆與杜爾博類都有唯一的調和代表元；H^k(M) 與 H^{p,q}(M) 變成有限維的調和形式空間。
- 按型別分裂：Delta_d = 2 Delta_dbar 逼使調和形式尊重 (p,q)，給出霍奇分解 H^k(M;C) = 對 p+q=k 求和 H^{p,q}，並帶共軛對稱 h^{p,q} = h^{q,p} 與霍奇星對偶 h^{p,q} = h^{n-p,n-q}。
- 組起霍奇鑽石並讀出貝蒂數 b_k = sum of h^{p,q}；立刻斷定每個奇貝蒂數為偶——一個免費的、阻礙成為凱勒的障礙。
- 施用強萊夫謝茨：L = 與 omega 取楔積使上同調成為 sl(2)-表示，故 L^{n-k}: H^k -> H^{2n-k} 為同構。由此斷定 b_k 遞增至中間、b_k = b_{2n-k}，並抽出本原分解以供霍奇-黎曼關係之用——這套工具第五篇將用在正線叢與小平嵌入上。