Lemma 36.9.2. In Situation 36.9.1. Let $M$ be an $A$-module and denote $\mathcal{F}$ the associated $\mathcal{O}_ X$-module. Then there is a canonical isomorphism of complexes
functorial in $M$.
Lemma 36.9.2. In Situation 36.9.1. Let $M$ be an $A$-module and denote $\mathcal{F}$ the associated $\mathcal{O}_ X$-module. Then there is a canonical isomorphism of complexes
functorial in $M$.
Proof. Recall that the alternating Čech complex is the subcomplex of the usual Čech complex given by alternating cochains, see Cohomology, Section 20.23. As usual we view a $p$-cochain in $\check{\mathcal{C}}_{alt}^\bullet (\mathcal{U}, \mathcal{F})$ as an alternating function $s$ on $\{ 1, \ldots , r\} ^{p + 1}$ whose value $s_{i_0\ldots i_ p}$ at $(i_0, \ldots , i_ p)$ lies in $M_{f_{i_0}\ldots f_{i_ p}} = \mathcal{F}(U_{i_0\ldots i_ p})$. On the other hand, a $p$-cochain $t$ in $\mathop{\mathrm{Hom}}\nolimits _ A(I^\bullet (f_1^ e, \ldots , f_ r^ e), M)$ is given by a map $t : \wedge ^{p + 1}(A^{\oplus r}) \to M$. Write $[i] \in A^{\oplus r}$ for the $i$th basis element and write
Then we send $t$ as above to $s$ with
It is clear that $s$ so defined is an alternating cochain. The construction of this map is compatible with the transition maps of the system as the transition map
of the (36.9.0.1) sends $[i_0, \ldots , i_ p]$ to $f_{i_0}\ldots f_{i_ p}[i_0, \ldots , i_ p]$. It is clear from the description of the localizations $M_{f_{i_0}\ldots f_{i_ p}}$ in Algebra, Lemma 10.9.9 that these maps define an isomorphism of cochain modules in degree $p$ in the limit. To finish the proof we have to show that the map is compatible with differentials. To see this recall that
On the other hand, we have
The two formulas agree by inspection. $\square$
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 (1)
Comment #8621 by nkym on
There are also: