德拉姆上同调的例证

发布网友发布时间：2023-06-06 09:32

共1个回答

热心网友时间：2024-05-17 13:55

通常我们可以通过已知的0上同调羣和Mayer-Vietoris序列来计算一个流形的其他的德拉姆上同调羣。另一个有用的事实是德拉姆上同调是同伦不变量。下面是一些常见拓扑对象的上同调羣，但我们没有给出计算步骤：
n-球:
对于n-球，或者球和一个开区间的乘积，我们有以下结果。令, 而为一个实开区间. 则:

n-圆环:
类似的，令，可以得到：

穿孔欧几里得空间:
穿孔欧几里得空间就是拿掉原点的欧几里得空间。对于，我们有:

莫比乌斯带(Möbius strip)，：
大致来说，下面的结果或多或少是因为莫比乌斯带可收缩(contract)为一个1-球（圆）：

调和形式
若是一个紧黎曼流形，则每个中的等价类包含恰好一个调和形式。也就是说，给定闭形式的等价类的任一代表可以写为

其中是一个形式，而是调和的：。
注意一个紧黎曼流形上的调和函数是一个常数。这样，这个特殊的代表元素可以视为流形上所有上同调等价的形式中的一个极值(极小值)。例如，在2-圆环上，一个常1-形式可以视为在一个形式，它所有的毛都整齐的梳到一个方向(而且所有的毛都一样长)。这个情况下，这表示2维环的第一贝蒂数是2。更一般的，在一个维环上，可以考虑-形式的各种不同的梳理。有种不同的梳理用来建立的一个基；因此-环的第贝蒂数就是。
更精确的讲，对于一个微分流形，可以装备一个附加的黎曼度量。这样拉普拉斯算子可以定义为

其中是外导数，而是余微分。拉普拉斯算子是齐次的(在分次中)线性微分算子作用在微分形式的外代数上：我们可以分别来看它在每个阶分量上的作用。
若为紧且可定向，拉普拉斯算子在-形式的空间上的核的维度和阶德拉姆上同调群的维度相同(根据霍奇理论:拉普拉斯算子从闭形式的每个上同调类中挑出唯一的一个调和形式。特别的，所有上的调和-形式同构于。每个这种空间的维度都有限，并有阶贝蒂数给出。令为余微分(codifferential)，我们称形式是上闭的(co-closed)如果而称其为上确切(co-exact)。若对于某个形式；有。Hodge分解表明任意-形式可以*为3个分量:

其中为调和的：。这是因为确切和上确切形式互相正交；他们的正交补就是同时确切和上确切的形式：也就是，调和形式。这里，正交性由上的内积定义:

精确的定义和分解的证明需要用索伯列夫空间来表述问题。主要的思想就是索伯列夫空间提供了平方可积性和微分形式的柯西列收敛到极限形式的自然设置。这个语言使得我们得以克服紧支撑这样的*，就像在Alexander-Spanier上同调中那样。 De Rham定理, 由Georges de Rham在1931年证明，它表明对于一个紧致可定向光滑流形，群同构于具有奇异上同调群

的实向量空间。楔积赋予这些群的直和一个环结构。定理的进一步结果是这两个上同调换(作为分次环)是同构的。
一般化的斯托克斯定理是德拉姆上同调和链的同调群的对偶性的表达。