证明的工具由亚历山大·格罗滕迪克引入。平展上同调的理论可以用于构建ℓ进上同调，后者则是代数几何中的一个例子。这一理论有着众多的应用，包括Weil猜想的证明以及的构造。
目的.对于复代数簇的研究而言，代数拓扑中的某些不变量（例如基本群和）是非常有用的。因此我们自然地希望为其他域（例如有限域）上的代数簇也定义类似的概念。（例如，韦伊指出了这样的上同调理论可以用于证明韦伊猜想。）塞尔指出仅利用代数簇上的扎里斯基拓扑就可以进行定义凝聚层的上同调，而且在复代数簇的情况下，这样的定义可以与（更