English

Itoh's conjecture for normal ideals

Commutative Algebra 2022-11-29 v2

Abstract

Let (A,m)(A,\mathfrak{m}) be an analytically unramified Cohen-Macaulay local ring and let a\mathfrak{a} be an m\mathfrak{m}-primary ideal in AA. If II is an ideal in AA then let II^* be the integral closure of II in AA. Let Ga(A)=n0(an)/(an+1)G_{\mathfrak{a}}(A)^* = \bigoplus_{n\geq 0 }(\mathfrak{a}^n)^*/(\mathfrak{a}^{n+1})^* be the associated graded ring of the integral closure filtration of a\mathfrak{a}. Itoh conjectured that if e3a(A)=0e_3^{\mathfrak{a}^*}(A) = 0 and AA is Gorenstein then Ga(A)G_{\mathfrak{a}}(A)^* is Cohen-Macaulay. In this paper we prove an important case of Itoh's conjecture: we show that if AA is Cohen-Macaulay and if a\mathfrak{a} is normal (i.e., an\mathfrak{a}^n is integrally closed for all n1n \geq 1) with e3a(A)=0e_3^\mathfrak{a}(A) = 0 then Ga(A)G_\mathfrak{a}(A) is Cohen-Macaulay.

Keywords

Cite

@article{arxiv.2205.10615,
  title  = {Itoh's conjecture for normal ideals},
  author = {Tony J. Puthenpurakal},
  journal= {arXiv preprint arXiv:2205.10615},
  year   = {2022}
}

Comments

This paper consists of part of the author's paper arXiv:0807.0471 . This was done due to advice of some of my colleagues. The other parts of arXiv:0807.0471 will be published later in a separate paper. In the revised version of this paper we have quite a few details and clarified a few points (especially with shifts of a graded module)

R2 v1 2026-06-24T11:24:19.104Z