The Stacks project

28.22 Extending quasi-coherent sheaves

It is sometimes useful to be able to show that a given quasi-coherent sheaf on an open subscheme extends to the whole scheme.

Lemma 28.22.1. Let $j : U \to X$ be a quasi-compact open immersion of schemes.

  1. Any quasi-coherent sheaf on $U$ extends to a quasi-coherent sheaf on $X$.

  2. Let $\mathcal{F}$ be a quasi-coherent sheaf on $X$. Let $\mathcal{G} \subset \mathcal{F}|_ U$ be a quasi-coherent subsheaf. There exists a quasi-coherent subsheaf $\mathcal{H}$ of $\mathcal{F}$ such that $\mathcal{H}|_ U = \mathcal{G}$ as subsheaves of $\mathcal{F}|_ U$.

  3. Let $\mathcal{F}$ be a quasi-coherent sheaf on $X$. Let $\mathcal{G}$ be a quasi-coherent sheaf on $U$. Let $\varphi : \mathcal{G} \to \mathcal{F}|_ U$ be a morphism of $\mathcal{O}_ U$-modules. There exists a quasi-coherent sheaf $\mathcal{H}$ of $\mathcal{O}_ X$-modules and a map $\psi : \mathcal{H} \to \mathcal{F}$ such that $\mathcal{H}|_ U = \mathcal{G}$ and that $\psi |_ U = \varphi $.

Proof. An immersion is separated (see Schemes, Lemma 26.23.8) and $j$ is quasi-compact by assumption. Hence for any quasi-coherent sheaf $\mathcal{G}$ on $U$ the sheaf $j_*\mathcal{G}$ is an extension to $X$. See Schemes, Lemma 26.24.1 and Sheaves, Section 6.31.

Assume $\mathcal{F}$, $\mathcal{G}$ are as in (2). Then $j_*\mathcal{G}$ is a quasi-coherent sheaf on $X$ (see above). It is a subsheaf of $j_*j^*\mathcal{F}$. Hence the kernel

\[ \mathcal{H} = \mathop{\mathrm{Ker}}(\mathcal{F} \oplus j_* \mathcal{G} \longrightarrow j_*j^*\mathcal{F}) \]

is quasi-coherent as well, see Schemes, Section 26.24. It is formal to check that $\mathcal{H} \subset \mathcal{F}$ and that $\mathcal{H}|_ U = \mathcal{G}$ (using the material in Sheaves, Section 6.31 again).

Part (3) is proved in the same manner as (2). Just take $\mathcal{H} = \mathop{\mathrm{Ker}}(\mathcal{F} \oplus j_* \mathcal{G} \to j_*j^*\mathcal{F})$ with its obvious map to $\mathcal{F}$ and its obvious identification with $\mathcal{G}$ over $U$. $\square$

Lemma 28.22.2. Let $X$ be a quasi-compact and quasi-separated scheme. Let $U \subset X$ be a quasi-compact open. Let $\mathcal{F}$ be a quasi-coherent $\mathcal{O}_ X$-module. Let $\mathcal{G} \subset \mathcal{F}|_ U$ be a quasi-coherent $\mathcal{O}_ U$-submodule which is of finite type. Then there exists a quasi-coherent submodule $\mathcal{G}' \subset \mathcal{F}$ which is of finite type such that $\mathcal{G}'|_ U = \mathcal{G}$.

Proof. Let $n$ be the minimal number of affine opens $U_ i \subset X$, $i = 1, \ldots , n$ such that $X = U \cup \bigcup U_ i$. (Here we use that $X$ is quasi-compact.) Suppose we can prove the lemma for the case $n = 1$. Then we can successively extend $\mathcal{G}$ to a $\mathcal{G}_1$ over $U \cup U_1$ to a $\mathcal{G}_2$ over $U \cup U_1 \cup U_2$ to a $\mathcal{G}_3$ over $U \cup U_1 \cup U_2 \cup U_3$, and so on. Thus we reduce to the case $n = 1$.

Thus we may assume that $X = U \cup V$ with $V$ affine. Since $X$ is quasi-separated and $U$, $V$ are quasi-compact open, we see that $U \cap V$ is a quasi-compact open. It suffices to prove the lemma for the system $(V, U \cap V, \mathcal{F}|_ V, \mathcal{G}|_{U \cap V})$ since we can glue the resulting sheaf $\mathcal{G}'$ over $V$ to the given sheaf $\mathcal{G}$ over $U$ along the common value over $U \cap V$. Thus we reduce to the case where $X$ is affine.

Assume $X = \mathop{\mathrm{Spec}}(R)$. Write $\mathcal{F} = \widetilde M$ for some $R$-module $M$. By Lemma 28.22.1 above we may find a quasi-coherent subsheaf $\mathcal{H} \subset \mathcal{F}$ which restricts to $\mathcal{G}$ over $U$. Write $\mathcal{H} = \widetilde N$ for some $R$-module $N$. For every $u \in U$ there exists an $f \in R$ such that $u \in D(f) \subset U$ and such that $N_ f$ is finitely generated, see Lemma 28.16.1. Since $U$ is quasi-compact we can cover it by finitely many $D(f_ i)$ such that $N_{f_ i}$ is generated by finitely many elements, say $x_{i, 1}/f_ i^ N, \ldots , x_{i, r_ i}/f_ i^ N$. Let $N' \subset N$ be the submodule generated by the elements $x_{i, j}$. Then the subsheaf $\mathcal{G}' = \widetilde{N'} \subset \mathcal{H} \subset \mathcal{F}$ works. $\square$

Lemma 28.22.3. Let $X$ be a quasi-compact and quasi-separated scheme. Any quasi-coherent sheaf of $\mathcal{O}_ X$-modules is the directed colimit of its quasi-coherent $\mathcal{O}_ X$-submodules which are of finite type.

Proof. The colimit is directed because if $\mathcal{G}_1$, $\mathcal{G}_2$ are quasi-coherent subsheaves of finite type, then the image of $\mathcal{G}_1 \oplus \mathcal{G}_2 \to \mathcal{F}$ is a quasi-coherent submodule of finite type. Let $U \subset X$ be any affine open, and let $s \in \Gamma (U, \mathcal{F})$ be any section. Let $\mathcal{G} \subset \mathcal{F}|_ U$ be the subsheaf generated by $s$. Then clearly $\mathcal{G}$ is quasi-coherent and has finite type as an $\mathcal{O}_ U$-module. By Lemma 28.22.2 we see that $\mathcal{G}$ is the restriction of a quasi-coherent subsheaf $\mathcal{G}' \subset \mathcal{F}$ which has finite type. Since $X$ has a basis for the topology consisting of affine opens we conclude that every local section of $\mathcal{F}$ is locally contained in a quasi-coherent submodule of finite type. Thus we win. $\square$

Lemma 28.22.4. Let $X$ be a quasi-compact and quasi-separated scheme. Let $\mathcal{F}$ be a quasi-coherent $\mathcal{O}_ X$-module. Let $U \subset X$ be a quasi-compact open. Let $\mathcal{G}$ be an $\mathcal{O}_ U$-module which is of finite presentation. Let $\varphi : \mathcal{G} \to \mathcal{F}|_ U$ be a morphism of $\mathcal{O}_ U$-modules. Then there exists an $\mathcal{O}_ X$-module $\mathcal{G}'$ of finite presentation, and a morphism of $\mathcal{O}_ X$-modules $\varphi ' : \mathcal{G}' \to \mathcal{F}$ such that $\mathcal{G}'|_ U = \mathcal{G}$ and such that $\varphi '|_ U = \varphi $.

Proof. The beginning of the proof is a repeat of the beginning of the proof of Lemma 28.22.2. We write it out carefully anyway.

Let $n$ be the minimal number of affine opens $U_ i \subset X$, $i = 1, \ldots , n$ such that $X = U \cup \bigcup U_ i$. (Here we use that $X$ is quasi-compact.) Suppose we can prove the lemma for the case $n = 1$. Then we can successively extend the pair $(\mathcal{G}, \varphi )$ to a pair $(\mathcal{G}_1, \varphi _1)$ over $U \cup U_1$ to a pair $(\mathcal{G}_2, \varphi _2)$ over $U \cup U_1 \cup U_2$ to a pair $(\mathcal{G}_3, \varphi _3)$ over $U \cup U_1 \cup U_2 \cup U_3$, and so on. Thus we reduce to the case $n = 1$.

Thus we may assume that $X = U \cup V$ with $V$ affine. Since $X$ is quasi-separated and $U$ quasi-compact, we see that $U \cap V \subset V$ is quasi-compact. Suppose we prove the lemma for the system $(V, U \cap V, \mathcal{F}|_ V, \mathcal{G}|_{U \cap V}, \varphi |_{U \cap V})$ thereby producing $(\mathcal{G}', \varphi ')$ over $V$. Then we can glue $\mathcal{G}'$ over $V$ to the given sheaf $\mathcal{G}$ over $U$ along the common value over $U \cap V$, and similarly we can glue the map $\varphi '$ to the map $\varphi $ along the common value over $U \cap V$. Thus we reduce to the case where $X$ is affine.

Assume $X = \mathop{\mathrm{Spec}}(R)$. By Lemma 28.22.1 above we may find a quasi-coherent sheaf $\mathcal{H}$ with a map $\psi : \mathcal{H} \to \mathcal{F}$ over $X$ which restricts to $\mathcal{G}$ and $\varphi $ over $U$. By Lemma 28.22.2 we can find a finite type quasi-coherent $\mathcal{O}_ X$-submodule $\mathcal{H}' \subset \mathcal{H}$ such that $\mathcal{H}'|_ U = \mathcal{G}$. Thus after replacing $\mathcal{H}$ by $\mathcal{H}'$ and $\psi $ by the restriction of $\psi $ to $\mathcal{H}'$ we may assume that $\mathcal{H}$ is of finite type. By Lemma 28.16.2 we conclude that $\mathcal{H} = \widetilde{N}$ with $N$ a finitely generated $R$-module. Hence there exists a surjection as in the following short exact sequence of quasi-coherent $\mathcal{O}_ X$-modules

\[ 0 \to \mathcal{K} \to \mathcal{O}_ X^{\oplus n} \to \mathcal{H} \to 0 \]

where $\mathcal{K}$ is defined as the kernel. Since $\mathcal{G}$ is of finite presentation and $\mathcal{H}|_ U = \mathcal{G}$ by Modules, Lemma 17.11.3 the restriction $\mathcal{K}|_ U$ is an $\mathcal{O}_ U$-module of finite type. Hence by Lemma 28.22.2 again we see that there exists a finite type quasi-coherent $\mathcal{O}_ X$-submodule $\mathcal{K}' \subset \mathcal{K}$ such that $\mathcal{K}'|_ U = \mathcal{K}|_ U$. The solution to the problem posed in the lemma is to set

\[ \mathcal{G}' = \mathcal{O}_ X^{\oplus n}/\mathcal{K}' \]

which is clearly of finite presentation and restricts to give $\mathcal{G}$ on $U$ with $\varphi '$ equal to the composition

\[ \mathcal{G}' = \mathcal{O}_ X^{\oplus n}/\mathcal{K}' \to \mathcal{O}_ X^{\oplus n}/\mathcal{K} = \mathcal{H} \xrightarrow {\psi } \mathcal{F}. \]

This finishes the proof of the lemma. $\square$

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.

  1. 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}$.

  2. 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$

The following lemma says that every quasi-coherent sheaf on a quasi-compact and quasi-separated scheme is a filtered colimit of $\mathcal{O}$-modules of finite presentation. Actually, we reformulate this in (perhaps more familiar) terms of directed colimits over directed sets in the next lemma.

slogan

Lemma 28.22.6. Let $X$ be a scheme. Assume $X$ is quasi-compact and quasi-separated. Let $\mathcal{F}$ be a quasi-coherent $\mathcal{O}_ X$-module. There exist

  1. a filtered index category $\mathcal{I}$ (see Categories, Definition 4.19.1),

  2. a diagram $\mathcal{I} \to \textit{Mod}(\mathcal{O}_ X)$ (see Categories, Section 4.14), $i \mapsto \mathcal{F}_ i$,

  3. morphisms of $\mathcal{O}_ X$-modules $\varphi _ i : \mathcal{F}_ i \to \mathcal{F}$

such that each $\mathcal{F}_ i$ is of finite presentation and such that the morphisms $\varphi _ i$ induce an isomorphism

\[ \mathop{\mathrm{colim}}\nolimits _ i \mathcal{F}_ i = \mathcal{F}. \]

Proof. Choose a set $I$ and for each $i \in I$ an $\mathcal{O}_ X$-module of finite presentation and a homomorphism of $\mathcal{O}_ X$-modules $\varphi _ i : \mathcal{F}_ i \to \mathcal{F}$ with the following property: For any $\psi : \mathcal{G} \to \mathcal{F}$ with $\mathcal{G}$ of finite presentation there is an $i \in I$ such that there exists an isomorphism $\alpha : \mathcal{F}_ i \to \mathcal{G}$ with $\varphi _ i = \psi \circ \alpha $. It is clear from Modules, Lemma 17.9.8 that such a set exists (see also its proof). We denote $\mathcal{I}$ the category with $\mathop{\mathrm{Ob}}\nolimits (\mathcal{I}) = I$ and given $i, i' \in I$ we set

\[ \mathop{\mathrm{Mor}}\nolimits _\mathcal {I}(i, i') = \{ \alpha : \mathcal{F}_ i \to \mathcal{F}_{i'} \mid \alpha \circ \varphi _{i'} = \varphi _ i \} . \]

We claim that $\mathcal{I}$ is a filtered category and that $\mathcal{F} = \mathop{\mathrm{colim}}\nolimits _ i \mathcal{F}_ i$.

Let $i, i' \in I$. Then we can consider the morphism

\[ \mathcal{F}_ i \oplus \mathcal{F}_{i'} \longrightarrow \mathcal{F} \]

which is the direct sum of $\varphi _ i$ and $\varphi _{i'}$. Since a direct sum of finitely presented $\mathcal{O}_ X$-modules is finitely presented we see that there exists some $i'' \in I$ such that $\varphi _{i''} : \mathcal{F}_{i''} \to \mathcal{F}$ is isomorphic to the displayed arrow towards $\mathcal{F}$ above. Since there are commutative diagrams

\[ \xymatrix{ \mathcal{F}_ i \ar[r] \ar[d] & \mathcal{F} \ar@{=}[d] \\ \mathcal{F}_ i \oplus \mathcal{F}_{i'} \ar[r] & \mathcal{F} } \quad \text{and} \quad \xymatrix{ \mathcal{F}_{i'} \ar[r] \ar[d] & \mathcal{F} \ar@{=}[d] \\ \mathcal{F}_ i \oplus \mathcal{F}_{i'} \ar[r] & \mathcal{F} } \]

we see that there are morphisms $i \to i''$ and $i' \to i''$ in $\mathcal{I}$. Next, suppose that we have $i, i' \in I$ and morphisms $\alpha , \beta : i \to i'$ (corresponding to $\mathcal{O}_ X$-module maps $\alpha , \beta : \mathcal{F}_ i \to \mathcal{F}_{i'}$). In this case consider the coequalizer

\[ \mathcal{G} = \mathop{\mathrm{Coker}}( \mathcal{F}_ i \xrightarrow {\alpha - \beta } \mathcal{F}_{i'} ) \]

Note that $\mathcal{G}$ is an $\mathcal{O}_ X$-module of finite presentation. Since by definition of morphisms in the category $\mathcal{I}$ we have $\varphi _{i'} \circ \alpha = \varphi _{i'} \circ \beta $ we see that we get an induced map $\psi : \mathcal{G} \to \mathcal{F}$. Hence again the pair $(\mathcal{G}, \psi )$ is isomorphic to the pair $(\mathcal{F}_{i''}, \varphi _{i''})$ for some $i''$. Hence we see that there exists a morphism $i' \to i''$ in $\mathcal{I}$ which equalizes $\alpha $ and $\beta $. Thus we have shown that the category $\mathcal{I}$ is filtered.

We still have to show that the colimit of the diagram is $\mathcal{F}$. By definition of the colimit, and by our definition of the category $\mathcal{I}$ there is a canonical map

\[ \varphi : \mathop{\mathrm{colim}}\nolimits _ i \mathcal{F}_ i \longrightarrow \mathcal{F}. \]

Pick $x \in X$. Let us show that $\varphi _ x$ is an isomorphism. Recall that

\[ (\mathop{\mathrm{colim}}\nolimits _ i \mathcal{F}_ i)_ x = \mathop{\mathrm{colim}}\nolimits _ i \mathcal{F}_{i, x}, \]

see Sheaves, Section 6.29. First we show that the map $\varphi _ x$ is injective. Suppose that $s \in \mathcal{F}_{i, x}$ is an element such that $s$ maps to zero in $\mathcal{F}_ x$. Then there exists a quasi-compact open $U$ such that $s$ comes from $s \in \mathcal{F}_ i(U)$ and such that $\varphi _ i(s) = 0$ in $\mathcal{F}(U)$. By Lemma 28.22.2 we can find a finite type quasi-coherent subsheaf $\mathcal{K} \subset \mathop{\mathrm{Ker}}(\varphi _ i)$ which restricts to the quasi-coherent $\mathcal{O}_ U$-submodule of $\mathcal{F}_ i$ generated by $s$: $\mathcal{K}|_ U = \mathcal{O}_ U\cdot s \subset \mathcal{F}_ i|_ U$. Clearly, $\mathcal{F}_ i/\mathcal{K}$ is of finite presentation and the map $\varphi _ i$ factors through the quotient map $\mathcal{F}_ i \to \mathcal{F}_ i/\mathcal{K}$. Hence we can find an $i' \in I$ and a morphism $\alpha : \mathcal{F}_ i \to \mathcal{F}_{i'}$ in $\mathcal{I}$ which can be identified with the quotient map $\mathcal{F}_ i \to \mathcal{F}_ i/\mathcal{K}$. Then it follows that the section $s$ maps to zero in $\mathcal{F}_{i'}(U)$ and in particular in $(\mathop{\mathrm{colim}}\nolimits _ i \mathcal{F}_ i)_ x = \mathop{\mathrm{colim}}\nolimits _ i \mathcal{F}_{i, x}$. The injectivity follows. Finally, we show that the map $\varphi _ x$ is surjective. Pick $s \in \mathcal{F}_ x$. Choose a quasi-compact open neighbourhood $U \subset X$ of $x$ such that $s$ corresponds to a section $s \in \mathcal{F}(U)$. Consider the map $s : \mathcal{O}_ U \to \mathcal{F}$ (multiplication by $s$). By Lemma 28.22.4 there exists an $\mathcal{O}_ X$-module $\mathcal{G}$ of finite presentation and an $\mathcal{O}_ X$-module map $\mathcal{G} \to \mathcal{F}$ such that $\mathcal{G}|_ U \to \mathcal{F}|_ U$ is identified with $s : \mathcal{O}_ U \to \mathcal{F}$. Again by definition of $\mathcal{I}$ there exists an $i \in I$ such that $\mathcal{G} \to \mathcal{F}$ is isomorphic to $\varphi _ i : \mathcal{F}_ i \to \mathcal{F}$. Clearly there exists a section $s' \in \mathcal{F}_ i(U)$ mapping to $s \in \mathcal{F}(U)$. This proves surjectivity and the proof of the lemma is complete. $\square$

Lemma 28.22.7. Let $X$ be a scheme. Assume $X$ is quasi-compact and quasi-separated. Let $\mathcal{F}$ be a quasi-coherent $\mathcal{O}_ X$-module. There exist

  1. a directed set $I$ (see Categories, Definition 4.21.1),

  2. a system $(\mathcal{F}_ i, \varphi _{ii'})$ over $I$ in $\textit{Mod}(\mathcal{O}_ X)$ (see Categories, Definition 4.21.2)

  3. morphisms of $\mathcal{O}_ X$-modules $\varphi _ i : \mathcal{F}_ i \to \mathcal{F}$

such that each $\mathcal{F}_ i$ is of finite presentation and such that the morphisms $\varphi _ i$ induce an isomorphism

\[ \mathop{\mathrm{colim}}\nolimits _ i \mathcal{F}_ i = \mathcal{F}. \]

Proof. This is a direct consequence of Lemma 28.22.6 and Categories, Lemma 4.21.5 (combined with the fact that colimits exist in the category of sheaves of $\mathcal{O}_ X$-modules, see Sheaves, Section 6.29). $\square$

Lemma 28.22.8. Let $X$ be a scheme. Assume $X$ is quasi-compact and quasi-separated. Let $\mathcal{F}$ be a finite type quasi-coherent $\mathcal{O}_ X$-module. Then we can write $\mathcal{F} = \mathop{\mathrm{colim}}\nolimits \mathcal{F}_ i$ with $\mathcal{F}_ i$ of finite presentation and all transition maps $\mathcal{F}_ i \to \mathcal{F}_{i'}$ surjective.

Proof. Write $\mathcal{F} = \mathop{\mathrm{colim}}\nolimits \mathcal{G}_ i$ as a filtered colimit of finitely presented $\mathcal{O}_ X$-modules (Lemma 28.22.7). We claim that $\mathcal{G}_ i \to \mathcal{F}$ is surjective for some $i$. Namely, choose a finite affine open covering $X = U_1 \cup \ldots \cup U_ m$. Choose sections $s_{jl} \in \mathcal{F}(U_ j)$ generating $\mathcal{F}|_{U_ j}$, see Lemma 28.16.1. By Sheaves, Lemma 6.29.1 we see that $s_{jl}$ is in the image of $\mathcal{G}_ i \to \mathcal{F}$ for $i$ large enough. Hence $\mathcal{G}_ i \to \mathcal{F}$ is surjective for $i$ large enough. Choose such an $i$ and let $\mathcal{K} \subset \mathcal{G}_ i$ be the kernel of the map $\mathcal{G}_ i \to \mathcal{F}$. Write $\mathcal{K} = \mathop{\mathrm{colim}}\nolimits \mathcal{K}_ a$ as the filtered colimit of its finite type quasi-coherent submodules (Lemma 28.22.3). Then $\mathcal{F} = \mathop{\mathrm{colim}}\nolimits \mathcal{G}_ i/\mathcal{K}_ a$ is a solution to the problem posed by the lemma. $\square$

Lemma 28.22.9. Let $X$ be a quasi-compact and quasi-separated scheme. Let $\mathcal{F}$ be a finite type quasi-coherent $\mathcal{O}_ X$-module. Let $U \subset X$ be a quasi-compact open such that $\mathcal{F}|_ U$ is of finite presentation. Then there exists a map of $\mathcal{O}_ X$-modules $\varphi : \mathcal{G} \to \mathcal{F}$ with (a) $\mathcal{G}$ of finite presentation, (b) $\varphi $ is surjective, and (c) $\varphi |_ U$ is an isomorphism.

Proof. Write $\mathcal{F} = \mathop{\mathrm{colim}}\nolimits \mathcal{F}_ i$ as a directed colimit with each $\mathcal{F}_ i$ of finite presentation, see Lemma 28.22.7. Choose a finite affine open covering $X = \bigcup V_ j$ and choose finitely many sections $s_{jl} \in \mathcal{F}(V_ j)$ generating $\mathcal{F}|_{V_ j}$, see Lemma 28.16.1. By Sheaves, Lemma 6.29.1 we see that $s_{jl}$ is in the image of $\mathcal{F}_ i \to \mathcal{F}$ for $i$ large enough. Hence $\mathcal{F}_ i \to \mathcal{F}$ is surjective for $i$ large enough. Choose such an $i$ and let $\mathcal{K} \subset \mathcal{F}_ i$ be the kernel of the map $\mathcal{F}_ i \to \mathcal{F}$. Since $\mathcal{F}_ U$ is of finite presentation, we see that $\mathcal{K}|_ U$ is of finite type, see Modules, Lemma 17.11.3. Hence we can find a finite type quasi-coherent submodule $\mathcal{K}' \subset \mathcal{K}$ with $\mathcal{K}'|_ U = \mathcal{K}|_ U$, see Lemma 28.22.2. Then $\mathcal{G} = \mathcal{F}_ i/\mathcal{K}'$ with the given map $\mathcal{G} \to \mathcal{F}$ is a solution. $\square$

Let $X$ be a scheme. In the following lemma we use the notion of a quasi-coherent $\mathcal{O}_ X$-algebra $\mathcal{A}$ of finite presentation. This means that for every affine open $\mathop{\mathrm{Spec}}(R) \subset X$ we have $\mathcal{A} = \widetilde{A}$ where $A$ is a (commutative) $R$-algebra which is of finite presentation as an $R$-algebra.

Lemma 28.22.10. Let $X$ be a scheme. Assume $X$ is quasi-compact and quasi-separated. Let $\mathcal{A}$ be a quasi-coherent $\mathcal{O}_ X$-algebra. There exist

  1. a directed set $I$ (see Categories, Definition 4.21.1),

  2. a system $(\mathcal{A}_ i, \varphi _{ii'})$ over $I$ in the category of $\mathcal{O}_ X$-algebras,

  3. morphisms of $\mathcal{O}_ X$-algebras $\varphi _ i : \mathcal{A}_ i \to \mathcal{A}$

such that each $\mathcal{A}_ i$ is a quasi-coherent $\mathcal{O}_ X$-algebra of finite presentation and such that the morphisms $\varphi _ i$ induce an isomorphism

\[ \mathop{\mathrm{colim}}\nolimits _ i \mathcal{A}_ i = \mathcal{A}. \]

Proof. First we write $\mathcal{A} = \mathop{\mathrm{colim}}\nolimits _ i \mathcal{F}_ i$ as a directed colimit of finitely presented quasi-coherent sheaves as in Lemma 28.22.7. For each $i$ let $\mathcal{B}_ i = \text{Sym}(\mathcal{F}_ i)$ be the symmetric algebra on $\mathcal{F}_ i$ over $\mathcal{O}_ X$. Write $\mathcal{I}_ i = \mathop{\mathrm{Ker}}(\mathcal{B}_ i \to \mathcal{A})$. Write $\mathcal{I}_ i = \mathop{\mathrm{colim}}\nolimits _ j \mathcal{F}_{i, j}$ where $\mathcal{F}_{i, j}$ is a finite type quasi-coherent submodule of $\mathcal{I}_ i$, see Lemma 28.22.3. Set $\mathcal{I}_{i, j} \subset \mathcal{I}_ i$ equal to the $\mathcal{B}_ i$-ideal generated by $\mathcal{F}_{i, j}$. Set $\mathcal{A}_{i, j} = \mathcal{B}_ i/\mathcal{I}_{i, j}$. Then $\mathcal{A}_{i, j}$ is a quasi-coherent finitely presented $\mathcal{O}_ X$-algebra. Define $(i, j) \leq (i', j')$ if $i \leq i'$ and the map $\mathcal{B}_ i \to \mathcal{B}_{i'}$ maps the ideal $\mathcal{I}_{i, j}$ into the ideal $\mathcal{I}_{i', j'}$. Then it is clear that $\mathcal{A} = \mathop{\mathrm{colim}}\nolimits _{i, j} \mathcal{A}_{i, j}$. $\square$

Let $X$ be a scheme. In the following lemma we use the notion of a quasi-coherent $\mathcal{O}_ X$-algebra $\mathcal{A}$ of finite type. This means that for every affine open $\mathop{\mathrm{Spec}}(R) \subset X$ we have $\mathcal{A} = \widetilde{A}$ where $A$ is a (commutative) $R$-algebra which is of finite type as an $R$-algebra.

Lemma 28.22.11. Let $X$ be a scheme. Assume $X$ is quasi-compact and quasi-separated. Let $\mathcal{A}$ be a quasi-coherent $\mathcal{O}_ X$-algebra. Then $\mathcal{A}$ is the directed colimit of its finite type quasi-coherent $\mathcal{O}_ X$-subalgebras.

Proof. If $\mathcal{A}_1, \mathcal{A}_2 \subset \mathcal{A}$ are quasi-coherent $\mathcal{O}_ X$-subalgebras of finite type, then the image of $\mathcal{A}_1 \otimes _{\mathcal{O}_ X} \mathcal{A}_2 \to \mathcal{A}$ is also a quasi-coherent $\mathcal{O}_ X$-subalgebra of finite type (some details omitted) which contains both $\mathcal{A}_1$ and $\mathcal{A}_2$. In this way we see that the system is directed. To show that $\mathcal{A}$ is the colimit of this system, write $\mathcal{A} = \mathop{\mathrm{colim}}\nolimits _ i \mathcal{A}_ i$ as a directed colimit of finitely presented quasi-coherent $\mathcal{O}_ X$-algebras as in Lemma 28.22.10. Then the images $\mathcal{A}'_ i = \mathop{\mathrm{Im}}(\mathcal{A}_ i \to \mathcal{A})$ are quasi-coherent subalgebras of $\mathcal{A}$ of finite type. Since $\mathcal{A}$ is the colimit of these the result follows. $\square$

Let $X$ be a scheme. In the following lemma we use the notion of a finite (resp. integral) quasi-coherent $\mathcal{O}_ X$-algebra $\mathcal{A}$. This means that for every affine open $\mathop{\mathrm{Spec}}(R) \subset X$ we have $\mathcal{A} = \widetilde{A}$ where $A$ is a (commutative) $R$-algebra which is finite (resp. integral) as an $R$-algebra.

Lemma 28.22.12. Let $X$ be a scheme. Assume $X$ is quasi-compact and quasi-separated. Let $\mathcal{A}$ be a finite quasi-coherent $\mathcal{O}_ X$-algebra. Then $\mathcal{A} = \mathop{\mathrm{colim}}\nolimits \mathcal{A}_ i$ is a directed colimit of finite and finitely presented quasi-coherent $\mathcal{O}_ X$-algebras such that all transition maps $\mathcal{A}_{i'} \to \mathcal{A}_ i$ are surjective.

Proof. By Lemma 28.22.8 there exists a finitely presented $\mathcal{O}_ X$-module $\mathcal{F}$ and a surjection $\mathcal{F} \to \mathcal{A}$. Using the algebra structure we obtain a surjection

\[ \text{Sym}^*_{\mathcal{O}_ X}(\mathcal{F}) \longrightarrow \mathcal{A} \]

Denote $\mathcal{J}$ the kernel. Write $\mathcal{J} = \mathop{\mathrm{colim}}\nolimits \mathcal{E}_ i$ as a filtered colimit of finite type $\mathcal{O}_ X$-submodules $\mathcal{E}_ i$ (Lemma 28.22.3). Set

\[ \mathcal{A}_ i = \text{Sym}^*_{\mathcal{O}_ X}(\mathcal{F})/(\mathcal{E}_ i) \]

where $(\mathcal{E}_ i)$ indicates the ideal sheaf generated by the image of $\mathcal{E}_ i \to \text{Sym}^*_{\mathcal{O}_ X}(\mathcal{F})$. Then each $\mathcal{A}_ i$ is a finitely presented $\mathcal{O}_ X$-algebra, the transition maps are surjections, and $\mathcal{A} = \mathop{\mathrm{colim}}\nolimits \mathcal{A}_ i$. To finish the proof we still have to show that $\mathcal{A}_ i$ is a finite $\mathcal{O}_ X$-algebra for $i$ sufficiently large. To do this we choose an affine open covering $X = U_1 \cup \ldots \cup U_ m$. Take generators $f_{j, 1}, \ldots , f_{j, N_ j} \in \Gamma (U_ i, \mathcal{F})$. As $\mathcal{A}(U_ j)$ is a finite $\mathcal{O}_ X(U_ j)$-algebra we see that for each $k$ there exists a monic polynomial $P_{j, k} \in \mathcal{O}(U_ j)[T]$ such that $P_{j, k}(f_{j, k})$ is zero in $\mathcal{A}(U_ j)$. Since $\mathcal{A} = \mathop{\mathrm{colim}}\nolimits \mathcal{A}_ i$ by construction, we have $P_{j, k}(f_{j, k}) = 0$ in $\mathcal{A}_ i(U_ j)$ for all sufficiently large $i$. For such $i$ the algebras $\mathcal{A}_ i$ are finite. $\square$

Lemma 28.22.13. Let $X$ be a scheme. Assume $X$ is quasi-compact and quasi-separated. Let $\mathcal{A}$ be an integral quasi-coherent $\mathcal{O}_ X$-algebra. Then

  1. $\mathcal{A}$ is the directed colimit of its finite quasi-coherent $\mathcal{O}_ X$-subalgebras, and

  2. $\mathcal{A}$ is a direct colimit of finite and finitely presented quasi-coherent $\mathcal{O}_ X$-algebras.

Proof. By Lemma 28.22.11 we have $\mathcal{A} = \mathop{\mathrm{colim}}\nolimits \mathcal{A}_ i$ where $\mathcal{A}_ i \subset \mathcal{A}$ runs through the quasi-coherent $\mathcal{O}_ X$-algebras of finite type. Any finite type quasi-coherent $\mathcal{O}_ X$-subalgebra of $\mathcal{A}$ is finite (apply Algebra, Lemma 10.36.5 to $\mathcal{A}_ i(U) \subset \mathcal{A}(U)$ for affine opens $U$ in $X$). This proves (1).

To prove (2), write $\mathcal{A} = \mathop{\mathrm{colim}}\nolimits \mathcal{F}_ i$ as a colimit of finitely presented $\mathcal{O}_ X$-modules using Lemma 28.22.7. For each $i$, let $\mathcal{J}_ i$ be the kernel of the map

\[ \text{Sym}^*_{\mathcal{O}_ X}(\mathcal{F}_ i) \longrightarrow \mathcal{A} \]

For $i' \geq i$ there is an induced map $\mathcal{J}_ i \to \mathcal{J}_{i'}$ and we have $\mathcal{A} = \mathop{\mathrm{colim}}\nolimits \text{Sym}^*_{\mathcal{O}_ X}(\mathcal{F}_ i)/\mathcal{J}_ i$. Moreover, the quasi-coherent $\mathcal{O}_ X$-algebras $\text{Sym}^*_{\mathcal{O}_ X}(\mathcal{F}_ i)/\mathcal{J}_ i$ are finite (see above). Write $\mathcal{J}_ i = \mathop{\mathrm{colim}}\nolimits \mathcal{E}_{ik}$ as a colimit of finitely presented $\mathcal{O}_ X$-modules. Given $i' \geq i$ and $k$ there exists a $k'$ such that we have a map $\mathcal{E}_{ik} \to \mathcal{E}_{i'k'}$ making

\[ \xymatrix{ \mathcal{J}_ i \ar[r] & \mathcal{J}_{i'} \\ \mathcal{E}_{ik} \ar[u] \ar[r] & \mathcal{E}_{i'k'} \ar[u] } \]

commute. This follows from Modules, Lemma 17.22.8. This induces a map

\[ \mathcal{A}_{ik} = \text{Sym}^*_{\mathcal{O}_ X}(\mathcal{F}_ i)/(\mathcal{E}_{ik}) \longrightarrow \text{Sym}^*_{\mathcal{O}_ X}(\mathcal{F}_{i'})/(\mathcal{E}_{i'k'}) = \mathcal{A}_{i'k'} \]

where $(\mathcal{E}_{ik})$ denotes the ideal generated by $\mathcal{E}_{ik}$. The quasi-coherent $\mathcal{O}_ X$-algebras $\mathcal{A}_{ki}$ are of finite presentation and finite for $k$ large enough (see proof of Lemma 28.22.12). Finally, we have

\[ \mathop{\mathrm{colim}}\nolimits \mathcal{A}_{ik} = \mathop{\mathrm{colim}}\nolimits \mathcal{A}_ i = \mathcal{A} \]

Namely, the first equality was shown in the proof of Lemma 28.22.12 and the second equality because $\mathcal{A}$ is the colimit of the modules $\mathcal{F}_ i$. $\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 01PD. Beware of the difference between the letter 'O' and the digit '0'.