缺陷所在：叢能加卻不能減
至此你手上已有兩件工具。本級第一篇告訴你，合理空間 X 上的向量叢在同構意義下，由映入格拉斯曼流形之映射的同倫類所分類，所以叢的集合是 X 的一個拓樸不變量。第二篇讓你能替一個叢繫上一些數——它落在上同調裡的史蒂弗-惠特尼類、陳類與龐特里亞金類。如今我們問一個更具結構性的問題：X 上所有叢的集合能不能化成一個你真正能拿來計算的代數對象？最自然的運算是直和 E + F，惠特尼和公式早已告訴你它在類上如何追蹤。直和滿足結合律與交換律，秩為零的叢是單位元，所以 X 上叢的同構類構成一個交換么半群。
么半群是個薄弱的東西。麻煩出在減法：並不存在誠實的「E 減 F」。一個非零的叢沒有加法逆元，因為 E + F 永遠不會是零叢，除非兩者皆為零——秩會相加，而秩不能為負。所以你無法在么半群裡解 E + X = F 求 X，也無法自由消去；在一般空間上 E + G iso F + G 並不強迫 E iso F。這正是自然數所處的困境：你能把 3 與 5 相加，但「3 減 5」在你發明負整數之前並無答案。對數行得通的修補，對叢也會行得通，而它有個名字。
格羅滕迪克的完備化：逼出逆元
把自然數變成整數的那個構造，會把任意交換么半群變成一個群，它叫做格羅滕迪克群。回想 Z 是如何由 N 造出的：一個整數是兩個自然數的形式差 a - b，而你規定 a - b = c - d 意指 a + d = b + c——這個方程完全活在 N 內部，從不需要減法。整數 3 是 3 - 0 的類，整數 -2 是 0 - 2 的類，而加法 (a - b) + (c - d) = (a + c) - (b + d) 在這些類上良好定義。沒有假設任何東西；減法是由純粹的加法製造出來的。
現在把食譜逐字照抄，只把數換成叢、把加號換成直和。拓樸 K理論 K(X) 的一個元素就是叢類的形式差 [E] - [F]，而兩個這樣的元素被宣告相等，[E] - [F] = [E'] - [F']，恰當存在某個叢 G 使得 E + F' + G iso E' + F + G。那個額外的加項 G 就是數所不需要的那一絲微妙之處：叢不能自由消去，所以你必須容許自己在比較之前先加上一個共同的 G——也就是穩定化。加法是 [E] - [F] 加 [E'] - [F'] 等於 [E + E'] - [F + F']，[E] 的逆元是 [0] - [E]，於是減法終於存在了。類 [E] - [F] 有時稱為虛擬叢：一個叢減一個叢，它本身並不是叢，卻誠實地活在這個群裡。
Numbers N -> Z Bundles over X -> K(X)
formal difference a - b formal difference [E] - [F]
a - b = c - d [E] - [F] = [E'] - [F']
iff a + d = b + c iff E + F' + G iso E' + F + G
for some bundle G (stabilize)
add: (a-b)+(c-d) = (a+c)-(b+d) add: ([E]-[F]) + ([E']-[F']) = [E+E'] - [F+F']
-n = 0 - n inverse of [E] = [0] - [E]
unit element 0 unit element [0] (rank-zero bundle)
bonus on bundles only: multiply [E][F] = [E (x) F] (tensor product)K(X) 是一個環，也是一種廣義上同調理論
叢有一個數所沒有的運算：張量積 E tensor F。張量積對直和滿足分配律、平凡線叢是單位元，而這些性質在格羅滕迪克構造下存活下來，所以 K(X) 在它的加法之上還承載一個乘法 [E][F] = [E tensor F]。這就是 K理論的環結構：K(X) 是一個帶單位元的真正交換環，單位元是平凡線叢的類。值得說出口的微妙之處在於，這個乘法是張量積——不是合成、不是任何逐點的把戲——而後續定理所利用的正是這個張量積環，而非僅僅是底層的群。
K(X) 同時也是反變的、且與同倫和睦相處。一個連續映射 f: X -> N 能把叢拉回，而拉回尊重直和與張量，所以它誘導出一個從 K(N) 到 K(X) 的環同態 f^*；又因為沿同倫映射的拉回給出同構的叢，f^* 只依賴 f 的同倫類。這正是上同調理論的形式樣貌。事實上，把 K 延拓成一個分次族 K^0, K^1, ... 便得到一個真正的廣義上同調理論：它是同倫不變的、具備預期的長正合序列，並滿足除一條外的所有艾倫伯格-斯廷羅德公理。它唯一捨棄的那條是維度公理——單點的 K 是 Z（即秩），而非如尋常上同調那樣集中在零次。
約化 K理論：剝去秩
每當你計算 K(X)，你都會發現裡頭坐著一份枯燥的自由 Z 副本，它記錄的無非是叢的秩——它在一點處作為向量空間的維度。每個空間都有它而它不帶任何幾何，所以你常常想把它除掉。在 X 中選一個基點 x_0，在那裡求秩給出一個環同態 K(X) -> K(point) = Z，而約化 K理論 K-tilde(X) 便定義為它的核：秩相等的虛擬叢 [E] - [F]。等價地說，K(X) 分裂成 K-tilde(X) + Z，那個 Z 就是秩座標，而 K-tilde(X) 作為一個理想坐落於 K(X) 之中。
約化 K理論度量的是穩定現象，而這個詞要求誠實。兩個叢 E 與 E' 稱為穩定同構，若 E 加上某個秩為 k 的平凡叢，同構於 E' 加上同秩的平凡叢；約化 K理論恰是直和下穩定同構類所成的群。關鍵的告誡是：一個叢可以是穩定平凡的——在 K-tilde(X) 中為零——卻仍然作為一個不穩定的叢真正非平凡。經典的例子是球面的切叢 TS^2：它是非平凡的（毛球定理禁止處處非零的截面），然而 TS^2 加上平凡的法線叢就是平凡的秩 3 叢，所以 TS^2 是穩定平凡的，在約化 K理論中消失。穩定平凡嚴格弱於平凡。
一個算過的例子：二維球面的 K
抽象唯有面對一場計算才能贏得信任，所以讓我們把 K(S^2) 釘下來。S^2 上的複線叢由單一整數所分類，即它們的第一陳類，也就是在赤道上把兩塊平凡片黏合的轉接函數的纏繞數。記 H 為第一陳類 c_1 = 1 的重言（超平面）線叢；於是每個線叢都是 H 的某個張量冪，而約化理論的關鍵生成元是虛擬叢 h = [H] - 1，即把 H 的秩減去之後落入 K-tilde(S^2) 的那個叢。
- 取 K-tilde(S^2) 中的生成元 h = [H] - 1，其中 H 是第一陳類 c_1(H) = 1 的重言線叢。所有約化的東西都由這一個類造出。
- 計算 h^2 = ([H] - 1)^2 = [H tensor H] - 2[H] + 1。換成陳類，[H tensor H] 的 c_1 = 2、[H] 的 c_1 = 1，而在 S^2 上一個叢的 K 類由秩與 c_1 決定，所以這個組合相消：h^2 = 0。
- 推出約化理論：K-tilde(S^2) = Z，由 h 生成，唯一的關係式為 h^2 = 0。恰有一份真正扭轉的 Z，由第一陳類所捕捉。
- 把秩加回去得到完整的環：K(S^2) = Z[h]/(h^2)，一個截斷的多項式環，作為群 K(S^2) = Z + Z = Z^2（兩份 Z 即秩與第一陳類）。
那個小小的環 Z[h]/(h^2) 是整套理論的第一個非平凡資料點。類 h 在差一個平移的意義下就是博特元，而「乘以它是一個同構」這個陳述正是博特週期性——那個驚人的事實：複 K理論每兩個次數就重複，所以整道無窮的階梯由這一段短短的計算反覆抄寫而確定。我們在此僅作陳述；本級的下一篇證明並運用它，連同湯姆同構與陳特徵。請注意這份誠實的分工：本篇從頭造出群與環，並在 S^2 上驗證了它們；至於週期性，那個使 K理論可計算的深刻定理，是它自己的主題，而真正的證明是一門課，不是一個段落。
何必如此：K(X) 在何處站得住腳
回報在於：困難的幾何問題化成了環的計算。最初的勝利是亞當斯對球面上向量場問題的解決：球面 S^{n-1} 究竟承載多少個線性無關的切向量場，可由 K理論讀出，而這個問題完全抵抗了尋常的上同調。約化 K理論也是最乾淨地陳述霍普夫不變量為一之結果、以及可平行化球面之分類（只有 S^1, S^3, S^7）之處。在每一例中，叢論的群 K-tilde(X) 都看見了維度分級的上同調所打亂掉的結構。
最深的回報，也是本級的終點，是阿蒂亞-辛格指標定理。流形上一個橢圓算子有一個解析指標——解的維度減去障礙的維度，一個由艱深分析數出的整數——而定理把它等同於一個由算子的符號在 K理論中組裝出的拓樸指標。K理論之所以是指標定理的母語，正因為橢圓算子的符號天生就是叢的差、一個虛擬叢，恰恰是格羅滕迪克構造被造來承載的那種對象。你方才藉由把減法強加於叢之上所造出的群，正是分析與拓樸之間的橋梁。我們在本級最後一篇陳述並啟發指標定理；我們不證明它，而你應對自己誠實：真正的證明是一本書。