Lemma 85.11.1. With notation as above. The morphism $a : (\mathop{\mathit{Sh}}\nolimits (\mathcal{C}_{total}), \mathcal{O}) \to (\mathop{\mathit{Sh}}\nolimits (\mathcal{D}), \mathcal{O}_\mathcal {D})$ is flat if and only if $a_ n : (\mathop{\mathit{Sh}}\nolimits (\mathcal{C}_ n), \mathcal{O}_ n) \to (\mathop{\mathit{Sh}}\nolimits (\mathcal{D}), \mathcal{O}_\mathcal {D})$ is flat for $n \geq 0$.

## 85.11 Cohomology and augmentations of ringed simplicial sites

This section is the analogue of Section 85.9 for sheaves of modules.

Consider a simplicial site $\mathcal{C}$ as in Situation 85.3.3. Let $a_0$ be an augmentation towards a site $\mathcal{D}$ as in Remark 85.4.1. Let $\mathcal{O}$ be a sheaf of rings on $\mathcal{C}_{total}$. Let $\mathcal{O}_\mathcal {D}$ be a sheaf of rings on $\mathcal{D}$. Suppose we are given a morphism

where $a$ is as in Lemma 85.4.2. Consequently, we obtain a morphism of ringed topoi

We will think of $g_ n : (\mathop{\mathit{Sh}}\nolimits (\mathcal{C}_ n), \mathcal{O}_ n) \to (\mathop{\mathit{Sh}}\nolimits (\mathcal{C}_{total}), \mathcal{O})$ as a morphism of ringed topoi as in Lemma 85.6.1, then taking the composition $a_ n = a \circ g_ n$ (Lemma 85.4.2) as morphisms of ringed topoi we obtain

Using the transition maps $f_\varphi ^{-1}\mathcal{O}_ m \to \mathcal{O}_ n$ we obtain morphisms of ringed topoi

such that $a_ m \circ f_\varphi = a_ n$ as morphisms of ringed topoi for all $\varphi : [m] \to [n]$.

**Proof.**
Since $g_ n : (\mathop{\mathit{Sh}}\nolimits (\mathcal{C}_ n), \mathcal{O}_ n) \to (\mathop{\mathit{Sh}}\nolimits (\mathcal{C}_{total}), \mathcal{O})$ is flat, we see that if $a$ is flat, then $a_ n = a \circ g_ n$ is flat as a composition. Conversely, suppose that $a_ n$ is flat for all $n$. We have to check that $\mathcal{O}$ is flat as a sheaf of $a^{-1}\mathcal{O}_\mathcal {D}$-modules. Let $\mathcal{F} \to \mathcal{G}$ be an injective map of $a^{-1}\mathcal{O}_\mathcal {D}$-modules. We have to show that

is injective. We can check this on $\mathcal{C}_ n$, i.e., after applying $g_ n^{-1}$. Since $g_ n^* = g_ n^{-1}$ because $g_ n^{-1}\mathcal{O} = \mathcal{O}_ n$ we obtain

which is injective because $g_ n^{-1}a^{-1}\mathcal{O}_\mathcal {D} = a_ n^{-1}\mathcal{O}_\mathcal {D}$ and we assume $a_ n$ was flat. $\square$

Lemma 85.11.2. With notation as above. For a $\mathcal{O}_\mathcal {D}$-module $\mathcal{G}$ there is an exact complex

of sheaves of $\mathcal{O}$-modules on $\mathcal{C}_{total}$. Here $g_{n!}$ is as in Lemma 85.6.1.

**Proof.**
Observe that $a^*\mathcal{G}$ is the $\mathcal{O}$-module on $\mathcal{C}_{total}$ whose restriction to $\mathcal{C}_ m$ is the $\mathcal{O}_ m$-module $a_ m^*\mathcal{G}$. The description of the functors $g_{n!}$ on modules in Lemma 85.6.1 shows that $g_{n!}(a_ n^*\mathcal{G})$ is the $\mathcal{O}$-module on $\mathcal{C}_{total}$ whose restriction to $\mathcal{C}_ m$ is the $\mathcal{O}_ m$-module

The rest of the proof is exactly the same as the proof of Lemma 85.9.1, replacing $a_ m^{-1}\mathcal{G}$ by $a_ m^*\mathcal{G}$. $\square$

Lemma 85.11.3. With notation as above. For an $\mathcal{O}$-module $\mathcal{F}$ on $\mathcal{C}_{total}$ there is a canonical complex

of $\mathcal{O}_\mathcal {D}$-modules which is exact in degrees $-1, 0$. If $\mathcal{F}$ is an injective $\mathcal{O}$-module, then the complex is exact in all degrees and remains exact on applying the functor $\mathop{\mathrm{Hom}}\nolimits _{\mathcal{O}_\mathcal {D}}(\mathcal{G}, -)$ for any $\mathcal{O}_\mathcal {D}$-module $\mathcal{G}$.

**Proof.**
To construct the complex, by the Yoneda lemma, it suffices for any $\mathcal{O}_\mathcal {D}$-modules $\mathcal{G}$ on $\mathcal{D}$ to construct a complex

functorially in $\mathcal{G}$. To do this apply $\mathop{\mathrm{Hom}}\nolimits _\mathcal {O}(-, \mathcal{F})$ to the exact complex of Lemma 85.11.2 and use adjointness of pullback and pushforward. The exactness properties in degrees $-1, 0$ follow from the construction as $\mathop{\mathrm{Hom}}\nolimits _\mathcal {O}(-, \mathcal{F})$ is left exact. If $\mathcal{F}$ is an injective $\mathcal{O}$-module, then the complex is exact because $\mathop{\mathrm{Hom}}\nolimits _\mathcal {O}(-, \mathcal{F})$ is exact. $\square$

Lemma 85.11.4. With notation as above for any $K$ in $D^+(\mathcal{O})$ there is a spectral sequence $(E_ r, d_ r)_{r \geq 0}$ in $\textit{Mod}(\mathcal{O}_\mathcal {D})$ with

converging to $R^{p + q}a_*K$. This spectral sequence is functorial in $K$.

**Proof.**
Let $\mathcal{I}^\bullet $ be a bounded below complex of injective $\mathcal{O}$-modules representing $K$. Consider the double complex with terms

where the horizontal arrows come from Lemma 85.11.3 and the vertical arrows from the differentials of the complex $\mathcal{I}^\bullet $. The lemma says rows of the double complex are exact in positive degrees and evaluate to $a_*\mathcal{I}^ q$ in degree $0$. Thus the total complex associated to the double complex computes $Ra_*K$ by Homology, Lemma 12.25.4. On the other hand, since restriction to $\mathcal{C}_ p$ is exact (Lemma 85.3.5) the complex $\mathcal{I}_ p^\bullet $ represents $K_ p$ in $D(\mathcal{C}_ p)$. The sheaves $\mathcal{I}_ p^ q$ are totally acyclic on $\mathcal{C}_ p$ (Lemma 85.6.2). Hence the cohomology of the columns are the sheaves $R^ qa_{p, *}K_ p$ by Leray's acyclicity lemma (Derived Categories, Lemma 13.16.7) and Cohomology on Sites, Lemma 21.14.3. We conclude by applying Homology, Lemma 12.25.3. $\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).

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.

## Comments (2)

Comment #8762 by ZL on

Comment #9318 by Stacks project on