德拉姆上同调

数学上，德拉姆上同调（de Rham cohomology）是同时属于代数拓扑和微分拓扑的工具。它能够以一种特别适合计算和用具体的上同调类的方式表达关于光滑流形的基本拓扑信息。它是基于有特定属性的微分形式的存在性的上同调理论。它以不同的确定的意义对偶于奇异同调，以及亚历山大-斯潘尼尔上同调。

任何光滑流形上的光滑微分-形式在加法之下形成一个交换群(实际上也是一个实向量空间，称为

外导数 给了以下的映射

下面是一个基本的关系

这本质上是因为二阶导数的对称性。所以-形式和外导数形成一个上链复形(cochain complex),称为:

微分几何术语中，是其它微分形式的外导数的形式称为恰当形式(exact form)，而外导数为0的形式称为闭形式(参看闭形式和恰当形式); 2 = 0这个关系说明

其逆命题却一般来说不成立；闭形式未必恰当。de Rham上同调的想法就是给一个流形上不同类型的闭形式分类。分类这样进行：称 ${\displaystyle {\mathrm{\Omega <!--\; \Omega \; -->}}^k(M)}$阶 de Rham上同调群为

等价类的集合，也就是，${\displaystyle {\mathrm{\Omega <!--\; \Omega \; -->}}^k(M)}$，

其中等号表示同构。这是因为M上导数为零的${\displaystyle C^{\mathrm{\infty <!--\; \infty \; -->}}}$是一个紧黎曼流形，则每个_dR() 中的等价类包含恰好一个调和形式。也就是说，给定闭形式的等价类的任一代表 ω可以写为

其中 α 是一个形式，而γ 是调和的: Δγ=0.

注意一个紧黎曼流形上的调和函数是一个常数。这样，这个特殊的代表元素可以视为流形上所有上同调等价的形式中的一个极值(极小值)。例如，在2-圆环上，一个常1-形式可以视为在一个形式，它所有的"毛"都整齐的梳到一个方向(而且所有的毛都一样长)。这个情况下，这表示2维环的第一贝蒂数是2。更一般的，在一个n维环n上，可以考虑-形式的各种不同的梳理。有取种不同的梳理用来建立 _dR(n)的一个基; 因此n-环的第Betti数就是取。

更精确的讲，对于一个微分流形，可以装备一个附加的黎曼度量。这样拉普拉斯算子 Δ可以定义为

其中是外导数 而 δ 是余微分。拉普拉斯算子是齐次的(在分次中)线性 微分算子作用在微分形式的外代数上：我们可以分别来看它在每个阶分量上的作用。

若为紧且可定向，拉普拉斯算子在k-形式的空间上的核的维度和阶德拉姆上同调群的维度相同(根据霍奇理论:拉普拉斯算子从闭形式的每个上同调类中挑出唯一的一个形式。特别的，所有上的调和-形式同构于(;R). 每个这种空间的维度都有限，并有阶贝蒂数给出。

令 δ 为余微分(codifferential),我们称形式ω 是上闭的(co-closed)如果δω=0 而称其为上恰当(co-exact)。若对于某个形式 α，有ω=δα 。Hodge分解表明任意k-形式 ω 可以分解为3个L2 分量:

其中 γ 为调和的: Δ γ = 0. 这是因为恰当和上恰当形式互相正交；他们的正交补就是同时恰当和上恰当的形式:也就是，调和形式。这里，正交性由${\displaystyle {\mathrm{\Omega <!--\; \Omega \; -->}}^k(M)}$,群_dR()同构于具有奇异上同调群

的实向量空间。楔积赋予这些群的直和一个环结构。定理的进一步结果是这两个上同调环(作为分次环)是同构的。

一般化的斯托克斯定理是德拉姆上同调和链的同调群的对偶性的表达。