ASYMPTOTIC STABILIZATION OF BETTI DIAGRAMS OF GENERIC
INITIAL SYSTEMS

arXiv:1608.06670v1 [] 23 Aug 2016

SARAH MAYES-TANG

Abstract. Several authors investigating the asymptotic behaviour of the Betti diagrams of the graded system {I k } have shown that the shape of the nonzero entries in the
diagrams stabilizes when I is a homogeneous ideal with generators of the same degree.
In this paper, we study the Betti diagrams of graded systems of ideals built by taking the
initial ideals or generic initial ideals of powers, and discuss the stabilization of additional
collections of Betti diagrams. Our main result shows that when I has generators of the
same degree, the entries in the Betti diagrams of the reverse lexicographic generic initial
system {ginτ (I k )} are given asymptotically by polynomials and that the shape of the
diagrams stabilizes.

1. Betti Tables of Graded Systems of Ideals: Examples
Cutkosky, Herzog, and Trung proved that when I is an ideal in S = K[x1 , . . . , xn ], the
regularity of I k is a linear function for k large enough ([CHT99]). Following this lead, later
work examined the asymptotic behaviour of finer invariants of the set of powers of an ideal,
{I k }, such as the the Betti numbers and graded Betti numbers βi,j (I) = dimK Tori (K, I)j
([LV04], [Sin07], [BCH13], [Whi14]). The goal of this paper is to examine the behaviour
of the graded Betti numbers of other families of ideals. In particular, we will consider
graded systems of ideals {Jk } satisfying Ji · Jj ⊆ Ji+j for all i and j.
One type of end behaviour of graded Betti numbers of ideals in a graded system occurs
when the shape of the nonzero entries in the Betti diagrams stabilizes in the following
sense (see [Whi14]).
Definition 1.1. Consider a graded system of ideals {Jk }. We say that the shape of
β(Jk ) stabilizes if there exist integers k0 and r such that for all i, j, and k ≥ k0 ,
βi,kr+j (Jk ) 6= 0 if and only if βi,k0 r+j (Jk0 ) 6= 0.
The smallest k0 satisfying this definition is called the stabilization index of {Jk }.
The first known families with this property are obtained by taking powers of ideals with
homogeneous generators of the same degrees; such ideals are said to be equigenerated.
Theorem 1.2 ([LV04], [Sin07], [Whi14]). Let I be an ideal in a polynomial ring S =
K[x1 , . . . , xn ] that is equigenerated in degree r. Then the shape of β(I k ) stabilizes.
Example 1.3. Let I = (x2 y + z 3 , xyz, yz 2 ). Macaulay2 ([GS]) gives the following Betti
diagrams of I k for small k. Note that βi,i+j (I) is displayed in the ith column and the jth
row of the Betti diagram.
2010 Mathematics Subject Classification. 13D02, 13P10.
Key words and phrases. Betti numbers, generic initial ideals, graded systems of ideals, asymptotic behaviour.
1

2

SARAH MAYES-TANG

β(I) : 0 1


3
3 1
4
− 1
β(I 4 ) : 0

12
15
13
−

1
16
1

2

3
−

β(I 2 ) : 0 1


6
6 4
7
− 1
β(I 5 ) : 0

15
21
16
−

β(I 3 ) : 0 1

9
10 9
10
− 1

1 2

25 6
1 −

β(I 6 ) : 0

18
28
19
−

2

1
−
1
36
1

2

10
.
−

For all k ≥ 3, β(I k ) has the following shape
β(I k ) : 0 1 2


3k
a b c
3k + 1 − d −
and we see from the examples that the stabilization index of {I k } is 3. Looking more
closely at the graded Betti numbers appearing in the tables, we see that the entries are
given by the following polynomials in k:
k 2 3k
k2 3
+
+ 1, b = k 2 , c =
− k + 1, d = 1.
2
2
2
2
Definition 1.4. Consider an indexed collection of ideals {Jk }. We say that the entries of
β(Jk ) are given by polynomials for k >> 0 if there exists a number r such that for all
i, j there is a number k0 (i, j) and a polynomial Pi,j (k) satisfying
a=

βi,rk+i+j (Jk ) = Pi,j (k)
for all k > k0 (i, j)
As suggested by Example 1.3, when I is equigenerated β(I k ) has entries given by polynomials.
Theorem 1.5 (Cor. 2.2 of [Sin07], Prop. 6.3.6 of [LV04]). Let I be an ideal in a polynomial
ring S = K[x1 , . . . , xn ] that is equigenerated in degree r. Then β(I k ) has entries given
by polynomials for k >> 0. Further, the polynomial functions corresponding to nonzero
entries have positive leading coefficients and are of degree less than the analytic spread of
I, `(I).
At first glance, it may seem that if β(Jk ) has entries given by polynomials for k >> 0
then the shape of the β(Jk ) must stabilize. However, notice that as k gets large, the
number of nonzero entries in β(Jk ) may keep increasing, and the collection {k0 (i, j)} may
be unbounded. The following example illustrates this possibility
Example 1.6. Consider the complete intersection ideal I = (xa , y b ) ⊆ K[x, y]. When
1 < a b,
β0,ak+l(b−a) (I k ) = 1

for all k ≥ l

β1,ak+l(b−a)+a (I k ) = 1

for all k ≥ l

and all other Betti numbers are 0 (see [GVT05]). Thus, the Betti numbers of β(I k ) are
given by polynomials but the shape of the diagram does not stabilize because the number
of nonzero entries in β(I k ) is unbounded.

ASYMPTOTIC STABILIZATION OF BETTI DIAGRAMS OF GENERIC INITIAL SYSTEMS

3

The following lemma connects Definitions and 1.1 and 1.4; its proof is immediate from
the definitions.
Lemma 1.7. Let {Jk } be an indexed collection of ideals. Suppose that the entries of β(Jk )
are given by polynomials in k and that there exists a k0 such that the number of nonzero
entries of β(Jk ) is bounded by a constant for all k > k0 . Then the shape of β(Jk ) stabilizes.
Question 1.8. Let {Jk } be a graded system of ideals. Does stabilization of the shape of
β(Jk ) imply that the entries of β(Jk ) are given by polynomials? If not, what conditions
are necessary?
We now consider the asymptotic behaviour of the graded Betti numbers of other graded
systems of ideals. Our main stabilization result concerns graded systems built by taking
the generic initial ideals of powers of an equigenerated ideal.
Theorem 1.9. Let I be an equigenerated ideal in S = K[x1 , . . . , xn ], where K a field of
characteristic 0. Consider the graded reverse lexicographic generic initial system, {gin(I k )}.
a) The shape of β(ginrevlex (I k )) stabilizes.
b) The entries of β(ginrevlex (I k )) are given by polynomials for k >> 0.
When no monomial order is specified, gin(I) represents the generic initial ideal under
the reverse lexicographic order and lexgin(I) represents the generic initial ideal under the
lexicographic order.
Example 1.10. Let I = (x2 y + z 3 , xyz, yz 2 ). Under the reverse lexicographic order, the
Betti diagrams of gin(I k ) for small values of k are as follows.
β(gin(I)) : 0 1


3
3 2
4
1 1
β(gin(I 4 )) : 0

12
15
13
1

1
17
1

2

3
−

β(gin(I 2 )) : 0 1


6
6 5
7
1 1
β(gin(I 2 )) : 0

15
21
16
1

1
26
1

β(gin(I 3 )) : 0

9
10
10
1
2

6
−

1
10
1

2

1
−

β(gin(I 6 )) : 0

18
28
19
1

1
37
1

2

10
−

We see that β(gin(I k )) stabilizes to the following shape
β(gin(I k )) : 0

3k
a
3k + 1
e

1 2

b c
d −

and its stabilization index is 3. The non-zero polynomials guaranteed by part (b) of
Theorem 1.9 are:
a=

k 2 3k
+
+ 1,
2
2

b = k 2 + 1,

c=

k2 3
− k + 1,
2
2

d = e = 1.

Under the lexicographic order, the number of nonzero rows in the Betti diagram of
lexgin(I k ) increases as k increases. For example,

4

β(lexgin(I)) : 0

3
3
2
4

1
5
6
1

SARAH MAYES-TANG

1
3
3
2
1

2

1
1

1
−

β(lexgin(I 2 )) :  0 1
6
6 8

7
4 7
3 5
8

2 4
9

2 3
10

1 2
11
12
1 1

2
3
3

2

2

1

1
−

β(lexgin(I 3 )) :  0
9
10
 6
10

 4
11

 4
12

 3
13

 3
14

 2
15

 2
16

 1
17
18
1

1
15
10
8
7
6
5
4
3
2
1

We can show that reg(lexgin(I k )) = 6k while the minimal degree generators of lexgin(I k )
are of degree 3k. Therefore, the Betti diagram of lexgin(I k ) has nonzero entries in 3k + 1
rows, and shape of the Betti diagrams does not stabilize. However, it appears that for
any pair (i, j), βi,3k+i+j (I k ) is a polynomial for k >> 0, implying a negative answer to
Question 1.8 for reverse lexicographic generic initial systems. For example,
β1,3k+1+1 (lexgin(I k )) = 4k − 2
for k ≥ 2.
While the shape Betti diagrams of the lexicographic generic initial system {lexgin(I k )}
do not stabilize in the sense of Definition 1.1, there appears to be additional uniformity beyond its entries being given by polynomials. For example, rows 8 through 12 in
β(lexgin(I 2 )) are identical to rows 14 through 18 of β(lexgin(I 3 )). Similar patterns hold for
higher members in the graded system. Further, while the I above shows that the number
of nonzero entries of β(lexgin(I k )) is not always bounded, there are circumstances under
which it does, even when lexgin(I k ) 6= gin(I k ) (for example, consider I = (x2 , xy, z 2 )).
Observations like those lead to the following questions.
Question 1.11. Are the entries of β(lexgin(I k )) given by polynomials for all k >> 0?
Under what conditions does is the number of nonzero entries in β(lexgin(I k )) bounded?
What other types of uniformity do these Betti diagrams exhibit as k → ∞?
The following example demonstrates that generic coordinates are necessary for Theorem
1.9.
Example 1.12. Let I = (x2 y + z 3 , xyz, yz 2 ) and consider the graded system obtained
by taking the lexicographic or reverse lexicographic initial ideals of I k , {in(I k )}. The
regularity of in(I k ) is increasing at a faster rate than the degree of the minimal generators
of I k . In particular, there are k + 1 rows in β(in(I k )) with nonzero entries, so the shape
of β(in(I k )) does not stabilize.
We might hope that the entries in β(in(I k )) are given by polynomials for k >> 0.
However, if we look more carefully at its entries we see that this does not hold. Consider,
for example, β2,3k+2 (in(I k )):
3 4 5 6 7 8 9 10
k
β2,3k+2 (in(I k )) 2 4 8 12 18 24 32 40

2
6
4

4

3

3

2

2

1

1
−

ASYMPTOTIC STABILIZATION OF BETTI DIAGRAMS OF GENERIC INITIAL SYSTEMS

5

For all k ≥ 3,
(
0.5k 2 − k + 0.5
β2,3k+2 (in(I )) =
0.5k 2 − k
k

for odd k
for even k

This function cannot be written as a single polynomial for all k >> 0.
As in the lexicographic generic initial system, there appears to be some asymptotic
uniformity in the Betti diagrams of the initial system, although it is more complicated
than in generic coordinates. Similar statements may be made for the Betti diagrams of
other graded systems of ideals, including {I k } when I is not equigenerated and the system
{I (k) } composed of the symbolic powers of an ideal. This leads to the following question:
Question 1.13. In what ways may the Betti diagrams of a graded system of ideals {Jk }
display uniformity as k → ∞? How can we describe more complicated types of stabilization? In addition to the systems {I k } and {gin(I k )} arising from equigenerated ideals I,
are there other natural graded systems of ideals for which the shape of β(Jk ) stabilizes in
the sense of Definition 1.1?
Bagheri, Chardin, and Ha address similar questions in [BCH13] where they describe
the asymptotic behaviour of the graded Betti numbers of multi-graded systems of ideals.
Section 2 of this paper provides background on the resolutions of generic initial ideals
and Section 3 contains the proof of Theorem 1.9. Additional corollaries of Theorem 1.9
are included in Section 3.3, including a description of the Boij-Söderberg decompositions
of β(gin(I k )).
2. Background: Graded Betti Numbers of Generic Initial Ideals
In this section we record facts related to the graded Betti numbers of generic initial
ideals. Throughout, S = K[x1 , . . . , xn ] is a polynomial ring with the standard grading
over a field of characteristic zero and I is a homogeneous ideal in S. We use ginτ (I) to
denote the generic initial ideal under the term order τ and gin(I) to denote the generic
initial ideal under the reverse lexicographic order.
To describe the graded minimal free resolution of gin(I k ), for any monomial m, we will
denote
max(m) = max{i : xi divides m}.
Definition 2.1 (See Construction 28.6 in [Pee10]). Let M be a Borel-fixed ideal minimally
generated by monomials m1 , . . . , m` . For each mi and for each sequence of natural numbers
1 ≤ j1 < · · · < jp < max(mi ), let S(mi ; xj1 · · · xjp ) denote a free S-module with one
generator in degree deg(mi ) + p. The basis of the Eliahou-Kervaire resolution of M
is given by
B = {S(mi ; j1 , . . . , jp ) : 1 ≤ j1 < · · · < jp < max(mi ), 1 ≤ i ≤ r}
where S(mi xj1 · · · xjp ) is in homological degree p..
Recalling that ginτ (I) is Borel-fixed ([Gal74]), we obtain the following result.
Theorem 2.2 ([EK90]). For any homogeneous ideal I ⊆ S, the Eliahou-Kervaire resolution produces a minimal free resolution of ginτ (I).

6

SARAH MAYES-TANG

Corollary 2.3. Let M be a Borel-fixed ideal minimally generated by monomials m1 , . . . , m` .
Then the graded Betti numbers of M are given by


X
max(mi ) − 1
βp,p+q (M ) =
p
deg(mi )=q,1≤i≤`

The following definition and theorem say that the Betti diagrams of an ideal and any
of its generic initial ideals are related by cancelling numbers along diagonals.
Definition 2.4 (see [Pee10]). We say that a sequence of numbers {qi,j } is obtained from
a sequence of numbers {pi,j } by a consecutive cancellation if there are indices s and r
such that
qs,r = ps,r − 1, qs+1,r = ps+1,r − 1
qi,j = pi,j for all other values of i, j
Theorem 2.5 ([Gre98]). Let I be a homogeneous ideal in S. For any term order τ , the
graded Betti numbers βi,j (I) may be obtained from the graded Betti numbers βi,j (ginτ (I))
by a sequence of consecutive cancellations.
Example 2.6. Let I = (x2 y + z 3 , xyz, yz 2 ). The Betti diagram of gin(I 3 ) is

9
10



0
10
1

1
10
1

2

1
.
−

Theorem 2.5 says that β(I 3 ) will be obtained by making consecutive cancellations. There
are two possible consecutive cancellations in this case: cancelling β0,10 (gin(I 3 )) with
β1,10 (gin(I 3 )) and cancelling β1,11 (gin(I 3 )) with β2,11 (gin(I 3 )). Using Macaulay2, we find
that only the first consecutive cancellation is needed and β(I 3 ) is given by
9
10



0
10
−

1 2

9 1
.
1 −

This example demonstrates that not all possible consecutive cancellations need to occur
when we pass from the Betti digram of gin(I) to the Betti diagram of I. In general, there
are no techniques for determining which consecutive cancellations will occur.
Definition 2.7. A Betti number βi,i+j (I) 6= 0 is called extremal if βk,k+l (I) = 0 for all
pairs (k, l) 6= (i, j) with k ≥ i and l ≥ j. An extremal Betti number is the upper left-hand
corner of a block of zeros within a Betti diagram.
Notice that if I is an equigenerated ideal, the extremal Betti numbers of I k occur in
the same relative positions for all k >> 0 by Theorem 1.2. Our interest in extremal
Betti numbers comes as a result of the following theorem, which says that the reverse
lexicographic generic initial ideal preserves extremal Betti numbers.
Theorem 2.8 (Theorem 4.3.17 of [BCP99]). Let I be a homogeneous ideal of S. Then
for any i, j ⊂ N,
(a) βi,i+j (I) is extremal if and only if βi,i+j (gin(I)) is extremal;
(b) if βi,i+j (I) is extremal, then βi,i+j (I) = βi,i+j (gin(I)).

ASYMPTOTIC STABILIZATION OF BETTI DIAGRAMS OF GENERIC INITIAL SYSTEMS

7

Corollary 2.9 ([BS87]). Under the reverse lexicographic order,
reg(I) = reg(gin(I)).
Another advantage of the reverse lexicographic order is that hyperplane sections
P interact
nicely with generic initial ideals under this order. Consider a linear form h = nj=1 hj xj ∈
S1 such that hn 6= 0. The homomorphism φ : S = K[x1 , . . . , xn ] → Ŝ = K[x1 , . . . , xn−1 ]
1 P
defined by φ(xj ) = xj for j 6= n and φ(xn ) = − ( j6=n hj xj ) defines an isomorphism
hn
between S/(h) and Ŝ that preserves the degree of polynomials not in the kernel.
Definition 2.10. Given an ideal I in S, the h-hyperplane section of I is the ideal φ(I)
in Ŝ. It is denoted Ih .
Theorem 2.11 ([BS87], [Gre98]). Let I be a homogeneous ideal in S and let h ∈ S1 be a
generic linear form. Then
gin(Ih ) = gin(I)|xn →0 .
3. Stabilization of β(gin(I k ))
The goal of this section is to prove Theorem 1.9 describing the stabilization of β(gin(I k )).
Throughout, I is a homogeneous ideal of S = K[x1 , . . . , xn ] with the standard grading.
We denote the generic initial ideal of I with respect to the reverse lexicographic order by
gin(I).
3.1. Part (a) of Theorem 1.9 follows from part (b). The following lemma claims
that for all k >> 0 the number of nonzero entries in β(gin(I k )) is bounded. Note that it
only holds for the reverse lexicographic order (see Example 1.10).
Lemma 3.1. Suppose that I is an ideal equigenerated in degree r, and let c and k0 be the
constants such that reg(I k ) = rk + c for k > k0 , guaranteed by Theorem 1.2 . Then for all
k > k0 , the nonzero entries of β(gin(I k )) are confined to the following window.
0
rk
∗
rk + 1  ∗
.
..
 ..
.

1
∗
∗
..
.

···
···
···
..
.

∗

∗

···



rk + c

n−1

∗
∗ 
.. 
. 
∗

Proof. Fix k > k0 . Since all elements of gin(I k ) are of degree at least rk, the least row
of β(gin(I k )) containing nonzero entries is the rkth row. By Corollary 2.9, reg(I k ) =
reg(gin(I k )) = rk + c so the (rk + c)th row of β(gin(I k )) is the greatest containing nonzero
entries. Finally, since projdim(gin(I k )) ≤ n − 1, the (n − 1)st column is the greatest
column containing nonzero entries.

Since Lemma 3.1 says that only a finite number of βi,i+rk+j (gin(I k )) may be nonzero,
part (a) of Theorem 1.9 follows from part (b) of the theorem and Lemma 1.7. Therefore,
we will focus on the proof of part (b).

8

SARAH MAYES-TANG

3.2. Proof of Part (b) of Theorem 1.9.
Proof. We will proceed by induction on the number of variables n in S.
Base Case: Result holds for 2 variables.
Suppose that I ⊆ K[x, y] is equigenerated in degree r. Then by Theorem 1.5, βi,rk+i+j (I k )
is given by a polynomial Pi,j (k) for all k >> 0. By consecutive cancellation (Theorem
2.5), there exist integers ci,j (k) such that βi,rk+i+j (gin(I k )) = Pi,i+j (k) + ci,i+j (k).
Note that projdim(gin(I k )) and projdim(I k ) are at most 2 for all k >> 0, so ci,i+j (k) =
Pi,i+j (k) = 0 whenever i ≥ 2 .
0
β(gin(I k ))

rk
P0,0 (k) + c0,0 (k)
 P (k) + c (k)
rk + 1
0,1
 0,1
 P (k) + c (k)
rk + 2
0,2
 0,2
..
.

1

P1,0 (k) + c1,0 (k)
P1,1 (k) + c1,1 (k) 

P1,2 (k) + c1,2 (k) 

..
.

We will now proceed by induction on the row index j to show that ci,j (k) is a polynomial
in k for all k >> 0. This will imply that the entries in β(gin(I k )) are given by polynomials
for all k >> 0.
According to Lemma 3.1, βi,rk (gin(I k )) = 0 for all i > 0. By consecutive cancellation,
Theorem 2.5, this implies that c0,0 (k) = 0. The Eliahou-Kervaire resolution implies that,
for all k >> 0, P0,0 (k) gives the number of minimal generators of gin(I k ) of degree rk,
while P1,0 (k) + c1,0 (k) gives the number of minimal generators of gin(I k ) of degree rk
divisible by y. We know that xrk the only generator of gin(I k ) of degree rk not divisible
by y, so P1,0 (k) + c1,0 (k) = P0,0 (k) − 1. Therefore c1,0 (k) = P0,0 (k) − 1 − P1,0 (k) is a
polynomial in k for k >> 0.
Suppose that we know ci,j (k) is a polynomial in k for i = 0, 1 and all j < J. First notice
that both P0,J (k) + c0,J (k) and P1,J (k) + c1,J (k) represent the number of generators of
gin(I k ) of degree rk + J since y divides all generators of degree greater than rk. Thus,
P0,J (k) + c0,J (k) = P1,J (k) + c1,J (k) and c1,J (k) is a polynomial for all k >> 0 if c0,J (k) is.
However, by consecutive cancellation, c0,J (k) = c1,J−1 (k) is polynomial by our inductive
assumption. Therefore, Theorem 1.9 holds when I is an equigenerated ideal in K[x, y].
Inductive Step: Hyperplane Restriction
Now suppose that Theorem 1.9 holds for all equigenerated ideals in K[x1 , . . . , xn−1 ].
We will show that this implies the theorem for equigenerated ideals in K[x1 , . . . , xn ].
The key element of this argument is hyperplane restriction, Theorem 2.11. Let I be an
equigenerated ideal in K[x1 , . . . , xn ] and let Ih be a generic hyperplane section of I. Ih is
a homogeneous ideal of K[x1 , . . . , xn−1 ] equigenerated in degree r and
gin((Ih )k ) = gin((I k )h ) = gin(I k )|xn →0 .
Since our inductive assumption applies to {Ih } ⊆ K[x1 , . . . , xn−1 ], there are polynomials
fi,j (k) such that βi,rk+i+j (gin((Ih )k )) = βi,rk+i+j (gin((I k )h )) = fi,j (k) for i, j, and k >>
0. From Theorem 1.5, we know that there are polynomials Pi,j (k) such that βi,rk+i+j (I k ) =
Pi,j (k) for all k >> 0 and by consecutive cancellation βi,rk+i+j (gin(I k )) = Pi,j (k) + ci,j (k)
for some numbers ci,j (k). To complete the inductive step it is sufficient to show that the
ci,j (k) are polynomials in k for all k >> 0.

ASYMPTOTIC STABILIZATION OF BETTI DIAGRAMS OF GENERIC INITIAL SYSTEMS

0
β(gin(I k )h ) :

rk
f0,0 (k)
 f0,1 (k)
rk + 1


..
..

.
.

1
f1,0 (k)
f1,1 (k)
..
.

f0,ρ0 (k)

f1,ρ0 (k)

rk + ρ0

β(gin(I k )) :
0

rk
P0,0 (k) + c0,0 (k)
 P (k) + c (k)
rk + 1
0,1
 0,1

..
.
..

.
rk + ρ

P0,ρ (k) + c0,ρ (k)

···
···
···

n−2

fn−2,0 (k)
fn−2,1 (k) 


..

.
fn−2,ρ0 (k)

···
···

1
P1,0 (k) + c1,0 (k)
P1,1 (k) + c1,1 (k)
..
.

9

···
···
···

···
P1,ρ (k) + c1,ρ (k) · · ·

n−1

Pn−1,0 (k) + cn−1,0 (k)
Pn−1,1 (k) + cn−1,1 (k) 


..

.
Pn−1,ρ (k) + cn−1,ρ (k)

By Theorem 2.11, for any δ the set of degree δ minimal generators of gin(I k ) not
divisible by xn is the same as the set of degree δ minimal generators of gin((I k )h ). We
will use this fact along with the Eliahou-Kervaire resolution to determine how the fi,j s
and Pi,j s are related, row-by-row.
For a monomial ideal M , let mi,δ (M ) denote the number of minimal generators of M
of degree δ divisible by xi and no larger-indexed variable. β0,rk (M ) gives the number
of generators of M of degree rk. Since βi,rk (gin(I k )) = 0 for all i > 0, c0,0 (k) = 0 by
consecutive cancellation. Then
mn,rk (gin(I k )) = β0,rk (gin(I k )) − β0,rk (gin((I k )h ))
= P0,0 (k) − f0,0 (k).
We know that P0,0 (k) and f0,0 (k) are eventually polynomial in k, so mn,rk (gin(I k )) is a
polynomial in k for all k >> 0.
Similarly, in homological degree I, Corollary 2.3 implies that


n−1
n
X q − 1
X
q−1
k
mq,rk (gin((I k )h ))
mq,rk (gin(I )) −
[PI,0 (k) + cI,0 (k)] − fI,0 (k) =
I
I
q=I+1
q=I+1


n−1
=
mn,rk (gin(I k ))
I
Since we know that the PI,0 (k), fI,0 (k), and mn,rk (gin(I k )) are polynomial for all k >> 0,
cI,0 (k) must be polynomial for k >> 0 as well. Therefore, we know that the cancellation
numbers ci,0 (k) in the first nonzero row of β(gin(I k )) are polynomial for all k >> 0.
Now assume that we know that the cancellation numbers ci,j (k) are polynomial for all
k >> 0 whenever j < J. By consecutive cancellation,
c0,J (k) = c1,J−1 (k) − c2,J−2 (k) + · · · + (−1)n cn−1,J−(n−1) (k).
By our assumption, this implies that c0,J (k) is also polynomial for all k >> 0. As before,
[P0,J (k) + c0,J (k)] − f0,J (k) = mn,rk+J (gin(I k ))
so mn,rk+J (gin(I k )) is polynomial for all k >> 0 as well.

10

SARAH MAYES-TANG

In column I and row rk + J,


n
n−1
X
X  q − 1
q−1
k
[PI,J (k) + cI,J (k)] − fI,J (k) =
mq,rk+J (gin(I )) −
mq,rk+J (gin((I k )h ))
I
I
q=I+1
q=I+1


n−1
=
mn,rk+J (gin(I k ))
I
Since mn,rk+J (gin(I k )) is polynomial for all k >> 0, we see that cI,J (k) must also be
polynomial in k for all k >> 0. Therefore, all cancellation numbers in row rk + J are
polynomial for k >> 0. We conclude by induction on the row index that that all entries
in the table β(gin(I k )) are given by polynomials in k for k >> 0 when I ⊆ K[x1 , . . . , xn ]
is equigenerated.
Therefore, by induction on the number of variables, we conclude that the theorem holds
for all equigenerated ideals I in any number of variables.

3.3. Consequences of the Proof. By Theorem 1.5, the polynomials Pi,j (k) that give
the entries of β(I k ) are of degree less than `(I), the analytic spread of I. If we follow the
degrees of the polynomials in the above proof, we see that the same can be said for the
functions giving the cancellation numbers.
Corollary 3.2. Let I be an ideal equigenerated in degree r. Then the degree of each
polynomial Qi,j (k) = βi,i+j+rk (gin(I k )) guaranteed by Theorem 1.9 is less than `(I).
Similarly, we can follow the stabilization indices in the proof to obtain the following
result.
Corollary 3.3. Let I be an equigenerated ideal with generators of degree r. Then the
stabilization index of {gin(I k )} is at most the stabilization index of {I k }.
We may also consider the structure of the Boij-Söderberg decompositions of β(gin(I k )).
The proof of the main result from [MT15] holds for any family of ideals {Jk } such that
the shape of β(Jk ) stabilizes and whose entries are given by polynomials in k. Therefore,
Theorem 1.9 gives the following result.
Corollary 3.4. Let I be an equigenerated ideal with generators of degree r. Then there
are integers m and K such that for all k > K, the positive Boij-Söderberg decomposition
of β(gin(I k )) is of the form
β(gin(I k )) = w1 (k)π1 (k) + · · · + wm (k)πm (k)
where each wi (k) is a polynomial in k with rational coefficients and π1 (k) < π2 (k) < · · · <
πm (k) is a translated family of chains.
References
[AHH00] Annetta Aramova, Jürgen Herzog, and Takayuki Hibi, Ideals with stable Betti numbers, Advances
in Mathematics 152 (2000), 72–77.
[BCH13] Amir Bagheri, Marc Chardin, and Huy Tai Ha, The eventual shape of Betti tables of powers of
ideals, Mathematical Research Letters 20 (2013), no. 6, 1033–1046.
[BCP99] Dave Bayer, Hara Charalambous, and Sorin Popescu, Extremal Betti numbers and applications
to monomial ideals, Journal of Algebra 221 (1999), no. 2, 497–512.

ASYMPTOTIC STABILIZATION OF BETTI DIAGRAMS OF GENERIC INITIAL SYSTEMS

[BS87]

11

David Bayer and Michael Stillman, A criterion for detecting m-regularity, Inventiones mathematicae 87 (1987), no. 1, 1–11.
[CHT99] S Dale Cutkosky, Jürgen Herzog, and Ngô Viêt Trung, Asymptotic behaviour of the castelnuovomumford regularity, Compositio Mathematica 118 (1999), no. 3, 243–261.
[EFW11] David Eisenbud, Gunnar Fløystad, and Jerzy Weyman, The existence of equivariant pure free
resolutions, Annales de l’Institut Fourier, vol. 61, 2011, pp. 905–926.
[EK90] Shalom Eliahou and Michel Kervaire, Minimal resolutions of some monomial ideals, Journal of
Algebra 129 (1990), no. 1, 1–25.
[Gal74] A. Galligo, A propos du théorem de préparation de Weierstrass, Lecture Notes in Mathematics
409 (1974), 543–579.
[Gre98] Mark Green, Generic initial ideals, Six lectures on commutative algebra, Springer, 1998, pp. 119–
186.
[GS]
Daniel R. Grayson and Michael E. Stillman, Macaulay2, a software system for research in algebraic geometry, Available at http://www.math.uiuc.edu/Macaulay2/.
[GVT05] Elena Guardo and Adam Van Tuyl, Powers of complete intersections: graded betti numbers and
applications, Illinois Journal of Mathematics 49 (2005), no. 1, 265–279.
[Kod93] Vijay Kodiyalam, Homological invariants of powers of an ideal, Proceedings of the American
Mathematical Society 118 (1993), no. 3, 757–764.
[LV04]
Olga Lavila-Vidal, On the diagonals of a Rees algebra, arXiv:math/0407041 [].
[MT15] Sarah Mayes-Tang, Stabilization of Boij-Söderberg decompositions of ideal powers,
arXiv:1509.08544 [].
[Pee10] Irena Peeva, Graded syzygies, vol. 14, Springer Science & Business Media, 2010.
[Sin07]
Pooja Singla, Convex-geometric, homological and combinatorial properties of graded ideals, Ph.D.
thesis, Universität Duisburg-Essen, Fakultät für Mathematik, 2007.
[Whi14] Gwyneth Whieldon, Stabilization of Betti tables, Journal of Commutative Algebra 6 (2014),
no. 1, 113–126.
Quest University Canada, 3200 University Blvd, Squamish, British Columbia, V8B 0N8

