The associated graded modules of Buchsbaum modules with respect to \({\mathfrak m}\)-primary ideals in the equi-\(\mathbb{I}\)-invariant case
type: Item
instance of: scholarly article
title: The associated graded modules of Buchsbaum modules with respect to \({\mathfrak m}\)-primary ideals in the equi-\(\mathbb{I}\)-invariant case
zbMATH Open document ID: 0982.13001
author: Kikumichi Yamagishi
published in: Journal of Algebra
publication date: 2000-06-22T00:00:00Z
review text: Let \((A,m)\) be a Noetherian local ring with maximal ideal \(m\) of dimension \(d\), and suppose that the residue field \(A/m\) is infinite. Let \(E\) be a finitely generated \(A\)-module of positive dimension \(s\). One denotes by \(h^i(E)\) the length of the \(i\)-th local cohomology module \(H_{m}^i(E)\) of \(E\). The author defines an invariant on \(E\), written \(\mathbb{I}(E)\), as \[ \mathbb{I}(E)=\sum_{i=0}^{s-1}{{s-1}\choose{i}}h^i(E). \] \(E\) is Cohen-Macaulay if and only if \(\mathbb{I}(E)=0\). When \(E\) is a Buchsbaum \(A\)-module, then this invariant \(\mathbb{I}(E)\) coincides with the Buchsbaum invariant of \(E\), i. e. \(l_A(E/qE)-e_q(E)\), where \(q\) is a parameter ideal of \(E\), and \(l_A(*)\) and \(e_q(*)\) denote the length and the multiplicity with respect to \(q\) (of an \(A\)-module). Let \(a\) still be an ideal in \(A\) and assume that \(l_A(E/aE)<\infty\). For the associated graded module of \(E\) with respect to \(a\), written \(G_a(E)\), one gets \(\mathbb{I}(G_a(E))\geq \mathbb{I}(E)\). The author remarks that most of the associated graded rings/modules, which are realized to be Buchsbaum, satisfy the equation \(\mathbb{I}(G_a(E))=\mathbb{I}(E)\). Consequently, these observations led him to the investigation of the case that the equation \(\mathbb{I}(G_a(E))= \mathbb{I}(E)\) holds. Actually, the author proves the following (under the above conditions): Let \(E\) be a Buchsbaum \(A\)-module \(E\) such that \(\mathbb{I}(G_a(E))=\mathbb{I}(E)\). Then the associated graded module \(G_a(E)\) is a Buchsbaum module over \(R(a)\), the Rees algebra of \(a\), and hence over \(G(a)\), the associated graded ring of \(a\). As a consequence it deserves to mention the following corollaries: (1) Let \(E\) be a Buchsbaum \(A\)-module. Then \(G_{q^n}(E)\) is a Buchsbaum \(G(q^n)\)-module for every parameter ideal \(q\) of \(E\) and integer \(n\geq 2\); (2) If \(A\) is a Buchsbaum ring of maximal embedding dimension, then \(G(m^n)\) is a Buchsbaum ring…
Mathematics Subject Classification ID: 13A30
Mathematics Subject Classification ID: 13H10
Mathematics Subject Classification ID: 13D45
zbMATH DE Number: 1423601
zbMATH Keywords: Buchsbaum module
zbMATH Keywords: associated graded module
zbMATH Keywords: \(\mathbb{I}\)-invariant
zbMATH Keywords: local cohomology module
zbMATH Keywords: Buchsbaumness
reviewed by: Cornel Baetica
MaRDI profile type: Publication
full work available at URL: jabr.1999.8063
OpenAlex ID: W2003687804
cites work: Graded algebras of powers of ideals generated by A-sequences
cites work: Buchsbaum rings of maximal embedding dimension
cites work: On the associated graded rings of parameter ideals in Buchsbaum rings
cites work: Noetherian local rings with Buchsbaum associated graded rings
cites work: Buchsbaumness in Rees algebras associated to ideals of minimal multiplicity
cites work: On graded rings. I
cites work: The theory of d-sequences and powers of ideals
cites work: Tight Closure, Invariant Theory, and the Briancon-Skoda Theorem
cites work: On Macaulayfication obtained by a blow-up whose center is an equi-multiple ideal. (With an appendix by Kikumichi Yamagishi)
cites work: On the Buchsbaum property of associated graded rings
cites work: Dualisierende Komplexe in der lokalen Algebra und Buchsbaum-Ringe
cites work: Standard systems of parameters and their blowing-up rings.
cites work: Verallgemeinerte COHEN-MACAULAY-Moduln
cites work: Q3744271
cites work: Toward a theory of generalized Cohen-Macaulay modules
cites work: Certain graded algebras are always Cohen-Macaulay
cites work: Idealizations of maximal Buchsbaum modules over a Buchsbaum ring
DOI: 10.1006/JABR.1999.8063
description: scientific article; zbMATH DE number 1423601