為什麼四維是那個困難、古怪的維度
第一篇留給你一個如今該發癢的警告：里奇流馴服了三維，但它的奇點分析在四維崩解，而光滑的四維龐加萊猜想至今仍開放。這不是某一種技巧的偶然——四維在整個流形拓樸學裡，是貨真價實最困難的情形，原因是一把鉗子。在五維與更高維，你有足夠的空間去施行惠特尼技巧：相交於點的嵌入曲面，可以靠推一個圓盤越過而被滑開，而光是這一招，便驅動了斯梅爾的 h 配邊定理與高維龐加萊猜想。在三維裡，你又夠小，幾何（瑟斯頓、佩雷爾曼）接管了一切。四維正坐在這個縫隙裡：一個惠特尼圓盤需要被嵌入，但四維流形裡的一般曲面，恰恰沿著你想用的那個圓盤相交，於是這技巧咬到了自己的尾巴。
於是拓樸工具熄火了，你需要一種新的探針——一種不在乎惠特尼技巧的探針，因為它根本不試圖移動任何東西。這個想法出自西蒙·唐納森 1982 年，令人屏息：把物理的微分方程引進來。在四維流形上的一個主叢上，看遍所有的聯絡（規範場），挑出那些解某條自然幾何偏微分方程的，再研究這些解的「空間」。那個解空間——模空間——竟原來是一個有限維流形，而它自身的幾何，記得它底下那個流形的光滑結構。我們即將用分析來看拓樸，正是你在第一、二篇遇過的那種跨界，但如今化成了一架顯微鏡，對準那個其他一切都失敗的唯一維度。
相交形式：四維流形的代數指紋
在任何偏微分方程之前，先認識那個一切都拿來對照的簡單不變量。在一個閉的可定向四維流形 M 上，兩個曲面（二維鏈）一般相交於有限個點，把這些點帶符號數一數，便得一個整數。這個在中間同調 H_2(M) 上的配對，就是相交形式 Q，一個取值於整數的對稱雙線性形式，依龐加萊對偶而為單模的。它是你在拓樸那一級建起的杯積的四維影子。具體地說，在複射影平面 CP^2 上，一條直線與另一條直線交於一點，故 Q 只是 1 乘 1 的矩陣 [1]；在 S^2 乘 S^2 上，兩個球面因子交一次而各自自交為零，故 Q 是雙曲形式 [0, 1; 1, 0]。
這裡是框住整個故事的那枚震撼彈，出自邁克爾·弗里德曼 1982 年：對「單連通」的閉四維流形，相交形式（外加一個 Z/2 不變量，克比-西本曼類）完全決定了該流形，直到「同胚」為止。四維裡的拓樸，驚人地幾乎是純代數——你靠分類單模對稱形式，來分類這些流形。弗里德曼的定理甚至白送你拓樸版的四維龐加萊猜想：一個同倫四維球面有平凡的相交形式，因而同胚於 S^4。拓樸範疇是溫馴的。而光滑範疇，如我們即將看到的，遠非如此。
INTERSECTION FORM Q on H_2(M;Z) (closed oriented simply-connected 4-manifold) manifold M intersection form Q signature sigma(M) ----------------- ---------------------------- -------------------- S^4 empty (rank 0) 0 CP^2 [ 1 ] +1 CP^2 (reversed) [ -1 ] -1 S^2 x S^2 [ 0 1 ; 1 0 ] (hyperbolic H) 0 K3 surface 2*(-E8) + 3*H (rank 22) -16 Freedman 1982 : Q + Kirby-Siebenmann ==> M up to HOMEOMORPHISM. Donaldson 1982 : not every unimodular Q is the form of a SMOOTH 4-manifold.
唐納森的探針：瞬子與楊-米爾斯模空間
現在說規範理論。在 M 上固定一個 SU(2) 主叢，看它的聯絡；每個都有一個曲率 F，那是一個取值於李代數的二形式。楊-米爾斯泛函是曲率大小平方的總量，即 |F|^2 在 M 上的積分——物理的場能量。在四維裡有件特別的事發生：霍奇星號把二形式送到二形式，將它們分裂成自對偶與反自對偶兩部分。當一個聯絡曲率的自對偶部分消失，F_plus = 0，它就是一個瞬子（反自對偶）。這些是楊-米爾斯能量在其拓樸類裡的絕對極小元，是這泛函最乾淨的臨界點——一條一階方程，其解自動解開二階的楊-米爾斯方程，正如調和形式在一個上同調類裡取極小。
現在把「所有」瞬子收集起來，再除以規範群（那些重新貼標籤卻不改變物理的叢自同構）。結果便是反自對偶聯絡的模空間 M。唐納森所提供的分析說：對 M 上一般的度量，這個模空間是一個光滑的可定向流形，其維數你靠一個指標來計算——而那個指標，恰是第二篇那種阿蒂亞-辛格式的計數，即一個耦合到聯絡的狄拉克型算子的指標。幾何又一次對分析說話：解空間的維數是個拓樸數。對單連通且帶正定形式的 M 上最小的 SU(2) 瞬子，那個維數算出來是 5。
魔法在邊界。唐納森研究這個五維模空間如何收尾。當一個瞬子的能量集中到 M 的某一點，這聯絡便起泡而退化，而對這退化的細緻刻畫顯示：這模空間是 M 自身與一束零碎小塊不交並之間的一個配邊——形式 Q 取值正一或負一的每個點各對應一塊，每塊是一份 CP^2 的拷貝。數一數這些端點，便對 Q 強加一個算術約束。其結論，唐納森定理（1983 年）：若一個「光滑」的單連通閉四維流形有一個正定的相交形式，則那形式必是標準的對角形式，即若干個 [1] 之和。沒有任何奇異的正定形式可被光滑化。
塞伯格-維騰：同樣的物理，卻變得可駕馭
唐納森的瞬子模空間美則美矣，分析起來卻殘酷：它們非緊（瞬子起泡）、規範群非交換，而起泡讓每一個估計都成了一場惡鬥。1994 年，愛德華·維騰從超對稱物理讀出洞見，遞給幾何學家一套溫和得多的方程，去計算（先是猜測、繼而在若干情形可證）同樣的光滑結構資訊。塞伯格-維騰方程活在一個 spin-c 結構上——正是第二篇為那些 w_2 阻撓正規旋量結構的流形所做的 spin-c 拯救。未知量是一個線叢上的 U(1) 聯絡 A 與一個旋量場 phi，它們滿足一對方程：耦合到 A 的狄拉克算子把 phi 殺掉，而 A 的自對偶曲率等於 phi 的一個二次表達式。
為什麼這容易得多？有兩個值得內化的原因。第一，規範群如今是「交換」的（只是 U(1)、取值於圓），故配置空間的幾何溫和。第二——而這才是決定性的恩賜——你在第二篇證過的魏岑伯克公式再度出手。把利希內羅維奇-魏岑伯克恆等式耦合到塞伯格-維騰方程，給出一個逐點的界：旋量場不可能大過純量曲率所容許的。光是這一條先驗估計，便使塞伯格-維騰模空間「緊緻」，沒有起泡要追。唐納森理論那殘酷的分析，被一個你早已懂得的不等式取代了。
從那個緊緻模空間，你讀出塞伯格-維騰不變量：對每個帶正確指標的 spin-c 結構，模空間一般是一個有限點集，把這些點帶符號數一數，便得一個整數 SW(s)，它只依賴於 M 的光滑結構，絕不依賴於計算它所用的度量或擾動。這些整數比唐納森的更銳利、也好算得多，而（依維騰猜想，已在許多情形獲證）它們攜帶等價的資訊。同一個魏岑伯克論證也給出一條乾淨的消沒定理：一個容許正純量曲率度量的四維流形，其所有塞伯格-維騰不變量為零——正是第二篇利希內羅維奇障礙在四維裡的表親。
回報：奇異的 R^4 與開放的前沿
現在說最古怪的那枚果實。把唐納森的光滑障礙，與弗里德曼在非緊空間 R^4 上的拓樸柔韌性結合起來，你便抵達一個在數學別處毫無類比的結果：存在奇異的 R^4——一些光滑流形，它們同胚於尋常的歐幾里得 R^4，卻「不」與它微分同胚。即使在拓樸上它只是平直的四維空間，其光滑結構卻貨真價實地不同。對其他每個 n，R^n 都帶有唯一的光滑結構；唯獨 R^4 帶有不可數無窮多個，一整條連續統那麼多、最熟悉的空間的奇異可微拷貝。這偵測得到，靠的不是任何經典不變量，而恰恰是本篇這套規範理論機器。
這些不變量在行家手裡到底「用來做什麼」，是區分光滑結構並約束什麼能存在。兩個同胚（相同的相交形式，故對弗里德曼而言完全一樣）卻有不同塞伯格-維騰不變量的四維流形，必「不」微分同胚——即使每一件拓樸工具都說它們相同，這不變量仍證明其光滑結構有別。橢圓曲面、多爾加切夫曲面，以及無窮多族同胚卻不微分同胚的四維流形，正是這樣被分開的。同樣這些不變量也證明幾何學家在意的大事，例如托姆猜想：CP^2 裡的一條複曲線，在其同調類中所有光滑嵌入曲面裡使虧格取極小。
你已建起什麼，以及本級接下來的去向
把這段弧線組裝起來。四維既抗拒手術（太小）又抗拒惠特尼技巧（太大），於是里奇流的方法熄火，需要一根新探針。弗里德曼靠相交形式分類拓樸四維流形；唐納森則靠數一個楊-米爾斯瞬子模空間（其維數是一個指標）的邊界，揭示「光滑」範疇服從嚴苛得多的律則。塞伯格-維騰理論接著用一個交換的、緊緻的模空間，換掉非交換的起泡——緊緻，多虧第二篇那個魏岑伯克估計——產出能分開光滑結構、造出奇異 R^4的銳利不變量，卻仍讓光滑的四維龐加萊猜想敞開。
- 若示性類那一側感覺像黑盒子，請重訪叢那一級的陳省身-韋伊機器：瞬子的能量與模空間的維數，都從曲率積分讀出，正是第二篇構築指標定理的那些多項式。
- 第四篇延續曲率遇上物理的主題，卻切換符差：在勞侖茲廣義相對論裡，曲率服從愛因斯坦方程，而奇異性定理逼使幾何崩潰——分析與幾何相撞的另一種方式。
- 第五篇以複幾何的調性回到規範理論與計數的構想：鏡像對稱與格羅莫夫-維騰不變量計數卡拉比-丘流形上的曲線，再一次引進物理以計算幾何，也再一次留下一張誠實的開放問題清單。