The Stacks project

Proof. By Modules, Lemma 17.10.5 we have a morphism $\mathcal{F}_ M \to \widetilde M$ corresponding to the map $M \to \Gamma (X, \widetilde M) = M$. Let $x \in X$ correspond to the prime $\mathfrak p \subset R$. The induced map on stalks are the maps $\mathcal{O}_{X, x} \otimes _ R M \to M_{\mathfrak p}$ which are isomorphisms because $R_{\mathfrak p} \otimes _ R M = M_{\mathfrak p}$. Hence the map $\mathcal{F}_ M \to \widetilde M$ is an isomorphism. The mapping property follows from the mapping property of the sheaves $\mathcal{F}_ M$. $\square$

First proof. Using Lemma 26.7.1 and Modules, Lemma 17.10.5 we see that the functor $M \mapsto \widetilde M$ can be viewed as $\pi ^*$ for a morphism $\pi $ of ringed spaces. And pulling back modules commutes with tensor constructions by Modules, Lemmas 17.16.4 and 17.21.3. The morphism $\pi : (X, \mathcal{O}_ X) \to (\{ *\} , R)$ is flat for example because the stalks of $\mathcal{O}_ X$ are localizations of $R$ (Lemma 26.5.4) and hence flat over $R$. Thus pullback by $\pi $ commutes with internal hom if the first module is finitely presented by Modules, Lemma 17.22.5. $\square$

Second proof. Proof of (1). By Lemma 26.7.1 to give a map $\widetilde{M \otimes _ R N}$ into $\widetilde M \otimes _{\mathcal{O}_ X} \widetilde N$ we have to give a map on global sections $M \otimes _ R N \to \Gamma (X, \widetilde M \otimes _{\mathcal{O}_ X} \widetilde N)$ which exists by definition of the tensor product of sheaves of modules. To see that this map is an isomorphism it suffices to check that it is an isomorphism on stalks. And this follows from the description of the stalks of $\widetilde{M}$ (either in Lemma 26.5.4 or in Modules, Lemma 17.10.5), the fact that tensor product commutes with localization (Algebra, Lemma 10.12.16) and Modules, Lemma 17.16.1.

Proof of (2). This is similar to the proof of (1), using Algebra, Lemma 10.13.6 and Modules, Lemma 17.21.2.

Proof of (3). Since the construction $M \mapsto \widetilde{M}$ is functorial there is an $R$-linear map $\mathop{\mathrm{Hom}}\nolimits _ R(M, N) \to \mathop{\mathrm{Hom}}\nolimits _{\mathcal{O}_ X}(\widetilde{M}, \widetilde{N})$. The target of this map is the global sections of $\mathop{\mathcal{H}\! \mathit{om}}\nolimits _{\mathcal{O}_ X}(\widetilde M, \widetilde N)$. Hence by Lemma 26.7.1 we obtain a map of $\mathcal{O}_ X$-modules $\widetilde{\mathop{\mathrm{Hom}}\nolimits _ R(M, N)} \to \mathop{\mathcal{H}\! \mathit{om}}\nolimits _{\mathcal{O}_ X}(\widetilde M, \widetilde N)$. We check that this is an isomorphism by comparing stalks. If $M$ is finitely presented as an $R$-module then $\widetilde M$ has a global finite presentation as an $\mathcal{O}_ X$-module. Hence we conclude using Algebra, Lemma 10.10.2 and Modules, Lemma 17.22.4. $\square$

Third proof of part (1). For any $\mathcal{O}_ X$-module $\mathcal{F}$ we have the following isomorphisms functorial in $M$, $N$, and $\mathcal{F}$

The first equality is Modules, Lemma 17.22.1. The second equality is the universal property of $\widetilde{M}$, see Lemma 26.7.1. The third equality holds by definition of $\mathop{\mathcal{H}\! \mathit{om}}\nolimits $. The fourth equality is the universal property of $\widetilde{N}$. Then fifth equality is Algebra, Lemma 10.12.8. The final equality is the universal property of $\widetilde{M \otimes _ R N}$. By the Yoneda lemma (Categories, Lemma 4.3.5) we obtain (1). $\square$

Proof. The first assertion follows from the identification in Lemma 26.7.1 and the result of Modules, Lemma 17.10.7. The second assertion follows from the fact that $\psi ^{-1}(D(f)) = D(\psi ^\sharp (f))$ and hence

as desired. $\square$

Proof. Let $\mathcal{F}$ be a quasi-coherent $\mathcal{O}_ X$-module. Since every standard open $D(f)$ is quasi-compact we see that $X$ is a locally quasi-compact, i.e., every point has a fundamental system of quasi-compact neighbourhoods, see Topology, Definition 5.13.1. Hence by Modules, Lemma 17.10.8 for every prime $\mathfrak p \subset R$ corresponding to $x \in X$ there exists an open neighbourhood $x \in U \subset X$ such that $\mathcal{F}|_ U$ is isomorphic to the quasi-coherent sheaf associated to some $\mathcal{O}_ X(U)$-module $M$. In other words, we get an open covering by $U$'s with this property. By Lemma 26.5.1 for example we can refine this covering to a standard open covering. Thus we get a covering $\mathop{\mathrm{Spec}}(R) = \bigcup D(f_ i)$ and $R_{f_ i}$-modules $M_ i$ and isomorphisms $\varphi _ i : \mathcal{F}|_{D(f_ i)} \to \mathcal{F}_{M_ i}$ for some $R_{f_ i}$-module $M_ i$. On the overlaps we get isomorphisms

Let us denote these $\psi _{ij}$. It is clear that we have the cocycle condition

on triple overlaps.

Recall that each of the open subspaces $D(f_ i)$, $D(f_ if_ j)$, $D(f_ if_ jf_ k)$ is an affine scheme. Hence the sheaves $\mathcal{F}_{M_ i}$ are isomorphic to the sheaves $\widetilde M_ i$ by Lemma 26.7.1 above. In particular we see that $\mathcal{F}_{M_ i}(D(f_ if_ j)) = (M_ i)_{f_ j}$, etc. Also by Lemma 26.7.1 above we see that $\psi _{ij}$ corresponds to a unique $R_{f_ if_ j}$-module isomorphism

namely, the effect of $\psi _{ij}$ on sections over $D(f_ if_ j)$. Moreover these then satisfy the cocycle condition that

commutes (for any triple $i, j, k$).

Now Algebra, Lemma 10.24.5 shows that there exist an $R$-module $M$ such that $M_ i = M_{f_ i}$ compatible with the morphisms $\psi _{ij}$. Consider $\mathcal{F}_ M = \widetilde M$. At this point it is a formality to show that $\widetilde M$ is isomorphic to the quasi-coherent sheaf $\mathcal{F}$ we started out with. Namely, the sheaves $\mathcal{F}$ and $\widetilde M$ give rise to isomorphic sets of glueing data of sheaves of $\mathcal{O}_ X$-modules with respect to the covering $X = \bigcup D(f_ i)$, see Sheaves, Section 6.33 and in particular Lemma 6.33.4. Explicitly, in the current situation, this boils down to the following argument: Let us construct an $R$-module map

Namely, given $m \in M$ we get $m_ i = m/1 \in M_{f_ i} = M_ i$ by construction of $M$. By construction of $M_ i$ this corresponds to a section $s_ i \in \mathcal{F}(U_ i)$. (Namely, $\varphi ^{-1}_ i(m_ i)$.) We claim that $s_ i|_{D(f_ if_ j)} = s_ j|_{D(f_ if_ j)}$. This is true because, by construction of $M$, we have $\psi _{ij}(m_ i) = m_ j$, and by the construction of the $\psi _{ij}$. By the sheaf condition of $\mathcal{F}$ this collection of sections gives rise to a unique section $s$ of $\mathcal{F}$ over $X$. We leave it to the reader to show that $m \mapsto s$ is a $R$-module map. By Lemma 26.7.1 we obtain an associated $\mathcal{O}_ X$-module map

By construction this map reduces to the isomorphisms $\varphi _ i^{-1}$ on each $D(f_ i)$ and hence is an isomorphism. $\square$

Proof. See Lemmas 26.7.1 and 26.7.4 above. $\square$

Proof. This follows from the exactness of the functor $\widetilde{\ }$ since by Lemma 26.7.1 we know that any map $\psi : \widetilde{M} \to \widetilde{N}$ comes from an $R$-module map $\varphi : M \to N$. (So we have $\mathop{\mathrm{Ker}}(\psi ) = \widetilde{\mathop{\mathrm{Ker}}(\varphi )}$ and $\mathop{\mathrm{Coker}}(\psi ) = \widetilde{\mathop{\mathrm{Coker}}(\varphi )}$.) $\square$

Proof. Suppose $\mathcal{F}_ i$, $i \in I$ is a collection of quasi-coherent sheaves on $X$. By Lemma 26.7.5 above we can write $\mathcal{F}_ i = \widetilde{M_ i}$ for some $R$-module $M_ i$. Set $M = \bigoplus M_ i$. Consider the sheaf $\widetilde{M}$. For each standard open $D(f)$ we have

Hence we see that the quasi-coherent $\mathcal{O}_ X$-module $\widetilde{M}$ is the direct sum of the sheaves $\mathcal{F}_ i$. A similar argument works for general colimits. $\square$

Proof. This is clear in case both $\mathcal{F}_1$ and $\mathcal{F}_2$ are quasi-coherent because the functor $M \mapsto \widetilde M$ is exact, see Lemma 26.5.4. Similarly in case both $\mathcal{F}_2$ and $\mathcal{F}_3$ are quasi-coherent. Now, suppose that $\mathcal{F}_1 = \widetilde M_1$ and $\mathcal{F}_3 = \widetilde M_3$ are quasi-coherent. Set $M_2 = \Gamma (X, \mathcal{F}_2)$. We claim it suffices to show that the sequence

is exact. Namely, if this is the case, then (by using the mapping property of Lemma 26.7.1) we get a commutative diagram

and we win by the snake lemma.

The “correct” argument here would be to show first that $H^1(X, \mathcal{F}) = 0$ for any quasi-coherent sheaf $\mathcal{F}$. This is actually not all that hard, but it is perhaps better to postpone this till later. Instead we use a small trick.

Pick $m \in M_3 = \Gamma (X, \mathcal{F}_3)$. Consider the following set

Clearly this is an ideal. It suffices to show $1 \in I$. Hence it suffices to show that for any prime $\mathfrak p$ there exists an $f \in I$, $f \not\in \mathfrak p$. Let $x \in X$ be the point corresponding to $\mathfrak p$. Because surjectivity can be checked on stalks there exists an open neighbourhood $U$ of $x$ such that $m|_ U$ comes from a local section $s \in \mathcal{F}_2(U)$. In fact we may assume that $U = D(f)$ is a standard open, i.e., $f \in R$, $f \not\in \mathfrak p$. We will show that for some $N \gg 0$ we have $f^ N \in I$, which will finish the proof.

Take any point $z \in V(f)$, say corresponding to the prime $\mathfrak q \subset R$. We can also find a $g \in R$, $g \not\in \mathfrak q$ such that $m|_{D(g)}$ lifts to some $s' \in \mathcal{F}_2(D(g))$. Consider the difference $s|_{D(fg)} - s'|_{D(fg)}$. This is an element $m'$ of $\mathcal{F}_1(D(fg)) = (M_1)_{fg}$. For some integer $n = n(z)$ the element $f^ n m'$ comes from some $m'_1 \in (M_1)_ g$. We see that $f^ n s$ extends to a section $\sigma $ of $\mathcal{F}_2$ on $D(f) \cup D(g)$ because it agrees with the restriction of $f^ n s' + m'_1$ on $D(f) \cap D(g) = D(fg)$. Moreover, $\sigma $ maps to the restriction of $f^ n m$ to $D(f) \cup D(g)$.

Since $V(f)$ is quasi-compact, there exists a finite list of elements $g_1, \ldots , g_ m \in R$ such that $V(f) \subset \bigcup D(g_ j)$, an integer $n > 0$ and sections $\sigma _ j \in \mathcal{F}_2(D(f) \cup D(g_ j))$ such that $\sigma _ j|_{D(f)} = f^ n s$ and $\sigma _ j$ maps to the section $f^ nm|_{D(f) \cup D(g_ j)}$ of $\mathcal{F}_3$. Consider the differences

These correspond to sections of $\mathcal{F}_1$ over $D(f) \cup D(g_ jg_ k)$ which are zero on $D(f)$. In particular their images in $\mathcal{F}_1(D(g_ jg_ k)) = (M_1)_{g_ jg_ k}$ are zero in $(M_1)_{g_ jg_ kf}$. Thus some high power of $f$ kills each and every one of these. In other words, the elements $f^ N \sigma _ j$, for some $N \gg 0$ satisfy the glueing condition of the sheaf property and give rise to a section $\sigma $ of $\mathcal{F}_2$ over $\bigcup (D(f) \cup D(g_ j)) = X$ as desired. $\square$