從光滑到拓樸：丟掉流形，留住黏合
你來到本級時，已經對叢那一級的光滑向量叢駕輕就熟：一個底流形、一個纖維 R^n，以及記錄局部碎片如何黏合的轉移函數 g_ij。這裡的第一步是一次刻意的遺忘。一個秩為 n 的拓樸向量叢，是拓樸空間 X 上的一個連續滿射 pi: E -> X，它局部上是乘積 U x R^n，其轉移函數 g_ij: U_i cap U_j -> GL(n, R) 只要求是連續的而非光滑的——而且 X 完全不必是流形，只需是個像樣的空間（豪斯多夫且仿緊是我們全程預設的安全設定）。
為什麼要費事削弱假設？因為本級真正要緊的問題——到底有多少個叢、什麼不變量能把它們區分開——是拓樸的而非微分的，而拓樸範疇正是這些問題有最乾淨答案的地方。一個出人意料的暖身事實定下了基調：在可縮空間上，每個向量叢都是平凡的。所以 R^n 上只有那個枯燥的叢，全部的豐富性都住在帶有拓樸的空間上，例如球面與射影空間。把這點記住——叢理論之所以有趣，恰恰是因為底空間不可縮。
黏合：用一個取值於矩陣的映射在球面上造出叢
在一般定理之前，先把一個具體的奇蹟握在手裡：球面 S^k 上的每一個向量叢都來自單一個映射。用兩個可縮的帽子覆蓋 S^k，即上半球 D_+ 與下半球 D_-，它們在一條加厚的赤道上重疊，而這條赤道形變收縮到 S^(k-1) 上。每個帽子都可縮，所以任何叢在其上都平凡——真正要指定的轉移函數只有一個，就是重疊處的那個。這唯一的連續映射 f: S^(k-1) -> GL(n, R)，稱為黏合函數，把兩塊平凡片 U_+ x R^n 與 U_- x R^n 黏成整個球面上的一個叢。
現在來到預告整級的關鍵句：兩個黏合函數給出同構的叢，恰恰當它們作為映射 S^(k-1) -> GL(n, R) 同倫之時。於是 S^k 上秩為 n 的叢與同倫類 [S^(k-1), GL(n, R)]——也就是與 pi_(k-1)(GL(n, R))——一一對應。叢的分類悄悄變成了一個同倫群的計算。最簡單的活生生範例：S^1 上的實線叢對應於 pi_0(GL(1, R)) = pi_0(R 去掉 0)，它有兩個連通分支（行列式為正與為負）。恰好兩個叢：平凡的圓柱與莫比烏斯帶。我們即將搭建的整套機器，就是把這個範例普遍化。
S^k = D_+ u D_- , D_+ n D_- ~ S^(k-1)
clutching function: f : S^(k-1) -> GL(n, R)
E_f = (D_+ x R^n) u (D_- x R^n) / (x, v)_- ~ (x, f(x) v)_+ for x in S^(k-1)
{ rank-n bundles on S^k } <--> [ S^(k-1) , GL(n,R) ] = pi_(k-1)( GL(n,R) )
k = 1, n = 1: pi_0( GL(1,R) ) = { + , - } -> cylinder vs. Mobius band拉回：映射搬動叢，而同倫的映射搬法相同
要把黏合技巧普遍化，我們需要那個讓映射攜帶叢的運算。給定一個叢 pi: E -> Y 與一個連續映射 f: X -> Y，X 上的拉回叢 f*E 在 x 上的纖維，等於 E 在 f(x) 上的纖維；具體地說，它是 X x E 的子空間 { (x, e) : f(x) = pi(e) }。用上閉鏈語言說，拉回毫不費力：若 E 在 Y 上由轉移函數 g_ij 黏成，則 f*E 在 X 上就由複合 g_ij 接在 f 之後黏成。拉回是函子性的——它尊重複合與同構——所以它正是沿映射往回搬動叢的那件工具。
下游的一切都倚賴一條定理，即拉回的同倫不變性：若 f 與 g: X -> Y 是同倫的映射（X 仿緊），則 f*E 與 g*E 是同構的叢。直覺是：一個同倫就是 X x [0,1] 上的一個叢，而柱體上的叢在兩端是相同的——你可以沿著區間把一個同構滑動過去。這正是為什麼可縮的底空間逼出平凡性：在可縮空間上常值映射與恆等映射同倫，而沿常值映射拉回給出平凡叢。把這個結論牢牢抓住；分類定理就在它這個鉸鏈上轉動。
無窮格拉斯曼流形：每個叢早已住在那裡的房間
這裡是核心對象。格拉斯曼流形 Gr(n, N) 是 R^N 中所有 n 維線性子空間所成的空間——例如 Gr(1, N) 是通過原點的直線所成的空間，也就是射影空間 RP^(N-1)。Gr(n, N) 的每個點實實在在就是一個 n 平面，所以它上面坐著一個顯然的叢：重言叢，它在平面 P 上的纖維就是那個平面 P 本身。現在讓 N 無界地增長，把 R^1 嵌入 R^2、嵌入 R^3，如此下去；這些格拉斯曼流形的聯集就是無窮格拉斯曼流形 Gr(n, 無窮)，而那些重言叢拼成它上面的一個秩為 n 的叢，即萬有叢 EG。
為什麼 Gr(n, 無窮) 是正確的房間？因為 X 上一個秩為 n 的叢，所含的資料恰恰等於：對每一點 x，連續地選定某個大空間 R^N 中一個容納纖維 E_x 的 n 維子空間——而連續地選定 n 平面，正正就是一個映射 X -> Gr(n, N)。N 越大，你就有越多空間把纖維攤開而不互撞；在極限下，Gr(n, 無窮) 對任何合宜的 X 上的任何叢都有足夠的空間。要把這件事做得誠實，你把叢嵌入一個平凡叢 X x R^N（仿緊 X 上的單位分解供給這個嵌入），而由此得到的、把 x 送到纖維之像的映射，就是你的分類映射 f: X -> Gr(n, 無窮)。
分類定理：叢就是映射的同倫類
把三項材料湊齊，定理便掉了出來。我們有 (1) 分類空間 BG = Gr(n, 無窮) 上的萬有叢 EG；(2) 拉回，它把映射 f: X -> BG 變成 X 上的叢 f*EG；以及 (3) 同倫不變性，它說同倫的映射給出同構的叢。同倫分類定理斷言：對仿緊的 X，對應 f -> f*EG 是從映射的同倫類 [X, Gr(n, 無窮)] 到 X 上秩為 n 的向量叢的同構類之間的一個雙射。滿是因為每個叢都有分類映射（上面的嵌入）；單是因為同構叢的兩個分類映射可以用一個同倫連起來。
讀懂這替你換來了什麼。一個幾何問題——把 X 上的叢分類——已變成一個同倫論問題——把映射 X -> BG 在同倫意義下分類。對實叢，空間 BG = Gr(n, 無窮) 也寫作 BO(n)（對複叢則寫作 BU(n)，即複 n 平面的格拉斯曼流形），因為它的圈與扭的結構編碼了正交群 O(n)。至關緊要的是，這也解釋了那個黏合計算：S^k 上的叢是一個映射 S^k -> BO(n)，所以它們的集合是 pi_k(BO(n))，而標準同倫論把它等同於 pi_(k-1)(O(n))——恰恰就是黏合給出的答案，如今是從萬有圖景導出，而非一個球面一個球面地猜出。
為何這是本級其餘部分的發射台
分類定理是其後一切的引擎，而其運作機制陳述起來很簡單。一個示性類是這樣一條法則：它賦予每個秩為 n 的叢一個底空間上的上同調類，且在拉回下自然：c(f*E) = f*(c(E))。依分類定理，每個叢都是某個 f 的 f*EG，所以一個示性類完全由它在萬有叢 EG 上的值所決定——也就是由 H*(BO(n)) 中的單一個上同調類所決定。因此整套示性類理論不過就是分類空間上同調環的計算，再經由分類映射讀回到底空間。這字面上就是第二篇的內容。
- 從一個你想理解的秩為 n 的向量叢 E -> X 出發。
- 用單位分解把它的纖維嵌入一個大的平凡叢 X x R^N；這造出一個分類映射 f: X -> Gr(n, 無窮) = BO(n)。
- 把 E 認作萬有叢的拉回 f*EG，其中 f 在同倫意義下唯一。
- 沿 f 把萬有上同調類從 H*(BO(n)) 拉回，得到叢在 X 上的示性類。
最後讓我們誠實地交代：搭起了什麼、又欠下了什麼。我們手上只有那個靜態的分類——叢與映射同倫類之間的一本字典——尚未計算過任何一個上同調環、未曾用公式定義過任何一個示性類，也還沒碰 K理論。連流形的切叢 TM 如今都有了一個分類映射 M -> BO(n)（嵌入歐氏空間的高斯映射），而它的同倫類是光滑結構的一個如假包換的不變量——但從中萃取出數字，是後面幾篇的工作。第二篇計算 H*(BO(n)) 與 H*(BU(n)) 以定義史蒂弗-惠特尼類與陳類；第三篇把所有叢打包成群 K(X)；第四、五篇抵達博特週期性、湯姆同構、陳特徵與阿蒂亞-辛格。把這個萬有房間的圖景帶在身邊；它是這一切之下的地板。