Local cohomology of some Auslander-Gorenstein rings (Q2366846): Difference between revisions

The main purpose of this paper is to present an axiomatic framework which allows to calculate local cohomology of some idempotent kernel functor. Recall that the dimension \(\delta\) of a finitely generated module \(M\) over an Auslander-Goldman ring \(A\) of dimension \(\mu\) is defined by Levasseur as \(\delta(M) = \mu - j(M)\). If \(\delta\) is ideal invariant and if all prime ideals of \(A\) are completely prime and left moderated, then the terms \(E_ i\) of the minimal injective resolution of \(A\) are of the form \(E_ i = E^ I_ i \oplus E^{II}_ i\), where \(E^ I_ i = \oplus \mu(P)E(A/P)\), where \(P\) runs through the prime ideals \(P\) of \(A\) with \(j(A/P) = \mu\) (or : \(\delta(A/P) = 0\)) and where \(E^{II}_ \mu\) is the injective hull of a sum of \(\delta\)-critical modules \(M\) (i.e., with \(\delta(M') \lneqq \delta(M)\) for every proper quotient \(M'\) of \(M\)), each of them torsion modulo its annihilator. The principal result of the paper states that if \(A\) satisfies the following conditions: (A) Every left maximal ideal of \(A\) is two-sided; (B) The family \(\mathbf F\) of co-artinian two-sided ideals of \(A\) satisfies the left Artin-Rees property; (C) \(A\) is Auslander-Goldman, \(\delta\) is ideal invariant and \(\delta(M) = 0\) iff \(M\) has nonzero finite length, with \(\delta(M) = - \infty\) implying \(M = 0\), then, with \(\sigma\) associated to \(\mathbf F\), we have \(E^{II}_ \mu = 0\) and \(E^ I_ \mu = H^ \mu_ \sigma (A)\). This result generalizes several previous results.