Algorithms for graded injective resolutions and local cohomology over semigroup rings

D Helm, E Miller - Journal of Symbolic Computation, 2005 - Elsevier
D Helm, E Miller
Journal of Symbolic Computation, 2005Elsevier
Let 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 …
Let 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.
Elsevier
以上显示的是最相近的搜索结果。 查看全部搜索结果