1: \begin{abstract}

2: \noindent

3: Given a module $M$ over a ring $R$ which has a grading by a semigroup

4: $Q$, we present a spectral sequence that computes the local cohomology

5: $H^i_I(M)$ at any graded ideal $I$ in terms of $\ext$ modules.  This

6: method is used to obtain finiteness results for the local cohomology of

7: graded modules over semigroup rings; in particular we prove that for a

8: semigroup $Q$ such that $Q^\sat$ is simplicial, and a finitely generated

9: module $M$ over $k[Q]$ which is graded by $\qgp$, the Bass numbers of

10: $H^i_I(M)$ are finite for any $Q$-graded ideal $I$ of $k[Q]$.

11: Conversely, if $Q^\sat$ is not simplicial, one can find a graded ideal

12: $I$ and graded $R$-module $M$ such that the local cohomology module

13: $H^i_I(M)$ has infinite-dimensional socle.  We introduce and exploit the

14: cominatorially defined {\em essential set} of a semigroup.

15: %\vskip 1ex

16: %\noindent

17: %{{\it AMS Classification:} ; }

18: \vspace{-.9em}

19: \end{abstract}

20: