Finiteness of graded local cohomology modules

Let R=?_n∈N0R_n be a Noetherian homogeneous ring with local base ring (R₀,m₀) and irrelevant ideal R₊, let M be a finitely generated graded R-module. In this paper we show that is Artinian and is Artinian for each i in the case where R₊ is principal. Moreover, for the case where , we prove that, for each i∈N₀, is Artinian if and only if is Artinian. We also prove that is Artinian, where and c is the cohomological dimension of M with respect to R₊. Finally we present some examples which show that and need not be Artinian.     

Artinianess of graded local cohomology modules

Let be a Noetherian homogeneous ring with local base ring and let be a finitely generated graded -module. Let be the largest integer such that is not Artinian. We will prove that are Artinian for all and there exists a polynomial of degree less than such that for all . Let be the first integer such that the local cohomology module is not cofinite. We will show that for all the graded module is Artinian.

     

On graded generalized local cohomology

Let be a homogeneous Noetherian ring with local base ring (R₀,m₀) and let M,N be two finitely generated graded R-modules. Let denote the i-th graded generalized local cohomology of N relative to M with support in . We study the vanishing, tameness and asymptotical stability of the homogeneous components of . Received: 22 March 2005; revised: 25 June 2005     

Finiteness properties of minimax and coatomic local cohomology modules

Let R be a noetherian ring, \mathfraka{\mathfrak{a}} an ideal of R, and M an R-module. We prove that for a finite module M, if Hⁱ_\mathfraka(M){{\rm H}^{i}_{\mathfrak{a}}(M)} is minimax for all i ≥ r ≥ 1, then Hⁱ_\mathfraka(M){{\rm H}^{i}_{\mathfrak{a}}(M)} is artinian for i ≥ r. A local–global principle for minimax local cohomology modules is shown. If Hⁱ_\mathfraka(M){{\rm H}^{i}_{\mathfrak{a}}(M)} is coatomic for i ≤ r (M finite) then Hⁱ_\mathfraka(M){{\rm H}^{i}_{\mathfrak{a}}(M)} is finite for i ≤ r. We give conditions for a module which is locally minimax to be a minimax module. A non-vanishing theorem and some vanishing theorems are proved for local cohomology modules.     

On Artinian generalized local cohomology modules

Let R be a commutative Noetherian ring with non-zero identity and a be a maximal ideal of R. An R-module M is called minimax if there is a finitely generated submodule N of M such that M/N is Artinian. Over a Gorenstein local ring R of finite Krull dimension, we proved that the Socle of H _a ⁿ (R) is a minimax R-module for each n ≥ 0.     

Matlis reflexive and generalized local cohomology modules

Let (R,m) be a complete local ring, a an ideal of R and N and L two Matlis reflexive R-modules with Supp(L) ⊆ V(a). We prove that if M is a finitely generated R-module, then Exti _R ⁱ (L, H _a ^j (M,N)) is Matlis reflexive for all i and j in the following cases:

Associated primes of graded components of local cohomology modules

The -th local cohomology module of a finitely generated graded module over a standard positively graded commutative Noetherian ring , with respect to the irrelevant ideal , is itself graded; all its graded components are finitely generated modules over , the component of of degree . It is known that the -th component of this local cohomology module is zero for all > 0$">. This paper is concerned with the asymptotic behaviour of as .

The smallest for which such study is interesting is the finiteness dimension of relative to , defined as the least integer for which is not finitely generated. Brodmann and Hellus have shown that is constant for all (that is, in their terminology, is asymptotically stable for ). The first main aim of this paper is to identify the ultimate constant value (under the mild assumption that is a homomorphic image of a regular ring): our answer is precisely the set of contractions to of certain relevant primes of whose existence is confirmed by Grothendieck's Finiteness Theorem for local cohomology.

Brodmann and Hellus raised various questions about such asymptotic behaviour when f$">. They noted that Singh's study of a particular example (in which ) shows that need not be asymptotically stable for . The second main aim of this paper is to determine, for Singh's example, quite precisely for every integer , and, thereby, answer one of the questions raised by Brodmann and Hellus.

     

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

Finiteness properties of local cohomology modules (an application ofD-modules to commutative algebra)

Summary The main goal of this paper is to establish finiteness properties of local cohomology modules in characteristic 0 that would be analogous to those proven by C. Huneke and R. Sharp in characteristicp>0. Our method, based on the theory of algebraicD-modules, seems to be the first application ofD-modules to Commutative Algebra.Oblatum 12-VIII-1992Partially supported by the NSF     

Finiteness properties of local cohomology modules for regular local rings of mixed characteristic: the unramified case

In this note we partially extend results on the finite-ness properties of local cohomology modules from the case of a regular local ring containing a field to the unramified case of a regular local ring of mixed characteristic.     

Artinianness of local cohomology modules

Some uniform theorems on the artinianness of certain local cohomology modules are proven in a general situation. They generalize and imply previous results about the artinianness of some special local cohomology modules in the graded case.     

Hilbert-Samuel coefficients and postulation numbers of graded components of certain local cohomology modules

Let be a Noetherian homogeneous ring with one-dimensional local base ring . Let be an -primary ideal, let be a finitely generated graded -module and let . Let denote the -th local cohomology module of with respect to the irrelevant ideal 0} R_n$"> of . We show that the first Hilbert-Samuel coefficient of the -th graded component of with respect to is antipolynomial of degree in . In addition, we prove that the postulation numbers of the components with respect to have a common upper bound.