奇蹟的形狀：解析指標等於拓樸指標
第一篇看著佩雷爾曼以里奇流駕馭一個度量，直到拓樸從幾何中掉落出來。本篇追逐分析與拓樸之間另一座橋，但結局的味道相同：一個看來純屬分析的量，竟原來是個拓樸不變量，在任何形變下都紋風不動。主角是橢圓算子的指標。取一個線性微分算子 D，作用在緊緻流形 M 上兩個向量叢的截面之間；若 D 為橢圓型，則它的核（D s = 0 的解）與餘核（求解 D s = f 的障礙）都是有限維的。它們的差 index(D) = dim ker D - dim coker D，就是解析指標。
這裡是指標之所以特殊的原因，而在任何公式之前值得先感受它。維數 dim ker D 與 dim coker D 各自會隨你晃動 D 而劇烈跳動——擾動係數，一個解就可能憑空出現或消失。但它們是「一起」跳的：每當一個核維度被丟掉，必有一個餘核維度同步被丟掉，所以它們的差永不移動。因此指標是 D 的同倫不變量，對連續形變充耳不聞。阿蒂亞-辛格指標定理（阿蒂亞與辛格，1963 年）回答了這份穩定性強加於你的問題：若指標不依賴於分析細節，它就必定能僅由拓樸算出——而它確實等於一個拓樸指標，即 M 上由 D 的符號構築出的明確示性類的積分。
你早已擁有的暖身：高斯-博內就是一條指標定理
別憑信仰接受指標定理——你早已見過它的一個個案，並且可以親手驗證這個模式。回想形式那一級的德拉姆複形：外微分 d 把 k 形式映到 (k+1) 形式，且 d 平方 = 0。把偶次形式捆在一起、奇次形式捆在一起，造出單獨一個從偶形式到奇形式的算子 D = d + d-star（d-star 是用霍奇星號造出的形式伴隨算子）。這個 D 是橢圓型的，而一段以霍奇理論做的短計算顯示：它的核是偶次上同調，其餘核是奇次上同調。
於是 index(D) =（偶 Betti 數之和）-（奇 Betti 數之和）= chi(M)，即歐拉示性數。這就是解析指標。「這個」D 的拓樸指標，是 M 上歐拉類——曲率的普法夫值——的積分，它在曲面上恰是 (1 / 2 pi) integral over M of 高斯曲率 K。令兩者相等，便重得你很久以前證過的高斯-博內定理：integral of K dA = 2 pi chi(M)。凝視它：高斯-博內就是德拉姆算子的阿蒂亞-辛格指標定理。一般的定理只是說：「每一個」橢圓算子都服從一條形狀完全相同的律則。
ONE THEOREM, MANY FACES (analytic index = topological index) operator D analytic index = dim ker - dim coker topological side ------------------ ----------------------------------- ------------------------- d + d* (de Rham) Euler characteristic chi(M) integral of Euler class signature operator signature sigma(M) integral of L-class (Hirzebruch) Dolbeault dbar+dbar* arithmetic genus / chi(O) integral of Todd class (Riemann-Roch) Dirac operator D A-hat genus (index of Dirac) integral of A-hat class Gauss-Bonnet, Hirzebruch signature, Hirzebruch-Riemann-Roch = three special cases of ONE line.
狄拉克算子：拉普拉斯算子的平方根
在指標定理所統御的一切橢圓算子中，有一個是根本的：上面每一個經典個案，在恰當的意義下，都是它的一個扭曲版本。這就是狄拉克算子，它誕生於保羅·狄拉克想要一個一階算子 D，使其平方即拉普拉斯算子——D 平方 = Delta。用純量係數辦不到；交叉項拒絕相消。狄拉克的妙招是讓係數成為「矩陣」gamma_i，滿足 gamma_i gamma_j + gamma_j gamma_i = -2 delta_ij。於是 D = sum gamma_i nabla_i 平方後恰為拉普拉斯算子，正因為那些反交換關係把每一個交叉項都殺掉了。那些關係定義出一個克利福德代數，而那些矩陣作用在一個輔助的旋量空間上——這就是旋量幾何的全部代數種子。
要把狄拉克的局部矩陣整體化為流形 M 上的一個算子，你必須逐圖一致地選取旋量叢。能否如此做的障礙是拓樸性的，正是旋量幾何的內容：M 容許旋量結構，恰當其第二類斯蒂費爾-惠特尼類 w_2 消失之時（可定向性先處理掉 w_1）。可定向曲面全都合格；實射影平面 RP^2 則不合格。這是一個你必須查驗的誠實假設，而非形式上的客套——當 w_2 非零時，根本不存在整體定義的狄拉克算子，只有一個 spin-c 變體，靠添上一個線叢來換取存在性，那正是通往第三篇塞伯格-維騰理論的門。
曲率發聲：魏岑伯克公式與利希內羅維奇
狄拉克算子不只平方為粗拉普拉斯算子——它平方為拉普拉斯算子「加上」一個曲率項，而那一個額外的項，正是幾何直接對拓樸說話之處。利希內羅維奇-魏岑伯克公式說 D 平方 = nabla-star nabla + S/4，其中 nabla-star nabla 是（非負的）聯絡拉普拉斯算子，S 是純量曲率。把它讀作一個明顯非負的算子，加上一個曲率的純逐點倍數之和。你在比較那一級見過的博赫納技巧，正是這種風格的論證，如今跑在旋量上而非形式上。
現在從中擠出一條貨真價實的定理，看指標理論與曲率正面相撞。狄拉克算子的指標等於一個叫 A-hat 虧格的拓樸數，即示性類在 M 上的積分。設 M 是一個閉旋量流形，攜帶一個純量曲率嚴格為正 S > 0 的度量。則曲率項 S/4 嚴格為正，故 D 平方 = nabla-star nabla + S/4 嚴格為正，因而沒有核——意即 D 本身沒有調和旋量，所以 index(D) = 0。但 index(D) = A-hat(M) 是一個固定的拓樸數。其結論（利希內羅維奇）是鮮明的：A-hat 虧格非零的閉旋量流形，「不可能」容許任何正純量曲率的度量。純粹的拓樸禁止了一個幾何可能性——一個你盯著度量看一輩子也看不出的障礙。
用熱證明它：麥金-辛格相消
在諸多證明裡，有一個如此幾何，理應出現在任何初次相遇中：熱核證明。對每個旋量叢跑 D 平方的熱方程，觀察熱算子的超跡 str(exp(-t D-squared)) = 正上的跡減負上的跡。麥金-辛格的奇蹟在於：這個超跡「不依賴」於 t，且對每一個 t > 0 都等於 index(D)——因為 D 平方的每一個非零特徵值，都把一個正特徵態與一個負特徵態配成對，它們在超跡裡相消，只留下零模，而零模恰是核與餘核。
- 對「所有」t > 0 寫下 index(D) = str(exp(-t D-squared))——麥金-辛格恆等式。左邊是你要的整數；右邊現在可自由地在任何方便的 t 處求值。
- 令 t 趨向 0。對角線附近的熱核有一個關於 t 的普適短時漸近展開，其係數是曲率（度量與叢聯絡的曲率）的局部多項式——純粹的微分幾何，可逐點計算。
- 把 t 趨 0 的極限在 M 上積分。著名的奇妙相消（蓋茨勒的重新標度令其變得透明）把雜亂的展開坍縮到恰好一個倖存的項：A-hat 類乘以扭曲叢的陳省身特徵標。
- 令兩種求值相等。那個與 t 無關的整數（解析指標）等於那些示性類在 M 上的積分（拓樸指標）。那一條方程「就是」阿蒂亞-辛格指標定理。
同一具引擎隨叫隨印出那些經典定理。餵它德拉姆算子，倖存的類是歐拉類，給出高斯-博內。餵它複流形上的多爾博算子 dbar + dbar-star，倖存的類是托德類，給出你在黎曼曲面上見過的赫茨布魯赫形式的黎曼-洛赫定理——如今在每個維度上都成立。餵它符號差算子，你得到赫茨布魯赫的符號差定理。一個算子、一次相消，本世紀的偉大定理便作為推論掉落出來。
你已建起什麼，以及它接下來流向何方
把這段弧線組裝起來。緊緻 M 上一個橢圓算子 D 有一個整數指標，它頑固地屬於拓樸，因為核與餘核一同脫落維度。狄拉克算子——狄拉克對拉普拉斯算子取的矩陣平方根，唯有當旋量幾何經由 w_2 = 0 許可時才存在——是那個普適個案，而魏岑伯克公式把它的曲率項變成一個硬障礙（利希內羅維奇：非零 A-hat 虧格禁止正純量曲率）。熱核證明接著從一個與 t 無關的超跡，印出整個家族——高斯-博內、黎曼-洛赫、符號差。
- 第三篇把旋量幾何兌現到低維：被線叢扭曲的狄拉克算子，加上拯救 w_2 非零流形的 spin-c 結構，正是塞伯格-維騰理論與唐納森光滑四維流形不變量的原料。
- 拓樸那一側的示性類積分，正是叢那一級的陳省身-韋伊故事——A-hat、托德與 L 類是曲率形式的特定多項式，所以若這些類中有哪個感覺像黑盒子，請重訪那套機器。
- 指標定理也伸進物理，在那裡狄拉克算子字面上就是相對論性費米子的算子，而 A-hat 項是一個反常；那座通往規範理論與楊-米爾斯泛函的橋，會在本級其餘部分反覆出現。