A note on rings with finite local cohomology (Q1070292)

Soient A un anneau local noethérien de dimension n et M l'idéal maximal de A. On dit que A a la cohomologie locale finie si les A-modules \(H^ i_ M(A)\) de cohomologie locale relative à M sont de type fini pour \(i\neq n\). Une suite \(x_ 1,...,x_ r\in A\) est appelée d-suite si \((x_ 1,...,x_{i-1}):x_ j=(x_ 1,...,x_{i-1}):x_ ix_ j,\) pour \(1\leq i\leq j\leq r.\) Les auteurs demontrent la suivante généralisation d'un résultat de Huneke relativement à la caractérisation des anneaux de Buchsbaum: Les affirmations suivantes sont équivalentes: \((1)\quad A\quad a\) la cohomologie locale finie; \((2)\quad Il\) existe un entier \(N>0\) tel que tout système de paramètres de A contenu dans \(M^ N\) soit une d- suite. Dans cettes conditions \(M^ NH^ i_ M(A)=(0)\), pour \(i\neq n.\) S'obtient aussi le suivant corollaire: Soit A un anneau local noethérien de caractéristique \(p>0\), p premier, tel que le morphisme \(F: A\to A,\) \(F(x)=x^ p\), est pure. Alors A est un anneau de Buchsbaum si et seulement si A a la cohomologie locale finie. Un morphisme d'anneaux \(u: A\to B\) est appelé pur si pour tout A-module M le morphisme canonique \(u': M\to B\otimes_ AM,\quad u'(x)=1\otimes x,\) est injectif.