Does such a sheaf of abelian groups exist? If not, is there a reference or a proof? Does such a sheaf of non-abelian groups exist?

I realized recently that while I've taken it for granted that there wasn't such a sheaf on $\mathbb{R}^n$, I only have proofs that specific sheaves are acyclic.

EDIT: The site of smooth manifolds is the category of smooth manifolds, endowed with the Grothendieck topology generated by defining surjective submersions to be "covers". In more down to earth language, I'm asking whether there is a sheaf, defined naturally and intrinsically for all smooth manifolds, which has nontrivial cohomology on $\mathbb{R}^n$.

The motivation for asking this is that I'm trying to understand the role of good covers in differential topology, i.e. can we always calculate cohomology of any sheaf just by picking a good cover and calculating the Cech cohomology on the cover, or do we in general need to pass to the limit over all covers? If all sheaves on the smooth site have vanishing cohomology on $\mathbb{R}^n$, then good covers always work. I'm trying to understand whether this is the case and why or why not.

18more comments