The strong Rees property of powers of the maximal ideal and Takahashi-Dao's question

DOI10.1016/J.JALGEBRA.2018.07.028MaRDI QIDQ2219015zbMATH OpenOpenAlexFDO

Authors Tony J. Puthenpurakal, Kei-Ichi Watanabe, Ken-Ichi Yoshida

Publication date 18 January 2021

Published in Journal of Algebra (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1708.06090

\(p_g\)-ideal integrally closed ideal Loewy length number of minimal generators powers of the maximal ideal Ratliff-rush closure strong Rees property

Mathematics Subject Classification ID

Associated graded rings of ideals (Rees ring, form ring), analytic spread and related topics (13A30) Integral closure of commutative rings and ideals (13B22) Multiplicity theory and related topics (13H15) Singularities in algebraic geometry (14B05)

Abstract: In this paper, we introduce the notion of the strong Rees property (SRP) for

m a t h f r a k m

-primary ideals of a Noetherian local ring and prove that any power of the maximal ideal

m a t h f r a k m

has its property if the associated graded ring

G

of

m a t h f r a k m

satisfies

e x t d e p t h G g e 2

. As its application, we characterize two-dimensional excellent normal local domains so that

m a t h f r a k m

is a

p_{g}

-ideal. Finally we ask what

m a t h f r a k m

-primary ideals have SRP and state a conjecture which characterizes the case when

m a t h f r a k m^{n}

are the only ideals which have SRP.

Review text

For a local noetherian ring \((A,\mathfrak{m})\), the concept of \(\mathfrak{m}\)-full ideal was introduced by D. Rees and \textit{J. Watanabe} [Nagoya Math. J. 106, 101--111 (1987; Zbl 0623.13012)]. An \(\mathfrak{m}\)-primary ideal \(I\) is said to be \(\mathfrak{m}\)-full if there exists \(x \in \mathfrak{m}\) such that \((\mathfrak{m} I : x)=I\). They also proved that these ideals satisfy the ``Rees property; that is, for every ideal \(J\) containing \(I\) we have \(\mu(J) \leq \mu(I)\), where \(\mu(I)\) denotes the minimal number of generators of \(I\). Motivated by an inequality of H. Dao relating the minimal number of generators \(\mu(I)\), the multiplicity \(e(I)\), and the Loewy length \(\ell\ell(I)=\min\{ n \mid \mathfrak{m}^n \subseteq I \}\), in this paper the authors introduce the notion of ``strong Rees property for an \(\mathfrak{m}\)-primary ideal \(I\) by requiring \(\mu(J) < \mu(I)\) for every ideal \(J\) strictly containing \(I\). If the depth of the associated graded ring \(G_\mathfrak{m}(A)\) is at least two, the authors prove that all the powers of the maximal ideal satisfy the strong Rees property, and, as an application, are able to answer a question of Takahashi and Dao. If \((A,\mathfrak{m})\) is a two-dimensional excellent normal local domain containing an algebraically closed field, then the following are equivalent: \begin{enumerate} \item the Rees algebra of the ideal \(\mathfrak{m}\) is a Cohen-Macaulay normal domain; \item the inequality \((\mu(I)-1)\ell\ell(I) \geq e(I)\) holds for every \(\mathfrak{m}\)-primary integrally closed ideal \(I\); \item the inequality \((\mu(I)-1)\ell\ell(I) \geq e(I)\) holds for every power \(I=\mathfrak{m}^r\) of the maximal ideal. \end{enumerate}

Recommendations

Cites work

Cited in

(4)

This page was built for publication: The strong Rees property of powers of the maximal ideal and Takahashi-Dao's question

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2219015)