Reconstruction from Koszul homology and applications to module and derived categories
Let \(R\) be a commutative Noetherian ring, and let \(M\) be a finitely generated \(R\)-module. Let mod-\(R\) denote the category of finitely generated \(R\)-modules. The main result of this paper is to show that \(M\) can be built out of its Koszul homologies, and count the number of syzygies, extensions, and direct summands to do this. This adds to the varied literature on dimension in triangulated and abelian categories, initiated in [\textit{A. Bondal} and \textit{M. van den Bergh}, Mosc. Math. J. 3, No. 1, 1--36 (2003; Zbl 1135.18302)] and [\textit{R. Rouquier}, J. K-Theory, 1, No. 2, 193--256 (2008; Zbl 1165.18008)], to which Takahashi has contributed in past work. The main theorem yields further generation results in subcategories of mod-\(R\), when \(R\) is local. Let mod\(^\circ(R)\) be the full subcategory of locally free modules. Let \(R\) be a commutative Noetherian local ring with Krull dimension \(d\). Then Takahashi shows that every object in mod\(^\circ(R)\) is built out of a module of finite length by taking d extensions in mod-\(R\), up to finite direct sums, direct summands, and syzygies. There is a similar result for the singularity category. Another application, valid for any commutative Noetherian \(R\), classifies the resolving subcategories of mod-\(R\) generated by a Serre subcategory of mod-\(R\); these correspond to specialization-closed subsets of \(S(R)\), the prime ideals \(p\) of \(R\) such that \(R_p\) is not a field.
scientific article