Lemma 20.13.1. Let $f : X \to Y$ be a morphism of ringed spaces. There is a commutative diagram

$\xymatrix{ D^{+}(X) \ar[rr]_-{R\Gamma (X, -)} \ar[d]_{Rf_*} & & D^{+}(\mathcal{O}_ X(X)) \ar[d]^{\text{restriction}} \\ D^{+}(Y) \ar[rr]^-{R\Gamma (Y, -)} & & D^{+}(\mathcal{O}_ Y(Y)) }$

More generally for any $V \subset Y$ open and $U = f^{-1}(V)$ there is a commutative diagram

$\xymatrix{ D^{+}(X) \ar[rr]_-{R\Gamma (U, -)} \ar[d]_{Rf_*} & & D^{+}(\mathcal{O}_ X(U)) \ar[d]^{\text{restriction}} \\ D^{+}(Y) \ar[rr]^-{R\Gamma (V, -)} & & D^{+}(\mathcal{O}_ Y(V)) }$

See also Remark 20.13.2 for more explanation.

Proof. Let $\Gamma _{res} : \textit{Mod}(\mathcal{O}_ X) \to \text{Mod}_{\mathcal{O}_ Y(Y)}$ be the functor which associates to an $\mathcal{O}_ X$-module $\mathcal{F}$ the global sections of $\mathcal{F}$ viewed as an $\mathcal{O}_ Y(Y)$-module via the map $f^\sharp : \mathcal{O}_ Y(Y) \to \mathcal{O}_ X(X)$. Let $restriction : \text{Mod}_{\mathcal{O}_ X(X)} \to \text{Mod}_{\mathcal{O}_ Y(Y)}$ be the restriction functor induced by $f^\sharp : \mathcal{O}_ Y(Y) \to \mathcal{O}_ X(X)$. Note that $restriction$ is exact so that its right derived functor is computed by simply applying the restriction functor, see Derived Categories, Lemma 13.16.9. It is clear that

$\Gamma _{res} = restriction \circ \Gamma (X, -) = \Gamma (Y, -) \circ f_*$

We claim that Derived Categories, Lemma 13.22.1 applies to both compositions. For the first this is clear by our remarks above. For the second, it follows from Lemma 20.11.10 which implies that injective $\mathcal{O}_ X$-modules are mapped to $\Gamma (Y, -)$-acyclic sheaves on $Y$. $\square$

## 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 01EZ. Beware of the difference between the letter 'O' and the digit '0'.