The Stacks project

Lemma 48.30.3. Let $j : U \to X$ be an open immersion of Noetherian schemes.

  1. Let $(K_ n)$ and $(L_ n)$ be Deligne systems. Let $K$ and $L$ be the values of the constant systems $(K_ n|_ U)$ and $(L_ n|_ U)$. Given a morphism $\alpha : K \to L$ of $D(\mathcal{O}_ U)$ there is a unique morphism of pro-systems $(K_ n) \to (L_ n)$ of $D^ b_{\textit{Coh}}(\mathcal{O}_ X)$ whose restriction to $U$ is $\alpha $.

  2. Given $K \in D^ b_{\textit{Coh}}(\mathcal{O}_ U)$ there exists a Deligne system $(K_ n)$ such that $(K_ n|_ U)$ is constant with value $K$.

  3. The pro-object $(K_ n)$ of $D^ b_{\textit{Coh}}(\mathcal{O}_ X)$ of (2) is unique up to unique isomorphism (as a pro-object).

Proof. Part (1) is an immediate consequence of Lemma 48.30.1 and the fact that morphisms between pro-systems are the same as morphisms between the functors they corepresent, see Categories, Remark 4.22.7.

Let $K$ be as in (2). We can choose $K' \in D^ b_{\textit{Coh}}(\mathcal{O}_ X)$ whose restriction to $U$ is isomorphic to $K$, see Derived Categories of Schemes, Lemma 36.13.2. By Derived Categories of Schemes, Proposition 36.11.2 we can represent $K'$ by a bounded complex $\mathcal{F}^\bullet $ of coherent $\mathcal{O}_ X$-modules. Choose a quasi-coherent sheaf of ideals $\mathcal{I} \subset \mathcal{O}_ X$ whose vanishing locus is $X \setminus U$ (for example choose $\mathcal{I}$ to correspond to the reduced induced subscheme structure on $X \setminus U$). Then we can set $K_ n$ equal to the object represented by the complex $\mathcal{I}^ n\mathcal{F}^\bullet $ as in the introduction to this section.

Part (3) is immediate from parts (1) and (2). $\square$

Comments (0)

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