Witt groups of function fields of hyperelliptic curves

The local cohomology modules H^J _I(M) of a Matlis reflexive module are shown to be I-cofinite when j >= 1 and have finite Bass numbers when j >= 0, where I is an ideal satisfying any one of a list of properties. In addition, we show that the completion of a Matlis reflexive module is finitely generated over the completion of the ring and we classify Matlis reflexive modules over a one dimensional ring.     

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 .

     

Gorenstein injective modules and local cohomology

In this paper we assume that is a Gorenstein Noetherian ring. We show that if is also a local ring with Krull dimension that is less than or equal to 2, then for any nonzero ideal of , is Gorenstein injective. We establish a relation between Gorenstein injective modules and local cohomology. In fact, we will show that if is a Gorenstein ring, then for any -module its local cohomology modules can be calculated by means of a resolution of by Gorenstein injective modules. Also we prove that if is -Gorenstein, is a Gorenstein injective and is a nonzero ideal of , then is Gorenstein injective.

     

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.

     

On the finiteness properties of Matlis duals of local cohomology modules

Let R be a complete semi-local ring with respect to the topology defined by its Jacobson radical, a an ideal of R, and M a finitely generated R-module. Let D _R (−) := Hom _R (−, E), where E is the injective hull of the direct sum of all simple R-modules. If n is a positive integer such that Ext _R ^j (R/a, D _R (H _a ^t (M))) is finitely generated for all t > n and all j ⩾ 0, then we show that Hom _R (R/a, D _R (H _a ⁿ (M))) is also finitely generated. Specially, the set of prime ideals in Coass _R (H _a ⁿ (M)) which contains a is finite. Next, assume that (R, m) is a complete local ring. We study the finiteness properties of D _R (H _a ^r (R)) where r is the least integer i such that H _a ^r (R) is not Artinian.     

Some criteria for the Cohen-Macaulay property and local cohomology

Let a be an ideal of a commutative Noetherian ring R and M be a finitely generated R-module of dimension d. We characterize Cohen-Macaulay rings in term of a special homological dimension. Lastly, we prove that if R is a complete local ring, then the Matlis dual of top local cohomology module Ha^d（M） is a Cohen-Macaulay R-module provided that the R-module M satisfies some conditions.     

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 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 note on the injective dimension of local cohomology modules

For a Noetherian ring we call an -module cofinite if there exists an ideal of such that is -cofinite; we show that every cofinite module satisfies . As an application we study the question which local cohomology modules satisfy . There are two situations where the answer is positive. On the other hand, we present two counterexamples, the failure in these two examples coming from different reasons.

     

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

     

Stable local cohomology

For a module having a complete injective resolution, we define a stable version of local cohomology. This gives a functor to the stable category of Gorenstein injective modules. We show that in many ways this functor behaves like the usual local cohomology functor. Our main result is that when there is only one nonzero local cohomology module, there is a strong connection between that module and the stable local cohomology module; in fact, the latter gives a Gorenstein injective approximation of the former.     

Faltings' theorem for the annihilation of local cohomology modules over a Gorenstein ring

In this paper we study the Annihilator Theorem and the Local-global Principle for the annihilation of local cohomology modules over a (not necessarily finite-dimensional) Noetherian Gorenstein ring.

     

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