Loading web-font TeX/Math/Italic

The Stacks project

Lemma 28.25.3. Let X be a quasi-compact scheme. Let \mathcal{I} \subset \mathcal{O}_ X be a quasi-coherent sheaf of ideals of finite type. Let Z \subset X be the closed subscheme defined by \mathcal{I} and set U = X \setminus Z. Let \mathcal{F} be a quasi-coherent \mathcal{O}_ X-module. The canonical map

\mathop{\mathrm{colim}}\nolimits _ n \mathop{\mathrm{Hom}}\nolimits _{\mathcal{O}_ X}(\mathcal{I}^ n, \mathcal{F}) \longrightarrow \Gamma (U, \mathcal{F})

is injective. Assume further that X is quasi-separated. Let \mathcal{F}_ n \subset \mathcal{F} be subsheaf of sections annihilated by \mathcal{I}^ n. The canonical map

\mathop{\mathrm{colim}}\nolimits _ n \mathop{\mathrm{Hom}}\nolimits _{\mathcal{O}_ X}(\mathcal{I}^ n, \mathcal{F}/\mathcal{F}_ n) \longrightarrow \Gamma (U, \mathcal{F})

is an isomorphism.

Proof. Let \mathop{\mathrm{Spec}}(A) = W \subset X be an affine open. Write \mathcal{F}|_ W = \widetilde{M} for some A-module M and \mathcal{I}|_ W = \widetilde{I} for some finite type ideal I \subset A. Restricting the first displayed map of the lemma to W we obtain the first displayed map of Lemma 28.25.1. Since we can cover X by a finite number of affine opens this proves the first displayed map of the lemma is injective.

We have \mathcal{F}_ n|_ W = \widetilde{M_ n} where M_ n \subset M is defined as in Lemma 28.25.1 (details omitted). The lemma guarantees that we have a bijection

\mathop{\mathrm{colim}}\nolimits _ n \mathop{\mathrm{Hom}}\nolimits _{\mathcal{O}_ W}( \mathcal{I}^ n|_ W, (\mathcal{F}/\mathcal{F}_ n)|_ W) \longrightarrow \Gamma (U \cap W, \mathcal{F})

for any such affine open W.

To see the second displayed arrow of the lemma is bijective, we choose a finite affine open covering X = \bigcup _{j = 1, \ldots , m} W_ j. The injectivity follows immediately from the above and the finiteness of the covering. If X is quasi-separated, then for each pair j, j' we choose a finite affine open covering

W_ j \cap W_{j'} = \bigcup \nolimits _{k = 1, \ldots , m_{jj'}} W_{jj'k}.

Let s \in \Gamma (U, \mathcal{F}). As seen above for each j there exists an n_ j and a map \varphi _ j : \mathcal{I}^{n_ j}|_{W_ j} \to (\mathcal{F}/\mathcal{F}_{n_ j})|_{W_ j} which corresponds to s|_{U \cap W_ j}. By the same token for each triple (j, j', k) there exists an integer n_{jj'k} such that the restriction of \varphi _ j and \varphi _{j'} as maps \mathcal{I}^{n_{jj'k}} \to \mathcal{F}/\mathcal{F}_{n_{jj'k}} agree over W_{jj'k}. Let n = \max \{ n_ j, n_{jj'k}\} and we see that the \varphi _ j glue as maps \mathcal{I}^ n \to \mathcal{F}/\mathcal{F}_ n over X. This proves surjectivity of the map. \square


Comments (6)

Comment #946 by correction_bot on

In the proof, there are references to "(1)" and "(2)", but these aren't labeled in the statement of the lemma.

Comment #6794 by Yuto Masamura on

In the last paragraph of proof, should precisely be .

Comment #7494 by Xiaolong Liu on

Before the last sentence, one should be instead of .

Comment #9872 by david on

I think you need to prove that the morphisms in lemma 01PM agree on overlaps, so we can glue them, before taling about the "canonical map" colim HomOX(In,F)⟶Γ(U,F)


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.