MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

If $\mathcal F^\bullet$ is a chain complex of sheaves, to compute the hypercohomology, you take the cohomology of an injective resolution of $\mathcal F^\bullet$, i.e., a chain complex of injectives $\mathcal I^\bullet$ which is quasi-isomorphic to $\mathcal F^\bullet$.

It seems to be a well-known fact that for the algebraic de Rham complex $\Omega^\bullet_{X/S}$ you can compute this hypercohomolgy in practice by taking the total cohomology of the Cech/de Rham double complex $(\check{C}^i(X,\Omega^j), d, \check{d})$.

Does anyone know of a reference for this (somewhere in EGA?), or is there an easy proof ?

share|cite|improve this question
up vote 4 down vote accepted

This has nothing to do with the details of the problem; it is a generalization of Leray's theorem to hypercohomology. If $\mathcal{F}_{\bullet}$ is a complex of sheaves, and $U_i$ is an open cover of $X$ such that $H^q(U_{i_1} \cap \cdots \cap U_{i_r}, \mathcal{F}_j)=0$ for $q \geq 1$ and all $(i_1, \ldots, i_r)$ and $j$, then the hypercohomology of $\mathcal{F}_{\bullet}$ is computed by the cohomology of the Cech-$\mathcal{F}$ double complex.

I don't have my books on hand to find you a reference, but it isn't hard.

share|cite|improve this answer
(Presumably, the double complex in the question is constructed starting from such a good covering and not an arbitrary one) – Mariano Suárez-Alvarez Aug 15 '12 at 4:49
EGA $0_{\rm{III}}$ 12.4.7. – user22479 Aug 15 '12 at 5:56
For the algebraic De Rham complex, you take the cover to consist of affines, in which case all the intersections will be as well (for a separated scheme). After this, you just set up an obvious sheafy version of the double complex, which then gives you an acyclic resolution. You can prove that an acyclic resolution computes the same cohomology as an injective resolution the same way you do it for a single sheaf as you might find, for example, in Lang's algebra book. – Minhyong Kim Aug 15 '12 at 6:01

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.