Reconstruction from Koszul homology and applications to module and derived categories
type: Item
instance of: scholarly article
title: Reconstruction from Koszul homology and applications to module and derived categories
zbMATH Open document ID: 1309.18013
author: Ryo Takahashi
published in: Pacific Journal of Mathematics
publication date: 2014-07-31T00:00:00Z
full work available at URL: https://arxiv.org/abs/1210.1982
review text: 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.
Mathematics Subject Classification ID: 18E30
Mathematics Subject Classification ID: 18E35
Mathematics Subject Classification ID: 13C60
Mathematics Subject Classification ID: 13D09
zbMATH DE Number: 6323670
zbMATH Keywords: Koszul complex
zbMATH Keywords: Koszul homology
zbMATH Keywords: module category
zbMATH Keywords: derived category
zbMATH Keywords: singularity category
zbMATH Keywords: resolving subcategory
zbMATH Keywords: thick subcategory
MaRDI profile type: MaRDI publication profile
OpenAlex ID: W3098338265
arXiv ID: 1210.1982
DOI: 10.2140/PJM.2014.268.231
Recommended article: THE DIMENSION OF A SUBCATEGORY OF MODULES
Recommended article: The radius of a subcategory of modules
Recommended article: Dimensions of triangulated categories with respect to subcategories
Recommended article: The dimension of the category of maximal Cohen-Macaulay modules over Cohen-Macaulay local rings of dimension one
Recommended article: Finite homological dimension and a derived equivalence
Recommended article: Generators and Dimensions of Derived Categories of Modules
Recommended article: Generically Trivial Derived Categories
Recommended article: Modules in resolving subcategories which are free on the punctured spectrum
Recommended article: Annihilation of cohomology, generation of modules and finiteness of derived dimension
Recommended article: Building Modules From the Singular Locus
description: scientific article