德拉姆上同调
数学上，de Rham 上同调(cohomology)是同时属于代数拓扑和微分拓扑的工具。它能够以一种特别适合计算和用具体的上同调类的方式表达关于光滑流形的基本拓扑信息。它是基于有特定属性的微分形式的存在性的上同调理论。它以不同的确定的意义对偶于奇异同调，以及Alexander-Spanier 上同调。
定义任何光滑流形M上的光滑微分k-流形在加法之下形成一个交换群(实际上也是一个实向量空间，称为
Ωk(M)
外导数 d 给了以下的映射
d:Ωk(M) → Ωk+1(M).
下面是一个基本的关系
d 2 = 0;
这本质上是因为二阶导数的对称性。所以k-形式和外导数形成一个上链复形(cochain complex),称为de Rham复形:
C^infty(M) = Omega^0(M)o Omega^1(M) o Omega^2(M) o Omega^3(M) o ldots.
微分几何术语中，是其它微分形式的外导数的形式称为恰当形式，而外导数为0的形式称为闭形式(参看闭形式和恰当形式);d 2 = 0这个关系说明
恰当形式是闭的.
其逆命题却一般来说不成立；闭形式未必恰当。de Rham上同调的想法就是给一个流形上不同类型的闭形式分类。分类这样进行，如果 Omega^k(M)中的两个闭形式α 和 β 是上同调的，如果他们相差一个恰当形式，也就是，若alpha-eta确切。这个分类导出一个Omega^k(M)中的闭形式空间的一个等价关系。然后定义 k阶 de Rham上同调群为
HkdR(M)
等价类的集合,也就是，Omega^k(M)中闭形式模恰当形式.
注意，对所有有n个连通分量的流形M,
H0dR(M) = Rn
其中等号表示同构。这是因为M上导数为零的C^infty函数在每个连通分量上为常数。
已计算的de Rham 上同调经常可以通过上面关于0上同调的事实和Mayer-Vietoris序列来计算一个流形的一般的de Rham上同调。如果没有计算可用，下面是一些常见拓扑体的已计算的上同调:
n-球:
对于n-球，或者球和一个开区间的乘积，我们有以下结果。令n > 0, m ≥ 0, 而 I 为一个实开区间. 则:
H_^(S^n imes I^m) simeq egin mathbb & mbox k = 0,n \ 0 & mbox k
e 0,n end
n-圆环:
类似的, 令 n > 0 , 可以得到:
H_^(T^n) simeq mathbb^{n choose k}
穿孔欧氏空间:
穿孔欧氏空间就是拿掉原点的欧氏空间。对于n > 0, 我们有:
H_^(mathbb^n - {0}) simeq egin mathbb & mbox k = 0,n-1 \ 0 & mbox k
e 0,n-1 end
simeq H_^(S^)
莫比乌斯带(Möbius strip), M:
大致来说,下面的结果或多或少是因为莫比乌斯带可"收缩(contract)"为一个1-球(圆):
<math>H_^(M) simeq H_^(S^1)</math>
调和形式若M是一个紧黎曼流形，则每个HkdR(M) 中的等价类包含恰好一个调和形式。也就是说，给定闭形式的等价类的任一代表 ω可以写为
omega = dalpha+gamma
其中 α 是一个形式, 而γ 是调和的: Δγ=0.
注意一个紧黎曼流形上的调和函数是一个常数。这样，这个特殊的代表元素可以视为流形上所有上同调等价的形式中的一个极值(极小值)。例如，在2-圆环上，一个常1-形式可以视为在一个形式，它所有的"毛"都整齐的梳到一个方向(而且所有的毛都一样长)。这个情况下，这表示2维环的第一Betti数是2。更一般的，在一个n维环Tn上，可以考虑k-形式的各种不同的梳理。有n取k种不同的梳理用来建立 HkdR(Tn)的一个基; 因此n-环的第kBetti数就是n取k。
更精确的讲，对于一个微分流形M，可以装备一个附加的黎曼度量。这样拉普拉斯算子(Laplacian)Δ可以定义为
Delta=ddelta+delta d
其中d是外导数 而 δ 是上微分l(codifferential，也称余微分).拉普拉斯算子是齐次的(在分级中)线性 微分算子作用在微分形式的外代数上:我们可以分别来看它在每个k阶分量上的作用。
若M为紧且可定向，拉普拉斯算子在k-形式的空间上的核的维度和k阶de Rham上同调群的维度相同(根据Hodge理论:拉普拉斯算子从闭形式的每个上同调类中挑出唯一的一个调和形式。特别的，所有M上的调和k-形式同构于 Hk(M;R). 每个这种空间的维度都有限，并有k阶Betti数给出。
Hodge 分解令 δ 为上微分(codifferential),我们称形式ω 是上闭的(co-closed)如果δω=0 而称其为上确切(co-exact)若对于某个形式&alpha；有ω=δα 。Hodge分解表明任意k-形式 ω 可以分裂为3个L2 分量:
omega = dalpha +delta eta + gamma
其中 γ 为调和的: Δ γ = 0. 这是因为确切和上确切形式互相正交；他们的正交补就是同时确切和上确切的形式:也就是，调和形式。这里，正交性由Omega^k(M)上的L2内积定义:
(alpha,eta)=int_M alpha wedge *eta
精确的定义和分解的证明需要用Sobolev空间来表述问题。主要的思想就是Sobolev空间提供了平方可积性和微分形式的柯西列收敛到极限形式的自然设置。这个语言使得我们得以克服紧支撑这样的限制，就像在Alexander-Spanier上同调中那样。
de Rham 定理De Rham定理, 由Georges de Rham在1931年证明, 它表明对于一个紧 可定向光滑流形M,群HkdR(M)同构于奇异同调群(singular cohomology group)。
Hk(M;R).
楔积赋予这些群的直和一个环结构。定理的进一步结果是这两个上同调换(作为分级环,也称分次环)是同构的。
一般化的斯托克斯定理是de Rham上同调和链的同调群的对偶性的表达。