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

陳–韋伊理論：從曲率到示性類

在叢上任取一個聯絡，對其曲率取一個不變多項式，你便得到一個閉形式，而其上同調類竟不依賴於所選的聯絡。這個單一的奇蹟，把微分幾何變成一台製造拓樸不變量的機器。

謎題：曲率依賴聯絡，那它怎能是拓樸的？

從上一篇你已掌握主叢或向量叢上一個聯絡的曲率 2-形式 Omega，它是取李代數值的 2-形式，局部上由聯絡 1-形式 A 算出為 Omega = dA + A ^ A。你也有比安基恆等式 dOmega + [A, Omega] = 0，這是曲率永遠服從的微分約束。驅動整篇導引的張力在此：曲率是個徹頭徹尾幾何的對象。改變聯絡——選一種不同的平行移動方式——Omega 就跟著變。乍看之下曲率無法告訴你任何拓樸資訊，因為拓樸不該在意你選了哪個聯絡。

解法正是陳–韋伊理論的核心：別盯著 Omega 本身，去看它的不變純量組合。最乾淨的例子是跡。對一個曲率為取矩陣值 2-形式的向量叢，trace(Omega) 是一個普通的 2-形式，trace(Omega ^ Omega) 是一個普通的 4-形式。論斷是——我們下面會把它掙來——這些純量形式永遠是閉的，而它們所代表的德拉姆上同調類不依賴於聯絡。幾何在晃動；上同調類卻巋然不動。

不變多項式：你唯一需要的原料

跡並非僥倖的猜測；它是一整族中最簡單的成員。一個不變多項式 P 是矩陣 X 各元的多項式（把 X 想成住在李代數 g 中的一個曲率值），在共軛下不變：對結構群中所有 g 都有 P(g X g^(-1)) = P(X)。共軛不變性的要點正是：它消去了你對叢如何平凡化的依賴。標準例子有 P(X) = trace(X)、P(X) = trace(X^2)，更一般地是特徵多項式 det(t I + X) 的各係數，它們封裝了 X 各特徵值的初等對稱函數。

現在把曲率餵進這樣一個 P。因為 Omega 是 2-形式，每個乘積都是楔積；又因為 P 由矩陣各元的乘積構成，P(Omega) 便化為一個普通的微分形式——若 P 是 k 次齊次，則為一個 2k-形式。P 的共軛不變性正是 P(Omega) 在整體上有良好定義的原因：在交疊區上，兩個局部曲率相差一個共軛，而 P 把這差異洗掉。所以 P 身兼二職：它把你帶進純量（未扭轉）形式，又能跨圖卡黏合。

P(X) = trace(X)            -> P(Omega) is a 2-form
P(X) = trace(X ^ X)        -> P(Omega) is a 4-form
det(I + (i/2pi) X) = 1 + c_1(X) + c_2(X) + ...
   c_1 = (i/2pi) trace(X)
   c_2 = (1/2)(i/2pi)^2 ( trace(X)^2 - trace(X^2) )
曲率值 X 的不變多項式；行列式展開把陳類 c_1, c_2, ... 封裝成它的各齊次部分。

為何 P(Omega) 是閉的：比安基出手

奇蹟的前半是閉性：d P(Omega) = 0。引擎是比安基恆等式，它說曲率的共變外導數為零。用萊布尼茲法則對 P(Omega) 求導，每一項都含一個 Omega 的共變導數因子。P 的不變性（求導後成為無窮小不變性恆等式）讓你把普通的 d 換成共變導數；比安基於是說該共變導數為零。於是每一項都消失，d P(Omega) = 0。這閉性並非運氣——它恰是比安基恆等式的上同調投影，正是我們上一篇所說那條「乾淨得不像意外」的約束。

在跡上有個乾淨的看法：trace(Omega) 局部上是 trace(dA + A ^ A) = d trace(A)，因為對取矩陣值的 1-形式有 trace(A ^ A) = 0（楔積的反對稱與跡的循環性相互抵消）。所以 trace(Omega) = d trace(A) 局部上是恰當的，因而當然是閉的。對 trace(Omega ^ Omega)，同樣的「循環跡加比安基」計算給出 d trace(Omega ^ Omega) = 0。這兩個小計算，便是你最常遇到的情形中閉性的全部證明。

為何上同調類不依賴聯絡：轉移技巧

後半——也是深刻的一半——是上同調類 [P(Omega)] 在你更換聯絡時不變。取同一叢上的兩個聯絡 A_0 與 A_1。它們的差 a = A_1 - A_0 是個如假包換的張量性 1-形式（非齊次的變換項在差中抵消），於是你可線性內插：A_t = A_0 + t a，這是 t in [0, 1] 的一族光滑聯絡，其曲率為 Omega_t。現在對 t 求 P(Omega_t) 的導數。在再次用上 P 的不變性與比安基恆等式後，結果是一個恰當形式：P(Omega_t) 對 t 的導數等於某個明確對象的 d。

  1. 內插：令 A_t = A_0 + t a，其中 a = A_1 - A_0 是張量性的，並令 Omega_t = dA_t + A_t ^ A_t 為沿此路徑的曲率。
  2. 對 t 求不變多項式的導數：用 P 的極化與比安基恆等式作一個簡短計算，得 d/dt P(Omega_t) = d TP(a, Omega_t)，其中 TP 是 a 與 Omega_t 的一個泛用表達式。
  3. 對 t 從 0 積到 1：P(Omega_1) - P(Omega_0) = d ( integral over [0,1] of TP(a, Omega_t) dt )。右邊是一個整體定義的形式的 d。
  4. 下結論：P(Omega_1) 與 P(Omega_0) 相差一個恰當形式，故在德拉姆上同調中 [P(Omega_1)] = [P(Omega_0)]。此類是叢的、不依賴聯絡的不變量。

中間形式 TP——其 d 給出那個差的東西——就是轉移形式（或陳–西蒙斯形式）。它不只是記帳：當叢是平凡的、你拿平坦聯絡來比較時，轉移形式就是出現在三維拓樸與規範理論中的陳–西蒙斯不變量。所以連通性無關的證明，悄悄地免費塞給你一個第二級的次級不變量——這是本主題反覆出現的母題：一個定理裡的「誤差項」往往是另一個定理裡的「主角」。

陳–韋伊同態，以及 S^2 上的一個範例

把這兩半打包，你便得到陳–韋伊同態：一個從結構群的不變多項式到底空間德拉姆上同調的映射 P |-> [P(Omega)]。它是環同態——多項式的乘積對應到類的杯積——並且正是製造陳類、龐特里亞金類與歐拉類的那台精確機器。每個有名的類，不過是某個特定不變多項式的陳–韋伊像：陳類來自複叢上的 det(I + (i/2pi)Omega)，龐特里亞金類來自實叢上的偶次部分，歐拉類來自定向偶秩叢上的普法夫式。

在二維球面上把它落實。切叢 TS^2 帶有圓對稱度量的列維–奇維塔聯絡，其曲率由高斯曲率 K = 1 主宰。歐拉類的被積式，差一個 (1/2pi) 歸一化，就是 K 乘以面積形式，故在 S^2 上積分得 (1/2pi) 乘以 integral of K dA = (1/2pi)(4pi) = 2。那個整數 2 是 TS^2 的歐拉數，等於歐拉示性數 chi(S^2) = 2——而這恰好是高斯–博內定理，如今被看作陳–韋伊的一個實例。你隨意形變度量；K 與面積形式都會變，但積分釘在 2 不動，因為它是上同調不變量。

它的位置，以及接下來的去向

退一步欣賞這論證的形狀，因為同樣的形狀在現代幾何中無處不在。你從一個顯然是幾何且依賴聯絡的量出發（曲率）。你施以一個剝除規範自由度的不變操作（一個不變多項式）。比安基恆等式使結果閉合；轉移論證使其類不依賴於選擇。倖存下來的，就是拓樸。這套「對一個局部幾何密度積分以得到一個整體整數」的模式，正是阿蒂亞–辛格指標定理的種子，那裡一個算子的解析指標等於曲率的一個陳–韋伊積分——這是一個更宏大的推廣，將在後面的階段被陳述，而非證明。

誠實面對陳–韋伊解決了什麼、又沒解決什麼。它證明了德拉姆示性類有良好定義且可計算，並把它們繫於曲率——這一點是貨真價實且完整的。它並未證明整數性（這些積分總是整數），那需要拓樸定義或另一套論證；它本身也不告訴你給定流形上有哪些叢存在。這些缺口，正是本階段最後一篇的議程：我們將拓樸地定義這些類、證明惠特尼和公式與分裂原理，並把曲率放出來，作為楊–米爾斯規範理論的場強。