# zbMATH — the first resource for mathematics

Reduction number bounds on analytic deviation 2 ideals and Cohen- Macaulayness of associated graded rings. (English) Zbl 0831.13002
Let $$I$$ be an ideal of analytic deviation 2 in a Cohen-Macaulay local ring $$R$$. The authors are interested in situations when the associated graded ring $${\mathcal G} (I) = \bigoplus_{n \geq 0} I^n/I^{n + 1}$$ of $$I$$ is Cohen-Macaulay. In theorem 2.10, they prove that $${\mathcal G} (I)$$ is Cohen-Macaulay if the reduction exponent $$r(I) \leq 3$$ and $$\text{depth} (R/I^j) \geq \dim (R/I) - j + 1$$ for $$j = 1,2,3$$ (provided that the reduction number of certain localizations of $$I$$ are 0 or 1); these conditions were originally stated by Z. Tang [Commun. Algebra 22, No. 12, 4855-4898 (1994; Zbl 0803.13003)] in the case $$R$$ is a Gorenstein ring. Next, following ideas of a joint paper by the authors and C. Huneke [J. Pure Appl. Algebra 102, No. 1, 1-15 (1995)] who considered ideals of analytic deviation 1, the authors give bounds for the reduction number of $$I$$, provided $${\mathcal G} (I)$$ and $$R/I$$ are Cohen-Macaulay rings and $$I$$ is minimially generated by height$$(I)$$+3 elements (theorem 3.4). Finally, theorem 4.3 provides an analytic deviation 2 version of a result of I. M. Aberbach and C. Huneke [Math. Ann. 297, No. 2, 343- 369 (1993; Zbl 0788.13001)], characterizing the Cohen-Macaulay property of $${\mathcal G} (I)$$ and the Rees ring $$\bigoplus_{n \geq 0}I^n$$ of a 5- generated perfect height 2 ideal in a four-dimensional Cohen-Macaulay ring by properties of a presentation matrix of $$I$$, by a small reduction number $$(r(I) \leq 3)$$, and by a small relation type number $$(N(I) \leq 4)$$.
Reviewer: J.Ribbe (Köln)

##### MSC:
 13A30 Associated graded rings of ideals (Rees ring, form ring), analytic spread and related topics 13A15 Ideals and multiplicative ideal theory in commutative rings 13H10 Special types (Cohen-Macaulay, Gorenstein, Buchsbaum, etc.)
Full Text:
##### References:
 [1] Aberbach I.M., Reduction numbers, Rees algebras and Pfaffian ideals · Zbl 0838.13003 · doi:10.1016/0022-4049(94)00069-U [2] DOI: 10.1007/BF01459507 · Zbl 0788.13001 · doi:10.1007/BF01459507 [3] Aberbach I.M., Reduction numbers, BrianconSkoda theorems and the depth of Rees rings [4] DOI: 10.1007/BF01163026 · Zbl 0461.14014 · doi:10.1007/BF01163026 [5] Brodmann M., Proc. Am. Math. Soc 74 pp 16– (1979) [6] DOI: 10.1017/S0305004100043620 · doi:10.1017/S0305004100043620 [7] DOI: 10.1016/0021-8693(83)90216-8 · Zbl 0528.13024 · doi:10.1016/0021-8693(83)90216-8 [8] Goto S., Cohen-Macaulay Rees algebras of ideals having analytic deviation two · Zbl 0812.13003 · doi:10.2748/tmj/1178225681 [9] Hochster M., Pacific J. Math 44 pp 147– (1973) · Zbl 0239.13016 · doi:10.2140/pjm.1973.44.147 [10] DOI: 10.2307/2374708 · Zbl 0758.13001 · doi:10.2307/2374708 [11] DOI: 10.2307/2154225 · Zbl 0813.13009 · doi:10.2307/2154225 [12] Huneke C., J. Math 26 pp 121– (1982) [13] DOI: 10.2307/2374083 · Zbl 0505.13003 · doi:10.2307/2374083 [14] Matijevic J., J. Math. Kyoto Univ 14 pp 125– (1974) [15] DOI: 10.1017/S0305004100029194 · doi:10.1017/S0305004100029194 [16] Simis A., Cohen-Macaulay Rees algebras and degress of polynomial relations · Zbl 0819.13003 [17] DOI: 10.2307/2374214 · Zbl 0467.13009 · doi:10.2307/2374214 [18] DOI: 10.1080/00927879408825109 · Zbl 0803.13003 · doi:10.1080/00927879408825109 [19] DOI: 10.1007/BF02572392 · Zbl 0789.13002 · doi:10.1007/BF02572392 [20] DOI: 10.1515/crll.1991.418.189 · Zbl 0727.13002 · doi:10.1515/crll.1991.418.189
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.