No label defined (Q4941248)

Let \(A\) be a commutative unitary ring, let \(F\) an \(A\)-module, and let \[ 0 \longrightarrow F @>\varepsilon>> K^0@>d^0>> K^1@>d^1>>\cdots \] be a resolution of \(F\). The resolution \(K^\cdot\) is said to be null-homotopic if there exists a family \(h^\cdot = (h^n)_n\) of morphisms \(h^n \colon K^n \longrightarrow K^{n-1}\) such that \(h^{n+1} d^n + d^{n-1} h^n = \text{id}_{K^n}\). If the homotopy \(h^\cdot\) also satisfies \(h^{n-1} h^n = 0\), then \(h^\cdot\) is said to be normal, and the pair \((K^\cdot, h^\cdot)\) is called a normal homotopic complex. The null-homotopic resolutions of \(F\) together with the sets of morphisms defined in the obvious way form a category, and if \(F\) admits a normal homotopic resolution \((L^\cdot, h^\cdot)\), then \(L^\cdot\) is an initial object in that category. Let now \((X, {\mathcal O}_X)\) be a ringed space, and let \(\mathcal F\) be an \({\mathcal O}_X\)-module. A resolution \({\mathcal L}^\cdot\) of \(\mathcal F\) is said to be homotopic if it is null-homotopic stalk-wise. The homotopic resolutions of \(\mathcal F\) together with the obvious morphisms form again a category, and the canonical Godement resolution of \(\mathcal F\) is a final object in that category. In the case of a smooth manifold \(X\), this approach allows the authors to construct explicitly a natural quasi-isomorphism from the Dolbeault resolution to the de Rham resolution of \({\mathcal O}_X\).