Classification of dominant resolving subcategories by moderate functions (Q2073237)

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\}\).