I want to know exactly how derived functor cohomology and Cech cohomology can fail to be the same.

I started worrying about this from this answer to an MO question, and Brian Conrad's comments to another MO question. Let $\mathcal{F}$ be a sheaf of abelian groups on a space X. (Here I want to be a little vague about what a "space" means. I'm thinking of either a scheme or a topological space). Then Cech cohomology of X with respect to a cover $U \to X$ can be defined as cohomology of the complex

$$ \mathcal{F}(U) \to \mathcal{F}(U^{[2]}) \to \mathcal{F}(U^{[3]}) \to \cdots $$

Where $U^{[ n ]} = U \times_X U \times_X \cdots \times_X U$. The total Cech cohomology of $X$, $\check H^{ * }(X, \mathcal{F}) $, is then given by taking the colimit over all covers $U$ of X. Now if the following condition is satisfied:

Condition 1: For sufficiently many covers $U$, the sheaf $\mathcal{F}|_{U^{[ n ]}}$ is an acyclic sheaf for each n

then this cohomology will agree with the derived functor version of sheaf cohomology. We have,

$$\check H^{ * }(X, \mathcal{F}) \cong H^*(X; \mathcal{F}).$$

I am told, however, that even if $\mathcal{F}|_U$ is acyclic this doesn't imply that it is acyclic on the intersections. It is still okay if this condition fails for some covers as long as it is satisfied for enough covers. However I am also told that there are spaces for which there is *no cover* satisfying condition 1.

Instead you can replace your covers by hypercovers. Basically this is an augmented simplicial object $$V_\bullet \to X$$ which you use instead of the simplicial object $U^{[ \bullet +1 ]} \to X$. There are some conditions which a simplicial object must satisfy in order to be a hypercover, but I don't want to get into it here. You can then define cohomology with respect to a hypercover analogously to Cech cohomology with respect to a cover, and then take a colimit. This seems to always reproduce derived functor sheaf cohomology.

So my question is **when is this really necessary?**

Question 1: What is the easiest example of a scheme and a sheaf of abelian groups (specifically representable ones such as $\mathbb{G}_m$) for which Cech cohomology of that sheaf and derived functor cohomology disagree?

Question 2: What is the easiest example of a (Hausdorff) topological space and a reasonable sheaf for which Cech cohomology and derived functor cohomology disagree?

I also want to be a little flexible about what a "cover" is supposed to be. I definitely want to allow interesting Grothendieck topologies, and would be interested in knowing if passing to a different Grothendieck topology changes the answer. It changes both the notion of sheaf and the notion of Cech cohomology, so I don't really know what to expect.

Also, I edited question 1 slightly from the original version, which just asked about quasi-coherent sheaves. Brian Conrad kindly pointed out to me that for any quasi-coherent sheaf the Cech cohomology and the sheaf cohomology will agree (at least with reasonable assumptions on our scheme, like quasi-compact quasi-separated?) and that the really interesting case is for more general sheaves of groups.

3more comments