在数学中,尤其是代数几何与复流形理论里,凝聚层是一类特别容易处理的层。凝聚层的定义指涉到一个环层(例如一个概形的结构层、复流形上的全纯函数层或D-模),此环层蕴藏了所论空间的几何性质。名称1、【化】 coacervate2、【医】 coacervatecoherent sheaf概念相关的概念还有拟凝聚层与有限展示层。代数几何与复解析几何里的许多性质与定理都以凝聚层及其上同调表述。 凝聚层可被视作向量丛截面层的推广。它们构成的范畴在取核、上核、有限直和等操作下封闭。此外,若底空间满足合宜的紧致条件,则凝聚性在底空间的映射下保持不变,且具有有限维的层上同调群。交换代数里的一些定理也能应用于凝聚层,如中山正引理。性质一个凝聚层是赋环空间上的一个-模,满足下述性质:在上是有限型的,即:对任一点,存在其邻域使得可由有限多个截面生成(换言之,存在正合序列)。对任意开集,任意及任意-模的态射,其核是有限型的。环层是凝聚层当且仅当它自身作为一个-模是个凝聚层。凝聚层必定是有限展示的:即对任一点都存在其开邻域U、正整数m,n以及一个正合序