從分類映射到可計算的數
上一篇以一個乾淨卻抽象的定理作結：合理空間 X 上一個秩 k 的實向量叢，等同於一個映入分類空間 X -> BO(k) 的同倫類資料，而該空間的泛模型就是無窮維格拉斯曼流形 Gr_k(R^infinity)。原則上這令人滿意，在書桌前卻無用：沒有人會用手算一個映射的同倫類。示性類正是把這個抽象分類化為算術的把戲。其想法是一勞永逸地在泛空間上固定一個上同調類，再沿你遇到的任何叢之分類映射把它拉回。
把它說精確。設 c 是相關結構群 G 對應的 H^*(BG) 中一個固定元素，而叢 E -> X 有分類映射 f: X -> BG。那麼 c(E) := f^*(c) 是 H^*(X) 中的一個類。因為 f 在同倫意義下被確定，且上同調中的拉回是同倫不變量，所以 c(E) 只依賴 E 的同構類——絕不依賴黏合圖卡、聯絡，或你所做的任何選擇。這就是整部引擎：每一個示性類都是某個泛類的拉回，因而自動是自然的，意即對任意映射 g 都有 c(g^*E) = g^*(c(E))。把 H^*(BG) 算過一次，就一舉交給你一份對所有空間上所有叢同時適用的完整不變量目錄。
史蒂弗-惠特尼類：實叢的 Z/2 面孔
對一個實叢而言，最乾淨的不變量住在模 2 上同調裡，那裡定向的麻煩消失了，因為正與負一致。秩 k 的實叢 E 的總史蒂弗-惠特尼類是 w(E) = 1 + w_1(E) + w_2(E) + ... + w_k(E)，其中 w_i(E) 落在 H^i(X; Z/2) 中。與其用公式造出它們，不如用它們唯一滿足的公理把它們釘死，這樣更乾淨也更誠實：這正是你見過用來刻畫行列式或列維-奇維塔聯絡的招數——列出諸性質，再證明只有一個對象全數滿足。
AXIOMS for Stiefel-Whitney classes w_i(E) in H^i(X; Z/2): (1) Rank w_0 = 1, and w_i(E) = 0 for i > rank(E) (2) Naturality w(f^* E) = f^*( w(E) ) (pullback compatible) (3) Whitney sum w(E (+) F) = w(E) . w(F) (cup product) (4) Normalization w_1( tautological line on RP^1 ) =/= 0 Whitney sum spelled out by degree, with E (+) F : w_1 = w_1(E) + w_1(F) w_2 = w_2(E) + w_1(E) w_1(F) + w_2(F) ... (collect the total products degree by degree)
第三條公理是主力，即惠特尼求和公式 w(E (+) F) = w(E) . w(F)，其中乘積是上同調裡的杯積。它說總類在直和下可乘，這正是使計算可行的關鍵：把一個棘手的叢拆成你懂的若干片之和，相乘，再按次數讀出各分量。最低的類 w_1(E) 落在 H^1(X; Z/2) 中，有個鮮明的意義——它是替 E 定向的障礙，恰好在 E 可定向時消失。切叢的頂類 w_k 與模 2 的尤拉示性數相關。
這裡有個值得隨身攜帶的典範例子。克萊因瓶與莫比烏斯帶的切（或法）線叢，其 w_1 皆非零——那單一個非零的 Z/2 類，就是不可定向性的代數指紋。具體地說，射影直線 RP^1 上的重言線叢，其 w_1 等於 H^1(RP^1; Z/2) = Z/2 的生成元，這恰是規範化公理；它就是莫比烏斯帶，最簡單的扭轉叢，而它那一位元的史蒂弗-惠特尼資料說：「我解不開扭轉。」
陳類：複叢的整係數不變量
複叢比實叢更乖巧，因為複向量空間帶有典範定向，所以那些把史蒂弗-惠特尼類逼進 Z/2 的定向麻煩根本不出現。秩 n 的複叢 E 的總陳類是 c(E) = 1 + c_1(E) + ... + c_n(E)，其中 c_i(E) 落在 H^{2i}(X; Z) 中——注意這些類坐落於偶數次，且帶著貨真價實的整數係數。它們服從同一族公理：自然性、惠特尼求和公式 c(E (+) F) = c(E) . c(F)、超過秩即消失，以及一個規範化，把複射影直線 CP^1 上重言線叢的 c_1 定為 H^2(CP^1; Z) 的生成元。
第一陳類 c_1 是全場主角，而你先前已遇過它的種種化身。對一個複線叢而言，c_1 in H^2(X; Z) 是完全不變量：線叢在同構意義下恰由 c_1 分類，所以 L -> c_1(L) 這個映射是從線叢的皮卡群到 H^2(X; Z) 的群同構。在一個複流形上，一個全純線叢帶有同一個 c_1，這正是為何黎曼曲面上一個線叢的次數，就是 c_1 在曲面上的積分。同一個整數又化身為纏繞數、磁荷，以及除子的次數——示性類正是所有這些故事交會之處。
龐特里亞金類與分裂原理
那麼當你確實想要整係數、而不只是 Z/2 時，對一個實叢該怎麼辦？招數是複化：給定實叢 E，造出 E (x) C，一個同秩的複叢，再讀出它的陳類。龐特里亞金類定義為 p_i(E) = (-1)^i c_{2i}(E (x) C)，落在 H^{4i}(X; Z) 中。複化的奇陳類是 2-撓的，故被棄去，這正是為何龐特里亞金類住在 4 的倍數次，並捕捉那些經複化後存活的整係數資訊。它們是定向敏感問題的自然實叢不變量——符號差、奇異球面、以及指標定理，全都用龐特里亞金數說話。
現在登場的是讓這一切變得可駕馭的證明技術：分裂原理。它說對任意叢 E -> X，存在一個空間 Y 與一個映射 p: Y -> X，使得拉回 p^*: H^*(X) -> H^*(Y) 是單射，且拉回的叢 p^*E 分裂成線叢的直和。回報是巨大的。因為 p^* 是單射，任何你在分裂後於 H^*(Y) 中證得的等式都會降回 X；又因為樓上每個叢都成了線叢之和，你永遠只需理解線叢。總類因式分解成諸 (1 + x_i) 之積，其中 x_i 是各線叢加項的第一類——即陳根。
有了陳根，公式便成了初等對稱函數，繁瑣的記帳也隨之蒸發。若 E 有陳根 x_1, ..., x_n，則 c(E) = product of (1 + x_i)，故 c_1 = sum of x_i、c_2 = sum over i<j of x_i x_j、c_n = product of x_i——正是初等對稱多項式。惠特尼求和公式於是不過是「直和的根是諸根的併集」，這是顯然的。分裂原理正是你能藉由「假裝所有叢都是線叢之和」（縱然它們並非如此）來推導陳特徵、托德類，與每一條指標理論公式的緣由。
通往同一個類的兩條路：拓樸與曲率
我們是以拓樸方式建造這些類的——藉由從分類空間拉回泛類，只用同倫與上同調，別無他物。但在叢與聯絡那一軌你見過一個截然不同的建構：陳-外爾理論，在那裡你給叢配上一個聯絡，取它的曲率形式 Omega，把 Omega 餵進一個不變多項式，便得到一個閉微分形式，其德拉姆上同調類與聯絡無關。例如，Omega 的跡給出 c_1 的一個代表，而 det(I + (i/2pi) Omega) 給出總陳類。
深刻且真正令人驚訝的事實是：這兩條路落在同一處——由任何聯絡的曲率所造的陳-外爾形式，在實係數上同調裡，恰好代表那個從 BU(n) 拉回的拓樸陳類。一條路是純拓樸，在任何係數環上都行；另一條是微分幾何，產出一個你可以積分的明確形式。這就是本級標題所允諾的橋——拓樸丈量幾何。曲率是依賴度量與聯絡的幾何資料，然而它所落入的上同調類卻是一個忘掉這一切的拓樸不變量。
這指向何方
退一步看你如今握有什麼。你能為任何叢繫上一串上同調類——複叢用 Z/2 的史蒂弗-惠特尼、整係數的陳類，實叢用整係數的龐特里亞金——而這些類是自然的、在惠特尼求和下可乘、可透過分裂原理計算、且（在實係數上同調中）可由曲率代表。它們把上一篇的抽象分類化為誠實的算術，並讓你只需展示單一個非零的數，就能證明一個叢非平凡。
自然的下一問是結構性的：與其一次處理一個叢，不如把 X 上所有的叢組織成單一個代數對象。這正是下一篇拓樸 K理論的主題，在那裡叢的直和與張量積成了加法與乘法，而格羅滕迪克群 K(X) 一舉打包每一個叢。示性類將在那裡以從 K(X) 出發的環同態之姿重現——總陳類，尤其是陳特徵，成了 K理論與尋常上同調之間的字典，正是本級結尾指標定理所需的工具。