5.2 层同调 第五章:层论与同调代数 5.2 层同调:从局部数据到全局不变量的拓扑炼金术 倘若将代数几何比作一座由概念构筑的哥特式大教堂,那么层(sheaf)便是其飞扶壁——看不见却承托起全部结构的隐性骨架;而层同调(sheaf cohomology),则是这座建筑中悄然流动的光:它不显于砖石表面,却决定着每一扇彩窗能否映照出完整的神学图景。它不是对空间本身的度量,而是对“空间上允许如何粘合局部信息”的深刻追问。在第五章的宏观脉络中,我们已确立层作为函数、截面、结构常数的普适容器;也已理解前推、拉回、张量积等基本函子如何编织层之间的关系。此刻,层同调登场——它不再满足于静态地持有数据,而要追问:当局部截面试图拼成全局截面时,哪些障碍必然出现?这些障碍本身是否携带几何本质?