8
$\begingroup$

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? Does this cohomology have a special name under which I can search for literature?

Doesn't one get many interesting cohomology theories besides 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?

$\endgroup$
3
  • $\begingroup$ For your first question, are you thinking about the cohomology of $\mathcal{C}(X)$-modules, or of $\mathcal{C}(X)$ itself? $\endgroup$ Jun 24, 2010 at 14:29
  • $\begingroup$ About $C(X)$. What about $C(X)$-modules? $\endgroup$
    – Victor L.
    Jun 25, 2010 at 6:06
  • $\begingroup$ $C(X)$ modules are also fine (i.e. have partitions of unity), so the two answers below should apply (implying the cohomology vanishes). $\endgroup$ Jun 25, 2010 at 12:57

2 Answers 2

18
$\begingroup$

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.

$\endgroup$
7
  • 1
    $\begingroup$ What cohomology theories of topological spaces come from sheaf cohomology? All? $\endgroup$
    – Victor L.
    Jun 25, 2010 at 6:08
  • 1
    $\begingroup$ For which sheaves is sheaf cohomology homotopy invariant? $\endgroup$
    – bavajee
    Jun 25, 2010 at 13:29
  • 1
    $\begingroup$ Cohomology with coefficients in a locally constant sheaf is homotopy invariant. $\endgroup$ Jun 25, 2010 at 13:36
  • 1
    $\begingroup$ 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? $\endgroup$
    – bavajee
    Jun 25, 2010 at 13:52
  • 1
    $\begingroup$ 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. $\endgroup$ Jun 25, 2010 at 14:19
8
$\begingroup$

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.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

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