Existence of acyclic coverings for a given sheaf

502 Views Asked by At

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

There are 1 best solutions below

5
On BEST ANSWER

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}$)