Embeddings of certain graded rings into their canonical modules
type: Item
instance of: scholarly article
title: Embeddings of certain graded rings into their canonical modules
zbMATH Open document ID: 0988.13005
author: Shiro Goto
author: Shin-ichiro Iai
published in: Journal of Algebra
publication date: 2002-06-24T00:00:00Z
review text: Let \(A\) be a Cohen-Macaulay local ring and \(\mathcal{F}=\{F_i\}_{i\in\mathbb {Z}}\) a filtration of ideals in \(A\). For each filtration \(\mathcal{F}\) one denotes by \(R=\mathcal{R}(\mathcal{F})\), respectively \(G=\mathcal{G}(\mathcal{F})\), the Rees algebra and the associated graded ring of \(\mathcal{F}\). Suppose in addition that \(F_1\neq A\) and \(\mathcal{R}(\mathcal{F})\) is a Noetherian ring. The authors prove the following criterion: Assume that \(A\) is a Gorenstein local ring and \(G\) is a Cohen-Macaulay ring. Let \(\mathcal{A}=\{p\in V(F_1): \text{ht}_Ap=\dim G_p/pG_p\}\). Then \(\mathcal{A}=\text{Ass}_AG\) and the following conditions are equivalent: \((1)\) \(G\) is a Gorenstein ring; \((2)\) there is a monomorphism of graded modules from \(G(a)\) to \(K_G\), where \(a=\text{a}(G)\) denote the a-invariant of \(G\) and \(K_G\) the canonical module of \(G\); \((3)\) \(G_p\) is a Gorenstein ring with \(a=\text{a}(G_p)\) for all \(p\in\mathcal{A}\). Thanks to this criterion one gets the following theorem: Let \(I\neq A\) be an ideal in \(A\) and let \(k\geq 1\) be an integer with \(I^k\neq (0)\). Suppose that \(G=\mathcal{G}(I)\) is a Cohen-Macaulay ring. Then the following conditions are equivalent: \((1)\) \(G\) is a Gorenstein ring and \(a\equiv -1\bmod k\); \((2)\) \(\mathcal{G}(I^k)\) is a Gorenstein ring and \((0):I^i\subseteq I^{a-i+1}\) for all \(1\leq i\leq a\). When this is the case, we have \(\text{a}(\mathcal{G}(I^k))=(a+1)/k-1\). Suppose that the residue field of \(A\) is infinite, and let \(J\) be a minimal reduction of an ideal \(I\neq A\). Then the authors get the following theorem: Assume that \(A\) is a Gorenstein local ring and let \(I\) be an equimultiple ideal in \(A\) with \(\text{ht}_AI\geq 1\). Then the following two conditions are equivalent: \((1)\) \(\mathcal{G}(I)\) is a Gorenstein ring; \((2)\) \(\mathcal{G}(I)\) is a Cohen-Macaulay ring and \(I^r=J^r:I^r\), where \(r\) is the reduction number of \(I\) with respect to \(…
Mathematics Subject Classification ID: 13A30
zbMATH DE Number: 1475253
zbMATH Keywords: Rees algebra
zbMATH Keywords: associated graded ring
zbMATH Keywords: a-invariant
zbMATH Keywords: minimal reduction
zbMATH Keywords: canonical module
zbMATH Keywords: filtration of ideals
reviewed by: Cornel Baetica
MaRDI profile type: Publication
full work available at URL: jabr.1999.8270
OpenAlex ID: W2017151185
cites work: Q4855216
cites work: Q5652785
cites work: Q4274969
cites work: On certain algebras of reduction number one
cites work: On Graded Rings Associated to Analytic Deviation One Ideals
cites work: Graded Cohen-Macaulay rings associated to equimultiple ideals
cites work: The Cohen-Macaulay symbolic Rees algebras for curve singularities
cites work: Q4295719
cites work: Cohen-Macaulay graded rings associated to ideals
cites work: Q4374860
cites work: Q3939915
cites work: On graded rings. I
cites work: Criteria for equality of ordinary and symbolic powers of primes
cites work: Cohen-Macaulay Rings, Invariant Theory, and the Generic Perfection of Determinantal Loci
cites work: The primary components of and integral closures of ideals in 3-dimensional regular local rings
cites work: Powers of Ideals Having Small Analytic Deviation
cites work: Q4040095
cites work: Der kanonische Modul eines Cohen-Macaulay-Rings. (The canonical moduls of a Cohen-Macaulay-ring)
cites work: On the canonical module of the Rees algebra and the associated graded ring of an ideal
cites work: On the Gorenstein property of form rings
cites work: On the Gorenstein property of the associated graded ring of a power of an ideal
cites work: On the Gorensteinness of Rees algebras over local rings
cites work: Q5829838
cites work: On the Gorenstein property of the associated graded ring and the Rees algebra of an ideal
cites work: Q4177688
cites work: When is the rees algebra cohen—macaulay?
cites work: When is the Rees algebra Gorenstein?
cites work: Form rings and regular sequences
cites work: The Dilworth number of Artin Gorenstein rings
DOI: 10.1006/JABR.1999.8270
description: scientific article; zbMATH DE number 1475253