Higher \(K\)-theory of Koszul cubes (Q360560)

Let \(A\) be a commutative noetherian ring with unit, \(0\leq p \leq {\text{dim}} A\) a natural number and let \({\mathcal M}^{p}_{A}\) denote the category of finitely generated \(A\)-modules whose support is of codimension at least \(p\) in \(\mathrm{Spec}A\). The Generator Conjecture says that for any commutative regular local ring \(A\) and any \(0\leq p \leq {\text{dim}}A\), the Grothendieck group \(K_{0}({\mathcal M}^{p}_{A})\) is generated by cyclic modules \(A/(f_{1},\dots ,f_{p})\) where the sequence \(f_{1},\dots ,f_{p}\) is \(A\)-regular. The author introduces the concept of Koszul cubes and proves the comparison theorem between the \(K\)-theory of Koszul cubes and the \(K\)-theory of topological filtrations. In fact he constructs an exact functor which induces a homotopy equivalence on \(K\)-theory. As a consequence of the main theorem the author obtains the following version of Generator Conjecture: Let \({\mathcal M}^{p}_{A}(p)\) be the full subcategory of \({\mathcal M}^{p}_{A}\) consisting of \(A\)-modules of projective dimension not exceeding \(p\). Let \(A\) be a local Cohen-Macaulay ring. Then for any \(0\leq p \leq {\text{dim}}A\) the group \(K_{0}({\mathcal M}^{p}_{A}(p))\) is generated by modules of the form \(F/(\text{Im}{\psi}_{1},\dots ,\text{Im}{\psi}_{p}),\) where \(F\) is a finitely generated free \(A\)-module and \({\psi}_{k}:F\rightarrow F\) is an \(A\)-module homomorphism such that the sequence \({\det}{\psi}_{1}, \dots ,{\text{det}}{\psi}_{p}\) is an \(A\)-regular sequence for any basis of \(F\).