The Stacks project

35.10 Quasi-coherent sheaves and topologies, II

We continue the discussion comparing quasi-coherent modules on a scheme $S$ with quasi-coherent modules on any of the sites associated to $S$ in the chapter on topologies.

Lemma 35.10.1. In Lemma 35.8.5 the morphism of ringed sites $\text{id}_{small, {\acute{e}tale}, Zar} : S_{\acute{e}tale}\to S_{Zar}$ is flat.

Proof. Let us denote $\epsilon = \text{id}_{small, {\acute{e}tale}, Zar}$ and $\mathcal{O}_{\acute{e}tale}$ and $\mathcal{O}_{Zar}$ the structure sheaves on $S_{\acute{e}tale}$ and $S_{Zar}$. We have to show that $\mathcal{O}_{\acute{e}tale}$ is a flat $\epsilon ^{-1}\mathcal{O}_{Zar}$-module. Recall that étale morphisms are open, see Morphisms, Lemma 29.36.13. It follows (from the construction of pullback on sheaves) that $\epsilon ^{-1}\mathcal{O}_{Zar}$ is the sheafification of the presheaf $\mathcal{O}'$ on $S_{\acute{e}tale}$ which sends an étale morphism $f : V \to S$ to $\mathcal{O}_ S(f(V))$. If both $V$ and $U = f(V) \subset S$ are affine, then $V \to U$ is an étale morphism of affines, hence corresponds to an étale ring map. Since étale ring maps are flat, we see that $\mathcal{O}_ S(U) = \mathcal{O}'(V) \to \mathcal{O}_{\acute{e}tale}(V) = \mathcal{O}_ V(V)$ is flat. Finally, for every étale morphism $f : V \to S$, i.e., object of $S_{\acute{e}tale}$, there is an affine open covering $V = \bigcup V_ i$ such that $f(V_ i)$ is an affine open in $S$ for all $i$1. Thus the result by Modules on Sites, Lemma 18.28.4. $\square$

Lemma 35.10.2. Let $S$ be a scheme. Let $\tau \in \{ Zariski, \linebreak[0] {\acute{e}tale}, \linebreak[0] smooth, \linebreak[0] syntomic, \linebreak[0] fppf\} $. The functors

\[ \mathit{QCoh}(\mathcal{O}_ S) \longrightarrow \textit{Mod}((\mathit{Sch}/S)_\tau , \mathcal{O}) \quad \text{and}\quad \mathit{QCoh}(\mathcal{O}_ S) \longrightarrow \textit{Mod}(S_\tau , \mathcal{O}) \]

defined by the rule $\mathcal{F} \mapsto \mathcal{F}^ a$ seen in Proposition 35.8.9 are

  1. fully faithful,

  2. commmute with direct sums,

  3. commmute with colimits,

  4. right exact,

  5. exact as a functor $\mathit{QCoh}(\mathcal{O}_ S) \to \textit{Mod}(S_{\acute{e}tale}, \mathcal{O})$,

  6. not exact as a functor $\mathit{QCoh}(\mathcal{O}_ S) \to \textit{Mod}((\mathit{Sch}/S)_\tau , \mathcal{O})$ in general,

  7. given two quasi-coherent $\mathcal{O}_ S$-modules $\mathcal{F}$, $\mathcal{G}$ we have $(\mathcal{F} \otimes _{\mathcal{O}_ S} \mathcal{G})^ a = \mathcal{F}^ a \otimes _\mathcal {O} \mathcal{G}^ a$,

  8. if $\tau = {\acute{e}tale}$ or $\tau = Zariski$, given two quasi-coherent $\mathcal{O}_ S$-modules $\mathcal{F}$, $\mathcal{G}$ such that $\mathcal{F}$ is of finite presentation we have $(\mathop{\mathcal{H}\! \mathit{om}}\nolimits _{\mathcal{O}_ S}(\mathcal{F}, \mathcal{G}))^ a = \mathop{\mathcal{H}\! \mathit{om}}\nolimits _\mathcal {O}(\mathcal{F}^ a, \mathcal{G}^ a)$ in $\textit{Mod}(S_\tau , \mathcal{O})$,

  9. given two quasi-coherent $\mathcal{O}_ S$-modules $\mathcal{F}$, $\mathcal{G}$ we do not have $(\mathop{\mathcal{H}\! \mathit{om}}\nolimits _{\mathcal{O}_ S}(\mathcal{F}, \mathcal{G}))^ a = \mathop{\mathcal{H}\! \mathit{om}}\nolimits _\mathcal {O}(\mathcal{F}^ a, \mathcal{G}^ a)$ in $\textit{Mod}((\mathit{Sch}/S)_\tau , \mathcal{O})$ in general even if $\mathcal{F}$ is of finite presentation, and

  10. given a short exact sequence $0 \to \mathcal{F}_1^ a \to \mathcal{E} \to \mathcal{F}_2^ a \to 0$ of $\mathcal{O}$-modules then $\mathcal{E}$ is quasi-coherent2, i.e., $\mathcal{E}$ is in the essential image of the functor.

Proof. Part (1) we saw in Proposition 35.8.9.

We have seen in Schemes, Section 26.24 that a colimit of quasi-coherent sheaves on a scheme is a quasi-coherent sheaf. Moreover, in Remark 35.8.6 we saw that $\mathcal{F} \mapsto \mathcal{F}^ a$ is the pullback functor for a morphism of ringed sites, hence commutes with all colimits, see Modules on Sites, Lemma 18.14.3. Thus (3) and its special case (2) hold.

This also shows that the functor is right exact (i.e., commutes with finite colimits), hence (4).

The functor $\mathit{QCoh}(\mathcal{O}_ S) \to \textit{Mod}(S_{\acute{e}tale}, \mathcal{O})$, $\mathcal{F} \mapsto \mathcal{F}^ a$ is left exact because an étale morphism is flat, see Morphisms, Lemma 29.36.12. This proves (5).

To see (6), suppose that $S = \mathop{\mathrm{Spec}}(\mathbf{Z})$. Then $2 : \mathcal{O}_ S \to \mathcal{O}_ S$ is injective but the associated map of $\mathcal{O}$-modules on $(\mathit{Sch}/S)_\tau $ isn't injective because $2 : \mathbf{F}_2 \to \mathbf{F}_2$ isn't injective and $\mathop{\mathrm{Spec}}(\mathbf{F}_2)$ is an object of $(\mathit{Sch}/S)_\tau $.

Part (7) holds because, as mentioned above, the functor $\mathcal{F} \mapsto \mathcal{F}^ a$ is the pullback functor for a morphism of ringed sites and such commute with tensor products by Modules on Sites, Lemma 18.26.2.

Part (8) is obvious if $\tau = Zariski$ because the category of $\mathcal{O}$-modules on $S_{Zar}$ is the same as the category of $\mathcal{O}_ S$-modules on the topological space $S$. If $\tau = {\acute{e}tale}$ then (8) holds because, as mentioned above, the functor $\mathcal{F} \mapsto \mathcal{F}^ a$ is the pullback functor for the flat morphism of ringed sites $(S_{\acute{e}tale}, \mathcal{O}) \to (S_{Zar}, \mathcal{O}_ S)$, see Lemma 35.10.1. Pullback by flat morphisms of ringed sites commutes with taking internal hom out of a finitely presented module by Modules on Sites, Lemma 18.31.4.

To see (9), suppose that $S = \mathop{\mathrm{Spec}}(\mathbf{Z})$. Let $\mathcal{F} = \mathop{\mathrm{Coker}}(2 : \mathcal{O}_ S \to \mathcal{O}_ S)$ and $\mathcal{G} = \mathcal{O}_ S$. Then $\mathcal{F}^ a = \mathop{\mathrm{Coker}}(2 : \mathcal{O} \to \mathcal{O})$ and $\mathcal{G}^ a = \mathcal{O}$. Hence $\mathop{\mathcal{H}\! \mathit{om}}\nolimits _\mathcal {O}(\mathcal{F}^ a, \mathcal{G}^ a) = \mathcal{O}[2]$ is equal to the $2$-torsion in $\mathcal{O}$, which is not zero, see proof of (6). On the other hand, the module $\mathop{\mathcal{H}\! \mathit{om}}\nolimits _{\mathcal{O}_ S}(\mathcal{F}, \mathcal{G})$ is zero.

Proof of (10). Let $0 \to \mathcal{F}_1^ a \to \mathcal{E} \to \mathcal{F}_2^ a \to 0$ be a short exact sequence of $\mathcal{O}$-modules with $\mathcal{F}_1$ and $\mathcal{F}_2$ quasi-coherent on $S$. Consider the restriction

\[ 0 \to \mathcal{F}_1 \to \mathcal{E}|_{S_{Zar}} \to \mathcal{F}_2 \]

to $S_{Zar}$. By Proposition 35.9.3 we see that on any affine $U \subset S$ we have $H^1(U, \mathcal{F}_1^ a) = H^1(U, \mathcal{F}_1) = 0$. Hence the sequence above is also exact on the right. By Schemes, Section 26.24 we conclude that $\mathcal{F} = \mathcal{E}|_{S_{Zar}}$ is quasi-coherent. Thus we obtain a commutative diagram

\[ \xymatrix{ & \mathcal{F}_1^ a \ar[r] \ar[d] & \mathcal{F}^ a \ar[r] \ar[d] & \mathcal{F}_2^ a \ar[r] \ar[d] & 0 \\ 0 \ar[r] & \mathcal{F}_1^ a \ar[r] & \mathcal{E} \ar[r] & \mathcal{F}_2^ a \ar[r] & 0 } \]

To finish the proof it suffices to show that the top row is also right exact. To do this, denote once more $U = \mathop{\mathrm{Spec}}(A) \subset S$ an affine open of $S$. We have seen above that $0 \to \mathcal{F}_1(U) \to \mathcal{E}(U) \to \mathcal{F}_2(U) \to 0$ is exact. For any affine scheme $V/U$, $V = \mathop{\mathrm{Spec}}(B)$ the map $\mathcal{F}_1^ a(V) \to \mathcal{E}(V)$ is injective. We have $\mathcal{F}_1^ a(V) = \mathcal{F}_1(U) \otimes _ A B$ by definition. The injection $\mathcal{F}_1^ a(V) \to \mathcal{E}(V)$ factors as

\[ \mathcal{F}_1(U) \otimes _ A B \to \mathcal{E}(U) \otimes _ A B \to \mathcal{E}(V) \]

Considering $A$-algebras $B$ of the form $B = A \oplus M$ we see that $\mathcal{F}_1(U) \to \mathcal{E}(U)$ is universally injective (see Algebra, Definition 10.82.1). Since $\mathcal{E}(U) = \mathcal{F}(U)$ we conclude that $\mathcal{F}_1 \to \mathcal{F}$ remains injective after any base change, or equivalently that $\mathcal{F}_1^ a \to \mathcal{F}^ a$ is injective. $\square$

Lemma 35.10.3. Let $S$ be a scheme. The category $\mathit{QCoh}(S_{\acute{e}tale}, \mathcal{O})$ of quasi-coherent modules on $S_{\acute{e}tale}$ has the following properties:

  1. Any direct sum of quasi-coherent sheaves is quasi-coherent.

  2. Any colimit of quasi-coherent sheaves is quasi-coherent.

  3. The kernel and cokernel of a morphism of quasi-coherent sheaves is quasi-coherent.

  4. Given a short exact sequence of $\mathcal{O}$-modules $0 \to \mathcal{F}_1 \to \mathcal{F}_2 \to \mathcal{F}_3 \to 0$ if two out of three are quasi-coherent so is the third.

  5. Given two quasi-coherent $\mathcal{O}$-modules the tensor product is quasi-coherent.

  6. Given two quasi-coherent $\mathcal{O}$-modules $\mathcal{F}$, $\mathcal{G}$ such that $\mathcal{F}$ is of finite presentation. then the internal hom $\mathop{\mathcal{H}\! \mathit{om}}\nolimits _\mathcal {O}(\mathcal{F}, \mathcal{G})$ is quasi-coherent.

Proof. The corresponding facts hold for quasi-coherent modules on the scheme $S$, see Schemes, Section 26.24. The proof will be to use Lemma 35.10.2 to transfer these truths to $S_{\acute{e}tale}$.

Proof of (1). Let $\mathcal{F}_ i$, $i \in I$ be a family of objects of $\mathit{QCoh}(S_{\acute{e}tale}, \mathcal{O})$. Write $\mathcal{F}_ i = \mathcal{G}_ i^ a$ for some quasi-coherent modules $\mathcal{G}_ i$ on $S$. Then $\bigoplus \mathcal{F}_ i = (\bigoplus \mathcal{G}_ i)^ a$ by the lemma cited and we conclude.

Proof of (2). Let $\mathcal{I} \to \mathit{QCoh}(S_{\acute{e}tale}, \mathcal{O})$, $i \mapsto \mathcal{F}_ i$ be a diagram. Write $\mathcal{F}_ i = \mathcal{G}_ i^ a$ so we get a diagram $\mathcal{I} \to \mathit{QCoh}(\mathcal{O}_ S)$. Then $\mathop{\mathrm{colim}}\nolimits \mathcal{F}_ i = (\mathop{\mathrm{colim}}\nolimits \mathcal{G}_ i)^ a$ by the lemma cited and we conclude.

Proof of (3). Let $a : \mathcal{F} \to \mathcal{F}'$ be an arrow of $\mathit{QCoh}(S_{\acute{e}tale}, \mathcal{O})$. Write $a = b^ a$ for some map $b : \mathcal{G} \to \mathcal{G}'$ of quasi-coherent modules on $S$. By the lemma cited we have $\mathop{\mathrm{Ker}}(a) = \mathop{\mathrm{Ker}}(b)^ a$ and $\mathop{\mathrm{Coker}}(a) = \mathop{\mathrm{Coker}}(b)^ a$ and we conclude.

Proof of (4). This follows from (3) except in the case when we know $\mathcal{F}_1$ and $\mathcal{F}_3$ are quasi-coherent. In this case write $\mathcal{F}_1 = \mathcal{G}_1^ a$ and $\mathcal{F}_3 = \mathcal{G}_3^ a$ with $\mathcal{G}_ i$ quasi-coherent on $S$. By Lemma 35.10.2 part (10) we conclude.

Proof of (5). Let $\mathcal{F}$ and $\mathcal{F}'$ be in $\mathit{QCoh}(S_{\acute{e}tale}, \mathcal{O})$. Write $\mathcal{F} = \mathcal{G}^ a$ and $\mathcal{F}' = (\mathcal{G}')^ a$ with $\mathcal{G}$ and $\mathcal{G}'$ quasi-coherent on $S$. By the lemma cited we have $\mathcal{F} \otimes _\mathcal {O} \mathcal{F}' = (\mathcal{G} \otimes _{\mathcal{O}_ S} \mathcal{G}')^ a$ and we conclude.

Proof of (6). Let $\mathcal{F}$ and $\mathcal{G}$ be in $\mathit{QCoh}(S_{\acute{e}tale}, \mathcal{O})$ with $\mathcal{F}$ of finite presentation. Write $\mathcal{F} = \mathcal{H}^ a$ and $\mathcal{G} = (\mathcal{I})^ a$ with $\mathcal{H}$ and $\mathcal{I}$ quasi-coherent on $S$. By Lemma 35.8.10 we see that $\mathcal{H}$ is of finite presentation. By Lemma 35.10.2 part (8) we have $\mathop{\mathcal{H}\! \mathit{om}}\nolimits _\mathcal {O}(\mathcal{F}, \mathcal{G}) = (\mathop{\mathcal{H}\! \mathit{om}}\nolimits _{\mathcal{O}_ S}(\mathcal{H}, \mathcal{I}))^ a$ and we conclude. $\square$

Lemma 35.10.4. Let $S$ be a scheme. Let $\tau \in \{ Zariski, \linebreak[0] {\acute{e}tale}, \linebreak[0] smooth, \linebreak[0] syntomic, \linebreak[0] fppf\} $. The category $\mathit{QCoh}((\mathit{Sch}/S)_\tau , \mathcal{O})$ of quasi-coherent modules on $(\mathit{Sch}/S)_\tau $ has the following properties:

  1. Any direct sum of quasi-coherent sheaves is quasi-coherent.

  2. Any colimit of quasi-coherent sheaves is quasi-coherent.

  3. The cokernel of a morphism of quasi-coherent sheaves is quasi-coherent.

  4. Given a short exact sequence of $\mathcal{O}$-modules $0 \to \mathcal{F}_1 \to \mathcal{F}_2 \to \mathcal{F}_3 \to 0$ if $\mathcal{F}_1$ and $\mathcal{F}_3$ are quasi-coherent so is $\mathcal{F}_2$.

  5. Given two quasi-coherent $\mathcal{O}$-modules the tensor product is quasi-coherent.

  6. Given two quasi-coherent $\mathcal{O}$-modules $\mathcal{F}$, $\mathcal{G}$ such that $\mathcal{F}$ is finite locally free, the internal hom $\mathop{\mathcal{H}\! \mathit{om}}\nolimits _\mathcal {O}(\mathcal{F}, \mathcal{G})$ is quasi-coherent.

Proof. The corresponding facts hold for quasi-coherent modules on the scheme $S$, see Schemes, Section 26.24. The proof will be to use Lemma 35.10.2 to transfer these truths to $(\mathit{Sch}/S)_\tau $.

Proof of (1). Let $\mathcal{F}_ i$, $i \in I$ be a family of objects of $\mathit{QCoh}((\mathit{Sch}/S)_\tau , \mathcal{O})$. Write $\mathcal{F}_ i = \mathcal{G}_ i^ a$ for some quasi-coherent modules $\mathcal{G}_ i$ on $S$. Then $\bigoplus \mathcal{F}_ i = (\bigoplus \mathcal{G}_ i)^ a$ by the lemma cited and we conclude.

Proof of (2). Let $\mathcal{I} \to \mathit{QCoh}((\mathit{Sch}/S)_\tau , \mathcal{O})$, $i \mapsto \mathcal{F}_ i$ be a diagram. Write $\mathcal{F}_ i = \mathcal{G}_ i^ a$ so we get a diagram $\mathcal{I} \to \mathit{QCoh}(\mathcal{O}_ S)$. Then $\mathop{\mathrm{colim}}\nolimits \mathcal{F}_ i = (\mathop{\mathrm{colim}}\nolimits \mathcal{G}_ i)^ a$ by the lemma cited and we conclude.

Proof of (3). Let $a : \mathcal{F} \to \mathcal{F}'$ be an arrow of $\mathit{QCoh}((\mathit{Sch}/S)_\tau , \mathcal{O})$. Write $a = b^ a$ for some map $b : \mathcal{G} \to \mathcal{G}'$ of quasi-coherent modules on $S$. By the lemma cited we have $\mathop{\mathrm{Coker}}(a) = \mathop{\mathrm{Coker}}(b)^ a$ (because a cokernel is a colimit) and we conclude.

Proof of (4). Write $\mathcal{F}_1 = \mathcal{G}_1^ a$ and $\mathcal{F}_3 = \mathcal{G}_3^ a$ with $\mathcal{G}_ i$ quasi-coherent on $S$. By Lemma 35.10.2 part (10) we conclude.

Proof of (5). Let $\mathcal{F}$ and $\mathcal{F}'$ be in $\mathit{QCoh}((\mathit{Sch}/S)_\tau , \mathcal{O})$. Write $\mathcal{F} = \mathcal{G}^ a$ and $\mathcal{F}' = (\mathcal{G}')^ a$ with $\mathcal{G}$ and $\mathcal{G}'$ quasi-coherent on $S$. By the lemma cited we have $\mathcal{F} \otimes _\mathcal {O} \mathcal{F}' = (\mathcal{G} \otimes _{\mathcal{O}_ S} \mathcal{G}')^ a$ and we conclude.

Proof of (6). Write $\mathcal{F} = \mathcal{H}^ a$ for some quasi-coherent $\mathcal{O}_ S$-module. By Lemma 35.8.10 we see that $\mathcal{H}$ is finite locally free. The problem is Zariski local on $S$ (details omitted) hence we may assume $\mathcal{H} = \mathcal{O}_ S^{\oplus n}$ is finite free. Then $\mathcal{F} = \mathcal{O}^{\oplus n}$ and $\mathop{\mathcal{H}\! \mathit{om}}\nolimits _\mathcal {O}(\mathcal{F}, \mathcal{G}) = \mathcal{G}^{\oplus n}$ is quasi-coherent. $\square$

Example 35.10.5. Let $S$ be a scheme. Let $\mathcal{F}$ and $\mathcal{G}$ be quasi-coherent modules on $(\mathit{Sch}/S)_\tau $ for one of the topologies $\tau $ considered in Lemma 35.10.4. In general it is not the case that $\mathop{\mathcal{H}\! \mathit{om}}\nolimits _\mathcal {O}(\mathcal{F}, \mathcal{G})$ is quasi-coherent even if $\mathcal{F}$ is of finite presentation. Namely, say $S = \mathop{\mathrm{Spec}}(\mathbf{Z})$, $\mathcal{F} = \mathop{\mathrm{Coker}}(2 : \mathcal{O} \to \mathcal{O})$, and $\mathcal{G} = \mathcal{O}$. Then $\mathop{\mathcal{H}\! \mathit{om}}\nolimits _\mathcal {O}(\mathcal{F}, \mathcal{G}) = \mathcal{O}[2]$ is equal to the $2$-torsion in $\mathcal{O}$, which is not quasi-coherent.

Lemma 35.10.6. Let $S$ be a scheme.

  1. The category $\mathit{QCoh}((\mathit{Sch}/S)_{fppf}, \mathcal{O})$ has colimits and they agree with colimits in the categories $\textit{Mod}((\mathit{Sch}/S)_{Zar}, \mathcal{O})$, $\textit{Mod}((\mathit{Sch}/S)_{\acute{e}tale}, \mathcal{O})$, and $\textit{Mod}((\mathit{Sch}/S)_{fppf}, \mathcal{O})$.

  2. Given $\mathcal{F}, \mathcal{G}$ in $\mathit{QCoh}((\mathit{Sch}/S)_{fppf}, \mathcal{O})$ the tensor products $\mathcal{F} \otimes _\mathcal {O} \mathcal{G}$ computed in $\textit{Mod}((\mathit{Sch}/S)_{Zar}, \mathcal{O})$, $\textit{Mod}((\mathit{Sch}/S)_{\acute{e}tale}, \mathcal{O})$, or $\textit{Mod}((\mathit{Sch}/S)_{fppf}, \mathcal{O})$ agree and the common value is an object of $\mathit{QCoh}((\mathit{Sch}/S)_{fppf}, \mathcal{O})$.

  3. Given $\mathcal{F}, \mathcal{G}$ in $\mathit{QCoh}((\mathit{Sch}/S)_{fppf}, \mathcal{O})$ with $\mathcal{F}$ finite locally free (in fppf, or equivalently étale, or equivalently Zariski topology) the internal homs $\mathop{\mathcal{H}\! \mathit{om}}\nolimits _\mathcal {O}(\mathcal{F}, \mathcal{G})$ computed in $\textit{Mod}((\mathit{Sch}/S)_{Zar}, \mathcal{O})$, $\textit{Mod}((\mathit{Sch}/S)_{\acute{e}tale}, \mathcal{O})$, or $\textit{Mod}((\mathit{Sch}/S)_{fppf}, \mathcal{O})$ agree and the common value is an object of $\mathit{QCoh}((\mathit{Sch}/S)_{fppf}, \mathcal{O})$.

Proof. This lemma collects the results shown above in a slightly different manner. First of all, by Lemma 35.10.4 we already know the output of the construction in (1), (2), or (3) ends up in $\mathit{QCoh}((\mathit{Sch}/S)_\tau , \mathcal{O})$. It remains to show in each case that the result is independent of the topology used. The key to this is that the equivalence $\mathit{QCoh}(\mathcal{O}_ S) \to \mathit{QCoh}((\mathit{Sch}/S)_\tau , \mathcal{O})$, $\mathcal{F} \mapsto \mathcal{F}^ a$ of Proposition 35.8.9 is given by the same formula independent of the choice of the topology $\tau \in \{ Zariski, {\acute{e}tale}, fppf\} $.

Proof of (1). Let $\mathcal{I} \to \mathit{QCoh}((\mathit{Sch}/S)_{fppf}, \mathcal{O})$, $i \mapsto \mathcal{F}_ i$ be a diagram. Write $\mathcal{F}_ i = \mathcal{G}_ i^ a$ so we get a diagram $\mathcal{I} \to \mathit{QCoh}(\mathcal{O}_ S)$. Then $\mathop{\mathrm{colim}}\nolimits \mathcal{F}_ i = (\mathop{\mathrm{colim}}\nolimits \mathcal{G}_ i)^ a$ in $\textit{Mod}((\mathit{Sch}/S)_\tau , \mathcal{O})$ for $\tau \in \{ Zariski, {\acute{e}tale}, fppf\} $ by Lemma 35.10.2. This proves (1).

Proof of (2). Write $\mathcal{F} = \mathcal{H}^ a$ and $\mathcal{G} = (\mathcal{I})^ a$ with $\mathcal{H}$ and $\mathcal{I}$ quasi-coherent on $S$. Then $\mathcal{F} \otimes _\mathcal {O} \mathcal{G} = (\mathcal{H} \otimes _\mathcal {O} \mathcal{I})^ a$ in $\textit{Mod}((\mathit{Sch}/S)_\tau , \mathcal{O})$ for $\tau \in \{ Zariski, {\acute{e}tale}, fppf\} $ by Lemma 35.10.2. This proves (2).

Proof of (3). Let $\mathcal{F}$ and $\mathcal{G}$ be in $\mathit{QCoh}((\mathit{Sch}/S)_{fppf}, \mathcal{O})$. Write $\mathcal{F} = \mathcal{H}^ a$ with $\mathcal{H}$ quasi-coherent on $S$. By Lemma 35.8.10 we have

\begin{align*} \mathcal{F}\text{ finite locally free in fppf topology} & \Leftrightarrow \mathcal{H}\text{ finite locally free on }S \\ & \Leftrightarrow \mathcal{F}\text{ finite locally free in étale topology} \\ & \Leftrightarrow \mathcal{H}\text{ finite locally free on }S \\ & \Leftrightarrow \mathcal{F}\text{ finite locally free in Zariski topology} \end{align*}

This explains the parenthetical statement of part (3). Now, if these equivalent conditions hold, then $\mathcal{H}$ is finite locally free. The construction of $\mathop{\mathcal{H}\! \mathit{om}}\nolimits _\mathcal {O}(\mathcal{F}, \mathcal{G})$ in Modules on Sites, Section 18.27 depends only on $\mathcal{F}$ and $\mathcal{G}$ as presheaves of modules (only whether the output $\mathop{\mathcal{H}\! \mathit{om}}\nolimits $ is a sheaf depends on whether $\mathcal{F}$ and $\mathcal{G}$ are sheaves). $\square$

[1] Namely, for $y \in V$, we pick an affine open $y \in V' \subset V$ with $f(V')$ contained in an affine open $U \subset S$. Then we pick an affine open $f(y) \in U' \subset f(V')$. Then $V'' = f^{-1}(U') \subset V'$ is affine as it is equal to $U' \times _ U V'$ and $f(V'') = U'$ is affine too.
[2] Warning: This is misleading. See part (6).

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