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

A cohomology theory of weighted Rota-Baxter $3$-Lie algebras is introduced. Formal deformations, abelian extensions, skeletal 2-algebras and crossed modules 3-Lie are interpreted by using lower degree groups.

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

Let S = k[x1, . . . , xn] be a polynomial ring over a field k with n variables x1, . . . , xn, m the irrelevant maximal ideal of S, I a monomial ideal in S and I ′ the polarization of I in the polynomial ring S′ with ρ variables. We show that each graded piece H i m (S/I)a, a ∈ Z , of the local cohomology module H i m (S/I) is isomorphic to a specific graded pieceH i+ρ−n m ′ (S′/I )α, α ∈ Z , o...