The Stacks project

Lemma 20.34.1. Let $(X, \mathcal{O}_ X)$ be a ringed space. Let $i : Z \to X$ be the inclusion of a closed subset.

  1. $R\mathcal{H}_ Z : D(\mathcal{O}_ X) \to D(\mathcal{O}_ X|_ Z)$ is right adjoint to $i_* : D(\mathcal{O}_ X|_ Z) \to D(\mathcal{O}_ X)$.

  2. For $K$ in $D(\mathcal{O}_ X|_ Z)$ we have $R\mathcal{H}_ Z(i_*K) = K$.

  3. Let $\mathcal{G}$ be a sheaf of $\mathcal{O}_ X|_ Z$-modules on $Z$. Then $\mathcal{H}^ p_ Z(i_*\mathcal{G}) = 0$ for $p > 0$.

Proof. The functor $i_*$ is exact, so $i_* = Ri_* = Li_*$. Hence part (1) of the lemma follows from Modules, Lemma 17.13.6 and Derived Categories, Lemma 13.30.3. Let $K$ be as in (2). We can represent $K$ by a K-injective complex $\mathcal{I}^\bullet $ of $\mathcal{O}_ X|_ Z$-modules. By Lemma 20.32.9 the complex $i_*\mathcal{I}^\bullet $, which represents $i_*K$, is a K-injective complex of $\mathcal{O}_ X$-modules. Thus $R\mathcal{H}_ Z(i_*K)$ is computed by $\mathcal{H}_ Z(i_*\mathcal{I}^\bullet ) = \mathcal{I}^\bullet $ which proves (2). Part (3) is a special case of (2). $\square$

Comments (2)

Comment #1801 by Keenan Kidwell on

Currently the proof cites 20.11.11, which says that for a flat map of ringed spaces, preserves injectives (the reason being that is exact in this case). This seems awkward to me since the current lemma is in the context of abelian sheaves on a topological space. Wouldn't it make more sense to cite the fact that is (always) exact? Although upon doing some searching, this is only stated for maps of ringed spaces as 17.3.3 (3)...but this seems a bit awkward for the same reason. Should there be a separate tag, perhaps in the section 6.22, deducing exactness of for all maps of spaces from the description on stalks?

Comment #1826 by on

OK, yes we could and should state separate lemmas for abelian sheaves. The general idea is that once sheaves of modules have been defined, then most results should be stated for cohomology and derived categories of sheaves of modules with results for abelian sheaves as special cases. However, in this section we only do the material for abelian sheaves, because a good notion of closed immersions for ringed spaces is a bit tricky (for a bunch of reasons).

Post a comment

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.

In order to prevent bots from posting comments, we would like you to prove that you are human. You can do this by filling in the name of the current tag in the following input field. As a reminder, this is tag 0A3B. Beware of the difference between the letter 'O' and the digit '0'.