Higher \(K\)-theory of Koszul cubes (Q360560): Difference between revisions
From MaRDI portal
Created a new Item |
Changed an Item |
||
Property / review text | |||
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\). | |||
Property / review text: 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\). / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Piotr Krasoń / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 13D02 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 14C35 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 19D50 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6202075 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Koszul cubes | |||
Property / zbMATH Keywords: Koszul cubes / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
higher K-theory | |||
Property / zbMATH Keywords: higher K-theory / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
topological filtration | |||
Property / zbMATH Keywords: topological filtration / rank | |||
Normal rank |
Revision as of 11:30, 28 June 2023
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Higher \(K\)-theory of Koszul cubes |
scientific article |
Statements
Higher \(K\)-theory of Koszul cubes (English)
0 references
27 August 2013
0 references
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\).
0 references
Koszul cubes
0 references
higher K-theory
0 references
topological filtration
0 references