4
$\begingroup$

check this: Given a sheaf complex $F^\bullet$, let's say I want to compute the hypercohomology of this complex, if we consider the bicomplex of sheaves

$C^\bullet(F^\bullet) = (C^p(F^q))\quad (p,q\in\mathbb{Z})$,

where $C^\bullet(F^q)$ is the Godement resolution of the sheaf $F^q$. The hypercohomology of $F^\bullet$ is the cohomology of the complex

$K^\bullet(X) = tot(C^\bullet(F^\bullet)(X))$.

If we use spectral sequences to compute the hypercohomology I have two spectral sequences, let's look at the first spectral sequence {$'E^{p,q}_r$}, this sequence converges to the final term $'E^{p,q}_\infty$ right?

This term is at the same time

$'E^{p,q}_\infty = Gr^p_C \: \mathbb{H}^{p + q}(K^\bullet(X)) = C^{p+1}(\mathbb{H}^{p + q}(K^\bullet(X)))/C^p(\mathbb{H}^{p + q}(K^\bullet(X)))$

right? This is commonly expressed as

$'E^{p,q}_2 = H^p(X,H^q(F^\bullet)) \Rightarrow \mathbb{H}^{p + q}(K^\bullet(X))$,

and the second spectral sequence {$''E^{p,q}_r$} also converges to this. Ok my questions now are:

1 - Some authors simply say that these spectral sequences converge to the hypercohomology $\mathbb{H}^{p + q}(K^\bullet(X))$, why do they say that if the spectral sequences clearly converge to $Gr^p_F \: \mathbb{H}^{p + q}(K^\bullet(X)) = C^{p+1}(\mathbb{H}^{p + q}(K^\bullet(X)))/C^p(\mathbb{H}^{p + q}(K^\bullet(X)))$? Or where am I wrong?

2 - Let's say I have succesfully computed ALL the terms in the two spectral sequences, what do I gain from obtaining $Gr^p_F \: \mathbb{H}^{p + q}(K^\bullet(X)) = C^{p+1}(\mathbb{H}^{p + q}(K^\bullet(X)))/C^p(\mathbb{H}^{p + q}(K^\bullet(X)))$? What is that telling me?, like what if $Gr^p_F \: \mathbb{H}^{p + q}(K^\bullet(X)) = 0$ for some $p$, and $q$? What can I get from knowing that $C^{p+1}(\mathbb{H}^{p + q}(K^\bullet(X)))/C^p(\mathbb{H}^{p + q}(K^\bullet(X)))$ is $0$? How can I use that to compute $\mathbb{H}^{p + q}(K^\bullet(X))$, which is actually what I'm looking for? I know it's dumb and am missing something but I can't see it, can anybody please help me understand this, thanks.

  • 0
    You seem to be misunderstanding something about the convergence of spectral sequence, but I'm not sure what. Two facts: a spectral sequence can converge to many things, and one usually uses the definition which allows a spectral sequence to converge to a sequence of filtered modules, rather than a sequence of graded modules.2012-05-12
  • 0
    Reading through the 1st chapter of MacCleary's book on spectral sequence might be helpful to see how extract information from convergence.2012-05-13
  • 0
    Thank you both, I'm reading it right now, great exposition2012-05-15

1 Answers 1