arXiv:1208.4684v2 [] 2 Sep 2012

PERSISTENCE AND STABILITY PROPERTIES OF POWERS OF
IDEALS
JÜRGEN HERZOG AND AYESHA ASLOOB QURESHI
Abstract. We introduce the concept of strong persistence and show that it implies persistence regarding the associated prime ideals of the powers of an ideal.
We also show that strong persistence is equivalent to a condition on power of ideals
studied by Ratliff. Furthermore, we give an upper bound for the depth of powers
of monomial ideals in terms of their linear relation graph, and apply this to show
that the index of depth stability and the index of stability for the associated prime
ideals of polymatroidal ideals is bounded by their analytic spread.

Introduction
In this paper we study stability properties of powers of ideals. It is known by
Brodmann [4] that the set of associated prime ideals Ass(I k ) of I k of an ideal I in a
Noetherian ring R stabilizes, that is, there exist an integer k0 such that Ass(I k ) =
Ass(I k+1 ) for all k ≥ k0 . The smallest such integer k0 , denoted astab(I), is called
the index of stability for the associated prime ideals of I. It has been shown, see [16,
Example p.2] and [1] that given any number n there exists an ideal I in a suitable
graded ring R and a prime ideal P of R such that for all k ≤ n, P ∈ Ass(I k )
if k is even and P 6∈ Ass(I k ) if k is odd. From both examples it follows that
astab(I) ≥ n, and hence this index may exceed any given number. The natural
question arises whether there exists a uniform bound for astab(I) in terms of R. In
fact, we do not know of any example of a regular local ring which admits an ideal
with astab(I) ≥ dim R. Thus we are tempted to conjecture that if R is a regular
local ring or a polynomial ring and I ⊂ R is an ideal (which we assume to be graded
if R is a polynomial ring), then astab(I) < dim R. One of the results (Theorem 4.1)
in this paper is to show this conjecture holds true for all polymatroidal ideals.
An ideal is said to satisfy the persistence property if Ass(I) ⊂ Ass(I 2 ) ⊂ · · · ⊂
Ass(I k ) ⊂ · · · . The above quoted examples show that not all ideals satisfy this
persistence property. But for interesting classes of monomial ideals persistence has
been shown. This includes edges ideal of graphs [17], vertex cover ideals of perfect
graphs [11] as well a polymatroidal ideals [12]. There is no example known of
a squarefree monomial ideal which does not satisfy persistence. The challenging
1991 Mathematics Subject Classification. 13C13, 13A30, 13F99, 05E40.
Key words and phrases. Associated prime ideals, polymatroidal ideals, analytic spread, depth.
This paper was partially written during the visit of the second author at Universität DuisburgEssen, Campus Essen. The second author wants to thank the Abdus Salam International Centre for
Theoretical Physics (ICTP), Trieste, Italy and the Abdus Salam School of Mathematical Sciences,
Lahore, Pakistan for supporting her.
1

question, raised in [17], is whether such squarefree monomial ideals exist. In their
paper [17, Corollary 2.17] the authors show that for a squarefree monomial ideal I
the associated prime ideals of the powers form an ascending chain, that is, satisfy
the persistence property, if I k+1 : I = I k for all k ≥ 1. Indeed they show that
under this assumption a socle element of S/I k is multiplied by a generator of I
to a socle element of S/I k+1 . We say that an ideal in a Noetherian ring satisfies
the strong persistence property if for all its localizations their socle elements are
multiplied from one power to the next, see Section 1 for the precise definition. It is
then obvious that the strong persistence property implies the persistence property.
In Section 1 we analyze this concept of strong persistence, and show in Theorem 1.3,
inspired by the above mentioned result [17], that an ideal I in a Noetherian ring
satisfies strong persistence if and only if I k+1 : I = I k for all k. We would like to
refer to this property of the colon ideals as the Ratliff condition of I, because it was
Ratliff who showed in [18] that this condition is satisfied for any normal ideal, and
that I k+1 : I = I k for all k ≫ 0, in general.
In Theorem 1.4 we show that an ideal I of positive grade satisfies strong persistence and hence the Ratliff condition if we require that the Rees ring R(I) satisfies
Serre’s condition S2 (which is less than normality for which one would also need the
Serre condition N1 ), and in Corollary 1.6 the stable set of associated prime ideals of
I is described in the case that R(I) is normal or Cohen–Macaulay. This description
in the normal case is due to Ratliff [18].
In Section 2 we reformulate strong persistence for monomial ideals and show that
all polymatroidal ideals satisfy strong persistence. The persistence property for
polymatroidal ideals has already been shown in [12]. The Stanley–Reisner ideal of
the canonical triangulation of the projective plane is an example of an ideal which
satisfies persistence but not strong persistence.
For a graded ideal I in the polynomial ring S = K[x1 , . . . , xn ], the function
f (k) = depth S/I k is called the depth function of I k . This function has been first
considered in [14] and subsequently for the edge ideals of a graph in [9]. There
is no example known of a squarefree monomial ideal whose depth function is not
non-increasing. It is easily seen that monomial ideal with the property that all its
monomial localizations have non-increasing depth function satisfy the persistence
property. On the other hand, it is an open question whether ideals satisfying the
persistence property have non-increasing depth functions.
As shown in [12, Proposition 1.2] the ideals with the property that all their powers
have a linear resolution admit non-increasing depth functions. In Proposition 1.2, it
is shown that this class of ideals satisfy the strong persistence property with respect
to the graded maximal ideal of S. It is known, that the depth S/I k is constant for
k ≫ 0, see [5] and [14]. The smallest integer k for which depth S/I k = depth S/I k+ℓ
for all ℓ ≥ 1 is called the index of depth stability of I and denoted by dstab(I). As for
astab(I) we expect that dstab(I) < n for all graded ideals I ⊂ S. In fact we prove
in Theorem 4.1 that dstab I < dim S for any polymatroidal ideal I. The proof of
this theorem is based on results of Section 3 where we considered the linear relation
graph of a monomial ideal. The main result obtained in this section is presented
2

in Theorem 3.3 where an upper bound of the depth of the powers of I is given in
terms of the linear relation graph of the ideal. Comparing the data of the linear
relation graph of an ideal with its analytic spread ℓ(I) which is done in Lemma 4.2,
it can be shown that for the polymatroidal ideals one has depth S/I ℓ(I)−1 = n − ℓ(I).
This together with the fact that the limit depth of polymatroidal ideal I is equal to
n − ℓ(I) is substantially used in the proof of Theorem 4.1.
In general the indices astab(I) and dstab(I) are unrelated, as shown by examples
given in [12]. On the other hand on the evidence of all known examples we conjecture
that astab(I) = dstab(I) for all polymatroidal ideals I.
The authors would like to thank Shamila Bayati for several useful discussions
regarding the subjects of this paper while she was visiting Universität DuisburgEssen.
1. The strong persistence property
Let R be a Noetherian ring, and let I ⊂ R be a proper ideal. We follow the usual
convention and denote by V (I) the set of prime ideals containing I and by Ass(I)
the set of associated prime ideals of R/I. For all P ∈ Spec(R), we denote by mP
the maximal ideal of the local ring RP .
Definition 1.1. Let P ∈ V (I). We say that I satisfies the strong persistence
property with respect to P if for all k and all f ∈ (IPk : mP ) \ IPk there exists g ∈ IP
such that f g 6∈ IPk+1 . The ideal I is said to satisfy the strong persistence property if
it satisfies the strong persistence property for all P ∈ V (I).
From above definition it is clear that it is enough to check the strong persistence
property for I only for those prime ideals P and k for which P ∈ Ass(I k ). Note
further that f ∈ (IPk : mP ) \ IPk if and only if IPk : f = mP .
According to [10] and [12], a proper ideal I ⊂ R is said to satisfies the persistence
property (with respect to associated ideals), if
Ass(I) ⊂ Ass(I 2 ) ⊂ · · · ⊂ Ass(I k ) ⊂ · · · .
In other words, if P ∈ Ass(I k ) for some k, then P ∈ Ass(I k+1) as well. The prime
ideals P with this property are called stable prime ideals. The set of stable prime
ideals will be denoted by Ass∞ (I).
A well-known result of Brodmann [4] says that Ass(I k ) stabilizes, that is, there
exists an integer k0 such that Ass(I k ) = Ass(I k+1 ) for all k ≥ k0 . The result of
Brodmann implies that Ass∞ (I) is a finite set.
Note that if I satisfies the persistence property, then
[
(1)
Ass(I k ) = Ass∞ (I).
k≥1

On the other hand if (1) holds then I does not necessarily satisfy the persistence
property. Indeed examples are known for which m ∈ Ass(I k ) for some k, but m is
not in Ass∞ (I), see [1] and [17].
3

It is obvious that the strong persistence property implies the persistence property. In fact, already the following slightly weaker condition implies the persistence
property:
(1) For all integers k ≥ 1 and all P ∈ Ass(I k ), there exists f ∈ (IPk : mP ) \ IPk
and g ∈ IP such that f g 6∈ IPk+1.
To show that (1) implies persistence let P ∈ Ass(I k ). Then mP ∈ Ass(IPk ).
Therefore (1) implies that there exist f ∈ (IPk : mP ) \ IPk and g ∈ IP such that
f g 6∈ IPk+1 . Therefore IPk+1 : f g 6= RP . On the other hand, mP f g ⊂ IPk+1, so that
IPk+1 : f g = mP . This shows that mP ∈ Ass(IPk+1 ), and hence P ∈ Ass(I k+1 ).
In next result we present a family of ideals in the polynomial ring S = K[x1 , . . . , xn ]
satisfying the strong persistence property with respect to the graded maximal ideal
m = (x1 , . . . , xn ).
Proposition 1.2. Suppose that I is a graded ideal of S. If all powers of I have a
linear resolution, then I satisfies the strong persistence property with respect to m
Proof. Let f ∈ (I k : m) \ I k . The existence of f implies that depth(S/I k ) = 0.
Let I be generated in degree d. Then, since I k has a linear resolution it follows
that the last module in the minimal graded free resolution of I k is in the form of
S(−(dk + n − 1))βn,dk+n−1 . It follows that TorSn (S/m, S/I k ) is isomorphic to the
graded K-vector space S(−(dk + n − 1))βn,dk+n−1 . On the other hand, there are the
following isomorphisms of graded K-vector spaces
TorSn (S/m, S/I k ) ∼
= ((I k : m)/I k )(−n)
= Hn (x1 , . . . , xn ; S/I k ) ∼
It follows that f = f1 + f2 where f1 ∈ I k : m is a non-zero homogenous element
of degree dk − 1 and f2 ∈ I k . Let g ∈ I be an element of degree d. Then gf ∈
/ I k+1
because degree of deg gf = d(k + 1) − 1.

The following algebraic condition on I characterizes strong persistence.
Theorem 1.3. The ideal I ⊂ R satisfies the strong persistence property if and only
if I k+1 : I = I k for all k.
Proof. Let I k+1 : I = I k for all k ≥ 1. Then IPk+1 : IP = IPk for all k ≥ 1. Thus,
replacing R by RP and I by IP , it is enough to show that I satisfies the strong
persistence property with respect to m. So suppose that m ∈ Ass(I k ) for some k
and f ∈ (I k : m) \ I k . By contrary assume that f g ∈ I k+1 for all g ∈ I. Then f ∈ I k
because I k+1 : I = I k , a contradiction.
Conversely, assume that I satisfies the strong persistence property, but I k+1 : I 6=
k
I for some k ≥ 1. Since the R-module (I k+1 : I)/I k is nonzero, we can choose
a minimal prime ideal P in the support of (I k+1 : I)/I k . Then the RP -module
(IPk+1 : IP )/IPk is nonzero and of finite length. Thus there exists f ∈ (IPk+1 : IP ) \ IPk
with mP f ∈ IPk . Since I satisfies the strong persistence, there exists g ∈ IP such
that f g 6∈ IPk+1 , contradicting the fact that f ∈ IPk+1 : IP .

4

k
Ratliff in his paper [18] showed that I k+1 : I = I k for k ≫ 0, and that I k+1
L : I =k I
for all k if I is a normal ideal, in other words, if the Rees ring R(I) = k≥0 I is
normal. More recently, Martı́nez-Bernal, Morey and Villarreal [17] showed that for
the edge ideal I of any finite simple graph one has I k+1 : I = I k for all k, and they
used this fact to show that edge ideals of graphs satisfy the persistence property.
Their result inspired us to formulate Theorem 1.3.
The next result provides a generalization of the above quoted result of Ratliff
regarding normal ideals.

Theorem 1.4. Let R be a Noetherian ring and I ⊂ R a proper ideal of R with
grade(I) > 0. Suppose that RP /mP is an infinite field for all P ∈ V (I), and that
R(I) satisfies Serre’s condition S2 . Then I satisfies the strong persistence property.
In particular, I k+1 : I = I k for all k.
L
Proof. Let P ∈ V (I) and set Q = P ⊕ k≥1 I k . Then R(I)/Q ∼
= R/P , and hence
∼
Q ∈ Spec(R(I)). Moreover, R(I)Q = R(IP ). It follows that dim R(I)Q = dim RP +
1 ≥ 2, since grade(I) > 0. The S2 -condition then yields that depth R(IP ) ≥ 2.
Thus after localization we may assume that R is local with maximal ideal m and
that depth R(I) ≥ 2, and we have to show that I satisfies the strong persistence
property with respect to m. (The L
assumptions regarding R and I are preserved
upon localization.) We set N (I) = k≥0 (I k : m)/I k . Obviously, N (I) is a graded
R̄(I) = R(I)/mR(I)-module. We may identify N (I) with the graded Koszul homology R̄(I)-module Hn−1 (x1 , . . . , xn ; R(I)). Here x1 , . . . , xn is a minimal system
of generators of m. The kth graded component of Hn−1 (x1 , . . . , xn ; R(I)) is given as
Hn−1 (x1 , . . . , xn ; R(I))k = Hn−1 (x1 , . . . , xn ; I k ) ∼
= Hn (x1 , . . . , xn ; R/I k )
∼
= (I k : m)/I k = N (I)k .
It follows that N (I) is a finitely
R̄(I)-module.
L generated
k
We set M(I) = R(I) : m = k≥0 I : m, and obtain the following exact sequence
0 −→ R(I) −→ M(I) −→ N (I) −→ 0
of R(I)-modules. Since N (I) is finitely generated R(I)-module, it follows from this
exact sequence that M(I) is a finitely generated R(I)-module as well.
Since depth R > 0, there exists a non-zerodivisor f ∈ m of R. Obviously, f is also
a non-zerodivisor on M(I)), so that depth M(I) > 0. Hence since depth R(I) ≥ 2,
we conclude that depth N (I) > 0. Now we use the fact that R̄(I) is a standard
graded K-algebra, where K is the residue class field of R, and that K is an infinite
field. Therefore there exists a homogeneous element g + mI of degree 1 in R̄(I)
with g ∈ I, which is regular on N (I). Thus the multiplication map (I k : m)/I k →
(I k+1 : m)/I k+1 induced by g is an injective map for all k ≥ 0. As a result, if
f ∈ (I k : m) \ I k for some k, then gf 6∈ I k+1 , as desired.

Remark 1.5. Under the assumptions of Theorem 1.4 one obtains more than just
the strong persistence. Indeed, the proof shows that there exists g ∈ I \ mI such
that for all integers k, ℓ ≥ 0 and all f ∈ (I k : m) \ I k we have f g ℓ 6∈ I k+ℓ . The
proof also shows that under the assumptions of the theorem dimK ((I k : m)/I k ) ≤
dimK ((I k+1 : m)/I k+1 ) for all k.
5

An immediate consequence of Theorem 1.4 is the following result whose statement
concerning normality is due to Ratliff [18]. We denote by ℓ(J) the analytic spread
of an ideal, that is, the Krull dimension of R(J)/mR(J).
Corollary 1.6. Let R and I be as in Theorem 1.4. Suppose that R(I) is normal
or Cohen–Macaulay. Then I satisfies the strong persistence property. Moreover,
P ∈ Ass∞ (I) if and only if ℓ(IP ) = dim RP .
Proof. The statement about strong persistence follows from Theorem 1.4. Let P ∈
V (I). Replacing I by IP and R by RP we may assume that P = m and have to
show that m ∈ Ass∞ (I) if and only if ℓ(I) = dim R.
We observe that m ∈ Ass∞ (I) if and only if R(I) : m 6= R(I). Note that
R(I) : m = R(I) : mR(I). Since R(I) is Cohen–Macaulay, we have grade mR(I) =
height mR(I), and height mR(I) = dim R(I)−dim R̄(I) ≥ dim R(I)−dim grI (R) =
1. On the other hand, the exact sequence
0 → mR(I) → R(I) → R̄(I) → 0
induces the exact sequence
0 → R(I) → R(I) : mR(I) → Ext1 (R̄(I), R(I)) → 0.
This shows that R(I) : m 6= R(I) if and only if grade mR(I) = 1 which is equivalent
to saying that dim R̄(I) = dim R(I) − 1. Since dim R = dim R(I) − 1, the assertion
follows.

2. Strong persistence for monomial ideals
In this section we discuss the concepts of the previous section for monomial ideals.
Let I ⊂ S = K[x1 , . . . , xn ] be a monomial ideal. Recall that the associated prime
ideals of I are all monomial prime ideals, that is, prime ideals which are generated
by variables, see for example, [6], [13]. We denote by V ∗ (I) the set of monomial
prime ideals containing I. Thus Ass(I) ⊂ V ∗ (I).
Let P = (xi1 , . . . , xir ) be a monomial prime ideal. The monomial localization of
I with respect to P , denoted by I(P ), is the ideal in the polynomial ring S(P ) =
K[xi1 , . . . , xir ] which is obtained from I by applying the K-algebra homomorphism
S → S(P ) with xj 7→ 1 for all xj 6∈ {xi1 , . . . , xir }. For the further discussion,
the following fact, shown in [12, Lemma 1.3] and [11, Lemma 2.11], is of crucial
importance: P ∈ Ass(I) if and only if depth S(P )/I(P ) = 0, and this is the case
if and only if mP ∈ Ass(I(P )), where mP is the graded maximal ideal of S(P ). It
follows that P ∈ Ass∞ (I) if and only if mP ∈ Ass∞ (I(P )).
S
Since k≥1 Ass(I k ) ⊂ V ∗ (I) and since for all k and all P ∈ V ∗ (I) the K-vector
space (I(P )k : mp )/I(P )k is generated by monomials, one obtains:
Lemma 2.1. Let I be a monomial ideal. Then I satisfies the strong persistence
property if and only if for all P ∈ V ∗ (I) and k, and all monomials u ∈ (I(P )k :
mP ) \ I(P )k there exists a monomial v ∈ I(P ) such that uv 6∈ I(P )k+1.
6

Let I be the Stanley-Reisner ideal that corresponds to the natural triangulation
of the projective plane. Then
I = (x1 x2 x3 , x1 x2 x4 , x1 x3 x5 , x1 x4 x6 , x1 x5 x6 , x2 x3 x6 , x2 x4 x5 , x2 x5 x6 , x3 x4 x5 , x3 x4 x6 ).
It was observed in [17, Example 2.18] that I satisfies the persistence property, while
on the other hand I 3 : I 6= I 2 , as can be easily checked. Hence by Theorem 1.3
the ideal I does not satisfy the strong persistence theorem. Indeed, (I 2 : m)/I 2 is
generated by the residue class of u = x1 x2 x3 x4 x5 x6 , and uI 2 ⊂ I 3 .
As mentioned in the previous section it is known by [17] that all edge ideals I(G)
satisfy the Ratliff condition, namely that I(G)k+1 : I(G) = I(G)k for all k, and hence
they all satisfy the strong persistence property. Next we present another large class
of monomial ideal satisfying the strong persistence property. To this end we first
recall the notion of polymatroidal ideals. For the algebraic theory of polymatroids
we refer to [13] and [15].
The set of bases of a polymatroid of rank d based on [n] is a set B ⊂ Zn of
integer vectors a = (a(1), . . . , a(n)) with non-negative entries satisfying the following
conditions:
P
(i) |a| = ni=1 a(i) = d for all a ∈ B;
(ii) (Exchange property) For all a, b ∈ B for which a(i) > b(i) for some i, there
exists j ∈ [n] such that b(j) > a(j) and a − εi + εj ∈ B. Here εi denotes the
canonical ith unit vector.
If the bases of the polymatroid are all (0, 1)-vectors, then they form the bases of a
matroid. In the following example we give some interesting classes of matroids and
polymatroids.
Examples 2.2. (1) Graphic Matroids: Let G be a graph with edge set E(G) = [n].
The set B ⊂ Zn of bases of the graphic matroid G consists of all vectors aT =
P
i∈E(T ) εi , where T is a spanning forest of G.
(2) Transversal polymatroids and matroids: Given a collection A = {A1 , . . . , Ar }
of subsets of [n], the set of bases B of the transversal polymatroid attached to A is
B = {εi1 + . . . + εid : ik ∈ Ak , 1 ≤ k ≤ d}
If in addition ip 6= iq for all 1 ≤ p, q ≤ d with p 6= q, then B is the set of bases of
a transversal matroid.
(3) Polymatroids of Veronese type: Given an integer d and a vector c = (c(1), . . . , c(n))
with c(i) ≥ 0. Then the bases of the polymatroid of Veronese type (d, c) is given by
all integers vector a = (a(1), . . . , a(n)) with |a| = d such that 0 ≤ a(i) ≤ c(i) .
Definition 2.3. A monomial ideal I ⊂ S = K[x1 , . . . , xn ] is called a polymatroidal
ideal, if there exists a set of bases B ⊂ Zn of a polymatroid, such that
G(I) = {xa : a ∈ B}.
Here we denote by G(I) the unique minimal set of generators of a monomial ideal
I.
7

Thus a polymatroidal ideal is a monomial ideal, generated in a single degree,
satisfying the following condition: for all monomials u, v ∈ G(I) with degxi (u) >
degxi (v), there exists j ∈ [n] such that degxj (v) > degxj (u) and xi (u/xj ) ∈ G(I).
Q
Here degxk (w) = ak if w = nk=1 xakk .
Proposition 2.4. Let I be a polymatroidal ideal. Then I satisfies the strong persistence property.
Proof. It is known by [12, Corollary 2.2] that I(P ) is again a polymatroidal ideal
for all P ∈ V ∗ (I). Since powers of polymatroidal ideals are again polymatroidal,
see [13, Theorem 12.6.3], and since by [13, Theorem 12.6.2] polymatroidal ideals
have linear resolutions, we conclude that all powers of I(P ) have a linear resolution.
Thus the assertion follows from Proposition 1.2.

For the proof of this proposition it was essential to know that not only I but also
all monomial localizations of I have a linear resolution. It is conjectured in [2] that
the only monomial ideals with this property are exactly the polymatroidal ideals.
3. The linear relation graph of a monomial ideal
In this section we introduce the linear relation graph Γ of a monomial ideal I ⊂
S = K[x1 , . . . , xn ]. This graph will allow us to give upper bounds of the depth of
the powers I k for k less than a certain number which is determined by Γ.
Definition 3.1. Let G(I) = {u1 , . . . , um }. The linear relation graph Γ of I is the
graph with edge set
E(Γ) = {{i, j} : there exist uk , ul ∈ G(I) such that xi uk = xj ul }
S
and vertex set V (Γ) = {i,j}∈E(Γ) {i, j}.
Example 3.2. Let IG be the edge ideal of the finite simple graph G on the vertex
set [n]. Then the linear relation graph Γ of IG has edge set
{{i, j} : i, j ∈ V (G) and i and j have a common neighbor in G}.
In particular, let G be an odd cycle with edges {i, i+1} for i = 1, . . . n. For simplicity
of notation, here and in the following, any i exceeding n stands the remainder of i
modulo n. With the notation introduced, Γ is an odd cycle with edges {i, i + 2} for
i = 1, . . . , n.
On the other hand, if G is an even cycle, then Γ is the graph with two connected
components Γ1 and Γ2 where Γ1 is a cycle with
E(Γ1 ) = {{2i, 2i + 2} : i = 1, . . . , n/2}
and Γ2 is a cycle with
E(Γ2 ) = {{2i − 1, 2i + 2} : i = 1, . . . , n/2}.
Theorem 3.3. Let I ⊂ S = K[x1 , . . . , xn ] be a monomial ideal generated in a single
degree whose linear relation graph Γ has r vertices and s connected components.
Then
depth S/I t ≤ n − t − 1 for t = 1, . . . , r − s.
8

Proof. It is enough to show that Ht (x1 , . . . , xn ; I t ) 6= 0 for t = 1, . . . , r − s. Let
T ⊂ Γ be a spanning forest of Γ, i.e, a subgraph of Γ which is a forest and for which
V (T ) = V (Γ). This forest has r − s (distinct) edges, say,
{i1 , j1 }, {i2 , j2 }, . . . , {ir−s , jr−s }.
For a suitable labeling of the edges we may assume that for all k, jk is a free
vertex of the forest with edges {i1 , j1 }, {i2 , j2 }, . . . , {ik , jk }. In particular, we have
jk 6∈ {i1 , . . . , ik , j1 , . . . , jk−1 }.
By the definition of Γ, it follows that to each edge {ik , jk } belongs to a cycle
zk = upk ejk − uqk eik in K(x1 , . . . , xn ; I) where upk and uqk are suitable elements in
G(I). Then z = z1 ∧ z2 . . . ∧ zt is a non-trivial cycle in Kt (x1 , . . . , xn ; I t ). Indeed,
z 6= 0, because in z the basis element ej1 ∧ ej2 ∧ . . . ∧ ejt appears in the expansion of
the wedge product only once (with coefficient up1 , up2 · · · upt ). The cycle z cannot be
a boundary of Kt (x1 , . . . , xn ; I t ) because its coefficients all belong to I t \ mI t , since
I is generated in single degree. This shows that [z] 6= 0 in Ht (x1 , . . . , xn ; I t ), and
proves the theorem.

Applying Theorem 3.3 to edge ideals of cycles, it follows from the results in
Example 3.2 that depth S/IGt ≤ n − t − 1 for t = 1, . . . , k, where k = n − 1 if G is
an odd cycle of length n, and k = n − 2, if G is an even cycle of length n.
For example, if n = 5, one has depth S/IG = depth S/IG2 = 2 and depth S/IG3 =
depth S/IG4 = 0. This shows that in general the upper bound for the depth of the
powers given in Theorem 3.3 is not strict.
In a particular situation of Theorem 3.3, we obtain the following additional information.
Corollary 3.4. Let I ⊂ S = K[x1 , . . . , xn ] be a monomial ideal generated in single
degree with linear relation graph Γ. Assume that |V (Γ)| = n and that Γ is connected.
Let T ⊂ Γ be a spanning tree of Γ with edges {i1 , j1 }, {i2 , j2 }, . . . , {in−1 , jn−1 } such
that for all k, jk is a free vertex of the tree with edges {i1 , j1 }, {i2 , j2 }, . . . , {ik , jk }.
For k = 1, . . . , n − 1, let zk = upk ejk+1 − uqk eik be the cycle corresponding to the edge
{ik , jk } and let r be the unique element in [n]\{j1 , . . . , jn−1 }. Then depth(S/I n−1 ) =
0 and up1 . . . upn−1 /xr is a socle element of S/I n−1 . Moreover, m ∈ Ass(I k ) for all
k ≥ n − 1.
Proof. The assumptions imply that z = up1 . . . upn−1 ej1 ∧ ej2 ∧ . . . ∧ ejt + · · · is a
cycle in Kn−1 (x1 , . . . , xn ; I n−1 ) whose homology class [z] ∈ Hn−1 (x1 , . . . , xn ; I n−1 ) is
non-trivial and for which ej1 ∧ ej2 ∧ . . . ∧ ejt appears only once in the expansion of
z, see the proof of Theorem 3.3. Now we use the fact that
Hn (x1 , . . . , xn ; S/I n−1) ∼
= Hn−1 (x1 , . . . , xn ; I n−1 ).
This isomorphism is established as follows: a generator P
[(u + I n−1 )e1 ∧e2 ∧· · ·∧en ] ∈
n−1
n−1
Hn (x1 , . . . , xn ; S/I ) with u ∈ I
: m is mapped to [ i=1 (−1)i+1 uxi e1 ∧· · · ei−1 ∧
ei+1 ∧ · · · ∧ en ] ∈ Hn−1 (x1 , . . . , xn ; I n−1 ).
It follows that [(u + I n−1 )e1 ∧ e2 ∧ · · · ∧ en ] with u = (−1)r+1 up1 . . . upn−1 /xr
is mapped to our given non-trivial homology class [z]. This implies that w =
up1 . . . upn−1 /xr ∈ (I n−1 : m) \ I n−1 , as desired.
9

Say, I is generated in degree d. Then I k is generated in degree dk for all k and
deg w = d(n − 1) − 1. Let v be an arbitrary generator of I (of degree d). Then
v ℓ w ∈ I n−1+ℓ : m for all ℓ ≥ 0 and deg v ℓ w = d(n − 1 + ℓ) − 1. This shows that
v ℓ w ∈ (I n−1+ℓ : m) \ I n−1+ℓ and implies that m ∈ Ass(I k ) for all k ≥ n − 1.

We come back to Example 3.2 and compute a socle element of S/IGn−1 where n is
odd. IG = (u1 , . . . , un ) with n odd, and ui = xi xi+1 for i = 1, . . . , n. Then Γ is a
cycle on the vertex set [n] and the subgraph T ⊂ Γ with edges {2i − 1, 2i + 1} for
i = 1, . . . , n − 1 is a spanning forest of Γ. For i = 1, . . . , n − 1 we obtain the 1-cycles
zi = u2i−1 e2i+1 − u2i+1 e2i−1 . Since 1 is different from all the numbers 2i + 1 with
i = 1, . . . , n − 1, it follows from Corollary 3.4 that
u=(

n−1
Y

u2i−1 )/x1 = (

i=1

n
Y

ui )/un−1 x1 = x1 xn−1 xn

n−2
Y

x2i

i=2

i=1

is a socle element of S/IGn−1 .
Actually, as shown in the paper by Chen et al. [9, Lemma 3.1], it is shown that
for an odd cycle G of length 2k + 1, one has already that m ∈ Ass I k and that
x1 x2 . . . x2k+1 is a socle element of S/I k . This example shows that our bound for
the depth stability is in general not a strict bound.
4. Stability indices for polymatroidal ideals
Let R be Noetherian ring and I ⊂ R a proper ideal. Following [12] and [17] we
define the index of stability for the associated prime ideals of the powers of I to be
the number
astab(I) = min{k : Ass(I ℓ ) = Ass(I k ) for all ℓ ≥ k}.
Furthermore, we define the index of depth stability of I, as introduced in [12], to be
the number
dstab(I) = min{k : depth S/I ℓ = depth S/I k for all ℓ ≥ k}.
The main objective of this section is the proof of the following
Theorem 4.1. Let I ⊂ S = K[x1 , . . . , xn ] be a polymatroidal ideal. Then
astab(I), dstab(I) < ℓ(I).
In particular, astab(I), dstab(I) < n.
We shall need the following
Lemma 4.2. Let I be a monomial ideal and Γ be the linear relation graph of I.
Suppose Γ has r vertices and s connected components. Then
ℓ(I) ≥ r − s + 1,
and equality holds if I is a polymatroidal ideal.
10

Proof. Let G(I) = {xa1 , . . . , xam } and B = {a1 , . . . , am } be the set of exponent
vectors of G(I), and let A be the m × n-matrix whose row vectors are a1 , . . . , am .
Then ℓ(I) is the rank of A.
Let U ⊂ Qn be the Q-vector space spanned by all vectors ak − aℓ with ak , aℓ ∈ B
and such that ak − aℓ = ±εij for some i < j. Furthermore, let Γ1 , . . . , Γs be the
connected components of Γ(I). Then U = U1 ⊕U2 ⊕· · ·⊕Us , where Ut is Q-subspace
of U spanned by all vectors ak − aℓ with ak − aℓ = ±εij and {i, j} ∈ E(Γt ).
We claim that dim Ut = |V (Γt )| − 1. Indeed, let i be an edge of Γt . Then εi 6∈ Ut
since for each vector of Ut , the sum of its components is zero.LThe desired formula
for dim Ut follows therefore from the identity Ut + Qεi =
j∈V (Γt ) Qεj . To see
that this identity holds, let j ∈ V (Γt ). Since Γt is connected, there exist vertices
i = i0 , i1 , . . . , ik = j in Γt such that {il , il+1 } is an edge of Γt for all l. We prove
by induction of the length k of this path connecting i and j that εj ∈ Ut + Qεi . If
k = 1, then εij = εi − εj ∈ Ut , and hence εj ∈ Ut + Qεi . Now let k > 1. By what we
have seen, we have that ε1 ∈ Ut + Qεi . Since i1 is connected to j by a path of length
k − 1, we may apply our induction hypothesis and conclude that εj ∈ Ut + Qεi .
Summarizing what we found so far, we see that dim U = r − s where s is the
number of connected components of Γ(I). Since all vectors in U have component
sum equal to zero, it follows that U is a proper subspace of the vector space which
is spanned by the column vectors of A. It follows that r − s = dim U ≤ rank A − 1 =
ℓ(I) − 1.
Now assume that I is polymatroidal. Then B is the basis of a polymatroid. We
will show that in this case dim U = rank A − 1. To see this we first notice that
ak − aℓ ∈ U for all ak , aℓ ∈ B. We prove this by induction on the distance of ak and
aℓ which, according to [15], is defined the be the number
n
X
|ak (i) − aℓ (i)|).
dist(ak , aℓ ) = 1/2(
i=1

If dist(ak , aℓ ) = 1, then ak − aℓ ∈ U by the definition of U. Suppose now that
dist(ak , aℓ ) > 1. Then the exchange property implies that there exist i and j with
ak (i) > aℓ (i) and ak (j) < aℓ (j) such that a := ak − εij ∈ B. Since dist(a − aℓ ) <
dist(ak , aℓ ) our induction hypothesis implies that a−aℓ ∈ U. Hence, since a−ak ∈ U,
we conclude that ak − aℓ ∈ U as well.
Now by using that ak − aℓ ∈ U for all ak , aℓ ∈ B, we obtain that
U + Qa1 = QB.
Hence, since a1 6∈ U (because its coefficient sum is not zero), we have rank A =
dim QB = dim(U + Qa1 ) = dim U + 1, as desired.

Lemma 4.3. Let I be a polymatroidal ideal and P ∈ V ∗ (I). Then ℓ(I(P )) ≤ ℓ(I).
Proof. We know from [12, Corollary 2.2] that I(P ) is a polymatroidal ideal. Let P
(resp. P ′ ) be the polymatroid which defines I (resp. I(P )). Let A be the m × nmatrix whose row vectors define the bases of P. Since I(P ) is obtained from I
by the substitution xi 7→ 1 for i ∈
/ P , the matrix A′ whose row vector define the
′
bases of P is obtained from A by removing the columns of A which correspond to
11

exponents of xi ∈
/ P and removing the rows of A which do not correspond to the
minimal generators of I(P ). It follows that rank A′ ≤ rank A, as desired.

Proof of Theorem 4.1. Combining Theorem 3.3 with Lemma 4.2 we obtain that
depth S/I ℓ(I)−1 = n − ℓ(I).
By [12, Corollary 2.5], depth S/I k = n − ℓ(I) for all k ≫ 0 and by [12, Proposition 2.3], I satisfies the persistence property (I even satisfies the strong persistence
property, see Proposition 2.4, so that depth S/I k ≥ n − ℓ(I) for all k. We conclude
that dstab(I) < ℓ(I).
In order to prove that astab(I) < ℓ(I), we observe that P ∈ Ass∞ (I) if and only if
ℓ(I(P )) = dim S(P ), see Corollary 1.6. Now Theorem 3.3 together with Lemma 4.2
imply that depth S(P )/I(P )ℓ(I(P ))−1 = 0 which is equivalent to saying that P ∈
Ass(I ℓ(I(P ))−1 ). It follows that astab(I) ≤ max{ℓ(I(P )) − 1 : P ∈ Ass∞ (I)}.
This implies that astab(I) < ℓ(I) since ℓ(I(P )) ≤ ℓ(I) for all P ∈ Ass∞ (I), see
Lemma 4.3.

In view of Theorem 4.1 it is of interest to determine the analytic spread of polymatroidal ideals, or equivalently the number r − s + 1 attached to the linear relation
graph of a polymatroidal ideal. We discuss the polymatroidal ideals attached to the
polymatroids introduced in Example 2.2. To begin with we first discuss the graphic
matroids. For that purpose we recall some facts from graph theory. Let G be a
finite simple graph with vertex V (G) and edge set E(G). We denote by c(G) the
number of connected components of G, and for a subset T ⊂ V (G) we denote by
GT the graph restricted to the vertex set T . In particular for any vertex v ∈ V (G)
we set G \ v = GV (G)\{v} . A vertex v of G is called a cutpoint if c(G) < c(G \ v). A
connected graph with no cutpoints is called biconnected.
Let G be a graph. The following facts are known from graph theory:
(1) A maximal biconnected subgraph of G is called a biconnected S
component of
G. Let G1 , . . . , Gt be the biconnected components of G. Then G = Gi and any
two distinct biconnected components intersect at most in a cutpoint.
(2) Suppose G is a biconnected. Then any two distinct edges belong to a cycle.
Proposition 4.4. Let G be a graph and I be the matroidal ideal attached to the
graphic matroid of G. Let G1 , . . . , Gs be theSbiconnected components of G which
contain more than one edge. Then ℓ(I) = |E( si=1 Gi )| − s + 1.
Proof. Let Γ be the linear relationS graph of I. We see from Lemma 4.2 that it
is enough to show that Γ has |E( ri=1 Gi )| vertices and r connected components.
The matroidal ideal I ⊂ K[xi |ei ∈ E(G)]
attached to the graphic matroid of G
Q
is generated by the monomials uF = ei ∈E(F ) xi , where F is a spanning forest of
G. Let m be the number of biconnected components
of G. First observe that each
Sm
spanning forest F of G can be written as i=1 Ti where T1 , . . . , Tm are spanning
trees of the distinct biconnected components of G. From the definition of Γ we see
that {i, j} is an edge of Γ if there exists a spanning forest F with ei ∈ E(F ) such
that (E(F ) \ {ei }) ∪ {ej } is also a spanning forest of G. If ei and ej are edges in
12

different biconnected components of G, then for any spanning forest F with ei ∈ F ,
the subgraph with edge set (E(F ) \ {ei }) ∪ {ej } contains a cycle. Indeed, this cycle
is contained in the biconnected component which contains the edge ej . Hence if
G1 , . . . , Gt , t ≥ s, are all the biconnected components of G, then Γ is the disjoint
union of the linear relation graphs Γk of Gk for
S k = 1, . . . , t. Obviously, if Gk
contains only one edge, then Γk = ∅. Thus Γ = rk=1 Γk , and this union is disjoint.
Next we show that each Γi for i = 1, . . . , s is a complete graph, which then yields
the desired conclusion. Indeed, if ei and ej belong to same biconnected component
Gk of G, there is a cycle C in G which passes through ei and ej . We can construct
a spanning forest F of G such that E(C) \ {ej } is contained in E(F ). Then (E(F ) \
{ei }) ∪ {ej } is again a spanning tree of Gk . This shows that {i, j} ∈ E(Γ).

Example 4.5. Figure 1 shows a graph G with 3 biconnected components and the
linear relation graph Γ of the matroidal ideal I attached to G. From Proposition 4.4
we see that ℓ(I) = 6.
•
•

•

•
•

•

•

•
•

•
•

•

•

G

•
Γ

Figure 1.
Next we determine the analytic spread of transversal polymatroids. Unfortunately, for transversal matroids we do not know the answer.QLet I be a transversal
polymatroidal ideal, then I has a unique presentation I = m
i=1 Pi , where each Pi
is a monomial prime ideal. Collecting the factors Pi which are principal ideals it
follows that I = uJ where u is a monomial and J is product of remaining monomial
prime ideals Pi . Hence J is also a transversal polymatroidal ideal. Since ℓ(I) = ℓ(J),
we may assume that u = 1, and hence from the very beginning we may assume that
none of the Pi is a principal ideal. For i = 1, . . . , m, we set
Fi = {j| xj ∈ Pi }.
As usual we denote by hF1 , . . . , Fm i the simplicial complex
Sm ∆ generated by the
F1 , . . . , Fm . In other words, ∆ is the simplicial complex on i=1 Fi with the property
that F ∈ ∆ if and only if F ⊂ Fi for some i.
Proposition
Q 4.6. Let Γ be the linear relation graph of the transversal polymatroidal
ideal I = m
i=1 Pi , and let ∆1 , . . . , ∆s be the connected components of the simplicial
complex ∆ = hF1 , . . . , Fm i. Then Γ has s connected components Γ1 , . . . , Γs , and for
k = 1, . . . , s, the connected component Γk is the complete graph on the vertex set of
∆k .
Proof. It is enough to show that {i, j} is an edge of Γ if and only if i and j belong to
the vertex set of ∆k for some k. Let i and j be two vertices of ∆k . We may assume
13

that ∆k = hF1 , . . . , Ft i with t ≤ m. For ∆k , we define the so-called intersection
graph whose vertices are the Fi , and {Fi , Fj } is an edge of this graph if Fi ∩ Fj 6= ∅.
This graph is connected because ∆k is connected. In particular, we may choose a
spanning tree from this graph. This spanning tree has t−1 distinct edges. Therefore,
there exist t−1 distinct pairs (Fp , Fq ) such that Ipq = Fp ∩Fq 6= ∅ for p, q ∈ {1, . . . , t}.
We construct a monomial u of degree m − 1 whose support consists of t − 1 variables
chosen with indices from each of Ipq and the remaining variables chosen with indices
from each of Fl with t+1 ≤ l ≤ m. Then xi u and xj u belong to the set of generators
of I and give the edge {i, j} in Γ, as required.
Conversely, let {i, j} be an edge of Γ. Let V (∆) = {1, . . . , n} be the vertex set of
∆. Then [n] is the disjoint union of V (∆k ), k = 1, . . . , s. Therefore any monomial
has a unique presentation w = w1 . . . ws with supp(wk ) ∈ V (∆k ). Moreover, if
w ∈ G(I) then deg wk is the number of Fi ’s which belong to ∆k . Since {i, j} is an
edge of Γ, there exist u, v ∈ G(I) such that xi u = xj v. Suppose that i ∈ V (∆k ) and
j ∈ V (∆l ) with k 6= l. Then xi uk = vk , which is impossible by degree reasons. This
completes the proof.

Finally we discuss the case of polymatroidal ideals of Veronese type. Let I be such
an ideal. Thus we may assume that I is generated in degree d and that the exponent
vector of any w ∈ G(I) is bounded componentwise by the vector c = (c1 , . .P
. , cn ). To
exclude the trivial cases we may assume without loss of generality that ni=1 ci >
d and ci > 0. It is easy to see that Γ has only one connected component and
V (Γ) = supp(I) where supp(I) denotes the set of integers i with the property that
xi divides one of the generators of I. Indeed, let i, j ∈ supp(I) with i 6= j. We may
assume that i = 1 and j = 2. We choose a monomial u ∈ G(I) with u = xc11 xc22 −1 v
where v is the monomial of degree d − c1 − c2 + 1 with 1, 2 ∈
/ supp(v), and whose
exponent
vector
is
componentwise
bounded
by
(c
,
.
.
.
,
c
).
Such
a monomial exist
3
n
Pn
since i=3 ci ≥ d − c1 − c2 + 1. Therefore the monomial x2 u/x1 has degree d and
has exponent vector bounded by c. Hence x2 u/x1 ∈ G(I), which implies {1, 2} is
an edge of Γ. In particular, ℓ(I) = supp(I).
References
[1] S. Bandari, J. Herzog, T. Hibi, Monomial ideals whose depth function has any given number
of strict local maxima, Preprint 2011, arXiv:1205.1348v1 [].
[2] S. Bandari, J. Herzog, Monomial localizations and polymatroidal ideals, Preprint 2012,
arXiv:1206.3069v1 [].
[3] K. Borna, On linear resolution of powers of an ideal, Osaka J. Math. 46 (2009), 1047-1058 .
[4] M. Brodmann, Asymptotic stability of Ass(M/InM ), Proc. AMS 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, J. Herzog, Cohen–Macaulay rings, Cambridge University Press, London, Cambridge,
New York, (1993)
[7] CoCoA Team, CoCoA: a system for doing computations in commutative algebra, Available at
http: //cocoa.dima.unige.it.
[8] A. Conca, J. Herzog, Castelnuovo-Mumford regularity of products of ideals, Collect. Math. 54
(2003), no. 2, 137-152.
14

[9] J. Chen, S. Morey, A. Sung, The stable set of associated primes of the ideal of a graph, Rocky
Mountain J. Math. 32 (2002), 71-89 .
[10] C. A. Francisco, H. Tài Hà, A. Van Tuyl, A conjecture on critical graphs and connections to
the persistence of associated primes. Discrete Math. 310 (2010), 2176–2182.
[11] C. A. Francisco, H. Tài Hà, A. Van Tuyl, Colorings of hypergraphs, perfect graphs, and
associated primes of powers of monomial ideals, J. Algebra 331 (2011), 224–242.
[12] J. Herzog, A. Rauf, M. Vladoiu, The stable set of associated prime ideals of a polymatroidal
ideal, J. Algebraic Combinatorics, DOI 10.1007/s10801-012-0367-z.
[13] J. Herzog, T. Hibi, Monomial ideals. Graduate Texts in Mathematics, 260. Springer-Verlag
London, Ltd., London, 2011.
[14] J. Herzog, T. Hibi, The depth of powers of an ideal, J. Algebra 291 (2005), 534-550.
[15] J. Herzog, T. Hibi, Discrete polymatroids, J. Algebraic Combinatorics 16 (2002), 239-268.
[16] S. McAdam, Asymptotic Prime Divisors, Lecture Notes in Mathematics 1023, SpringerVerlag,
New York, 1983.
[17] J. Martinez-Bernal, S. Morey, R. H. Villarreal, Associated primes of powers of edge ideals,
Preprint, 2011, arXiv:1103.0992v3 [].
[18] L. J. Ratliff Jr. On prime divisors of I n , n large, Michigan Math. J., 23 (1976), 337-352.
Jürgen Herzog, Fachbereich Mathematik, Universität Duisburg-Essen, Campus
Essen, 45117 Essen, Germany
E-mail address: juergen.herzog@uni-essen.de
Ayesha Asloob Qureshi, Abdus Salam School of Mathematical Sciences, GC University, Lahore. 68-B, New Muslim Town, Lahore 54600, Pakistan
E-mail address: ayesqi@gmail.com

15

