arXiv2020
Let $\check{C}_{\underline{x}}$ denote the \v{C}ech complex with respect to a system of elements $\underline{x} = x_1,\ldots,x_r$ of a commutative ring $R$. We construct a bounded complex $\mathcal{L}_{\underline{x}}$ of free $R$-modules and a quasi-isomorphism $\mathcal{L}_{\underline{x}} \stackrel{\sim}{\longrightarrow} \check{C}_{\underline{x}}$ and isomorphisms $\mathcal{L}_{\underline{x}} \otimes_R X \cong K^{\bullet}(\underline{x}-\underline{U}; X[\underline{U}^{-1}])$ and $\operatorname{Hom}_R(\mathcal{L}_{\underline{x}},X) \cong K_{\bullet}(\underline{x}-\underline{U};X[[\underline{U}]])$ for an $R$-complex $X$. Here $\underline{x} - \underline{U}$ denotes the sequence of elements $x_1-U_1,\ldots,x_r-U_r$ in the polynomial ring $R[\underline{U}] = R[U_1,\ldots,U_r]$ in the variables $\underline{U}= U_1,\ldots,U_r$ over $R$. Moreover $X[[\underline{U}]]$ denotes the formal power series complex of $X$ in $\underline{U}$ and $X[\underline{U}^{-1}]$ denotes the complex of inverse polynomials of $X$ in $\underline{U}$. Furthermore $K_{\bullet}(\underline{x}-\underline{U};X[[\underline{U}]])$ resp. $K^{\bullet}(\underline{x}-\underline{U}; X[\underline{U}^{-1}])$ denotes the corresponding Koszul complex resp. the corresponding Koszul co-complex. In particular, there is a bounded $R$-free resolution of $\check{C}_{\underline{x}}$ by a certain Koszul complex. This has various consequences e.g. in the case when $\underline{x}$ is a weakly pro-regular sequence. Under this additional assumption it follows that the local cohomology $H^i_{\underline{x} R}(X)$ and the left derived functors of the completion $\Lambda_i^{\underline{x} R}(X), i \in \mathbb{Z},$ is a certain Koszul cohomology and Koszul homology resp. This provides new approaches to the right derived functor of torsion and the left derived functor of completion with various applications.