凝聚層

設

為概形，

模層

是凝聚層，若X能用仿射開子集U_i=Spec A_i覆蓋，使得對每個i，存在有限生成A_i模M_i滿足

。 ^[2] 

對於概形X，結構層

是凝聚層。

設

是諾特概形，則

模是凝聚層，當且僅當對X的每個仿射開子集U=Spec A，存在有限生成A模M使得

。 ^[2] 

一個凝聚層是賦環空間上的一個-模，滿足下述性質：

在上是有限型的，即：對任一點，存在其鄰域使得可由有限多個截面生成（換言之，存在正合序列）。

對任意開集，任意及任意-模的態射，其核是有限型的。

環層是凝聚層當且僅當它自身作為一個-模是個凝聚層。

凝聚層必定是有限展示的：即對任一點都存在其開鄰域U、正整數m,n以及一個正合序列：

反之則不然，除非要求是凝聚環層。

擬凝聚層的定義更弱：僅要求對任一點都存在開鄰域U，索引集I,J（可能是無限集）及一個正合序列：

對一個仿射簇X=Spec(R)，給出從擬凝聚層到R-模的範疇等價；若R是諾特環，則凝聚層恰對應至有限生成的R-模。

凝聚層的概念較局部自由層（換言之，向量叢的截面層）廣，但仍然很容易操作，這在考慮核與上核時特別有利，因為局部自由層在這些操作下並不封閉。形式地説：給定一個短正合序列，只要其中任兩個層是凝聚層，則令一個也必然是凝聚層；在-模的範疇裏，凝聚層是滿足上述條件幷包含的最小滿範疇。因此就同調代數的觀點看，凝聚層是最自然的範疇之一。

相關的概念還有擬凝聚層與有限展示層。代數幾何與復解析幾何裏的許多性質與定理都以凝聚層及其上同調表述。 ^[1] 

凝聚層可被視作向量叢截面層的推廣。它們構成的範疇在取核、上核、有限直和等操作下封閉。此外，若底空間滿足合宜的緊緻條件，則凝聚性在底空間的映射下保持不變，且具有有限維的層上同調羣。交換代數里的一些定理也能應用於凝聚層，如中山正引理。