arXiv:1711.09178v1 [] 25 Nov 2017

STABILITY OF DEPTH FUNCTIONS OF COVER IDEALS OF
BALANCED HYPERGRAPHS
NGUYEN THU HANG
Abstract. We prove that the depth functions of cover ideals of balanced hypergragh have the non-increasing property. Furthermore, we also give a bound for the
index of depth stability of these ideals.

Introduction
Let R = K[x1 , . . . , xn ] be a polynomial ring over a field K and I ⊆ R is a
homogenerous ideal. The numerical function t 7−→ depth R/I t , t > 1, is called
the depth function of I. This function has been studied by many authors (see e.g.
[7, 8, 10, 13, 14, 20, 23]). It is the well-known result by Brodmann [3] that this
function is constant when t large enough. Moreover, Brodmann also [3] proved that:
lim depth R/I t 6 dim R − ℓ(I),

t→∞

where ℓ(I) is the analytic spread of I. Eisenbud and Huneke [6] showed that equality
hold when the associated graded ring of I is Cohen-Macaulay.
The smallest number integer s such that depth R/I t = depth R/I s for all t > s is
called the index of depth stability and denoted by dstab(I). It is of natural interest to
find a bound for dstab(I). For until now, there are only a few classes of ideals which
are able to find a bound for dstab(I), for instance [4, 9, 10, 13, 23].
In general, the behavior of depth functions of monomial ideals is complicated, it is
proved in [7] that any convergent non-negative numerical function is the depth function of powers of a monomial ideal. Herzog and Hibi [10] asked whether depth function
is non-increasing for any square-free monomial ideals. However, Kaiser, Stehlík and
Škrekovski [17] gave a counterexample to show that there is a graph whose cover ideal
has not non-increasing depth function. Until now, this problem can be only characterized on some certain classes of monomial ideals, for example [5, 8, 9, 14, 15, 20].
This work is motivated by a recent paper of me and Trung [9]. In that paper we
proved that the depth functions of cover ideals of unimodular hypergraphs are nonincreasing and gave a reasonable bound for the index of depth stability of these ideals.
In this paper we extend these results for the cover ideals of balanced hypergraghs.
The class of balanced hypergraphs contain all unimodular hypergraphs.
1991 Mathematics Subject Classification. 13A15, 13C13.
Key words and phrases. Depth function, cover ideals, powers of ideals.
1

Before stating the main results, we recall some basic notations about from graph
theory (see [1] for more detail).
Let V = {1, . . . , n}, and let E be a family of distinct nonempty subsets of V. The
pair H = (V, E) is called a hypergraph with vertex set V and edge set E. Note that
a hypergraph generalizes the classical notion of a graph. It means that a graph is a
hypergraph for which every E ∈ E has cardinality two.
One may also define a hypergraph by its incidence matrix A(H) = (aij ), with rows
representing the edges E1 , E2 , . . . , Em and columns representing the vertices 1, 2, . . . , n
where aij = 0 if j ∈
/ Ei and aij = 1 if j ∈ Ei .
A matrix is called balanced matrix if it has no square submatrix of the form


1 1 0 ··· 0 0 0
 0 1 1 · · · 0 0 0


 0 0 1 · · · 0 0 0

Bk = 
 ... ... ... · · · ... ... ...  ,


 0 0 0 · · · 0 1 1
1 0 0 ··· 0 0 1

where k ≥ 3 is odd.
A cycle of length k in hypergragh H is a sequence (i1 , E1 , i2 , E2 , i3 , . . . , ik , Ek , i1 )
such that:
• E1 , . . . , Ek are distinct edges of H;
• i1 , . . . , ik are distinct vertices of H such that {it , it+1 } ∈ Et with t = 1, . . . , k−1;
• {ik , i1 } ∈ Ek .
A hypergraph H is said to be balanced if every odd cycle has an edge containing at
least three vertices of the cycle. In other word, H is balanced if and only if so is its
incidence matrix.
A vertex cover of H is a subset of V which meets every edge of H; a vertex cover is
minimal if none of its proper subsets is itself a cover. For a subset τ = {i1 , . . . , it } of
V, set xτ := xi1 · · · xit . The cover ideal of H is then defined by:
J(H) := (xτ | τ is a minimal vertex cover of H).

It is well-known that there is one-to-one correspondence between squarefree monomial ideals of R and cover ideals of hypergraphs on the vertex set V.
Our first main result of this paper is the following theorem.

Theorem 2.4. Let H be a balanced hypergraph. Then the depth function of J(H) has
non-increasing property.
We next solve the question of when depth R/J(H)s becomes stationary where H is
a balanced hypergraph, in term of dim R and the analytic spread of J(H). Namely:
Theorem 2.6. Let H = (V, E) be a balanced hypergraph with the vertex set
V = {1, . . . , n}. Then
depth R/J(H)t = n − ℓ(J(H)) for all t > n.
2

Moreover, dstab(J(H)) 6 n.
Our approach is based on a generalized Hochster’s formula for computing local
cohomology modules of arbitrary monomial ideals formulated by Takayama [22]. By
using this formula we are able to investigate the depth of powers of monomial ideals
via the integer solutions of certain systems of linear inequalities. This allows us to
use the theory of polytopes as the key role in this paper (see e.g. [9, 15, 16] for this
approach).
The paper is organized as follows. In Section 1, we set up some basic notations and
terminology for simplicial complex, the relationship between simplicial complexes and
cover ideals of hypergraphs; and a generalization of Hochster’s formula for computing
local cohomology modules. In Section 2, we prove the non-increasing property for
depth functions of cover ideals of balanced hypergraphs, we also establish an upper
bound for dstab(J(H)) of any balanced hypergraph H.
1. Preliminary
In this section, in order to be convenient we recall some basic notations used in
the paper and a number of auxiliary results. Throughout the paper, the important
invariant that we investigate are the depth. Though this notion can be defined in
several ways, for our purpose we recall their definition by means of local cohomology
modules.
Let R = K[x1 , . . . , xn ] be a polynomial ring over a field k with the maximal homogeneous ideal m = (x1 , . . . , xn ).
Let M be a finitely generated graded non-zero R−module. The depth of M, denoted
by depth M, is the lenght of any maximal homogeneous M−sequence of M. This
invariant is one of the most important numerical invariants in commutative algebra.
It can be determined via local cohomology of M as follows:
depth(M) := min{i | Hmi (M) 6= 0},

where Hmi (M), for i ≥ 0, denote the i−th local cohomology module of M with respect
to m.
Let I be a monomial ideal in R. Since R/I is an Nn −graded algebra and Hmi (R/I)
is an Zn −graded module over R/I. We denote by Hmi (R/I)α the α−component of
Hmi (R/I) for some α = (α1 , . . . , αn ) ∈ Zn .
In order to compute the i−th local cohomology module of R/I, we use the formula
of Takayama [22].
A simplicial complex on [n] = {1, . . . , n} is a collection of subsets of [n] such that
if σ ∈ ∆ and τ ⊆ σ then τ ∈ ∆. The Stanley-Reisner ideal of the simplicial complex
∆ is defined by
I∆ := (xτ | τ ∈
/ ∆) ⊆ R.

Note that if I is a squarefree monomial ideal, then it is a Stanley-Reisner ideal of the
simplicial complex ∆(I) := {τ ⊆ V | xτ ∈
/ I}. If I is a monomial ideal (may be not
3

squarefree) we also use ∆(I)
√ to denote the simplicial complex corresponding to the
squarefree monomial ideal I.
√
Set ∆(I) is a simplicial complex corresponding to the Stanley-Reisner I. For any
α = (α1 , . . . , αn ) ∈ Zn . Set xα = xα1 1 · · · xαnn and Gα = {i | αi < 0}. For every subset
F ⊆ [n] = {1, . . . , n} we let RF = R[x−1
| i ∈ F ]. Define the simplicial complex,
i
denoted ∆α (I), by
∆α (I) := {F \Gα | Gα ⊆ F, xα ∈
/ IRF }.

(1)

We call ∆α (I) to be a degree complex of I.
Takayama’s formula is stated as follows:
e i−|Gα |−1 (∆α (I); K).
dimK Hmi (R/I)α = dimK H

(2)

The original formula in [22, Theorem 1.1] is bit different. It considers more conditions on α for Hmi (R/I)α = 0. However, the proof in [22, Theorem 1.1] shows that
we might ignore these conditions.
Let F (∆) be the set of facets of simplicial complex ∆. If F (∆) = {F1 , . . . , Fm },
we write ∆ = hF1 , . . . , Fm i. Then Stanley-Reisner I∆ has the primary-decomposition
(see [18, Theorem 1.7]):
\
(3)
I∆ =
PF ,
F ∈F (∆)

where PF = (xi | i ∈
/ F ).
T
(s)
For s > 1, the s-th symbolic power of I∆ is I∆ = F ∈F (∆) PFs .
(s)

Note that ∆(I∆ ) = ∆. There is an useful description of ∆α (I (n) ) as follows:

Lemma 1.1. [19, Lemma 1.3] For all α ∈ Nn and s > 1, we have
*
+
X
∆α (I (s) ) = F ∈ F (∆) |
αi 6 s − 1 .
i∈F
/

Let H = (V, E) be a hypergraph. Then, the cover ideal of H can be written as
\
(4)
J(H) =
(xi | i ∈ E).
E∈E

By this formula, combining with Equation (3), it is easy to see that J(H) is a StanleyReisner ideal of simplicial complex
(5)

∆(J(H)) = hV \ E | E ∈ Ei .

In particular, By [12, Theorem 1.4] if H is a balanced hypergragh then the cover
ideal J(H) is normally torsion-free, i.e., J(H)s = J(H)(s) for all s > 1. Combining
with [19, Lemma 1.3] we obtain:
4

Lemma 1.2. Let H = (V, E) be a balanced hypergraph with V = {1, . . . , n} and
α = (α1 , . . . , αn ) ∈ Nn . Then for every s > 1 we have
*
+
X
∆α (J(H)s ) = V \ E | E ∈ E and
αi 6 s − 1 .
i∈E

For F ⊆ V, set S := [xi | i ∈
/ F ] and J ′ := J(H)RF ∩ S. Let H′ be a hypergraph
′
on the vertex set V := V \ F with the edge set E ′ = {E ∈ E | E ∩ F = ∅}. By (4) we
obtain J(H)RF ∩ S = J(H′ ).
2. The behavior of depth functions of cover ideals

In this section we investigate the non-increasing property of the depth functions of
cover ideals of balanced hypergraphs. After that we want to give an effective bound
for the index of depth stability of cover ideal J(H).
Let H = (V, E) be a balanced hypergraph on the vertex set V = {1, . . . , n}. Suppose
that E = {E1 , . . . , Em }. Then by Equation (5) we have
∆(J(H)) = hV \ E1 , . . . , V \ Em i .

Firstly, let p > 0, s > 1 and α = (α1 , . . . , αn ) ∈ Nn such that Hmp (R/J(H)s )α 6= 0.
By Equation (2) we have
e p−1 (∆α (J(H)s ); K) = dimK H p (R/J(H)s )α ,
dimK H
m

e p−1 (∆α (J(H)s ); K) 6= 0. In particular, ∆α (J(H)s ) 6= ∅. Thus, by Lemma
so that H
1.2 we may assume that ∆α (J(H)s ) = hV \ E1 , . . . , V \ Er i for some 1 6 r 6 m.
For each t > 1, let Ωt ⊂ Rn be the set of solutions of the following system of linear
inequalities:
P

for j = 1, . . . , r,
Pi∈Ej xi 6 t − 1
(6)
for j = r + 1, . . . , m,
i∈Ej xi > t


x1 > 0, . . . , xn > 0.
It is obvious α ∈ Ωs and so Ωs 6= ∅. Moreover, by Lemma 1.2 if β ∈ Ωt ∩ Nn then
∆β (J(H)t ) = hV \ E1 , . . . , V \ Er i = ∆α (J(H)s ).

In order to investigate the set Ωt , we can consider Ct , which is the set of solutions in
Rn of the following system of linear inequalities:
P

for j = 1, . . . , r,
Pi∈Ej xi < t
(7)
for j = r + 1, . . . , m,
i∈Ej xi > t


x1 > 0, . . . , xn > 0.
Because of for any t we have Ωt ⊆ Ct . It deduces Cs 6= ∅. Since Ct = tC1 , where C1
is the set of solutions of system (7) with t = 1. It implies C1 6= ∅.
5

Let C t be the closure of Ct in Rn with respect to the usual Euclidean topology.
Then, C t = tC 1 , because of C1 6= ∅ it implies C 1 6= ∅. One has C t is solutions set in
Rn of the following system:
P

for j = 1, . . . , r,
Pi∈Ej xi 6 t
(8)
for j = r + 1, . . . , m,
i∈Ej xi > t


x1 > 0, . . . , xn > 0.
It is clear that C t is a convex polyhedron in Rn .

Lemma 2.1. C 1 is a polytope with dim C 1 = n. Moreover, every vertex of C 1 is
integer point, i.e., all its coordinates are integers.
Proof. Firstly, it follows from [9, Lemma 2.1] that C1 is a polytope in Rn and
dim C 1 = n.
Now, let α = (α1 , . . . , αn ) is a vertex of C1 . Since C 1 is the solutions set in Rn of
the system (8) with t = 1, by [21, Formula 23 in Page 104], one has α must be the
unique solution of a system of linear equations of the form
(P
for j ∈ S1 ⊆ {1, . . . , m},
i∈Ej xi = 1
(9)
xj = 0
for j ∈ S2 ⊆ {1, . . . , n}
where |S1 | + |S2 | = n.
Since the matrix of the system:
X
i∈Ej

xi = 1, j ∈ S1

is a submatrix of A(H). Hence, it is balanced matrix and hence the matrix of the
system (9) is balanced matrix. By [21, Theorem 2.17] we have α is a {0, 1}−vector.
Therefore, α is an integer point.

Remark 2.2. Observe that Ωt ⊆ Ct ⊆ C t , so Ωt is a polytope as well.

Lemma 2.3. For any t > 1, if Ωt ∩Nn 6= ∅ then Ωt+1 ∩Nn 6= ∅. Moreover Ωn ∩Nn 6= ∅.
Proof. Let α = (α1 , . . . , αn ) ∈ Ωt ∩ Nn so that from the system (6) we can see α
satisfies
(P
αi 6 t − 1 for j = 1, . . . , r,
Pi∈Ej
for j = r + 1, . . . , m.
i∈Ej αi > t

Since Ωt 6= ∅, one has Ct 6= ∅. Therefore, C1 6= ∅. Let γ ∈ Nn be a vertex of C1 . Then
γ ∈ Nn by Lemma 2.1. Note also that γ is a solution of the system (8) with replacing
t by 1.
Let θ = α + γ ∈ Nn . We have
(P
θi 6 t
for j = 1, . . . , r,
Pi∈Ej
for j = r + 1, . . . , m.
i∈Ej θi > t + 1
6

Thus, θ ∈ Ωt+1 , and it is clear that Ωt+1 ∩ Nn 6= ∅, as required.
It remains to show that Ωn ∩ Nn 6= ∅. From the system (6) we can see that Ωn is
the set of solutions of the following system:
P

for j = 1, . . . , r,
Pi∈Ej xi 6 n − 1
(10)
for j = r + 1, . . . , m,
i∈Ej xi > n


x1 > 0, . . . , xn > 0.

If r = m, then the zero vector of Rn is in Ωn , and then Ωn ∩ NnP
6= ∅.
Assume that r < m. From the system (8) we conclude that i∈Em xi = 1 is a
supporting hyperplane of C 1 . Let F be the facet of C 1 determined by this hyperplane.
Now take n vertices of C 1 lying in F , say α1 , . . . , αn , such that they are affinely
independent. Let α := (α1 + · · · + αn )/n ∈ C 1 . Then α is a relative interior point of
F , so that it does not belong to any another facet of C 1 . Thus, α is a solution of the
following system:
P

for j = 1, . . . , r,
Pi∈Ej xi < 1
(11)
for j = r + 1, . . . , m,
i∈Ej xi > 1


x1 > 0, . . . , xn > 0.
Therefore, nα is a solution of the following system
P

for j = 1, . . . , r,
Pi∈Ej xi < n
(12)
x >n
for j = r + 1, . . . , m,
 i∈Ej i

x1 > 0, . . . , xn > 0.

Together with the fact that nα ∈ Nn , it yields nα ∈ Ωn . Thus, Ωn ∩ Nn 6= ∅.



We are now ready to prove the first main result of this section. Without loss of
generality we may assume that E =
6 ∅ and thus J(H) 6= 0.
Theorem 2.4. Let H be a balanced hypergraph. Then the depth funtion of J(H) has
non-increasing property.
Proof. Fix any t > 1. We need to show that
depth R/J(H)t > depth R/J(H)t+1 .
Indeed, let d := depth R/J(H)t . We have Hmd (R/J(H)t )α 6= 0 for some α ∈ Zn .
By Equation (2) we have
(13)

e d−|Gα |−1 (∆α (J(H)t ); K) = dimK H d (R/J(H)t )α 6= 0.
dimK H
m

In particular, ∆α (J(H)t ) is not acyclic.
If Gα = {1, . . . , n}, then ∆α (J(H)t ) is either {∅} or a void complex. Since it is
not acyclic, so ∆α (J(H)t ) = {∅}. But then by (1) we would have J(H) = 0, a
contradiction.
7

Therefore, Gα 6= {1, . . . , n}. We may assume that Gα = {p + 1, . . . , n} for some
1 6 p 6 n. Set S := K[x1 , . . . , xp ]. Let H′ be the subhypergraph of H on the vertex
set V ′ = {1, . . . , p} with the edge set E ′ = {E ∈ E | E ⊆ V ′ }. By [2, Proposition 4.3],
since H is balanced, so is H′ .
Moreover, by (4) we obtain:
J(H)RGα ∩ S = J(H′ ).

(14)

Let α∗ := (α1 , . . . , αp ) ∈ Np . By using Formulas (1) and (14) we get

∆α∗ (J(H′ )t ) = ∆α (J(H)t ) for any t > 1.
e d−|Gα |−1 (∆α∗ (J(H′ )t ); K) 6= 0. In particular, the comTogether with (13), it gives H
plex ∆α∗ (J(H′ )t ); K) is not acyclic.
Suppose that E ′ = {E1 , . . . , Ev } where v > 1. Then by Equation (5)

(15)

∆(J(H′ )) = hV ′ \ E1 , . . . , V ′ \ Ev i .

By Lemma 1.2 we may assume that

∆α∗ (J(H′ )t ) = hV ′ \ E1 , . . . , V ′ \ Eq i ,

with 1 6 q 6 v.
For each integer s > 1, let Ωs be the set of solutions in Rp of the following system:
P

for j = 1, . . . , q,
Pi∈Ej xi 6 s − 1
(16)
for j = q + 1, . . . , v,
i∈Ej xi > s


x1 > 0, . . . , xp > 0.

Then α∗ ∈ Ωt ∩ N p , so Ωt ∩ Np 6= ∅. By Lemma 2.3 we have Ωt+1 ∩ Np 6= ∅. Let
β = (β1 , . . . , βp ) ∈ Ωt+1 ∩ Np . Then,
(P
β 6t
for j = 1, . . . , q,
Pi∈Ej i
(17)
for j = q + 1, . . . , v,
i∈Ej β i > t + 1

It follows that
(18)

∆β (J(H′ )t+1 ) = ∆α∗ (J(H′ )t ) = hV ′ \ E1 , . . . , V ′ \ Eq i

Let β ′ = (β 1 , . . . , β p , −1, . . . , −1) ∈ Zn . Then Gβ′ = Gα , and by (15) and (18) we
obtain
∆β′ (J(H)t+1 ) = ∆β (J(H′ )t+1 ) = ∆α∗ (J(H′ )t ) = ∆α (J(H)t ).
Again, by Lemma 2 we have
e i−|G ′ |−1 (∆β′ (J(H)t+1 ); K)
dimK H d (R/J(H)t+1 )β′ = dimK H
m

β

e i−|Gα |−1 (∆α (J(H)t ); K) 6= 0.
= dimK H

Consequently, Hmp (R/J(H)t+1 ) 6= 0, and so

depth R/J(H)t+1 6 d.

Therefore, the proof of the theorem is complete.
8



In the case H is a bipartite graph. It is easy to see that by Theorem 2.4 we receive
[5, Theorem 3.2].
Corollary 2.5. If G is bipartite graph. Then J(G) has non-increasing depth function.
Next, we give an upper bound for dstab(J(H)) where H is a balanced hypergraph.
The our second main result is the following.
Theorem 2.6. Let H = (V, E) be a balanced hypergraph with the vertex set
V = {1, . . . , n}. Then
depth R/J(H)t = n − ℓ(J(H)) for all t > n.

Moreover, dstab(J(H)) 6 n.

Proof. Since H is balanced hypergraph, then J(H) is totally torsion-free
by [12, Theorem 1.4]. Therefore, by [11, Proposition 10.3.2 and Theorem 10.3.13]
we have
lim depth R/J(H)t = dim R − ℓ(J(H)).
t→∞

Together with Theorem 2.4, this yields
(19)

dstab(J(H)) = min{t > 1 | depth R/J(H)t = dim R − ℓ(J(H)}.

Hence, it suffices to show that dstab(J(H)) 6 n.
Let s := dstab(J(H)) and d := n − ℓ(J(H)). Then, Hmd (R/J(H)s )α 6= 0 for some
α ∈ Zn . By Equation (2) we have
e d−|Gα |−1 (∆α (J(H)s ); k) = dimK H d (R/J(H)s )α 6= 0.
(20)
dimK H
m

s

In particular, ∆α (J(H) ) is not acyclic.
Let F := Gα , we now can consider two cases:

Case 1: If F = {1, . . . , n}, then ∆α (J(H)s ) is either {∅} or a void complex. Since
it is not acyclic, so ∆α (J(H)s ) = {∅}. But then by (1) we would have J(H) = 0, a
contradiction.
Case 2: F 6= {1, . . . , n}. We may assume that F = {p + 1, . . . , n} for some 1 6
p 6 n. Set S := K[x1 , . . . , xp ]. Let H′ be the subhypergraph of H on the vertex set
V ′ = {1, . . . , p} with the edge set E ′ = {E ∈ E | E ⊆ V ′ }. By [2, Proposition 4.3],
since H is balanced, H′ is balanced too.
Moreover, by (4) we obtain:
(21)

J(H)RGα ∩ S = J(H′ ).

Let α∗ := (α1 , . . . , αp ) ∈ Np . By using Formulas (1) and (21) we get

∆α∗ (J(H′ )s ) = ∆α (J(H)s ) for any s > 1.
e d−|Gα |−1 (∆α∗ (J(H′ )s ); K) 6= 0. It implies that
Together with (20), it gives H
′
s
∆α∗ (J(H ) ); K) is also not acyclic.
Suppose that E ′ = {E1 , . . . , Ek } where k > 1. Then, by Equation (5)

(22)

∆(J(H′ )) = hV ′ \ E1 , . . . , V ′ \ Ek i .
9

By Lemma 1.2 we may assume that
∆α∗ (J(H′ )t ) = hV ′ \ E1 , . . . , V ′ \ Eq i

with 1 6 q 6 k.
For each integer l > 1, let Ωl be the set of solutions in Rp of the following system:
P
for j = 1, . . . , q,

Pi∈Ej xi 6 l − 1
(23)
for j = q + 1, . . . , k,
i∈Ej xi > l


x1 > 0, . . . , xp > 0.

Then α∗ ∈ Ωs by Lemma 1.2, so Ωs 6= ∅.
By Lemma 2.3 we have Ωp ∩ Np 6= ∅. Since p 6 n, by Lemma 2.3 again we have
Ωp ∩ Nn 6= ∅.
Let γ ∈ Ωp ∩ Nn . Then γ satisfies the system (23) by replacing l by n. Together
with Lemma 1.2 we have

(24)

∆γ (J(H′ )n ) = ∆α∗ (J(H′ )s ) = {V \ E1 , . . . , V \ Ek }.

Let γ ′ = (γ 1 , . . . , γ p , −1, . . . , −1) ∈ Zn . Then Gγ ′ = Gα , and by (22) and (24) we
obtain
∆γ ′ (J(H)n ) = ∆γ (J(H′ )n ) = ∆α∗ (J(H′ )s ) = ∆α (J(H)s ).
By Equation (2) we yields
e i−|G ′ |−1 (∆γ ′ (J(H)n ); K)
dimK H d (R/J(H)n )γ ′ = dimK H
m

γ

e i−|Gα |−1 (∆α (J(H)s ); K) 6= 0.
= dimK H

In particular, depth R/J(H)n 6 d. On the other hand, by Theorem 2.4 we have
depth R/J(H)n > lim depth R/J(H)l = d.
l→∞

n

It follows that depth R/J(H) = d, so s 6 n by (19), as required.



Acknowledgment. This work is partially supported by NAFOSTED (Vietnam) under the grant number 101.04-2015.02. I am also partially supported by Thai Nguyen
University of Sciences under the grant number ÐH2016-TN06-03.
References
[1] C. Berge, Hypergraphs: combinatorics of finite sets. North-Holland, New York, 1989.
[2] A. Bretto, Hypergraphs Theory: An introduction. Springer International Publishing, Switzerland, 2013.
[3] M. Brodmann, The Asymptotic Nature of the Analytic Spread, Math. Proc. Cambridge Philos
Soc. 86 (1979), 35–39.
[4] R.C. Cowsik and M.V. Nori, Fibers of blowing up, J. Indian Math. Soc. 40 (1976), 217–222.
[5] A. Constantinescu, M. R. Pournaki, S. A. Seyed Fakhari, N. Terai and S. Yassemi, CohenMacaulayness and limit behavior of depth for powers of cover ideals, Communications in Algebra
43, (2015) 143–157.
[6] D. Eisenbud and C. Huneke, Cohen-Macaulay Rees algebras and their specialization, J. Algebra
81 (1983), 202-224.
10

[7] H. T. Hà, N. D. Hop, N. V. Trung and T. N. Trung, Symbolic powers of sums of ideals, arXiv:
1702.01766.
A. V. Jayanthan, N. Narayanan and S. Selvaraja, Regularity of Powers of Bipartite Graphs,
arXiv:1609.01402.
[8] H. T. Hà, N. V. Trung and T. N. Trung, Depth and regularity of powers of sums of ideals, Math.
Z. DOI: 10.1007/s00209-015-1566-9, arXiv:1501.06038.
[9] N. T. Hang and T. N. Trung, The behavior of depth functions of powers of cover ideals of
unimodular hypergraphs, Ark. Math., Vol. 55(1) (2017), 89-104.
[10] J. Herzog and T. Hibi, The depth of powers of an ideal, J. Algebra 291 (2005), 534–550.
[11] J. Herzog and T. Hibi, Monomial ideals. GTM 260. Springer 2010.
[12] J. Herzog, T. Hibi and N. V. Trung and X. Zheng Standard graded vertex cover algebras, cycles
and leaves, Trans. Amer. Math. Soc 360 (2008), 6231 - 6249.
[13] J. Herzog and A. A. Qureshi, Persistence and stability properties of powers of ideals, J. Pure
and Applied Algebra 219(2015), 530–542.
[14] J. Herzog and M. Vladoiu, Squarefree monomial ideals with constant depth function. J. Pure
Appl. Algebra 217 (2013), no. 9, 1764–1772.
[15] L. T. Hoa, K. Kimura, N. Terai and T. N. Trung, Stability of depths of symbolic powers of
Stanley-Reisner ideals, J. Algebra 473 (2017), 307 - 323.
[16] L. T. Hoa and T. N. Trung, Stability of depth and Cohen-Macaulayness of integral closures
of powers of monomial Ideals, Acta Mathematica Vietnamica DOI: 10.1007/s40306-017-0225-0,
arXiv:1706.07603.
[17] T. Kaiser, M. Stehlík and R. Škrekovski, Replication in critical graphs and the persistence of
monomial ideals. J. Combin. Theory Ser. A 123 (2014), 239–251.
[18] E. Miller and B. Sturmfels, Combinatorial commutative algebra. Springer, 2005.
[19] N. C. Minh and N. V. Trung, Cohen-Macaulayness of powers of two-dimensional squarefree
monomial ideals, J. Algebra 322 (2009), 4219–4227.
[20] L. D. Nam, M. Vabaro, When depth is comming soon, J. Algebra 445(2016), 181–192.
[21] A. Schrijver, Theory of linear and integer programming, John Wiley & Sons, 1998.
[22] Y. Takayama, Combinatorial characterizations of generalized Cohen-Macaulay monomial ideals,
Bull. Math. Soc. Sci. Math. Roumanie (N.S.) 48 (2005), 327–344.
[23] T. N. Trung, Stability of depths of powers of edge ideals, J. Algebra 452 (2016), 157–187.
Thai Nguyen College of Sciences, Thai Nguyen University, Thai Nguyen, Vietnam
E-mail address: nguyenthuhang0508@gmail.com

11

