arXiv:1311.0939v1 [math.AC] 5 Nov 2013

AN APPLICATION OF LIAISON THEORY TO THE
EISENBUD-GREEN-HARRIS CONJECTURE
KAI FONG ERNEST CHONG
Abstract. In this paper, we apply liaison theory to the Eisenbud-Green-Harris
conjecture and prove that the conjecture holds for a certain subclass of homogeneous
ideals in the linkage class of a complete intersection ideal. In the case of three
variables, we prove that the conjecture holds for Gorenstein ideals.

1. Introduction
The Eisenbud-Green-Harris (EGH) conjecture is a famous open problem in commutative algebra and algebraic geometry. If true, it would imply the generalized CayleyBacharach conjecture [8], generalize the classic Clements-Lindström theorem [5] in
combinatorics, as well as extend Macaulay’s characterization [20] of the Hilbert functions of homogeneous ideals in a polynomial ring S := k[x1 , . . . , xn ] to the case of
homogeneous ideals containing a given S-regular sequence.
There are several equivalent formulations and slight variations of the EGH conjecture in the literature; see [10] for a good overview. Given a proper ideal I of a
Noetherian ring R, we say I minimally contains an (a1 , . . . , ar )-regular sequence of
forms (i.e. homogeneous polynomials) if I has depth r, the minimum degree of the
forms in I is a1 , and for each 2 ≤ i ≤ r, the integer ai is the smallest degree such that
I contains an R-regular sequence f1 , . . . , fi of forms of degrees a1 , . . . , ai respectively.
In this paper, we work with the following version of the conjecture.
EGH Conjecture. Let 2 ≤ e1 ≤ · · · ≤ en be integers. If I ( S is a homogeneous
ideal that minimally contains an (e1 , . . . , en )-regular sequence of forms, then there
exists a homogeneous ideal J ( S containing xe11 , . . . , xenn , such that I and J have the
same Hilbert function.
The EGH conjecture is known to be true in some cases. Richert [25] settled the case
n = 2, Francisco [9] proved the case when I is an almost complete intersection ideal,
P
Caviglia and Maclagan [3] showed that the conjecture is true when ej+1 > ji=1 (ei −1)
for all 1 ≤ j < n, and Abedelfatah [1] proved the conjecture when every fi is a product
of linear forms. In the special case when ei = 2 for all 1 ≤ i ≤ n, Richert [25] claimed
in unpublished work that the conjecture holds for n ≤ 5, Chen [4] gave a proof for
n ≤ 4, Herzog and Popescu [16] proved that the conjecture holds if k is a field of
Key words and phrases. Hilbert function, EGH conjecture, liaison theory, licci ideals, Gorenstein
ideals.
1

2

KAI FONG ERNEST CHONG

characteristic zero and I is minimally generated by generic quadratic forms, while
Gasharov [12] showed that Herzog-Popescu’s result is still true when k is replaced
by a field of arbitrary characteristic. As for the case n = 3, Cooper [6] proved the
conjecture when e1 ≤ 3 by considering the remaining cases not covered by CavigliaMaclagan’s result.
In contrast to these known results, we use liaison theory as our main tool. Licci
ideals are homogeneous ideals in the liaison class of a complete intersection ideal,
and projective schemes defined by licci ideals are fundamental objects studied in
liaison theory. In this paper, we introduce a new subclass of licci ideals, which we
call ‘sequentially bounded’, and we prove that the EGH conjecture holds for every
sequentially bounded licci ideal that ‘admits a minimal first link’ (Theorem 3); see
Section 3 for a precise definition of such licci ideals. As an important consequence,
we show that the EGH conjecture holds for Gorenstein ideals in the case of three
variables:
Theorem 1. Let 2 ≤ e1 ≤ e2 ≤ e3 be integers. If I ( k[x1 , x2 , x3 ] is a homogeneous
Gorenstein ideal that minimally contains an (e1 , e2 , e3 )-regular sequence of forms,
then there exists a monomial ideal J in k[x1 , x2 , x3 ] containing xe11 , xe22 , xe33 , such that
I and J have the same Hilbert function.
Our proof of Theorem 1 uses Migliore-Nagel’s recent result [22] in liaison theory,
which in turn relies on the Buchsbaum-Eisenbud structure theorem [2] on Gorenstein
ideals of height three. We hope that further advances in liaison theory would give
more insight into proving the EGH conjecture.
2. Liaison Theory
Let N and P denote the non-negative and positive integers respectively. Define
the set [n] := {1, . . . , n} for each n ∈ P, and let [0] := ∅. Given a = (a1 , . . . , an ),
b = (b1 , . . . , bn ) in Zn , let |a| := a1 + · · · + an , and write a ≤ b if ai ≤ bi for all i ∈ [n].
For brevity, let 1n denote the n-tuple (1, . . . , 1).
Throughout this paper, S := k[x1 , . . . , xn ] is a standard N-graded polynomial ring
on n variables over an infinite field k. All ideals, whether contained in S or otherwise,
are assumed to be homogeneous and proper, and for any minimal set of generators
of a given ideal, we always assume the generators are homogeneous. Given A =
{p1 , . . . , pr } a collection of forms in S, write hAi or hp1 , . . . , pr i to mean the ideal of S
generated by A. A multicomplex M is a collection of monomials that is closed under
divisibility (i.e. if m ∈ M and m0 divides m, then m0 ∈ M ). For α = (α1 , . . . , αn ) ∈
Nn , write xα to mean the monomial xα := xα1 1 · · · xαnn .
For any ring R and any ideal I ⊂ R, let depth(I) denote the depth of I. We
say I is perfect if depth(I) equals the projective dimension of R/I. A complete
intersection ideal (CI ideal) of R is an ideal generated by an R-regular sequence of
forms, and an almost complete intersection ideal of R is a perfect ideal I that is
minimally generated by depth(I) + 1 elements. If J = hf1 , . . . , fr i is a CI ideal such

AN APPLICATION OF LIAISON THEORY TO THE EGH CONJECTURE

3

that deg(f1 ) ≤ · · · ≤ deg(fr ), then e := (deg(f1 ), . . . , deg(fr )) ∈ Pr is called the type
of J (as a CI ideal).
L
Given a finitely generated graded S-module R = d∈N Rd , let H(R, −) denote its
Hilbert function, i.e. H(R, d) := dimk Rd for each d ∈ N, and let soc(R) denote the
socle of R. We say R is Gorenstein if it is a Cohen-Macaulay module of Krull dimension r, and dimk soc(R/hf1 , . . . , fr iR) = 1 for some R-regular sequence f1 , . . . , fr .
Note that complete intersection ideals are Gorenstein.
Definition. Let R be a Cohen-Macaulay ring, and let I, I ⊂ R be ideals of height
r. If there exists a CI ideal J ⊂ R of height r satisfying J ⊆ I ∩ I 0 , I = J : I 0 and
I 0 = J : I, then we say I and I 0 are (algebraically) directly linked (by J), and we write
J
I ∼ I 0 , or simply I ∼ I 0 (if the ideal J is not important). This binary relation ∼ is
called direct linkage, and the ideal J is called a link.
Direct linkage is symmetric, but not necessarily reflexive or transitive. Taking its
transitive closure, we get an equivalence relation called liaison (or linkage). Equivalently, we have the following definition:
Definition. Let R be a Cohen-Macaulay ring, and let I, I 0 ⊂ R be ideals of height
r. If there exists a finite sequence of ideals I0 , I1 , . . . , Is (s ∈ P) of height r, such that
I0 = I, Is = I 0 , and I0 ∼ I1 ∼ · · · ∼ Is , then we call “I0 ∼ I1 ∼ · · · ∼ Is ” a sequence
of links from I to I 0 , we say s is the length of this sequence, and we say I and I 0 are
(algebraically) linked. This binary relation (that I and I 0 are linked) is an equivalence
relation called liaison (or linkage), and each equivalence class is called a liaison class.
An ideal that is in the liaison class1 of a CI ideal is called licci.
In our definition of liaison, we require that the links are CI ideals. This can be
generalized by allowing links to be Gorenstein ideals, which yields the notion of Gorenstein liaison. The prefixes ‘CI-’ and ‘G-’ (for complete intersection and Gorenstein
respectively) are usually attached to distinguish between the two definitions, e.g.
CI-liaison, G-linked, etc.. Currently, Gorenstein liaison theory is an area of active
research [13, 14, 15, 19, 21, 22], and there are many open problems on whether results
in CI-liaison theory can be extended analogously in G-liaison theory; see [19]. In this
paper, we only use CI-liaison theory and hence do not use the ‘CI-’ prefix. For a good
introduction to liaison theory, see [23].
Remark 2. The notion of liaison is (more commonly) defined for projective schemes
as follows: Let V1 , V2 be equidimensional subschemes of Pnk of codimension r, and
let X be a complete intersection scheme of codimension r containing both V1 and
V2 . If the defining ideals IV1 , IV2 , IX (of V1 , V2 , X respectively) satisfy IX ⊆ IV1 ∩ IV2 ,
IX : IV1 = IV2 and IX : IV2 = IV1 , then we say V1 and V2 are (algebraically) directly
X
linked, and we write V1 ∼ V2 , or simply V1 ∼ V2 . The equivalence relation generated
1Any

two CI ideals of the same height are linked, so for a fixed height, the liaison class of a CI
ideal is unique; see, e.g. [26], for a proof.

4

KAI FONG ERNEST CHONG

by (the transitive closure of) ∼ is called liaison, and we can define link, liaison class,
etc. analogously.
Definition. Let R be a Cohen-Macaulay ring, and let I, I 0 , I 00 ⊂ R be ideals of height
r. If I minimally contains an (a1 , . . . , ar )-regular sequence of forms, and I and I 0 are
directly linked by a CI ideal J of type (a1 , . . . , ar ), then we say J is a minimal link. If
I and I 00 are linked, and there exists a sequence of links from I to I 00 such that each
link is minimal, then we say I is minimally linked to I 00 . An ideal that is minimally
linked to a CI ideal is called minimally licci.
Given linked ideals I and I 0 of S, there are many possible sequences of links from I
to I 0 of varying lengths, and much work has been done on understanding licci ideals
and their corresponding sequences of links. Gaeta [11] showed that every CohenMacaulay ideal of height two is minimally licci, while Peskine and Szpiro [24] proved
that an ideal of height two is licci if and only if it is Cohen-Macaulay. However, these
results do not extend to ideals of height ≥ 3. Not every Cohen-Macaulay ideal of
height three is licci [18], and for every r ≥ 3, there are licci ideals of height r that are
not minimally licci [17]. Nevertheless, Watanabe [27] showed that every Gorenstein
ideal of height three is licci, while Migliore and Nagel [22] recently proved that every
Gorenstein ideal of height three is minimally licci.
3. Sequentially Bounded Licci Ideals
In this section, we weaken the notion of ‘minimally licci ideals’ and define a subclass
of licci ideals that we call ‘sequentially bounded’. In particular, minimally licci ideals
are sequentially bounded licci ideals. As the main result of this section, we prove that
the EGH conjecture holds for every sequentially bounded licci ideal that ‘admits a
minimal first link’, which we now define precisely:
Definition. Let I be a licci ideal of height r. Suppose there exists a sequence of links
J
J
J
I0 ∼1 I1 ∼2 . . . ∼s Is from I0 = I to a CI ideal Is , such that J1 , . . . , Js (as CI ideals)
have types a(1) , . . . , a(s) ∈ Pr respectively and satisfy a(1) ≥ · · · ≥ a(s) . Then I is
called a sequentially bounded licci ideal. Furthermore, if J1 is a minimal link, then we
say I is a sequentially bounded licci ideal that admits a minimal first link.
Theorem 3. Let 2 ≤ e1 ≤ · · · ≤ en be integers. If I ( S is a sequentially bounded
licci ideal that admits a minimal first link and minimally contains an (e1 , . . . , en )regular sequence of forms, then there exists a monomial ideal J ( S containing
xe11 , . . . , xenn such that I and J have the same Hilbert function.
Before we prove Theorem 3, we need the following useful theorem on Hilbert functions under liaison.
Theorem 4 ([7]). Let I, J be (homogeneous) ideals of S such that J ⊆ I. If S/J is
an Artinian Gorenstein ring, and s := max{t ∈ N : H(S/J, t) 6= 0}, then H(S/I, t) =
H(S/J, t) − H(S/(J : I), s − t) for all 0 ≤ t ≤ s.

AN APPLICATION OF LIAISON THEORY TO THE EGH CONJECTURE
J

J

5

J

Proof of Theorem 3. Let I0 ∼1 I1 ∼2 . . . ∼s Is be a sequence of links from I0 = I to a
CI ideal Is , where J1 is a minimal link. Let a(1) , . . . , a(s) , a(s+1) ∈ Pn denote the types
of J1 , . . . , Js , Is respectively (as CI ideals), and assume a(1) ≥ · · · ≥ a(s) . Note also
that a(s) ≥ a(s+1) , since Js and Is are CI ideals satisfying Js ⊆ Is . For each i ∈ [s + 1],
write a(i) = (ai,1 , . . . , ai,n ), and let Γi be the collection of all monomials in S that
(i)
es+1 , Γ
es , . . . , Γ
e1 recursively
divide x(a −1n ) . Also, define the collections of monomials Γ
es+1 = Γs+1 , and for each i ∈ [s], define
as follows: Let Γ
(s+1−i) −1 )
n
o
n
x(a
e
es+2−i .
Γs+1−i := q ∈ Γs+1−i :
6∈ Γ
q

ei : deg(q) = t for all
ei is a multicomplex, and H(S/Ii−1 , t) = q ∈ Γ
Claim. Γ
i ∈ [s + 1], t ∈ N.
Proof of Claim. We shall prove both assertions of the claim simultaneously by ines+1 is clearly a
duction on s + 2 − i (for i ∈ [s + 1]). The base case is trivial: Γ
multicomplex, and

a
es+1 : deg(q) = t
H(S/Is , t) = H(S/hx1n+1,1 , . . . , xann+1,n i, t) = q ∈ Γ
es+1 forms a k-basis for S/hxa1n+1,1 , . . . , xann+1,n i.
for all t ∈ N. In particular, Γs+1 = Γ
(s+1−i) −1 )
n
For the induction step, let ms+1−i := x(a
. Since a(1) ≥ · · · ≥ a(s+1) implies
ei+1 ⊆ Γi+1 ⊆ Γi for all i ∈ [s], it then follows from Theorem 4 that H(S/Is−i , t)
Γ
equals
=
=
=
=

H(S/Js+1−i , t) − H(S/Is+1−i , |a(s+1−i) | − n − t)


es+2−i : deg(q 0 ) = |a(s+1−i) | − n − t
q ∈ Γs+1−i : deg(q) = t − q 0 ∈ Γ
m

o
n

ms+1−i
s+1−i
0
e
∈ Γs+1−i : q ∈ Γs+2−i , deg
=t
q ∈ Γs+1−i : deg(q) = t −
q0
q0
n
o

ms+1−i e
∈ Γs+2−i , deg(q) = t
q ∈ Γs+1−i : deg(q) = t − q ∈ Γs+1−i :
q

es+1−i : deg(q) = t
q∈Γ

for every t ∈ N.
es+1−i is a multicomplex. Choose an arbitrary q ∈ Γs+1−i
Next, we prove that Γ
es+1−i , and suppose qxj ∈ Γs+1−i for some j ∈ [n]. Clearly Γs+1−i
such that q 6∈ Γ
es+1−i , hence to prove that Γ
es+1−i is a multicomplex,
is a multicomplex containing Γ
es+1−i . Now, qxj ∈ Γs+1−i implies x(a(s+1−i),j −1) does
it suffices to show that qxj 6∈ Γ
j
es+2−i is a multicomplex by
,
so
since
Γ
not divide q, which means xj divides ms+1−i
q
ms+1−i
es+2−i which yields qxj 6∈ Γ
es+1−i .
induction hypothesis, we thus get
∈Γ

qxj

With the above claim, we now complete the proof of Theorem 3. Let J ⊂ S be the
e1 . Using the claim, Γ
e1
ideal spanned by monomials in S that are not contained in Γ

6

KAI FONG ERNEST CHONG

e1 forms a k-basis for S/J, and we get
is a multicomplex, hence Γ

e1 : deg(q) = t = H(S/J, t).
H(S/I, t) = H(S/I0 , t) = q ∈ Γ
e1 ⊆ Γ1 implies J
Finally, since J1 is a minimal link, we have (e1 , . . . , en ) = a(1) , so Γ
e1
en

contains x1 , . . . , xn .
Corollary 5. Let 2 ≤ e1 ≤ · · · ≤ en be integers. If I ⊂ S is a minimally licci ideal
that minimally contains an (e1 , . . . , en )-regular sequence of forms, then there exists a
monomial ideal in S containing xe11 , . . . , xenn with the same Hilbert function as I.
J

J

Proof. Given any sequence I0 ∼1 I1 ∼2 I2 of minimal links, where J1 and J2 have types
J
J
a and b respectively, the definition of liaison yields I0 ∼1 I1 ∼1 I0 , hence the minimality
of J2 as a link implies b ≤ a. Consequently, a minimally licci ideal is a sequentially
bounded licci ideal that admits a minimal first link, and the assertion follows from
Theorem 3.

Theorem 1 is an immediate consequence of Corollary 5, since every Gorenstein ideal
of height three is miminally licci [22]. In fact, Migliore and Nagel [22] proved a stronger
result: If I is a Gorenstein ideal that is not a CI ideal, then linking I minimally
twice gives a Gorenstein ideal with two fewer generators than I. Their proof uses
Buchsbaum-Eisenbud’s structure theorem [2], which says that every Gorenstein ideal
of height three is generated by the submaximal Pfaffians of an alternating matrix.
Note that Watanabe [27] previously showed the minimal number of generators of
every Gorenstein ideal of height three is odd.
Remark 6 (The Two Variables Case). Every ideal I ⊂ S containing a maximal Sregular sequence is Artinian and hence Cohen-Macaulay. Since Gaeta’s theorem [11]
says every Cohen-Macaulay ideal of height two is minimally licci, Corollary 5 thus
yields a different proof (cf. [25], [3, Remark 14]) that the EGH conjecture holds for
n = 2.
4. Variations of the EGH Conjecture
There are two common variations of the EGH conjecture.
Conjecture 7 (EGHe,n ). Let 2 ≤ e1 ≤ · · · ≤ en be integers, and let f1 , . . . , fn
be an S-regular sequence of forms of degrees e1 , . . . , en respectively. If I ( S is a
homogeneous ideal containing f1 , . . . , fn , then there exists a homogeneous ideal J ( S
containing xe11 , . . . , xenn , such that I and J have the same Hilbert function.
Conjecture 8 (EGHn,e,r ). Let r ∈ [n], e = (e1 , . . . , er ) ∈ Pr satisfy 2 ≤ e1 ≤ · · · ≤ er ,
and let f1 , . . . , fr be an S-regular sequence of forms of degrees e1 , . . . , er respectively.
If I ( S is a homogeneous ideal containing f1 , . . . , fr , then there exists a homogeneous
ideal J ( S containing xe11 , . . . , xerr , such that I and J have the same Hilbert function.

AN APPLICATION OF LIAISON THEORY TO THE EGH CONJECTURE

7

Conjecture 7 is clearly equivalent to the EGH conjecture, while Conjecture 8 allows for non-maximal S-regular sequences, with the case EGHn,e,n being identical
to EGHe,n . Remarkably, Caviglia and Maclagan [3] showed that Conjecture 8 is
equivalent to the EGH conjecture. In particular, they showed that if r ∈ [n],
e = (e1 , . . . , er ) ∈ Pr satisfies 2 ≤ e1 ≤ · · · ≤ er , and EGHe0 ,n holds for all
e0 = (e01 , . . . , e0n ) ∈ Pn such that 2 ≤ e01 ≤ · · · ≤ e0n and e0i = ei for each i ∈ [r],
then EGHn,e,r holds; and conversely, if EGHe,r holds for some r ∈ P and some
e = (e1 , . . . , er ) ∈ Pr satisfying 2 ≤ e1 ≤ · · · ≤ er , then EGHn0 ,e,r holds for all
integers n0 ≥ r.
By a modification of their proof, we show that EGHn,e,r holds for every sequentially
bounded licci ideal that admits a minimal first link whenever n ≥ r.
Lemma 9. Let I1 , I2 ( S be ideals of height r < n, and let f1 , . . . , fr , g be an
S-regular sequence of forms. Define J := hf1 , . . . , fr i and J 0 := hf1 , . . . , fr , gi. If
J
I1 ∼ I2 , then

 J0
(I1 : g j ) + hgi ∼ (I2 : g j ) + hgi
for every j ∈ N.

Proof. For convenience, write Ii0 := (Ii : g j ) + hgi for each i ∈ {1, 2}. The case
j = 0 is trivial, so assume j ≥ 1. Observe that the identity I2 = J : I1 yields
o

n s0
1
0
j
0
I20 = j (J : I1 ) ∩ hg j i + hgi =
∈
S
:
s
∈
hg
i,
s
I
⊆
J
+ hgi
1
g
gj
= {s ∈ S : sg j I1 ⊆ J} + hgi,
while the identity I1 = J : (J : I1 ) yields
o
n
1
J 0 : I10 = s ∈ S : s · j (I1 ∩ hg j i) ⊆ J + hgi
g
n
o
1
j
= s ∈ S : s · j ((J : (J : I1 )) ∩ hg i) ⊆ J + hgi
g

0
= s ∈ S : ss ∈ J for every s0 ∈ S 0 + hgi,
where S 0 := {s0 ∈ S : s0 tg j ∈ J for all t ∈ S such that tI1 ⊆ J}.
A routine check gives J 0 : I10 ⊆ I20 . To show the reverse inclusion J 0 : I10 ⊇ I20 , note
that sp ∈ J for every non-zero s ∈ S and non-zero p ∈ I1 satisfying sg j p ∈ J, since
otherwise g j would be a zero-divisor of S/J, which contradicts the assumption that
f1 , . . . , fr , g is an S-regular sequence. By the same argument, every s0 ∈ S 0 satisfies
s0 t for all t ∈ S such that tI1 ⊆ J. Consequently, each s ∈ I20 satisfies sI1 ⊆ J and
hence satisfies ss0 ∈ J for all s0 ∈ S 0 , which gives the reverse inclusion, so we conclude
J 0 : I10 = I20 . A symmetric argument yields J 0 : I20 = I10 .

8

KAI FONG ERNEST CHONG

Finally, since f1 , . . . , fr , g is an S-regular sequence, we get J∩hg j i = hg j f1 , . . . , g j fr i.
It then follows from J ⊆ I1 ∩ I2 that J 0 = g1j (J ∩ hg j i) + hgi ⊆ I10 ∩ I20 , therefore
J0

I10 ∼ I20 .



Proposition 10. Let r ∈ [n], let 2 ≤ e1 ≤ · · · ≤ er be integers, and let I ( S be an
ideal (of height r) that minimally contains an (e1 , . . . , er )-regular sequence of forms.
If I ( S is a sequentially bounded licci ideal that admits a minimal first link (for
example, I could be a minimally licci ideal), then there exists a monomial ideal J ( S
containing xe11 , . . . , xerr such that I and J have the same Hilbert function.
Proof. We follow Caviglia-Maclagan’s proof and similarly prove our proposition by
induction on n − r ∈ N, where the base case n − r = 0 is equivalent to Theorem 3.
J
J
J
Assume r < n, fix the integers 2 ≤ e1 ≤ · · · ≤ er , and let I = I0 ∼1 I1 ∼2 . . . ∼s Is
be a sequence of links from I0 to a CI ideal Is , such that J1 , . . . , Js , Is (as CI ideals)
have types a(1) , . . . , a(s) , a(s+1) ∈ Pr respectively and satisfy a(1) ≥ · · · ≥ a(s+1) . In
particular, Js and Is are CI ideals satisfying Js ⊆ Is , so the last inequality a(s) ≥ a(s+1)
is guaranteed. Also, assume J1 is a minimal link and a(1) = (e1 , . . . , er ). Since k is
infinite and r < n, we can choose some linear form g that is a non-zero-divisor on
each of S/J1 , . . . , S/Js , S/Is . Consequently, for each i ∈ [s], we can define the CI
ideal Ji0 := Ji + hgi of type (1, a(i) ) ∈ Pr+1 .
Next, let N ∈ P be sufficiently large so that (I : g ∞ ) = (I : g N ). For each
(j)
i ∈ {0, 1, . . . , s} and j ∈ {0, 1, . . . , N }, define the ideal Ii := (Ii : g j ) + hgi. By
Lemma 9, we get the sequence of links
0
(j) J

0
(j) J

J0

I0 ∼1 I1 ∼2 . . . ∼s Is(j)

(1)

(j)

for every j ∈ {0, 1, . . . , N }, and we observe that each Is is a CI ideal.
(i)
(i)
(i)
(i)
For each i ∈ [s], write Ji = hf1 , . . . , fr i so that a(i) = (deg(f1 ), . . . , deg(fr )).
(s+1)
(s+1)
(s+1)
(s+1)
), . . . , deg(fr
)).
Also, write Is = hf1
, . . . , fr
i so that a(s+1) = (deg(f1
The quotient ring R := S/hgi is isomorphic to a polynomial ring on n − 1 variables,
(i)
(i)
and by the natural quotient map π : S → R, the S-regular sequence f1 , . . . , fr
(i)
(i)
descends to an R-regular sequence π(f1 ), . . . , π(fr ) for each i ∈ [s+1]. In particular,
Ji00 := π(Ji0 ) is a CI ideal in R for all i ∈ [s]. By applying π to the ideals in (1), we
(j)

J 00

(j)

J 00

J 00

(j)

get the sequence of links π(I0 ) ∼1 π(I1 ) ∼2 . . . ∼s π(Is ) for every j ∈ {0, 1, . . . , N }.
Now J100 , . . . , Js00 (as CI ideals) have types a(1) , . . . , a(s) respectively, and for every
(j)
(j)
j ∈ {0, 1, . . . , N }, the ideal π(Is ) is a CI ideal of type a(s+1) , thus π(I0 ) is a
sequentially bounded licci ideal in R that admits a minimal first link. Using R ∼
=
k[x1 , . . . , xn−1 ], the induction hypothesis then says that for every j ∈ {0, 1, . . . , N },
there exists a monomial ideal in k[x1 , . . . , xn−1 ] containing xe11 , . . . , xerr with the same
(j)
Hilbert function as π(I0 ). Let Mj be the lex-plus-powers ideal in k[x1 , . . . , xn−1 ]

AN APPLICATION OF LIAISON THEORY TO THE EGH CONJECTURE

9

containing xe11 , . . . , xerr with this same Hilbert function (which exists by ClementsLindström theorem [5]), and let Kj ⊆ k[x1 , . . . , xn ] be the set of monomials Kj :=
{mxjn : m ∈ Mj }.
S
Finally, consider the ideal K generated by the monomials in N
j=0 Kj . As shown
by Caviglia and Maclagan [3, Proposition 10], the ideal K contains xe11 , . . . , xerr and
has the same Hilbert function as I, and their proof holds verbatim.

Corollary 11. Let n ≥ 3, and let 2 ≤ e1 ≤ e2 ≤ e3 be integers. If I ( S is a
homogeneous Gorenstein ideal (of height three) that minimally contains an (e1 , e2 , e3 )regular sequence of forms, then there exists a monomial ideal J ( S containing
xe11 , xe22 , xe33 , such that I and J have the same Hilbert function.
Acknowledgements
The author thanks David Eisenbud, Irena Peeva, Juan Migliore, and Edward
Swartz for helpful comments.
References
[1] Abed Abedelfatah. On the Eisenbud-Green-Harris conjecture. Preprint arXiv:1212.2653v1
[math.AC], December 2012.
[2] David A. Buchsbaum and David Eisenbud. Algebra structures for finite free resolutions, and
some structure theorems for ideals of codimension 3. Amer. J. Math., 99(3):447–485, 1977.
[3] Giulio Caviglia and Diane Maclagan. Some cases of the Eisenbud-Green-Harris conjecture. Math.
Res. Lett., 15(3):427–433, 2008.
[4] Ri-Xiang Chen. Hilbert functions and free resolutions. PhD thesis, Cornell University, 2011.
[5] G. F. Clements and B. Lindström. A generalization of a combinatorial theorem of Macaulay. J.
Combinatorial Theory, 7:230–238, 1969.
[6] Susan M. Cooper. The Eisenbud-Green-Harris conjecture for ideals of points. Preprint.
[7] E. D. Davis, A. V. Geramita, and F. Orecchia. Gorenstein algebras and the Cayley-Bacharach
theorem. Proc. Amer. Math. Soc., 93(4):593–597, 1985.
[8] David Eisenbud, Mark Green, and Joe Harris. Higher Castelnuovo theory. Astérisque, (218):187–
202, 1993. Journées de Géométrie Algébrique d’Orsay (Orsay, 1992).
[9] Christopher A. Francisco. Almost complete intersections and the lex-plus-powers conjecture. J.
Algebra, 276(2):737–760, 2004.
[10] Christopher A. Francisco and Benjamin P. Richert. Lex-plus-powers ideals. In Syzygies and
Hilbert functions, volume 254 of Lect. Notes Pure Appl. Math., pages 113–144. Chapman &
Hall/CRC, Boca Raton, FL, 2007.
[11] Federico Gaeta. Sulle curve sghembe algebriche di residuale finito. Ann. Mat. Pura Appl. (4),
27:177–241, 1948.
[12] Vesselin Gasharov. Hilbert functions and homogeneous generic forms. II. Compositio Math.,
116(2):167–172, 1999.
[13] Elisa Gorla. A generalized Gaeta’s theorem. Compos. Math., 144(3):689–704, 2008.
[14] Robin Hartshorne. Generalized divisors and biliaison. Illinois J. Math., 51(1):83–98 (electronic),
2007.
[15] Robin Hartshorne, Irene Sabadini, and Enrico Schlesinger. Codimension 3 arithmetically Gorenstein subschemes of projective N -space. Ann. Inst. Fourier (Grenoble), 58(6):2037–2073, 2008.

10

KAI FONG ERNEST CHONG

[16] Jürgen Herzog and Dorin Popescu. Hilbert functions and generic forms. Compositio Math.,
113(1):1–22, 1998.
[17] Craig Huneke, Juan Migliore, Uwe Nagel, and Bernd Ulrich. Minimal homogeneous liaison and
licci ideals. In Algebra, geometry and their interactions, volume 448 of Contemp. Math., pages
129–139. Amer. Math. Soc., Providence, RI, 2007.
[18] Craig Huneke and Bernd Ulrich. The structure of linkage. Ann. of Math. (2), 126(2):277–334,
1987.
[19] Jan O. Kleppe, Juan C. Migliore, Rosa Miró-Roig, Uwe Nagel, and Chris Peterson. Gorenstein
liaison, complete intersection liaison invariants and unobstructedness. Mem. Amer. Math. Soc.,
154(732):viii+116, 2001.
[20] F. S. Macaulay. Some properties of enumeration in the theory of modular systems. Proc. London
Math. Soc., 26(1):531–555, 1927.
[21] J. Migliore and U. Nagel. Monomial ideals and the Gorenstein liaison class of a complete
intersection. Compositio Math., 133(1):25–36, 2002.
[22] Juan Migliore and Uwe Nagel. Minimal links and a result of Gaeta. In Liaison, Schottky problem
and invariant theory, volume 280 of Progr. Math., pages 103–132. Birkhäuser Verlag, Basel,
2010.
[23] Juan C. Migliore. Introduction to liaison theory and deficiency modules, volume 165 of Progress
in Mathematics. Birkhäuser Boston Inc., Boston, MA, 1998.
[24] C. Peskine and L. Szpiro. Liaison des variétés algébriques. I. Invent. Math., 26:271–302, 1974.
[25] Benjamin P. Richert. A study of the lex plus powers conjecture. J. Pure Appl. Algebra,
186(2):169–183, 2004.
[26] Philip William Schwartau. Liaison addition and monomial ideals. ProQuest LLC, Ann Arbor,
MI, 1982. Thesis (Ph.D.)–Brandeis University.
[27] Junzo Watanabe. A note on Gorenstein rings of embedding codimension three. Nagoya Math.
J., 50:227–232, 1973.
Department of Mathematics, Cornell University, Ithaca, NY 14853-4201, USA
E-mail address: kc343@cornell.edu

