Lemma 28.22.5 (0G41)—The Stacks project

Processing math: 100%

Table of contents
Part 2: Schemes
Chapter 28: Properties of Schemes
Section 28.22: Extending quasi-coherent sheaves
Lemma 28.22.5 (cite)

numberstags

Lemma 28.22.5. Let $X$ be a quasi-compact and quasi-separated scheme. Let $U \subset X$ be a quasi-compact open. Let $\mathcal{G}$ be an $\mathcal{O}_ U$ -module.

If $\mathcal{G}$ is quasi-coherent and of finite type, then there exists a quasi-coherent $\mathcal{O}_ X$ -module $\mathcal{G}'$ of finite type such that $\mathcal{G}'|_ U = \mathcal{G}$ .
If $\mathcal{G}$ is of finite presentation, then there exists an $\mathcal{O}_ X$ -module $\mathcal{G}'$ of finite presentation such that $\mathcal{G}'|_ U = \mathcal{G}$ .

Proof. Part (2) is the special case of Lemma 28.22.4 where $\mathcal{F} = 0$ . For part (1) we first write $\mathcal{G} = \mathcal{F}|_ U$ for some quasi-coherent $\mathcal{O}_ X$ -module by Lemma 28.22.1 and then we apply Lemma 28.22.2 with $\mathcal{G} = \mathcal{F}|_ U$ . $\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