arXiv:1803.00730v1 [] 2 Mar 2018

ON STABILITY PROPERTIES OVER POWERS OF
POLYMATROIDAL IDEALS
SHOKOUFE KARIMI AND AMIR MAFI
Abstract. Let R = K[x1 , ..., xn ] be the polynomial ring in n variables over a
filed K with the maximal ideal m = (x1 , ..., xn ). Let astab(I) and dstab(I) be the
smallest integer n for which Ass(I n ) and depth(I n ) stabilize, respectively. In this
paper we show that astab(I) = dstab(I) in the following cases:
(i) I is a matroidal ideal and n ≤ 5.
(ii) I is a polymatroidal ideal, n = 4 and m ∈
/ Ass∞ (I), where Ass∞ (I) is the
stable set of associated prime ideals of I.
(iii) I is a polymatroidal ideal of degree 2.
Moreover, we give a counterexample such that the equality of astab(I) = dstab(I)
is not true for all polymatroidal ideals I, in general.

Introduction
Throughout this paper, we assume that R = K[x1 , ..., xn ] is the polynomial ring in
n variables over a filed K with the maximal ideal m = (x1 , ..., xn ), I a monomial ideal
of R and G(I) the unique minimal monomial generators set of I. It is customary to
denote by Ass(I) the set of associated prime ideals of R/I. Brodmann [4] showed
that there exists an integer k0 such that Ass(I k ) = Ass(I k0 ) for all k ≥ k0 . The
smallest such integer k0 is called the index of Ass-stability of I, and denoted by
astab(I). Moreover, Ass(I k0 ) is called the stable set of associated prime ideals of I.
It is denoted by Ass∞ (I). Brodmann [5] also showed that there exists an integer k0
such that depth R/I k = depth R/I k0 for all k ≥ k0 . The smallest such integer k0 is
called the index of depth stability of I and denoted by dstab(I). This stable depth
is called the limit depth of I, and is denoted by limk→∞ depth R/I k . Moreover, he
proved that
lim depth R/I k ≤ n − ℓ(I), (†)
k→∞

where ℓ(I) is the analytic spread of I, that is, the dimension of R(I)/mR(I). Here
R(I) = ⊕k≥0 I k tk is the Rees ring of I. Eisenbud and Huneke [11] showed the
equality (†) holds, if the associated graded ring grI (R) is Cohen-Macaulay.
Herzog and Mafi [17] proved that if n = 3 then, for any graded ideal I of R,
astab(I) = dstab(I). Also, they showed that for n = 4 the indices astab(I) and
dstab(I) are unrelated. Herzog, Rauf and Vladoiu [19] showed that for every polymatroidal ideal of Veronese type astab(I) = dstab(I) and for every transversal
polymatroidal ideal astab(I) = 1 = dstab(I). Herzog and Qureshi [18] proved that
2010 Mathematics Subject Classification. 13A15, 13A30, 13C15.
Key words and phrases. Associated primes, polymatroidal ideal, depth stability number.
1

if I is a polymatroidal ideal of R, then astab(I), dstab(I) < ℓ(I) and they conjectured that astab(I) = dstab(I) for all polymatroidal ideal I. In this paper we study
this conjecture. More precisely, our main results of this paper are as follows:
Theorem 0.1. Let one of the following cases holds:
(i)
(ii)
(iii)
(iv)

I
I
I
I

is a matroidal ideal and n ≤ 5.
is a polymatroidal ideal, n = 4 and m ∈
/ Ass∞ (I).
is a polymatroidal ideal of degree 2.
satisfying in the strong exchange property.

Then astab(I) = dstab(I).
In addition, we give a counterexample such that the Herzog and Qureshi’s conjecture is not true for all polymatroidal ideals I.
For any unexplained notion or terminology, we refer the reader to [13], [25] and
[22]. Several explicit examples were performed with help of the computer algebra
systems CoCoA [1] and Macaulay2 [8], as well as with the program in [3] which
allows one to compute Ass∞ (I) of a monomial ideal I.
1. Preliminary
In this section, we collect notations, terminology and basic results used in this
paper.
Let, as before, K be a field and R = K[x1 , ..., xn ] be the polynomial ring in n
variables over K with each deg xi = 1 and m = (x1 , ..., xn ) the unique homogenous
maximal ideal of R. For a monomial ideal I of R and G(I) = {u1 , ..., ut }, we set
supp(I) = ∪ti=1 supp(ui ), where supp(u) = {xi : u = xa11 ...xann , ai 6= 0} and we set
gcd(I) = gcd(u1 , ..., um). The linear relation graph ΓI associated to a monomial
ideal is the graph whose vertex set V (ΓI ) is a subset of {x1 , ..., xn } and for which
{xi , xj } ∈ E(ΓI ) if and only if there exist uk , ul ∈ G(I) such that xi uk = xj ul
(see [18, Definition 3.1]). We say that the monomial ideal I is full-supported if
supp(I) = {x1 , ..., xn }.
A monomial ideal I is called a polymatroidal ideal, if it is generated in a single
degree with the exchange property that for any two elements u, v ∈ G(I) such
that degxi (u) > degxi (v) for some i, there exists an integer j such that degxj (u) <
degxj (v) and xj (u/xi ) ∈ I. The polymatroidal ideal I is called matroidal if I is
generated by square-free monomials. For a polymatroidal ideal I one can compute
the analytic spread as ℓ(I) = r − s + 1, where r = |V (ΓI )| and s is the number of
connected components of ΓI (see [18, Lemma 4.2]).
The product of polymatroidal ideals is again polymatroidal (see [10, Theorem
5.3]). In particular each power of a polymatroidal ideal is polymatroidal. Also, I is
a polymatroidal ideal if and only if (I : u) is a polymatroidal ideal for all monomial
u (see [2, Theorem 1.1]). According to [18] and [19], every polymatroidal ideal satisfying the persistence property and non-increasing depth functions, that is, if I is
a polymatroidal ideal then, for all k, there is the following sequences:
2

Ass(I k ) ⊆ Ass(I k+1 ) and depth(R/I k+1 ) ≤ depth(R/I k ).
In addition, every polymatroidal ideal is a normal ideal (see [19, Theorem 3.4])
and consequently the Rees ring R(I) and also the associated graded ring grI (R) is
Cohen-Macaulay (see [25, Theorem 7.2.35]). In particular, the equality (†) holds.
Herzog and Vladoiu [21] proved the following interesting results about matroidal
ideals.
Theorem 1.1. Let I be a matroidal ideal of R generated in degree d, and denote as
before by s the number of connected components of ΓI .
(i) Then s ≤ d. If in addition I is full-supported and gcd(I) = 1, then V (ΓI ) =
{x1 , ..., xn } and s = d if and only if dstab(I) = 1.
(ii) If I is full-supported and gcd(I) = 1, then I ⊆ p1 ∩ · · · ∩ ps , where p1 , . . . , ps
are the monomial prime ideals generated by the sets of vertices of the connected components Γ1 , . . . , Γs of ΓI .
(iii) If I is full-supported and gcd(I) = 1, then dstab(I) = 1 if and only if
I = p1 · · · pd , where p1 , · · · , pd are monomial prime ideals in pairwise disjoint
sets of variables.
From Theorem 1.1 (iii) one can conclude that for all full-supported matroidal
ideal with gcd(I) = 1 if dstab(I) = 1, then astab(I) = 1.
Herzog and Qureshi [18] proved that if I is a polymatroidal ideal of R, then
astab(I), dstab(I) < ℓ(I) and it is well know that height(I) ≤ ℓ(I). One can ask
whether astab(I), dstab(I) ≤ height(I) for all polymatroidal ideals. We give an
example to show that this does not hold.
Example 1.2. Let n = 3 and consider the polymatroid ideal I = (x3 yz, x2 y 2 z, x3 y 2 ).
Then height(I) = 1 but astab(I) = dstab(I) = 2.
2. The results
We start this section by the following lemma.
Lemma 2.1. Let I ⊂ R be a full-supported polymatroidal ideal of degree 2. Assume
that y1 and y2 are variables in R such that u = y1 y2 ∈ G(I) and y ∈
/ supp(u). Then
(u/y1)y ∈ G(I) or (u/y2)y ∈ G(I).
Proof. Since I is full-supported, there exists an integer 1 ≤ i ≤ n such that v =
yxi ∈ G(I). If xi = y1 or xi = y2 , then by the exchange property (u/y2)y ∈ G(I)
or (u/y1)y ∈ G(I), respectively. If xi 6= y1 , y2 , then by the exchange property
(u/y2)y = (v/xi )y1 ∈ G(I) or (u/y1)y = (v/xi )y2 ∈ G(I). This complete the proof.

In the following we recall the definition of linear quotients from [15].
Definition 2.2. We say that a monomial ideal I ⊂ R has linear quotients if there
is an ordering u1 , ..., ut of the monomials belonging to G(I) with 0 < deg u1 ≤
deg u2 ≤ ... ≤ deg ut such that, for each 2 ≤ j ≤ t, the colon ideal (u1 , ..., uj−1) : uj
is generated by a subset of {x1 , ..., xn }.
3

Let I be a monomial ideal generated by a sequence u1 , ..., ut with linear quotients.
Let qj (I) denote the minimal number of linear forms generating (u1 , ..., uj−1) : uj ,
and q(I) = max{qj (I) : 2 ≤ j ≤ t}. Polymatroidal ideals have linear quotients with
respect to the reverse lexicographical order of the generators, see [10, Theorem 5.2].
As in the proof of [20, Corollary 1.6] the length of the minimal free resolution of
R/I over R is equal to q(I) + 1. Hence, by the Auslander-Buchsbaum formula, we
have depth R/I = n − q(I) − 1. Chiang-Hsieh in [9, Theorem 2.5] proved that if
I ⊂ R is a full-supported matroidal ideal of degree d, then depth R/I = d − 1.
The following example says that the Chiang-Hsieh’s theorem for polymatriodal
ideals is not true .
Example 2.3. Let n = 4 and consider the polymatriodal ideal
I = (x1 x22 , x1 x23 , x1 x24 , x1 x2 x3 , x1 x2 x4 , x1 x3 x4 ). Then depth R/I = 1.
Lemma 2.4. Let I ⊂ R be a full-supported polymatroidal ideal in degree 2. Then
q(I) ≥ n − 2. In particular, if m ∈
/ Ass(I) then depth R/I = 1.
Proof. Since I has linear quotients, there is an ordering u1 , ..., ut of the monomials
belonging to G(I) such that, for each 2 ≤ j ≤ t, the colon ideal (u1 , ..., uj−1) : uj
is generated by a subset of {x1 , ..., xn }. It is enough to show that {x1 , ..., xn } \
supp(ut ) ⊆ (u1 , ..., ut−1 ) : ut . By Lemma 2.1 if y ∈
/ supp(ut ), then y ∈ (u1 , ..., ut−1 ) :
ut . Therefore q(I) ≥ n − 2, as required.

In the sequel we recall the following definition and remark from [24].
Definition 2.5. Let I ⊂ R be a monomial ideal and let xt [i] denote the monomial
c
xt11 ...xtii ...xtnn , where the term xtii of xt is omitted. For each i = 1, ..., n, we put
I[i] = (xt [i] : xt ∈ I).
Remark 2.6. Let I, J be a monomial ideals of R. For i = 1, ..., n, we have
(a) I[i] = IRxi ∩ R, where Rxi is the localization of R with respect to xi .
∞
t
(b) I[i] = (I : x∞
i ) = ∪t=1 (I : xi ).
(c) (I : J)[i] = (I[i] : J[i]).
(d) I t [i] = I[i]t for all t ≥ 1.
(e) Ass(I t ) \ {m} = ∪ni=1 Ass(I[i]t ) for all t ≥ 1.
Corollary 2.7. Let n = 3, I ⊂ R be a monomial ideal and m ∈
/ Ass∞ (I). Then
astab(I) = dstab(I) = 1.
Proof. By Remark 2.6(e) and by using [17, Remark 1.1], for all t ≥ 1, we have
Ass(I t ) = ∪3i=1 Ass(I[i]t ) = ∪3i=1 Ass(I[i]) = Ass(I). Thus astab(I) = 1 and so by
[17, Theorem 1.2] the result follows.

Proposition 2.8. Let I ⊂ R be a polymatroidal ideal. Then astab(I[i]) ≤ astab(I)
for i = 1, ..., n.
Proof. Set astab(I) = t. It follows Ass(I t ) = Ass(I t+1 ) = · · · . Since I[i] is polymatriodal, we have Ass(I[i]t ) ⊆ Ass(I[i]t+1 ) ⊆ · · · . Let p ∈ Ass(I[i]t+1 ). From the
exact sequence
x∞

i
t+1
−→ R/(I t+1 , x∞
0 −→ R/(I t+1 : x∞
i ) −→ 0,
i ) −→ R/I

4

we have Ass(I[i]t+1 ) ⊆ Ass(I t+1 ). Thus p ∈ Ass(I t+1 ) = Ass(I t ) and so there exists
a monomial α of R such that p = (I t : α). Since xi ∈
/ p, we have p = p[i] = (I t :
α)[i] = (I t [i] : α[i]). Therefore p ∈ Ass(I[i]t ) and so Ass(I[i]t ) = Ass(I[i]t+1 ). Thus
astab(I[i]) ≤ t, as required.

Proposition 2.9. Let I ⊂ R be a polymatroidal ideal. If m ∈
/ Ass∞ (I) or if m ∈
Ass(I), then astab(I) = max{astab(I[i]) : i = 1, ..., n}.
Proof. Set t = max{astab(I[i]) : i = 1, ..., n} and let m ∈
/ Ass∞ (I). Thus Ass(I[i]t ) =
Ass(I[i]t+1 ) for i = 1, ..., n. By Remark 2.6(e), Ass(I t ) = ∪ni=1 Ass(I[i]t ) = ∪ni=1 Ass(I[i]t+1 )
and so Ass(I t ) = Ass(I t+1 ) = · · · . Therefore astab(I) ≤ t and so by Proposition 2.8
the result follows.
If m ∈ Ass(I), then by using the same proof as above we have the result.

The following example says that the condition m ∈
/ Ass∞ (I) or m ∈ Ass(I) in
Proposition 2.9 is essential.
Example 2.10. Let n = 3 and I = (x1 x2 , x1 x3 , x2 x3 ) ⊂ R. Then astab(I) = 2 and
astab(I[i]) = 1 for i = 1, 2, 3.
The following result is a generalization of persistence property for polymatroidal
ideals.
Proposition 2.11. Let I, J be polymatriodal ideals of R. Then Ass(I) ∪ Ass(J) ⊆
Ass(IJ) = Ass(I/IJ) ∪ Ass(J/IJ).
Proof. Since IJ is a polymatriodal ideal and every polymatriodal ideal is normal,
by using [23, Theorem 1.3] Ass(I) ∪ Ass(J) ⊆ Ass(IJ). It is clear that Ass(I/IJ) ∪
Ass(J/IJ) ⊆ Ass(IJ). Let p ∈ Ass(IJ) \ Ass(I/IJ). Hence, there is a monomial
element α of R such that p = (IJ : α). From the exact sequence
0 −→ I/IJ −→ R/IJ −→ R/I −→ 0,
we have p ∈ Ass(I). Therefore I ⊆ p = (IJ : α) and so α ∈ (IJ : I). By using [23,
Lemma 1.2], α ∈ J and so p ∈ Ass(J/IJ). This complete the proof.

Let I ⊆ R be a monomial ideal. In the case that G(I) ⊆ S = K[xi1 , ..., xik ] we
denote by an abuse of notation the ideal G(I)S again by I. Observe that by using
this notion it follows that AssR (I) = AssS (I) and so astabR (I) = astabS (I). Also,
it is well known that dstabR (I) = dstabS (I). Thus, for computing astab(I) and
dstab(I) we can always assume that I is full-supported.
Lemma 2.12. Let I, J be polymatriodal ideals such that gcd(J) = 1. If α is a
monomial element of R such that I = αJ, then astab(I) = astab(J) and dstab(I) =
dstab(J).
Proof. Since I t ∼
= J t for all t ≥ 1, it follows that pd(I t ) = pd(J t ) and so by the
Auslander-Buchsbaum formula depth(R/I t ) = depth(R/J t ) for all t ≥ 1. Thus
dstab(I) = dstab(J). By using Proposition 2.11, for all t ≥ 1, Ass(α) ∪ Ass(J t ) ⊆
Ass(I t ) and it is clear Ass(I t ) ⊆ Ass(α) ∪ Ass(J t ) for all t ≥ 1. Therefore, for all
t ≥ 1, Ass(I t ) = Ass(α) ∪ Ass(J t ) and so astab(I) = astab(J), as required.

5

Theorem 2.13. Let I ⊂ R be a polymatriodal ideal in degree 2. Then astab(I) =
dstab(I). In particular, if I is a matroidal ideal in degree 2, then astab(I) =
dstab(I).
Proof. We can assume that I is a full-supported polymatroidal ideal in degree 2 and
gcd(I) = 1. Now, we consider two cases.
Case 1: Let m ∈
/ Ass∞ (I).
By Remark 2.6(e), for all t ≥ 1, Ass(I t ) = ∪ni=1 Ass(I[i]t ). Since Ass(I[i]t ) =
Ass(I[i]) for i = 1, ..., n, it therefore follows astab(I) = 1. By using Lemma 2.4 we
have depth R/I = 1. Since m ∈
/ Ass∞ (I) it follows depth R/I t > 0 for all t ≥ 1.
Since depth R/I t ≤ depth R/I = 1 for all t ≥ 1, we have depth R/I t = 1 for all
t ≥ 1. Therefore dstab(I) = 1 and so the result follows in this case.
Case 2: Let m ∈ Ass∞ (I).
Let t be the largest integer number such that m ∈
/ Ass(I t ). By Remark 2.6(e),
Ass(I s+1 ) \ {m} = ∪ni=1 Ass(I[i]s+1 ) for all s ≥ t. Since Ass(I[i]s+1 ) = Ass(I[i]s ) for
i = 1, ..., n and for all s ≥ 1 , we have Ass(I s+1 ) = Ass(I t ) ∪ {m} for all s ≥ t. Hence
astab(I) = dstab(I) = t + 1.

Corollary 2.14. Let I ⊂ R be a matroidal ideal in degree 2. Then astab(I) =
dstab(I) ≤ 2.
Proof. If m ∈
/ Ass∞ (I), then by the proof of Theorem 2.13 astab(I) = dstab(I) = 1.
Let m ∈ Ass∞ (I). Since I is a edge ideal of a connected graph G, it follows that
G has a cycle of length odd. Therefore by [9, Lemma 2.3] G has a cycle of length
3 and so by [12, Theorem 3.1] depth R/I 2 = 0. Thus by Theorem 2.13 we have
astab(I) = dstab(I) = 2.

The following result follows by [9, Theorem 2.5] and Theorem 2.13.
Corollary 2.15. Let I ⊂ R be a full-supported matroidal ideal in degree d. If
depth R/I = 1, then astab(I) = dstab(I).
We recall the following definition from [2].
Definition 2.16. Let I be a monomial ideal. We say that I satisfies the strong
exchange property if I is generated in a single degree and, for all u, v ∈ G(I) and for
all i, j with degxi (u) > degxi (v) and degxj (u) < degxj (v), one has xj (u/xi ) ∈ G(I).
Note that if n = 3, then every polymatroidal ideal satisfying the strong exchange
property (see [2, Propsition 2.7]).
One of the most distinguished polymatroidal ideals is the ideal of Veronese type.
Consider the fix positive integers d and 1 ≤ a1 ≤ ... ≤ an ≤ d. The ideal of Veronese
type of R indexed by d and (a1 , ..., an ) is the ideal I(d;a1 ,...,an) which is generated by
those monomials u = xi11 ...xinn of R of degree d with ij ≤ aj for each 1 ≤ j ≤ n.
Proposition 2.17. Let I ⊂ R be a polymatriodal ideal satisfying the strong exchange
property. Then astab(I) = dstab(I).
Proof. By Lemma 2.12, we can assume that gcd(I) = 1 and I is full-supported.
Therefore by using [16, Theorem 1.1] I is a polymatriodal ideal of Veronese type.
Now by using [19, Corollary 5.7] we have astab(I) = dstab(I), as required.

6

Lemma 2.18. Let I ⊂ R be a full-supported matroidal ideal of degree n − 1, where
n ≥ 2 and gcd(I) = 1. Then I = In−1;1,1,...,1 as a Veronese type ideal.
Proof. By Lemma 2.12, we can assume that gcd(I) = 1. For n = 2, 3, a matroidal
ideal I satisfies in the strong exchange property and so I is a square-free Veronese
ideal and the result follows in this case. Now, let n ≥ 4. Then depth R/I = n − 2
and so pd(R/I) = 2. Therefore height(I) = pd(R/I) and so I is a Cohen-Macaulay
ideal. By using [14, Theorem 4.2] I = In−1;1,...,1, as desired.

Theorem 2.19. Let n = 4 and I ⊂ R be a matroidal ideal of degree d. Then
astab(I) = dstab(I).
Proof. We can assume that gcd(I) = 1. If d 6= 2, 3, then the result is clear. If d = 2,
then by Theorem 2.13 the result follows. For d = 3, the result holds by Lemma
2.18.

Remark 2.20. Let n = 4 and I ⊂ R be a matroidal ideal of degree d. Then
astab(I), dstab(I) ≤ d.
In view of the above remark one may ask whether astab(I), dstab(I) ≤ d for all
matriod ideals I.
Theorem 2.21. Let n = 4 and I ⊂ R be a polymatriodal ideal of degree d and let
m∈
/ Ass∞ (I). Then astab(I) = dstab(I).
Proof. We can assume that gcd(I) = 1. Therefore height(I) ≥ 2. Since m ∈
/
Ass∞ (I), we have depth R/I t ≥ 1 for all t ≥ 1. Thus 2 ≤ height(I) ≤ pd(R/I) ≤ 3.
If height(I) = pd(R/I), then by [14, Theorem 4.2] and [19, Corollary 5.7] we have
astab(I) = dstab(I). Now, let pd(R/I) = 3 and height(I) = 2. Hence depth R/I t =
depth R/I = 1 for all t ≥ 1 and so dstab(I) = 1. By Proposition 2.9 there exists an
integer i such that astab(I) = astab(I[i]), where i = 1, .., 4. By [17, Theorem 1.2],
astab(I[i]) = dstab(I[i]) and so astab(I) = astab(I[i]) = dstab(I[i]). For simplicity
let astab(I) = astab(I[1]) = dstab(I[1]). Since gcd(I) = 1, we easily obtain that
gcd(I[i]) = 1 for all i = 1, ..., 4 and so height(I[i]) = 2; since Ass(I[i]) ⊆ Ass(I).
Therefore depth R/I[1] = 1 or 2. If depth R/I[1] = 1, then depth R/I t [1] = 1 for all
t. Hence dstab(I[1]) = 1 and so astab(I) = 1. Thus the result follows in this case.
Now let depth R/I[1] = 2. Then pd(R/I[1]) = 2 = height(I[1]). Hence I[1] is a
Cohen-Macaulay polymatriodal ideal and by [14, Theorem 4.2] I[1] is a square-free
Veronese ideal. Since m ∈
/ Ass∞ (I), it follows Ass(HomR (R/(xt11 , ..., xt44 ), R/I)) = ∅
for all non-negative integer t1 , ..., t4 . Thus I = ∩4i=1 I[i]. If for all i = 1, ..., 4,
depth R/I[i] = 2, then it follows that I is a matriod ideal and so by Theorem 2.19 the
result follows in this case. If I[1] is a square-free Veronese ideal in the polynomial ring
with two variables, then again the result follows. Let I[1] be a square-free Veronese
ideal in the polynomial ring K[x2 , x3 , x4 ] and let depth R/I[2] = 1. Since for all i =
1, ..., 4, I[i] is polymatrodial ideal in the polynomial ring with at most three variables
and gcd(I[i]) = 1, it follows that I[i] is a Veronese-type ideal. We can assume that
I[2] is a Veronese-type ideal in K[x1 , x3 , x4 ]. Let ai = max{degxi (u) : u ∈ G(I)} for
i = 1, ..., 4. Since I[1][2] = I[2][1], we have a3 = 1 = a4 . If I[3] is a Veronese-type
7

ideal in the polynomial ring K[x1 , x2 , x4 ], then from I[1][3] = I[3][1] we have a2 = 1
and also from I[2][3] = I[3][2] we have a1 = 1. Therefore I is a matroid ideal and
the result follows. We can assume that I[3] is a square-free Veronese ideal in the
polynomial ring K[x1 , x2 ] and so I[3] = (x1 , x2 ). From I[2][3] = I[3][2], we have
K[x1 , x2 ] = (x1 , x4 ) and this is a contradiction. Thus from all of the above cases we
have astab(I) = dstab(I), as required.
Lemma 2.22. I ⊂ R be a polymatriodal ideal and m ∈ Ass∞ (I). Then dstab(I) ≤
astab(I). In particular, if dstab(I) = n−1 then astab(I) = n−1 or if astab(I) = 1,
then dstab(I) = 1.
Proof. Since m ∈ Ass∞ (I) by [18, Corollary 1.6] we have ℓ(I) = dim R. Therefore
dstab(I) = min{k : depth R/I k = 0} = min{k : m ∈ Ass(I k )} and so dstab(I) ≤
astab(I).

Herzog and Qureshi [18] conjectured that astab(I) = dstab(I) for all polymatroidal ideal I. The following examples disprove that Conjecture.
Example 2.23. Let n = 4 and
I = (x1 x2 x3 , x22 x3 , x2 x23 , x1 x2 x4 , x22 x4 , x2 x24 , x1 x3 x4 , x23 x4 , x3 x24 , x2 x3 x4 ).
Then dstab(I) = 1 and astab(I) = 2.
Proof. It is clear I is a polymatriodal ideal. By using [18, Theorem 4.1], we have
dstab(I) = 1 and astab(I) = 2, as desired.

The following example is a generalization of Example 2.23.
Example 2.24. Let n ≥ 4 and I = (x1 x3 ...xn , x23 x4 ...xn , x3 x24 ...xn , ..., x3 x4 ...x2n ,
x1 x2 x4 ...xn , x22 x4 ...xn , ..., x2 x4 ...x2n , ..., x1 x2 ...xn−1 , x22 x3 ...xn−1 , ..., x2 x3 ...x2n−1 , x2 x3 ...xn ).
Then I is a polymatriodal ideal with dstab(I) = 1 and astab(I) = n − 2.
Proof. Since I = In−1;1,1,..,1+In−1;0,2,2,...,2, we easily conclude that I is a polymatriodal
ideal. Since I : x3 x4 ...xn = m, we have dstab(I) = 1. For all i = 1, 2, ..., n, I[i] is
a square free veronese ideal. Thus by [19, Corollary 5.7] astab(I[1]) = n − 2 and
astab(I[i]) = n − 3 for all i = 2, 3, ..., n. Therefore by using Proposition 2.9 we have
astab(I) = n − 2.

Lemma 2.25. Let n = 5 and I ⊂ R be a matroidal ideal with gcd(I) = 1 and d = 3.
Then astab(I) 6= 1.
Proof. By contrary, we assume that astab(I) = 1. By Proposition 2.9, for all
i = 1, ..., 5, astab(I) = astab(I[i]) = dstab(I[i]) = 1. Since gcd(I[i]) = 1 and
dstab(I[i]) = 1, we conclude that, for i = 1, 2, ..., 5, I[i] is a transversal matroidal
ideal in polynomial ring with four variables and height(p) = 2 for all p ∈ Ass(I).
Let I[1] = p1 p2 , I[2] = p3 p4 , I[3] = p5 p6 , I[4] = p7 p8 and I[5] = p9 p10 . Therefore we can assume that p1 = p3 = p5 = (x4 , x5 ) and p2 = p7 = p9 = (x2 , x3 ).
Thus I[2][4] = (x1 , x3 ) and I[4][2] = (x1 , x5 ) and this is a contradiction. Hence
astab(I) 6= 1, as required.

8

Theorem 2.26. Let n = 5 and I ⊂ R be a matroidal ideal of degree d. Then
astab(I) = dstab(I).
Proof. We can assume that gcd(I) = 1 and I is a full-supported matroidal ideal.
If d 6= 2, 3, 4, then there is nothing to prove. For d = 4 and d = 2 the result
follows by Lemma 2.18 and Theorem 2.13, respectively. Thus we can assume that
d = 3. Let m ∈ Ass∞ (I). Then, by Remark 2.6(e) and Corollary 2.14, Ass∞ (I) =
Ass(I) ∪ {m} or Ass∞ (I) = Ass(I 2 ) ∪ {m}. Hence astab(I) = dstab(I). Now, let
m ∈
/ Ass∞ (I). Then, by Proposition 2.9, astab(I) = astab(I[i]) = dstab(I[i]) for
some integer i = 1, 2, ..., 5. Let I[i] be a full-supported ideal in k[x1 , ..., c
xi , ..., x5 ].
∞
If (x1 , ..., c
xi , .., x5 ) ∈
/ Ass (I), then by Corollary 2.14, astab(I[i]) = 1 and this is a
xi , .., x5 ) ∈ Ass∞ (I) and so by [18,
contradiction with Lemma 2.25. Therefore (x1 , ..., c
Corollary 1.6] we have ℓ(I[i]) = 4. It is well known that ℓ(I[i]) ≤ ℓ(I) and so ℓ(I[i]) =
ℓ(I) = 4. Since I[i] is a matroidal ideal of degree 2 and (x1 , ..., c
xi , .., x5 ) ∈ Ass∞ (I),
by Corollary 2.14 we have dstab(I[i]) = 2. Therefore by using [7, Theorem 3.1] it
follows dstab(I) = dstab(I[i]) and so astab(I) = dstab(I). Let I[i] be a matroidal
ideal in polynomial ring with three variables. Since m ∈
/ Ass∞ (I) and dstab(I) 6= 1,
we have s = 2; where s is the number of connected components of ΓI . Therefore we
have I ⊆ p1 ∩ p2 and so we can assume that p1 = (x1 , x2 ) and p2 = (x3 , x4 , x5 ). Thus
(I : x3 x4 ) = (I : x3 x5 ) = (I : x4 x5 ) = p1 . Since ΓI is disconnected with connected
components Γ1 and Γ2 in which p1 and p2 are the monomial prime ideals generated
by the set of vertices Γ1 and Γ2 , respectively, we have x1 x2 xi ∈
/ I for i = 3, 4, 5 and
x3 x4 x5 ∈
/ I. It therefore follows I = (x1 x3 x4 , x1 x4 x5 , x1 x3 x5 , x2 x3 x4 , x2 x4 x5 , x2 x3 x5 ).
Thus dstab(I) = astab(I), as required.

References
[1] J. Abbott and A. M. Bigatti, a C++ library for doing Computations in Commutative Algebra,
Available at http://cocoa.dima.unige.it/cocoalib.
[2] S. Bandari and J. Herzog, Monomial localizations and polymatroidal ideals, Eur. J. Comb.,
34(2013), 752-763.
[3] S. Bayati, J. Herzog and G. Rinaldo, A routine to compute the stable set of associated prime
ideals of amonomial ideal, Available at http://ww2.unime.it/algebra/rinaldo/stableset/2011.
[4] M. Brodmann, Asymptotic stability of Ass(M/I n M ), Proc. Am. Math. Soc., 74(1979), 16-18.
[5] M. Brodmann, The asymptotic nature of the analytic spread, Math. Proc. Cambridge Philos.
Soc., 86(1979), 35-39.
[6] W. Bruns and J. Herzog, Cohen-Macaulay rings, Cambridge University Press, Cambridge,
UK, (1998).
[7] G. Caviglia, H. T. Ha, J. Herzog, M. Kummini, N. Terai and N. V. Trung, Depth and regularity
modulo and principal ideal, arXiv:1706.09675v2.
[8] D. R. Grayson and M. E. Stillman, Macaulay 2, a software system for research in algebraic
geometry, Available at http://www.math.uiuc.edu/Macaulay2/.
[9] H. J. Chiang-Hsieh, Some arithmetic properties of matroidal ideals, Comm. Algebra, 38(2010),
944-952.
[10] A. Conca and J. Herzog, Castelnuovo-Mumford regularity of products of ideals, Collect. Math.,
54(2003), 137-152.
[11] D. Eisenbud and C. Huneke, Cohen-Macaulay Rees algebra and their specialization, J. Algebra,
81(1983), 202-224.
9

[12] J. Herzog and T. Hibi,Bounding the socles of powers of squarefree monomial ideals, Commutative algebra and noncommutative algebraic geometry, 68(2015), 223-229.
[13] J. Herzog and T. Hibi, Monomial ideals, Grad.Texts Math., vol.260, Springer-Verlag London,
Ltd., London, (2011).
[14] J. Herzog and T. Hibi, Cohen-Macaulay polymatroidal ideals, Eur. J. Comb., 27(2006), 513517.
[15] J. Herzog and T. Hibi, The depth of powers of an ideal, J. Algebra, 291(2005), 534-550.
[16] J. Herzog, T. Hibi and M. Vladoiu, Ideals of fiber type and polymatroids, Osaka J. Math.,
42(2005), 807-829.
[17] J. Herzog and A. Mafi, Stability properties of powers of ideals in regular local rings of small
dimension, to appear in Pacific J. Math.
[18] J. Herzog and A. Qureshi, Persistence and stability properties of powers of ideals, J. Pure and
Applied Algebra, 219(2015), 530-542.
[19] J. Herzog, A. Rauf and M. Vladoiu, The stable set of associated prime ideals of a polymatroidal
ideal, J. Algebr Comb., 37(2013), 289-312.
[20] J. Herzog and Y. Takayama, Resolutions by mapping cones, Homology Homotopy Appl.,
4(2002), 277-294.
[21] J. Herzog and M. Vladoiu, Squarefree monomial ideals with constant depth function, J. Pure
and Applied Algebra, 217(2013), 1764-1772.
[22] C. Huneke and I. Swanson. Integral closure of ideals, rings, and modules, vol. 13, Cambridge
University Press, 2006.
[23] D. Katz and L. J. Ratliff, JR., On the prime divisors of IJ when I is integrally closed, Arch.
Math., 51(1988), 520-522.
[24] T. N. Trung, Stability of associated primes of integral closures of monomial ideals, J. Comb.
Theory Ser. A 116(2009), 44-54.
[25] R. H. Villarreal, Monomial Algebras, Marcel Dekker, Inc, New York, (2001).
Sh. Karimi, Department of Mathematics, University of Kurdistan, P.O. Box: 416,
Sanandaj, Iran.
E-mail address: Shkarimi2011@yahoo.com
A. Mafi, Department of Mathematics, University of Kurdistan, P.O. Box: 416,
Sanandaj, Iran.
E-mail address: a mafi@ipm.ir

10

