[Math] Non-zero sheaf cohomology

ag.algebraic-geometrycohomologysheaf-theory

Let $\mathbb{R}$ denote the real line with its usual topology. Does there exist a sheaf $F$ of abelian groups on $\mathbb{R}$ whose second cohomology group $H^{2}\left(\mathbb{R},F\right)$ is non-zero? What about $H^{j}\left(\mathbb{R},F\right)$ for integers $j\ge 2$ ?

(Here cohomology means derived functor cohomology as in, say, Hartshorne or EGA. Anyway this cohomology coincides with Cech cohomology since $\mathbb{R}$ is paracompact.)

Best Answer

The sheaf cohomology Hi(X,F) of a (topological) manifold X of dimension n vanishes for i > n. This is a topological version of Grothendieck's vanishing theorem above. You can find this result in Kashiwara-Schapira's "Sheaves on manifolds" proposition III.3.2.2.