Definition 46.5.1. A sheaf of $\mathcal{O}$-modules $\mathcal{F}$ on $(\mathit{Sch}/S)_\tau $ is adequate if there exists a $\tau $-covering $\{ \mathop{\mathrm{Spec}}(A_ i) \to S\} _{i \in I}$ such that $F_{\mathcal{F}, A_ i}$ is adequate for all $i \in I$.
46.5 Adequate modules
In Descent, Section 35.8 we have seen that quasi-coherent modules on a scheme $S$ are the same as quasi-coherent modules on any of the big sites $(\mathit{Sch}/S)_\tau $ associated to $S$. We have seen that there are two issues with this identification:
$\mathit{QCoh}(\mathcal{O}_ S) \to \textit{Mod}((\mathit{Sch}/S)_\tau , \mathcal{O})$, $\mathcal{F} \mapsto \mathcal{F}^ a$ is not exact in general (Descent, Lemma 35.10.2), and
given a quasi-compact and quasi-separated morphism $f : X \to S$ the functor $f_*$ does not preserve quasi-coherent sheaves on the big sites in general (Descent, Proposition 35.9.4).
Part (1) means that we cannot define a triangulated subcategory of $D(\mathcal{O})$ consisting of complexes whose cohomology sheaves are quasi-coherent. Part (2) means that $Rf_*\mathcal{F}$ isn't a complex with quasi-coherent cohomology sheaves even when $\mathcal{F}$ is quasi-coherent and $f$ is quasi-compact and quasi-separated. Moreover, the examples given in the proofs of Descent, Lemma 35.10.2 and Descent, Proposition 35.9.4 are not of a pathological nature.
In this section we discuss a slightly larger category of $\mathcal{O}$-modules on $(\mathit{Sch}/S)_\tau $ with contains the quasi-coherent modules, is abelian, and is preserved under $f_*$ when $f$ is quasi-compact and quasi-separated. To do this, suppose that $S$ is a scheme. Let $\mathcal{F}$ be a presheaf of $\mathcal{O}$-modules on $(\mathit{Sch}/S)_\tau $. For any affine object $U = \mathop{\mathrm{Spec}}(A)$ of $(\mathit{Sch}/S)_\tau $ we can restrict $\mathcal{F}$ to $(\textit{Aff}/U)_\tau $ to get a presheaf of $\mathcal{O}$-modules on this site. The corresponding module-valued functor, see Section 46.3, will be denoted
\[ F = F_{\mathcal{F}, A} : \textit{Alg}_ A \longrightarrow \textit{Ab}, \quad B \longmapsto \mathcal{F}(\mathop{\mathrm{Spec}}(B)) \]
The assignment $\mathcal{F} \mapsto F_{\mathcal{F}, A}$ is an exact functor of abelian categories.
We will see below that the category of adequate $\mathcal{O}$-modules is independent of the chosen topology $\tau $.
Lemma 46.5.2. Let $S$ be a scheme. Let $\mathcal{F}$ be an adequate $\mathcal{O}$-module on $(\mathit{Sch}/S)_\tau $. For any affine scheme $\mathop{\mathrm{Spec}}(A)$ over $S$ the functor $F_{\mathcal{F}, A}$ is adequate.
Proof. Let $\{ \mathop{\mathrm{Spec}}(A_ i) \to S\} _{i \in I}$ be a $\tau $-covering such that $F_{\mathcal{F}, A_ i}$ is adequate for all $i \in I$. We can find a standard affine $\tau $-covering $\{ \mathop{\mathrm{Spec}}(A'_ j) \to \mathop{\mathrm{Spec}}(A)\} _{j = 1, \ldots , m}$ such that $\mathop{\mathrm{Spec}}(A'_ j) \to \mathop{\mathrm{Spec}}(A) \to S$ factors through $\mathop{\mathrm{Spec}}(A_{i(j)})$ for some $i(j) \in I$. Then we see that $F_{\mathcal{F}, A'_ j}$ is the restriction of $F_{\mathcal{F}, A_{i(j)}}$ to the category of $A'_ j$-algebras. Hence $F_{\mathcal{F}, A'_ j}$ is adequate by Lemma 46.3.17. By Lemma 46.3.19 the sequence $F_{\mathcal{F}, A'_ j}$ corresponds to an adequate “product” functor $F'$ over $A' = A'_1 \times \ldots \times A'_ m$. As $\mathcal{F}$ is a sheaf (for the Zariski topology) this product functor $F'$ is equal to $F_{\mathcal{F}, A'}$, i.e., is the restriction of $F$ to $A'$-algebras. Finally, $\{ \mathop{\mathrm{Spec}}(A') \to \mathop{\mathrm{Spec}}(A)\} $ is a $\tau $-covering. It follows from Lemma 46.3.20 that $F_{\mathcal{F}, A}$ is adequate. $\square$
Lemma 46.5.3. Let $S = \mathop{\mathrm{Spec}}(A)$ be an affine scheme. The category of adequate $\mathcal{O}$-modules on $(\mathit{Sch}/S)_\tau $ is equivalent to the category of adequate module-valued functors on $\textit{Alg}_ A$.
Proof. Given an adequate module $\mathcal{F}$ the functor $F_{\mathcal{F}, A}$ is adequate by Lemma 46.5.2. Given an adequate functor $F$ we choose an exact sequence $0 \to F \to \underline{M} \to \underline{N}$ and we consider the $\mathcal{O}$-module $\mathcal{F} = \mathop{\mathrm{Ker}}(M^ a \to N^ a)$ where $M^ a$ denotes the quasi-coherent $\mathcal{O}$-module on $(\mathit{Sch}/S)_\tau $ associated to the quasi-coherent sheaf $\widetilde{M}$ on $S$. Note that $F = F_{\mathcal{F}, A}$, in particular the module $\mathcal{F}$ is adequate by definition. We omit the proof that the constructions define mutually inverse equivalences of categories. $\square$
Lemma 46.5.4. Let $f : T \to S$ be a morphism of schemes. The pullback $f^*\mathcal{F}$ of an adequate $\mathcal{O}$-module $\mathcal{F}$ on $(\mathit{Sch}/S)_\tau $ is an adequate $\mathcal{O}$-module on $(\mathit{Sch}/T)_\tau $.
Proof. The pullback map $f^* : \textit{Mod}((\mathit{Sch}/S)_\tau , \mathcal{O}) \to \textit{Mod}((\mathit{Sch}/T)_\tau , \mathcal{O})$ is given by restriction, i.e., $f^*\mathcal{F}(V) = \mathcal{F}(V)$ for any scheme $V$ over $T$. Hence this lemma follows immediately from Lemma 46.5.2 and the definition. $\square$
Here is a characterization of the category of adequate $\mathcal{O}$-modules. To understand the significance, consider a map $\mathcal{G} \to \mathcal{H}$ of quasi-coherent $\mathcal{O}_ S$-modules on a scheme $S$. The cokernel of the associated map $\mathcal{G}^ a \to \mathcal{H}^ a$ of $\mathcal{O}$-modules is quasi-coherent because it is equal to $(\mathcal{H}/\mathcal{G})^ a$. But the kernel of $\mathcal{G}^ a \to \mathcal{H}^ a$ in general isn't quasi-coherent. However, it is adequate.
Lemma 46.5.5. Let $S$ be a scheme. Let $\mathcal{F}$ be an $\mathcal{O}$-module on $(\mathit{Sch}/S)_\tau $. The following are equivalent
$\mathcal{F}$ is adequate,
there exists an affine open covering $S = \bigcup S_ i$ and maps of quasi-coherent $\mathcal{O}_{S_ i}$-modules $\mathcal{G}_ i \to \mathcal{H}_ i$ such that $\mathcal{F}|_{(\mathit{Sch}/S_ i)_\tau }$ is the kernel of $\mathcal{G}_ i^ a \to \mathcal{H}_ i^ a$
there exists a $\tau $-covering $\{ S_ i \to S\} _{i \in I}$ and maps of $\mathcal{O}_{S_ i}$-quasi-coherent modules $\mathcal{G}_ i \to \mathcal{H}_ i$ such that $\mathcal{F}|_{(\mathit{Sch}/S_ i)_\tau }$ is the kernel of $\mathcal{G}_ i^ a \to \mathcal{H}_ i^ a$,
there exists a $\tau $-covering $\{ f_ i : S_ i \to S\} _{i \in I}$ such that each $f_ i^*\mathcal{F}$ is adequate,
for any affine scheme $U$ over $S$ the restriction $\mathcal{F}|_{(\mathit{Sch}/U)_\tau }$ is the kernel of a map $\mathcal{G}^ a \to \mathcal{H}^ a$ of quasi-coherent $\mathcal{O}_ U$-modules.
Proof. Let $U = \mathop{\mathrm{Spec}}(A)$ be an affine scheme over $S$. Set $F = F_{\mathcal{F}, A}$. By definition, the functor $F$ is adequate if and only if there exists a map of $A$-modules $M \to N$ such that $F = \mathop{\mathrm{Ker}}(\underline{M} \to \underline{N})$. Combining with Lemmas 46.5.2 and 46.5.3 we see that (1) and (5) are equivalent.
It is clear that (5) implies (2) and (2) implies (3). If (3) holds then we can refine the covering $\{ S_ i \to S\} $ such that each $S_ i = \mathop{\mathrm{Spec}}(A_ i)$ is affine. Then we see, by the preliminary remarks of the proof, that $F_{\mathcal{F}, A_ i}$ is adequate. Thus $\mathcal{F}$ is adequate by definition. Hence (3) implies (1).
Finally, (4) is equivalent to (1) using Lemma 46.5.4 for one direction and that a composition of $\tau $-coverings is a $\tau $-covering for the other. $\square$
Just like is true for quasi-coherent sheaves the category of adequate modules is independent of the topology.
Lemma 46.5.6. Let $\mathcal{F}$ be an adequate $\mathcal{O}$-module on $(\mathit{Sch}/S)_\tau $. For any surjective flat morphism $\mathop{\mathrm{Spec}}(B) \to \mathop{\mathrm{Spec}}(A)$ of affines over $S$ the extended Čech complex is exact. In particular $\mathcal{F}$ satisfies the sheaf condition for fpqc coverings, and is a sheaf of $\mathcal{O}$-modules on $(\mathit{Sch}/S)_{fppf}$.
\[ 0 \to \mathcal{F}(\mathop{\mathrm{Spec}}(A)) \to \mathcal{F}(\mathop{\mathrm{Spec}}(B)) \to \mathcal{F}(\mathop{\mathrm{Spec}}(B \otimes _ A B)) \to \ldots \]
Proof. With $A \to B$ as in the lemma let $F = F_{\mathcal{F}, A}$. This functor is adequate by Lemma 46.5.2. By Lemma 46.3.5 since $A \to B$, $A \to B \otimes _ A B$, etc are flat we see that $F(B) = F(A) \otimes _ A B$, $F(B \otimes _ A B) = F(A) \otimes _ A B \otimes _ A B$, etc. Exactness follows from Descent, Lemma 35.3.6.
Thus $\mathcal{F}$ satisfies the sheaf condition for $\tau $-coverings (in particular Zariski coverings) and any faithfully flat covering of an affine by an affine. Arguing as in the proofs of Descent, Lemma 35.5.1 and Descent, Proposition 35.5.2 we conclude that $\mathcal{F}$ satisfies the sheaf condition for all fpqc coverings (made out of objects of $(\mathit{Sch}/S)_\tau $). Details omitted. $\square$
Lemma 46.5.6 shows in particular that for any pair of topologies $\tau , \tau '$ the collection of adequate modules for the $\tau $-topology and the $\tau '$-topology are identical (as presheaves of modules on the underlying category $\mathit{Sch}/S$).
Definition 46.5.7. Let $S$ be a scheme. The category of adequate $\mathcal{O}$-modules on $(\mathit{Sch}/S)_\tau $ is denoted $\textit{Adeq}(\mathcal{O})$ or $\textit{Adeq}((\mathit{Sch}/S)_\tau , \mathcal{O})$. If we want to think just about the abelian category of adequate modules without choosing a topology we simply write $\textit{Adeq}(S)$.
Lemma 46.5.8. Let $S$ be a scheme. Let $\mathcal{F}$ be an adequate $\mathcal{O}$-module on $(\mathit{Sch}/S)_\tau $.
The restriction $\mathcal{F}|_{S_{Zar}}$ is a quasi-coherent $\mathcal{O}_ S$-module on the scheme $S$.
The restriction $\mathcal{F}|_{S_{\acute{e}tale}}$ is the quasi-coherent module associated to $\mathcal{F}|_{S_{Zar}}$.
For any affine scheme $U$ over $S$ we have $H^ q(U, \mathcal{F}) = 0$ for all $q > 0$.
There is a canonical isomorphism
\[ H^ q(S, \mathcal{F}|_{S_{Zar}}) = H^ q((\mathit{Sch}/S)_\tau , \mathcal{F}). \]
Proof. By Lemma 46.3.5 and Lemma 46.5.2 we see that for any flat morphism of affines $U \to V$ over $S$ we have $\mathcal{F}(U) = \mathcal{F}(V) \otimes _{\mathcal{O}(V)} \mathcal{O}(U)$. This works in particular if $U \subset V \subset S$ are affine opens of $S$, hence $\mathcal{F}|_{S_{Zar}}$ is quasi-coherent. Thus (1) holds.
Let $S' \to S$ be an étale morphism of schemes. Then for $U \subset S'$ affine open mapping into an affine open $V \subset S$ we see that $\mathcal{F}(U) = \mathcal{F}(V) \otimes _{\mathcal{O}(V)} \mathcal{O}(U)$ because $U \to V$ is étale, hence flat. Therefore $\mathcal{F}|_{S'_{Zar}}$ is the pullback of $\mathcal{F}|_{S_{Zar}}$. This proves (2).
We are going to apply Cohomology on Sites, Lemma 21.10.9 to the site $(\mathit{Sch}/S)_\tau $ with $\mathcal{B}$ the set of affine schemes over $S$ and $\text{Cov}$ the set of standard affine $\tau $-coverings. Assumption (3) of the lemma is satisfied by Descent, Lemma 35.9.1 and Lemma 46.5.6 for the case of a covering by a single affine. Hence we conclude that $H^ p(U, \mathcal{F}) = 0$ for every affine scheme $U$ over $S$. This proves (3). In exactly the same way as in the proof of Descent, Proposition 35.9.3 this implies the equality of cohomologies (4). $\square$
Remark 46.5.9. Let $S$ be a scheme. We have functors $u : \mathit{QCoh}(\mathcal{O}_ S) \to \textit{Adeq}(\mathcal{O})$ and $v : \textit{Adeq}(\mathcal{O}) \to \mathit{QCoh}(\mathcal{O}_ S)$. Namely, the functor $u : \mathcal{F} \mapsto \mathcal{F}^ a$ comes from taking the associated $\mathcal{O}$-module which is adequate by Lemma 46.5.5. Conversely, the functor $v$ comes from restriction $v : \mathcal{G} \mapsto \mathcal{G}|_{S_{Zar}}$, see Lemma 46.5.8. Since $\mathcal{F}^ a$ can be described as the pullback of $\mathcal{F}$ under a morphism of ringed topoi $((\mathit{Sch}/S)_\tau , \mathcal{O}) \to (S_{Zar}, \mathcal{O}_ S)$, see Descent, Remark 35.8.6 and since restriction is the pushforward we see that $u$ and $v$ are adjoint as follows where $\mathcal{O}$ denotes the structure sheaf on the big site. It is immediate from the description that the adjunction mapping $\mathcal{F} \to vu\mathcal{F}$ is an isomorphism for all quasi-coherent sheaves.
\[ \mathop{\mathcal{H}\! \mathit{om}}\nolimits _{\mathcal{O}_ S}(\mathcal{F}, v\mathcal{G}) = \mathop{\mathcal{H}\! \mathit{om}}\nolimits _\mathcal {O}(u\mathcal{F}, \mathcal{G}) \]
Lemma 46.5.10. Let $S$ be a scheme. Let $\mathcal{F}$ be a presheaf of $\mathcal{O}$-modules on $(\mathit{Sch}/S)_\tau $. If for every affine scheme $\mathop{\mathrm{Spec}}(A)$ over $S$ the functor $F_{\mathcal{F}, A}$ is adequate, then the sheafification of $\mathcal{F}$ is an adequate $\mathcal{O}$-module.
Proof. Let $U = \mathop{\mathrm{Spec}}(A)$ be an affine scheme over $S$. Set $F = F_{\mathcal{F}, A}$. The sheafification $\mathcal{F}^\# = (\mathcal{F}^+)^+$, see Sites, Section 7.10. By construction
\[ (\mathcal{F})^+(U) = \mathop{\mathrm{colim}}\nolimits _\mathcal {U} \check{H}^0(\mathcal{U}, \mathcal{F}) \]
where the colimit is over coverings in the site $(\mathit{Sch}/S)_\tau $. Since $U$ is affine it suffices to take the limit over standard affine $\tau $-coverings $\mathcal{U} = \{ U_ i \to U\} _{i \in I} = \{ \mathop{\mathrm{Spec}}(A_ i) \to \mathop{\mathrm{Spec}}(A)\} _{i \in I}$ of $U$. Since each $A \to A_ i$ and $A \to A_ i \otimes _ A A_ j$ is flat we see that
\[ \check{H}^0(\mathcal{U}, \mathcal{F}) = \mathop{\mathrm{Ker}}(\prod F(A) \otimes _ A A_ i \to \prod F(A) \otimes _ A A_ i \otimes _ A A_ j) \]
by Lemma 46.3.5. Since $A \to \prod A_ i$ is faithfully flat we see that this always is canonically isomorphic to $F(A)$ by Descent, Lemma 35.3.6. Thus the presheaf $(\mathcal{F})^+$ has the same value as $\mathcal{F}$ on all affine schemes over $S$. Repeating the argument once more we deduce the same thing for $\mathcal{F}^\# = ((\mathcal{F})^+)^+$. Thus $F_{\mathcal{F}, A} = F_{\mathcal{F}^\# , A}$ and we conclude that $\mathcal{F}^\# $ is adequate. $\square$
Lemma 46.5.11. Let $S$ be a scheme.
The category $\textit{Adeq}(\mathcal{O})$ is abelian.
The functor $\textit{Adeq}(\mathcal{O}) \to \textit{Mod}((\mathit{Sch}/S)_\tau , \mathcal{O})$ is exact.
If $0 \to \mathcal{F}_1 \to \mathcal{F}_2 \to \mathcal{F}_3 \to 0$ is a short exact sequence of $\mathcal{O}$-modules and $\mathcal{F}_1$ and $\mathcal{F}_3$ are adequate, then $\mathcal{F}_2$ is adequate.
The category $\textit{Adeq}(\mathcal{O})$ has colimits and $\textit{Adeq}(\mathcal{O}) \to \textit{Mod}((\mathit{Sch}/S)_\tau , \mathcal{O})$ commutes with them.
Proof. Let $\varphi : \mathcal{F} \to \mathcal{G}$ be a map of adequate $\mathcal{O}$-modules. To prove (1) and (2) it suffices to show that $\mathcal{K} = \mathop{\mathrm{Ker}}(\varphi )$ and $\mathcal{Q} = \mathop{\mathrm{Coker}}(\varphi )$ computed in $\textit{Mod}((\mathit{Sch}/S)_\tau , \mathcal{O})$ are adequate. Let $U = \mathop{\mathrm{Spec}}(A)$ be an affine scheme over $S$. Let $F = F_{\mathcal{F}, A}$ and $G = F_{\mathcal{G}, A}$. By Lemmas 46.3.11 and 46.3.10 the kernel $K$ and cokernel $Q$ of the induced map $F \to G$ are adequate functors. Because the kernel is computed on the level of presheaves, we see that $K = F_{\mathcal{K}, A}$ and we conclude $\mathcal{K}$ is adequate. To prove the result for the cokernel, denote $\mathcal{Q}'$ the presheaf cokernel of $\varphi $. Then $Q = F_{\mathcal{Q}', A}$ and $\mathcal{Q} = (\mathcal{Q}')^\# $. Hence $\mathcal{Q}$ is adequate by Lemma 46.5.10.
Let $0 \to \mathcal{F}_1 \to \mathcal{F}_2 \to \mathcal{F}_3 \to 0$ is a short exact sequence of $\mathcal{O}$-modules and $\mathcal{F}_1$ and $\mathcal{F}_3$ are adequate. Let $U = \mathop{\mathrm{Spec}}(A)$ be an affine scheme over $S$. Let $F_ i = F_{\mathcal{F}_ i, A}$. The sequence of functors
\[ 0 \to F_1 \to F_2 \to F_3 \to 0 \]
is exact, because for $V = \mathop{\mathrm{Spec}}(B)$ affine over $U$ we have $H^1(V, \mathcal{F}_1) = 0$ by Lemma 46.5.8. Since $F_1$ and $F_3$ are adequate functors by Lemma 46.5.2 we see that $F_2$ is adequate by Lemma 46.3.16. Thus $\mathcal{F}_2$ is adequate.
Let $\mathcal{I} \to \textit{Adeq}(\mathcal{O})$, $i \mapsto \mathcal{F}_ i$ be a diagram. Denote $\mathcal{F} = \mathop{\mathrm{colim}}\nolimits _ i \mathcal{F}_ i$ the colimit computed in $\textit{Mod}((\mathit{Sch}/S)_\tau , \mathcal{O})$. To prove (4) it suffices to show that $\mathcal{F}$ is adequate. Let $\mathcal{F}' = \mathop{\mathrm{colim}}\nolimits _ i \mathcal{F}_ i$ be the colimit computed in presheaves of $\mathcal{O}$-modules. Then $\mathcal{F} = (\mathcal{F}')^\# $. Let $U = \mathop{\mathrm{Spec}}(A)$ be an affine scheme over $S$. Let $F_ i = F_{\mathcal{F}_ i, A}$. By Lemma 46.3.12 the functor $\mathop{\mathrm{colim}}\nolimits _ i F_ i = F_{\mathcal{F}', A}$ is adequate. Lemma 46.5.10 shows that $\mathcal{F}$ is adequate. $\square$
The following lemma tells us that the total direct image $Rf_*\mathcal{F}$ of an adequate module under a quasi-compact and quasi-separated morphism is a complex whose cohomology sheaves are adequate.
Lemma 46.5.12. Let $f : T \to S$ be a quasi-compact and quasi-separated morphism of schemes. For any adequate $\mathcal{O}_ T$-module on $(\mathit{Sch}/T)_\tau $ the pushforward $f_*\mathcal{F}$ and the higher direct images $R^ if_*\mathcal{F}$ are adequate $\mathcal{O}_ S$-modules on $(\mathit{Sch}/S)_\tau $.
Proof. First we explain how to compute the higher direct images. Choose an injective resolution $\mathcal{F} \to \mathcal{I}^\bullet $. Then $R^ if_*\mathcal{F}$ is the $i$th cohomology sheaf of the complex $f_*\mathcal{I}^\bullet $. Hence $R^ if_*\mathcal{F}$ is the sheaf associated to the presheaf which associates to an object $U/S$ of $(\mathit{Sch}/S)_\tau $ the module
\begin{align*} \frac{\mathop{\mathrm{Ker}}(f_*\mathcal{I}^ i(U) \to f_*\mathcal{I}^{i + 1}(U))}{\mathop{\mathrm{Im}}(f_*\mathcal{I}^{i - 1}(U) \to f_*\mathcal{I}^ i(U))} & = \frac{\mathop{\mathrm{Ker}}(\mathcal{I}^ i(U \times _ S T) \to \mathcal{I}^{i + 1}(U \times _ S T))}{\mathop{\mathrm{Im}}(\mathcal{I}^{i - 1}(U \times _ S T) \to \mathcal{I}^ i(U \times _ S T))} \\ & = H^ i(U \times _ S T, \mathcal{F}) \\ & = H^ i((\mathit{Sch}/U \times _ S T)_\tau , \mathcal{F}|_{(\mathit{Sch}/U \times _ S T)_\tau }) \\ & = H^ i(U \times _ S T, \mathcal{F}|_{(U \times _ S T)_{Zar}}) \end{align*}
The first equality by Topologies, Lemma 34.7.12 (and its analogues for other topologies), the second equality by definition of cohomology of $\mathcal{F}$ over an object of $(\mathit{Sch}/T)_\tau $, the third equality by Cohomology on Sites, Lemma 21.7.1, and the last equality by Lemma 46.5.8. Thus by Lemma 46.5.10 it suffices to prove the claim stated in the following paragraph.
Let $A$ be a ring. Let $T$ be a scheme quasi-compact and quasi-separated over $A$. Let $\mathcal{F}$ be an adequate $\mathcal{O}_ T$-module on $(\mathit{Sch}/T)_\tau $. For an $A$-algebra $B$ set $T_ B = T \times _{\mathop{\mathrm{Spec}}(A)} \mathop{\mathrm{Spec}}(B)$ and denote $\mathcal{F}_ B = \mathcal{F}|_{(T_ B)_{Zar}}$ the restriction of $\mathcal{F}$ to the small Zariski site of $T_ B$. (Recall that this is a “usual” quasi-coherent sheaf on the scheme $T_ B$, see Lemma 46.5.8.) Claim: The functor
\[ B \longmapsto H^ q(T_ B, \mathcal{F}_ B) \]
is adequate. We will prove the lemma by the usual procedure of cutting $T$ into pieces.
Case I: $T$ is affine. In this case the schemes $T_ B$ are all affine and $H^ q(T_ B, \mathcal{F}_ B) = 0$ for all $q \geq 1$. The functor $B \mapsto H^0(T_ B, \mathcal{F}_ B)$ is adequate by Lemma 46.3.18.
Case II: $T$ is separated. Let $n$ be the minimal number of affines needed to cover $T$. We argue by induction on $n$. The base case is Case I. Choose an affine open covering $T = V_1 \cup \ldots \cup V_ n$. Set $V = V_1 \cup \ldots \cup V_{n - 1}$ and $U = V_ n$. Observe that
\[ U \cap V = (V_1 \cap V_ n) \cup \ldots \cup (V_{n - 1} \cap V_ n) \]
is also a union of $n - 1$ affine opens as $T$ is separated, see Schemes, Lemma 26.21.7. Note that for each $B$ the base changes $U_ B$, $V_ B$ and $(U \cap V)_ B = U_ B \cap V_ B$ behave in the same way. Hence we see that for each $B$ we have a long exact sequence
\[ 0 \to H^0(T_ B, \mathcal{F}_ B) \to H^0(U_ B, \mathcal{F}_ B) \oplus H^0(V_ B, \mathcal{F}_ B) \to H^0((U \cap V)_ B, \mathcal{F}_ B) \to H^1(T_ B, \mathcal{F}_ B) \to \ldots \]
functorial in $B$, see Cohomology, Lemma 20.8.2. By induction hypothesis the functors $B \mapsto H^ q(U_ B, \mathcal{F}_ B)$, $B \mapsto H^ q(V_ B, \mathcal{F}_ B)$, and $B \mapsto H^ q((U \cap V)_ B, \mathcal{F}_ B)$ are adequate. Using Lemmas 46.3.11 and 46.3.10 we see that our functor $B \mapsto H^ q(T_ B, \mathcal{F}_ B)$ sits in the middle of a short exact sequence whose outer terms are adequate. Thus the claim follows from Lemma 46.3.16.
Case III: General quasi-compact and quasi-separated case. The proof is again by induction on the number $n$ of affines needed to cover $T$. The base case $n = 1$ is Case I. Choose an affine open covering $T = V_1 \cup \ldots \cup V_ n$. Set $V = V_1 \cup \ldots \cup V_{n - 1}$ and $U = V_ n$. Note that since $T$ is quasi-separated $U \cap V$ is a quasi-compact open of an affine scheme, hence Case II applies to it. The rest of the argument proceeds in exactly the same manner as in the paragraph above and is omitted. $\square$
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).
All contributions are licensed under the GNU Free Documentation License.
Comments (0)