Lemma 59.77.5. Let $\Lambda $ be a Noetherian ring. If $j : U \to X$ is an étale morphism of schemes, then
$K|_ U \in D_{ctf}(U_{\acute{e}tale}, \Lambda )$ if $K \in D_{ctf}(X_{\acute{e}tale}, \Lambda )$, and
$j_!M \in D_{ctf}(X_{\acute{e}tale}, \Lambda )$ if $M \in D_{ctf}(U_{\acute{e}tale}, \Lambda )$ and the morphism $j$ is quasi-compact and quasi-separated.
Proof. Perhaps the easiest way to prove this lemma is to reduce to the case where $X$ is affine and then apply Lemma 59.77.3 to translate it into a statement about finite complexes of flat constructible sheaves of $\Lambda $-modules where the result follows from Lemma 59.73.1. $\square$
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).
All contributions are licensed under the GNU Free Documentation License.
Comments (0)