arXiv subjects
Publications and source records attributed to Mordechai Katzman.
This first part of the paper describes the support of top graded local cohomology modules. As a corrolary one obtains a simple criteria for the vanishing of these modules and also the fact that they have finitely many minimal primes. The second part of this paper constructs examples of cohomological Hilbert functions which are not of polynomial type.
The $i$-th local cohomology module of a finitely generated graded module $M$ over a standard positively graded commutative Noetherian ring $R$, with respect to the irrelevant ideal $R_+$, is itself graded; all its graded components are finitely generated modules over $R_0$, the component of $R$ of degree 0. This paper is concerned with the asymptotic behaviour of $\Ass_{R_0}(H^i_{R_+}(M)_n)$ as $n \to -\infty$. The smallest $i$ for which such study is interesting is the finiteness dimension $f$ of $M$ relative to $R_+$, defined as the least integer $j$ for which $H^j_{R_+}(M)$ is not finitely generated. Brodmann and Hellus have shown that $\Ass_{R_0}(H^f_{R_+}(M)_n)$ is constant for all $n < < 0$ (that is, in their terminology, $\Ass_{R_0}(H^f_{R_+}(M)_n)$ is asymptotically stable for $n \to -\infty$). The first main aim of this paper is to identify the ultimate constant value (under the mild assumption that $R$ is a homomorphic image of a regular ring): our answer is precisely the set of contractions to $R_0$ of certain relevant primes of $R$ whose existence is confirmed by Grothendieck's Finiteness Theorem for local cohomology. Brodmann and Hellus raised various questions about such asymptotic behaviour when $i > f$. They noted that Singh's study of a particular example (in which $f = 2$) shows that $\Ass_{R_0}(H^3_{R_+}(R)_n)$ need not be asymptotically stable for $n \to -\infty$. The second main aim of this paper is to determine, for Singh's example, $\Ass_{R_0}(H^3_{R_+}(R)_n)$ quite precisely for every integer $n$, and, thereby, answer one of the questions raised by Brodmann and Hellus.
Let $(R,m)$ be a local Noetherian ring, let $I\subset R$ be any ideal and let $M$ be a finitely generated $R$-module. In 1990 Craig Huneke conjectured that the local cohomology modules $H^i_I(M)$ have finitely many associated primes for all $i$. In this paper I settle this conjecture by constructing a local cohomology module of a local $k$-algebra with an infinite set of associated primes, and I do this for any field $k$.