德拉姆上同調

由微分流形M的閉p形式組成的實向量空間對恰當p形式組成的子空間得到的商空間為M的第p德拉姆上同調羣。 ^[1] 

任何光滑流形

上的光滑微分

-形式在加法之下形成一個交換羣（實際上也是一個實向量空間），稱為

外導數

給了以下的映射

下面是一個基本的關係

;

這本質上是因為二階導數的對稱性。所以

-形式和外導數形成一個上鍊復形(cochain complex),稱為德拉姆復形:

微分幾何術語中，是其它微分形式的外導數的形式稱為恰當形式(exact form)，而外導數為0的形式稱為閉形式；

這個關係説明

恰當形式是閉形式。

其逆命題卻一般來説不成立；閉形式未必恰當。德拉姆上同調的想法就是給一個流形上不同類型的閉形式分類。分類這樣進行，如果

中的兩個閉形式

和

是上同調的，如果他們相差一個恰當形式，也就是，若

為恰當形式。這個分類導出一個

中的閉形式空間的一個等價關係。然後定義

階德拉姆上同調羣為

等價類的集合，也就是，

中閉形式模恰當形式。

注意，對所有有n個連通分量的流形

，

這是因為M上導數為零的

函數在每個連通分量上為常數。

通常我們可以通過已知的0上同調羣和Mayer-Vietoris序列來計算一個流形的其他的德拉姆上同調羣。另一個有用的事實是德拉姆上同調是同倫不變量。下面是一些常見拓撲對象的上同調羣，但我們沒有給出計算步驟：

n-球:

對於n-球，或者球和一個開區間的乘積，我們有以下結果。令

, 而

為一個實開區間. 則:

n-圓環:

類似的， 令

，可以得到：

穿孔歐幾里得空間:

穿孔歐幾里得空間就是拿掉原點的歐幾里得空間。對於

， 我們有:

莫比烏斯帶(Möbius strip)，

：

大致來説，下面的結果或多或少是因為莫比烏斯帶可"收縮(contract)"為一個1-球（圓）：

若

是一個緊黎曼流形，則每個

中的等價類包含恰好一個調和形式。也就是説，給定閉形式的等價類的任一代表

可以寫為

其中

是一個形式，而

是調和的：

。

注意一個緊黎曼流形上的調和函數是一個常數。這樣，這個特殊的代表元素可以視為流形上所有上同調等價的形式中的一個極值(極小值)。例如，在2-圓環上，一個常1-形式可以視為在一個形式，它所有的"毛"都整齊的梳到一個方向(而且所有的毛都一樣長)。這個情況下，這表示2維環的第一貝蒂數是2。更一般的，在一個

維環

上，可以考慮

-形式的各種不同的梳理。有

種不同的梳理用來建立

的一個基；因此

-環的第

貝蒂數就是

。

更精確的講，對於一個微分流形

，可以裝備一個附加的黎曼度量。這樣拉普拉斯算子

可以定義為

其中

是外導數，而

是餘微分。拉普拉斯算子是齊次的(在分次中)線性微分算子作用在微分形式的外代數上：我們可以分別來看它在每個

階分量上的作用。

若

為緊且可定向，拉普拉斯算子在

-形式的空間上的核的維度和

階德拉姆上同調羣的維度相同（根據霍奇理論:拉普拉斯算子從閉形式的每個上同調類中挑出唯一的一個調和形式）。特別的，所有

上的調和

-形式同構於

。每個這種空間的維度都有限，並有

階貝蒂數給出。

令

為餘微分(codifferential)，我們稱形式

是上閉的(co-closed)如果

而稱其為上確切(co-exact)。若對於某個形式

；有

。Hodge分解表明任意

-形式

可以分裂為3個

分量:

其中

為調和的：

。這是因為確切和上確切形式互相正交；他們的正交補就是同時確切和上確切的形式：也就是，調和形式。這裏，正交性由

上的

內積定義:

精確的定義和分解的證明需要用索伯列夫空間來表述問題。主要的思想就是索伯列夫空間提供了平方可積性和微分形式的柯西列收斂到極限形式的自然設置。這個語言使得我們得以克服緊支撐這樣的限制，就像在Alexander-Spanier上同調中那樣。

德拉姆定理由喬治·德拉姆在1931年證明，它表明對於一個緊緻可定向光滑流形

，羣

同構於具有奇異上同調羣

的實向量空間。楔積賦予這些羣的直和一個環結構。定理的進一步結果是這兩個上同調環(作為分次環)是同構的。

一般化的斯托克斯定理是德拉姆上同調和鏈的同調羣的對偶性的表達。