arXiv++ Combinatorics

We construct a generalize Ishida complex to compute the local cohomology with monomial support of modules over quotients of polynomial rings by cellular binomial ideals. As a consequence, we obtain a combinatorial criterion to determine when such a quotient is Cohen--Macaulay. In particular, this gives a Cohen--Macaulayness criterion for lattice ideals. We also prove a result relating the local cohomology with radical monomial ideal support of an affine semigroup ring to the local cohomology with maximal ideal support of the quotient of the affine semigroup ring by the radical monomial ideal. This requires a combinatorial assumption on the semigroup, which holds for (not necessarily normal) semigroups whose cone is the cone over a simplex.

We give a combinatorial description of local cohomology modules of a graded module over a semigroup ring, with support at the graded maximal ideal. This combinatorial framework yields Hochster-type formulas for the Hilbert series of such local cohomology modules in terms of the homology of finitely many polyhedral cell complexes. A Cohen--Macaulay criterion immediately follows. We also provide an alternative proof of a result of [18] characterizing Cohen--Macaulay affine semigroup rings.

We extend the notion of standard pairs to the context of monomial ideals in semigroup rings. Standard pairs can be used as a data structure to encode such monomial ideals, providing an alternative to generating sets that is well suited to computing intersections, decompositions, and multiplicities. We give algorithms to compute standard pairs from generating sets and vice versa and make all of our results effective. We assume that the underlying semigroup ring is positively graded, but not necessarily normal. The lack of normality is at the root of most challenges, subtleties, and innovations in this work.