Minimal Monomial Reductions and the Reduced Fiber Ring of an Extremal Ideal

Powers of (monomial) ideals is a subject that still calls attraction in various ways. Let $I\subset \mathbb K[x_1,\ldots,x_n]$ be a monomial ideal and let $G(I)$ denote the (unique) minimal monomial generating set of $I$. How small can $|G(I^i)|$ be in terms of $|G(I)|$? We expect that the inequality $|G(I^2)|>|G(I)|$ should hold and that $|G(I^i)|$, $i\ge 2$, grows further whenever $|G(I)|\ge 2$. In this paper we will disprove this expectation and show that for any $n$ and $...

We consider the fiber cone of monomial ideals. It is shown that for monomial ideals $I\subset K[x,y]$ of height $2$, generated by $3$ elements, the fiber cone $F(I)$ of $I$ is a hypersurface ring, and that $F(I)$ has positive depth for interesting classes of height $2$ monomial ideals $I\subset K[x,y]$, which are generated by $4$ elements. For these classes of ideals we also show that $F(I)$ is Cohen--Macaulay if and only if the defining ideal $J$ of $F(I)$ is generated by at...

In this paper, we show for a monomial ideal $I$ of $K[x_1,x_2,\ldots,x_n]$ that the integral closure $\ol{I}$ is a monomial ideal of Borel type (Borel-fixed, strongly stable, lexsegment, or universal lexsegment respectively), if $I$ has the same property. We also show that the $k^{th}$ symbolic power $I^{(k)}$ of $I$ preserves the properties of Borel type, Borel-fixed and strongly stable, and $I^{(k)}$ is lexsegment if $I$ is stably lexsegment. For a monomial ideal $I$ and a ...

It is well known that in the Noetherian local ring with infinite residue field the reduction of $\mm$-primary ideal may be given in the form of a sufficiently general linear combination of its generators. In the paper we give a condition for the existence of such reduction in terms of the sum of degrees of the ideal fiber cone prime divisors in the case of any Noetherian local ring.

Let $K$ be a field and $P=K[x_1,\dots,x_n]$. The technique of elimination by substitution is based on discovering a coherently $Z=(z_1,\dots,z_s)$-separating tuple of polynomials $(f_1,\dots,f_s)$ in an ideal $I$, i.e., on finding polynomials such that $f_i = z_i - h_i$ with $h_i \in K[X \setminus Z]$. Here we elaborate on this technique in the case when $P$ is non-negatively graded. The existence of a coherently $Z$-separating tuple is reduced to solving several $P_0$-module...

This extended abstract gives a construction for lifting a Gr\"obner basis algorithm for an ideal in a polynomial ring over a commutative ring R under the condition that R also admits a Gr\"obner basis for every ideal in R.

In this thesis, we focus on the study of some classes of monomial ideals, namely lexsegment ideals and monomial ideals with linear quotients.

Let $S=\mathbb{K}[x_1,\ldots,x_n]$ the polynomial ring over a field $\mathbb{K}$. In this paper for some families of monomial ideals $I \subset S$ we study the minimal number of generators of $I^k$. We use this results to find some other Betti numbers of these families of ideals for special choices of $n$, the number of variables.

In this paper we describe an efficient involutive algorithm for constructing Groebner bases of polynomial ideals. The algorithm is based on the concept of involutive monomial division which restricts the conventional division in a certain way. In the presented algorithm a reduced Groebner basis is the internally fixed subset of an involutive basis, and having computed the later, the former can be output without any extra computational costs. We also discuss some accounts of e...

We develop combinatorial tools to study the relationship between the Stanley depth of a monomial ideal $I$ and the Stanley depth of its compliment, $S/I$. Using these results we are able to prove that if $S$ is a polynomial ring with at most 5 indeterminates and $I$ is a square-free monomial ideal, then the Stanley depth of $S/I$ is strictly larger than the Stanley depth of $I$. Using a computer search, we are able to extend this strict inequality up to polynomial rings with ...