预层和层有什么区别？

预层为开集分配带有限制映射的数据；层额外要求在重叠部分一致的局部截面能够粘合形成唯一的全局截面，这正是几何所需的局部性。

层上同调在几何上为何重要？

它的维数计算全局截面、障碍以及亏格等不变量；高阶上同调的消没使得局部几何数据——例如线丛的截面——能够全局组合起来。

层记录局部定义并一致粘合的数据，而层上同调则衡量从局部解到全局解的障碍。

用 PaperMind 寻找选题即将推出Find papers & topics

Tools & resources

Learn & explore

视频即将推出

空间上的层为每个开集分配一组（或群、环或模）截面，这些截面在限制和粘合下是兼容的；层上同调是取全局截面的导出函子序列，量化了局部截面无法全局粘合的程度。

本主题介绍了拓扑空间或概形上的预层和层、茎、层化以及层的态射，其核心示例包括结构层、理想层以及凝聚层和拟凝聚层。它通过全局截面函子的导出函子和Čech上同调的计算工具、射影空间上凝聚层的上同调以及Serre有限性定理、消没定理和Serre对偶等基础性结果来发展层上同调。

层上同调是代数几何的核心计算引擎，控制着线丛的截面、形变和障碍理论；同样的机制是证明Weil猜想所用的étale上同调的基础，并广泛应用于拓扑学和复几何。

Leray在20世纪40年代引入了层及其上同调；Serre的FAC（1955）将凝聚层上同调引入代数几何，Grothendieck在他的Tôhoku论文（1957）中将上同调重构为导出函子，这一框架被现代处理方法所采纳。