MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

For a topological space $X$ and a sheaf of abelian groups $F$ on it sheaf cohomology $H^n(X,F)$ is defined.

Singular cohomology of $X$ can be expressed as sheaf cohomology if $X$ is locally contractible and $F$ is the sheaf of locally constant functions.

I have two related questions.

For an algebraic scheme $X$ one uses the sheaf cohomology with the structure sheaf $F=\mathcal{O}_X$. What happens if $X$ is a topological manifold and $F$ is the sheaf of continuous functions to the real numbers? Or differentiable manifolds? Has this cohomology special name under which I can search for literature?

Doesn't one get many interesting cohomology theories beside singular cohomology for a topological space $X$ from sheaf cohomology? I mean for a classical topological space, not a scheme, which is Hausdorff and so forth. Is there a list or an overview in the literature? Thank you.

I like to restate the second question. Does any reasonable cohomology theory of topological spaces come from sheaf cohomology?

share|cite|improve this question
For your first question, are you thinking about the cohomology of $\mathcal{C}(X)$-modules, or of $\mathcal{C}(X)$ itself? – Daniel Litt Jun 24 '10 at 14:29
About $C(X)$. What about $C(X)$-modules? – Victor L. Jun 25 '10 at 6:06
$C(X)$ modules are also fine (i.e. have partitions of unity), so the two answers below should apply (implying the cohomology vanishes). – Akhil Mathew Jun 25 '10 at 12:57

For the first question: The higher cohomology of a paracompact Hausdorff space (e.g. manifold) in the sheaf of continuous real valued functions is zero, because the sheaf is fine.

If I understand the spirit of your second question correctly, then you can use locally constant sheaves or more generally constructible sheaves to get interesting "topological" cohomologies.

A quick follow up: (1) The argument in the first paragraph also applies to sheaves of modules over the ring of continuous functions. (2) I don't know if every generalized cohomology theory (in the sense of algebraic topology) can or should be regarded as sheaf cohomology, but I leave to an expert to give a precise answer. On the flip side, I should point out that sheaf cohomology with arbitrary coefficients is generally not homotopy invariant, so it really is a different sort of beast.

share|cite|improve this answer
What cohomology theories of topological spaces come from sheaf cohomology? All? – Victor L. Jun 25 '10 at 6:08
For which sheaves is sheaf cohomology homotopy invariant? – bavajee Jun 25 '10 at 13:29
Cohomology with coefficients in a locally constant sheaf is homotopy invariant. – Donu Arapura Jun 25 '10 at 13:36
Thanks? Is it true that even $H^0(X,-)$ on nice enough spaces is never homotopy invariant for sheaves which are not locally constant? Is there a reference for this? – bavajee Jun 25 '10 at 13:52
I hope you realize that I was being a bit disingenuous here in that I never gave a precise definition of homotopy invariance for sheaves. You would need to find/supply it first before trying to prove your result! My real point was that topologists and "sheafologists" think about cohomology differently. – Donu Arapura Jun 25 '10 at 14:19

Sheaves of continuous or smooth functions with values in a vector bundle have zero cohomology groups because of the existence of partitions of unity.

Still they provide interesting resolutions for the locally constant sheaf, e.g. by considering the bundle built from exterior algebras on the tangent space, and that's a way to prove that De Rham cohomology coincides with singular or Cech cohomology for paracompact manifolds.

Of course, we can look at the De Rham complex obtained by tensoring the exterior forms by an arbitrary bundle on the manifold. In which case we obtain an interesting cohomology with "values" in a vector bundle instead of a coefficient ring. This is similar to singular cohomology with twisted coefficient. And I think that's the kind of examples that gave rise to the concept of sheaf.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.