We show that $\depth(S/I)=0$ if and only if $\sdepth(S/I)=0$, where $I\subset S=K[x_1,...,x_n]$ is a monomial ideal. We give an algorithm to compute the Stanley depth of $S/I$, where $I\subset S=K[x_1,x_2,x_3]$ is a monomial ideal. Also, we prove that a monomial ideal $I\subset K[x_1,x_2,x_3]$ minimally generated by three monomials has $\sdepth(I)=2$.
We compute the Stanley depth of irreducible monomial ideals and we show that the Stanley depth of a monomial complete intersection ideal is the same as the Stanley depth of it's radical. Also, we give some bounds for the Stanley depth of a monomial complete intersection ideal.
Lyubeznik introduced the concept of size of a monomial ideal and showed that the size of a monomial ideal increased by $1$ is a lower bound for its depth. We show that the size is also a lower bound for its Stanley depth. Applying Alexander duality we obtain upper bounds for the regularity and Stanley regularity of squarefree monomial ideals.
Let $I\supsetneq J$ be two monomial ideals of a polynomial algebra over a field generated in degree $\geq d$, resp. $\geq d+1$ . We study when the Stanley Conjecture holds for $I/J$ using the recent result of \cite{IKM} concerning the polarization.
We prove that the Stanley's conjecture holds for monomial ideals $I\subset K[x_1,...,x_n]$ generated by at most $2n-1$ monomials, i.e. $sdepth(I)\geq depth(I)$.
Let $I$ be an $m$-generated complete intersection monomial ideal in $S=K[x_1,...,x_n]$. We show that the Stanley depth of $I$ is $n-\floor{\frac{m}{2}}$. We also study the upper-discrete structure for monomial ideals and prove that if $I$ is a squarefree monomial ideal minimally generated by 3 elements, then the Stanley depth of $I$ is $n-1$.
We show that the Stanley's Conjecture holds for an intersection of four monomial prime ideals of a polynomial algebra $S$ over a field and for an arbitrary intersection of monomial prime ideals $(P_i)_{i\in [s]}$ of $S$ such that $P_i\not\subset Σ_{1=j\not =i}^s P_j$ for all $i\in [s]$.
The Lyubeznik size of a monomial ideal $I$ of a polynomial ring $S$ is a lower bound for the Stanley depth of $I$ decreased by $1$. A proof given by Herzog-Popescu-Vladoiu had a gap which is solved here.
Let $I\supsetneq J$ be two squarefree monomial ideals of a polynomial algebra over a field generated in degree $\geq d$, resp. $\geq d+1$ . Suppose that $I$ is either generated by four squarefree monomials of degrees $d$ and others of degrees $\geq d+1$, or by five special monomials of degrees $d$. If the Stanley depth of $I/J$ is $\leq d+1$ then the usual depth of $I/J$ is $\leq d+1$ too.
Let $J\subset I$ be monomial ideals. We show that the Stanley depth of $I/J$ can be computed in a finite number of steps. We also introduce the $\fdepth$ of a monomial ideal which is defined in terms of prime filtrations and show that it can also be computed in a finite number of steps. In both cases it is shown that these invariants can be determined by considering partitions of suitable finite posets into intervals.
In this paper we show that the depth and the Stanley depth of the factor of two monomial ideals is invariant under taking a so called canonical form. It follows easily that the Stanley Conjecture holds for the factor if and only if it holds for its canonical form. In particular, we construct an algorithm which simplifies the depth computation and using the canonical form we massively reduce the run time for the sdepth computation.
Let $I$ be a weakly polymatroidal ideal or a squarefree monomial ideal of a polynomial ring $S$. In this paper we provide a lower bound for the Stanley depth of $I$ and $S/I$. In particular we prove that if $I$ is a squarefree monomial ideal which is generated in a single degree, then ${\rm sdepth}(I)\geq n-\ell(I)+1$ and ${\rm sdepth}(S/I)\geq n-\ell(I)$, where $\ell(I)$ denotes the analytic spread of $I$. This proves a conjecture of the author in a special case.
In this paper, we prove that if $I\subset S:=K[x_1,...,x_n]$ is a monomial ideal then $I$ and $S/I$ satisfy the Stanley conjecture when $I$ has a small number of generators, with respect to $\depth(S/I)$ and $\max\{|P|:\;P\in\Ass(S/I)\}$. In particular, if $I$ be a monomial almost complete intersection ideal in $S$, then Stanley's Conjecture holds for $S/I$ and $I$.
We show that Stanley's Conjecture holds for square free monomial ideals in five variables, that is the Stanley depth of a square free monomial ideal in five variables is greater or equal with its depth.
Let S=K[x_1,x_2,...,x_n] be a polynomial ring in n variables over a field K. Stanley's conjecture holds for the modules I and S/I, when I is a critical monomial ideal. We calculate the Stanley depth of S/I when I is a canonical critical monomial ideal. For non critical monomial ideals we show the existence of a Stanley ideal with the same depth and Hilbert function.
We study Stanley decompositions and show that Stanley's conjecture on Stanley decompositions implies his conjecture on partitionable Cohen-Macaulay simplicial complexes. We also prove these conjectures for all Cohen-Macaulay monomial ideals of codimension 2 and all Gorenstein monomial ideals of codimension 3.
In analogy to the skeletons of a simplicial complex and their Stanley--Reisner ideals we introduce the skeletons of an arbitrary monomial ideal $I\subset S=K[x_1,...,x_n]$. This allows us to compute the depth of $S/I$ in terms of its skeleton ideals. We apply these techniques to show that Stanley's conjecture on Stanley decompositions of $S/I$ holds provided it holds whenever $S/I$ is Cohen--Macaulay. We also discuss a conjecture of Soleyman-Jahan and show that it suffices to prove his conjecture for monomial ideals with linear resolution.
Let $I\subset J$ be monomial ideals of a polynomial algebra $S$ over a field. Then the Stanley depth of $J/I$ is smaller or equal with the Stanley depth of $\sqrt{J}/\sqrt{I}$. We give also an upper bound for the Stanley depth of the intersection of two primary monomial ideals $Q$, $Q'$, which is reached if $Q$, $Q'$ are irreducible, ht$(Q+Q')$ is odd and $\sqrt{Q}$, $\sqrt{Q'}$ have no common variable.
Let $Q$ and $Q'$ be two monomial primary ideals of a polynomial algebra $S$ over a field. We give an upper bound for the Stanley depth of $S/(Q\cap Q')$ which is reached if $Q$,$Q'$ are irreducible. Also we show that Stanley's Conjecture holds for $Q_1\cap Q_2$, $S/(Q_1\cap Q_2\cap Q_3)$, $(Q_i)_i$ being some irreducible monomial ideals of $S$.
Let $S$ be a polynomial algebra over a field. We study classes of monomial ideals (as for example lexsegment ideals) of $S$ having minimal depth. In particular, Stanley's conjecture holds for these ideals. Also we show that if Stanley's conjecture holds for a square free monomial ideal then it holds for all its trivial modifications.
Let $\mathbb{K}$ be a field and $S=\mathbb{K}[x_1,\dots,x_n]$ be the polynomial ring in $n$ variables over $\mathbb{K}$. In 1982, R. Stanley associated a combinatorial invariant to any finitely generated $\mathbb{Z}^n$-graded $S$-module which is now called Stanley depth. Stanley conjectured that this invariant is an upper bound for the depth of module. Stanley's conjecture has been disproved by Duval et al. \cite{abcj}, and the counterexample is a quotient of squarefree monomial ideals. On the other hand, there are evidences showing that Stanley's inequality can be true for high powers of mono…
Let $K$ be a field and $I$ a monomial ideal of the polynomial ring $S=K[x_1,\ldots, x_n]$. We show that if either: 1) $I$ is almost complete intersection, 2) $I$ can be generated by less than four monomials; or 3) $I$ is the Stanley-Reisner ideal of a locally complete intersection simplicial complex on $[n]$, then Stanley's conjecture holds for $S/I$.
Let $\mathbb{K}$ be a field and $S=\mathbb{K}[x_1,...,x_n]$ be the polynomial ring in $n$ variables over the field $\mathbb{K}$. For every monomial ideal $I\subset S$, We provide a recursive formula to determine a lower bound for the Stanley depth of $S/I$. We use this formula to prove the inequality ${\rm sdepth}(S/I)\geq {\rm size}(I)$ for a particular class of monomial ideals.
The aim of this paper is to study the Stanley depth of symbolic powers of a squarefree monomial ideal. We prove that for every squarefree monomial ideal $I$ and every pair of integers $k, s\geq 1$, the inequalities ${\rm sdepth} (S/I^{(ks)}) \leq {\rm sdepth} (S/I^{(s)})$ and ${\rm sdepth} (I^{(ks)}) \leq {\rm sdepth} (I^{(s)})$ hold. If moreover $I$ is unmixed of height $d$, then we show that for every integer $k\geq1$, ${\rm sdepth}(I^{(k+d)})\leq {\rm sdepth}(I^{(k)})$ and ${\rm sdepth}(S/I^{(k+d)})\leq {\rm sdepth}(S/I^{(k)})$. Finally, we consider the limit behavior of the Stanley depth o…
Stanley proved that, in characteristic zero, all artinian monomial complete intersections have the strong Lefschetz property. We provide a positive characteristic complement to Stanley's result in the case of artinian monomial complete intersections generated by monomials all of the same degree, and also for arbitrary artinian monomial complete intersections in characteristic two. To establish these results, we first prove an a priori lower bound on the characteristics that guarantee the Lefschetz properties. We then use a variety of techniques to complete the classifications.
Let $I\supsetneq J$ be two square free monomial ideals of a polynomial algebra over a field generated in degree $\geq 1$, resp. $\geq 2$ . Almost always when $I$ contains precisely one variable, the other generators having degrees $\geq 2$, if the Stanley depth of $I/J$ is $\leq 2$ then the usual depth of $I/J$ is $\leq 2$ too, that is the Stanley Conjecture holds in these cases.
Let $I$ be an ideal of a polynomial algebra over a field, generated by $r$ square free monomials of degree $d$. If $r$ is bigger (or equal, if $I$ is not principal) than the number of square free monomials of $I$ of degree $d+1$, then $\depth_SI= d$. Let $J\subsetneq I$, $J\not =0$ be generated by square free monomials of degree $\geq d+1$. If $r$ is bigger than the number of square free monomials of $I\setminus J$ of degree $d+1$, or more generally the Stanley depth of $I/J$ is $d$, then $\depth_SI/J= d$. In particular, Stanley's Conjecture holds in theses cases.
Let $I$ be an intersection of three monomial prime ideals of a polynomial algebra $S$ over a field. We give a special Stanley decomposition of $I$ which provides a lower bound of the Stanley depth of $I$, greater than or equal to $\depth\ (I)$, that is, Stanley's Conjecture holds for $I$.
Let $\mathbb{K}$ be a field and $S=\mathbb{K}[x_1,\dots,x_n]$ be the polynomial ring in $n$ variables over the field $\mathbb{K}$. Suppose that $\mathcal{C}$ is a chordal clutter with $n$ vertices and assume that the minimum edge cardinality of $\mathcal{C}$ is at least $d$. It is shown that $S/I(c_d(\mathcal{C}))$ satisfies Stanley's conjecture, where $I(c_d(\mathcal{C}))$ is the edge ideal of the $d$-complement of $\mathcal{C}$. This, in particular shows that $S/I$ satisfies Stanley's conjecture, where $I$ is a quadratic monomial ideal with linear resolution. We also define the notion of Sch…
We show that Stanley's conjecture holds for a polynomial ring over a field in four variables. In the case of polynomial ring in five variables, we prove that the monomial ideals with all associated primes of height two, are Stanley ideals.
Let $\mathbb{K}$ be a field, and let $S=\mathbb{K}[X_1, ..., X_n]$ be the polynomial ring. Let $I$ be a monomial ideal of $S$ with up to 5 generators. In this paper, we present a computational experiment which allows us to prove that $\mathrm{depth}_S S/I = \mathrm{sdepth}_S S/I < \mathrm{sdepth}_S I$. This shows that the Stanley conjecture is true for $S/I$ and $I$, if $I$ can be generated by at most 5 monomials. The result also brings additional computational evidence for a conjecture made by Herzog.
We investigate the rational powers of ideals. We find that in the case of monomial ideals, the canonical indexing leads to a characterization of the rational powers yielding that symbolic powers of squarefree monomial ideals are indeed rational powers themselves. Using the connection with symbolic powers techniques, we use splittings to show the convergence of depths and normalized Castelnuovo-Mumford regularities. We show the convergence of Stanley depths for rational powers, and as a consequence of this we show the before-now unknown convergence of Stanley depths of integral closure powers. …
Let $J\varsubsetneq I$ be two monomial ideals of the polynomial ring $S=\mathbb{K}[x_1,\ldots,x_n]$. In this paper, we provide two lower bounds for the Stanley depth of $I/J$. On the one hand, we introduce the notion of lcm number of $I/J$, denoted by $l(I/J)$, and prove that the inequality ${\rm sdepth}(I/J)\geq n-l(I/J)+1$ hold. On the other hand, we show that ${\sdepth}(I/J)\geq n-\dim L_{I/J}$, where $\dim L_{I/J}$ denotes the order dimension of the lcm lattice of $I/J$. We show that $I$ and $S/I$ satisfy Stanley's conjecture, if either the lcm number of $I$ or the order dimension of the l…
We give different bounds for the Stanley depth of a monomial ideal $I$ of a polynomial algebra $S$ over a field $K$. For example we show that the Stanley depth of $I$ is less or equal with the Stanley depth of any prime ideal associated to $S/I$. Also we show that the Stanley conjecture holds for $I$ and $S/I$ when the associated prime ideals of $S/I$ are generated by disjoint sets of variables.
Let $I\subset S=\KK[x_1,...,x_n]$ be an ideal generated by squarefree monomials of degree $\ge d$. If the number of degree $d$ minimal generating monomials $μ_d(I)\le \min(\binom{n}{d+1},\sum_{j=1}^{n-d}\binom{2j-1}{j})$, then the Stanley depth $\sdepth_S(I)\ge d+1$.
Let $I$ be a monomial ideal in the polynomial ring $S=\mathbb{K}[x_1,...,x_n]$. We study the Stanley depth of the integral closure $\bar{I}$ of $I$. We prove that for every integer $k\geq 1$, the inequalities ${\rm sdepth} (S/\bar{I^k}) \leq {\rm sdepth} (S/\bar{I})$ and ${\rm sdepth} (\bar{I^k}) \leq {\rm sdepth} (\bar{I})$ hold. We also prove that for every monomial ideal $I\subset S$ there exist integers $k_1,k_2\geq 1$, such that for every $s\geq 1$, the inequalities ${\rm sdepth} (S/I^{sk_1}) \leq {\rm sdepth} (S/\bar{I})$ and ${\rm sdepth} (I^{sk_2}) \leq {\rm sdepth} (\bar{I})$ hold. In…
We introduce the concept of Stanley decompositions in the localized polynomial ring $S_f$ where $f$ is a product of variables, and we show that the Stanley depth does not decrease upon localization. Furthermore it is shown that for monomial ideals $J\subset I\subset S_f$ the number of Stanley spaces in a Stanley decomposition of $I/J$ is an invariant of $I/J$. For the proof of this result we introduce Hilbert series for $\ZZ^n$-graded $K$-vector spaces.
We give an upper bound for the Stanley depth of the edge ideal $I$ of a $k$-partite complete graph and show that Stanley's conjecture holds for $I$. Also we give an upper bound for the Stanley depth of the edge ideal of a $k$-uniform complete bipartite hypergraph.
We show that for proving the Stanley conjecture, it is sufficient to consider a very special class of monomial ideals. These ideals (or rather their lcm lattices) are in bijection with the simplicial spanning trees of skeletons of a simplex. We apply this result to verify the Stanley conjecture for quotients of monomial ideals with up to six generators. For seven generators we obtain a partial result.
Two-dimensional squarefree monomial ideals can be seen as the Stanley-Reisner ideals of graphs. The main results of this paper are combinatorial characterizations for the Cohen-Macaulayness of ordinary and symbolic powers of such an ideal in terms of the associated graph.
In this paper we study the behavior of the size of a monomial ideal under polarization and under generic deformations. As an application, we extend a result relating the size and the Stanley depth of a squarefree monomial ideal obtained by Herzog, Popescu and Vladoiu, together with a parallel result obtained by Tang.
We have introduced the Janet's algorithm for the Stanley decomposition of a monomial ideal I in a polynomial ring S = K[x_1,...,x_n] and prove that Janet's algorithm gives the squarefree Stanley decomposition of S/I for a squarefree monomial ideal I. We have also shown that the Janet's algorithm gives a partition of a simplicial complex.
The aim of this paper is to give a formula for the Stanley depth of quotient of powers of the path ideal. As a consequence, we establish that the behaivior of the Stanley depth of quotient of powers of the path ideal is the same as a classical result of Brodmann on depth.
We give tight bounds for the Stanley depth of the quotient ring of the path ideal of a cycle graph. In particular, we prove that it satisfies the Stanley inequality.
If $J\subset I$ are two monomials ideals, we give a practical upper bound for the Stanley depth of $J/I$, which we call it the \emph{quasi-depth} of $J/I$. Also, we compute the quasi-depth of several classes of square free monomial ideals. We also study the Stanley depth of the monomial ideal associated of the independent sets of a graph.
We show that the Stanley-Reisner ideal of the one-dimensional simplicial complex whose diagram is an $n$-gon is always a set-theoretic complete intersection in any positive characteristic.
We study basic properties of monomial ideals with linear quotients. It is shown that if the monomial ideal $I$ has linear quotients, then the squarefree part of $I$ and each component of $I$ as well as $\mm I$ have linear quotients, where $\mm$ is the graded maximal ideal of the polynomial ring. As an analogy to the Rearrangement Lemma of Björner and Wachs we also show that for a monomial ideal with linear quotients the admissible order of the generators can be chosen degree increasingly. As a generalization of the facet ideal of a forest, we define monomial ideals of forest type and show that…
Let $I$ be a monomial ideal of the polynomial ring $S=K[x_1,...,x_4]$ over a field $K$. Then $S/I$ is sequentially Cohen-Macaulay if and only if $S/I$ is pretty clean. In particular, if $S/I$ is sequentially Cohen-Macaulay then $I$ is a Stanley ideal.
When a cone is added to a simplicial complex $Δ$ over one of its faces, we investigate the relation between the arithmetical ranks of the Stanley-Reisner ideals of the original simplicial complex and the new simplicial complex $Δ'$. In particular, we show that the arithmetical rank of the Stanley-Reisner ideal of $Δ'$ equals the projective dimension of the Stanley-Reisner ring of $Δ'$ if the corresponding equality holds for $Δ$.
In this paper we show that the Stanley depth, as well as the usual depth, are essentially determined by the lcm-lattice. More precisely, we show that for quotients $I/J$ of monomial ideals $J\subset I$, both invariants behave monotonic with respect to certain maps defined on their lcm-lattice. This allows simple and uniform proofs of many new and known results on the Stanley depth. In particular, we obtain a generalization of our result on polarization presented in the reference [IKMF14]. We also obtain a useful description of the class of all monomial ideals with a given lcm-lattice, which is…