的代数几何及复流形理论，其证明却更简洁明快。基于 Schwartz 先前的工作，昂利·嘉当与让-皮埃尔·塞尔证明了紧复流形上的凝聚上同调是有限维的，小平邦彦先前曾证明了向量丛的情形。当时这套理论的用处还不甚明朗。塞尔证明了这个定理的代数版本。亚历山大·格罗滕迪克证明了一个代数框架下的相对版本，解析版本则由 Grauert 与 Remmert 证出。举例明之：格罗滕迪克的结果是考虑函子formula_41（这是层的正像函子的右导函子）； 若formula_42是概形间的真态射，则此函子保持凝聚性。取for