arXiv:1802.03035v1 [math.AC] 8 Feb 2018

ON THE LEX-PLUS-POWERS CONJECTURE
GIULIO CAVIGLIA AND ALESSIO SAMMARTANO
Abstract. Let S be a polynomial ring over a field and I ⊆ S a homogeneous
ideal containing a regular sequence of forms of degrees d1 , . . . , dc . In this paper
we prove the Lex-plus-powers Conjecture when the field has characteristic 0
P
for all regular sequences such that di ≥ i−1
j=1 (dj − 1) + 1 for each i; that is,
we show that the Betti table of I is bounded above by the Betti table of the
lex-plus-powers ideal of I.

1. Introduction
Let S be a polynomial ring over a field. The celebrated theorem of Macaulay
[22] asserts the existence of a one-to-one correspondence between Hilbert functions
of homogeneous ideals in S and lex ideals, i.e. ideals which in each degree are
generated by an initial segment of monomials in the lexicographic order. The
result may be phrased equivalently in terms of bounds for the growth of the graded
components of an ideal, or as the statement that lex ideals have the largest number
of minimal generators β0,j allowed by their Hilbert function in each degree j. An
elegant generalization of this result is the Bigatti-Hulett-Pardue Theorem [2, 21, 28],
which states that in fact lex ideals have the largest possible graded Betti numbers
βi,j in every homological degree i and internal degree j, yielding thus a unique
maximal element in the poset of Betti tables for each Hilbert function. A crucial
tool in both theorems is the use of Gröbner deformations, which allow to build a
flat family connecting an arbitrary homogeneous ideal to a monomial ideal fixed
under the action of the Borel group.
In several geometric situations, related e.g. to questions about configurations of
points in Pm or Hilbert schemes of projective varieties other than Pm , it is desirable
to have refinements of these two theorems which take into account not just the
numerical data of an ideal, but more precise information about its structure. With
these regards, there are two long standing conjectures on the graded invariants of a
homogeneous ideal containing a regular sequence of known degrees: the EisenbudGreen-Harris Conjecture and the Lex-plus-powers Conjecture.
The first conjecture was proposed in [12, 13] with the aim of generalizing a
classical theorem of Castelnuovo as well as Cayley-Bacharach-type theorems on
zero-dimensional subschemes of Pm . Actually, the authors formulated a series of
related conjectures; the most general statement may be given as follows:

2010 Mathematics Subject Classification. Primary: 13D02. Secondary: 13C40; 13D40; 13F20;
14M06; 14M10.
Key words and phrases. Eisenbud-Green-Harris Conjecture; Hilbert function; Betti numbers;
free resolution; complete intersection; regular sequence; linkage; lexsegment ideal.
1

2

GIULIO CAVIGLIA AND ALESSIO SAMMARTANO

Conjecture 1.1 (Eisenbud-Green-Harris). Let I ⊆ S = k[x1 , . . . , xn ] be a homogeneous ideal containing a regular sequence of degrees d1 ≤ · · · ≤ dc . Then there exists
a lex ideal L ⊆ S such that I has the same Hilbert function as L + (xd11 , . . . , xdc c ).
If true, Conjecture 1.1 would yield more accurate inequalities than Macaulay’s
Theorem for the Hilbert function and degree of subschemes of Pm . For instance,
a typical application is the following statement: if Γ ⊆ Pm is a zero-dimensional
subscheme cut out by n + 1 quadric hypersurfaces, then deg(Γ) ≤ 2m − 2m−2 .
Observe that, as in Macaulay’s Theorem, if the ideal L+(xd11 , . . . , xdc c ) exists then
it is unique, and it has the largest number of generators among all ideals with the
same Hilbert function containing a complete intersection of degrees d1 ≤ · · · ≤ dc .
The second conjecture, attributed to Charalmbous and Evans in [15], predicts the
same extremal behavior for all the syzygies:
Conjecture 1.2 (Lex-plus-powers). Let I ⊆ S = k[x1 , . . . , xn ] be a homogeneous
ideal containing a regular sequence of degrees d1 ≤ · · · ≤ dc . If there exists a lex
ideal L ⊆ S such that I has the same Hilbert function as L + (xd11 , . . . , xdc c ), then
S
S
L + (xd11 , . . . , xdc c ) for all i, j ≥ 0.
βi,j
(I) ≤ βi,j

One can make these sharp upper bounds explicit by means of the formulas for
Betti numbers of Borel-plus-powers ideals found in [26]. If Conjecture 1.2 were
true, it would restrict considerably the possible shapes of free resolutions of ideals
containing a given complete intersection. It is worth noticing that, although the
two statements are apparently independent of each other, Conjecture 1.1 is actually
equivalent to the special case i = 0 of Conjecture 1.2, see e.g. [29, Conjecture 2.9].
Both conjectures are wide open. The classical Clements-Linström Theorem [9]
settles Conjecture 1.1 for ideals I already containing (xd11 , . . . , xdc c ). Later, the
first author and Maclagan [6] verified it for arbitrary regular sequences satisfying
Pi−1
di ≥ j=1 (dj − 1) + 1 for all i ≥ 3. See also [1, 3, 8, 10, 16, 20, 27] for other special
cases. On the other hand, much less is known about Conjecture 1.2, cf. [14, 29].
The case when I already contains (xd11 , . . . , xdc c ) was settled only recently and with
complicated proofs, first in [24] when d1 = · · · = dn = 2 and char(k) = 0, and
then in [23] in general. A main obstacle in both problems is the failure of Gröbner
techniques to reduce to a monomial complete intersection while at the same time
keeping track of homological data.
The main result of this paper settles Conjecture 1.2 in a large number of cases:

Main Theorem. Assume that char(k) = 0. The Lex-plus-powers Conjecture holds
Pi−1
for all regular sequences whose degrees satisfy di ≥ j=1 (dj − 1) + 1 for all i ≥ 3.

We point out that the Main Theorem can be used to estimate the Betti table of
any homogeneous ideal I in characteristic 0, since if I contains a regular sequence
{f1 , . . . , fc } then it contains another one {f1 , f2 , f3′ , . . . , fc′ } satisfying the hypothesis on degrees. In this way, the Main Theorem provides general upper bounds for
the Betti numbers that are sharper than those of the Bigatti-Hulett-Pardue Theorem, but possibly worse than those predicted by the full strength of Conjecture
1.2, cf. Section 4.
The paper is organized as follows. In Section 2 we fix the notation and provide
background about lex-plus-powers ideals. Section 3 is dedicated to the proof of
the main result. This is achieved by inductively decomposing ideals into smaller
modules and estimating their Betti numbers. A crucial role in controlling the

ON THE LEX-PLUS-POWERS CONJECTURE

3

size of the smaller modules is played by Lemma 3.3, which is inspired by Green’s
Hyperplane Restriction Theorem and only holds in characteristic 0. Finally, in
Section 4 we illustrate some explicit bounds on Betti tables obtained from the
Main Theorem.
2. Preliminaries
In this section we fix the notation for the remainder of the paper and give some
definitions and preliminary results. We refer to [11] for background.
The symbol k denotes an arbitrary field; in the main results we will need to
assume char(k) = 0. Let R be a standard graded k-algebra, we denote the unique
maximal homogeneous ideal by mR . The length of an R-module is denoted by
ℓR (M ). If M is a graded R-module, [M ]j is the graded component of M of degree j, and the Hilbert function of M is the numerical function HF(M ) : Z → Z
such that HF(M ; j) = dimk [M ]j . For two graded modules M, N , the expression
HF(M )  HF(N ) means that HF(M ; j) ≤ HF(N ; j) for all j ∈ Z. The symbol
M (j) denotes the graded module obtained from M by twisting j times, so that
[M (j)]h = [M ]j+h for all h ∈ Z. We denote the graded Betti numbers of M by
R
βi,j
(M ) = dimk [TorR
i (M, k)]j for all i ∈ N, j ∈ Z.
Throughout this paper, S = k[x1 , . . . , xn ] denotes the polynomial ring in n
variables. A degree sequence for S is a vector d = (d1 , . . . , dn ) where di ∈ N∪{∞}
and 1 ≤ d1 ≤ · · · ≤ dn . We adopt the usual arithmetic conventions for N ∪ {∞}
and furthermore we set x∞
i = 0 for each i. A complete intersection in S is an
ideal f ⊆ S generated by a regular sequence of homogeneous forms {f1 , . . . , fc }; we
will always assume, without loss of generality, that deg(f1 ) ≤ · · · ≤ deg(fc ). The
degree sequence of f is the vector with n entries (deg(f1 ), . . . , deg(fc ), ∞, . . . , ∞).
We emphasize that the degree sequence of a complete intersection in S has always
length n, regardless of the actual codimension. Observe that the Hilbert function
of a complete intersection is uniquely determined by its degree sequence.
The variables of S are ordered by x1 > x2 > · · · > xn and we consider the
lexicographic monomial order on S, denoted by >lex . A monomial ideal L ⊆ S is
lex if for any two monomials u, v ∈ S with deg(u) = deg(v) and u >lex v we have
u ∈ L whenever v ∈ L. By Macaulay’s theorem, lex ideals in S are in a one-to-one
correspondence with Hilbert functions of ideals of S. A monomial ideal I ⊆ S is
xn -stable if for any monomial u ∈ I divisible by xn we have xxinu ∈ I for all i < n.
Observe that a lex ideal is xn -stable.
The next definitions play a central role in this paper. They extend the definitions
above to ideals containing prescribed pure powers of the variables of S.
Definition 2.1. Let d = (d1 , . . . , dn ) be a degree sequence and ℘ = (xd11 , . . . , xdnn ).
(1) A d-lex-plus-powers ideal or simply d-LPP ideal is a monomial ideal of
S of the form L + ℘ where L is a lex ideal;
(2) A d-stable-plus-powers ideal or simply d-SPP ideal is a monomial ideal
of S of the form I + ℘ where I is an xn -stable ideal.
We point out that, unlike some sources in literature, in Definition 2.1 we do not
require the generators of ℘ to be minimal generators of L + ℘ or I + ℘. Thus, a
monomial ideal may be d-SPP or d-LPP for more than one degree sequence d.
Examples 2.2. Let n = 3 and S = k[x1 , x2 , x3 ].

4

GIULIO CAVIGLIA AND ALESSIO SAMMARTANO

• I = (x31 , x21 x2 , x21 x3 , x32 , x21 x23 , x43 ) ⊆ S is d-LPP if and only if d = (3, 3, 4).
• I = (x31 , x21 x2 , x21 x3 , x1 x22 , x32 , x21 x23 , x43 ) ⊆ S is d-LPP if and only if d =
(d1 , d2 , 4) with 3 ≤ d1 ≤ d2 ≤ 4.
• I = (x31 , x21 x2 , x21 x3 , x32 , x21 x23 , x1 x2 x23 , x22 x23 , x1 x33 , x2 x33 , x43 ) ⊆ S is d-LPP if
and only if d = (3, 3, d3 ) with d3 ≥ 4.
The basic properties of LPP ideals in the next proposition follow from their
counterparts for lex ideals in S.
Proposition 2.3. Let d be a degree sequence.
(1) If L ⊆ S is a d-LPP ideal, then it is a d-SPP ideal;
(2) if L1 , L2 ⊆ S are d-LPP ideals with HF(L1 )  HF(L2 ), then L1 ⊆ L2 .
In particular, for each d there exists at most one d-LPP ideal in S with a given
Hilbert function. This motivates the following definition.
Definition 2.4. Let I ⊆ S be a homogeneous ideal and d a degree sequence. If
there exists a d-LPP ideal in S with the same Hilbert function as I, we denote it
by Ld (I) and we refer to it as the d-LPP ideal of I.
The existence of Ld (I) for every ideal I containing a complete intersection of
degree sequence d is precisely the content of Conjecture 1.1. It is guaranteed for
those d that increase “quickly enough”.
Proposition 2.5 ([6, Theorem 2]). Let I ⊆ S be a homogeneous ideal containing
Pi−1
a regular sequence of degrees d = (d1 , . . . , dn ). Assume that di ≥ j=1 (dj − 1) + 1
for all i ≥ 3, then Ld (I) exists.
While Conjectures 1.1 and 1.2 are of interest for complete intersections of any
codimension, in practice one can reduce to considering mS -primary ideals, i.e. degree sequences d with dn < ∞.
Proposition 2.6 ([5, Theorem 4.1]). Let {f1 , . . . , fc } ⊆ S be a regular sequence.
If the Eisenbud-Green-Harris and Lex-plus-powers Conjectures hold for the image
of {f1 , . . . , fc } modulo n − c general linear forms, then they hold for {f1 , . . . , fc }.
In several arguments to follow, we will proceed by induction on the number
n of variables of S, and it is convenient to adopt the subsequent notation. Let
S = k[x1 , . . . , xn−1 ] and consider S as the extension S[xn ]. We let d = (d1 , . . . , dn )
be a degree sequence with n entries, and denote by d = (d1 , . . . , dn−1 ) the partial
sequence of the first n − 1 entries. We let ℘ = (xd11 , . . . , xdnn ) be the monomial
d
complete intersection in S corresponding to d, and denote by ℘ = (xd11 , . . . , xnn−1 )
the monomial complete intersection in S corresponding to d.
A monomial ideal I ⊆ S can be decomposed uniquely as
I = I0 ⊕ I1 xn ⊕ I2 x2n ⊕ · · ·
where Ii ⊆ S is a monomial ideal and Ii−1 ⊆ Ii for all i > 0. Unless stated
otherwise, in this paper the notation Ii always refers to such decomposition of
monomial ideals. We list some basic properties of monomial ideals of S in terms of
this decomposition; their proofs follow immediately from the definitions.
Proposition 2.7. Let I ⊆ S be a monomial ideal and d a degree sequence.
(1) I is d-SPP if and only if ℘ ⊆ I and mS Ii ⊆ Ii−1 for all 0 < i < dn .

ON THE LEX-PLUS-POWERS CONJECTURE

5

(2) If I is a d-SPP ideal then for all 0 ≤ i < dn we have
(I : xin ) + (xn ) ∼
= Ii ⊆ S.
(xn )
(3) If I is a d-LPP ideal, then Ii ⊆ S is a d-LPP ideal for every i.
We conclude this section by collecting some basic facts about linkage. Let I ( S
be an unmixed homogeneous ideal, and let f ( I be a complete intersection of the
same codimension. The ideal J = f : I is said to be directly linked to I via f; J
is an unmixed homogeneous ideal of the same codimension as I, and f ( J. This
operation is a duality in the sense that I = f : J. Now let f = (f1 , . . . , fn ) ⊆ S
be an mS -primary complete intersection of degree sequence
Pn d = (d1 , . . . , dn ), with
dn < ∞. Then S/f is Artinian with socle degree s = i=1 di − n, and the Hilbert
functions of the linked ideals I and J = f : I satisfy






S
S
S
(2.1)
HF
; j + HF
; s − j = HF
;j
I
J
f

for all j = 0, . . . , s, cf. [25, 5.2.19]. In particular, the Hilbert function of a direct
link J = f : I of an mS -primary ideal I depends only on HF(I) and on the degree
sequence of f.
3. Proof of the main result

We begin this section by investigating the behavior of lex-plus-powers ideals
under linkage. We show that taking a direct link of a LPP ideal via the regular
sequence of pure powers yields another LPP ideal. This fact is already known; it
is proved in [30]. Here we include a shorter alternative proof, which relies on the
following recursive characterization of LPP ideals.
Remark 3.1 ([4, Proof of Theorem 3.3, Lemma 3.7, Lemma 3.8]). An ideal L ⊆ S
is d-LPP if and only if the following conditions hold:
(i) L is d-SPP;
(ii) Li ⊆ S is d-LPP for all i;
(iii) if I ⊆ S is another d-SPP ideal with HF(I) = HF(L), then for all i, p ≥ 0
i
X

HF (Ij ; p − j) ≥

i
X

HF (Lj ; p − j) .

j=0

j=0

Proposition 3.2. Let d be a degree sequence with dn < ∞. If I is a monomial
ideal with ℘ ( I ( S and J = ℘ : I then
(1) Ji = ℘ : Idn −i−1 ⊆ S for each i = 0, . . . , dn − 1;
(2) I is d-SPP if and only if J is d-SPP;
(3) I is d-LPP if and only if J is d-LPP.
Proof. Recall that J is monomial with ℘ ( J ( S, and we have decompositions
I

= I0 ⊕ I1 xn ⊕ · · · Idn −1 xndn −1 ⊕ Sxdnn ⊕ Sxdnn +1 ⊕ · · · ,

J

= J0 ⊕ J1 xn ⊕ · · · Jdn −1 xndn −1 ⊕ Sxdnn ⊕ Sxdnn +1 ⊕ · · · .

(1) For each i = 0, . . . , dn − 1 we have ℘ : Ii ⊆ Jdn −1−i , because
(℘ : Ii )xndn −1−i (Ij xjn ) ⊆ (℘ : Ii )xndn −1−i (Ii xjn ) ⊆ ℘S ⊆ ℘
(℘ :

Ii )xndn −1−i (Ij xjn )

⊆

(xdnn )

⊆℘

for j ≤ i,
for j > i.

6

GIULIO CAVIGLIA AND ALESSIO SAMMARTANO

On the other hand, applying (2.1) to I and to each Ii , we see that ℘ : Ii and
Jdn −1−i must have the same Hilbert function for every i = 0, . . . , dn − 1, therefore
equality must hold.
(2) If I is d-SPP, for each i = 1, . . . , dn − 1 we have mS Idn −i ⊆ Idn −i−1 by
Proposition 2.7. Passing to links via ℘ and using part (1) we obtain
Ji = ℘ : Idn −i−1 ⊆ ℘ : mS Idn −i = (℘ : Idn −i ) : mS = Ji−1 : mS
and hence mS Ji ⊆ Ji−1 . Thus, J is a d-SPP ideal as desired.
(3) Let I be a d-LPP ideal. We proceed by induction on n, the case n = 0
being trivial. In order to prove that J is d-LPP, we use Remark 3.1: by induction,
(i) follows from Proposition 2.3 and part (2), whereas (ii) follows from Proposition
2.7 and part (1). Assume by contradiction that (iii) fails, that is, there exist
another d-SPP ideal J ′ ⊆ S with HF(J ′ ) = HF(J) and values i, p ≥ 0 such that

Pi
Pi
′
′
j=0 HF (Jj ; p − j) . Taking direct links of each Jj , Jj via
j=0 HF Jj ; p − j <
℘, equation (2.1) gives
i
X
j=0

Pn−1

i
 X
HF ℘ : Jj′ ; s − p + j >
HF (℘ : Jj ; s − p + j)
j=0

where s = j=1 (dj − 1) is the socle degree of S/℘.
The ideal I ′ = ℘ : J ′ ⊆ S is d-SPP with HF(I ′ ) = HF(I) and Ij′ = ℘ :
′
Jdn −j−1 for each j = 0, . . . , dn − 1, by parts (1) and (2). The previous inequality

Pi
Pi
′
becomes
j=0 HF(Idn −j−1 ; s − p + j) >
j=0 HF Idn −j −1 ; s − p + j . Setting
q = s − p + dn − 1 and reindexing, we obtain
(3.1)

dX
n −1

j=dn −i−1

dX
n −1

HF (Ij ; q − j) .

j=dn −i−1

Pq
HF(Ij ; q − j).
HF(Ij′ ; q − j) = HF(I ′ ; q) = HF(I; q) =
Pdnj=0
′
Furthermore, since Ij = Ij = S for j ≥ dn , we actually have j=0 HF(Ij′ ; q − j) =
Pdn
j=0 HF(Ij ; q − j), so by (3.1) we deduce
Observe that

Pq


HF Ij′ ; q − j >

j=0

dnX
−i−2
j=0

−i−2
 dnX
HF (Ij ; q − j) .
HF Ij′ ; q − j <
j=0

However, this contradicts the fact that I is a d-LPP ideal, by Remark 3.1. Thus,
J is a d-LPP ideal, and the proof is concluded.

Next we prove an inequality of Hilbert functions between the general hyperplane
sections of certain ideals and those of their LPP ideals, in the spirit of Green’s
Hyperplane Restriction Theorem [18] and its generalizations [20, 16]. Our statement
only holds if the ground field has characteristic 0.
Lemma 3.3. Assume char(k) = 0. Let {f1 , . . . , fn−1 } ⊆ S be a regular sequence
with degree sequence d, where dn = ∞, and I ⊆ S a homogeneous ideal containing
{f1 , . . . , fn−1 }. Let ℓ ∈ [S]1 be a general linear form and denote by f i the image
of fi in S ∼
= S/(ℓ). If Conjecture 1.1 holds for the regular sequence {f 1 , . . . , f n−1 }
then for all i ≥ 1 we have


HF I + (ℓi )  HF Ld (I) + (xin ) .

ON THE LEX-PLUS-POWERS CONJECTURE

7

Proof. Up to applying a general change of coordinates, we may already assume that
the coordinates x1 , . . . , xn are general and that ℓ = xn . Note that the assumptions
are preserved by changes of coordinates.
Let K = inω (I) be the initial ideal with respect to the weight ω = (1, 1, . . . 1, 0) ∈
Nn . Then K is bihomogeneous by letting bideg(xi ) = (1, 0) for i < n and bideg(xn ) =
(0, 1), and we may decompose K = K0 ⊕K1 xn ⊕K2 x2n ⊕· · · where Kj ⊆ S is a homogeneous ideal containing {f 1 , . . . , f n−1 }. By construction we have inω (I + (xin )) =
K + (xin ) for all i ≥ 1. Since the coordinates are general and char(k) = 0 we have
mS Kj ⊆ Kj−1 for all j ≥ 1 by [19, Proposition 2.17].
By assumption the ideal Hj = Ld (Kj ) ⊆ S is well defined for every j. Consider
the graded S-module H = H0 ⊕ H1 xn ⊕ H2 x2n ⊕ · · · , by construction we have
HF(H) = HF(K) and in fact HF(H + (xin )) = HF(K + (xin )) for all i ≥ 1. For each
j ≥ 1 the containment Kj−1 ⊆ Kj implies HF(Hj−1 ) = HF(Kj−1 )  HF(Kj ) =
HF(Hj ) and hence Hj−1 ⊆ Hj by Proposition 2.3, so H is an ideal of S. Moreover,
the containment mS Kj ⊆ Kj−1 implies HF(mS Kj )  HF(Kj−1 ) = HF(Hj−1 ).
Since Conjecture 1.1 is true for the regular sequence {f 1 , . . . , f n−1 }, the inequality
HF(mS Hj )  HF(mS Kj ) holds; in fact, this is a well-known consequence of Conjecture 1.1, see e.g. [7, Lemma 2.4]. We deduce HF(mS Hj )  HF(Hj−1 ), and by
Proposition 2.3 it follows that mS Hj ⊆ Hj−1 , thus H is a d-SPP ideal.
To summarize, we have HF(I + (xin )) = HF(K + (xin )) = HF(H + (xin )) for
all i ≥ 1, and H is a d-SPP ideal of S with HF(I) = HF(H), so in particular
Ld (I) = Ld (H). Now we may apply [4, Theorem 3.9]: in the language of that
d
paper, the ring S℘ has the embedding I℘ 7→ L ℘(I) , and this is precisely the embedding
produced by [4, Proof of Theorem 3.3] starting from the embedding of
J
℘

S
℘

given by

Ld (J )
℘ .

7
→
We obtain that HF(H + (xin ))  HF(Ld (H) + (xin )), and the desired
conclusion follows.

Example 3.4. Let k be a field with char(k) = p > 0 and S = k[x1 , x2 , x3 ]. Let
p p
p p
2p
p p
I = (x2p
1 , x1 x2 , x2 , x1 x3 , x2 x3 ) ⊆ S; choosing degree sequence d = (2p, 2p, ∞),
2p−1
the lex-plus-powers ideal is Ld (I) = (x2p
x2 , x12p−1 x3 , x12p−2 x22 , x2p
1 , x1
2 ) + K for
some monomial ideal K generated in degrees ≥ 2p + 1. For any ℓ ∈ [S]1 with nonzero coefficient in x3 the image of [I]2p modulo (ℓ) is a 3-dimensional vector space,
whereas the image of [Ld (I)]2p modulo (x3 ) is 4-dimensional. Thus HF(I+(ℓ); 2p) <
HF(Ld (I) + (x3 ); 2p) and the conclusion of Lemma 3.3 is false.
We recall the following well-known fact about graded Betti numbers.
Remark 3.5. Given a standard graded k-algebra R and a short exact sequence
of finitely generated graded R-modules 0 → M1 → M2 → M3 → 0, we have
R
R
R
βi,j
(M2 ) ≤ βi,j
(M1 ) + βi,j
(M3 ) for all i, j.
We introduce a notation for the “underlying graded vector space” of a graded
module of finite length; these objects will be useful when estimating Betti numbers
over S in the proof of the main theorem.
Notation 3.6. Let R be a standard graded k-algebra and M a graded R-module
with ℓR (M ) < ∞. We consider the graded R-module
M
V (M ) = HomR (k, M ) ∼
k(−j)HF(M;j) .
=
j∈Z

8

GIULIO CAVIGLIA AND ALESSIO SAMMARTANO

It has the same Hilbert function as M and it is annihilated by mR . By induction on
R
R
ℓR (M ) and Remark 3.5 we see that βi,j
(M ) ≤ βi,j
(V (M )) for all i, j. Furthermore,
the Betti numbers of V (M ) are uniquely determined by HF(M ).
Lemma 3.7. Let I ⊆ S be a d-SPP ideal, where d is a degree sequence with
dn < ∞. Then for all i, j ≥ 0 we have
!!




dM
n −1
S
I
Ih
S
S
S
S
βi,j
= βi,j (I0 ) + βi,j V
(−h)
+ βi,j
(−dn ) .
xn I
Ih−1
Idn −1
h=1

Proof. This follows immediately from the decomposition of graded S-modules I =
Ih
is already annihilated
I0 ⊕I1 xn ⊕· · ·⊕Idn−1 xdnn −1 ⊕Sxdnn ⊕· · · and the fact that Ih−1
by mS for 1 ≤ i ≤ dn − 1 by Definition 2.1.

We are now ready to prove the main result of this paper.
Theorem 3.8. Let I ⊆ S = k[x1 , . . . , xn ] be a homogeneous ideal containing a
P
complete intersection of degree sequence d, such that di ≥ i−1
j=1 (dj − 1) + 1 for all

S
S
Ld (I) for all i, j ≥ 0.
i ≥ 3. Then βi,j
(I) ≤ βi,j

Proof. By Proposition 2.6 we may assume that dn < ∞. From Proposition 2.5 we
know that Conjecture 1.1 holds for d in S and d in S. We prove the theorem by
induction on n, the cases n = 0, 1 being trivial.
Let f = (f1 , . . . , fn ) ⊆ I be the given complete intersection, with deg(fi ) = di .
We consider the S-ideals J = f : I, L = Ld (I), and K = Ld (J). Notice that L and
K are well-defined, and they are directly linked via ℘ by Proposition 3.2.
By changing coordinates, we may assume that xn is a general linear form. Then
the ideal (f1 , . . . , fn−1 , xn ) is an mS -primary complete intersection with socle degree
Pn−1
Pn−1
j=1 (dj − 1). By assumption dn >
j=1 (dj − 1) and thus fn ∈ (f1 , . . . , fn−1 , xn ),
therefore, up to replacing the form fn , we may assume that fn = xn g for some form
g ∈ [S]dn −1 .
Since xn is a linear non-zerodivisor in S, for all i, j ≥ 0 we have




I
L
S
S
S
S
and
βij (L) = βij
βij (I) = βij
xn I
xn L




I
L
S
S
≤ βij
for every i, j ≥ 0.
thus it will suffice to show βij
xn I
xn L
There is a short exact sequence of graded S-modules

(3.2)

0 −→

The S-ideal I =

I
I + (xn )
xn (I : xn )
−→
−→
−→ 0.
xn I
xn I
(xn )

I+(xn )
(xn )

(f1 ,...,fn−1 ,xn )
,
(xn )
S
induction, βi,j (I)

contains

which is a complete intersection

S
in S of degree sequence d. By
≤ βi,j
(Ld (I)) for all i, j. Since
both S-ideals I + (xn ) and L + (xn ) contain an mS -primary complete intersection
Pn−1
of socle degree j=1
(dj − 1), we have [I + (xn )]d = [L + (xn )]d = [S]d for all
d ≥ dn . On the other hand, when d < dn we have [L + (xn )]d = [Le (I) + (xn )]d
for e = (d1 , . . . , dn−1 , ∞), and applying Lemma 3.3 we obtain HF(I + (xn ); d) ≥
HF(Le (I) + (xn ); d) = HF(L + (xn ); d) for all d < dn . Combining the two cases d <
dn and d ≥ dn we get HF(I + (xn ))  HF(L + (xn )), equivalently, HF(I)  HF(L0 ).
This inequality implies the containment of d-LPP ideals L0 ⊆ Ld (I) by Proposition

ON THE LEX-PLUS-POWERS CONJECTURE

9

2.3, since L0 is a d-LPP ideal of S by Proposition 2.7 and HF(I) = HF(Ld (I)) by
definition. By Remark 3.5 and Notation 3.6 we deduce
 !!
d

I
L
S
S
S
.
I ≤ βi,j
V
(L0 ) + βi,j
(3.3)
βi,j
L0

Next, we consider the first term in the exact sequence (3.2). We have the inclusion and isomorphsims of graded S-modules
(g)
I + (g)
I : xn
xn (I : xn )
S
(−dn ) ∼
(−1) ∼
(−1) ⊆
(−1) ∼
=
=
=
I:g
g(I : g)
I
I
xn I
and hence, as in the previous paragraph, we deduce

 




xn (I : xn )
I : xn
S
S
S
S
(3.4)
βi,j
≤ βi,j V
(−1)
+ βi,j
(−dn ) .
xn I
I + (g)
I:g

Applying the same argument as above to the S-ideals J + (xn ) and K + (xn ), we
have [J + (xn )]d = [K + (xn )]d = [S]d for d ≥ dn and [K + (xn )]d = [Le (J) + (xn )]d
for d < dn , thus by Lemma 3.3 we get
HF(J + (xn ))  HF(K + (xn )).
Taking direct links of the ideals in this inequality via f and ℘ respectively, (2.1)
yields the inequality of Hilbert functions


HF f : (J + (xn ))  HF ℘ : (K + (xn )) .
Notice that f : (J +(xn )) = I ∩(g) = g(I : g) and ℘ : (K +(xn )) = xndn −1 (L : xndn −1 ),
therefore, since deg(g) = deg(xndn −1 ), the inequality of Hilbert functions becomes
HF(I : g)  HF(L : xndn −1 ).

(3.5)

Let I⋆ ⊆ S denote the image of I : g in S ∼
= S/(xn ), so I : g = I⋆ S + (xn ) ⊆ S.
Since I⋆ contains a complete intersection of degree sequence d, we may consider
S
S
(I⋆ ) ≤ βi,j
(Ld (I⋆ )) for all i, j, or, equivalently,
Ld (I⋆ ) ⊆ S. By induction βi,j
!


S
S
S
S
(3.6)
βi,j
.
≤ βi,j
I⋆ S + (xn )
Ld (I⋆ )S + (xn )
Observe that L : xdnn −1 = Ldn −1 S + (xn ) ⊆ S. The variable xn is a nonzerodivisor modulo the extended ideals I⋆ S and Ldn −1 S; combining with (3.5),
we deduce the inequality HF(I⋆ )  HF(Ldn −1 ). Since HF(I⋆ ) = HF(Ld (I⋆ )) by
definition, we have HF(Ld (I⋆ ))  HF(Ldn −1 ), and since both Ld (I⋆ ) and Ldn −1
are d-LPP ideals of S, we conclude by Proposition 2.3 that Ld (I⋆ ) ⊆ Ldn −1 ⊆ S
and therefore Ld (I⋆ )S + (xn ) ⊆ Ldn −1 S + (xn ) ⊆ S. Applying Remark 3.5 and
Notation 3.6 to the short exact sequence of graded S-modules
0 −→

Ldn−1 S + (xn )
Ld (I⋆ )S

+ (xn )

−→

S
Ld (I⋆ )S

+ (xn )

−→

S
−→ 0.
Ldn −1 S + (xn )

and combining with (3.6) we obtain
!!




Ldn −1 S + (xn )
S
S
S
S
S
≤ βi,j V
.
+ βi,j
(3.7)
βi,j
I:g
Ldn −1 S + (xn )
Ld (I⋆ )S + (xn )

10

GIULIO CAVIGLIA AND ALESSIO SAMMARTANO

Finally, we combine all the information obtained thus far to estimate the Betti
numbers of xnI I . By (3.2), (3.3), (3.4), and (3.7) we have for all i, j ≥ 0
S
βi,j



I
xn I



≤
+
=

Ld I
L0

 !!

 

I : xn
V
V
+
+
(−1)
I + (g)
!!


Ldn −1 S + (xn )
S
S
S
βi,j V
(−dn )
+ βi,j
(−dn )
Ldn −1 S + (xn )
Ld (I⋆ )S + (xn )


S
S
S
S
(−dn ) =: Bi,j
βi,j (L0 ) + βi,j (W ) + βi,j
Ldn −1
S
(L0 )
βi,j

S
βi,j

S
βi,j

where W is the graded vector space

W =V

!

Ld I
I : xn
Ldn−1 S + (xn )
(−dn ) .
⊕
(−1) ⊕
L0
I + (g)
Ld (I⋆ )S + (xn )

S
We claim that the sum Bi,j is precisely the Betti number βi,j
( xnLL ). This follows
Ldn −1 Lh
from Lemma 3.7 once we verify that the graded vector spaces W and h=1
Lh−1 (−h)
have the same Hilbert function. However, this is true because in each step (3.2),
(3.3), (3.4), and (3.7) we replaced a graded S-module by another one with the same
Hilbert function, and the Hilbert functions of xnI I and xnLL coincide.
S
S
( xnI I ) ≤ βi,j
( xnLL ) for all i, j ≥ 0, and, as already
We have proved that βi,j
observed, this concludes the proof.


4. Examples
We conclude this paper by illustrating the upper bounds on Betti tables obtained
from Theorem 3.8 in some specific examples. We assume char(k) = 0 throughout
the section. The resolutions are computed with Macaulay2 [17], and we adopt
the usual “Macaulay notation” for writing Betti tables, that is, we place the Betti
number βi,j in column i and row j − i.
Example 4.1. Let Ω ⊆ P3 be a 0-dimensional complete intersection of degrees
(4, 4, 8). Let Γ ⊆ Ω be a closed subscheme with Hilbert function
HF(A/IΓ ) = (1, 4, 10, 20, 32, 44, 56, 68, 79, 88, 94, 96, 96, 96, . . .)
where A = k[x0 , x1 , x2 , x3 ] is the homogeneous coordinate ring of P3 . By going
modulo a general linear form in A/IΓ , we reduce to considering Artinian algebras
R = S/I where S = k[x1 , x2 , x3 ] with HF(R) = (1, 3, 6, 10, 12, 12, 12, 12, 11, 9, 6, 2)
and I contains a regular sequence of degrees (4, 4, 8). Computing the lex ideal and
the (4, 4, 8)-LPP ideal of I in S, we obtain the upper bounds for the Betti table of
IΓ provided respectively by the Bigatti-Hulett-Pardue Theorem and Theorem 3.8:

ON THE LEX-PLUS-POWERS CONJECTURE

4
5
6
7
8
9
10
11
12

0
3
3
2
1
2
3
3
4
2

1
3
5
3
2
4
5
6
8
4

2
1
2
1
1
2
2
3
4
2

4
5
6
7
8
9
10
11
12

0
3
1
−
−
1
−
−
1
−

1
1
2
1
−
−
−
1
3
1

11

2
−
1
−
−
−
−
−
1
2

Example 4.2. Let Ω ⊆ P3 be a 1-dimensional complete intersection of degrees
(4, 4), and Γ ⊆ Ω a curve with Hilbert series
HS(A/IΓ ) =

1 + 2t + 3t2 + 4t3 + t4 + t5 − t7
.
(1 − t)2

As before, we reduce to considering 1-dimensional algebras R = S/I where S =
k[x1 , x2 , x3 ], HF(R) = (1, 3, 6, 10, 11, 12, 11, 11, 11, . . .) and I contains a regular sequence of degrees (4, 4). The upper bounds for the Betti table of IΓ obtained via
the Bigatti-Hulett-Pardue Theorem and Theorem 3.8 are respectively

4
5
6
7
8
9
10
11

0
4
1
3
1
1
1
1
1

1 2
4 1
2 1
5 2
2 1
2 1
2 1
2 1
1 −

0
4 4
5 −
6 1

1 2
3 1
− −
3 1

In the last example, we apply Theorem 3.8 to an ideal whose largest complete
intersection does not satisfy our assumption on degrees. The resulting bounds are
thus between the ones of the Bigatti-Hulett-Pardue Theorem and the optimal ones
predicted by Conjecture 1.2.
Example 4.3. Let S = k[x1 , x2 , x3 , x4 ] and I ⊆ S be a homogeneous ideal containing a complete intersection of degrees (3, 3, 3) and with
HF(S/I) = (1, 4, 10, 14, 17, 18, 17, 17, 17, . . .).
We compute the lex ideal, the (3, 3, 5, ∞)-LPP ideal, and the (3, 3, 3, ∞)-LPP ideal
of I in S and obtain the upper bounds for the Betti table of I provided respectively
by the Bigatti-Hulett-Pardue Theorem, Theorem 3.8, and Conjecture 1.2:

12

GIULIO CAVIGLIA AND ALESSIO SAMMARTANO

3
4
5
6
7
8
9
10
11
12
13
14
15
16
17

0 1 2
6 9 5
3 8 7
5 12 10
5 13 11
2 6 6
2 6 6
2 5 4
1 3 3
1 3 3
1 3 3
1 3 3
1 3 3
1 3 3
1 3 3
1 2 1

3
1
2
3
2
2
2
1
1
1
1
1
1
1
1
−

3
4
5
6
7

0
6
2
3
2
−

1
8
5
6
6
1

2
4
4
4
6
1

3
1
1
1
2
−

3
4
5
6

0
6
−
−
1

1
6
2
1
3

2
4
−
−
4

3
1
−
−
1

Acknowledgments. The first author would like to thank Bernd Ulrich for some
helpful discussions on this subject.
References
1. Abedelfatah, A., On the Eisenbud-Green-Harris conjecture, Proc. Amer. Math. Soc. 143
(2015), 105–115.
2. Bigatti, A., Upper bounds for the betti numbers of a given Hilbert function, Comm. Algebra
21 (1993), 2317–2334.
3. Caviglia, G., Constantinescu, A., Varbaro, M., On a conjecture by Kalai, Israel J. Math. 204
(2014), 469–475.
4. Caviglia, G., Kummini, M., Poset embeddings of Hilbert functions, Math. Z. 274 (2013),
805–819.
5. Caviglia, G., Kummini, M., Poset embeddings of Hilbert functions and Betti numbers, J.
Algebra 410 (2014), 244–257.
6. Caviglia, G., Maclagan, D., Some cases of the Eisenbud-Green-Harris conjecture, Math. Res.
Lett. 15 (2008), 427–433.
7. Caviglia, G., Sbarra, E., The lex-plus-powers inequality for local cohomology modules, Math.
Ann. 364 (2016), 225–241.
8. Chong, K.F.E., An application of liaison theory to the Eisenbud-Green-Harris conjecture, J.
Algebra 445 (2016), 221–231.
9. Clements, G.F., Lindström B., A generalization of a combinatorial theorem of Macaulay, J.
Comb. Theory 7 (1969), 230–238.
10. Cooper, S. M., Subsets of complete intersections and the EGH conjecture, Progress in Commutative Algebra 1 de Gruyter, Berlin (2012), 167–198.
11. Eisenbud, D., Commutative Algebra: with a view toward algebraic geometry, Vol. 150. Springer
Science & Business Media (1995).
12. Eisenbud, D., Green, M., Harris, J., Higher Castelnuovo Theory, Astérisque 218 (1993),
187–202.
13. Eisenbud, D., Green, M., Harris, J., Cayley-Bacharach theorems and conjectures, Bull. Amer.
Math. Soc. 33 (1996), 295–324.
14. Francisco, C., Almost complete intersections and the lex-plus-powers conjecture, J. Algebra
276 (2004), 737–760.
15. Francisco, C., Richert, B., Lex-plus-powers ideals, Syzygies and Hilbert functions, I. Peeva
editor, Lect. Notes Pure Appl. Math. 254 (2007).
16. Gasharov, V., Hilbert functions and homogeneous generic forms II, Compositio Math. 116
(1999), 167–172.

ON THE LEX-PLUS-POWERS CONJECTURE

13

17. Grayson, D.R., Stillman, M.E., Macaulay2, a software system for research in algebraic geometry, available at www.math.uiuc.edu/Macaulay2/
18. Green, M.L., Restrictions of linear series to hyperplanes, and some results of Macaulay and
Gotzmann, Algebraic curves and projective geometry (Trento, 1988), 76–86, Lecture Notes in
Math. 1389 Springer, Berlin (1989).
19. Green, M.L., Generic initial ideals, Six lectures on commutative algebra. Birkhäuser, Basel
(1998), 119–186.
20. Herzog, J., Popescu, D., Hilbert functions and generic forms, Compositio Math. 113 (1998),
1–22.
21. Hulett, H.A., Maximum betti numbers of homogeneous ideals with a given Hilbert function,
Comm. Algebra 21 (1993), 2335–2350.
22. Macaulay, F.S., Some properties of enumeration in the theory of modular systems, Proc.
Lond. Math. Soc. 2 (1927), 531–555.
23. Mermin, J., Murai, S., The Lex-Plus-Powers Conjecture holds for pure powers, Adv. Math.
226 (2011), 3511–3539
24. Mermin, J., Peeva, I., Stillman, M., Ideals containing the squares of the variables, Adv. Math.
217 (2008), 2206–2230.
25. Migliore, J.C., Introduction to liaison theory and deficiency modules, Vol. 165. Springer Science & Business Media (2012).
26. Murai, S., Borel-plus-powers monomial ideals, J. Pure Appl. Algebra 212 (2008), 1321–1336.
27. Otwinowska, A., Sur la fonction de Hilbert des algèbres graduées de dimension 0, J. Reine
Angew. Math. 545 (2002), 97–119.
28. Pardue, K., Deformation classes of graded modules and maximal betti numbers, Illinois J.
Math. 40 (1996), 564–585.
29. Richert, B.P., A study of the lex plus powers conjecture, J. Pure Appl. Algebra 186 (2004),
169–183.
30. Richert, B.P., Sabourin, S., The residuals of lex plus powers ideals and the Eisenbud-GreenHarris conjecture, Illinois J. Math. 52 (2008), 1355–1384.
(Giulio Caviglia) Department of Mathematics, Purdue University, 150 N. University
Street, West Lafayette, IN 47907, USA
E-mail address: gcavigli@purdue.edu
(Alessio Sammartano) Mathematical Sciences Research Institute, 17 Gauss Way, Berkeley, CA 94720, USA
E-mail address: asammartano@msri.org

