Lemma 63.11.1 (0G2C)—The Stacks project

Loading [MathJax]/extensions/tex2jax.js

Lemma 63.11.1. Let $f : X \to Y$ be a finite type separated morphism of quasi-compact and quasi-separated schemes. Let $\Lambda $ be a torsion coefficient ring. The functor $Rf_! : D(X_{\acute{e}tale}, \Lambda ) \to D(Y_{\acute{e}tale}, \Lambda )$ has a right adjoint $Rf^! : D(Y_{\acute{e}tale}, \Lambda ) \to D(X_{\acute{e}tale}, \Lambda )$.

Proof. This follows from Injectives, Proposition 19.15.2 and Lemma 63.10.1 above. $\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