Algorithms for graded injective resolutions and local cohomology over semigroup rings

DOI10.1016/J.JSC.2004.11.009zbMATH Open1120.13014arXivmath/0309256OpenAlexW2087113528WikidataQ114154482 ScholiaQ114154482MaRDI QIDQ2456550FDOQ2456550

Authors: David Helm, Ezra Miller 

Publication date: 19 October 2007

Published in: Journal of Symbolic Computation (Search for Journal in Brave)

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

Full work available at URL: https://arxiv.org/abs/math/0309256

Recommendations

• Algorithmic computation of local cohomology modules and the local cohomological dimension of algebraic varieties
• Associated and Attached Primes of Some Graded Modules Over Semigroup Rings
• Squarefree modules and local cohomology modules at monomial ideals.
• Notes onC-Graded Modules Over an Affine Semigroup RingK[C]
• Sheaves on finite posets and modules over normal semigroup rings

zbMATH Keywords

computationlocal cohomologysemigroup ringlattice pointconvex polyhedronmonomial matrixgraded-injective resolutionirreducible hullsector partitionGröbner basis

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Syzygies, resolutions, complexes and commutative rings (13D02) Local cohomology and commutative rings (13D45)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Residue formulae, vector partition functions and lattice points in rational polytopes
• The Alexander duality functors and local duality with monomial support
• Valuations and Euler-Type Relations on Certain Classes of Convex Polytopes
• Computational methods of commutative algebra and algebraic geometry. With chapters by David Eisenbud, Daniel R. Grayson, Jürgen Herzog and Michael Stillman
• Finiteness properties of local cohomology modules (an application of \(D\)- modules to commutative algebra)
• Bass Numbers of Local Cohomology Modules
• Affine duality and cofiniteness
• Algorithmic computation of local cohomology modules and the local cohomological dimension of algebraic varieties
• Cohomology and toric varieties and local cohomology with monomial supports
• Short rational generating functions for lattice point problems
• Local cohomology at monomial ideals
• Squarefree modules and local cohomology modules at monomial ideals.
• Sheaves on finite posets and modules over normal semigroup rings
• Cohen-Macaulay quotients of normal semigroup rings via irreducible resolutions.
• Bass numbers of semigroup-graded local cohomology.

Cited In (10)

• Sheaves on finite posets and modules over normal semigroup rings
• Standard pairs for monomial ideals in semigroup rings
• Associated and Attached Primes of Some Graded Modules Over Semigroup Rings
• Combinatorics of rank jumps in simplicial hypergeometric systems
• Resolutions and cohomologies of toric sheaves: the affine case
• $D$-module structure of local cohomology modules of toric algebras
• An Algorithm for Computing the Truncated Annihilating Ideals for an Algebraic Local Cohomology Class
• Stratifications of real vector spaces from constructible sheaves with conical microsupport
• Semiring induced valuation algebras: exact and approximate local computation algorithms
• Notes onC-Graded Modules Over an Affine Semigroup RingK[C]

This page was built for publication: Algorithms for graded injective resolutions and local cohomology over semigroup rings

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2456550)