Let I ⊂ R be a graded ideal in the polynomial ring R = K[x1, . . . , xn] where K is a field, and fix a term order <. It has been shown in [17] that the Hilbert functions of the local cohomology modules of R/I are bounded by those of R/ in(I), where in(I) denotes the initial ideal of I with respect to <. In this note we study the question when the local cohomology modules of R/I and R/ in(I) hav...

where the map R/(x1 , . . . , x m n ) −→ R/(x m+1 1 , . . . , x m+1 n ) is multiplication by the image of the element x1 · · ·xn. As these descriptions suggest, H a(R) is usually not finitely generated as an R-module. However local cohomology modules have useful finiteness properties in certain cases, e.g., for a local ring (R,m), the modules H m(R) satisfy the descending chain condition. This ...

For t in N, E.Miller has defined a category of positively t-determined modules over the polynomial ring S in n variables. We consider the AuslanderReiten translate, Nt, on the (derived) category of such modules. A monomial ideal I is t-determined if each generator x has a ≤ t. We compute the multigraded cohomology and betti spaces of N k t (S/I) for every iterate k and also the S-module structu...

For a polynomial ring R = k[x1, ..., xn], we present a method to compute the characteristic cycle of the localization Rf for any nonzero polynomial f ∈ R that avoids a direct computation of Rf as a D-module. Based on this approach, we develop an algorithm for computing the characteristic cycle of the local cohomology modules H I (R) for any ideal I ⊆ R using the Čech complex. The algorithm, in ...

Let R be a commutative Noetherian ring, a an ideal of R, and let M be a finitely generated R-module. For a non-negative integer t, we prove that H a(M) is a-cofinite whenever H t a(M) is Artinian and H i a(M) is a-cofinite for all i < t. This result, in particular, characterizes the a-cofiniteness property of local cohomology modules of certain regular local rings. Also, we show that for a loca...

For every prime integer p, M. Hochster conjectured the existence of certain p-torsion elements in a local cohomology module over a regular ring of mixed characteristic. We show that Hochster’s conjecture is false. We next construct an example where a local cohomology module over a hypersurface has p-torsion elements for every prime integer p, and consequently has infinitely many associated prim...

Let R be a commutative Noetherian ring, a an ideal of R, M and N be two finitely generated R-modules. Let t be a positive integer. We prove that if R is local with maximal ideal m and M ⊗R N is of finite length then H t m (M, N) is of finite length for all t ≥ 0 and lR(H t m (M, N)) ≤ ∑t i=0 lR(Ext i R (M, H m (N))). This yields, lR(H t m (M, N)) = lR(Ext t R(M, N)). Additionally, we show that ...

This paper finds its motivation in the pursuit of ideals whose local cohomology modules have maximal Hilbert functions. In [8], [9] we proved that the lexicographic (resp. squarefree lexicographic) ideal of a family of graded (resp. squarefree) ideals with assigned Hilbert function provides sharp upper bounds for the local cohomology modules of any of the ideals of the family. Moreover these bo...