On minimax modules and generalized local cohomology with respect to a pair of ideals

DOI10.1007/S40306-020-00393-ZMaRDI QIDQ2048950zbMATH OpenOpenAlexFDO

Authors Nguyen Thanh Nam, Tran Tuan Nam, Nguyen Minh Tri

Publication date 24 August 2021

Published in Acta Mathematica Vietnamica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s40306-020-00393-z

zbMATH Keywords

attached prime ideals generalized local cohomology minimax modules

Mathematics Subject Classification ID

Local cohomology and commutative rings (13D45)

Review text

Let \(R\) be a commutative Noetherian ring with identity and \(I\) and \(J\) be two ideals of \(R\). There are many generalizations of the notion of local cohomology in the literature. One of these generalizations was introduced by \textit{J. Herzog} [Komplexe, Auflösungen und Dualität in der localen Algebra. Universität Regensburg (Habilitationsschrift) (1970)]. Let \(M\) and \(N\) be two \(R\)-modules. The generalized local cohomology modules \(\text{H}_ {I}^i(M,N)\) are defined by \[\text{H}_{I}^i(M,N):=\underset{n}{\varinjlim}\ \text{Ext}^i_R(M/I^n M,N),\ i\in \mathbb{N}_0.\] Another generalization of local cohomology was introduced by \textit{R. Takahashi} et al. [J. Pure Appl. Algebra 213, No. 4, 582--600 (2009; Zbl 1160.13013)]. For each \(i\in \mathbb{N}_0\), \(\text{H}_{I,J}^i(\sim)\), the \(i\)-th local cohomology functor with respect to the pair \((I,J)\), is defined to be the \(i\)-th right derived functor of \(\Gamma_{I,J}(\sim)\). Here, \(\Gamma_{I,J}(\sim)\) is a subfunctor of the identity functor that for every \(R\)-module \(X\) is determined by \[\Gamma_{I,J}(X):=\{x\in X\mid I^nx\subseteq Jx \ \text{for some} \ n\in \mathbb{N}\}.\] There is a unify generalization of the above generalizations. The \(i\)-th generalized local cohomology functor, \(\text{H}_{I,J}^i(M,\sim)\), with respect to the pair \((I,J)\) is the \(i\)-th right derived functor of the functor \(\Gamma_{I,J}(\Hom_R(M,\sim))\). In the paper under review, the authors examine some finiteness properties of these local cohomology modules. Assume that \(R\) is local with the unique maximal ideal \(\mathfrak{m}\) and \(M\) and \(N\) are finitely generated. Also, suppose that \(p:=\text{pd}_RM< \infty\) and \(d:= \dim_RN\). Among other things, the authors show that \(\text{H}_{I,J}^{p+d}(M,N)\) is Artinian and \[\text{Att}_R(\text{H}_{I,J}^{p+d}(M,N))=\text{Att}_R(\text{H}_{I}^ {p+d}(M,N/JN))\\ =\{{\mathfrak p}\in \text{Ass}_R(N/JN)\mid \text{H}_{I}^{p+d}(M,R/{\mathfrak p})\neq 0 \}.\] (Recall that for an Artinian \(R\)-module \(A\), the set of attached prime ideals of \(A\) is defined by \[\text{Att}_RA:= \{{\mathfrak p}\in \text{Spec}\ R \mid {\mathfrak p}=\text{Ann}_RB \ \ \text{for some quotient module}\ B \ \text{of}\ A \}.)\]

Recommendations

Cites work

Cited in

(13)

This page was built for publication: On minimax modules and generalized local cohomology with respect to a pair of ideals

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2048950)