Minimal monomial reductions and the reduced fiber ring of an extremal ideal (Q938801)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Minimal monomial reductions and the reduced fiber ring of an extremal ideal
scientific article

    Statements

    Minimal monomial reductions and the reduced fiber ring of an extremal ideal (English)
    0 references
    0 references
    27 August 2008
    0 references
    Let \(R\) be a ring and \(I\) a nonzero ideal of \(R\). A subideal \(J\) of \(I\) is a reduction of \(I\) if \(JI^{n}=I^{n+1}\) for some positive integer \(n\). This paper deals with the minimal monomial reduction and the reduced fiber ring of an extremal ideal. Let \(I\) be a monomial ideal in a polynomial ring \(R=K[X_{1}, \dots, X_{n}]\) (\(K\) is a field), \(G(I)\) be the unique minimal monomial set of generators of \(I\) and for a graded reduction \(J\) of \(I\), let \(\Theta(J)\) denotes the maximum of the degrees of elements in \(G(J)\). Let \(\text{conv}(I)\) denotes the convex hull of the elements of the set \(\Gamma(I)\) in \(\mathbb{R}^{n}\) (note that \(\Gamma(I)\subseteq \mathbb{N}^{n}\) is the set of exponents of the monomials in \(I\)) and \(\text{ext}(I)\) denotes the extreme points of \(\text{conv}(I)\). A monomial ideal \(I\) is said to be extremal if \(\Gamma(G(I))=ext(I)\). Let \(\mathcal{F}_{c}\) be the set of all compact faces of \(\text{conv}(I)\) and let \(\mathcal{F}(I)=\mathcal{R}(I)/\wp\mathcal{R}(I)=\bigoplus_{n\geq 0}I^{n}/I^{n}\wp\) be the fiber ring of \(I\), where \(\mathcal{R}(I)\) is the Rees ring and \(\wp=(X_{1}, \dots, X_{n})\) the graded maximal ideal of \(R\). In section 2, the author proved that for a monomial ideal \(I\) with \(\text{ext}(I)=\{a_{1},\dots, a_n\}\), the ideal \(J=(X^{a_{1}}, \dots, X^{a_{n}})\) is the unique minimal monomial reduction of \(I\), and consequently \(J^{[m]}=(X^{ma_{1}}, \dots, X^{ma_{n}})\) is the unique minimal monomial reduction of \(I^{m}\) for all \(m\). Moreover, the minimal monomial reduction \(J\) of \(I\) is a Kodiyalam reduction, that is, \(\Theta(J)=p\), where \(p\) is the coefficient of the function regularity of \(I^{t}\) for \(t\) enough large (equivalently \(p=\max\{\deg X^{a}| a\in \text{ext}(I)\}\)). In the third section, the author gave a description of the faces of \(\text{conv}(I^{m})\) and compared the supporting hyperplanes and the faces of \(\text{conv}(I^{m})\) and \(\text{conv}(I^{n})\) for two positive integers \(m\) and \(n\). The fourth section deals with the reduced fiber ring of an extremal ideal. One of the main results asserted that \(\mathcal{F}(J)_{red}\cong \underline {lim}_{F\in \mathcal{F}_{c}} K[F]\). As an application, if \(l=\dim\mathcal{F}(I)\) is the analytic spread of \(I\), then \(l=\max\{\dim F| F\) is a compact face of \(\text{conv}(I)\} + 1\). The paper closes with a fifth section about the reduction number of a monomial ideal. Among others, the author proved that if \(I\) is a monomial ideal, \(l\) its analytic spread and \(J\) its minimal monomial reduction, then \(\overline{I^{m}}=J\overline{I^{m-1}}\) for all \(m\geq l\) where \(\bar{A}\) denotes the integral closure of \(A\). In particular if \(I^{a}\) is integrally closed for all \(a\leq l-1\), then \(I^{l}=JI^{l-1}\) and \(I\) is normal (i.e. \(I^{s}\) is integrally closed for all \(s\)).
    0 references
    reduction
    0 references
    monomial ideal
    0 references
    minimal monomial reduction
    0 references
    reduced fiber ring
    0 references
    extremal ideal
    0 references

    Identifiers