Associated primes of graded components of local cohomology modules

dc.creatorBrodmann, Markus P.
dc.creatorKatzman, Mordechai
dc.creatorSharp, Rodney Y.
dc.date2002-09-25
dc.date.accessioned2026-07-07T04:51:15Z
dc.date.available2026-07-07T04:51:15Z
dc.descriptionThe $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.
dc.identifierhttps://arxiv.org/abs/math/0209351
dc.identifierhttp://arxiv.org/abs/math/0209351
dc.identifierTransactions of the AMS, 354 (2002), pp. 4261-4283
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/65077
dc.subjectCommutative Algebra
dc.subjectAlgebraic Geometry
dc.subject13D45; 13E05; 13A02; 13P10
dc.titleAssociated primes of graded components of local cohomology modules
dc.typetext

Files

Collections