Algorithms for graded injective resolutions and local cohomology over semigroup rings

AbstractLet Q be an affine semigroup generating Zd, and fix a finitely generated Zd-graded module M over the semigroup algebra k[Q] for a field k. We provide an algorithm to compute a minimal Zd-graded injective resolution of M up to any desired cohomological degree. As an application, we derive an algorithm computing the local cohomology modules HIi(M) supported on any monomial (that is, Zd-graded) ideal I. Since these local cohomology modules are neither finitely generated nor finitely cogenerated, part of this task is defining a finite data structure to encode them

Multiplicity computation of modules over k[x1, ..., xn] and an application to Weyl algebras

Let A = k[x1,...,xn] be the polynomial algebra over a field k of characteristic 0, I an ideal of A, M = A/I and aHPI the (affine) Hilbert polynomial of M. By further exploring the algorithmic procedure given in [CLO'] for deriving the existence of aHPI, we compute the leading coefficient of aHPI by looking at the leading monomials of a Gröbner basis of I without computing aHPI. Using this result and the filtered-graded transfer of Gröbner basis obtained in [LW] for (noncommutative) solvable polynomial algebras (in the sense of [K-RW]), we are able to compute the multiplicity of a cyclic module over the Weyl algebra An (k) without computing the Hilbert polynomial of that module, and consequently to give a quite easy algorithmic characterization of the "smallest" modules over Weyl algebras. Using the same methods as before, we also prove that the tensor product of two cyclic modules over the Weyl algebras has the multiplicity which is equal to the product of the multiplicities of both modules. The last result enables us to construct examples of "smallest" irreducible modules over Weyl algebras