Lemma 83.10.1. In Situation 83.3.3 let $\mathcal{O}$ be a sheaf of rings on $\mathcal{C}_{total}$. There is a complex

$\ldots \to g_{2!}\mathcal{O}_2 \to g_{1!}\mathcal{O}_1 \to g_{0!}\mathcal{O}_0$

of $\mathcal{O}$-modules which forms a resolution of $\mathcal{O}$. Here $g_{n!}$ is as in Lemma 83.6.1.

Proof. We will use the description of $g_{n!}$ given in Lemma 83.3.5. As maps of the complex we take $\sum (-1)^ i d^ n_ i$ where $d^ n_ i : g_{n!}\mathcal{O}_ n \to g_{n - 1!}\mathcal{O}_{n - 1}$ is the adjoint to the map $\mathcal{O}_ n \to \bigoplus _{[n - 1] \to [n]} \mathcal{O}_ n = g_ n^*g_{n - 1!}\mathcal{O}_{n - 1}$ corresponding to the factor labeled with $\delta ^ n_ i : [n - 1] \to [n]$. Then $g_ m^{-1}$ applied to the complex gives the complex

$\ldots \to \bigoplus \nolimits _{\alpha \in \mathop{\mathrm{Mor}}\nolimits _\Delta (, [m])]} \mathcal{O}_ m \to \bigoplus \nolimits _{\alpha \in \mathop{\mathrm{Mor}}\nolimits _\Delta (, [m])]} \mathcal{O}_ m \to \bigoplus \nolimits _{\alpha \in \mathop{\mathrm{Mor}}\nolimits _\Delta (, [m])]} \mathcal{O}_ m$

on $\mathcal{C}_ m$. In other words, this is the complex associated to the free $\mathcal{O}_ m$-module on the simplicial set $\Delta [m]$, see Simplicial, Example 14.11.2. Since $\Delta [m]$ is homotopy equivalent to $\Delta $, see Simplicial, Example 14.26.7, and since “taking free abelian sheaf on” is a functor, we see that the complex above is homotopy equivalent to the free abelian sheaf on $\Delta $ (Simplicial, Remark 14.26.4 and Lemma 14.27.2). This complex is acyclic in positive degrees and equal to $\mathcal{O}_ m$ in degree $0$. $\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.

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