Papers Published
Abstract:
Let Q be an affine semigroup generating ℤd, and fix a finitely generated ℤd-graded module M over the semigroup algebra k[Q] for a field k. We provide an algorithm to compute a minimal ℤd-graded injective resolution of M up to any desired cohomological degree. As an application, we derive an algorithm computing the local cohomology modules HIi supported on any monomial (that is, ℤd-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. © 2005 Elsevier Ltd. All rights reserved.