HILBERT SERIES OF RESIDUAL INTERSECTIONS

arXiv:1304.0044v1 [math.AC] 29 Mar 2013

Marc Chardin, David Eisenbud♦ , and Bernd Ulrich♦

♥

Abstract We find explicit formulas for the Hilbert series of residual intersections of a scheme in
terms of the Hilbert series of its conormal modules. In a previous paper we proved that such
formulas should exist. We give applications to the dimension of secant varieties of surfaces and
three-folds.
Introduction
Let M = ⊕i∈Z Mi be a finitely generated graded module over the homogeneous coordinate ring
R of a projective variety over a field k. The Hilbert series (sometimes called the Hilbert-Poincaré
series) of M , which we will denote [[M ]], is the Laurent series
[[M ]] =

X

(dim Mi )ti .

If Z ⊂ Pn := Pnk is a scheme, then the Hilbert series of Z is by definition the Hilbert series of the
homogeneous coordinate ring of Z. Of course this Hilbert series contains the data of the Hilbert
polynomial of Z as well.
Sometimes interesting geometric data (such as the dimension of a secant variety) can be described in terms of residual intersections in the sense of Artin and Nagata [2], and the purpose of
this paper is to compute the Hilbert series of such schemes. Here is the definition: let X ⊂ Y ⊂ Pn
be closed subschemes of Pn , let R be the homogeneous coordinate ring of Y , and let IX ⊂ R be
the ideal of X in Y . A scheme Z ⊂ Y is called an s-residual intersection of X in Y if Z is defined
by an ideal of the form IZ = (f1 , . . . , fs ) :R IX , with f1 , . . . , fs homogeneous elements in IX , and
Z is of codimension at least s in Y .
We wish to derive formulas for the Hilbert series of Z in terms of information about X and
the degrees of the polynomials fi . In our previous paper [6] we showed that this is sometimes
possible in principle: under certain hypotheses the Hilbert series of Z does not vary if we change
the polynomials fi , keeping their degrees fixed. In this paper we make this more precise by giving
formulas—under somewhat stronger hypotheses—for the Hilbert series of Z in terms of the degrees
m
of the fi and the Hilbert series of finitely many modules of the form ωR /IX
ωR , where ωR denotes
the canonical module of R.
♦

partially supported by the National Science Foundation.
We are all grateful to MSRI for supporting the commutative algebra years in 2002-03 and
2012-13, where we worked on this paper.
AMS 2010 Subject Classification: Primary, 13D40, 13C40; Secondary, 13H15, 13M06, 14C17,
14N15
♥

1

For example, suppose that Y = Pn and X is locally a complete intersection (for instance,
smooth). If f1 . . . , fs are homogeneous elements of degree d of I = IX such that R := (f1 , . . . , fs ) : I
has codimension > s then the Hilbert series of the homogeneous coordinate ring of the scheme Z
defined by R differs from that of a complete intersection defined by s forms of degree d by
 
s
X
n+j s
(−1)
tjd [[ωR /I j−g+1 ωR ]](t−1 ) + a polynomial.
j
j=g
The polynomial remainder term is present because we have made assumptions only on the scheme,
and not on the homogeneous coordinate ring. Here the expression [[R/I j−g+1 ]](t−1 ) denotes the
Laurent series obtained by writing [[R/I j−g+1 ]] as a rational function in t, substituting t−1 for t,
and rewriting the result as a Laurent series. Up to a small shift in notation, this is the formula
given in Remark 1.5b (where the case of forms fi of different degrees is also treated.)
In applications, one sometimes needs to know only whether the s-residual intersection Z actually has codimension exactly s in Y ; for example, we will use such information in Section 3 to say
when the secant varieties of certain (possibly singular) surfaces and smooth 3-folds have dimension
less than the expected dimension. For this purpose it is enough to know just one coefficient of
the Hilbert polynomial of Z, that corresponding to the degree of the codimension s component of
Z. More generally, we show how to use partial information about X to compute just the first k
coefficients of the Hilbert polynomial of Z.
Consider the case where Y is Gorenstein and X is Cohen-Macaulay. Suppose, further, that
locally in codimension i < s, the subscheme X ⊂ Y can be defined by i equations, and that, for
j 6 s − g,
j
j+1
depth IX
/IX
> dim X − j.
If Z is any s-residual subscheme of X in Y , then the Hilbert polynomial of Z may be written in
j
terms of the Hilbert polynomials of IX
for j 6 s − g + 1 (the explicit formula is given in Theorem
1.9). Moreover, if X and Y satisfy some of our hypotheses only up to some codimension r, then
the formula gives the first r coefficients of the Hilbert polynomial of Z.
Our formulas are derived in Section 1, which is the technical heart of the paper. To prove them
we need to adapt the arguments of Ulrich [19]. The delicate point is the use in that paper of the
isomorphism R ≃ ωR that holds for a Gorenstein ring. Since our rings are Gorenstein only up to
a certain codimension r, we know only that ωR is a line bundle locally in codimension r, and this
does not suffice to determine its Hilbert series. Thus the module ωR must be brought into play.
For other work along these lines, see Cumming [7].
j
j+1
In case where Y is Gorenstein, the sheaves IX
/IX
themselves play the crucial role in our
2
formulas. If X were locally a complete intersection scheme, then IX /IX
would be a vector bundle
j
j+1
and IX /IX would be its j-th symmetric power, so it is reasonable to hope that for “nice” ideals
I the Hilbert series of the first few conormal modules should determine the rest. We prove a
general theorem of this kind in Section 2, and carry out the reduction in some particular cases. For
instance, if s = codim(X) then the degree of an s-residual intersection scheme Z in Y = Pn may be
Q
calculated immediately from Bézout’s Theorem: deg Z = ( i deg fi ) − deg X. This was extended
to a formula in the case s = codimY X + 1 by Stückrad [18] and to the case s = codimY X + 2 by
2

Huneke and Martin [16]. Our formula gives an answer in general, and we work this out explicitly
for the case s = codimY X + 3.
In Section 3 we apply our results to the study of secant loci. Our general theorems imply
conditions in terms of Chern classes of a smooth embedded three-fold for the degeneracy of the
secant locus in terms of Chern classes and in terms of certain Hilbert coefficients. We also recover
the analogous criteria for surfaces with mild singularities, a case already by Dale [7a] and others.
1. Formulas for the Hilbert series of residual intersections
To deal with rings R that are not equidimensional, we define the true codimension of a prime
ideal p ⊂ R to be dim R − dim R/p. We say that an ideal I satisfies the condition ∗Gs if, for every
prime p in V (I) of true codimension < s, the minimal number of generators of Ip is at most dim Rp
(the usual condition Gs is the same but for codimension instead of true codimension ).
Definition 1.1. Let R be a graded ring and M, N graded R-modules. We say that M and
N are equivalent up to true codimension r, and write M ∼
= N , if there exist graded R-modules
r

W1 , . . . , Wn with W1 = M , Wn = N and homogeneous maps Wi → Wi+1 or Wi+1 → Wi , for
1 6 i 6 n − 1, which are isomorphisms locally in true codimension r. A homogeneous map which
∼
is an isomorphism up to true codimension r will be denoted by −→.
r

Saying that M ∼
= N is of course much stronger than saying that M and N are isomorphic locally
r
at each prime of true codimension 6 r. For example, any two modules M and N that represent
line bundles on a projective variety of dimension r satisfy the latter condition, but M ∼
= N implies
r

that they represent isomorphic line bundles! The need to provide explicit maps that are locally
isomorphisms in some true codimension between modules that are not in fact isomorphic is what
makes the work in this section delicate.
If R is a Noetherian standard graded algebra over a field and M a finitely generated graded
R-module, we will denote the Hilbert series of M by [[M ]]. If M ∼
= N then [[M ]] − [[N ]], written as
r

a rational function, has a pole of order less than dim R − r at 1; we will write this as [[M ]] ≡ [[N ]]
r

and say that these series are r-equivalent. Thus if r = dim R − 1 =: d then [[M ]] ≡ [[N ]] means that
r

the Hilbert polynomials of M and N agree, and in general if r < dim R then [[M ]] ≡ [[N ]] means
r
that the Hilbert polynomials of M and N , written in the form




d+t
d−1+t
ad
+ ad−1
+ ···,
d
t
have the same coefficients of as for s > dim R − 1 − r.
We will also extend the notation ≡ to arbitrary series that are rational functions with no pole
r
outside 1, by the same requirement, as soon as dim R is clear from the context.
The substitution t 7→ t−1 is a well-defined automorphism of the ring Z[t, t−1 , (1 − t)−1 ], since
(1 − t)−1 = −t(1 − t)−1 ∈ Z[t, t−1 , (1 − t)−1 ].
Lemma 1.2. Let R be a positively graded Noetherian algebra over a field k. If for each prime
p of dimension > dim R − r, the ring Rp is Cohen-Macaulay of dimension dim R − dim R/p, then
[[ωR ]](t) ≡ (−1)dim R [[R]](t−1 ).
r

3

Proof. Dualize a free resolution of R over a polynomial ring S, and note that all the homology
codimS (R)
modules other than ExtS
(R, ωS ) are supported in codimension > r. 
We next adapt some results of [6] and [20] to our context.
Suppose that R is a local Cohen-Macaulay ring and I is an ideal of height g. In the rest of this
section we will often use the condition that depth R/I j > dim R/I − j + 1 for 1 6 j 6 s − g. These
conditions are satisfied if I satisfies Gs and if moreover, I has the sliding depth property or, more
restrictively, is strongly Cohen-Macaulay (which means that for every i, the i-th Koszul homology
Hi of a generating set h1 , . . . , hn of I satisfies depth Hi > dim R − n + i or is Cohen-Macaulay,
respectively) ([13, 3.3] and [15, 3.1]). The latter condition always holds if I is a Cohen-Macaulay
almost complete intersection or a Cohen-Macaulay deviation 2 ideal of a Gorenstein ring [3]. It
is also satisfied for any ideal in the linkage class of a complete intersection [14, 1.11]. Standard
examples include perfect ideals of grade 2 ([1] and [9]) and perfect Gorenstein ideals of grade 3 [21].
Lemma 1.3. Let R be a finitely generated positively graded algebra over a factor ring of a local
Gorenstein ring and write ω = ωR . Let I be a homogeneous ideal of height g, let f1 , . . . , fs be forms
contained in I of degrees d1 , . . . , ds , write Ai := (f1 , . . . , fi ), A := As , and Ri = Ai : I. Assume
that ht Ri > i for 1 6 i 6 s and ht I + Ri > i + 1 for 1 6 i 6 s − 1. Further suppose that, locally
off V (A), the elements f1 , . . . , fs form a weak regular sequence on R and on ω, and that locally in
true codimension r in R along V (A), the ring R is Gorenstein and depth R/I j > dim R/I − j + 1
for 1 6 j 6 s − g. Then :
∼

(a) (R/Ri−1 )(−di ) −→ Ai /Ai−1 via multiplication by fi for 1 6 i 6 s.
r

·fi

j

(b) 0 → (ωI /ωAi−1 I j−1 )(−di ) −→ ωI j+1 /ωAi−1 I j −→ ωI j+1 /ωAi I j → 0 is a complex that
is exact locally in true codimension r for 1 6 i 6 s and min{1, i − g} 6 j 6 s − g.
(c) ExtiR (R/Ri , ω) ∼
= (ωI i−g+1 /ωAi I i−g )(d1 + · · · + di ) for 0 6 i 6 s, if locally in true
r

codimension r in R along V (A), depth R/I j > dim R/I − j + 1 for 1 6 j 6 s − g + 1.
Proof. Adjoining a variable to R and to I and localizing, we may suppose that grade I > 0.
Furthermore, our assumptions imply that I is Gs and satisflies the Artin-Nagata condition ANs−1
locally in true codimension r; see [20, 2.9(a)]. Likewise, in the setting of (c), ANs holds locally in
true codimension r.
Part (a) holds along V (A) by [20, 1.7(g)], and off V (A) because f1 , . . . , fi form a weak regular
sequence. Moreover, the sequence of (b) is obviously a complex and it is exact in true codimension
r by [20, 2.7(a)].
For the proof of (c), we induct on i. For i = 0, our assertion is clear since grade I > 0 and
therefore R/R0 = R. Assuming that the assertion holds for Ri = R/Ri for some i, 0 6 i 6 s − 1,
we are going to prove our claim for Ri+1 = R/Ri+1 . To this end we may suppose r > i + 1.
We first wish to prove that
(1)

i
i
∼
Exti+1
R (Ri /(fi+1 Ri : IRi ), ω) = [I ExtR (Ri , ω)/fi+1 ExtR (Ri , ω)](di+1 ).
r

Using the exact sequence
.fi+1

0 → Ri /(0 :Ri fi+1 Ri )(−di+1 ) −→ Ri −→ Ri /fi+1 Ri → 0
4

we obtain a long exact sequence
.fi+1

i+1
· · · ExtiR (Ri , ω) −→ ExtiR (Ri /(0 :Ri fi+1 Ri ), ω)(di+1 ) → Exti+1
R (Ri /fi+1 Ri , ω) → ExtR (Ri , ω) · · ·

Since the support in R of (0 :Ri fi+1 ) has true codimension > r + 1 > i by part (a), we have
∼
∼
ExtiR (Ri /(0 :Ri fi+1 Ri ), ω) −→ ExtiR (Ri , ω) via the natural map. Furthermore Exti+1
R (Ri , ω) = 0;
r

r

as locally up to true codimension r on V (A), Ri is Cohen-Macaulay of true codimension i by
[20, 1.7(a)], whereas locally up to true codimension r off V (A), Ri is defined by the weak regular
sequence f1 , . . . , fi and hence has projective dimension at most i. Therefore



ExtiR (Ri , ω)/fi+1 ExtiR (Ri , ω) (di+1 ) ∼
= E := Exti+1
R (Ri /fi+1 Ri , ω).
r

Hence, to prove (1), it suffices to show that

i+1
∼
I Exti+1
R (Ri /fi+1 Ri , ω) = ExtR (Ri /(fi+1 Ri : IRi ), ω).
r

The map Ri /fi+1 Ri → Ri /(fi+1 Ri :Ri IRi ) induces a map
i+1
φ : Exti+1
R (Ri /(fi+1 Ri : IRi ), ω) → ExtR (Ri /fi+1 Ri , ω).

We prove that locally in true codimension r in R, the map φ is injective, and its image coincides
with I E, which gives
∼
∼
im φ −→ im φ + I E ←− I E.
r

r

This is trivial locally off V (A) because on this locus I = R and fi+1 Ri : IRi = fi+1 Ri . Therefore,
we may localize to assume that R is a local ring of dimension at most r and A 6= R. Of course we
may suppose Ri 6= 0. In this case R is Gorenstein, Ri is Cohen-Macaulay of codimension i, and
fi+1 is a non zerodivisor on Ri by [20, 1.7(f)]. Let S = Ri /fi+1 Ri .
The natural equivalence of functors Exti+1
R (—, ω) ≃ HomS (—, ωS ) together with the exact
sequence
0 → 0 :S IS −→ S −→ S/0 :S IS −→ 0
yield a commutative diagram with an exact row
Exti+1
R (Ri /(fi+1 Ri : IRi ), ω)

φ

≃

0


/ HomS (S/0 :S IS, ωS )

/E
≃

/ ω S

ψ

/ HomS (0 :S IS, ωS )

/0

The last map is surjective because S/(0 :S IS) = Ri+1 by [20,1.7(f)] and Ri+1 is a maximal CohenMacaulay S-module. Now φ is injective and the desired equality im φ = I E follows once we have
shown that im ψ = IωS . For this it suffices to prove
(2)

coker ψ ≃ ωS /IωS ;
5

for then IωS ⊂ im ψ and we have the natural epimorphism of isomorphic modules ωS /IωS →
coker ψ, which is necessarily an isomorphism. We first argue that ωS /IωS is a maximal CohenMacaulay S-module. Indeed, [20, 2.7(c)] gives Ri ∩ I i−g+2 = Ai I i−g+1 , which implies
Ai I i−g ∩ I i−g+2 = Ai I i−g+1 .

(3)

Hence by our induction hypothesis,
IωS ≃ I i−g+2 /(Ai I i−g ∩ I i−g+2 + fi+1 I i−g+1 ) = I i−g+2 /Ji+1 I i−g+1 .
But the latter is indeed a maximal Cohen-Macaulay S-module according [20, 2.7(b)]. Thus
ωS /IωS ≃ HomS (HomS (ωS /IωS , ωS ), ωS ) ≃ HomS (HomS (S/IS, S), ωS ) ≃ HomS (0 :S IS, ωS ).
This completes the proof of (2), and hence of (1).
Now
IExtiR (Ri , ω)/fi+1 ExtiR (Ri , ω) ∼
= (ωI i−g+2 /(ωAi I i−g ∩ ωI i−g+2 + ωfi+1 I i−g+1 ))(d1 + · · · + di )
r

by our induction hypothesis, and using (3) one sees that

IExtiR (Ri , ω)/fi+1 ExtiR (Ri , ω) ∼
= (ωI i−g+2 /ωAi+1 I i−g+1 )(d1 + · · · + di ).

(4)

r

∼

On the other hand, Ri+1 −→ Ri /(fi+1 Ri : IRi ) according to [20, 1.7(f)], and hence
r

i+1
∼
Exti+1
R (Ri+1 , ω) = ExtR (Ri /(fi+1 Ri : IRi ), ω).

(5)

r

Now combining (5), (1), (4) concludes the proof of part (c).



We write σm (t1 , . . . , ts ) for the m-th elementary symmetric function.
Theorem 1.4. Let R be a standard graded Noetherian algebra over a field. Write n = dim R
and ω = ωR , and let I be a homogeneous ideal of height g satisfying ∗Gs . Let f1 , . . . , fs be forms
Qs
contained in I of degrees d1 , . . . , ds , write ∆s := i=1 (1 − tdi ), A = (f1 , . . . , fs ), R = A : I, and
assume that ht R > s. For each prime of true codimension 6 r suppose:
• If p ∈
/ V (A), then the elements f1 , . . . , fs form a weak regular sequence on Rp and on ωp .
• If p ∈ V (A), then the ring Rp is Gorenstein of dimension equal to the true codimension of p
and depth Rp /Ipj > dim Rp /Ip − j + 1 for 1 6 j 6 s − g.
(a)
n−g

[[R/A]](t) ≡ ∆s [[R]](t) − (−1)
r

s−g
X
(−1)j σg+j (td1 , . . . , tds )[[ω/I j ω]](t−1 ).
j=1

6

(b) If furthermore, locally in true codimension r in R along V (A), depth R/I s−g+1 > dim R/I −
s + g, then
n−g

[[R/R]](t) ≡ ∆s [[R]](t) − (−1)
r

s−g+1
X

(−1)j−1 σg+j−1 (td1 , . . . , tds )[[ω/I j ω]](t−1 ).

j=1

Proof. For 0 6 i 6 s, write Ai = (f1 , . . . , fi ), Ri = Ai : I. Applying repeatedly a general
position argument (see [6, 2.5]), we may assume that ht Ri > i and ht I +Ri > i+1 for 0 6 i 6 s−1.
We first notice that for 0 6 i 6 s and i − g 6 j 6 s − g,
[[ωAi I j ]] ≡
r

i
X

(−1)ℓ+1 σℓ (td1 , . . . , tdi )[[ωI j−ℓ+1 ]],

ℓ=1

which can be easily deduced from Lemma 1.3(b) using induction on i.
Now let 0 6 i 6 s − 1 for (a), or 0 6 i 6 s for (b), respectively. Then by Lemma 1.3(c),
[[ExtiR (R/Ri , ω)]](t) ≡ t−(d1 +···+di ) ([[ωI i−g+1 ]] − [[ωAi I i−g ]])(t)
r

(1)
≡t

−(d1 +···+di )

r

i
X
(−1)ℓ σℓ (td1 , . . . , tdi )[[ωI i−g−ℓ+1 ]](t).
ℓ=0

Locally in true codimension r in R, R/Ri is either zero or Cohen-Macaulay of codimension i
by [20, 2.9 and 1.7(a)]. Therefore
[[ExtiR (R/Ri , ω)]](t) ≡ (−1)n−i [[R/Ri ]](t−1 ),
r

as can be easily seen by dualizing a homogeneous finite free resolution of R/Ri over a polynomial
ring and using Lemma 1.2. Now by Lemma 1.3(c) and (1),
[[R/Ri ]](t) ≡ (−1)n−i [[ExtiR (R/Ri , ω)]](t−1 )
r

≡ (−1)n−i td1 +···+di
r

i
X
(−1)ℓ σℓ (t−d1 , . . . , t−di )[[ωI i−g−ℓ+1 ]](t−1 )
ℓ=0

= (−1)n−i

i
X

(−1)ℓ σi−ℓ (td1 , . . . , tdi )[[ωI i−g−ℓ+1 ]](t−1 ).

ℓ=0

Therefore
(2)

n−g

[[R/Ri ]](t) ≡ (−1)
r

i−g+1
X

(−1)j+1 σg+j−1 (td1 , . . . , tdi )[[ωI j ]](t−1 ).

j=−g+1

Now part (b) follows since
∆i [[R]](t) ≡ ∆i (−1)n [[ω]](t−1 ) = (−1)n−i
r

i
X

(−1)ℓ σi−ℓ (td1 , . . . , tdi )[[ω]](t−1 )

ℓ=0

n−g

= (−1)

i−g
X

j=−g

7

(−1)j σg+j (td1 , . . . , tdi )[[ω]](t−1 ).

To see (a) notice that by Lemma 1.3(a),
[[R/Ai ]](t) = [[R/Ai−1 ]](t) − tdi [[R/Ri−1 ]](t)
for 1 6 i 6 s. Now by induction on i using (2), one shows that
i−g
X

n−g

[[R/Ai ]](t) ≡ (−1)
r

(−1)j σg+j (td1 , . . . , tdi )[[ωI j ]](t−1 ),

j=−g

from which (a) can be easily deduced.



Remark 1.5. If in Theorem 1.4, R is a polynomial ring in n variables, then the formulas of
that theorem take the following form:
(a)

−n

[[R/A]](t) ≡ ∆s [[R]](t) − (−t)
r

s−g
X
(−1)g+j σg+j (t)[[R/I j ]](t−1 );
j=1

s−g+1

(b)

X

−n

[[R/R]](t) ≡ ∆s [[R]](t) − (−t)
r

(−1)g+j−1 σg+j−1 (t)[[R/I j ]](t−1 ).

j=1

Lemma 1.6. Write ∆s (t) = (1 − t)s

P

k>0 ck (d1 , . . . , ds )(1

X

k

ck (d1 , . . . , ds ) = (−1)

i1 >1,...,is >1
i1 +···+is =k+s

− t)k . Then

s  
Y
dj

j=1

ij

.

Q
Pdj −1 ℓ
t and notice that ∆s (t) = (1 − t)s sj=1 Pj (t).
Proof. Write Pj (t) = ℓ=0


Pdj −1
(m)
ℓ
dj
m! m
= m! m+1
. Hence
Now Pj (1) = ℓ=0
s
Y

j=1

Pj

(k)

X

(1) =

m1 >0,...,ms >0
m1 +···+ms =k

= k!

X

s
Y
k!
(m )
P j (1)
m1 ! · · · ms ! j=1 j

m1 >0,...,ms >0
m1 +···+ms =k

This yields our formula since ck (d1 , . . . , ds ) =

(−1)k
k!

s 
Y

j=1

Q
s


dj
.
mj + 1

j=1 Pj

(k)

(1).



Pm
.
Lemma 1.7. Let P be a numerical polynomial written in the form P (t) = i=0 (−1)i ei t+m−i
m−i

Pm
t+m−i
i
For an integer d define the polynomial Q(t) = P (−t + d), and write Q(t) = i=0 (−1) hi m−i .
Then


i
X
k d+m+1−k
m
(−1)
hi = (−1)
ek .
i−k
k=0

8

Proof. We first notice that for integers r and n > 0, one has the following identities of
numerical polynomials :
(3)



−t + n
n

(4)



t+r+n
n



n

= (−1)



=




t−1
,
n



n 
X
r−1+ℓ t+n−ℓ
ℓ

ℓ=0

n−ℓ

,

where the first is obvious and the second can be easily proved by induction on n.
Now
m
X




−t + d + m − k
m−k
k=0


m
X
t−d−1
m
ek
by (3)
= (−1)
m−k
k=0


m
X
t + (−d − 1 − m + k) + (m − k)
m
ek
= (−1)
m−k
k=0
m
m−k
X
X −d − 1 − m + k − 1 + ℓt + m − k − ℓ
ek
= (−1)m
ℓ
m−k−ℓ
k=0
ℓ=0
!



i 
m
X
X
−d − m − 2 + i
t+m−i
m
= (−1)
ek
,
i−k
m−i
i=0

Q(t) =

(−1)k ek

by (4)

k=0

where

−d−m−2+i
i−k



= (−1)i+k

d+m+1−k
i−k



by (3).



Recall that the Hilbert series [[M ]] of a finitely generated graded module M over a homogeneous
ring over a field is element of the ring Z[t, t−1 , (1−t)−1 ] ⊂ Z[[t]][t−1 ]. In general, any S ∈ Z[t, t−1 , (1−
t)−1 ] can be written uniquely in the form
S(t) =

D−1
X

(−1)i ei

i=0

1
+F
(1 − t)D−i

where ei ∈ Z and F ∈ Z[t, t−1 ]. The coefficients ei can be computed as ei (M ) =
P (t) = S(t)(1 − t)D . We call
Q(t) =

D−1
X
i=0

i

(−1) ei



∂iP
i!

(1), where


t+D−1−i
∈ Q[t]
D−1−i

the polynomial associated to S. Its significance is that if we write S =
for i ≫ 0.
9

P

i∈Z ci t

i

, then ci = Q(i)

Remark 1.8. In the case where S(t) = [[M ]](t), we can take D to be any integer > dim M ,
D
and we define eD
i (M ) := ei . If D = dim M , we simply set ei (M ) := ei (M ). Notice that e0 (M ) is
the multiplicity (or degree) of M . The polynomial associated to [[M ]](t) is the Hilbert polynomial
of M , which we denote by [M ](t).

Theorem 1.9. Write eℓ (d1 , . . . , ds ) =

P

i1 >1,...,is >1
i1 +···+is =ℓ+s

(a) With the assumptions of Theorem 1.4(a),
en−s
(I/A) =
i

i
X

Qs

j=1

dj
ij



.

ei−k (d1 , . . . , ds )ek (R) − (−1)s−g es−g+i (R/I)

k=0
s−g

− (−1)

s−g s−g+i
X
X

(−1)

j=1 k=0



X

j+k

16i1 <···<ig+j 6s

di1 + · · · + dig+j + n − g − k
i+s−g−k



ek (ω/I j ω)



ek (ω/I j ω)

for 0 6 i 6 r − s.
(b) With the assumptions of Theorem 1.4(b),
en−s
(R/R) =
i

i
X

ei−k (d1 , . . . , ds )ek (R)

k=0
s−g+1 s−g+i

X

s−g

+ (−1)

j=1

X

X

j+k

(−1)

16i1 <···<ig+j−1 6s

k=0



di1 + · · · + dig+j−1 + n − g − k
i+s−g−k

for 0 6 i 6 r − s.
Proof. We only prove part (a). First write
n−g

(−1)

s−g
X
j=1

n−g−1
j

(−1)

X

j

[ω/I ω](−t + di1 + · · · + dig+j ) =

X

(−1) hℓ



(−1)ℓ h∗ℓ



ℓ

ℓ=0

16i1 <···<ig+j 6s

=

n−s−1
X
ℓ=0

t+n−g−1−ℓ
n−g−1−ℓ
t+n−s−1−ℓ
n−s−1−ℓ

and notice that h∗i = (−1)s−g hi+s−g . Lemma 1.7 gives
hi+s−g

s−g
X
(−1)j
=−
j=1

X

i+s−g 

X

16i1 <···<ig+j 6s k=0


di1 + · · · + dig+j + n − g − k
(−1)k ek (ω/I j ω).
i+s−g−k

Now our assertion follows from Theorem 1.4(a) together with Lemma 1.6.
The proof of part (b) is similar, using Theorem 1.4(b) in place of Theorem 1.4(a).



Remark 1.10. If in Theorem 1.9, R is a polynomial ring in n variables, then the formula in
that theorem takes the following form:
10





en−s
(I/A) = ei (d1 , . . . , ds ) − (−1)s−g es−g+i (R/I)
i
s−g

− (−1)

s−g s−g+i
X
X

j+k

(−1)

j=1 k=0

X

16i1 <···<ig+j 6s



di1 + · · · + dig+j − g − k
i+s−g−k



ek (R/I j )

for 0 6 i 6 r − s;
en−s
(R/R) = ei (d1 , . . . , ds )
i
s−g+1 s−g+i
s−g

+ (−1)

X
j=1

X

j+k

(−1)

X

16i1 <···<ig+j−1 6s

k=0



di1 + · · · + dig+j−1 − g − k
i+s−g−k



ek (R/I j )

for 0 6 i 6 r − s.
Proof. Notice that ω/I j ω ≃ R/I j (−n) and proceed as in the proof of Theorem 1.9.



Corollary 1.11. Let R be a homogeneous ring over a field, write n = dim R, ω = ωR , and
assume that R is Gorenstein locally in true codimension r > s. Let I be a homogeneous ideal
of height g satisfying Gs , let f1 , . . . , fs be forms contained in I of degrees d1 , . . . , ds , write A =
(f1 , . . . , fs ), R = A : I, and assume that locally in true codimension r, depth R/I j > dim R/I −j +1
for 1 6 j 6 s − g.
Then ht R > r + 1 if and only if ht R > s and
(−1)s−g e0 (R)

s
Y

dj = es−g (R/I)

j=1

+

s−g s−g
X
X

j+k

(−1)

j=1 k=0

X

16i1 <···<ig+j 6s




di1 + · · · + dig+j + n − g − k
ek (ω/I j ω).
s−g−k

Proof. One uses Theorem 1.9(a) and [20, 1.7(a)].



2. Hilbert series of powers of ideals and degrees of residual intersections.
2.1 Computing Hilbert series of powers.
Motivated by Remark 1.5, showing the usefulness of the Hilbert series of the powers of an
ideal, we will focus here on the following question: to what extent does the Hilbert series of the
first powers of an ideal determine the Hilbert series of the next powers?
The following Lemma tells us a useful property of a general set of elements of an ideal.
Lemma 2.1. Let R be a standard graded Cohen-Macaulay ring over an infinite field k, let
I a homogeneous ideal, generated by forms of degrees at most d, and let r be an integer with
0 6 r 6 dim R . Further assume that I satisfies Gr+1 and has sliding depth locally in codimension
r.
Given di > d for 1 6 i 6 r + 1], there exists a Zariski dense open subset Ω of the affine k-space
Pr+1
Id1 × · · · × Idr+1 ≃ AN
k (where N =
i=1 dimk Idi ) such that if (f1 , . . . , fr+1 ) ∈ Ω :
11

(a) The ideal (f1 , . . . , fr+1 ) coincides with I locally up to codimension r.
(b) f1 , . . . , fr+1 is a d-sequence locally up to codimension r.
Proof. For part (a) we refer to [2, 1.6 (a)] and [10, 3.9], while (b) follows from [6, 3.6(b)]. 
We now choose some degrees (e.g. di = d for all i) and polynomials fi as above. Part two of
the lemma implies that the approximation complexes corresponding to f1 , . . . , fr+1 , and therefore
their different graded components,
Mp :

0 → Hr+1 ⊗ Sp−r−1 → Hr ⊗ Sp−r → · · · → H0 ⊗ Sp → 0

have homology in positive degrees supported in codimension at least r + 1. Moreover, H0 (Mp )
coincides with I p /I p+1 locally up to codimension r. See [12] for all of these facts.
Recall that in this sequence, Hq stands for the q-th homology module of the Koszul complex
K(f1 , . . . , fr+1 ; R) and Sq is the free R-module generated by monomials of degree q in r+1 variables.
The maps are homogeneous of degree 0 in the graded case, with the usual weights on the Koszul
complex and similarely the weight of si1 · · · siq ∈ Sq is deg(fi1 ) + · · · + deg(fiq ).
Therfore we have the following equalities :
(1)p

p

[[I /I

p+1

]](t) ≡
r

p
X

(−1)i sp−i (td1 , . . . , tdr+1 )[[Hi ]](t)

i=0

for every p > 0, where sj stands for the sum of all the monomials of degree j in r + 1 variables
(complete symmetric functions). These express the Hilbert series of the modules H0 , . . . , Hp in
terms of the ones of R/I, . . . , I p /I p+1 , and vice versa.
If I has height g, then Hq = 0 for q > r + 1 − g. We therefore immediately see that the
Hilbert series of all the modules I p /I p+1 are determined, up to r-equivalence, by the knowledge of
the Hilbert series of I p /I p+1 for 0 6 p 6 r + 1 − g, up to r-equivalence.
We now assume that, in addition, R is Gorenstein with a-invariant a := a(R) and is strongly
Cohen-Macaulay locally in codimension r. In this case we can use the self-duality of the homology
of the Koszul complex to see that only half of the information about the Koszul homology is needed.
Indeed, the structure of graded alternating algebra on the homology of the Koszul complex gives a
graded map of degree 0,
Hp −→ HomR/I (Hr+1−g−p , Hr+1−g ),
which is an isomorphism up to codimension r by a theorem of Herzog (see [11, 2.4.1]).
Now we have a collection of graded maps of degree 0 that connect the following modules,
g
HomR/I (Hr+1−g−p , Hr+1−g ) ∼
= HomR/I (Hr+1−g−p , ExtR (R/I, R)[−(d1 + · · · + dr+1 )])
r

∼
= HomR/I (Hr+1−g−p , ωR/I [−a − (d1 + · · · + dr+1 )])
r

∼
= ωHr+1−g−p [a + (d1 + · · · + dr+1 )].
r

From the Cohen-Macaulayness of the modules Hp , locally in codimension at most r, we therefore
have:
(2)p

[[Hp ]](t) ≡ ta+(d1 +···+dr+1 ) (−1)dim R/I [[Hr+1−g−p ]](t−1 ).
r

12

Moreover, the Euler characteristic of the homology of the Koszul complex depends only upon
the degrees d1 , . . . , dr+1 , namely
r+1−g

X

(3)

(−1)p [[Hp ]] = ∆r+1 [[R]] ≡ 0.
r

p=0

We now have put together all the formulas needed to effectively compute what we state in the
next theorem.
Remark that the result of the computation does not depend on the choice of the di ’s. Thus
we may choose di = 0 for all i, the intermediate steps have no meaning (e.g. [[Hp ]] may not have
positive coefficients), but the information that we extract from the computation is the same. Out
of this remark, one may use the following :

(1)p

(2)p

(3)

p

[[I /I

p+1

]](t) ≡
r

p
X

i

(−1)

i=0




r+p−i
[[Hi ]](t),
r

[[Hp ]](t) ≡ ta (−1)dim R/I [[Hr+1−g−p ]](t−1 ),
r

r+1−g
X

(−1)p [[Hp ]] ≡ 0.
r

p=0

Theorem 2.2.
Let R be a homogeneous algebra, I an homogeneous R-ideal, and let us
suppose that, locally in true codimension r, I is licci purely of true codimension g and satisfies


, up to r-equivalence, the Hilbert series
Gr+1 . Given the Hilbert series of I p /I p+1 for 0 6 p 6 r−g
2
of I p /I p+1 can be computed for all p, up to r-equivalence, by the formulas above.
Proof. Let us choose some sufficiently big integers d1 , . . . , dr+1 (one can treat them as unknowns, or take all of them equal to some fixed number or unknown d). Let us put q = r + 1 − g.


First, using (1)p for 0 6 p 6 q−1
, we get the Hilbert series of Hp , for p in the same range,
2
up to true codimension > r terms.
Then, from (2)p for the same p’s, we get the series of Hq , . . . , Hq−[ q−1 ] . Therefore, we get the
2

series of all the Hp ’s (up to r-equivalence) if q is odd ; and all of them but one, namely Hq/2 , if q
is even. In case q is even, we get the series of Hq/2 using (3).
Therefore we know the series of all the modules Hp in every case, and can use (1)p to get the
ones of I p /I p+1 for any p.
Notice that the di ’s appear in every formula, but should disappear at the end !

Example 2.3. If X ⊆ Pn is an equidimensionnal locally complete intersection scheme, and IX
p
p+1
the corresponding ideal sheaf, the Hilbert polynomials of the sheaves IX
/IX
are all determined
 dim X 
by the ones for 0 6 p 6
.
2
Proof. It is the case where r = n and g = n − dim X.
13



Example 2.4. If X ⊆ Pn is an equidimensionnal locally complete intersection threefold,
p
p+1
and IX the corresponding ideal sheaf, the Hilbert polynomial of the sheaves IX
/IX
are all
2
determined by the Hilbert polynomials of X and the one of the conormal bundle IX /IX . Moreover
the coefficients of terms in degrees 3 and 2 in the Hilbert polynomial of the conormal bundle are
determined by those of the Hilbert polynomial for X.
Informally, we have the following picture for the determination of the highest r−g+1 coefficients
of the Hilbert polynomial of the powers of an ideal I of codimension g that is locally complete
intersection up to codimension r :
HP coef.
R/I
I/I 2
I 2 /I 3
I 3 /I 4
I 4 /I 5
..
.

···
···
···
···
···

·

·

g

·

·

·

·

r

·

·

0
0
0
0
0
..
.

0
0
0
0
0
..
.






..
.






..
.






..
.






..
.






..
.






..
.

?
?
?
?
?
..
.

?
?
?
?
?
..
.

···
···
···
···
···

 : needed as input.
 : may be computed from the others.
? : not concerned.
2.2 Hilbert polynomials of powers of an ideal
We will treat the example of an equidimensional locally complete intersection threefold in
projective n-space.
Let us abreviate ei (p) = ei (I p /I p+1 ). Theorem 2.2 asserts that all the coefficients ei (p) are
determined by six of them.
With the help of a computer algebra system, one gets the following formulas.
Formulas 2.5


g+p−1
e0 (p) =
e0 (0),
p




g+p−1
(g + 2p) g + p
e1 (p) = g
e0 (0) +
e1 (0),
p−1
(g + p)
p




g+p−2
g(g + 1) g + p − 1
e0 (0) + (g + 1)
e1 (0)
e2 (p) =
2
p−2
p−2




g+p
(p − 1)g g + p + 1
e2 (0) +
−
e2 (1),
(g + p)
p
p−1




g(g + 1)(g + 2) g + p − 1
(g + 1)(g + 2) g + p − 1
e3 (p) =
e0 (0) −
e1 (0)
6
2
p−3
p−2




g+p
p(p − 1)(g + 2) g + p + 1
−
e2 (0) + (g + 2)
e2 (1)
(g + p)
p−2
p−2




(g + 2p) g + p
(p − 1)(g + 2p) g + p + 1
e3 (0) +
e3 (1).
+
(g + p)
(g + 2) p − 1
p
14

Notice that these formulas remains valid for the case of any scheme X ⊆ Pn that is locally a
complete intersection in dimension > dim X − 3.
As a first guess, one may hope that, at least with some strong hypotheses on X, the Hilbert
polynomial of the powers are determined by the Hilbert polynomial of X. This is even not true for
complete intersections, due to the following computation.
Suppose that X is a global complete intersection of codimension g and denote by σ1 , . . . , σg
the symmetric functions on the degrees of the defining equations of X. Setting
α1 = σ1 − g,

α2 = σ12 − 2σ2 − g,

α3 = σ13 − 3σ1 σ2 + 3σ3 − g,

one gets,
e0 (0) = σg ,
σg
e1 (0) =
α1 ,
2
σg
(3α21 − 6α1 + α2 ),
e2 (0) =
24
σg 3
(α − 6α21 + 8α1 + α1 α2 − 2α2 ).
e3 (0) =
48 1
Notice that these formulas imply that e3 (0), the fourth coefficient of the Hilbert polynomial, is a
rational function of the first three :
Remark 2.6 If ei denotes the i-th coefficient of the Hilbert polynomial of a global complete
intersection of dimension at least 3 in a projective space, then
e3 = e2 −

e1 e2
e1
e2
e3
+
− 1 + 12 .
e0
6
2e0
3e0

Now, using the expansion
td1 + · · · + tdg = g + (g + α1 )(t − 1) + (α2 − α1 )

(t − 1)2
(t − 1)3
+ (α3 − 3α2 + 2α1 )
+ ···,
2
6

one can compute the coefficients ei (1) for 1 6 i 6 3. The only place where α3 appears is in
σ
e3 (1) = 6g α3 + · · ·.
If one chooses two collections of degrees such that the first, second and 4-th symmetric functions are equal but the third one differs, one gets an example of two complete intersections of
dimesion three in P7 having the same Hilbert polynomials (but distinct Hilbert functions !) such
that the constant term of the Hilbert polynomials of their conormal bundle are distinct. Such examples were given to us by Benjamin de Weger, the two “smallest” ones are (1,6,7,22)-(2,2,11,21)
and (2,6,7,15)-(3,3,10,14). He also gave an infinite collection of them, and Noam Elkies gave a
rational parametrization of all the solutions (after a linear change of coordinates the solutions are
parametrized by a quadric in P5 ).
15

2.3 The degree of the residual
Let us suppose that the projective scheme X of dimension D is locally a complete intersection
in codimension at most s, and use our formulas and the above computations to derive the degree
of the codimension s part of an s-residual intersection.
We will treat the cases where δ = s − g is less or equal to three. As before σi stands for the i-th
Pp
symmetric function on d1 , . . . , ds . We will also set, to simplify some formulas, e′i (p) = j=0 ei (j),
p
which is the i-th coefficient of the Hilbert polynomial R/IX
.
• If δ = 0, eD
0 (R/R) = σs − e0 (0) (Bézout).
• If δ = 1, e0D−1 (R/R) = σs − (σ1 − g)e0 (0) + 2e1 (0), as proved by Stückrad in [18].
• If δ = 2, using the Taylor expansion of σ1 (td1 , . . . , tds ),
(t − 1)2
2
(t − 1)3
+ ···,
+ (σ13 − 3σ12 + 2σ1 − 3σ2 (σ1 − 2) + 3σ3 )
6

σ1 (td1 , . . . , tds ) = s + σ1 (t − 1) + (σ12 − σ1 − 2σ2 )

one recovers the formula given by Huneke and Martin in [16],
e0D−2 (R/R)






g+1
= σs − σ3 − gσ2 +
e0 (0) + (2σ1 − (g + 1))e1 (0) + (g + 1)e2 (0) − e′2 (1).
1

• If δ = 3, using the following Taylor expansion,
s(s − 1)
(t − 1)2
+ (s − 1)σ1 (t − 1) + ((s − 1)(σ12 − σ1 − 2σ2 ) + 2σ2 )
2
2
(t − 1)3
+ ···
+ ((s − 1)(σ13 − 3σ12 + 2σ1 ) − 3(s − 2)σ2 (σ1 − 2) + 3(s − 4)σ3 )
6

σ2 (td1 , . . . , tds ) =

one gets from Theorem 1.4,
e0D−3 (R/R)








g+1
g+2
= σs − σ3 − gσ2 +
σ1 −
e0 (0) − (2σ2 − (g + 1)σ1 )e1 (0)
2
3

+ ((g + 1)σ1 − (g + 2)(g + 3))e2 (0) − (σ1 − (g + 2))e′2 (1) + 2(g + 1)e3 (0) + 2e′3 (1).

3. Applications to secant varieties
Theorem 3.1. Let k be a perfect field, X ⊂ PN
k an eqidimensional subscheme of dimension
two with at most isolated licci Gorenstein singularities, A its homogeneous coordinate ring, ω := ωA
the canonical module, and Ω := ΩA/k the module of differentials.
(a) One has
e0 (A)2 + 14e0 (A) − 16e1 (A) + 4e2 (A) > e2 (ω ⊗A ω) + e2 (Ω).
16

(b) In case the singularities of X have embedding codimension at most two, then equality holds
in (a) if and only if the secant variety of X is deficient, i.e.
dim Sec(X) < 5.
Proof. We may assume that k is infinite. We define the ring R and the R-ideal I via the exact
sequence
mult
0 −→ I −→ R := A ⊗k A −→ A −→ 0.
Recall that Ω ≃ I/I 2 . The ring R is a standard graded k-algebra of dimension 6 with ωR = ω ⊗k ω
and codim N G(R) > 2. The ideal I has height 3, and is generated by linear forms. Moreover, I
satisfies G5 and, in the setting of (b), even G6 . Indeed, for any p ∈ V (I), one has µ(Ip ) = µ(Ωp ) 6
ecodim(Ap ) + dim A 6 dim Rp if dim Rp 6 4 or, in the setting of (b), dim Rp 6 5. In addition, for
every p ∈ V (I) with dim Rp 6 5, we have depth (I/I 2 )p = depth Ωp > dim Ap − 1. To see this, we
write Ap ≃ S/B with S a regular local ring and B a licci Gorenstein ideal. This is possible because
Ap is licci and Gorenstein. By [4, 6.2.11 and 6.2.12] the module B/B2 is Cohen-Macaulay. Thus
the natural complex
0 → B/B2 → ΩS/k ⊗S Ap ≃ ⊕Ap → ΩAp /k ≃ Ωp → 0
is exact and shows that depth Ωp > dim Ap − 1.
Now let A be an R-ideal generated by 5 general linear forms in I. Notice that the five general
linear forms in I that generate A are a weak R-regular sequence off V (I), hence off V (A). Since
codim N G(R) > 0 and codim N G(R) ∩ V (I) > 5 it follows that codim N G(R) ∩ V (A) > 5. By [2,
1.4] one has ht (A : I) > 5 as I satisfies G5 , and ht (I + (A : I)) > 6 in (b) as I is G6 . Thus in the
setting of (b), [19] shows that ht (A : I) > 6 if and only if the analytic spread ℓ(I) is at most 5.
On the other hand dim Sec(X) = ℓ(I) − 1 according to [17]. Hence dim Sec(X) < 5 if and only if
e10 (I/A) = 0.
We now apply Theorem 1.9(a) with r = s = 5 and g = 3. The theorem yields
(1)

e10 (I/A) = e0 (R) − e2 (A) −

P2

j=1

P2

j+k 5
k=0 (−1)
j+3



6+j−k
2−k


ek (ωR /I j ωR ).

Thus the present theorem follows once we have shown that the right hand side of (1) equals
(2)

e0 (A)2 + 14e0 (A) − 16e1 (A) + 4e2 (A) − e2 (ω ⊗A ω) − e2 (Ω).
From [5, IX 2.1] one obtains the isomorphisms of R-modules
ωR /IωR ∼
= ωR ⊗R R/I ∼
= (ω ⊗k ω) ⊗A⊗k A A ∼
= ω ⊗A (ω ⊗A A) ∼
= ω ⊗A ω

and, since codim N G(R) ∩ V (I) > 5,
IωR /I 2 ωR ∼
= (ω ⊗k ω) ⊗A⊗k A Ω ∼
= ωR ⊗R I/I 2 ∼
= ω ⊗A (ω ⊗A Ω) ∼
= (ω ⊗A ω) ⊗A Ω.
5

Therefore the right hand side of (1) becomes
(3)

e0 (A)2 − 7e0 (A) − e2 (A) − 23e1 (ω ⊗2 ) + 4e2 (ω ⊗2 ) + 7e1 (ω ⊗2 ⊗ Ω) − e2 (ω ⊗2 ⊗ Ω).
17

Here and in what follows tensor products are taken over the ring A.
We are now going to express the Hilbert coefficients e1 (ω ⊗2 ), e1 (ω ⊗2 ⊗ Ω) and e2 (ω ⊗2 ⊗ Ω) in
terms of the Hilbert coefficients of A, e2 (ω ⊗2 ) and e2 (Ω). First notice that for any finitely generated
graded A-module M ,
(4)

ei (M (−1)) = ei (M ) + ei−1 (M ).

Hence, by Lemma 1.7 and Remark 1.8,
(5)

e1 (ω) = 3e0 (A) − e1 (A) and

e2 (ω) = 3e0 (A) − 2e1 (A) + e2 (A).

Since ω is free of rank 1 locally in codimension 1, there is a complex of graded A-modules
(6)

0 −→ Z −→ A(−a)2 −→ ω −→ 0

for some a ≫ 0, that is exact in codimension 1. It induces complexes
(7)

0 −→ Z ⊗ A(−ja + a)j −→ A(−ja)j+1 −→ Symj (ω) ∼
= ω ⊗j −→ 0
1

that are likewise exact locally in codimension 1. Now (6) yields e1 (Z) = 2e1 (A(−a)) − e1 (ω) and
then (4), (5) and (7) show that for every j > 0,
(8)

e1 (ω ⊗j ) = 3je0 (A) − (2j − 1)e1 (A).

Now, we treat the first Hilbert coefficient of ω ⊗2 ⊗ Ω. Since ω is free of rank 1 locally in
∼
codimension 2, we also have ω ∗ −→ HomA (ω ⊗2 , ω), which by Lemma 1.7 and Remark 1.8 gives
2

(9)

e1 (ω ∗ ) = 3e0 (ω ⊗2 ) − e1 (ω ⊗2 ) and e2 (ω ∗ ) = 3e0 (ω ⊗2 ) − 2e1 (ω ⊗2 ) + e2 (ω ⊗2 ).

Furthermore,
(10)

∼

∼

2

2

ω ⊗2 ⊗ ω ∗ −→ HomA (ω, ω ⊗2 ) ←− ω.
As Ω is free of rank 3 locally in codimension 1, there is an exact sequence of graded A-modules
0 −→ A(−1)2 −→ Ω −→ C −→ 0

where C is free of rank 1 locally in codimension 1. Thus
C⊗
which gives a complex

2
^

∼

2

(A(−1) ) −→
1

3
^

∼

Ω −→ ω,
1

0 −→ A(−1)2 −→ Ω −→ ω(2) −→ 0
that is exact in codimension 1. Tensoring with ω ⊗2 we obtain
0 −→ ω ⊗2 (−1)2 −→ ω ⊗2 ⊗ Ω −→ ω ⊗3 (2) −→ 0.
18

Since this complex is exact in codimension 1, (4) and (8) imply that
(13)

e1 (ω ⊗2 ⊗ Ω) = 21e0 (A) − 11e1 (A).

Next, we turn to the second Hilbert coefficient of ω ⊗2 ⊗ Ω. Write —∗ := HomA (—, A) and
e := N − 2. Increasing N if needed, we may assume e > 2. We define a graded A-module E via
the exact sequence
(14)

0 −→ E −→ A(−1)e+3 −→ Ω −→ 0.

Notice that E has rank e, and is free locally in codimension 1 and Cohen-Macaulay locally in
codimension 2. Futhermore (14) gives
(15)

V3
Ve
∼
∼
( E)∗∗ −→ ( Ω)∗ (−e − 3) ←− ω ∗ (−e − 3).
2

2

As E ∗ is free locally in codimension 1 and rk E ∗ − 1 > 1, there exists a homogeneous element
f ∈ E ∗ of degree c ≫ 0 whose order ideal (E ∗ )∗ (f ) has height at least 2 (see [8]). However,
the ideals E ∗∗ (f ) and J := f (E) coincide locally in codimension 1 since E is reflexive locally in
codimension 1. Hence ht J = ht E ∗∗ (f ) > 2. The map f induces an exact sequence of graded
A-modules
0 −→ Ee−1 −→ Ee := E −→ Je (ce ) := J(c) −→ 0.
Repeating this procedure, if needed, we obtain a filtration
(16)

E1 ⊂ E2 ⊂ · · · ⊂ Ee

with

Ei /Ei−1 ∼
= Ji (ci ),

where Ji are homogeneous A-ideals of height at least 2. Thus Ei has rank i, is free in codimension
1 and Cohen-Macaulay in codimension 2, and
i−1
^

(

∼

i−1
^

Ei−1 )∗∗ (ci ) ←− (
2

i
^
∼
Ei−1 )∗∗ ⊗ (Ji (ci ))∗∗ −→ ( Ei )∗∗ .
2

Since E1 is reflexive locally in codimension 2, it follows that

e
e
X
^
∼
E1 −→ E1∗∗ ∼
ci ),
= ( E)∗∗ (−
2

2

i=2

which together with (15) implies
(17)

Pe
E1 ∼
= ω ∗ (−e − 3 − i=2 ci ).
2

The exact sequence

0 −→ Ji (ci ) −→ A(ci ) −→ (A/Ji )(ci ) −→ 0
yields a complex
0 −→ ω ⊗2 ⊗ Ji (ci ) −→ ω ⊗2 (ci ) −→ (ω ⊗2 /ω ⊗2 Ji )(ci ) −→ 0
19

that is exact in codimension 2. Since ht Ji > 2 and ω ⊗2 is free of rank 1 locally in codimension 2,
it follows that e10 ((A/Ji )(ci )) = e10 ((ω ⊗2 /ω ⊗2 Ji )(ci )). We conclude
(18)

e2 (Ji (ci )) − e2 (ω ⊗2 ⊗ Ji (ci )) = e2 (A(ci )) − e2 (ω ⊗2 (ci )).
Tensoring (14) and (16) with ω ⊗2 and using (18) and (17) we obtain
e2 (ω ⊗2 ⊗ Ω) − e2 (Ω) = e2 (ω ⊗2 (−1)e+3 ) − e2 (A(−1)e+3 ) +

e
X
(e2 (A(ci )) − e2 (ω ⊗2 (ci )))
i=2

(19)
+ e2 (ω ∗ (−e − 3 −

e
X

ci )) − e2 (ω 2 ⊗ ω ∗ (−e − 3 −

i=2

e
X

ci )).

i=2

Combining (19) with (4), (8), (9), (10), (5), we deduce
(20)

e2 (ω ⊗2 ⊗ Ω) = −12e0 (A) + 8e1 (A) − 5e2 (A) + 5e2 (ω ⊗2 ) + e2 (Ω).

Substituting (8), (13), (20) into (3), we conclude that (3) and (2) coincide.



Corollary 3.2. Let k be a perfect field, X ⊂ P4k an equidimensional subscheme of dimension
two with at most isolated Gorenstein singularities and A its homogeneous coordinate ring. One
has
e0 (A)2 + 14e0 (A) − 16e1 (A) + 4e2 (A) = e2 (ωA ⊗A ωA ) + e2 (ΩA/k ).
Remark. The inequality in Theorem 3.1 can be replaced by
∗
e0 (A)2 + 5e0 (A) − 10e1 (A) + 4e2 (A) > e2 (ωA
) + e2 (ΩA/k ).

Proof. Use equalities (9) and (8) in the proof of Theorem 3.1.



Corollary 3.3. Let k be a field, X ⊂ PN
k an equidimensional smooth subscheme of dimension
two, H the class of the hyperplane section, K the canonical divisor, and c2 the second Chern class
of the cotangent bundle of X. One has
(H 2 )2 > 10H 2 + 5HK + K 2 − c2 ,
and equality holds if and only if dim Sec(X) < 5.
Proof. The Riemannn-Roch theorem in dimension two gives
χ(X, E) =

1
[c1 (E)2 − 2c2 (E) − c1 (E)KX ] + rk Eχ(X, OX ).
2

If D is a divisor this equality specializes to
1 2 2
1
1
H n + (DH − KH)n + (D 2 − KD) + χ(X, OX )
2 
2
2



n+1
n
+
2
1
2
2
=H
− (3H + KH − 2DH)
1
2
2
1 2
+ (H + KH − 2DH − KD + D 2 ) + χ(X, OX ).
2

χ(D + nH) =

20

For a rank two vector bundle E the formula reads
1
χ(E + nH) = H 2 n2 + (c1 (E)H − KH)n + (c1 (E)2 − Kc1 (E)) − c2 (E) + 2χ(X, OX )
2




n
+
2
n+1
2
2
= 2H
− (3H + KH − c1 (E)H)
2
1
1
1
+ H 2 + KH − c1 (E)H − Kc1 (E) + c1 (E)2 − c2 (E) + 2χ(X, OX ).
2
2
Taking D = 0 we obtain
e0 (OX ) = H 2
3
e1 (OX ) = H 2 +
2
1
e2 (OX ) = H 2 +
2
and for D = 2K

⊗2
e0 (ωX
) = H2
3
⊗2
e1 (ωX
) = H2 −
2
1
⊗2
e2 (ωX
) = H2 −
2

1
KH
2
1
KH + χ(X, OX ),
2

3
KH
2
3
KH + K 2 + χ(X, OX ).
2

Finally, taking E = ΩX , the cotangent sheaf of X, and using the fact that c1 (ΩX ) = K we deduce
e0 (ΩX ) = 2H 2
e1 (ΩX ) = 3H 2
e2 (ΩX ) = H 2 − c2 (ΩX ) + 2χ(X, OX ).
Now the assertion of the remark follows from the Theorem since ei (A) = ei (OX ), ei (ω) =
ei (ωX ) and ei (Ω) = ei (ΩX ) + ei (OX ).

Theorem 3.4. Let k be a field, X ⊂ PN
k an equidimensional smooth subscheme of dimension
three, H the class of the hyperplane section, K the canonical divisor, and c2 and c3 the second and
third Chern class of the cotangent bundle of X. One has
(H 3 )2 6 35H 3 − 11H 2 K − 9K 2 H + c2 H − K 3 −

1
1
Kc2 + c3 ,
12
2

and equality holds if and only if dim Sec(X) < 7.
Proof. We use the notation of Theorem 3.1, taking A to be generated by 7 general linear forms
in the ideal I of the diagonal. Recall that dim Sec(X) < 7 if and only if ht(A : I) > 8.
We will apply Theorem 1.9 (a) with r = s = 7 and g = 4. Because X is smooth we have
IωR /I 2 ωR ∼
= ω2 ⊗ Ω
7

I ωR /I ωR ∼
= ω 2 ⊗ S2 Ω.
2

3

7

21

As X is smooth, we can apply the Riemann-Roch formula as in the proof of Corollary 3.3,
to derive the following formulas, which express the Hilbert coefficients used in Theorem 1.9(a) in
terms of the numbers that appear in our desired formula:
e0 (A) = H 3
e1 (A) = 2H 3 − 23 KH 2
1
e2 (A) = 12
(14H 3 + 9KH 2 + K 2 H + c2 H)
1
(4H 3 + 6KH 2 + 2K 2 H + 2c2 H + Kc2 )
e3 (A) = 24
e0 (Ω) = 4H 3
e1 (Ω) = 8H 3 + KH 2
e2 (Ω) = 61 (28H 3 + 9KH 2 + 2K 2 H − 4c2 H)
1
(8H 3 + 6KH 2 + 4K 2 H − 8c2 H + Kc2 − 6c3 )
e3 (Ω) = 12
e0 (ω ⊗2 ) = H 3
e1 (ω ⊗2 ) = 2H 3 − 32 KH 2
1
(14H 3 − 27KH 2 + 13K 2 H + c2 H)
e2 (ω ⊗2 ) = 12
1
e3 (ω ⊗2 ) = 24
(4H 3 − 18KH 2 + 26K 2 H + 2c2 H − 12K 3 − 3Kc2 )
e0 (ω ⊗2 ⊗ Ω) = 4H 3
e1 (ω ⊗2 ⊗ Ω) = 8H 3 − 7KH 2
e2 (ω ⊗2 ⊗ Ω) = 61 (28H 3 − 63KH 2 + 38K 2 H − 4c2 H)
1
e3 (ω ⊗2 ⊗ Ω) = 12
(8H 3 − 42KH 2 + 76K 2 H − 8c2 H − 48K 3 + 17Kc2 − 6c3 )
e0 (ω ⊗2 ⊗ S2 Ω) = 10H 3
e1 (ω ⊗2 ⊗ S2 Ω) = 20H 3 − 19KH 2
e2 (ω ⊗2 ⊗ S2 Ω) = 61 (70H 3 − 171KH 2 + 119K 2 H − 25c2 H)
1
(20H 3 − 114KH 2 + 238K 2 H − 50c2 H − 186K 3 + 125Kc2 − 42c3 )
e3 (ω ⊗2 ⊗ S2 Ω) = 12



Corollary 3.5. Let k be a perfect field, X ⊂ PN
k an equidimensional smooth subscheme of
dimension three, A its homogeneous coordinate ring, ω := ωA the canonical module, and Ω := ΩA/k
the module of differentials. One has
e0 (A)2 + 391e0 (A) − 246e1 (A) + 66e2 (A) + 50e3 (A) > 18e2 (ω ⊗A ω) − 2e3 (Ω) − 2e3 (ω ⊗A ω)
and equality holds if and only if dim Sec(X) < 7.
Proof. Use the formulas given in Theorem 3.4 to express all the necessary Hilbert coefficients
in terms of e0 , . . . , e3 .

Remark 3.6. If H is the class of the hyperplane section, K the canonical divisor, D = H 3
the degree of X, the above inequality is equivalent to:
D 2 > 7(5D + 3KH 2 + K 2 H − c2 (ΩX )H) − 2c2 (ΩX )K + K 3 + c3 (ΩX ).
22

In other words, if C and S are respectively a curve and a surface obtained by taking general linear
sections of X, the formula reads
3
D 2 > 7(5D + 3χC + 12χ(OS ) − 2χS ) − 48χ(OX ) + KX
+ χX .

References
[1] R. Apéry, Sur les courbes de première espèce de l’espace à trois dimensions, C. R. Acad.
Sci. Paris, t. 220, Sér. I, p. 271–272, 1945.
[2] M. Artin and M. Nagata, Residual intersections in Cohen-Macaulay rings, J. Math. Kyoto
Univ. 12 (1972), 307–323.
[3] L. Avramov and J. Herzog, The Koszul algebra of a codimension 2 embedding, Math. Z.
175 (1980), 249–280.
4] R. Buchweitz, Contributions à la théorie des singularités, These d’Etat, Université Paris 7,
1981. Available at https://tspace.library.utoronto.ca/handle/1807/16684.
[5] H. Cartan and S. Eilenberg, Homological Algebra, Princeton University Press, Princeton,
NJ.
[6] M. Chardin, D. Eisenbud, and B. Ulrich Hilbert functions and residually S2 ideals, Compositio 125 (2001), 193–219.
[7] C. Cumming, Residual intersections in Cohen-Macaulay rings. J. Algebra 308 (2007), no.
1, 91–106.
[7a] M. Dale, Severi’s theorem on the Veronese-surface. J. London Math. Soc. 32 (1985)
419–425.
[8] D. Eisenbud and E. G. Evans, Generating modules efficiently: theorems from algebraic
K-theory. J. Algebra (1973), 278–305.
[9] F. Gaeta, Quelques progrès récents dans la classification des variétés algébriques d’un espace
projectif, Deuxième Colloque de Géometrie Algébrique, Liège, 1952.
[10] S. H. Hassanzadeh, Cohen-Macaulay residual intersections and their Castelnuovo-Mumford
regularity. Trans. Amer. Math. Soc. 364 (2012) 6371–6394.
[11] J. Herzog, Komplexe, Auflösungen und Dualität in der lokalen Algebra. Habilitationsschrift (1974).
[12] J. Herzog, A. Simis, and W.V. Vasconcelos, Koszul homology and blowing-up rings, in
Commutative Algebra, eds. S. Greco and G. Valla, Lecture Notes in Pure and Appl. Math. 84,
Marcel Dekker, New York, 1983, 79–169.
[13] J. Herzog, W.V. Vasconcelos, and R. Villarreal, Ideals with sliding depth, Nagoya Math.
J. 99 (1985), 159–172.
23

[14] C. Huneke, Linkage and Koszul homology of ideals, Amer. J. Math. 104 (1982), 1043–
1062.
[15] C. Huneke, Strongly Cohen-Macaulay schemes and residual intersections, Trans. Amer.
Math. Soc. 277 (1983), 739–763.
[16] C. Huneke and H. Martin, Residual Intersection and the Number of Equations Defining
Projective Varieties, Comm. Algebra 23 (1995), no. 6, 2345–2376.
[17] A. Simis and B. Ulrich, On the ideal of an embedded join. J. Algebra 226 (2000), no. 1,
114.
[18] J. Stückrad, On quasi-complete intersections, Arch. Math. 58 (1992), 529–538.
[19] B. Ulrich, Remarks on residual intersections, in Free Resolutions in Commutative Algebra
and Algebraic Geometry, Sundance 1990, eds. D. Eisenbud and C. Huneke, Res. Notes in Math.
2, Jones and Bartlett Publishers, Boston-London, 1992, 133–138.
[20] B. Ulrich, Artin-Nagata properties and reductions of ideals, Contemp. Math. 159 (1994),
373–400.
[21] J. Watanabe, A note on Gorenstein rings of embedding codimension three, Nagoya Math.
J. 50 (1973), 227–232.

Marc Chardin, Institut de Mathématiques, CNRS & Université Pierre et Marie Curie
chardin@math.jussieu.fr
David Eisenbud, Department of Mathematics, University of California, Berkeley
de@msri.org
Bernd Ulrich, Department of Mathematics, Purdue University,
ulrich@math.purdue.edu

24

