德拉姆餘調
![本頁使用了標題或全文手工轉換](http://upload.wikimedia.org/wikipedia/commons/thumb/c/cd/Zh_conversion_icon_m.svg/35px-Zh_conversion_icon_m.svg.png)
數學上,德拉姆餘調(de Rham cohomology)是同時屬於代數拓撲和微分拓撲的工具。它能夠以一種特別適合計算和用具體的餘調類的方式表達關於光滑流形的基本拓撲資訊。它是基於有特定屬性的微分形式的存在性的餘調理論。它以不同的確定的意義對偶於奇異同調,以及亞歷山大-斯潘尼爾餘調。
定義
[編輯]任何光滑流形M上的光滑微分k-形式在加法之下形成一個交換群(實際上也是一個實向量空間,稱為
- Ωk(M)
外導數 d 給了以下的映射
- d:Ωk(M) → Ωk+1(M).
下面是一個基本的關係
- d 2 = 0;
這本質上是因為二階導數的對稱性。所以k-形式和外導數形成一個餘鍵複形(cochain complex),稱為de Rham複形:
微分幾何術語中,是其它微分形式的外導數的形式稱為恰當形式(exact form),而外導數為0的形式稱為閉形式(參看閉形式和恰當形式);d 2 = 0這個關係說明
- 恰當的微分形式都是閉的.
其逆命題卻一般來說不成立;閉形式未必恰當。de Rham餘調的想法就是給一個流形上不同類型的閉形式分類。分類這樣進行:稱 中的兩個閉形式α 和 β 是餘調的,如果他們相差一個恰當形式,也就是,若為恰當形式。這個分類導出一個 中的閉形式空間的一個等價關係。然後定義 k階 de Rham餘調群為
- HkdR(M)
等價類的集合,也就是,中閉形式模恰當形式.
注意,對所有有n個連通分支的流形 M,
- H0dR(M) = Rn
其中等號表示同構。這是因為M上導數為零的函數在每個連通分量上為常數。
例
[編輯]通常我們可以通過已知的0餘調羣和Mayer-Vietoris序列來計算一個流形的其他的德拉姆餘調羣。另一個有用的事實是德拉姆餘調是同倫不變量。下面是一些常見拓撲對象的餘調羣,但我們沒有給出計算步驟:
n-球:
對於n-球,或者球和一個開區間的乘積,我們有以下結果。令n > 0, m ≥ 0, 而 I 為一個實開區間. 則:
n-環面:
類似的,令 n > 0 , 可以得到:
穿孔歐幾里得空間:
穿孔歐幾里得空間就是拿掉原點的歐幾里得空間。對於n > 0, 我們有:
莫比烏斯帶(Möbius strip), M:
大致來說,下面的結果或多或少是因為莫比烏斯帶可"收縮(contract)"為一個1-球(圓):
調和形式
[編輯]若M是一個緊黎曼流形,則每個HkdR(M) 中的等價類包含恰好一個調和形式。也就是說,給定閉形式的等價類的任一代表 ω可以寫為
其中 α 是一個形式,而γ 是調和的: Δγ=0.
注意一個緊黎曼流形上的調和函數是一個常數。這樣,這個特殊的代表元素可以視為流形上所有餘調等價的形式中的一個極值(極小值)。例如,在2-圓環上,一個常1-形式可以視為在一個形式,它所有的"毛"都整齊的梳到一個方向(而且所有的毛都一樣長)。這個情況下,這表示2維環的第一貝蒂數是2。更一般的,在一個n維環Tn上,可以考慮k-形式的各種不同的梳理。有n取k種不同的梳理用來建立 HkdR(Tn)的一個基; 因此n-環的第kBetti數就是n取k。
更精確的講,對於一個微分流形M,可以裝備一個附加的黎曼度量。這樣拉普拉斯算子 Δ可以定義為
其中d是外導數 而 δ 是余微分。拉普拉斯算子是齊次的(在分次中)線性 微分算子作用在微分形式的外代數上:我們可以分別來看它在每個k階分量上的作用。
若M為緊且可定向,拉普拉斯算子在k-形式的空間上的核的維度和k階德拉姆餘調群的維度相同(根據霍奇理論:拉普拉斯算子從閉形式的每個餘調類中挑出唯一的一個調和形式。特別的,所有M上的調和k-形式同構於 Hk(M;R). 每個這種空間的維度都有限,並有k階貝蒂數給出。
Hodge 分解
[編輯]令 δ 為余微分(codifferential),我們稱形式ω 是上閉的(co-closed)如果δω=0 而稱其為上恰當(co-exact)。若對於某個形式 α,有ω=δα 。Hodge分解表明任意k-形式 ω 可以分解為3個L2 分量:
其中 γ 為調和的: Δ γ = 0. 這是因為恰當和上恰當形式互相正交;他們的正交補餘就是同時恰當和上恰當的形式:也就是,調和形式。這裏,正交性由上的L2內積定義:
精確的定義和分解的證明需要用索伯列夫空間來表述。主要的思想就是Sobolev空間提供了平方可積性和微分形式的柯西列收斂到極限形式的自然設置。這個語言使得我們得以克服緊支撐這樣的限制,就像在亞歷山大-斯潘尼爾餘調中那樣。
德拉姆定理
[編輯]德拉姆定理, 由喬治·德拉姆在1931年證明,它表明對於一個緊緻 可定向光滑流形M,群HkdR(M)同構於具有奇異餘調群
- Hk(M;R).