Some properties of local cohomology modules defined by a pair of ideals (Q2049289)

Let \(R\) be a commutative noetherian ring, \(\mathfrak{a}\) and \(\mathfrak{b}\) two ideals of \(R\), and \(M\) an \(R\)-module. The submodule \(\Gamma_{\mathfrak{a},\mathfrak{b}}(M)\) of \(M\) is defined as \[\Gamma_{\mathfrak{a},\mathfrak{b}}(M):=\{x\in M \text{ such that }\mathfrak{a}^{n}x \subseteq \mathfrak{b}x \text{ for some } n\geq 0\}.\] Then \(\Gamma_{\mathfrak{a},\mathfrak{b}}(-)\) defines a left exact covariant functor on the category of \(R\)-modules. For any \(i\geq 0\), the \(i\)th right derived functor of \(\Gamma_{\mathfrak{a},\mathfrak{b}}(-)\) is called the \(i\)th local cohomology module of \(M\) with respect to the pair \((\mathfrak{a},\mathfrak{b})\) and is denoted by \(H_{\mathfrak{a},\mathfrak{b}}^{i}(-)\). If \(\mathfrak{b}=0\), then we recover the \(\mathfrak{a}\)-torsion functor \(\Gamma_{\mathfrak{a}}(-)\) as well as the classical local cohomology functor \(H_{\mathfrak{a}}^{i}(-)\). On the other hand, \(M\) is said to be \(\mathfrak{b}\)-weakly Laskerian if the set \(\mathrm{Ass}_{R}\left(\Gamma_{\mathfrak{b}}(M/N)\right)\) is finite for every submodule \(N\) of \(M\). Moreover, \(M\) is said to be \((\mathfrak{a},\mathfrak{b})\)-coweakly Laskerian if \(\mathrm{Supp}_{R}(M)\subseteq W(\mathfrak{a},\mathfrak{b})\) where \[W(\mathfrak{a},\mathfrak{b})=\{\mathfrak{p}\in \mathrm{Spec}(R) \text{ such that } \mathfrak{a}^{n} \subseteq \mathfrak{p}+\mathfrak{b} \text{ for some } n\geq 0\},\] and \(\mathrm{Ext}^{i}_{R}(R/\mathfrak{a},M)\) is \(\mathfrak{b}\)-weakly Laskerian for every \(i \geq 0\). The authors prove that if \(\mathrm{Ext}^{i}_{R}(R/\mathfrak{a},M)\) is \(\mathfrak{b}\)-weakly Laskerian for every \(i \geq 0\), and there is an \(n \geq 0\) such that \(H_{\mathfrak{a},\mathfrak{b}}^{i}(M)\) is \((\mathfrak{a},\mathfrak{b})\)-coweakly Laskerian for every \(i\neq n\), then \(H_{\mathfrak{a},\mathfrak{b}}^{n}(M)\) is \((\mathfrak{a},\mathfrak{b})\)-coweakly Laskerian. They further show that if \(H_{\mathfrak{a},\mathfrak{b}}^{i}(M)\) is \((\mathfrak{a},\mathfrak{b})\)-coweakly Laskerian for every \(i < n\) and \(\mathrm{Ext}^{n}_{R}(R/\mathfrak{a},M)\) is \(\mathfrak{b}\)-weakly Laskerian, then \(\mathrm{Hom}_{R}\left(R/\mathfrak{a},H_{\mathfrak{a},\mathfrak{b}}^{n}(M)\right)\) is \(\mathfrak{b}\)-weakly Laskerian. As an application, they obtain a finiteness result of the set \(\mathrm{Ass}_{R}\left(H_{\mathfrak{a},\mathfrak{b}}^{n}(M)/\mathfrak{b}H_{\mathfrak{a},\mathfrak{b}}^{n}(M)\right)\).