Melkersson condition for extension of Serre subcategories (Q2686970): Difference between revisions

Let \(R\) be a commutative Noetherian ring, and let \(\mathfrak a\) be an ideal of \(R\). Let \(\mathcal{C}\) be an abelian category, and let \(\mathcal{S,T}\) be two full subcategories of \(\mathcal{C}\). The extension subcategory of \(\mathcal{S}\) and \(\mathcal{T}\), denoted by \(\mathcal{ST}\), is defined as \begin{align*} \mathcal{ST}=\{M\in\mathcal{C}\mid&\text{ there exists an exact sequence }0\longrightarrow L\longrightarrow M\longrightarrow N\longrightarrow 0 \\&\text{ with } L\in \mathcal{S}\text{ and }N\in \mathcal{T}\}. \end{align*} A full subcategory \(\mathcal{S}\) of \(\mathcal{C}\) is called Serre if it is closed under taking subobjects, quotients and extensions. A subcategory \(S\) of the category of \(R\)-modules is said to satisfy the condition \(C_{\mathfrak a}\), if for any \({\mathfrak a}\)-torsion \(R\)-module \(M\), \((0:_M\mathfrak{a})\in S\) implies that \(M\in S\). In the paper under review, the authors studied the extension of two subcategories of the category of all \(R\)-modules, and they get some conditions under which the extension of two subcategories satisfies the condition \(C_{\mathfrak a}\). Assume that \(\mathcal{N}\) is the subcategory of finitely generated \(R\)-modules, and \(\mathcal{S}\) is a Serre subcategory of the category of all \(R\)-modules. It is shown that, if \(\mathcal{S}\) satisfies the condition \(C_{\mathfrak a}\) and \(R/\mathfrak{a}\in \mathcal{S}\), then \(\mathcal{NS}\) satisfies the condition \(C_{\mathfrak a}\). The converse holds if \(\mathfrak a\) has positive height. As an example of the extension of two subcategories, the authors investigated the weakly Laskerian modules. Let \(\dim R/\mathfrak{a}=1\), and let \(M\) be a weakly Laskerian \(R\)-module such that \(\mathrm{Ext}^i_R(R/\mathfrak{a}, M)\) is finitely generated for \(i=0,1\). It is proved that \(H^i\mathfrak{a}(M)\) is \(\mathfrak a\)-cofinite for all \(i\geq0\).