5
$\begingroup$

Let $\mathcal{F}$ be a sheaf over $X$ and $\mathcal{U}=\{U_i\}_{i\in I}$ a covering of $X$.

I say that $\mathcal{U}$ is acyclic for $\mathcal{F}$ if $H^k(U_{i_0 \ldots U_n}, \mathcal{F}|_{U_{i_0 \ldots U_n}})=0$ for every $i_0 \ldots i_n \in I$ and every $k>0$, where $U_{i_0 \ldots U_n} = U_{i_0} \cap\cdots \cap U_{i_n}$ and the $H^k$ are the cohomology groups defined via resolutions (ie, using derived catergories).

My question is: given a sheaf $\mathcal{F}$, is it always possible to find an acyclic covering for it? My guess is that the answer is yes, but I don't know if my proof is ok.

1 Answers 1

3

To build a counterexample, it is enough to exhibit a space $X$ with a point $x$ such that no neighborhood of $x$ in $X$ is acyclic. $\mathbb R^2\setminus\{1/n:n\in\mathbb N\}$ should do (use the constant sheaf $\underline{\mathbb Z}$)

  • 1
    I was trying to see why cech and derived functor cohomology agree. I managed to show that for acyclic coverings we have $\check{H}^i(\mathcal{U},\mathcal{F}) \simeq H^i(X,\mathcal{F})$ but i dont know what happens in the limit without using that every covering admits an acyclic subcovering. Do you know how to do this?2011-12-21