Classification of dominant resolving subcategories by moderate functions
Let \(R\) be a commutative Noetherian ring and \(\operatorname{mod} R\) the category of finitely generated \(R\)-modules. A full subcategory of \(\operatorname{mod} R\) is said to be resolving if it contains \(R\) and is closed under direct summands, extensions, and syzygies. The class of resolving subcategories contains important subcategories. In the present paper, the author classifies resolving subcategories. He consider only dominant resolving subcategories not all resolving subcategories. The definition of dominant subcategories is difficult but an easy equivalent condition is given in this paper. That is, a subcategory \(\mathcal X\) of \(\operatorname{mod} R\) is said to be dominant if, for any prime ideal \(\mathfrak p\) of \(R\), there is an integer \(n \geq 0\) such that \(\mathcal X\) contains the \(n\)th syzygy of \(R/\mathfrak p\). The classification is given by a one-to-one correspodence between the set of dominant resolving subcategories of \(\operatorname{mod} R\) and the set of integer-valued function on \(\operatorname{Spec} R\) which satisfy some condition. Let \(\mathbb{F}(\operatorname{mod} R) = \{f \colon \operatorname{Spec} R \to \mathbb{N} \mid\) for any prime ideal \(\mathfrak p\), there is a finitely generated \(R\)-module \(E\) such that \(\operatorname{depth} R_{\mathfrak p} - \operatorname{depth} E_{\mathfrak p} = f(\mathfrak p)\) and \(\operatorname{depth} R_{\mathfrak q} - \operatorname{depth} E_{\mathfrak q} \leq f(\mathfrak q)\) for any prime ideal \(\mathfrak q\). Then there is a one-to-one correspondence between \(\{\)dominate resolving subcategories of \(\operatorname{mod} R\}\) and \(\mathbb F(\operatorname{mod} R)\). The set \(\mathbb F(\operatorname{mod} R)\) is complicated. The author computes it in two cases. A function \(f \colon \operatorname{Spec} R \to \mathbb{N}\) is said to be grade-consistent if \(f(\mathfrak p) \leq \operatorname{grade} \mathfrak p\) for all \(\mathfrak p\) and if \(f(\mathfrak p) \leq f(\mathfrak q)\) for all \(\mathfrak p\), \(\mathfrak q \in \operatorname{Spec} R\) with \(\mathfrak p \subset \mathfrak q\). We say that \(f\) is moderate if \(f(\mathfrak p) \leq \operatorname{depth} R_{\mathfrak p}\) and if \[ \operatorname{depth} R_{\mathfrak p} - f(\mathfrak p) \geq \operatorname{depth} R_{\mathfrak q} - f(\mathfrak q) - \operatorname{ht} \mathfrak q/\mathfrak p \] for all \(\mathfrak p\), \(\mathfrak q\) with \(\mathfrak p \subset \mathfrak q\). If \(R\) is Cohen-Macaulay, then \(\mathbb{F}(\operatorname{mod} R)\) is the set of all grade-consistent functions. Therefore, the one-to-one correspondence \(\{\)dominant resolving subcategories of \(\operatorname{mod}R\} \rightleftarrows \{\)grade-consistent functions on \(\operatorname{Spec} R\}\) exists. Next, we assume that \(R/\mathfrak p\) satisfies the small Cohen-Macaulay conjecture for each minimal prime \(\mathfrak p\) of \(R\). Then there is a one-to-one correspondence \(\{\)dominant resolving subcategoies of \(\operatorname{mod} R\} \rightleftarrows \{\)moderate functions on \(\operatorname{Spec} R\}\).
- Classification of resolving subcategories and grade consistent functions
- Modules in resolving subcategories which are free on the punctured spectrum
- Classifying resolving subcategories
- Classifying subcategories of modules over a commutative noetherian ring
- Classifying resolving subcategories over a Cohen-Macaulay local ring
- Annihilation of cohomology and strong generation of module categories
- Applications of contravariantly finite subcategories
- Baire's category theorem and prime avoidance in complete local rings
- Burch ideals and Burch rings
- Classification of resolving subcategories and grade consistent functions
- Classifying resolving subcategories
- Classifying resolving subcategories over a Cohen-Macaulay local ring
- Classifying thick subcategories of the stable category of Cohen-Macaulay modules
- Contravariantly finite resolving subcategories over commutative rings
- Dimensions of triangulated categories with respect to subcategories
- Grothendieck groups and Picard groups of abelian group rings
- Homological conjectures and Lim Cohen-Macaulay sequences
- scientific article; zbMATH DE number 1194481 (Why is no real title available?)
- scientific article; zbMATH DE number 43569 (Why is no real title available?)
- Local rings with quasi-decomposable maximal ideal
- Modules in resolving subcategories which are free on the punctured spectrum
- On homological dimensions
- On Macaulayfication of Noetherian schemes
- Reconstruction from Koszul homology and applications to module and derived categories
- Reflexivity and rigidity for complexes, I: Commutative rings
- Resolving subcategories closed under certain operations and a conjecture of Dao and Takahashi
- Restricted homological dimensions and Cohen-Macaulayness
- Stable module theory
- Subcategories of singularity categories via tensor actions
- The dimension of a subcategory of modules
- The radius of a subcategory of modules
- Thick subcategories over Gorenstein local rings that are locally hypersurfaces on the punctured spectra
- Tilting, cotilting, and spectra of commutative Noetherian rings
- Upper bounds for dimensions of singularity categories
- Classifying resolving subcategories over a Cohen-Macaulay local ring
- On the subcategories of n-torsionfree modules and related modules
- Classifying resolving subcategories
- Classification of resolving subcategories and grade consistent functions
- Annihilators of local cohomology modules via a classification theorem of the dominant resolving subcategories
- Annihilators of local cohomology modules and restricted flat dimensions
- Dominant Local Rings and Subcategory Classification
- When are KE-closed subcategories torsion-free classes?
This page was built for publication: Classification of dominant resolving subcategories by moderate functions
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2073237)
