德拉姆上同调
同时属于代数拓扑和微分拓扑的工具
德拉姆上同调(de Rham cohomology) 是同时属于代数拓扑和微分拓扑的工具。它能够以一种特别适合计算和用具体的上同调类的方式表达关于光滑流形的基本拓扑信息。它是基于有特定属性的微分形式的存在性的上同调理论。它以不同的确定的意义对偶于奇异同调,以及Alexander- Spanier 上同调。
定义
微分流形M的闭p形式组成的实向量空间对恰当p形式组成的子空间得到的商空间为M的第p德拉姆上同调群。
基本介绍
概述
任何光滑流形上的光滑微分-形式在加法之下形成一个交换群(实际上也是一个实向量空间),称为
外导数给了以下的映射
下面是一个基本的关系
;
这本质上是因为二阶导数的对称性。所以-形式和外导数形成一个上链复形(cochain complex),称为德拉姆复形:
微分几何术语中,是其它微分形式的外导数的形式称为恰当形式(exact form),而外导数为0的形式称为闭形式;这个关系说明
恰当形式是闭形式。
其逆命题却一般来说不成立;闭形式未必恰当。德拉姆上同调的想法就是给一个流形上不同类型的闭形式分类。分类这样进行,如果中的两个闭形式和是上同调的,如果他们相差一个恰当形式,也就是,若为恰当形式。这个分类导出一个中的闭形式空间的一个等价关系。然后定义阶德拉姆上同调群
等价类的集合,也就是,中闭形式模恰当形式。
注意,对所有有n个连通分量的流形,
这是因为M上导数为零的函数在每个连通分量上为常数
应用例证
例1
通常我们可以通过已知的0上同调群和Mayer-Vietoris序列来计算一个流形的其他的德拉姆上同调群。另一个有用的事实是德拉姆上同调是同伦不变量。下面是一些常见拓扑对象的上同调群,但我们没有给出计算步骤:
n-球:
对于n-球,或者球和一个开区间的乘积,我们有以下结果。令, 而为一个实开区间. 则:
n-圆环:
类似的, 令,可以得到:
穿孔欧几里得空间:
穿孔欧几里得空间就是拿掉原点的欧几里得空间。对于, 我们有:
莫比乌斯带(Möbius strip),:
若是一个黎曼流形,则每个中的等价类包含恰好一个调和形式。也就是说,给定闭形式的等价类的任一代表可以写为
其中是一个形式,而是调和的:。
注意一个紧黎曼流形上的调和函数贝蒂数是2。更一般的,在一个维环上,可以考虑-形式的各种不同的梳理。有种不同的梳理用来建立的一个基;因此-环的第贝蒂数就是。
更精确的讲,对于一个微分流形,可以装备一个附加的黎曼度量。这样拉普拉斯算子可以定义为
其中是外导数,而是余微分。拉普拉斯算子是齐次的(在分次中)线性微分算子作用在微分形式的外代数上:我们可以分别来看它在每个阶分量上的作用。
若为紧且可定向,拉普拉斯算子在-形式的空间上的核的维度和阶德拉姆上同调群的维度相同(根据霍奇理论:拉普拉斯算子从闭形式的每个上同调类中挑出唯一的一个调和形式)。特别的,所有上的调和-形式同构于。每个这种空间的维度都有限,并有阶贝蒂数给出。
Hodge 分解
令为余微分(codifferential),我们称形式是上闭的(co-closed)如果而称其为上确切(co-exact)。若对于某个形式;有。Hodge分解表明任意-形式可以分裂为3个分量:
其中为调和的:。这是因为确切和上确切形式互相正交;他们的正交补就是同时确切和上确切的形式:也就是,调和形式。这里,正交性由上的内积定义:
精确的定义和分解的证明需要用索伯列夫空间来表述问题。主要的思想就是索伯列夫空间提供了平方可积性和微分形式的柯西列收敛到极限形式的自然设置。这个语言使得我们得以克服紧支撑这样的限制,就像在Alexander-Spanier上同调中那样。
德拉姆定理
德拉姆定理乔治·德拉姆在1931年证明,它表明对于一个紧致可定向光滑流形,群同构于具有奇异上同调群
实向量空间。楔积赋予这些群的直和一个环结构。定理的进一步结果是这两个上同调环(作为分次环)是同构的。
一般化的斯托克斯定理是德拉姆上同调和链的同调群的对偶性的表达。
参考资料
最新修订时间:2024-05-21 15:19
目录
概述
定义
基本介绍
参考资料