CANDIDATES FOR NON-ZERO BETTI NUMBERS OF MONOMIAL
IDEALS

arXiv:1507.07188v2 [math.AC] 3 Jul 2016

ALI AKBAR YAZDAN POUR

Abstract. Let I be a monomial ideal in the polynomial ring S generated by elements
of degree at most d. In this paper, it is shown that, if the i-th syzygy of I has no element
of degrees j, . . . , j + (d − 1) (where j ≥ i + d), then (i + 1)-syzygy of I does not have
any element of degree j + d. Then we give several applications of this result, including
an alternative proof for Green-Lazarsfeld index of the edge ideals of graphs as well as an
alternative proof for Fröberg’s theorem on classification of square-free monomial ideals
generated in degree two with linear resolution. Among all, we describe the possible
indices i, j for which I may have non-zero Betti numbers βi,j .

introduction
Monomial ideals are probably the most important objects in combinatorial commutative
algebra and their graded minimal free resolution is a wide area of research in this subject.
It is known that, the graded Betti numbers of a monomial ideal and its polarization are
the same. Polarization is a technique to transform a monomial ideal to a square-free
monomial ideal. On the other hand, the Stanley-Reisner theory, corresponds a simplicial
complex to a given square-free monomial ideal and Hochster formula [15] enables us to
find the Betti numbers of square-free monomial ideals in purely combinatorial method;
though determining the Betti numbers of these ideals is not as easy as using only this
formula. In fact, computational methods in commutative algebra and computer algebra
systems such as Singular [4] and CoCoA [1] use the technique of the Gröbner basis to
find the Betti numbers of an ideal and not the Hochster formula. So it seems that the
combinatorics of the monomial ideals is still mysterious.
On the other hand, many numerical invariants of a graded ideal (such as, projective
dimension, Castelnuovo-Mumford regularity, etc), focus on indices for which we have a
non-zero Betti numbers, since determining the exact value of Betti numbers seems not to
be accessible in many cases. This paper is intended to describe a (sharp) bound for an
interval for which, we should search for the non-zero Betti numbers among it. Indeed,
we show that, for a given monomial ideal I generated in degree at most d, if the i-th
syzygy of I contains no elements of degrees j, j + 1, . . . , j + (d − 1) (where j ≥ i + d),
then in the next syzygy, there is no element of degree j + d (Theorem 2.1). Among all
2010 Mathematics Subject Classification. Primary 13D02, 13D05; Secondary 05E40.
Key words and phrases. Betti numbers, syzygy, Fröberg’s Theorem, Green-Lazarsfel index.
1

2

A. A. YAZDAN POUR

other interesting corollaries, this enables us to describe the possible shape of the Betti
diagram of a monomial ideal. A similar result in the case of edge ideal of a graph, can be
found in [17] by O. Fernández-Ramos and P. Gimenez. This paper is organized as follows:
In Section 1, we recall some basic notions and prerequisites on commutative algebra and
combinatorics. Section 2 contains the main theorem of this paper. To prove the main
theorem, first we obtain the result in the case of square-free monomial ideals and then,
we use the technique of polarization, to obtain the result in the case of monomial ideals.
Our method here, is to observe on the vanishing of reduced homology in certain degrees.
The last section is devoted to some applications of the main theorem. In this section,
we state several applications of the main theorem and we pursue with generalizations of
known results on this subject.
Recently, the author found that Theorem 2.1 has been independently proved in [22]
to justify their algorithm for computing Betti numbers and Corollary 3.6(i) appeared in
[16] as a partial answer to subadditivity problem. Independently the author proved these
results and presented them in [23].
1. preliminaries
In this section, we recall basic notations and prerequisites of this paper which will be
used later. This section is divided into three parts. In the first part, the notion of simplicial
complexes and Mayer-Vietoris sequence will be described. Then, we review quickly the
definition of Betti numbers and regularity. Finally, we recall basic notations in graph
theory; the Fröberg’s theorem is also stated in this part. Throughout, S = K[x1 , . . . , xn ]
denotes the polynomial ring over a field K with the standard grading (i.e. deg(xi ) = 1).
Simplicial complexes. A simplicial complex ∆ over a set of vertices V = {v1 , . . . , vn },
is a collection of subsets of V , with the property that:
(a) {vi } ∈ ∆, for all i;
(b) if F ∈ ∆, then all subsets of F are also in ∆ (including the empty set).
An element of ∆ is called a face of ∆ while a non-face of ∆ is a subset F of V with F ∈
/ ∆.
We denote by N (∆), the set of all minimal non-faces of ∆. The maximal faces of ∆ with
respect to inclusion are called facets of ∆.
Let F(∆) = {F1 , . . . , Fq } be the facet set of ∆. It is clear that F(∆) determines ∆
completely and so we write ∆ = hF1 , . . . , Fq i. A simplicial complex Γ is called a subcomplex
of ∆, if Γ ⊂ ∆.
Given a simplicial complex ∆ over n vertices labeled v1 , . . . , vn . For F ⊂ {v1 , . . . , vn },
we set:
Y
xF =
xi .
vi ∈F

CANDIDATES FOR NON-ZERO BETTI NUMBERS OF MONOMIAL IDEALS

3

with x∅ = 1.
The non-face ideal or the Stanley-Reisner ideal of ∆, denoted by I∆ , is the ideal of S
generated by square-free monomials xF where F ∈ N (∆). Also we call K[∆] := S/I∆ the
Stanley-Reisner ring of ∆.
Let H̃i (∆; K) denotes the reduced homology of a simplicial complex ∆ with the coefficients in the field K. If ∆ is a simplicial complex and ∆1 and ∆2 are subcomplexes of ∆,
then there is an exact sequence:
· · · → H̃j (∆1 ∩ ∆2 ; K) → H̃j (∆1 ; K) ⊕ H̃j (∆2 ; K) → H̃j (∆1 ∪ ∆2 ; K) →
→ H̃j−1 (∆1 ∩ ∆2 ; K) → · · ·

(1)

with all coefficients in K, called the reduced Mayer-Vietoris sequence of ∆1 and ∆2 (see
[12, Proposition 5.1.8] for more details).
Betti numbers and Hochester formula. Let M = ⊕i∈Z Mi be a finitely generated
graded S-module and
ϕi

ϕ1

ϕ−1

ϕ0

· · · → Fi −→ Fi−1 → · · · → F1 −→ F0 −→ M −→ 0
K

a graded minimal free resolution of M with Fi = ⊕j S(−j)βi,j (M ) for all i. The graded
S-module Syzi (M ) := Ker(ϕi−1 ) (i ≥ 0) is called the i-th syzygy module of M and the
K (M ) = dim TorS (K, M ) are called the graded Betti numbers of M . Also,
numbers βi,j
j
K
i
the projective dimension of M , projdim(M ), is defined to be the number
projdim(M ) = sup{i :

TorSi (K, M ) 6= 0}.

K (M ) counts the elements of degree j in a minimal generator of i-th syzygy.
Note that βi,j

For every i ∈ N ∪ {0}, one defines:
tSi (M ) = max{j :

K
βi,j
(M ) 6= 0}

and tSi (M ) = −∞, if it happens that TorSi (K, M ) = 0. The Castelnuovo-Mumford regularity (or simply regularity) of M , reg(M ), is given by:
reg(M ) = sup{tSi (M ) − i :

i ∈ Z}.

It is worth to say that, by graded version of Hilbert’s syzygy theorem [5, Corollary 19.7],
every finitely generated graded S-module has a minimal free resolution of length at most
n, the number of variables of S. Hence its regularity and projective dimension are finite.
The initial degree, indeg(M ), is given by:
indeg (M ) = inf{i :

Mi 6= 0}.

A finitely generated graded S-module M has a d-linear resolution, if its regularity is equal
to d = indeg(M ).

4

A. A. YAZDAN POUR

There exists a beautiful formula due to Hochster, that describes the Betti numbers of a
square-free monomial ideal I in terms of the dimension of reduced homologies of ∆, when
I = I∆ .
Theorem 1.1 (Hochster formula [15, Theorem 5.1]). Let ∆ be a simplicial complex on
[n] = {1, . . . , n}, K a field. Then,
X
K
βi,j
(I∆ ) =
dimK H̃j−i−2 (∆W ; K),
W ⊂[n]
|W |=j

where ∆W is the simplicial complex on the vertex set W , whose faces are F ∈ ∆ with
F ⊆ W.
Graph and edge ideal. A simple graph G = (V, E) consists of a finite set V of vertices
and a collection E of subsets of V , called edges, such that every edge of G is a pair {u, v}
for some u, v ∈ V with u 6= v.
Given a graph G on the vertex set [n] = {1, . . . , n}, the edge ideal, I(G) ⊂ S, is the
square-free monomial ideal defined as follows:
I(G) = (xi xj :

{i, j} ∈ E(G)) .

It is clear that, there exists a one to one correspondence between square-free monomial
ideals generated in degree 2 in S and the edge ideals of graphs. Finding algebraic properties
of a square-free monomial ideal generated in degree 2 in terms of combinatorial properties
of the associated graph, is a very active area of research in commutative algebra. One
of the most beautiful result in this subject is the Fröberg’s theorem on characterization
of square-free monomial ideals generated in degree 2 with linear resolution. To state this
theorem, let us first recall some elementary concepts in the graph theory.
For a graph G, we denote by V (G) and E(G) the set of vertices and edges of G respectively. A graph K is complete if E(K) contains all 2-subsets of V (K). A graph H is
called a subgraph of G if V ′ := V (H) ⊆ V (G) and E ′ := E(H) ⊆ E(G). Furthermore, H
is called the induced subgraph of G, if E ′ = {{u, v} ∈ E(G) : u, v ∈ V (H)}; in this case,
we write H = GV ′ . A subset W of V is called a clique in G, if GW is a complete graph.
The set of cliques of G, forms a simplicial complex, which is called clique complex of G

and is denoted by ∆(G). One may easily check that I∆(G) = I Ḡ , where Ḡ is a graph


with V Ḡ = V (G) and E Ḡ = {{u, v} : u, v ∈ V (G) and {u, v} ∈
/ E(G)}.
A cycle of length q is a graph C = (V, E) with V = {1, . . . , q} and

E = {i1 , i2 }, {i2 , i3 }, . . . , {iq−1 , iq }, {iq , i1 } ,

where ij 6= ik , if j 6= k. An induced subgraph which is also a cycle is called an induced
cycle, and a graph G is said to be chordal if it has no induced cycle of length > 3.
With the above definitions, we are now ready to state Fröberg’s theorem. In Section 3,
we will recover this theorem by the results of this paper.

CANDIDATES FOR NON-ZERO BETTI NUMBERS OF MONOMIAL IDEALS

5

Theorem 1.2 (Fröberg’s Theorem [9]). Let G be a graph on the vertex set [n] and I = I(G)
be the associated edge ideal of G. The ideal I has a linear resolution if and only if Ḡ is a
chordal graph.

2. On the growth of the range of non-zero Betti numbers
As it is mentioned in the introduction of this paper, some numerical invariants of modules depend only on indices for which we have a non-zero Betti numbers. So it is of great
importance to find a method to bound the intervals for which the Betti numbers may not
be zero. The main theorem of this section provides a sharp bound for this conclusion.
In fact, our aim in this section is to prove the following theorem. We will see several
applications of this theorem in the next section.
In the following, for a monomial ideal I ⊂ S, we denote by G (I), the unique set of
monomial minimal generators of I.
Theorem 2.1 (Main Theorem). Let I be a monomial ideal in the polynomial ring S and
d := max{deg(u) : u ∈ G(I)}. If i ≥ 0 and j ≥ i + d be non-negative integers such that,
K
K
K
βi,j
(I) = βi,j+1
(I) = · · · = βi,j+(d−1)
(I) = 0,
K
then, βi+1,j+d
(I) = 0.

To prove this theorem, let us first consider the square-free case. In this case, we need
the following two propositions to prove the main theorem.
Proposition 2.2. Let ∆ be a simplicial complex on the vertex set [n] and A = {a1 , . . . , ad }
be a d-subset of [n] such that A ∈
/ ∆. Let I := I∆ ⊂ K[x1 , . . . , xn ] be the Stanley-Reisner
ideal of ∆ and i ≥ 0, j ≥ i + d be non-negative integers with,
K
K
K
βi,j
(I) = βi,j+1
(I) = · · · = βi,j+(d−1)
(I) = 0.

If W is a subset of [n] with |W | = j + d and A ⊂ W , then:


d
[
∆W \{a1 ,...,at ,ai } ; K  = 0
(2)
H̃j−i+(d−t−3) 
i=j0

for all t, j0 , with 0 ≤ t ≤ d − 1 and t < j0 ≤ d.

Proof. We use induction on t′ := d − t to obtain (2). Note that, 1 ≤ t′ ≤ d and our
K (I) = 0, implies that:
assumption βi,j

H̃j−i−2 ∆W \{a1 ,...,ad } ; K = 0.

6

A. A. YAZDAN POUR

This proves (2), for t′ = 1. Let 1 < t′ ≤ d − 1 and (2) holds for t′ . We must show that,
(2) is true for t′ + 1. That is, we must show that:


d
[
for all j0 , with t ≤ j0 ≤ d.
∆W \{a1 ,...,at−1 ,ai } ; K  = 0,
(3) H̃j−i+(d−t−2) 
i=j0

K
By our assumption, βi,j+(d−t)
(I) = 0. So that,


H̃j−i+(d−t−2) ∆W \{a1 ,...,at−1 ,ad } ; K = 0.

This gives (3), for j0 = d. Now, fix t ≤ j0 < d. We observe that:


d
d


[
[
∆W \{a1 ,...,at−1 ,ai }  ,
∆W \{a1 ,...,at−1 ,ai } = ∆W \{a1 ,...,at−1 ,aj0 } ∪ 
i=j0 +1

i=j0





d
d


[
[
∆W \{a1 ,...,at−1 ,ai }  =
∆W \{a1 ,...,at−1 ,aj0 ,ai }
∆W \{a1 ,...,at−1 ,aj0 } ∩ 
i=j0 +1

i=j0 +1

Our induction hypothesis, implies that:


d
[
(4)
H̃j−i+(d−t−3) 
∆W \{a1 ,...,at−1 ,aj0 ,ai } ; K  = 0.
i=j0 +1

Also,



H̃j−i+(d−t−2) ∆W \{a1 ,...,at−1 ,aj0 } ; K = 0;

(5)

K
for, βi,j+(d−t)
(I) = 0. Using (4), (5) and Mayer-Vietoris long exact sequence (1), we
conclude that:




d
d
[
[
H̃j−i+(d−t−2) 
∆W \{a1 ,...,at−1 ,ai } ; K  ∼
∆W \{a1 ,...,at−1 ,ai } ; K  .
= H̃j−i+(d−t−2) 
i=j0 +1

i=j0

If j0 + 1 = d, then (3) holds, by our previous discussion. Otherwise, by repeating this
process, after a finite number of steps, we get:


d
[

H̃j−i+(d−t−2) 
∆W \{a1 ,...,at−1 ,ai } ; K  ∼
= H̃j−i+(d−t−2) ∆W \{a1 ,...,at−1 ,ad } ; K .
i=j0

K
(I) = 0. This completes
The homology in the right hand side is zero, because βi,j+(d−t)
the proof.


Proposition 2.3. Let ∆ be a simplicial complex on the vertex set [n] and I = I∆ ⊂ S be
the Stanley-Reisner ideal of ∆. Let d = max{deg(u) : u ∈ G(I)}. If i ≥ 0 and j ≥ i + d
be non-negative integers such that,
K
K
K
βi,j
(I) = βi,j+1
(I) = · · · = βi,j+(d−1)
(I) = 0,
K
(I) = 0.
then, βi+1,j+d

CANDIDATES FOR NON-ZERO BETTI NUMBERS OF MONOMIAL IDEALS

7

K
Proof. If βi+1,j+d
(I) 6= 0, then by Theorem 1.1, there exists W ⊂ [n], with |W | = j + d
and

H̃j−i+(d−3) (∆W ; K) 6= 0.

(6)

In particular, (6) implies that, I∆W 6= 0. Hence, by our choice of d, there exist elements
a1 , . . . , ad ∈ W , such that {a1 , . . . , ad } ∈
/ ∆. One can easily check that:
∆W =

d
[

∆W \{ai } .

i=1

Hence, applying Proposition 2.2, for t = 0, j0 = 1, we get:
H̃j−i+(d−3) (∆W ; K) = H̃j−i+(d−3)

d
[

∆W \{ai } ; K

i=1

This contradicts (6).

!

= 0.


Now we are ready to prove Theorem 2.1.
Proof of Theorem 2.1. Using the technique of polarization (See for example [12, Section
1.6]), Proposition 2.3 can be easily extended to monomial ideals as well. To be more
precise, let J := P(I) be the polarization of I. Then, by [12, Corollary 1.6.3(a)], we have
K (I) = β K (J) for all i and j. Since J is a square-free monomial ideal, the conclusion
βi,j
i,j

follows immediately from Proposition 2.3.
Remark 1. Let G be a simple graph on the vertex set [n] and I = I (G) be the edge ideal
of G. It is shown in [17, Theorem 1.8] that if i ≥ 0 and j ≥ i + 2 are integers such that
K (I) = β K
K
βi,j
i,j+1 (I) = 0, then βi+1,j+2 (I) = 0. Clearly, this result (and its consequences)
is a special case of Theorem 2.1. In the next section, we propose more applications of
Theorem 2.1.
3. Some applications
A criterion for linear resolution. Let I = I∆ be a square-free monomial ideal generated in degree (at most) d. In order to show that I has a d-linear resolution, we must
show that the reduced homology vanishes in all degrees6= d − 2. The following proposition,
shows that, this problem concerns to vanishing of the reduced homology observed only in
degrees d − 1, . . . , min {n − 1, 2d − 3}.
Proposition 3.1. Let ∆ be a simplicial complex on the vertex set [n]. Let I = I∆ ⊂ S be
the Stanley-Reisner ideal generated in degree d. Then the following are equivalent:
(a) H̃i (∆W ; K) = 0, for all W ⊆ [n] and all i = d − 1, . . . , min {n − 1, 2d − 3};
K (I) = 0, for all j > i + d;
(b) βi,j
(c) I has a d-linear resolution.

8

A. A. YAZDAN POUR

Proof. The implications (b)⇒(c) is by definition while (c)⇒(a) is a direct consequence of
Hochster formula. We need only to prove (a)⇒(b). We use induction on i to obtain (b).
Note that (b) holds for i = 0, since I is generated in degree d. Let i > 0 and (b) holds for
i − 1. We consider two cases for j.
Case 1. If i + d < j < i + 2d, then by our assumption,
H̃j−i−2 (∆W ; K) = 0,

for all W ⊆ [n].

Hence, by Hochster formula, we obtain
X
K
βi,j
(I∆ ) =
dimK H̃j−i−2 (∆W ; K) = 0.
W ⊂[n]
|W |=j

Case 2. If j ≥ i + 2d, then by our induction hypothesis, we have
K
K
(I) = · · · = βi−1,j−1
(I) = 0.
βi−1,j−d
K (I) = 0.
Now, Theorem 2.1 implies that βi,j


Example 3.2 (Fröberg’s Theorem). In this example, we use Proposition 3.1, to give a
very short proof for Fröberg’s Theorem (Theorem 1.2). Let ∆ = ∆(G) be the clique

complex of G. Then by Proposition 3.1, I∆ = I Ḡ has a linear resolution if and only if
H̃1 (∆W ; K) = 0, for all W ⊆ [n]. Since H̃1 (∆; K) is generated by induced cycles in G, so
having linear resolution is equivalent to saying that G is a chordal graph.
Nd,p -property and Green-Lazarsfeld index. The (Green-Lazarsfeld) index of a graded
ideal measures the number of linear steps in the graded minimal free resolution of the ideal.
Let I 6= 0 be a homogeneous ideal in S = K[x1 , . . . , xn ]. The ideal I is said to satisfy
Nd,p -property (p > 0), if
K
(I) = 0,
βi,i+j

for all i < p, and j > d.

For a non-zero homogeneous ideal I ⊂ S, it is clear that, I has a d-linear resolution if and
only if, I satisfies Nd,p -property, for all p > 0.
Let I be a non-zero homogeneous ideal and d = indeg(I). The number,
index(I) = sup {p :

I satisfies Nd,p -property}

is called the index of I. So that index(I) = ∞ if and only if I has a d-linear resolution. It
is, in general, very difficult to determine the precise value of the Green-Lazarsfeld index.
Important conjectures, such as Green’s conjecture [5, Chapter 9], predicts the value of
this invariant for certain families of varieties. However, the remarkable result of Eisenbud
et al., enables us to find the index of ideals associated to graphs [7, Theorem 2.1]. In the
following we recover this result by our own method.

CANDIDATES FOR NON-ZERO BETTI NUMBERS OF MONOMIAL IDEALS

0 1 ···

···

p−1

p

0
0
..
.

···
···

0
0
..
.

×
×
..
.

0

···

0

×

i

9

1
2
..
.
K
βi,i+j

j
..
.
d
d+1

0 0 ···
0 0 ···
..
.. ..
.
. .
reg(I) 0 0 · · ·

Table 1. Betti diagram of an ideal with Nd,p property

Theorem 3.3. Let G be a simple graph on the vertex set [n] and I = I(Ḡ) ⊂ S be the
corresponding ideal. Then the following are equivalent:
(a) I satisfies N2,p -property;
(b) every induced cycle in G has length ≥ p + 3.
In particular,
(7)

index(I) = inf {|C| − 3 :

C is an induced cycle in G of length > 3}

Proof. (a)⇒(b). Assume on the contrary that G has an induced cycle C, of length j < p+3
and let W be the set of vertices of C. Then |W | = j and ∆W coincides with C. In
particular, H̃1 (∆W ; K) 6= 0. Now by Hochster formula, we have
K
βj−3,j
(I) ≥ dimK H̃1 (∆W ; K) > 0.

This contradicts the fact that I satisfies N2,p -property.
(b)⇒(a). Assume that I does not satisfy N2,p -property and take the minimal i < p
K (I) 6= 0. If j > i + 3, then the minimality of i implies that
and j > i + 2, such that βi,j
K
K
K (I) = 0 by Theorem 2.1. This contradicts to our
βi−1,j−2
(I) = βi−1,j−1
(I) = 0. So, βi,j
choice of i and j. Hence, j = i + 3, and Hochster formula implies that H̃1 (∆W ; K) 6= 0 for
some W ⊂ [n] with |W | = j. Again the minimality of j implies that ∆W coincides with
an induced cycle in G; and our assumption implies that |W | ≥ p + 3. Thus, i ≥ p which
contradicts to our choice of i.
It is now immediately deduced from equivalence of (a) and (b) that, the index of I is

obtained from (7).
Example 3.4 (Fröberg’s Theorem again). In Example 3.2, we have seen a short proof for
Fröberg’s theorem on the classification of monomial ideals with 2-linear resolution. This

10

A. A. YAZDAN POUR

theorem can be obtained as a result of Theorem 3.3 as well. Indeed, let I = I(Ḡ) be the
edge ideal of Ḡ. Then I has a 2-linear resolution, if and only if index(I) = ∞ and by
equation (7) this is the case, if and only if G does not have any induced cycle of length
> 3. The later is equivalent to say that G is chordal.
Non-zero Betti numbers. Let M be a finitely generated graded S-module. The Hilbert
K (M ) is
syzygy’s theorem, guarantees that, there are only finite numbers i, j such that βi,j
non-zero. In general, it is so hard to determine the exact value of the Betti numbers.
However, since many invariants of graded module depends only on the indices of non-zero
Betti numbers, it is natural to ask, for which indices i and j, we have a non-zero Betti
number βi,j . One of the known (easy) result on this subject is the following proposition.
Proposition 3.5 ([6, Prop. 1.9]). Let M be a finitely generated S-module. If d is an
K (M ) = 0 for all j < d, then β K
integer such that βi,j
i+1,j+1 (M ) = 0 for all j < d.
It follows from Proposition 3.5 that, if I is a monomial ideal with c := indeg(I) and
K (I) 6= 0, then j ≥ i + c. We proceed with a partial generalization of this fact (see
βi,j
Corollary 3.7); but first we need the following consequence of Theorem 2.1.
Corollary 3.6. Let I ⊂ S := K[x1 , . . . , xn ] be a non-zero monomial ideal, ρ = projdim(I)
and d = max{deg(u) : u ∈ G(I)}. Then,
(i) tSi+1 (I) ≤ tSi (I) + d.
(ii) reg(I) ≤ ρ(d − 1) + d.
K (I) = 0, for all j > tS (I). Hence, by
Proof. (i) By the definition of tSi (I), we have βi,j
i
K
Corollary 2.1 we have, βi+1,j
(I) = 0, for all j > d + tSi (I). This proves (i).

(ii) We note that, d = tS0 (I), by our choice of d. Hence (i) implies that, tSi (I) ≤ (i + 1)d.
So that,
reg(I) = max{tSi (I) − i :
≤ max{(i + 1)d − i :

0 ≤ i ≤ ρ}
0 ≤ i ≤ ρ} ≤ ρ(d − 1) + d.


K
K (I)
Remark 2. It is immediate from definition of Betti numbers that, βi+1,j
(S/I) = βi,j
holds for any homogeneous ideal I in S and for all i, j. Hence, for a monomial ideal I ⊂ S,
we may restate Corollary 3.6(i) as:

(8)

tSi+1 (S/I) ≤ tSi (S/I) + tS1 (S/I) .

We consider the following generalization of (8):
(9)

tSi+j (S/I) ≤ tSi (S/I) + tSj (S/I) .

CANDIDATES FOR NON-ZERO BETTI NUMBERS OF MONOMIAL IDEALS

11

for every i and j. No counterexample is known to the validity of (9) for monomial ideals,
while for arbitrary homogeneous ideal, (9) is not true [2, Sec. 2]. However, the inequality
in (8) shows that (9) holds for j = 1 and for monomial ideals.
In [17, Corollary 1.9], the authors obtained (8), for monomial ideals generated in degree
2 and in [16, Corollary 4], the authors proved the same inequality as in (8) for arbitrary
monomial ideal, by an independent method. Another interesting case for which (9) comes
true, is when i + j = # {variables of S} and S/I is of Krull dimension at most 1 [8,
Theorem 4.1].
Corollary 3.7. Let I ⊂ S := K[x1 , . . . , xn ] be a monomial ideal, c = indeg(I) and
d = max {deg(u) : u ∈ G(I)}.
K (I) 6= 0, then i + c ≤ j ≤ d(i + 1).
(i) If βi,j
K (I) 6= 0, then i+c ≤ j ≤ min{n, d(i+1)}.
(ii) If I is square-free monomial ideal and βi,j

Proof. First assume that, I is a square-free monomial ideal with Stanley-Reisner complex
∆. It follows from [14, Proposition 3.1(i)] that H̃i (∆W ; K) = 0, for all i < c − 2 and
K (I) 6= 0. Also, as we have
W ⊂ [n]. In view of Theorem 1.1, one has i + c ≤ j ≤ n, if βi,j
seen in the proof of Corollary 3.6(ii), we have tSi (I) ≤ (i + 1)d. Therefore, j ≤ (i + 1)d, if
K (I) 6= 0.
βi,j
Statement (ii) follows from the above discussion. Note that, polarization changes the
number of variables in the polynomial ring while it does not change the graded Betti
numbers. So, the same argument leads us to (i).

Remark 3. Let c and d be as in Corollary 3.7. In [13, Lemma 2.2] and [10, Theorem 3.2.3],
the authors used Taylor resolution to obtain Corollary 3.7(i) for c = d = 2 and in [11,
Theorem 2.6], the authors used the same method to obtain Corollary 3.7(ii) for square-free
monomial ideals that are generated by elements in the same degree (i.e. when, c = d).
Example 3.8. In this example, we show that the bounds in Corollary 3.7(i) for possible
non-zero Betti numbers, are sharp enough. To do this, let G be a cycle of length 4 and

I = I Ḡ ⊂ S = K[x1 , x2 , x3 , x4 ]. One may verify that, the graded minimal free resolution
of I is
0 → S(−4) → S 2 (−2) → I → 0.
K (I) 6= 0 obtains its upper bound in Corollary 3.7. This example
Hence, the degree j in β1,4
also, shows that the bound for the regularity in Corollary 3.6(ii) is also sharp.

References
[1] J. Abbott, A. Bigatti, and G. Lagorio, “CoCoA-5: a system for doing Computations in Commutative
Algebra.” Available at http://cocoa.dima.unige.it.
[2] L. L. Avramov, A. Conca, and S. B. Iyengar, “Subadditivity of syzygies of koszul algebras,” Mathematische Annalen, vol. 361, no. 1, pp. 511–534, 2014.

12

A. A. YAZDAN POUR

[3] J. Böhm and S. A. Papadakis, “On the structure of Stanley–Reisner rings associated to cyclic polytopes,” Osaka J. Math., vol. 49, no. 1, pp. 81–100, 2012.
[4] W. Decker, G.-M. Greuel, G. Pfister, and H. Schönemann, “Singular 4-0-2 — A computer algebra
system for polynomial computations.” http://www.singular.uni-kl.de, 2015.
[5] D. Eisenbud, Commutative Algebra, with a View toward Algebraic Geometry, Springer-Verlag, BerlinHeidelberg-New York, 1995.
[6] D. Eisenbud, The Geometry of Syzygies: A second course in commutative algebra and algebraic geometry, in: GTM 229, Springer, New York, 1995.
[7] D. Eisenbud, M. Green, K. Hulek and S. Popescu, “Restricting linear syzygies: algebra and geometry,”
Compos. Math. vol. 141, no. 6, pp. 1460–1478, 2005.
[8] D. Eisenbud, C. Huneke and B. Ulrich, “The regularity of Tor and graded Betti numbers,” American
Journal of Mathematics, vol. 128, no. 3, pp. 573–605, 2006.
[9] R. Fröberg, “On Stanley–Reisner rings,” in: Topics in algebra, Banach Center Publications, 26 Part
2, pp. 57–70, 1990.
[10] H. T. Hà and A. Van Tuyl, “Resolutions of square-free monomial ideals via facet ideals: a survey”,
Contemporary Mathematics, vol. 448, pp. 91–117, 2007.
[11] H. T. Hà and A. Van Tuyl, “Monomial ideals, edge ideals of hypergraphs, and their graded betti
numbers,” Journal of Algebraic Combinatorics, vol. 27, no. 2, pp. 215–245, 2007.
[12] J. Herzog and T. Hibi, Monomial Ideals, in: GTM 260, Springer, London, 2010.
[13] M. Katzman, “Characteristic-independence of betti numbers of graph ideals,” Journal of Combinatorial Theory, Series A, vol. 113, no. 3, pp. 435 – 454, 2006.
[14] M. Morales, A. A. Yazdan Pour and R. Zaare-Nahandi, “Regularity and Free Resolution of Ideals
which are Minimal to d-linearity”, Math. Scand., vol. 118, no. 2, pp. 161–182, 2016.
[15] M. Hochster, Cohen-Macaulay rings, combinatorics, and simplicial complexes, in: Ring Theory, II,
Proc. Second Conf., Univ. Oklahoma, Norman, Okla., 1975, in: Lecture Notes in Pure and Appl.
Math., vol. 26, Dekker, New York, 1977, pp. 171–223.
[16] J. Herzog, H. Srinivasan, “A note on the subadditivity problem for maximal shifts in free resolutions,”
to appear in MSRI Proc., arXiv:math/1303.6214v1
[17] O. Fernández-Ramos and P. Gimenez, “Regularity 3 in edge ideals associated to bipartite graphs,”
Journal of Algebraic Combinatorics, vol. 39, no. 4, pp. 919–937, 2014.
[18] J. McCullough, “A polynomial bound on the regularity of an ideal in terms of half the syzygies,”
Math. Res. Lett., vol. 19, no. 3, pp. 555–565, 2012.
[19] P. Schenzel, “Über die freien Auflösungen extremaler Cohen–Macaulay Ringe,” Journal of Algebra,
vol. 64, pp. 93–101, 1980.
[20] R. P. Stanley, Combinatorics and Commutative Algebra, Second Ed., Birkhäuser, 1996.
[21] N. Terai and T. Hibi, “Computation of Betti numbers of monomial ideals associated with cyclic
polytopes,” Discrete and Computational Geometry, vol. 15, no. 3, pp. 287–295.
[22] M. L. Torrente and M. Varbaro, “An alternative algorithm for computing the Betti table of a monomial
ideal,” ArXiv e-prints 2015, arXiv:math/1507.01183
[23] A. A. Yazdan Pour, Two Results on the Regularity of Monomial Ideals, in: Proceeding of 10th Seminar
on Commutative Algebra and Related Topics (In honor of Prof. Hossein Zakeri), 18–19 December 2013,
School of Mathematics (IPM), Thehran, IRAN. Available at:
math.ipm.ac.ir/conferences/2013/10th_commalg/SlideShow/YazdanPour.pdf
Department of Mathematics, Institute for Advanced Studies in Basic Sciences (IASBS),
P.O.BOX: 45195-1159, Zanjan, Iran
E-mail address: yazdan@iasbs.ac.ir

