卡拉比-丘流形究竟是什麼
走到本梯級的第四篇，你已一再見到幾何回應物理——里奇流撫平一個三維流形、狄拉克算子藏著一個指標、塞伯格-威滕理論讀懂四維流形、勞侖茲時空朝著奇點彎曲。這最後一篇，是車流逆向而行之處：物理學家遞給幾何學家一個結構與一個他們本猜不到的預言，而那個結構就是卡拉比-丘流形。用你已擁有的東西把它建起來。先從一個凱勒流形說起——一個帶著黎曼度量的複流形，其相伴的 2-形式是閉的，於是複結構、辛結構與黎曼結構全都協調一致地對齊。一個卡拉比-丘是一個緊緻凱勒流形，外加一項要求：它的標準叢平凡，等價地說，它的第一陳類消失。
「第一陳類消失」在幾何上換來什麼？這裡有一條讓這名字名副其實的深刻定理。卡拉比猜測、丘成桐證明：在一個 c_1 = 0 的緊緻凱勒流形上，每一個凱勒類都恰含一個里奇平坦的度量——一個里奇曲率恆為零的度量。所以一個卡拉比-丘不只是一個某個類消失的流形；它是一個確實承載著里奇平坦凱勒度量的流形，是這個彎曲世界裡最接近「仍有形狀的空無空間」的東西。那則存在性陳述就是卡拉比-丘定理，而證明它需要解一個全非線性的複蒙日-安培方程——一個艱難的偏微分方程，而非一場形式上的推演。
物理為何在意：弦需要六個隱藏維度
卡拉比-丘三維流形之所以不再是複幾何裡一個小眾角落，原因是弦論。一根超弦想活在十維裡，但我們觀測到四維。標準的調和方式是：時空在局部是我們熟悉的四維勞侖茲世界，與一個微小緊緻的六維空間之乘積，那六維捲曲得太小而看不見——而要讓由此產生的四維物理保住該理論所需的超對稱，那個隱藏的六維流形就必須是里奇平坦且凱勒的。那恰恰是一個卡拉比-丘三維流形。所以丘的里奇平坦度量並非裝飾：它正是「額外維度不耗費真空能量、且尊重對稱」的幾何條件。霎時之間，複幾何裡一條艱難的定理，竟成了一個候選自然理論的承重結構。
現在輪到為本篇命名的那個驚奇。1980 年代晚期，建構弦模型的物理學家注意到一件他們無法解釋的事：相異的卡拉比-丘三維流形 X 一再成對出現，配著一個夥伴 X-tilde，使得建在 X 上的物理與建在 X-tilde 上的物理完全相同——而兩者卻不是同一個流形。更糟（或更妙）的是，它們的幾何被互換了。一個卡拉比-丘三維流形有兩族自然的形狀參數：它的複結構能如何形變，由霍奇數 h^{2,1} 計數；以及它的凱勒（大小／辛）結構能如何形變，由 h^{1,1} 計數。在每一對鏡像中，這兩個數被交換：h^{1,1}(X) = h^{2,1}(X-tilde)，反之亦然。這個交換就是鏡像對稱。
X (one Calabi-Yau) X-tilde (its mirror)
--------------------- ---------------------
complex-structure moduli <--> Kahler (symplectic) moduli
h^{2,1} <--> h^{1,1}
h^{1,1} <--> h^{2,1}
Hodge diamond of X is the diamond of X-tilde
reflected across its vertical axis (a 90-degree mirror).
Quintic threefold X: h^{1,1}=1, h^{2,1}=101
Its mirror X-tilde: h^{1,1}=101, h^{2,1}=1那個奇蹟：數有理曲線
若僅止於此，交換兩個霍奇數不過是個可愛的巧合而已。鏡像對稱之所以在幾何學中引爆，是因為這個交換讓物理學家算出了一個數學家已埋頭苦磨一個世紀的數字——而且得到更好的答案。鏡像對中的一側坐落著辛幾何：在這個卡拉比-丘裡，有多少條給定次數 d 的全純有理曲線（CP^1 的副本，亦即球面）？這些計數就是格羅莫夫-威滕不變量，而它們著實艱難：一個曲線計數是在一個曲線模空間上的積分，而那個模空間維度錯誤、奇點惡劣、還有必須親手切除的多餘分量。古典代數幾何握有五次曲面上一次直線的計數（2875，一個十九世紀的結果），以及二次圓錐曲線的計數（609250，在 1986 年費盡英雄之力後算出）。
鏡像對的另一側坐落著複幾何，而關鍵事實是：那同一批曲線計數，在此被編碼進某個極其溫馴的東西裡：當你變動鏡像 X-tilde 的複結構時，週期積分的行為。週期積分滿足常微分方程（皮卡-富克斯方程），任何人都能用手或機器解出。1991 年，坎德拉斯、德拉奧薩、格林與帕克斯，正是在五次曲面的鏡像上做了這件事，把答案展開，一口氣讀出每一個次數的有理曲線數目之預言。前三項重現了 2875 與 609250——而第三項，那條被猜測的三次扭曲三次曲線計數，是 317206375。當時尚未算完該計算的代數幾何學家，最終確認了它。鏡像把一個不可能的辛計數，轉成了一個可解的複計算。
抓住這個觀念上的妙語，因為它正是整個梯級的要旨。X 的辛側上一個艱難的計數問題（數曲線），變成了 X-tilde 複側上一個容易的積分（週期）。這與你在第二篇的阿蒂亞-辛格指標定理裡見到的精神相同——一個分析量等於一個拓樸量——只是如今這座橋是猜想性的物理，而非一條已證的定理。鏡像對稱是一部在兩種幾何之間翻譯的字典；它的威力在於：在一種語言裡棘手的東西，在另一種語言裡是平凡的。
把它變得嚴格：兩個彼此競爭的定義
請對現況保持透明，正如本梯級對幾何化與指標定理所做的那樣：1991 年的預言是一場物理計算，而非證明，而「鏡像對稱」多年來是一個尋找定義的現象。如今有兩個嚴格的表述彼此競爭，而兩者在一般情形下都尚未被完全證明。第一個是霍奇理論／枚舉版本：X 的虧格 0 格羅莫夫-威滕不變量，由 X-tilde 上霍奇結構的變化算出。吉文塔爾與（獨立地）連-劉-丘在 1990 年代晚期，對五次曲面與一大類環形完全交集證明了這條「鏡像定理」——所以最初那個曲線計數的預言，在那些情形下如今是一條定理。
第二個表述是孔采維奇的同調鏡像對稱，而它探得更深。它猜想兩個範疇等價：X 上凝聚層的導出範疇（一個純複幾何、層理論的裝置，由全純資料建成）與 X-tilde 的深谷範疇（一個辛裝置，其對象是拉格朗日子流形，其態射計數它們之間的全純圓盤）。慢慢讀：一個卡拉比-丘的複幾何，被宣稱在範疇上等同於它鏡像的辛幾何。這正是本梯級曾警告過的「範疇論抽象」名副其實之處——唯有一個範疇，而非單一個數字，才豐富到足以一次編碼整部字典。它對橢圓曲線、阿貝爾簇與若干其他情形已被證明；一般的陳述仍未解決。
階梯到頭之處：誠實的未解難題
一篇以「然後一切都被解決了」作結的指南會是在欺騙你，而本梯級已掙得誠實作結的權利。所以這裡是鮮活的前沿，以問題而非凱旋的姿態陳述。卡拉比-丘三維流形的分類尚未解決。我們甚至不知道拓樸型的數目是否有限——丘猜測它有限，而數十年的例子（數以億計，由環形與其他構造建成）既未把這份清單封閉，也未展示出一個資料有界的無窮族。你遇到的每個卡拉比-丘也許都有鏡像，但在一般情形下構造鏡像——超出巴蒂列夫那套優美的多胞形對偶配方所適用的環形與完全交集情形之外——仍未解決。
而這道階梯並不止於複幾何之內；它終結於整個梯級一直指向之處，即低維的拓樸。這裡單一最著名的未解問題，是光滑四維龐加萊猜想：每一個與 S^4 同胚的光滑四維流形，是否真的與 S^4 微分同胚？回想第三篇的質地——唐納森與塞伯格-威滕揭露出維度四獨一無二地狂野，是奇異 R^4 的家園，即那些與標準者同胚但不微分同胚的 R^4 光滑結構，且這樣的結構有不可數多個。光滑龐加萊猜想問的是：球面能否逃出那份狂野；而四十年後，答案確實未知；那些在維度四裡決定如此之多的規範理論不變量，迄今對它保持沉默。
再舉一個，以顯示未解問題並非全在維度四裡。球填充——把全等的球堆得最有效率的方式——在維度 3 裡直到 1998 年才被解決（黑爾斯，靠著龐大的計算，確認了開普勒），接著令人驚異地，在 2016 年由維亞佐夫斯卡恰恰於維度 8 與 24 解決，所用的是一個無人知曉該去尋找的、單一個魔術般的模形式。然而 3 以上的其餘每一個維度都未解決：我們不知道維度 4、5、或任何一般高維裡最密的填充，而維度 8 與 24 之所以特殊，正因為那些別處沒有已知類比的例外格（E_8 與利奇格）。這乾淨地提醒我們：聽起來基本的幾何，可以與本梯級裡任何東西一樣深刻、一樣懸而未決。
站在階梯的頂端
回望你剛攀過的這一級，注意每一篇共有的那一個形狀。里奇流把一條偏微分方程化為拓樸分類；指標定理把一個分析計數等同於一個拓樸計數；唐納森與塞伯格-威滕從規範場讀出光滑結構；奇點定理迫使時空從曲率不等式中破裂；而鏡像對稱拿一個辛計數換一個複積分。每一個都是一座橋，讓你在一側算不出的量，得以在另一側廉價地讀出。那種搭橋——分析通往拓樸、辛通往複、幾何通往物理——正是現代微分幾何之所是，而你如今能在看似毫無相似之處的問題底下，看見同一具骨架。
並把那份誠實一同帶走，因為它是這道階梯所教過最耐久的東西。這裡每一條定理都有舉足輕重的假設——丘的定理需要緊緻性與消失的第一陳類；鏡像定理只對某些環形族被證明；幾何化如今是一條定理，但證明它需要一門課程，而非一篇指南。我們綜述了鏡像對稱與指標定理；我們並未證明它們，而真正的證明是一本書。前沿確實懸而未決——卡拉比-丘的分類、光滑四維龐加萊猜想、維度 8 與 24 之外的球填充——而那份未決是一份邀請，而非一場失敗。你進來時能讀懂一張座標卡與一本圖冊；你離去時能讀懂一場研究研討會，並知道哪些口號可信、哪些假設該查、以及哪些問題還沒有人能回答。那就是這道階梯的頂端，而那是一個開始攀爬下一道階梯的好地方。