Čech (co-) complexes as Koszul complexes and applications (Q2244703)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Čech (co-) complexes as Koszul complexes and applications |
scientific article |
Statements
Čech (co-) complexes as Koszul complexes and applications (English)
0 references
12 November 2021
0 references
Let \(R\) be a commutative ring with identity. Let \(\underline{x}:=x_1,\dots, x_r\in R\) be a weakly proregular sequence and \(\mathfrak{a}:=\langle \underline{x} \rangle\). This paper shows that for an \(R\)-complex \(X\), the local homology module \(\Lambda^{\mathfrak{a}}_i(X)\) and the local cohomology module \(\text{H}_{\mathfrak{a}}^i(X)\) are isomorphic, respectively, to \(i\)-th certain Koszul homology and Koszul cohomology. For a morphism \(\phi:X\rightarrow Y\) of complexes, let \(C(\phi)\) and \(F(\phi)\) denote, respectively, the cone of \(\phi\) and the fibre of \(\phi\). Let \(X\) be an \(R\)-complex, \(y\in R\) and \(\mu(x_1,X):X\overset{y}\rightarrow X\) be the morphism induced by the multiplication by \(y\). Then the descending and ascending Koszul complexes of \(X\) with respect to \(y\) is defied by \(K_\bullet(y,X):=C(\mu(y,X))\) and \(K^\bullet(y,X):=F(\mu(y,X))\). Inductively, for a sequence \(\underline{y}:=y_1,\dots, y_{r-1},y_r\) of elements of \(R\), the complexes \(K_\bullet(\underline{y},X)\) and \(K^\bullet(\underline{y},X)\) are defined by \[K_\bullet(\underline{y},X):=C \left(\mu \left(y_r,K_\bullet \left(y_1,\dots, y_{r-1},X \right) \right) \right)\] and \[K^\bullet(\underline{y},X):=F(\mu(y_r,K^\bullet(y_1, \dots, y_{r-1},X))).\] Let \(R[\underline{U}]\) be the polynomial ring over \(R\) in the variables \(U=U_1,\dots, U_r\) and let \(\underline{x}-\underline{U}\) denote the sequence \(x_1-U_1,\dots, x_r-U_r\in R[\underline{U}]\). Then the author establishes the \(R\)-isomorphisms \[\Lambda^{\mathfrak{a}}_i(X)\cong \text{H}_i(K_\bullet(\underline{x}-\underline{U},X[[\underline{U}]]))\] and \[\text{H}_{\mathfrak{a}}^i(X)\cong \text{H}^i(K^\bullet(\underline{x}-\underline{U},X[\underline{U}^{-1}]))\] for all \(i\in \mathbb{Z}\).
0 references
Čech complexes
0 references
completion
0 references
Koszul complexes
0 references
local cohomology
0 references