We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:


Current browse context:


Change to browse by:

References & Citations


(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Mathematics > Commutative Algebra

Title: Itoh's conjecture for normal ideals

Abstract: Let $(A,\mathfrak{m})$ be an analytically unramified Cohen-Macaulay local ring and let $\mathfrak{a}$ be an $\mathfrak{m}$-primary ideal in $A$. If $I$ is an ideal in $A$ then let $I^*$ be the integral closure of $I$ in $A$. Let $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 $\mathfrak{a}$. Itoh conjectured that if $e_3^{\mathfrak{a}^*}(A) = 0$ and $A$ is Gorenstein then $G_{\mathfrak{a}}(A)^* $ is Cohen-Macaulay. In this paper we prove an important case of Itoh's conjecture: we show that if $A$ is Cohen-Macaulay and if $\mathfrak{a}$ is normal (i.e., $\mathfrak{a}^n$ is integrally closed for all $n \geq 1$) with $e_3^\mathfrak{a}(A) = 0$ then $G_\mathfrak{a}(A)$ is Cohen-Macaulay.
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
Subjects: Commutative Algebra (math.AC)
MSC classes: Primary 13A30, 13D45, Secondary 13H10, 13H15
Cite as: arXiv:2205.10615 [math.AC]
  (or arXiv:2205.10615v1 [math.AC] for this version)

Submission history

From: Tony Puthenpurakal [view email]
[v1] Sat, 21 May 2022 14:58:07 GMT (25kb)

Link back to: arXiv, form interface, contact.