Lemma 20.46.10. Let $(X, \mathcal{O}_ X)$ be a ringed space. Let $j : U \to X$ be an open subspace. Let $E$ be a perfect object of $D(\mathcal{O}_ U)$ whose cohomology sheaves are supported on a closed subset $T \subset U$ with $j(T)$ closed in $X$. Then $Rj_*E$ is a perfect object of $D(\mathcal{O}_ X)$.

Proof. Being a perfect complex is local on $X$. Thus it suffices to check that $Rj_*E$ is perfect when restricted to $U$ and $V = X \setminus j(T)$. We have $Rj_*E|_ U = E$ which is perfect. We have $Rj_*E|_ V = 0$ because $E|_{U \setminus T} = 0$. $\square$

There are also:

• 2 comment(s) on Section 20.46: Perfect complexes

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