JOVANA
Explore Library Glossary Getting Started Three Levels Fields How it works Mission
Join the mission
All guides

博特週期性、托姆同構與陳特徵標

第三篇從向量叢造出了 K 理論環；現在我們迎來三條使它可計算的結構性定理——博特週期性把一座無窮的塔坍縮成週期 2、托姆同構把一個叢與其底空間相聯繫，而陳特徵標則在 K 理論與尋常上同調之間架起橋樑。

我們的位置：一個環，卻沒有明顯的算法

第三篇留給你某個強大而略帶神祕的東西。你取了空間 X 上的向量叢，用格羅滕迪克構造把它們形式地相加、使減法有意義，得到阿貝爾群 K^0(X)；張量積又使它成為一個環。你也見過約化版本 K-tilde^0(X)，它丟掉平凡叢、只度量真正的扭曲。構造是乾淨的。問題在於：照目前的樣子，對你真正在意的空間，你幾乎沒有辦法去計算 K^0(X)——沒有可轉動的長正合序列，也沒有讓 K 理論感覺像同調那般好駕馭的、逐胞腔記帳的類比物。

本篇交給你三條把 K 理論從定義變成可用工具的定理。博特週期性說高階 K 群以週期 2 重複，於是一個無窮序列坍縮成兩塊。托姆同構把一個向量叢全空間的 K 理論與其底空間的相聯繫，而這正是指標定理把問題從流形推上其切叢時所需要的。而陳特徵標是一個（在與有理數張量之後的）從 K 理論到尋常上同調的環同構，讓你能引入你關於德拉姆與奇異上同調所學的一切。三者合起來，就是下一篇指標定理的引擎室。

博特週期性：只有兩層樓的塔

首先，高階 K 群究竟從何而來？你把 K^{-n}(X) 定義為 X 的 n 重懸垂（帶基點）的約化 K 理論，即 K^{-n}(X) = K-tilde^0(S^n X)。懸垂會升高維數，於是這構造出一整個分次序列 ..., K^{-2}, K^{-1}, K^0，以懸垂的次數為指標。先驗地看，這些可能彼此全不相同、序列可能永無止境地行進下去——正是那座會使 K 理論無望徒手計算的無窮塔。倘若你得追蹤無窮多個獨立的群，整門學問都將失控。

博特週期性是那個令人驚異的救援：對複 K 理論，存在一個自然同構 K^{-n}(X) ≅ K^{-n-2}(X)。塔的週期是二。你可能想要的一切，都只住在 K^0 與 K^1 之中；K^2 又是 K^0、K^3 又是 K^1，雙向皆如此。看清這個「2」的來源，最乾淨的辦法是看那個生成元：在 2-球面 S^2 = CP^1 上，約化群 K-tilde^0(S^2) 是無窮循環群，由類 [H] − 1 生成，其中 H 是重言線叢。週期性字面上就是由乘以這個博特類來實現的——在 S^2 上張量那一個叢，是一個把次數移動 2 的同構。

把週期性映射寫開來是具體的：它把 K-tilde^0(X) 中的一個類 a 送到 K-tilde^0(S^2 ∧ X) 中的 b ⊗ a，其中 b = [H] − 1 是博特類、∧ 是碎積，而此映射是一個同構。於是你並不需要那張沒完沒了的清單 K^0, K^{-1}, K^{-2}, K^{-3}, ...，實際上只攜帶兩個群 K^0 與 K^1，並藉由張量 S^2 上一個固定的叢在兩者之間循環。其報酬在於：K 理論的正合序列——先驗地會跑向無窮——折疊成你真能求解的有限六項循環序列，正是我們底下要用的計算骨幹。

托姆空間與托姆同構

下一條定理，是讓指標定理把問題從流形移上其切叢的那一條。先從構造開始。給定一個實的或複的向量叢 E -> X，其托姆空間 Th(E) 是這樣造成的：取 E 的圓盤叢，把它的邊界球面叢坍縮成單獨一點——等價地說，是 E 全空間逐纖維的一點緊化。具體而言：每根纖維 R^k 藉添加一個共用的無窮遠點而成為球面 S^k，而 Th(E) 就是在整個 X 上連續地這麼做的結果。當 X 是一個點時，E 不過是 R^k，其托姆空間就是球面 S^k。

現在來看定理。托姆同構說：對緊底空間 X 上一個秩 k 的複向量叢 E，托姆空間的約化 K 理論同構於底空間本身的 K 理論，即 K-tilde^0(Th(E)) ≅ K^0(X)。此同構由乘以一個特出的托姆類 u_E 給出，它是 K-tilde^0(Th(E)) 中一個典範的元素，由 E 的外冪造成。你在此應能聽見博特週期性的回聲，這並非巧合：博特週期性恰是「一個點上平凡線叢」的托姆同構，而那個叢的托姆空間正是 S^2。一般的托姆同構，就是「被 E 扭曲了」的博特週期性。

這為何如此要緊？因為它畫出的那幅圖。X 上的上同調類往往住在低次；托姆同構取 X 上一個類、把它的次數升高 E 的秩，將它重新打包成托姆空間上一個聚集在零截面附近的類。在尋常上同調裡，同一台機器產出歐拉類（把托姆類沿零截面拉回）與沿纖維積分的蓋辛推前。對 K 理論而言，它是那個形式裝置，讓阿蒂亞-辛格指標定理把一個符號類從切叢「推」下成為底空間上的一個數——我們將在第五篇看見的那個手法。

陳特徵標：通往尋常上同調的橋樑

K 理論與尋常上同調，是同一個空間的兩套不同記帳系統，而陳特徵標就是兩者之間的字典。你在示性類那篇透過分裂原理見過它：把一個叢的陳根寫成 x_1, ..., x_k，並令 ch(E) = e^{x_1} + ... + e^{x_k}，這是一個住在偶數次有理上同調 H^{even}(X; Q) 中的類。展開那些指數函數，得到 ch(E) = rank(E) + c_1(E) + (1/2)(c_1^2 − 2c_2)(E) + ...，一個係數為有理數、以陳類為變量的多項式。

它之所以是對的橋樑，緣於它的兩條代數性質，二者都直接從分裂原理證得。陳特徵標把 K 理論的環運算化為上同調的環運算：它在直和上加性，ch(E ⊕ F) = ch(E) + ch(F)，在張量積上乘性，ch(E ⊗ F) = ch(E) · ch(F)。加性正是讓它能降到格羅滕迪克群（那裡 E ⊕ F 成了和）的依據，而乘性使它尊重環結構。一句話：ch 是一個從 K^0(X) 到 H^{even}(X; Q) 的環同態。

深刻的報酬在此，它也誠實地銳化了 K 理論的角色。一旦你把 K 理論與有理數張量，陳特徵標便成為環的同構：ch: K^0(X) ⊗ Q ≅ H^{even}(X; Q)，同樣地 K^1 ⊗ Q 對應奇數上同調。所以在有理意義下，K 理論攜帶的資訊與尋常上同調完全相同——重新包裝過，但並不更豐富。它們真正分歧之處在整數層面：K^0(X) 與整數上同調 H^*(X; Z) 可以有不同的撓部，而那個整數上的差異，正是尋常上同調看不見的、K 理論的那一部分。這正是為何把 K 理論稱作比上同調「更好」是錯的；它是一個不同的不變量，在有理意義下相符，唯獨在撓部分歧。

Chern character:   ch(E) = e^{x_1} + ... + e^{x_k}      x_i = Chern roots
   = rank(E) + c_1 + (1/2)(c_1^2 - 2 c_2) + (1/6)(c_1^3 - 3 c_1 c_2 + 3 c_3) + ...

   ch(E (+) F) = ch(E) + ch(F)         ch(E (x) F) = ch(E) . ch(F)     (ring homomorphism)

rational iso:   ch : K^0(X) (x) Q  ~=  H^even(X; Q)      (and K^1 (x) Q ~= H^odd)
   => K-theory and cohomology agree rationally; they can differ only in torsion
陳特徵標是一個環同態 K^0(X) -> H^even(X; Q)，與 Q 張量之後成為同構——故 K 理論與上同調攜帶相同的有理資訊。

把它拼起來：球面上的一個小計算

讓我們把這三個想法都開在最簡單的有趣空間——2-球面——上，並看著它們彼此相符。目標是計算 K^0(S^2)，並透過陳特徵標與上同調對照。每當你計算一個低維空間的 K 理論時，同樣這五個步驟都會重現，故值得放慢來做。

  1. 找出生成元。在 S^2 = CP^1 上，諸叢由重言線叢 H 造成。約化群 K-tilde^0(S^2) 是無窮循環群，由博特類 b = [H] − 1 生成；完整的群為 K^0(S^2) = Z ⊕ Z，一個 Z 對應秩（平凡叢）、一個 Z 對應 b。
  2. 留意環結構。類 b 的平方為零，b^2 = ([H] − 1)^2 = 0，因為 b 住在 2-球面的約化 K 理論裡，而 S^2 上更高次已無容身之處。故 K^0(S^2) 是截斷多項式環 Z[b]/(b^2)。
  3. 計算生成元的陳特徵標。線叢 H 的第一陳類 c_1(H) 為 H^2(S^2; Z) 的生成元 g，故 ch(H) = e^{g} = 1 + g（S^2 上更高項消失）。因此 ch(b) = ch([H] − 1) = (1 + g) − 1 = g。
  4. 與上同調對照。偶數上同調為 H^0 ⊕ H^2 = Z ⊕ Z，生成元為 1 與 g。陳特徵標把秩送到 1、把 b 送到 g，故它在此甚至在整數層面就是一個同構 K^0(S^2) ≅ H^even(S^2; Z)——S^2 沒有撓部，故有理與整數的相符在此重合。
  5. 確認週期性。乘以博特類 b 恰是週期性同構 K-tilde^0(X) ≅ K-tilde^0(S^2 ∧ X)；在一個點上它尋回 K-tilde^0(S^2) = Z。你方才找到的那單一個生成元，字面上就是整套理論博特週期性的引擎。

退一步，欣賞這三條定理在這一個例子上扣合得多麼緊密。K-tilde^0(S^2) 的生成元是博特類（週期性）；它同時也是一個點上平凡線叢的托姆類（托姆同構）；而陳特徵標把它送到上同調的生成元 g（橋樑）。一個叢 [H]，同時見證了全部三種結構。這並非 S^2 的巧合——正因如此，這三條定理通常是一起證明的，彼此相互倚靠。

這解鎖了什麼，以及通往指標定理的誠實之路

有了這三條定理在手，K 理論終於成為一件計算的器械。博特週期性把一座無窮的群塔縮成兩塊，於是序對的長正合序列（週期性把它變成六項的循環序列）真的閉合起來、可以求解。托姆同構讓你在底空間與其叢之間搬運 K 理論，這正是指標定理不斷施行的手法。而陳特徵標把一切繫回你早已信賴的上同調，把 K 理論的陳述轉成你能積分的有理上同調陳述。每一條定理都移除了第三篇中、那個使 K 理論感覺像一個沒有微積分的定義的障礙。

通往第五篇的橋樑在此，誠實地陳述。阿蒂亞-辛格指標定理純拓樸地計算一個橢圓算子的解析指標——其核與餘核維數之差，一個度量「方程有多少解」的整數。這套配方用上了本篇的每一條定理：算子的符號在切叢的 K 理論中定義一個類；托姆同構把那個類推下到流形上；陳特徵標把它轉成一個上同調積分；而博特週期性正是保證符號類一開始就住在對的群裡的東西。指標於是就是 ch(符號) · Td(M) 在 M 上的積分，一個上同調配對。

兩段誠實的結語。先談範圍：我們陳述並啟發了博特週期性與托姆同構，並以那一個完整演算的例子 S^2 領路，因為一個被理解的案例勝過一條你無法想像的最廣定理——但任一者的真正證明是一門課程，而第五篇的指標定理將是一篇概覽，而非一段推導。再談謙遜：陳特徵標唯有在與 Q 張量之後才是同構，故別相信「K 理論不過就是上同調」那句口號——它們所分歧的整數撓部，恰恰是 K 理論物有所值之處，也正是讓它能偵測有理上同調視而不見的可除代數與向量場現象的東西。帶著精確的假設、而非口號，走進最後一篇。