指標是什麼，又為何拒絕移動
取一個作用在閉流形 M 上某向量叢截面上的線性微分算子 D——想想拉普拉斯算子、狄拉克算子，或複流形上的 d-bar 算子。兩個數描述它的可解性：dim(ker D)，即 D u = 0 之解的維度；以及 dim(coker D)，即解 D u = f 的障礙的維度。單看任一個都極度敏感——把 D 稍加擾動，個別的解就出現或消失。但它們的差，即分析指標 ind(D) = dim(ker D) - dim(coker D)，卻剛硬得驚人：當一個解掉出核時，它便在餘核中重新現身，而這個差始終不動。正是這份固執，使得一個指標能等於一個拓樸不變量。
這套機制奏效的算子類是橢圓算子——其最高階部分（即符號）在每個非零的餘切方向上皆可逆。正是橢圓性首先保證了核與餘核是有限維的，於是指標才成為一個有定義的整數。一個一階的直覺：把每個導數 d/dx^j 換成餘向量 xi_j，只保留最高階項，再問所得這個取值於矩陣、變元為 T*M 中的 xi 的函數，在 xi = 0 之外是否可逆。拉普拉斯算子的符號是 |xi|^2 乘以單位矩陣——可逆——所以它是橢圓的；而波算子的符號在光錐上消沒，所以它不是。
兩個你早已信任的舊奇蹟
在一般定理之前，先認識兩個你早已親歷的特例——兩者暗地裡都是指標定理。第一個是高斯-博內定理。德拉姆複形 d: 偶形式 -> 奇形式，連同它的霍奇拉普拉斯算子，是橢圓的，而它的指標計數的正是偶貝蒂數減奇貝蒂數——恰好就是歐拉示性數 chi(M)。拓樸的一側則是歐拉類曲率的積分，亦即 TM 的歐拉類。所以「曲率積出 chi(M)」就是德拉姆算子的指標。整整一級之前你就為曲面證過它；指標定理便是它在每個偶數維度上的成熟形態。
第二個是黎曼-羅赫定理。在一個緊緻複流形上，貫穿多爾博複形的 d-bar 算子是橢圓的；它的指標是全純歐拉示性數 chi(O) = sum of (-1)^q dim H^q(M, O)，那是對整體全純資料的一個分析計數。希策布魯赫-黎曼-羅赫把它算成：相關叢的陳特徵乘以切叢的托德類 Todd class，在 M 上的積分。對一個虧格為 g 的黎曼曲面，這便坍縮為你在除子之中見過的古典黎曼-羅赫：deg(L) + 1 - g。一個分析的側、一個純拓樸的側，由一個等號接起來。
阿蒂亞與辛格的洞見是：這些並非兩個巧合，而是同一條定律的兩個實例。高斯-博內、黎曼-羅赫、希策布魯赫符號差定理（符號算子的分析指標 = L-虧格，一個龐特里亞金類的積分），以及自旋狄拉克的情形，全都套進同一個模板：左邊一個分析指標，右邊一個示性類的積分。而定理的任務，便是一勞永逸地把那個普遍的右手側寫出來。
定理本身：分析指標等於拓樸指標
一口氣說出定理。對閉流形 M 上的一個橢圓算子 D，分析指標等於拓樸指標——一個完全由 D 的符號的同倫類與 M 的拓樸所造出的數。阿蒂亞-辛格指標定理以一條上同調公式算出那拓樸的一側：在 M 上，把符號類的陳特徵乘以複化切叢的托德類，加以積分。寫成符號就是 ind(D) = integral over M of ch(符號) . Td(TM ⊗ C)，其中被積式取到最高次的那一片。每個古典情形都是這同一條公式，換上一個不同的算子。
analytic index: ind(D) = dim ker D - dim coker D (D elliptic, M closed) Atiyah-Singer: ind(D) = integral over M of ch(sigma(D)) . Td(TM (x) C) [ top-degree part ] special cases (one formula, different D): de Rham operator -> ind = chi(M) = integral of e(TM) [ Gauss-Bonnet ] signature operator -> ind = sign(M) = integral of L(TM) [ Hirzebruch ] Dolbeault d-bar (x) E -> ind = chi(M, E) = integral of ch(E).Td(TM) [ Riemann-Roch ] spin Dirac operator -> ind = A-hat genus = integral of A-hat(TM) [ integer! ]
有兩點值得停一下。第一，右手側是曲率的一個實數積分，卻必須算出一個整數，因為左手側計數的是維度——所以這條公式悄悄編碼了深刻的整性約束（這正是為何自旋流形的 A-帽虧格是整數、而不僅僅是有理數）。第二，只有符號的同倫類進入其中：在保持橢圓的前提下連續形變 D，指標不會改變。這便是指標之為拓樸的精確意涵，也是 K理論得以抓住整個問題的把手。
為何這一級正是跑道：K理論完成證明
至此先前的導覽開始回本。橢圓算子的符號在 T*M 的零截面之外可逆，於是它把兩個叢黏成一個支集落在餘切叢上的差類——亦即 T*M 的緊支K理論中的一個元素。分析指標是從那個 K-群到整數的一個同態。拓樸指標則是第二個同態，幾何地建造出來：把 M 嵌入一個大球面，藉法叢的湯姆同構把符號類向前推送，再收縮為一點。定理所說的，正是這兩個同態彼此相符。
為何如此滑溜的東西竟能被證明？因為一旦你查驗這兩個同態在足夠多的生成元上相符、又尊重同樣的運算，它們就被逼得相等——而博特週期性恰恰使生成元變得可控，把整個 K理論化約為一具週期的、可計算的引擎。阿蒂亞-辛格的原始證明幾乎全然是一個 K理論的論證；陳特徵——一個從 K理論到有理上同調的環同構——則是那本字典，把抽象的 K理論等式翻譯成你上面看到的具體曲率積分。這一級裡每個命了名的工具——湯姆、博特、陳特徵、分類空間——在這唯一的證明中都是承重的。
狄拉克算子與熱核證明
有一個單一的算子，所有古典情形都由它派生：狄拉克算子。在一個自旋流形上有一個旋量叢，以及一個一階算子 D，其平方是拉普拉斯算子加上一個曲率項——這正是狄拉克當年對波算子取的平方根，移植到了幾何之中。德拉姆、符號、多爾博這三個算子，全都是被一個輔助叢扭曲了的狄拉克算子。所以阿蒂亞-辛格的深層內容其實就是扭曲狄拉克算子的指標，等於 A-帽虧格乘以扭曲叢的陳特徵的積分；其餘一切皆為推論。
還有第二個、分析上美得驚人的證明——熱核方法——它完全繞過了 K理論。其想法是：對任何 t > 0，熱算子 e^{-t D*D} 減去 e^{-t D D*} 的超跡，恰好等於指標，且與 t 無關（麥金-辛格公式），因為非零特徵值成對相消。令 t -> 無窮，只有核與餘核存活，給出指標。令 t -> 0，熱核在對角線附近局部化，其短時漸近完全由局部曲率所統御。那場奇蹟般的「神乎其技的相消」（蓋茨勒的重標度使它變得透明）恰恰剩下 A-帽與陳特徵的密度——拓樸的一側便絲毫不差地以一個曲率積分的姿態現身。
對一篇導覽在這裡能做與不能做的事，要誠實。我們陳述了定理、為它的兩個證明命了名、並向你展示了它所統一的那些特例——但一個真正的證明，無論 K理論的還是熱核的，都是一門研究所課程與一本厚書（阿蒂亞-博特-帕托迪，或 Berline-Getzler-Vergne），而非一頁。你能帶走的東西是真切的、不是口號：解的一個分析計數是一個拓樸積分；符號的同倫類是唯一存活下來的輸入；而那座橋，正是由你這一級耗力建起的 K理論、博特週期性、湯姆同構與陳特徵所編織而成。
這座橋通向何方
退一步，看看被統一的是什麼。一個微分算子是分析的對象；它的指標住在算術之中；而答案則從曲率與示性類讀出。那唯一的方程回溯地解釋了為何高斯-博內、黎曼-羅赫與符號差定理全帶著同一種氣味，且它成了遠超幾何的一匹主力馬——不動點公式（萊夫謝茨版與阿蒂亞-博特版）、透過等變指標而來的李群表示論，以及那些限制了哪些流形竟能承載正純量曲率度量的整性定理。
它也直接通向了物理。狄拉克算子的指標計數的是手徵費米子的零模，於是規範理論中的反常相消便是一個指標的計算；同一圈想法貫穿了四維流形上的唐納森與塞伯格-威滕理論。它還留下了誠實的未竟疆域：非緊緻與奇異空間上的指標理論、有邊界流形上的分析、以及與依然神秘的四維光滑世界的種種聯繫，都是活躍的研究，而非已合上的書。這條定理是這一級的一座頂峰，而非攀登的終點。