0
$\begingroup$

I sometimes see cohomologies of complexes of sheaves. What is the definition of these? Say if $\mathcal F^* $ is a complex of sheaves on $C$, what is $H^i(C,\mathcal F^*) $?

$\endgroup$
2
  • 3
    $\begingroup$ It is hypercohomology. $\endgroup$
    – user19475
    Dec 17, 2011 at 17:33
  • $\begingroup$ (look into Weibel's H-book, chapter 10.5 ff.) $\endgroup$
    – user19475
    Dec 17, 2011 at 17:35

3 Answers 3

8
$\begingroup$

There are two concepts defined for complexes of sheaves, both called "cohomology", which are related but different. The more basic concept is the kind of cohomology that is defined for any complex $A^\bullet$ of objects in an abelian category: $$\DeclareMathOperator{\im}{im}H^n(A^\bullet) = \ker d^\bullet / \im d^{\bullet - 1},$$ where $d^\bullet$ are the differentials. This is not the kind you're asking about. What you are seeing is the derived functor kind of cohomology, in this case the derived functor of global sections of sheaves. If $X$ is a topological space (or site) and $\def\sh#1{\mathcal{#1}}\sh{F}^\bullet$ is a complex of sheaves on $X$, then: $$H^n(X, \sh{F}^\bullet) = H^n \bigl(R\Gamma(X, \sh{F}^\bullet)\bigr).$$ The $H^n$ on the right is the "complex cohomology" and the $H^n$ on the left is what we are defining to be the "sheaf cohomology". Here, $R\Gamma(X, -)$ is the functor obtained in the manner described by Sandor in his answer: find (any) quasi-isomorphism of $\sh{F}^\bullet$ with a complex of injective sheaves $\sh{I}^\bullet$, and define: $$R\Gamma(X,\sh{F}^\bullet) = \Gamma(X,\sh{I}^\bullet);$$ in other words, just apply global sections directly to the complex of injectives. For why this works, and what it means, you'll need to read a book; Weibel is a great reference, though I really like Gelfand–Manin for learning. YMMV.

$\endgroup$
2
$\begingroup$

If $\mathscr F$ is a sheaf, you define cohomology by first taking an injective resolution. But that's really just a complex of injective sheaves quasi-isomorphic to $\mathscr F$. That does not need $\mathscr F$ to be a sheaf. If $F$ is a complex, then take a complex of injective sheaves quasi-isomorphic to $F$. From that point do the same as you do in the case of sheaves.

$\endgroup$
0
$\begingroup$

I apologize for the shameless self promotion, but you can also try these notes.

$\endgroup$
1
  • $\begingroup$ Nicolaescu: Thank you for these notes! $\endgroup$ Jan 4, 2012 at 19:01

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.