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

From MaRDI portal
scientific article
Language Label Description Also known as
English
The strong Rees property of powers of the maximal ideal and Takahashi-Dao's question
scientific article

    Statements

    The strong Rees property of powers of the maximal ideal and Takahashi-Dao's question (English)
    0 references
    18 January 2021
    0 references
    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}
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    number of minimal generators
    0 references
    strong Rees property
    0 references
    powers of the maximal ideal
    0 references
    integrally closed ideal
    0 references
    \(p_g\)-ideal
    0 references
    Ratliff-rush closure
    0 references
    Loewy length
    0 references
    0 references
    0 references
    0 references
    0 references