MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

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

Let $X$ be a reasonable topological space. If $\mathcal{F}$ is a sheaf of abelian groups then Cech cohomology gives us a method to compute the cohomology groups $H^p(X, \mathcal{F})$ - the main input being the sections $\mathcal{F}(U)$ for various open sets $U \subset X$.

I would like to have a similar procedure to compute hypercohomology of a finite complex $C^\cdot$ of abelian sheaves on $X$ (or coherent sheaves on a scheme). Is this possible, and is there a reference you can recommend? I couldn't find this in the Stacks project, which incidently explains how to compute cohomology of a complex (not hypercohomology) via a Cech argument.

share|cite|improve this question
I can't think of a reference, but I have a vague recollection that this is how you do it: since the Cech complex of a sheaf is functorial, if we have a complex of sheaves $\mathcal{F}^{\cdot}$ we can take the Cech complex of each term to get a double complex $C^{\cdot,\cdot}$. Now just take the associated simple complex, $\mathrm{Tot}(C^{\cdot,\cdot})$ - in suitably nice situations, this computes hypercohomology of $\mathcal{F}^{\cdot}$. – ChrisLazda Apr 8 '13 at 9:42
Indeed regarding "sufficiently nice": it suffices that for each $n$, the complex $C^{n, \bullet}$ computes the cohomology of $\scr{F}^n$ (consider the spectral sequence taking "vertical cohomology" first). – Tom Bachmann Apr 8 '13 at 13:42

There is a nice treatment of it in chapter 1 of Brylisnki's Loop Spaces, Characteristic Classes and Geometric Quantization. In the Stacks projects, look for section 19.19.

share|cite|improve this answer

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.