Lemma 20.32.3 (0BKJ)—The Stacks project

Processing math: 100%

Table of contents
Part 1: Preliminaries
Chapter 20: Cohomology of Sheaves
Section 20.32: Some properties of K-injective complexes
Lemma 20.32.3 (cite)

numberstags

Lemma 20.32.3. Let $(X, \mathcal{O}_ X)$ be a ringed space. Let $K$ be an object of $D(\mathcal{O}_ X)$ . The sheafification of

$U \mapsto H^ q(U, K) = H^ q(U, K|_ U)$

is the $q$ th cohomology sheaf $H^ q(K)$ of $K$ .

Proof. The equality $H^ q(U, K) = H^ q(U, K|_ U)$ holds by Lemma 20.32.2. Choose a K-injective complex $\mathcal{I}^\bullet$ representing $K$ . Then

$H^ q(U, K) = \frac{\mathop{\mathrm{Ker}}(\mathcal{I}^ q(U) \to \mathcal{I}^{q + 1}(U))}{\mathop{\mathrm{Im}}(\mathcal{I}^{q - 1}(U) \to \mathcal{I}^ q(U))}.$

by our construction of cohomology. Since $H^ q(K) = \mathop{\mathrm{Ker}}(\mathcal{I}^ q \to \mathcal{I}^{q + 1})/ \mathop{\mathrm{Im}}(\mathcal{I}^{q - 1} \to \mathcal{I}^ q)$ the result is clear. $\square$

Comments (0)

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).

Comments (0)

Post a comment