层上同调

数学中，层上同调是运用同调代数分析拓扑空间上层的全局截面的领域。广义地说，层上同调描述了几何问题能在局部解决时，全局解决问题遇到的障碍。层上同调的核心著作是亚历山大·格罗滕迪克1957年发表在《东北数学杂志》上的论文。. English translation .

层、层上同调与谱序列是让·勒雷在奥地利战俘营Oflag XVII-A中提出的。勒雷在1940年到1945年与其他人在集中营组织了“狱中大学”。

1950年代，勒雷的定义得到了简化与澄清。很明显，层上同调不仅是代数拓扑中一种新的上同调方法，也是复解析几何与代数几何中一种强有力的方法。这些课题通常涉及构建具有特定局部性质的全局函数，层上同调非常适合。黎曼-罗赫定理、霍奇定理等很多早期结果都通过层上同调得到推广或有了更好理解。

定义
拓扑空间X上阿贝尔群的层范畴是阿贝尔范畴，因此问层的态射是单态射还是满态射的问题有意义。答案之一是：对X中每个点x，当且仅当相关的茎上同态是单射（或满射），f才是单射（或满射）。由此可知，对X中每个开集U，当且仅当U上截面的同态是单射时，f才是单射。而满射则更微妙：对X中每个开集U、U上C的每个截面s与U中每一点x，当且仅当存在U中x的开邻域V使限制于V的s是V上某截面B的像（即：C的每个截面都局部提升到B的截面），f才是满射。
于是问题来了：给定层的满射与X上C的截面s，s满足什么条件时是B在X上某截面的像？这是几何中各种局部与全局问题的模型。层上同调给出了令人满意的一般答案：令A是满射的核，给定X上层的短正合列

则有阿贝尔群长正合列，称作层上同调群：

其中是X上A的全局截面群。例如，若群为零，则此正合列可以说明，C的每个全局截面都提升到B的全局截面。更一般地，正合列使高阶上同调群的知识成为理解层截面的基本工具。

亚历山大·格罗滕迪克对层上同调的定义已成为标准定义，使用的是同调代数的语言。其要点是，固定拓扑空间X，将上同调看做X上阿贝尔群层映射到阿贝尔群的函子。更精确地说，从X上阿贝尔群层到阿贝尔群的函子开始。这是左正合函子，但一般不是右正合的。那么，群（i是整数）可定义为函子的导出函子，这样i < 0时，自动为零，是全局截面群。上述长正合列也是直接的。
任何拓扑空间X上阿贝尔群层范畴都有足量单射，即对层E，都有具备的单射层I。导出函子的定义运用了这一点。由此可见，层E都有单射消解：

则，层上同调群是阿贝尔群链复形上同调群（同态的核模了前一个的像）：

同调代数中的标准论证表明，这些上同调群独立于E的单射消解的选择。

此定义很少直接用于计算层上同调，不过还是很强大的，因为具有很强的一般性（任何拓扑空间上阿贝尔群的任何层），且很容易隐含层上同调的形式属性，如上述长正合列。对特定类别的空间或层，有很多计算层上同调的工具，下详。

函子性
对拓扑空间的任意连续映射、Y上阿贝尔群任何层E，对任何整数j都有拉回同态

其中表示拉回层。若f是Y的子空间X的含入，是E到X的限制，通常就只称作E，截面s的Y到X的拉回称作限制。
拉回同态在迈尔–维托里斯正合列有应用，这是一个重要的计算结果。即，设X是拓扑空间，是两开子集U、V的并，且令E是X上的层，则有阿贝尔群的长正合列：

常系数层上同调
对拓扑空间X与阿贝尔群A，常层是值在A中的局部常值函数的层。具有常系数的层上同调群通常简写为，除非这会导致与奇异上同调之类相混。

对连续映射与阿贝尔群A，拉回层同构于。因此，拉回同态使得常系数层上同调变为拓扑空间到阿贝尔群的反变函子。

对任意空间X、Y与任意阿贝尔群A，X到Y的两同伦映射f、g在层上同调上导出相同的同态：

由此可见，两同伦等价空间有同构的常系数层上同调。

令X是仿紧豪斯多夫空间，是局部可收缩空间，甚至在弱意义上，点x的开邻域U都包含x的开邻域V，使得含入同伦于常值映射。则，x的奇异上同调群（系数在阿贝尔群A中）同构于常系数层上同调。例如，对X是拓扑流形或CW复形的情形，这一点是成立的。

因此，很多常系数层上同调的许多基本计算与奇异上同调的计算相同，球面、射影空间、环面与曲面的上同调见餘調#例子。

对任意拓扑空间，奇异上同调与层上同调（常系数）可能是不同的，也可能发生：是X的路径分量集到整数的函数群的奇异上同调，而层上同调是X到的局部常值函数群层上同调。例如，当X是康托尔集时，情形就不同了。事实上，在这种情况下，层上同调是可数阿贝尔群，而奇异上同调是x到所有函数的群，其势为

对仿紧豪斯多夫空间X、X上阿贝尔群的任意层E，上同调群对大于X的拓扑维数的j都是零（对奇异上同调来说在一般情形下不成立，例如有欧氏空间的紧子集，其在无限多度上具有非零的奇异上同调）。拓扑维数与拓扑流形或CW复形的通常维度概念一致。

弛层与软层
拓扑空间X上阿贝尔群的层E 若对，则称作无环的（acyclic）。根据层上同调的长正合列，任何层的上同调都可从E的任何无环消解（而非单射消解）计算得来。单射层是无环的，但对计算来说，有其他无环层的例子很有用。

X上层E，若E在X某开子集上的每个截面都延伸到E在X全体上的某截面，就称E是弛（英语：flabby，法语：flasque）的。弛层无环。Godement通过任何层上的规范弛消解，定义了任何层的层上同调。由于弛层无环，Godement的定义与上述层上同调定义一致。

仿紧豪斯多夫空间X上的层E，若E到X闭子集的限制的每个截面都延伸到E在X全体上的某截面，就称E是软的。软层无环。
软层的一些例子如仿紧豪斯多夫空间上实值连续函数层、光滑流形上光滑（）函数层。更一般地，交换环软层上的模层还是软的，例如光滑流形上向量丛的光滑截面层是软的。
例如，这些结果形成了德拉姆定理证明的一部分。对光滑流形X，庞加莱引理指出，德拉姆复形是常层的消解：

其中是光滑j形式的层，映射是外微分。根据上面的结果，层是软的，因此是无环的。可知，X的实系数层上同调同构于X的德拉姆上同调，后者定义为实向量空间复形的上同调：

德拉姆定理的另一部分是识别X的实系数层上同调、奇异上同调；如上所述，这在更大的推广上成立。

切赫上同调
切赫上同调是层上同调的近似，常用于计算。即，令为拓扑空间X的开覆盖，令E为X上阿贝尔群的层。记覆盖中的开集为，其中i属于集合I，且I的顺序固定，则切赫上同调可定义为有j个群的阿贝尔群显式复形的上同调：

有自然同构，因此切赫上同调是层上同调的近似，仅使用在开集的有限交上的E的截面。

若中开集的每个有限交V都没有系数在E中的高阶上同调，即对，则切赫上同调到层上同调的同态是同构。

将切赫上同调与层上同调相联系的另一种方法如下。切赫上同调群定义为在X所有开覆盖上的直极限（其中开覆盖由加细排序）。有切赫上同调到层上同调的同态，对是同构。对任意拓扑空间，切赫上同调与层上同调在更高的度上会有不同，但方便地说，对仿紧豪斯多夫空间上的任何层，切赫上同调都同构于层上同调。

同构隐含着对拓扑空间X上阿贝尔群任何层E的的描述：此群在同构意义上分类了X上的E扭子（也叫主E丛）（通过非阿贝尔上同调集，这论述可推广到群G（不必阿贝尔）的任何层）。由定义，X上的E扭子是集合的层S以及E在X上的群作用，使X中每点都有S同构于E的开邻域，E通过平移（translation）作用于自身。例如，赋环空间上，X上可逆层的皮卡德群同构于层上同调群，其中是中可逆元的层。

相对上同调
对整数j、拓扑空间X的子集Y与X上阿贝尔群的层E，可以定义相对上同调群：

还可称作在Y中有支持的X的上同调，或（Y对X封闭时）局部上同调。长正合列可在通常意义上将相对上同调与层上同调关联：

Y对X封闭时，在Y中有支持的上同调可定义为函子

的导出函子，即在Y上有支持的E的截面群。
有几种同构称作切除。例如，若X是拓扑空间，其子空间Y、U使Y的闭包在U内部，E是X上的层，则约束

是同构（因此，在闭子集Y中具有支持的上同调只取决于空间X与层E在Y附近的行为）。另外，若X是仿紧豪斯多夫空间、是闭子集A、B的并、E是X上的层，则约束

是同构。

具有紧支持的上同调
令X是局部紧拓扑空间（本文将局部紧空间理解为豪斯多夫空间）。对X上阿贝尔群的层E，可定义有紧支持的上同调。这些群被定义为紧支持截面的函子的导出函子：

有自然同构，是X紧的同构。

对局部紧空间X上的层E，的系数在E的拉回中的紧支持上同调是X的紧支持上同调的移位（shift）：

举例来说，若，则同构于，否则为零。

就任意连续映射而言，紧支持上同调不是函子性的。而对局部紧空间上的紧合映射与X上的层E，紧支持上同调上有拉回同态

另外，对局部紧空间X的开子集U与X上的层E，有称作零点扩张（extension by zero）的前推同态：

对局部紧空间X与闭子集Y，这两个同态都见于紧支持上同调的长正合局部化列中：

上积
对所有i、j以及拓扑空间X上阿贝尔群的任意层A、B，有双射——上积

当中表示在上的张量积，但若A、B是交换环的某层上的模层，则可进一步从映射到。特别是，对交换环的层，上积使得直和

变为分次交换环，即对

层复形
层上同调是导出函子的定义可进行扩展，定义拓扑空间X的上同调，且系数在层的任何复形E中：

特别地，若复形E有下界（对足够负的j，层为零），则E像单层一样有单射消解I（由定义，I是有下界的单射层复形，其链映射是拟同构）。则上同调群定义为阿贝尔群复形的上同调

空间的系数在层复形中的上同调，早先被称作超同调，现在一般只叫“上同调”。

更一般地，对空间X上层E（不必有下界）的任意复形，上同调群定义为X上层的导出范畴中态射的群：

其中是与整数相关联的常层，表示向左移动j步的复形E。

庞加莱对偶性与推广
庞加来对偶性定理是拓扑学的一个核心成果：对n维闭有向连通拓扑流形X、域k，群同构于k，上积

是所有整数j的完美配对。即，从到对偶空间的映射是同构，特别是，向量空间与有相同的（有限）维数。

运用层上同调的语言，可以进行很多推广。若X是有向n维流形（不必紧或连通），k是域，则上同调就是有紧支持的上同调的对偶：

对任意流形X、域k，有X上的层——方向层，局部（可能不是全局）同构于常层k。庞加莱对偶关于任意n维流形X的一个版本是同构：

更一般地，若E是n维流形上k维向量空间的局部常层，且E的茎有限维，则有同构

系数在任意交换环而非域中时，庞加莱对偶性可以很自然地表述为上同调到博雷尔–摩尔同调的同构。

韦迪耶对偶是很广的推广。对任意有限维局部紧空间X与任意域k，在X上层的导出范畴中有对象，称作对偶化复形（dualizing complex，系数位于k中）。韦迪耶对偶的一种情形是同构：

对n维流形X，对偶化复形同构于方向层的移位。因此，庞加莱对偶是韦迪耶对偶的特例。

亚历山大对偶是另一种有用的推广。对有向n维流形M的任意闭子集X与任意域k，有同构：

对的紧子集X来说这已经很有趣了，因为它说（粗略地），的上同调是X的层上同调的对偶。当中，必须考虑层上同调而非奇异上同调，除非对X有额外假设，如局部可收缩性。

高阶直像与勒雷谱序列
令维拓扑空间的连续映射，E为X上阿贝尔群的层。前推层是Y上的层，对Y的任意开子集U定义为

例如，若f是X到点的映射，则是与E的全局截面群对应的点上的层。

X上的层到Y上的层的函子是左正合的，但一般不是右正合的。Y上的高阶直像层定义为函子的右导出函子。另一种描述是，是与Y上预层相关联的层

因此，粗略地说，高阶直像层描述了Y中小开集的逆像的上同调。

勒雷谱序列将X上的上同调与Y上的上同调相关联，即对任何连续映射、X上任何层E，有谱序列

这是一个非常一般的结果。f是纤维化、E是常层的特例在同伦论中扮演着重要角色，这种情形称作塞尔谱序列。当中，高阶直像层是局部常的，其茎是f的纤维F的上同调群，因此塞尔谱序列对阿贝尔群A，可写作

勒雷谱序列的一个简单而有用的情形是，对拓扑空间Y的任意闭子集X和X上任意层E，用表示包含，有同构

因此，关于闭子空间上层上同调的问题都可转化为关于环境空间上直像层的问题。

上同调的有限性
有个关于层上同调的强有限性结果。令X是紧豪斯多夫空间，R是主理想域，例如域或整数环。令E为X上R模的层，并假定E有“局部有限生成上同调”，即对X中每点x、整数j、x的所有开邻域U，都有x的开邻域，使得的像是有限生成R模，则上同调群是有限生成R模。, 

例如，对局部可收缩紧豪斯多夫空间X（在上文所述的弱意义上），层上同调群对整数j是有限生成的。

有限性结果适用于可构造层的一种情形。令X为拓扑层化空间。具体来说，X有闭子集序列

使每个差分是维数为i的拓扑流形。 若E对每层的限制是局部常的，且茎是有限生成R模，则X上的层E或R模在给定分层下是可构造的。关于给定分层的X上可构造层E具有局部有限的生成上同调。若X是紧的，则X的上同调群（系数在可构造层中）是有限生成的。

更一般地，假设X'是可紧的，即有紧层化空间W，包含X为开子集，W–X是层的连通分量的并，则对X上R模的任意可构造层E，R模与都是有限生成的。例如，任何具有经典（欧氏）拓扑的复代数簇X在此意义上都是可紧的。

凝聚层上同调

代数几何与复解析几何中，凝聚层是一类有特殊几何意义的层。例如，（局部诺特概形上的）代数向量丛或（复解析空间上的）全纯向量丛可视作凝聚层，而凝聚层比向量丛更有优势，因为凝聚层构成了阿贝尔范畴。在概形上，考虑准凝聚层也是有用的，其中包括秩无限的局部自由层。

关于系数在凝聚层中的概形或复解析空间的上同调群，我们已了解了很多。这一理论是代数几何中的重要技术工具，主要定理包括在各种情况下上同调变为零、上同调有限维、凝聚层上同调与奇异上同调的比较（如霍奇理论）与凝聚层上同调中欧拉示性数的公式（如黎曼-罗赫定理）等。
景上的层
1960年代，格罗滕迪克定义了景（site），即具备了格罗滕迪克拓扑的范畴。景C公理化了这样一个概念：C中的态射集合是U的覆盖。拓扑空间X以自然的方式确定了景：范畴C的对象是X的开子集，态射是包含，当且仅当U是开子集的并时，态射的集合称作U的覆盖。此外，格罗滕迪克拓扑的激励性例子是概形上的平展拓扑。此后，代数几何中还是用了很多其他的格罗滕迪克拓扑：fpqc拓扑、尼斯涅维奇拓扑等等。

层的定义适用于任何景，所以可以谈论景上的集合层，景上的阿贝尔群层，等等。层上同调作为导出函子的定义同样适于景，因此，对于景上的任何对象X、阿贝尔群的任何层E''，都有层上同调群。对于平展拓扑，这给出了平展上同调的概念，并由此证明了韦伊猜想。代数几何中晶体上同调等其他上同调论也被定义为适当的景上的层上同调。

注释

参考文献




. English translation .



外部链接
 The thread "Sheaf cohomology and injective resolutions" on MathOverflow
 The "Sheaf cohomology" on Stack Exchange

Category:同调代数
Category:层论