Skip to main content
4 of 7
added 682 characters in body
Georges Elencwajg
  • 47.5k
  • 14
  • 159
  • 241

Dear Victoria: here is a summary of the main comparison results I know of between Grothendieck cohomology (which is usually just called cohomology and written $\newcommand{\F}{\mathcal F}H^i(X,\F)$ ) and other cohomologies.

  1. If $X$ is locally contractible then the cohomology of a constant sheaf coincides with singular cohomology. [This is Eric's answer, but there is no need for his hypothesis that open subsets be acyclic]

  2. Cartan's theorem: Given a topological space $X$ and a sheaf $\F$, assume there exists a basis of open sets $\mathcal{U}$, stable under finite intersections, such that the CECH cohomology groups for the sheaf $\F$ are trivial (in positive dimension) for every open $U$ in the basis: $H^i(U,\F)=0$ Then the Cech cohomology of $\F$ on $X$ coincides with (Grothendieck) cohomology

  3. Leray's Theorem: Given a topological space $X$ and a sheaf $\F$, assume that for some covering $(U_i)$ of $X$ we know that the (Grothendieck!) cohomology in positive dimensions of $\F$ vanishes on every finite intersection of the $U_i$'s. Then the cohomology of $\F$ is already calculated by the Cech cohomology OF THE COVERING $(U_i)$: no need to pass to the inductive limit on all covers. This contains Dinakar's favourite example of a quasi-coherent sheaf on a separated scheme covered by affines.

  4. If $X$ is paracompact, Cech cohomology coincides with Grothendieck cohomology for ALL SHEAVES
    If you think this is too nice to be true, you can check Théorème 5.10.1 in Godement's book cited below [So Eric's remark that no matter how nice the space is, Cech cohomology would probably not coincide with derived functor cohomology for arbitrary sheaves turns out to be too pessimistic]

  5. Cohomology can be calculated by taking sections of any acyclic resolution of the studied sheaf: you don't need to take an injective resolution. This contains De Rham's theorem that singular cohomology can be calculated with differential forms on manifolds.

  6. If you study sheaves of non-abelian groups, Cech cohomology is convenient: for example vector bundles on $X$ ( a topological space or manifold or scheme or...) are parametrized by $H^1(X, GL_r)$. I don't know if there is a description of sheaf cohomology for non-abelian sheaves in the derived functor style.

Good references are

a) A classic: Godement, Théorie des faisceaux (in French, alas)

b) S.Ramanan, Global Calculus,AMS graduate Studies in Mahematics, volume 65. (An amazingly lucid book, in the best Indian tradition.)

c) Torsten Wedhorn's quite detailed on-line notes, which prove 1) above (Theorem 9.16, p.92) and much, much more.
By the way, @Wedhorn is one of the two authors of a great book on algebraic geometry.

d) Ciboratu, Proposition 2.1 and Voisin's Hodge Theory and Complex Algebraic Geometry I, Theorem 4.47, page 109 , which both also prove 1) above.

Edit (May 22, 2016)
@Eric Wofsety is skeptical of the proofs of 1) which do not assume that $X$ is also paracompact.
I haven't checked these in detail but I am sure that in practice the result would only be used for paracompact spaces, so that prudent readers might want to add this harmless paracompactness hypothesis in 1).

Georges Elencwajg
  • 47.5k
  • 14
  • 159
  • 241