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

Publication date 27 August 2008

Published in Illinois Journal of Mathematics (Search for Journal in Brave)

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

extremal ideal minimal monomial reduction monomial ideal reduced fiber ring reduction

Dimension theory, depth, related commutative rings (catenary, etc.) (13C15) Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10)

Abstract: Let

I

be a monomial ideal in a polynomial ring

A = K [x_{1}, ..., x_{n}]

. We call a monomial ideal

J

to be a minimal monomial reduction ideal of

I

if there exists no proper monomial ideal

L s u b s e t J

such that

L

is a reduction ideal of

I

. We prove that there exists a unique minimal monomial reduction ideal

J

of

I

and we show that the maximum degree of a monomial generator of

J

determines the slope

p

of the linear function

e g (I^{t}) = p t + c

for

t g g 0

. We determine the structure of the reduced fiber ring

m a t h c a l F (J)_{e d}

of

J

and show that

m a t h c a l F (J)_{e d}

is isomorphic to the inverse limit of an inverse system of semigroup rings determined by convex geometric properties of

J

.

Review text

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

Recommendations

Cited in

(17)

This page was built for publication: Minimal monomial reductions and the reduced fiber ring of an extremal ideal

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