## 59.51 Colimits

We recall that if $(\mathcal{F}_ i, \varphi _{ii'})$ is a diagram of sheaves on a site $\mathcal{C}$ its colimit (in the category of sheaves) is the sheafification of the presheaf $U \mapsto \mathop{\mathrm{colim}}\nolimits _ i \mathcal{F}_ i(U)$. See Sites, Lemma 7.10.13. If the system is directed, $U$ is a quasi-compact object of $\mathcal{C}$ which has a cofinal system of coverings by quasi-compact objects, then $\mathcal{F}(U) = \mathop{\mathrm{colim}}\nolimits \mathcal{F}_ i(U)$, see Sites, Lemma 7.17.7. See Cohomology on Sites, Lemma 21.16.1 for a result dealing with higher cohomology groups of colimits of abelian sheaves.

In Cohomology on Sites, Lemma 21.16.6 we generalize this result to a system of sheaves on an inverse system of sites. Here is the corresponding notion in the case of a system of étale sheaves living on an inverse system of schemes.

Definition 59.51.1. Let $I$ be a preordered set. Let $(X_ i, f_{i'i})$ be an inverse system of schemes over $I$. A *system $(\mathcal{F}_ i, \varphi _{i'i})$ of sheaves on $(X_ i, f_{i'i})$* is given by

a sheaf $\mathcal{F}_ i$ on $(X_ i)_{\acute{e}tale}$ for all $i \in I$,

for $i' \geq i$ a map $\varphi _{i'i} : f_{i'i}^{-1}\mathcal{F}_ i \to \mathcal{F}_{i'}$ of sheaves on $(X_{i'})_{\acute{e}tale}$

such that $\varphi _{i''i} = \varphi _{i''i'} \circ f_{i'' i'}^{-1}\varphi _{i'i}$ whenever $i'' \geq i' \geq i$.

In the situation of Definition 59.51.1, assume $I$ is a directed set and the transition morphisms $f_{i'i}$ affine. Let $X = \mathop{\mathrm{lim}}\nolimits X_ i$ be the limit in the category of schemes, see Limits, Section 32.2. Denote $f_ i : X \to X_ i$ the projection morphisms and consider the maps

\[ f_ i^{-1}\mathcal{F}_ i = f_{i'}^{-1}f_{i'i}^{-1}\mathcal{F}_ i \xrightarrow {f_{i'}^{-1}\varphi _{i'i}} f_{i'}^{-1}\mathcal{F}_{i'} \]

This turns $f_ i^{-1}\mathcal{F}_ i$ into a system of sheaves on $X_{\acute{e}tale}$ over $I$ (it is a good exercise to check this). We often want to know whether there is an isomorphism

\[ H^ q_{\acute{e}tale}(X, \mathop{\mathrm{colim}}\nolimits f_ i^{-1}\mathcal{F}_ i) = \mathop{\mathrm{colim}}\nolimits H^ q_{\acute{e}tale}(X_ i, \mathcal{F}_ i) \]

It will turn out this is true if $X_ i$ is quasi-compact and quasi-separated for all $i$, see Theorem 59.51.3.

Lemma 59.51.2. Let $I$ be a directed set. Let $(X_ i, f_{i'i})$ be an inverse system of schemes over $I$ with affine transition morphisms. Let $X = \mathop{\mathrm{lim}}\nolimits _{i \in I} X_ i$. With notation as in Topologies, Lemma 34.4.12 we have

\[ X_{affine, {\acute{e}tale}} = \mathop{\mathrm{colim}}\nolimits (X_ i)_{affine, {\acute{e}tale}} \]

as sites in the sense of Sites, Lemma 7.18.2.

**Proof.**
Let us first prove this when $X$ and $X_ i$ are quasi-compact and quasi-separated for all $i$ (as this is true in all cases of interest). In this case any object of $X_{affine, {\acute{e}tale}}$, resp. $(X_ i)_{affine, {\acute{e}tale}}$ is of finite presentation over $X$. Moreover, the category of schemes of finite presentation over $X$ is the colimit of the categories of schemes of finite presentation over $X_ i$, see Limits, Lemma 32.10.1. The same holds for the subcategories of affine objects étale over $X$ by Limits, Lemmas 32.4.13 and 32.8.10. Finally, if $\{ U^ j \to U\} $ is a covering of $X_{affine, {\acute{e}tale}}$ and if $U_ i^ j \to U_ i$ is morphism of affine schemes étale over $X_ i$ whose base change to $X$ is $U^ j \to U$, then we see that the base change of $\{ U^ j_ i \to U_ i\} $ to some $X_{i'}$ is a covering for $i'$ large enough, see Limits, Lemma 32.8.15.

In the general case, let $U$ be an object of $X_{affine, {\acute{e}tale}}$. Then $U \to X$ is étale and separated (as $U$ is separated) but in general not quasi-compact. Still, $U \to X$ is locally of finite presentation and hence by Limits, Lemma 32.10.5 there exists an $i$, a quasi-compact and quasi-separated scheme $U_ i$, and a morphism $U_ i \to X_ i$ which is locally of finite presentation whose base change to $X$ is $U \to X$. Then $U = \mathop{\mathrm{lim}}\nolimits _{i' \geq i} U_{i'}$ where $U_{i'} = U_ i \times _{X_ i} X_{i'}$. After increasing $i$ we may assume $U_ i$ is affine, see Limits, Lemma 32.4.13. To check that $U_ i \to X_ i$ is étale for $i$ sufficiently large, choose a finite affine open covering $U_ i = U_{i, 1} \cup \ldots \cup U_{i, m}$ such that $U_{i, j} \to U_ i \to X_ i$ maps into an affine open $W_{i, j} \subset X_ i$. Then we can apply Limits, Lemma 32.8.10 to see that $U_{i, j} \to W_{i, j}$ is étale after possibly increasing $i$. In this way we see that the functor $\mathop{\mathrm{colim}}\nolimits (X_ i)_{affine, {\acute{e}tale}} \to X_{affine, {\acute{e}tale}}$ is essentially surjective. Fully faithfulness follows directly from the already used Limits, Lemma 32.10.5. The statement on coverings is proved in exactly the same manner as done in the first paragraph of the proof.
$\square$

Using the above we get the following general result on colimits and cohomology.

Theorem 59.51.3. Let $X = \mathop{\mathrm{lim}}\nolimits _{i \in I} X_ i$ be a limit of a directed system of schemes with affine transition morphisms $f_{i'i} : X_{i'} \to X_ i$. We assume that $X_ i$ is quasi-compact and quasi-separated for all $i \in I$. Let $(\mathcal{F}_ i, \varphi _{i'i})$ be a system of abelian sheaves on $(X_ i, f_{i'i})$. Denote $f_ i : X \to X_ i$ the projection and set $\mathcal{F} = \mathop{\mathrm{colim}}\nolimits f_ i^{-1}\mathcal{F}_ i$. Then

\[ \mathop{\mathrm{colim}}\nolimits _{i\in I} H_{\acute{e}tale}^ p(X_ i, \mathcal{F}_ i) = H_{\acute{e}tale}^ p(X, \mathcal{F}). \]

for all $p \geq 0$.

**Proof.**
By Topologies, Lemma 34.4.12 we can compute the cohomology of $\mathcal{F}$ on $X_{affine, {\acute{e}tale}}$. Thus the result by a combination of Lemma 59.51.2 and Cohomology on Sites, Lemma 21.16.6.
$\square$

The following two results are special cases of the theorem above.

Lemma 59.51.4. Let $X$ be a quasi-compact and quasi-separated scheme. Let $I$ be a directed set. Let $(\mathcal{F}_ i, \varphi _{ij})$ be a system of abelian sheaves on $X_{\acute{e}tale}$ over $I$. Then

\[ \mathop{\mathrm{colim}}\nolimits _{i\in I} H_{\acute{e}tale}^ p(X, \mathcal{F}_ i) = H_{\acute{e}tale}^ p(X, \mathop{\mathrm{colim}}\nolimits _{i\in I} \mathcal{F}_ i). \]

**Proof.**
This is a special case of Theorem 59.51.3. We also sketch a direct proof. We prove it for all $X$ at the same time, by induction on $p$.

For any quasi-compact and quasi-separated scheme $X$ and any étale covering $\mathcal{U}$ of $X$, show that there exists a refinement $\mathcal{V} = \{ V_ j \to X\} _{j\in J}$ with $J$ finite and each $V_ j$ quasi-compact and quasi-separated such that all $V_{j_0} \times _ X \ldots \times _ X V_{j_ p}$ are also quasi-compact and quasi-separated.

Using the previous step and the definition of colimits in the category of sheaves, show that the theorem holds for $p = 0$ and all $X$.

Using the locality of cohomology (Lemma 59.22.3), the Čech-to-cohomology spectral sequence (Theorem 59.19.2) and the fact that the induction hypothesis applies to all $V_{j_0} \times _ X \ldots \times _ X V_{j_ p}$ in the above situation, prove the induction step $p \to p + 1$.

$\square$

Lemma 59.51.5. Let $A$ be a ring, $(I, \leq )$ a directed set and $(B_ i, \varphi _{ij})$ a system of $A$-algebras. Set $B = \mathop{\mathrm{colim}}\nolimits _{i\in I} B_ i$. Let $X \to \mathop{\mathrm{Spec}}(A)$ be a quasi-compact and quasi-separated morphism of schemes. Let $\mathcal{F}$ an abelian sheaf on $X_{\acute{e}tale}$. Denote $Y_ i = X \times _{\mathop{\mathrm{Spec}}(A)} \mathop{\mathrm{Spec}}(B_ i)$, $Y = X \times _{\mathop{\mathrm{Spec}}(A)} \mathop{\mathrm{Spec}}(B)$, $\mathcal{G}_ i = (Y_ i \to X)^{-1}\mathcal{F}$ and $\mathcal{G} = (Y \to X)^{-1}\mathcal{F}$. Then

\[ H_{\acute{e}tale}^ p(Y, \mathcal{G}) = \mathop{\mathrm{colim}}\nolimits _{i\in I} H_{\acute{e}tale}^ p (Y_ i, \mathcal{G}_ i). \]

**Proof.**
This is a special case of Theorem 59.51.3. We also outline a direct proof as follows.

Given $V \to Y$ étale with $V$ quasi-compact and quasi-separated, there exist $i\in I$ and $V_ i \to Y_ i$ such that $V = V_ i \times _{Y_ i} Y$. If all the schemes considered were affine, this would correspond to the following algebra statement: if $B = \mathop{\mathrm{colim}}\nolimits B_ i$ and $B \to C$ is étale, then there exist $i \in I$ and $B_ i \to C_ i$ étale such that $C \cong B \otimes _{B_ i} C_ i$. This is proved in Algebra, Lemma 10.143.3.

In the situation of (1) show that $\mathcal{G}(V) = \mathop{\mathrm{colim}}\nolimits _{i' \geq i} \mathcal{G}_{i'}(V_{i'})$ where $V_{i'}$ is the base change of $V_ i$ to $Y_{i'}$.

By (1), we see that for every étale covering $\mathcal{V} = \{ V_ j \to Y\} _{j\in J}$ with $J$ finite and the $V_ j$s quasi-compact and quasi-separated, there exists $i \in I$ and an étale covering $\mathcal{V}_ i = \{ V_{ij} \to Y_ i\} _{j \in J}$ such that $\mathcal{V} \cong \mathcal{V}_ i \times _{Y_ i} Y$.

Show that (2) and (3) imply

\[ \check H^*(\mathcal{V}, \mathcal{G})= \mathop{\mathrm{colim}}\nolimits _{i\in I} \check H^*(\mathcal{V}_ i, \mathcal{G}_ i). \]

Cleverly use the Čech-to-cohomology spectral sequence (Theorem 59.19.2).

$\square$

Lemma 59.51.6. Let $f: X\to Y$ be a morphism of schemes and $\mathcal{F}\in \textit{Ab}(X_{\acute{e}tale})$. Then $R^ pf_*\mathcal{F}$ is the sheaf associated to the presheaf

\[ (V \to Y) \longmapsto H_{\acute{e}tale}^ p(X \times _ Y V, \mathcal{F}|_{X \times _ Y V}). \]

More generally, for $K \in D(X_{\acute{e}tale})$ we have that $R^ pf_*K$ is the sheaf associated to the presheaf

\[ (V \to Y) \longmapsto H_{\acute{e}tale}^ p(X \times _ Y V, K|_{X \times _ Y V}). \]

**Proof.**
This lemma is valid for topological spaces, and the proof in this case is the same. See Cohomology on Sites, Lemma 21.7.4 for the case of a sheaf and see Cohomology on Sites, Lemma 21.20.3 for the case of a complex of abelian sheaves.
$\square$

Lemma 59.51.7. Let $S$ be a scheme. Let $X = \mathop{\mathrm{lim}}\nolimits _{i \in I} X_ i$ be a limit of a directed system of schemes over $S$ with affine transition morphisms $f_{i'i} : X_{i'} \to X_ i$. We assume the structure morphisms $g_ i : X_ i \to S$ and $g : X \to S$ are quasi-compact and quasi-separated. Let $(\mathcal{F}_ i, \varphi _{i'i})$ be a system of abelian sheaves on $(X_ i, f_{i'i})$. Denote $f_ i : X \to X_ i$ the projection and set $\mathcal{F} = \mathop{\mathrm{colim}}\nolimits f_ i^{-1}\mathcal{F}_ i$. Then

\[ \mathop{\mathrm{colim}}\nolimits _{i\in I} R^ p g_{i, *} \mathcal{F}_ i = R^ p g_* \mathcal{F} \]

for all $p \geq 0$.

**Proof.**
Recall (Lemma 59.51.6) that $R^ p g_{i, *} \mathcal{F}_ i$ is the sheaf associated to the presheaf $U \mapsto H^ p_{\acute{e}tale}(U \times _ S X_ i, \mathcal{F}_ i)$ and similarly for $R^ pg_*\mathcal{F}$. Moreover, the colimit of a system of sheaves is the sheafification of the colimit on the level of presheaves. Note that every object of $S_{\acute{e}tale}$ has a covering by quasi-compact and quasi-separated objects (e.g., affine schemes). Moreover, if $U$ is a quasi-compact and quasi-separated object, then we have

\[ \mathop{\mathrm{colim}}\nolimits H^ p_{\acute{e}tale}(U \times _ S X_ i, \mathcal{F}_ i) = H^ p_{\acute{e}tale}(U \times _ S X, \mathcal{F}) \]

by Theorem 59.51.3. Thus the lemma follows.
$\square$

Lemma 59.51.8. Let $I$ be a directed set. Let $g_ i : X_ i \to S_ i$ be an inverse system of morphisms of schemes over $I$. Assume $g_ i$ is quasi-compact and quasi-separated and for $i' \geq i$ the transition morphisms $f_{i'i} : X_{i'} \to X_ i$ and $h_{i'i} : S_{i'} \to S_ i$ are affine. Let $g : X \to S$ be the limit of the morphisms $g_ i$, see Limits, Section 32.2. Denote $f_ i : X \to X_ i$ and $h_ i : S \to S_ i$ the projections. Let $(\mathcal{F}_ i, \varphi _{i'i})$ be a system of sheaves on $(X_ i, f_{i'i})$. Set $\mathcal{F} = \mathop{\mathrm{colim}}\nolimits f_ i^{-1}\mathcal{F}_ i$. Then

\[ R^ p g_* \mathcal{F} = \mathop{\mathrm{colim}}\nolimits _{i \in I} h_ i^{-1}R^ p g_{i, *} \mathcal{F}_ i \]

for all $p \geq 0$.

**Proof.**
How is the map of the lemma constructed? For $i' \geq i$ we have a commutative diagram

\[ \xymatrix{ X \ar[r]_{f_{i'}} \ar[d]_ g & X_{i'} \ar[r]_{f_{i'i}} \ar[d]_{g_{i'}} & X_ i \ar[d]^{g_ i} \\ S \ar[r]^{h_{i'}} & S_{i'} \ar[r]^{h_{i'i}} & S_ i } \]

If we combine the base change map $h_{i'i}^{-1}Rg_{i, *}\mathcal{F}_ i \to Rg_{i', *}f_{i'i}^{-1}\mathcal{F}_ i$ (Cohomology on Sites, Lemma 21.15.1 or Remark 21.19.3) with the map $Rg_{i', *}\varphi _{i'i}$, then we obtain $\psi _{i'i} : h_{i' i}^{-1} R^ p g_{i, *} \mathcal{F}_ i \to R^ pg_{i', *} \mathcal{F}_{i'}$. Similarly, using the left square in the diagram we obtain maps $\psi _ i : h_ i^{-1}R^ pg_{i, *}\mathcal{F}_ i \to R^ pg_*\mathcal{F}$. The maps $h_{i'}^{-1}\psi _{i'i}$ and $\psi _ i$ are the maps used in the statement of the lemma. For this to make sense, we have to check that $\psi _{i''i} = \psi _{i''i'} \circ h_{i''i'}^{-1}\psi _{i'i}$ and $\psi _{i'} \circ h_{i'}^{-1}\psi _{i'i} = \psi _ i$; this follows from Cohomology on Sites, Remark 21.19.5.

Proof of the equality. First proof using dimension shifting^{1}. For any $U$ affine and étale over $X$ by Theorem 59.51.3 we have

\[ g_*\mathcal{F}(U) = H^0(U \times _ S X, \mathcal{F}) = \mathop{\mathrm{colim}}\nolimits H^0(U_ i \times _{S_ i} X_ i, \mathcal{F}_ i) = \mathop{\mathrm{colim}}\nolimits g_{i, *}\mathcal{F}_ i(U_ i) \]

where the colimit is over $i$ large enough such that there exists an $i$ and $U_ i$ affine étale over $S_ i$ whose base change is $U$ over $S$ (see Lemma 59.51.2). The right hand side is equal to $(\mathop{\mathrm{colim}}\nolimits h_ i^{-1}g_{i, *}\mathcal{F}_ i)(U)$ by Sites, Lemma 7.18.4. This proves the lemma for $p = 0$. If $(\mathcal{G}_ i, \varphi _{i'i})$ is a system with $\mathcal{G} = \mathop{\mathrm{colim}}\nolimits f_ i^{-1}\mathcal{G}_ i$ such that $\mathcal{G}_ i$ is an injective abelian sheaf on $X_ i$ for all $i$, then for any $U$ affine and étale over $X$ by Theorem 59.51.3 we have

\[ H^ p(U \times _ S X, \mathcal{G}) = \mathop{\mathrm{colim}}\nolimits H^ p(U_ i \times _{S_ i} X_ i, \mathcal{G}_ i) = 0 \]

for $p > 0$ (same colimit as before). Hence $R^ pg_*\mathcal{G} = 0$ and we get the result for $p > 0$ for such a system. In general we may choose a short exact sequence of systems

\[ 0 \to (\mathcal{F}_ i, \varphi _{i'i}) \to (\mathcal{G}_ i, \varphi _{i'i}) \to (\mathcal{Q}_ i, \varphi _{i'i}) \to 0 \]

where $(\mathcal{G}_ i, \varphi _{i'i})$ is as above, see Cohomology on Sites, Lemma 21.16.5. By induction the lemma holds for $p - 1$ and by the above we have vanishing for $p$ and $(\mathcal{G}_ i, \varphi _{i'i})$. Hence the result for $p$ and $(\mathcal{F}_ i, \varphi _{i'i})$ by the long exact sequence of cohomology.

Second proof. Recall that $S_{affine, {\acute{e}tale}} = \mathop{\mathrm{colim}}\nolimits (S_ i)_{affine, {\acute{e}tale}}$, see Lemma 59.51.2. Thus if $U$ is an object of $S_{affine, {\acute{e}tale}}$, then we can write $U = U_ i \times _{S_ i} S$ for some $i$ and some $U_ i$ in $(S_ i)_{affine, {\acute{e}tale}}$ and

\[ (\mathop{\mathrm{colim}}\nolimits _{i \in I} h_ i^{-1}R^ p g_{i, *} \mathcal{F}_ i)(U) = \mathop{\mathrm{colim}}\nolimits _{i' \geq i} (R^ p g_{i', *}\mathcal{F}_{i'})(U_ i \times _{S_ i} S_{i'}) \]

by Sites, Lemma 7.18.4 and the construction of the transition maps in the system described above. Since $R^ pg_{i', *}\mathcal{F}_{i'}$ is the sheaf associated to the presheaf $U_{i'} \mapsto H^ p(U_{i'} \times _{S_{i'}} X_{i'}, \mathcal{F}_{i'})$ and since $R^ pg_*\mathcal{F}$ is the sheaf associated to the presheaf $U \mapsto H^ p(U \times _ S X, \mathcal{F})$ (Lemma 59.51.6) we obtain a canonical commutative diagram

\[ \xymatrix{ \mathop{\mathrm{colim}}\nolimits _{i' \geq i} H^ p(U_ i \times _{S_ i} X_{i'}, \mathcal{F}_{i'}) \ar[r] \ar[d] & \mathop{\mathrm{colim}}\nolimits _{i' \geq i} (R^ p g_{i', *}\mathcal{F}_{i'})(U_ i \times _{S_ i} S_{i'}) \ar[d] \\ H^ p(U \times _ S X, \mathcal{F}) \ar[r] & R^ pg_*\mathcal{F}(U) } \]

Observe that the left hand vertical arrow is an isomorphism by Theorem 59.51.3. We're trying to show that the right hand vertical arrow is an isomorphism. However, we already know that the source and target of this arrow are sheaves on $S_{affine, {\acute{e}tale}}$. Hence it suffices to show: (1) an element in the target, locally comes from an element in the source and (2) an element in the source which maps to zero in the target locally vanishes. Part (1) follows immediately from the above and the fact that the lower horizontal arrow comes from a map of presheaves which becomes an isomorphism after sheafification. For part (2), say $\xi \in \mathop{\mathrm{colim}}\nolimits _{i' \geq i} (R^ p g_{i', *}\mathcal{F}_{i'})(U_ i \times _{S_ i} S_{i'})$ is in the kernel. Choose an $i' \geq i$ and $\xi _{i'} \in (R^ p g_{i', *}\mathcal{F}_{i'})(U_ i \times _{S_ i} S_{i'})$ representing $\xi $. Choose a standard étale covering $\{ U_{i', k} \to U_ i \times _{S_ i} S_{i'}\} _{k = 1, \ldots , m}$ such that $\xi _{i'}|_{U_{i', k}}$ comes from $\xi _{i', k} \in H^ p(U_{i', k} \times _{S_{i'}} X_{i'}, \mathcal{F}_{i'})$. Since it is enough to prove that $\xi $ dies locally, we may replace $U$ by the members of the étale covering $\{ U_{i', k} \times _{S_{i'}} S \to U = U_ i \times _{S_ i} S\} $. After this replacement we see that $\xi $ is the image of an element $\xi '$ of the group $\mathop{\mathrm{colim}}\nolimits _{i' \geq i} H^ p(U_ i \times _{S_ i} X_{i'}, \mathcal{F}_{i'})$ in the diagram above. Since $\xi '$ maps to zero in $R^ pg_*\mathcal{F}(U)$ we can do another replacement and assume that $\xi '$ maps to zero in $H^ p(U \times _ S X, \mathcal{F})$. However, since the left vertical arrow is an isomorphism we then conclude $\xi ' = 0$ hence $\xi = 0$ as desired.
$\square$

Lemma 59.51.9. Let $X = \mathop{\mathrm{lim}}\nolimits _{i \in I} X_ i$ be a directed limit of schemes with affine transition morphisms $f_{i'i}$ and projection morphisms $f_ i : X \to X_ i$. Let $\mathcal{F}$ be a sheaf on $X_{\acute{e}tale}$. Then

there are canonical maps $\varphi _{i'i} : f_{i'i}^{-1}f_{i, *}\mathcal{F} \to f_{i', *}\mathcal{F}$ such that $(f_{i, *}\mathcal{F}, \varphi _{i'i})$ is a system of sheaves on $(X_ i, f_{i'i})$ as in Definition 59.51.1, and

$\mathcal{F} = \mathop{\mathrm{colim}}\nolimits f_ i^{-1}f_{i, *}\mathcal{F}$.

**Proof.**
Via Topologies, Lemma 34.4.12 and Lemma 59.51.2 this is a special case of Sites, Lemma 7.18.5.
$\square$

Lemma 59.51.10. Let $I$ be a directed set. Let $g_ i : X_ i \to S_ i$ be an inverse system of morphisms of schemes over $I$. Assume $g_ i$ is quasi-compact and quasi-separated and for $i' \geq i$ the transition morphisms $X_{i'} \to X_ i$ and $S_{i'} \to S_ i$ are affine. Let $g : X \to S$ be the limit of the morphisms $g_ i$, see Limits, Section 32.2. Denote $f_ i : X \to X_ i$ and $h_ i : S \to S_ i$ the projections. Let $\mathcal{F}$ be an abelian sheaf on $X$. Then we have

\[ R^ pg_*\mathcal{F} = \mathop{\mathrm{colim}}\nolimits _{i \in I} h_ i^{-1}R^ pg_{i, *}(f_{i, *}\mathcal{F}) \]

**Proof.**
Formal combination of Lemmas 59.51.8 and 59.51.9.
$\square$

## Comments (0)