Lemma 20.10.4. Let $X$ be a ringed space. Let $\mathcal{U} : U = \bigcup _{i \in I} U_ i$ be an open covering. Let $\mathcal{O}_\mathcal {U} \subset \mathcal{O}_ X$ be the image presheaf of the map $\bigoplus j_{p!}\mathcal{O}_{U_ i} \to \mathcal{O}_ X$. The chain complex $K(\mathcal{U})_\bullet $ of presheaves of Lemma 20.10.3 above has homology presheaves
Proof. Consider the extended complex $K^{ext}_\bullet $ one gets by putting $\mathcal{O}_\mathcal {U}$ in degree $-1$ with the obvious map $K(\mathcal{U})_0 = \bigoplus _{i_0} (j_{i_0})_{p!}\mathcal{O}_{U_{i_0}} \to \mathcal{O}_\mathcal {U}$. It suffices to show that taking sections of this extended complex over any open $W \subset X$ leads to an acyclic complex. In fact, we claim that for every $W \subset X$ the complex $K^{ext}_\bullet (W)$ is homotopy equivalent to the zero complex. Write $I = I_1 \amalg I_2$ where $W \subset U_ i$ if and only if $i \in I_1$.
If $I_1 = \emptyset $, then the complex $K^{ext}_\bullet (W) = 0$ so there is nothing to prove.
If $I_1 \not= \emptyset $, then $\mathcal{O}_\mathcal {U}(W) = \mathcal{O}_ X(W)$ and
This is true because of the simple description of the presheaves $(j_{i_0 \ldots i_ p})_{p!}\mathcal{O}_{U_{i_0 \ldots i_ p}}$. Moreover, the differential of the complex $K^{ext}_\bullet (W)$ is given by
The sum is finite as the element $s$ has finite support. Fix an element $i_{\text{fix}} \in I_1$. Define a map
by the rule
We will use the shorthand $h(s)_{i_0 \ldots i_{p + 1}} = (i_0 = i_{\text{fix}}) s_{i_1 \ldots i_ p}$ for this. Then we compute
which is equal to $s_{i_0 \ldots i_ p}$ as desired. $\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 (2)
Comment #5859 by Alex Scheffelin on
Comment #6071 by Johan on