Minimal monomial reductions and the reduced fiber ring of an extremal ideal (Q938801): Difference between revisions

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\)).