Loading [MathJax]/extensions/tex2jax.js

The Stacks project

Remark 85.8.4. Assumptions and notation as in Lemma 85.8.3 except we do not require $K$ in $D(\mathcal{C}_{total})$ to be bounded below. We claim there is a natural spectral sequence in this case also. Namely, suppose that $\mathcal{I}^\bullet $ is a K-injective complex of sheaves on $\mathcal{C}_{total}$ with injective terms representing $K$. We have

\begin{align*} R\Gamma (\mathcal{C}_{total}, K) & = R\mathop{\mathrm{Hom}}\nolimits (\mathbf{Z}, K) \\ & = R\mathop{\mathrm{Hom}}\nolimits ( \ldots \to g_{2!}\mathbf{Z} \to g_{1!}\mathbf{Z} \to g_{0!}\mathbf{Z}, K) \\ & = \Gamma (\mathcal{C}_{total}, \mathop{\mathcal{H}\! \mathit{om}}\nolimits ^\bullet ( \ldots \to g_{2!}\mathbf{Z} \to g_{1!}\mathbf{Z} \to g_{0!}\mathbf{Z}, \mathcal{I}^\bullet )) \\ & = \text{Tot}_\pi (A^{\bullet , \bullet }) \end{align*}

where $A^{\bullet , \bullet }$ is the double complex with terms $A^{p, q} = \Gamma (\mathcal{C}_ p, \mathcal{I}^ q_ p)$ and $\text{Tot}_\pi $ denotes the product totalization of this double complex. Namely, the first equality holds in any site. The second equality holds by Lemma 85.8.1. The third equality holds because $\mathcal{I}^\bullet $ is K-injective, see Cohomology on Sites, Sections 21.34 and 21.35. The final equality holds by the construction of $\mathop{\mathcal{H}\! \mathit{om}}\nolimits ^\bullet $ and the fact that $\mathop{\mathrm{Hom}}\nolimits (g_{p!}\mathbf{Z}, \mathcal{I}^ q) = \Gamma (\mathcal{C}_ p, \mathcal{I}^ q_ p)$. Then we get our spectral sequence by viewing $\text{Tot}_\pi (A^{\bullet , \bullet })$ as a filtered complex with $F^ i\text{Tot}^ n_\pi (A^{\bullet , \bullet }) = \prod _{p + q = n,\ p \geq i} A^{p, q}$. The spectral sequence we obtain behaves like the spectral sequence $({}'E_ r, {}'d_ r)_{r \geq 0}$ in Homology, Section 12.25 (where the case of the direct sum totalization is discussed) except for regularity, boundedness, convergence, and abutment issues. In particular we obtain $E_1^{p, q} = H^ q(\mathcal{C}_ p, K_ p)$ as in Lemma 85.8.3.


Comments (0)


Your email address will not be published. Required fields are marked.

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).

Unfortunately JavaScript is disabled in your browser, so the comment preview function will not work.

All contributions are licensed under the GNU Free Documentation License.