On the finiteness properties of extension and torsion functors of local cohomology modules

Let be a commutative Noetherian ring with non-zero identity, and ideals of with , and a finitely generated -module. In this paper, for fixed integers and , we study the finiteness of and in several cases.

     

Matlis duals of top Local cohomology modules

In the first section of this paper we present generalizations of known results on the set of associated primes of Matlis duals of local cohomology modules; we prove these generalizations by using a new technique. In section 2 we compute the set of associated primes of the Matlis dual of , where is a -dimensional local ring and an ideal such that and .

     

On the cofiniteness of local cohomology modules

In this note we show that if is an ideal of a Noetherian ring and is a finitely generated -module, then for any minimax submodule of the -module is finitely generated, whenever the modules are minimax. As a consequence, it follows that the associated primes of are finite. This generalizes the main result of Brodmann and Lashgari (2000).

     

A finiteness result for associated primes of local cohomology modules

We show that the first non-finitely generated local cohomology module of a finitely generated module over a noetherian ring with respect to an ideal has only finitely many associated primes.

     

On the Associated Primes of Matlis Duals of Top Local Cohomology Modules

After motivating the question, we prove various results about the set of associated primes of Matlis duals of top local cohomology modules. In some cases, we can calculate this set. An easy application of this theory is the well-known fact that Krull dimension can be expressed by the vanishing of local cohomology modules.     

On the finiteness of Bass numbers of local cohomology modules

In this note we show that, if is an ideal of dimension 1 of an analytically irreducible local ring, then the Bass numbers of local cohomology modules with support in are finite.

     

A generalization of the finiteness problem in local cohomology modules

Let a be an ideal of a commutative Noetherian ring R with non-zero identity and let N be a weakly Laskerian R-module and M be a finitely generated R-module. Let t be a non-negative integer. It is shown that if H _a ⁱ (N) is a weakly Laskerian R-module for all i < t, then Hom _R (R/a, H _a ^t (M, N)) is weakly Laskerian R-module. Also, we prove that Ext _R ⁱ (R/a, H _a ^t )) is weakly Laskerian R-module for all i = 0, 1. In particular, if Supp _R (H _a ⁱ (N)) is a finite set for all i < t, then Ext _R ⁱ (R/a, H _a ^t (N)) is weakly Laskerian R-module for all i = 0, 1.     

On the Associated Primes of Matlis Duals of Local Cohomology Modules II

In continuation of [1 Hellus , M. ( 2005 ). On the associated primes of Matlis duals of top local cohomology modules . Communications in Algebra 33 : 3997 – 4009 .[Taylor &; Francis Online], [Web of Science ®] , [Google Scholar]] we study associated primes of Matlis duals of local cohomology modules (MDLCM). We combine ideas from Helmut Zöschinger on coassociated primes of arbitrary modules with results from [1 Hellus , M. ( 2005 ). On the associated primes of Matlis duals of top local cohomology modules . Communications in Algebra 33 : 3997 – 4009 .[Taylor &; Francis Online], [Web of Science ®] , [Google Scholar] 4-6 Hellus , M. , Stückrad , J. ( 2008 ). On endomorphism rings of local cohomology modules . Proceedings of the American Mathematical Society 136 : 2333 – 2341 . Hellus , M. , Stückrad , J. ( 2008 ). Matlis duals of top local cohomology modules . Proceedings of the American Mathematical Society 136 : 489 – 498 . Hellus , M. , Stückrad , J. ( 2009 ). Artinianness of local cohomology . Journal of Commutative Algebra 1 : 269 – 274 . ], and obtain partial answers to questions which were left open in [1 Hellus , M. ( 2005 ). On the associated primes of Matlis duals of top local cohomology modules . Communications in Algebra 33 : 3997 – 4009 .[Taylor &; Francis Online], [Web of Science ®] , [Google Scholar]]. These partial answers give further support for conjecture (*) from [1 Hellus , M. ( 2005 ). On the associated primes of Matlis duals of top local cohomology modules . Communications in Algebra 33 : 3997 – 4009 .[Taylor &; Francis Online], [Web of Science ®] , [Google Scholar]] on the set of associated primes of MDLCMs. In addition, and also inspired by ideas from Zöschinger, we prove some non-finiteness results of local cohomology.     

Associated primes of local cohomology modules

Let be an ideal of a commutative Noetherian ring and a finitely generated -module. Let be a natural integer. It is shown that there is a finite subset of , such that is contained in union with the union of the sets , where and . As an immediate consequence, we deduce that the first non- -cofinite local cohomology module of with respect to has only finitely many associated prime ideals.

     

On endomorphism rings of local cohomology modules

Let be a local complete ring. For an -module the canonical ring map is in general neither injective nor surjective; we show that it is bijective for every local cohomology module if for every ( an ideal of ); furthermore the same holds for the Matlis dual of such a module. As an application we prove new criteria for an ideal to be a set-theoretic complete intersection.

     

The local cohomology modules of Matlis reflexive modules are almost cofinite

We show that if and are Matlis reflexive modules over a complete Gorenstein local domain and is an ideal of such that the dimension of is one, then the modules are Matlis reflexive for all and if . It follows that the Bass numbers of are finite. If is not a domain, then the same results hold for .

     

On the Matlis duals of local cohomology modules

Let ( ) be a commutative Noetherian local ring with non-zero identity, an ideal of R and M a finitely generated R-module with . Let D(–) := Hom _R (–, E) be the Matlis dual functor, where is the injective hull of the residue field . We show that, for a positive integer n, if there exists a regular sequence and the i-th local cohomology module H ⁱ _a (M) of M with respect to is zero for all i with i > n then The author was partially supported by a grant from Institute for Studies in Theoretical Physics and Mathematics (IPM) Iran (No. 85130023). Received: 9 August 2006     

Matlis Duals of Top Local Cohomology Modules and the Arithmetic Rank of an Ideal

Let I be an ideal of a local ring (R, 𝔪). Using local cohomology, we present new criteria (see 1.4, respectively 1.5) for the conditions ara (I) ≤ 1 respectively ara (I) ≤ 2, where ara (I) stands for the number of generators of I up to radical. Though this works equally well for the local and for the graded case, we show some subtle differences between the local and the graded situation in Section 2. Finally, in Section 3, we show that the Matlis dual of certain local cohomology modules, though not finite, is well behaved in some sense.     

Attached primes and Matlis duals of local cohomology modules

Let J be an ideal of a noetherian local ring R. We show new results on the set of attached primes of a local cohomology module . To prove our results we establish and use new relations between the set of attached primes of a local cohomology module and the set of associated primes of the Matlis dual of the same local cohomology module. Received: 17 March 2006     

On the Matlis duals of local cohomology modules and modules of generalized fractions

Let (R, m) be a commutative Noetherian local ring with non-zero identity, a a proper ideal of R and M a finitely generated R-module with aM ≠ M. Let D(−) ≔ Hom _R (−, E) be the Matlis dual functor, where E ≔ E(R/m) is the injective hull of the residue field R/m. In this paper, by using a complex which involves modules of generalized fractions, we show that, if x ₁, …, x _n is a regular sequence on M contained in α, then H _{(x1, …,xnR} ⁿ D(H _a ⁿ (M))) is a homomorphic image of D(M), where H _b ⁱ (−) is the i-th local cohomology functor with respect to an ideal b of R. By applying this result, we study some conditions on a certain module of generalized fractions under which D(H _{(x1, …,xn)R} ⁿ (D(H _a ⁿ (M)))) ⋟ D(D(M)).     

Decomposition of local cohomology tables of modules with large E-depth

We introduce the notion of E-depth of graded modules over polynomial rings to measure the depth of certain Ext modules. First, we characterize graded modules over polynomial rings with (sufficiently) large E-depth as those modules whose (sufficiently) partial general initial submodules preserve the Hilbert function of local cohomology modules supported at the irrelevant maximal ideal, extending a result of Herzog and Sbarra on sequentially Cohen-Macaulay modules. Second, we describe the cone of local cohomology tables of modules with sufficiently high E-depth, building on previous work of the second author and Smirnov. Finally, we obtain a non-Artinian version of a socle-lemma proved by Kustin and Ulrich.