arXiv:1601.02907v2 [math.AG] 26 Apr 2016

EXAMPLES OF RANK TWO ACM BUNDLES
ON SMOOTH QUARTIC SURFACES IN P3
GIANFRANCO CASNATI, ROBERTO NOTARI
This paper is dedicated to Ph. Ellia on the occasion of his 60 th birthday.
Abstract. Let F ⊆ P3 be a smooth quartic surface and let OF (h) := OP3 (1) ⊗ OF . In
the present paper we classify locally
 free sheaves E of rank 2 on F such that c1 (E ) =
OF (2h), c2 (E ) = 8 and h1 F, E (th) = 0 for t ∈ Z. We also deal with their stability.

1. Introduction and Notation
We work over an algebraically closed field k of characteristic 0 and P3 will denote the
projective space over k.
Let F ⊆ P3 be a smooth surface and let OF (h) := OP3 (1) ⊗ OF . A vector
 bundle E on
F is called arithmetically Cohen–Macaulay (aCM for short) if h1 F, E(th) = 0 for t ∈ Z.
The property of being aCM is invariant up to shifting degrees. For this reason
 we
restrict our attention to initialized bundles, i.e. bundles E such that h0 F, E(−h) = 0
and h0 F, E 6= 0. Moreover, we are also interested in indecomposable bundles, i.e. bundles
which do not split in a direct sum of bundles of lower rank.
Clearly OF is always initialized, indecomposable and aCM. Moreover, when F = P2 the
line bundle OF is the unique bundle with these properties: this is the so called Horrocks
theorem (see [22] and the references therein).
As a by–product of a more general result of D. Eisenbud and D. Herzog (see [12]) there
is only another surface in P3 endowed with at most a finite number of aCM bundles besides the plane, namely the smooth quadric surface Q. In this case there are only three
indecomposable, initialized aCM bundles on Q and they are all line bundles (OF and the
so–called spinor bundles: see [23] for further details). On the opposite side M. Casanellas
and R. Hartshorne proved in [5] and [6] that a smooth cubic surface is endowed with families of arbitrary dimension of non–isomorphic, indecomposable initialized aCM bundles.
It is thus interesting to better understand indecomposable initialized aCM bundles.
The study of aCM line bundles is trivially strictly related with the study of Pic(F ).
As pointed out above the results for the plane and the smooth quadric are classical. D.
Faenzi completely described the case of a smooth cubic surface in the very first part of
[13]. K. Watanabe made a similar study for the smooth quartic surface (see [25]). More in
general, the existence of an aCM line bundle which has the maximal number of generators
on a surface F is related to the possibility of writing the equation of F as the determinant
of a square matrix with linear entries (see e.g. [9] or [2] and the references therein).
2010 Mathematics Subject Classification. Primary 14J60; Secondary 14J45.
Key words and phrases. Vector bundle, Cohomology.
The authors are members of the GNSAGA group of INdAM and are supported by the framework of
PRIN 2010/11 ‘Geometria delle varietà algebriche’, cofinanced by MIUR.
1

2

GIANFRANCO CASNATI, ROBERTO NOTARI

The next step is to deal with indecomposable, initialized aCM bundles of rank 2. We
already know that this study is meaningful only if deg(F ) ≥ 3: the main result of the
aforementioned paper [13] is the full classification of these bundles when deg(F ) = 3.
When Pic(F ) is generated by OF (h) and E is an indecomposable, initialized aCM bundle
of rank 2 on F with c1 (E) ∼
= OF (ch), then the restriction 3 − deg(F ) ≤ c ≤ deg(F ) − 1
holds: the bound was essentially proved by C. Madonna (see [19] and [7]). The same result
holds also without restriction on Pic(F ), if we consider bundles E with c1 (E) ∼
= OF (ch)
and such that the zero–loci of their general sections have pure codimension 2 (see [7]).
Notice that many other indecomposable, initialized aCM bundles of rank 2 not satisfying
the restriction c1 (E) ∼
= OF (ch) can actually exist on F when OF (h) does not generate
Pic(F ) as the results proved in [13] show.
Nevertheless the study of indecomposable, initialized aCM bundles E of rank 2 on a
surface F ⊆ P3 satisfying the above property on their first Chern class is of intrinsic
interest.
Bundles with c either 3 − deg(F ), or 4 − deg(F ) are easy to construct via the so called
Serre correspondence. The problem of the existence of bundles with c = deg(F ) − 1 is a
challenging and intriguing problem. It is surprisingly related to the possibility of writing
the equation of F as the pfaffian of a skew–symmetric matrix with linear entries (see again
[9] or [2]).
As explained above, the first non–completely known case is deg(F ) = 4. In this case
we know that if c1 (E) ∼
= OF (ch) and the zero–locus of the general section of E has pure
codimension 2, then −1 ≤ c ≤ 3.
On the one hand, E. Coskun, R.S. Kulkarni, Y. Mustopa completed recently the analysis
of the case c = 3 in [10]. They succeed to prove therein that each smooth quartic F
supports a family of dimension 14 of simple (and often stable) indecomposable, initialized,
aCM bundles E of rank 2 with c1 (E) = OF (3h) and c2 (E) = 14. As a by–product they are
able to prove that the polynomial f defining a smooth quartic surface in P3 is the pfaffian
of a skew–symmetric matrix of linear forms.
On the other hand, the cases c = −1, 0 are well–known and the case c = 1 is not difficult
to describe. In the present paper we focus our attention on the case c = 2. In [8] we will
deal with aCM bundles on the general determinantal quartic surface in P3 .
In Theorems 4.1, 6.2 and 7.1, we show that each smooth quartic F supports indecomposable, initialized, aCM bundles E of rank 2 with c1 (E) = OF (2h) and c2 (E) = 8. Such
bundles have a minimal free resolution over P3 of the form
(1)

ϕ

0 −→ OF (−2)⊕4 ⊕ OF (−1)⊕n−4 −→ OF⊕4 ⊕ OF (−1)⊕n−4 −→ E −→ 0,

where n = 4, 6, 8 and ϕ has skew–symmetric matrix Φ whose pfaffian pf(Φ) defines an
equation of F , i.e. F = { pf(Φ) = 0 }.
While the cases n = 4, 6 occur on each smooth quartic surface, only determinantal
quartics are endowed with bundles with n = 8. As a by–product of the existence of bundles
with n = 4, one easily deduces that the polynomial f defining a smooth quartic surface in
P3 is the pfaffian of a skew–symmetric matrix
of quadratic forms, i.e. f = q1 q2 +q3 q4 +q5 q6

0
3
for suitable q1 , . . . , q6 ∈ H P , OP3 (2) .
It is interesting to notice that while in the cases n = 4, 6 the zero–locus of a general
section of E has pure codimension 2, in the case n = 8 each non–zero section vanishes on
a divisor.
We conclude the paper by dealing with the stability properties of these bundles, showing,
in particular, that the moduli space of initialized, indecomposable, aCM, stable rank 2

EXAMPLES OF RANK TWO ACM BUNDLES ON SMOOTH QUARTIC SURFACES IN P3

3

bundles E with c1 (E) = OF (2h) and c2 (E) = 8 on F is always non–empty (see Theorem
8.5).
The authors would like to thank E. Carlini and F. Galluzzi for several helpful discussions. We also thank the referee, whose suggestions allow us to considerably improve the
exposition.
For all the notations and unproven results we refer to [14].
2. Preliminary results
From now on, in what follows, F will denote an integral smooth quartic surface in P3 .
Moreover, we will assume that F = { f = 0 } where f ∈ S := k[x0 , x1 , x2 , x3 ] is a suitable
quartic form.
We are interested in dealing with initialized aCM bundles E of rank 2 with c1 (E) =
OF (2h) on F . The first part of Theorem B of [2] implies the existence of a minimal free
resolution of E of the form
n
n
M
ϕ M
OP3 (−di ) −→ E −→ 0
OP3 (dj − 2) −→
0 −→
i=1

j=1

where we assume 0 ≤ di ≤ di+1 for i = 1, . . . , n − 1, and ϕ is defined by a skew–symmetric
matrix Φ such that pf(Φ) = f . Notice that the (i, j)–entry
of Φ is a form of degree
P
2 − di − dj . In particular pf(Φ) is a form of degree n − ni=1 di , whence
(2)

n−4=

n
X

di .

i=1


Since h0 F, E 6= 0, it follows that d1 = 0. Moreover, the minimality of the above
resolution implies that all the non–zero entries have degree at least 1. Thus, in order to
avoid that the nth row in Φ vanishes, we must have 2 − dn ≥ 1 hence dn ≤ 1. We conclude
that the dj ’s are either 0 or 1. Equality (2) implies that d1 = d2 = d3 = d4 = 0 and dj = 1
when j ≥ 5. In particular


B A
(3)
Φ=
−t A 0
where B is a 4 × 4 skew–symmetric matrix with quadratic entries, A is a 4 × (n − 4) matrix
with linear entries and 0 is the (n − 4) × (n − 4) zero–matrix.
We deduce that rk(Φ) ≤ rk(B A)+rk(A) ≤ 8 at each point of P3 . Since det(Φ) = f 2 6= 0,
it follows that n ≤ 8 and it is even. Thus the minimal free resolution of E is Resolution
(1) and F = { pf(Φ) = 0 }. The above discussion proves the first part of the following
statement.
Proposition 2.1. Let F ⊆ P3 be a smooth quartic surface.
A sheaf E is an initialized, aCM rank 2 bundle on F with c1 (E) = OF (2h) and c2 (E) = 8
if and only if its minimal free resolution on P3 is Resolution (1) with n = 4, 6, 8 and ϕ is
skew–symmetric.
Proof. We have to prove that if the minimal free resolution of E on F is Resolution (1)
with n = 4, 6, 8, then E is an initialized, aCM bundle of rank 2 on F with c1 (E) = OF (2h)
and c2 (E) = 8.


Clearly h0 F, E = 4 and h0 F, E(−h) = 0, thus E is initialized. The second part
of Theorem B of [2] implies that E is an aCM torsion–free sheaf
with c1 (E) ∼
= OF (2h),


1
hence it is a bundle because F is smooth. Thus h F, E(−h) = 0 and h2 F, E(−h) =

4

GIANFRANCO CASNATI, ROBERTO NOTARI



h0 F, E ∨ (h) = h0 F, E(−h) = 0. Since det(Φ) is the square of the equation of F , it
follows that rk(E) = 2.
For each locally free sheaf F of rank r on F , Riemann–Roch theorem gives
c1 (F)2
− c2 (F).
2
Thanks to the above computations we know that χ(E(−h)) = 0, hence the above formula
finally yields c2 (E) = 8.

(4)

χ(F) = 2r +

3. Line bundles on smooth quartic surfaces
In this section we will recall some facts about line bundles on a smooth quartic surface
F ⊆ P3 , most of them collected from several papers (see [11], [24], [25]: we also mention
the book [15]).
By adjunction in P3 we have ωF ∼
= OF , i.e. each such an F is a K3 surface, thus we can
make use of all the results proved in
 [24]. The first important fact is that Serre duality on
F becomes hi F, F = h2−i F, F ∨ , i = 0, 1,2, for each locally free sheaf F on F . If D is
an effective divisor on F , then h2 F, OF (D) = h0 F, OF (−D) = 0. Moreover



h1 F, OF (D) = h1 F, OF (−D) = h0 D, OD − 1

(see [24], Lemma 2.2). It follows that for each irreducible effective divisor D on F , the
dimension of |D| and the arithmetic genus of D satisfy

D2
D2
h0 F, OF (D) = 2 +
,
pa (D) = 1 +
,
2
2
(see [24], Paragraph 2.4).
We summarize the most helpful results in the following statement.

(5)

Proposition 3.1. Let F ⊆ P3 be a smooth quartic surface.
For each effective divisor D on F such that |D| has no fixed components the following
assertions hold.
(1) D 2 ≥ 0 and OF (D) is globally generated.
(2) If D 2 > 0, then
 the general element of |D| is irreducible and smooth: in this case
h1 F, OF (D) = 0.
(3) If D 2 = 0, then there is an irreducible curve D with pa (D) = 1 such that OF (D) ∼
=
OF (eD) where e − 1 := h1 F, OF (D) : in this case the general element of |D| is
smooth.
Proof. See [24], Proposition 2.6 and Corollary 3.2.



Now we turn our attention to aCM line bundles on F recalling the important results
from [25]. A first obvious fact is that for each divisor D on F , then OF (D) is aCM if and
only if the same is true for OF (−D).
The main results from [25] are summarized in the following statements.
Lemma 3.2. Let F ⊆ P3 be a smooth quartic surface.
For each effective divisor D on F with D 2 ≥ 0 the following assertions hold
(1) If D 6= 0, then hD ≥ 3.
(2) If hD = 3, then OF (D) is globally generated.
Proof. See [25], Lemma 2.1 and Corollary 2.1.



EXAMPLES OF RANK TWO ACM BUNDLES ON SMOOTH QUARTIC SURFACES IN P3

5

Proposition 3.3. Let F ⊆ P3 be a smooth quartic surface.
For each effective divisor D on F with D 6= 0, then OF (D) is initialized and aCM if
and only if one of the following cases occurs.
(a) D 2 = −2 and 1 ≤ hD ≤ 3.
(b) D 2 = 0 and 3 ≤ hD ≤ 4.
(c) D 2 = 2 and hD = 5.


(d) D 2 = 4, hD = 6 and h0 F, OF (D − h) = h0 F, OF (2h − D) = 0.
Proof. See [25], Theorem 1.1.



Notice that the general smooth quartic surface F ⊆ P3 does not support initialized
aCM line bundles besides OF . Indeed, in this case, Pic(F ) is generated by OF (h), due to
Noether–Lefschetz theorem. In particular, for each line bundle OF (D) on F one has that
both Dh and D 2 are positive multiples of 4.
We analyze the above effective divisors defining initializedand aCM line bundles on F .
Recall that a curve D ⊆ P3 is called aCM if h1 P3 , ID|P3 (th) = 0 for each t ∈ Z (see [20],
Lemma 1.2.3). A curve D ⊆ P3 is projectively normal if and only if it is aCM and smooth.
The first important fact is the following (see Proposition 2.14 of [11]).
Lemma 3.4. Let F ⊆ P3 be a smooth quartic surface.
For each effective divisor D on F , then OF (D) is aCM if and only if the curve D is
aCM in P3 .
Proof. We have the exact sequence
(6)

0 −→ IF −→ ID −→ ID|F −→ 0.


Since IF ∼
= OF (−D), then we deduce that h1 P3 , ID (t) = 0 if and
= OP3 (−4) and ID|F ∼
only if h1 F, OF (D − th) = h1 F, ID|F (th) = 0.


In what follows we will deal with some of the aCM line bundles of Proposition 3.3. We
start from examining the initialized aCM line bundles OF (D) with D 2 = 4 and Dh = 6.
The divisor D is aCM due to Proposition 3.3 and Lemma 3.4. Proposition 6.2 of [2] shows
that such line bundles have a minimal free resolution on P3 of the form
(7)

ϕ0

0 −→ OP3 (−1)⊕4 −→ OP⊕4
3 −→ OF (D) −→ 0,

where the matrix A of ϕ0 satisfies f = det(A). In particular OF (D) is globally generated.
Lemma 3.5. Let F ⊆ P3 be a smooth quartic surface.


If D is an effective divisor on F with h0 F, OF (D − h) = h0 F, OF (2h − D) = 0,
D 2 = 4, Dh = 6, then OF (D) is globally generated. The general element of |D| is an
irreducible, projectively normal, sextic curve of genus 3.
Proof. The proof follows immediately from the above discussion and Proposition 3.1. 
Take an effective divisor with D 2 = −2 and 1 ≤ Dh ≤ 3. It is obvious that if Dh = 1,
then D is an line.
Let us consider the two remaining cases. In these cases the Hilbert polynomial of D is
Dht + 1, because pa (D) = 0 (see the second Equality (5)). It follows that if Dh = 2, then
D is contained in a plane, thus it is a possibly reducible or non–reduced conic.
Let Dh = 3. Recall that for each subscheme X ⊆ F we have the exact sequence
(8)

0 −→ IX|F −→ OF −→ OX −→ 0.

6

GIANFRANCO CASNATI, ROBERTO NOTARI

The cohomology of the above sequence for X = D, the fact that OF (D) is aCM and

Lemma 3.4 above,
yield that D is not contained in any plane (i.e. h0 F, OF (h − D) =

h0 F, ID|F (h) = 0).
The same argument shows that D is contained in the intersection of three linearly
independent quadrics. Since D is an aCM cubic with pa (D) = 0, it follows that it is
actually the intersection of these three quadrics. In particular the linear system |2h − D|
has no fixed components, thus OF (2h − D) is globally generated and initialized. These
remarks have the following helpful consequence.
Lemma 3.6. Let F ⊆ P3 be a smooth quartic surface.
If D is an effective divisor on F with D 2 = 2, Dh = 5, then OF (D) is globally generated.
The general element of |D| is an irreducible, projectively normal, quintic curve of genus
2.
Proof. From the second Equality (5), we know that pa (D)
 = 2. The divisor D is aCM
(see Proposition 3.3 and Lemma 3.4), h0 F, OF (D − h) = 0 and its Hilbert polynomial
is 5t − 1, thus |2h − D| =
6 ∅. We have (2h − D)2 = −2 and (2h − D)h = 3, thus each
effective element in |2h − D| is aCM (see again Proposition 3.3 and Lemma 3.4). Due to
the above discussion OF (D) = OF (2h − (2h − D)) is globally generated. Bertini theorem
implies that the general element of |D| is irreducible and smooth, hence it is projectively
normal.

We now look at the case D 2 = 0 and Dh = 4. The divisor D is aCM (see Proposition
3.3 and Lemma 3.4), h0 F, OF (D − h) = 0 and its Hilbert polynomial is 4t, thus D is
contained in the base locus of a pencil of quadrics. If equality holds, then |2h − D| has no
fixed components, whence OF (2h − D) is globally generated.
Assume that D is not the base locus of the pencil of quadrics containing it, i.e. OF (2h−
D) is not globally generated. By degree reasons we necessarily have that all the quadrics of
the pencil split in a fixed plane H plus another plane varying in a pencil. In particular the
base locus of this pencil of quadrics is H and a simple line L. If D ⊆ H, then D = F ∩ H
because they are both quartic curves, hence D 2 = 4, a contradiction.
It follows that D = C + L for a suitable cubic curve C ⊆ H. In particular L ⊆ F and
pa (C) = 1, hence L2 = −2 and C 2 = 0. Thus the equality 0 = (C + L)2 forces CL = 1.
Notice that H ∩ F = C ∪ L′ for a second suitable line. Planes through L′ cut out on
F residually to L′ the pencil of plane cubics |C|. Since |C| + L ⊆ |D| and they have the
same dimension, then they coincide: in particular OF (D) is not globally generated.
The equalities (2h − D)2 = 0, (2h − D)h = 4 and D = 2h − (2h − D) imply that all the
arguments above are still true also if we start from OF (D) instead of OF (2h − D).
The above discussion essentially proves the following lemma: we leave the very easy
details to the reader.
Lemma 3.7. Let F ⊆ P3 be a smooth quartic surface.
If D is an effective divisor on F with D 2 = 0, Dh = 4, then OF (D) is globally generated
if and only if the same is true for OF (2h − D). Moreover, all the elements in |D| and
|2h − D| are projectively normal and
(1) if OF (D) is globally generated, then each element of |D| and |2h−D| is intersection
of quadrics and the general one is an irreducible smooth elliptic quartic curve;
(2) if OF (D) is not globally generated, then no elements of |D| and |2h − D| are
intersection of quadrics. All the elements are the union of a fixed line and a plane
cubic meeting the line at exactly one point.

EXAMPLES OF RANK TWO ACM BUNDLES ON SMOOTH QUARTIC SURFACES IN P3

7

4. The exotic bundles
In this section we will examine briefly but in details the case n = 8 which is particularly
interesting.
In this case pf(Φ) = det(A). In particular f = det(A) is the determinant of a 4 × 4
matrix with linear entries. The cokernel of the induced morphism ϕ0 : OP3 (−1)⊕4 → OP⊕4
3
is a line bundle OF (D) and Sequence (7) is a minimal free resolution of the aCM line
bundle OF (D) with D 2 = 4, Dh = 6.
Grothendieck duality yields the exact sequence
(9)

0 −→ OP3 (−2)⊕4

−t ϕ0 (−2)

−→

OP3 (−1)⊕4 −→ OF (2h − D) −→ 0.

Thanks to Corollary 1.8 of [2], we know that also OF (2h − D) is aCM and the above sequence
is its minimal free resolution. Moreover, the resolution above implies h0 F, OF (2h−

D) = 0.
We have the following commutative diagram
0 −−−−→

−−−−→

OF (−2)⊕4

−−−−−−→

0 −−−−→ OF (−2)⊕4 ⊕ OF (−1)⊕4

t
y θ(−2)
0 −−−−→

ϕ0

OF (−1)⊕4

ψ
y

−−−−→

ϕ

−t ϕ0 (−2)

OF⊕4


θy

−−−−→

OF (D)

−−−−→ 0

E

−−−−→ 0

OF⊕4 ⊕ OF (−1)⊕4 −−−−→

t ψ(−1)
y
OF (−1)⊕4

−−−−→ OF (2h − D) −−−−→ 0

where ϕ has matrix Φ as in Equality (3), and ψ, θ have respective matrices
 
 
0
I
,
,
I
0
I being the identity of order 4. Since the two first columns of the above diagram are
trivially short exact sequences, it follows the existence of an exact sequence of the form
(10)

0 −→ OF (D) −→ E −→ OF (2h − D) −→ 0,

Dh = 6, pa (D) = 3.

The above discussion proves part of the following statement
Theorem 4.1. Let F ⊆ P3 be a smooth quartic surface.
There exists a bundle E of rank 2 on F whose minimal free resolution on P3 is Resolution
(1) with n = 8 if and only if the equation of F can be expressed as the determinant of a
4 × 4 matrix with linear entries.
A rank 2 bundle E on F is as above if and only if E fits into Sequence (10) where
D is an irreducible
 smooth sextic curve of genus 3 not lying on a quadric and such that
h0 F, OF (D − h) = 0.
Indecomposable bundles fitting in Sequence (10) form a family parameterized by P5 .
Decomposable bundles are exactly the direct sums OF (D) ⊕ OF (2h − D) where D is a
curve as above.
Proof. We proved above that the existence of Resolution (1) with n = 8 implies the
following facts:
• the equation of F can be expressed as the determinant of a 4× 4 matrix with linear
entries;
• a divisor D as above exists on F ;

8

GIANFRANCO CASNATI, ROBERTO NOTARI

• Sequence (10) exists.
Assume that the equation of F can be expressed as the determinant of a 4 × 4 matrix
with linear entries. Then we can construct Sequences (7) and (9), defining line bundles
OF (D) and OF (2h − D). Thus OF (D) ⊕ OF (2h − D) is a bundle of rank 2 whose minimal
free resolution on P3 is Resolution (1) with n = 8. This completes the proof of the first
equivalence in the statement.
Assume the existence of D on F as in the statement and
by
 let E any sheaf defined

Sequence (10). We have D 2 = 4, hD = 6, h0 F, OF (D − h) = h0 F, OF (2h − D) = 0 by
hypothesis, thus Proposition 3.3 implies that OF (D) is aCM and initialized.
Moreover it is easy to check that (3h−D)2 = 4, (3h−D)h = 6: the two above vanishings
give analogous vanishings with the divisor 2h − D instead of D. Thus OF (3h − D) is aCM
and initialized as well, again due to Proposition 3.3, whence OF (2h − D) is aCM. It is an
immediate consequence of these remarks that E is an initialized, aCM bundle of rank 2.
Moreover c1 (E) = 2h and c2 (E) = 8.
We know that OF (D) is aCM, thus we can write the following commutative diagram


H 0 F, E ⊗ OF −−−−→ H 0 F, OF (2h − D) ⊗ OF −−−−→ 0




y
y
E

−−−−→

OF (2h − D)

−−−−→ 0.

Since OF (2h − D) is not globally generated (because h0 F, OF (2h − D) = 0), the same
is true for E. In particular E fits in Resolution (1) with n either 6 or 8.
Assume that the first case holds. We can construct a commutative diagram
(11)
ϕ0
−−−−→ OF (D) −−−−→ 0
−−−−→
OP⊕4
0 −−−−→
OP3 (−1)⊕4
3


y
ϕ

⊕2 −
−−−→
0 −−−−→ OP3 (−2)⊕4 ⊕ OP3 (−1)⊕2 −−−−→ OP⊕4
3 ⊕ OP3 (−1)

E

−−−−→ 0

where the matrices of ϕ0 and ϕ are the already defined A and


B A
.
−t A 0
Here B and A are respectively a 4 × 4 matrix with quadratic entries and a 4 × 2 matrix
with linear entries. Let S := k[x0 , x1 , x2 , x3 ]: taking global sections we have an induced
diagram

S ⊕4
−−−−→ H∗0 F, OF (D)

S ⊕4 ⊕ S(−1)⊕2 −−−−→
H∗0 F, E
−−−−→ 0
where the bottom row is exact because it comes from a minimal free resolution of E. Thus
there is a map Θ : S ⊕4 → S ⊕4 ⊕ S(−1)⊕2 making the above diagram commutative. By
construction, in degree 0 the maps in the above diagram are isomorphisms. Thus the
degree 0 component of Θ must have maximal rank. Up to a proper choice of the bases,
we can assume that the matrix of Θ is
 
I
,
0

EXAMPLES OF RANK TWO ACM BUNDLES ON SMOOTH QUARTIC SURFACES IN P3

9

where I is the identity of order 4.
⊕4
⊕2 making DiaBy sheafifying we thus obtain a morphism θ : OP⊕4
3 → OP3 ⊕ OP3 (−1)
gram (11) commutative. It follows the existence of another morphism η : OF (−1)⊕4 →
OF (−2)⊕4 ⊕ OF (−1)⊕2 completing Diagram (11) as a commutative diagram. By degree
reasons its matrix is


0
C
where C is a 2 × 4 matrix of constants. The commutativity of the last square of the
diagram would imply A = AC which is a contradiction, because at each point of P3 the
rank of the matrix on the right is at most 2. We conclude that E fits into Resolution (1)
with n = 8. Thus also the proof of the second equivalence in the statement is complete.
Assume that E is decomposable: then E ∼
= OF (A) ⊕ OF (2h − A) (because c1 (E) = 2h),
where OF (A) and OF (2h − A) are aCM (because summands of an aCM bundle), OF (A)
is initialized and either OF (2h − A) is also initialized, or it has no sections (because
summands of an initialized bundle).
Proposition 3.3 and equality (2h − A)A = c2 (E) = 8 imply that either A2 = −2,
hA = 3, (2h − A)2 = 2, h(2h − A) = 5, or A2 = (2h − A)2 = 0 and hA = h(2h − A) = 4,
or A2 = 2, hA = 5, (2h − A)2 = −2, h(2h − A) = 3, or finally A2 = 4, hA = 6,
(2h − A)2 = −4, h(2h − A) = 2. In the first three cases (A − D)hand (2h − A − D)h
are both negative, thus h0 F, OF (A − D) = h0 F, OF (2h − A − D) . In particular each
morphism OF (D) → OF (A) ⊕ OF (2h − A) must be zero.
Thus only the last case is possible. Since (2h−A−D)h = −4 we deduce that an injective
morphism OF (D) → OF (A) ⊕ OF (2h − A) induces an injective morphism OF (D) →
OF (A), i.e. a non–zero section in H 0 F, OF (D − A) . Thus OF (D) ∼
= OF (A) because
(D − A)h = 0, hence Sequence (10) splits. We conclude that there are extensions as above
with an indecomposable sheaf E in the middle.
Finally, indecomposable bundles fitting in Sequence
(10) are parameterized by a pro

1 F, O (2D − 2h) − 1. We have h2 F, O (2D − 2h) =
jective space of dimension
h
F
F

h0 F, OF (2h − 2D) = 0, because (2h − 2D)h = −4. We have (2D − 2h)D = −4
which implies that each effective divisor splits as the sum of D and an effective divisor in |D − 2h|. The inequality
(D − 2h)h = −2 thus gives a contradiction. We conclude

that h0 F, OF (2D − 2h) = 0, too.

Equality (4) gives χ(OF (2D −2h)) = 2+2(D −h)2 = −6, thus h1 F, OF (2D −2h) = 6.
In particular, the non–trivial Sequences (10) are parameterized by P5 .



Remark 4.2. The cohomology of Sequence (10) gives h0 F, E(−D) = 1 and h0 F, E =
h0 F, OF (D) . Hence the natural multiplication morphism



H 0 F, E(−D) ⊗ H 0 F, OF (D) −→ H 0 F, E

is an isomorphism. We deduce that the zero–locus of each non–zero section of E is a divisor
in |D| and conversely.
Remark 4.3. Let E fit into Resolution (1) with n = 8.
Then E(h) is globally generated, thus the same is true for OF (3h − D). We conclude
that the general element in |3h − D| is a smooth irreducible curve. As pointed out in
the proof above (3h − D)2 = 4, (3h − D)h = 6, thus the genus of the general element in

10

GIANFRANCO CASNATI, ROBERTO NOTARI

|3h − D| is 3. Moreover


h0 F, OF (2h − (3h − D)) = h0 F, OF (D − h) = 0,


h0 F, OF ((3h − D) − h) = h0 F, OF (2h − D) = 0,

thus Proposition 3.3, (d) implies that OF (3h − D) is aCM. Finally D(3h − D) = 14 6= D 2 ,
hence |D| =
6 |3h − D|.
Replacing D with 3h− D in the construction above, we deduce the existence of a second
family of indecomposable, initialized aCM bundles E on F with c1 (E) = 2h and c2 (E) = 8
fitting in a different Resolution (1) again with n = 8.
The two families are disjoint because the bundles E and E have sections vanishing on
divisors lying in disjoint linear systems.
5. Construction of bundles

Let E be a rank 2 vector bundle on F and s ∈ H 0 F, E . If its zero–locus E := (s)0 ⊆
F has pure codimension 2, the corresponding Koszul complex gives the following exact
sequence
(12)

0 −→ OF −→ E −→ IE|F (c1 (E)) −→ 0.

The degree of E is c2 (E). We now recall how to revert the above construction. To this
purpose we give the following well–known definition.
Definition 5.1. Let F be a smooth projective irreducible surface and let G be a coherent
sheaf on F .
We say that a locally complete intersection subscheme E ⊆ F of dimension zero is
′
Cayley–Bacharach (CB for short) with respect to G if, for each
 E ⊆ E of degree deg(E)−1,
0
0
the natural morphism H F, IE|F ⊗ G → H F, IE ′ |F ⊗ G is an isomorphism.
For the following result see Theorem 5.1.1 in [16].

Theorem 5.2. Let F be an integral smooth projective irreducible surface, E ⊆ F a locally
complete intersection subscheme of dimension 0.
Then there exists a vector bundle E of rank 2 on F with det(E) = L and having a section
s such that E = (s)0 if and only if E is CB with respect to ωF ⊗ L. 
If such an E exists, then it is unique up to isomorphism if h1 F, L∨ = 0.

In the remaing part of this section, making use of the above theorem, we will investigate
which are the conditions that a zero–dimensional scheme E ⊆ F must satisfy in order to
be the zero–locus of an initialized aCM bundle E of rank 2 on F with c1 (E) = OF (2h).
Let E ⊆ F be a zero–dimensional subscheme. Its Hilbert polynomial is deg(E) and let
IE ⊆ S be its homogeneous ideal.
For each general linear form ℓ ∈ SE := S/IE , the ring R := SE /ℓSE is local, graded and
Artin: R is called the Artin reduction of SE and it is naturally graded. The maximum
integer σ > 0 such that the component Rσ of degree σ is non–zero is called the socle
degree of R: it depends only on E and not on ℓ. We say that R is Gorenstein if Rσ has
dimension 1 as vector space over k.
We say that E is arithmetically Gorenstein (aG for short) if its Artin reduction is
Gorenstein: the aG property does not depend on ℓ as well.
For the following helpful result see [18], Theorem 1.1.

EXAMPLES OF RANK TWO ACM BUNDLES ON SMOOTH QUARTIC SURFACES IN P3

11

Theorem 5.3. Let E ⊆ Pn be a zero–dimensional scheme and let σ be the socle degree of
the Artin reduction of its homogeneous coordinate ring.
Then E is aG if and only if the two following conditions hold.
(1) dimk ((SE )t ) + dimk ((SE )σ−1−t ) = deg(E), for each t ∈ Z.
(2) E is CB with respect to OPn (σ − 1).
Notice that if E is properly contained in an aCM scheme F ⊆ Pn , then the twisted
cohomology of Sequence (6) allows us to replace OPn (σ − 1) with OF ((σ − 1)h) in Theorem
5.3 above. Thus if E is aG, then it is also CB with respect to OF ((σ − 1)h), hence we can
construct a vector bundle E of rank 2 fitting into Sequence (12) with L = OF ((σ − 1)h)
thanks to Theorem 5.2.
We can now state the main result of this section.
Proposition 5.4. Let F ⊆ P3 be a smooth quartic surface.
(1) Let E be an initialized, aCM, bundle of rank 2 on F with c1 (E) = OF (2h), c2 (E) =
8, such that the zero–locus of its general section is zero–dimensional: then E is an
aG scheme of degree 8 not contained in any plane.
(2) Conversely, each aG scheme E ⊆ F of degree 8 not contained in any plane arises
as the zero–locus of some section of a unique initialized, aCM, bundle E of rank 2
on F with c1 (E) = OF (2h), c2 (E) = 8.
Proof. Assume that E is as in (1). Trivially deg(E) = 8 and we have to prove that E is aG.
Theorem 5.2 implies that E is CB with respect to OF (2h). We thus have only to check
that dimk ((SE )t ) + dimk ((SE )2−t ) = 8 for each t ∈ Z. We obviously have dimk ((SE )0 ) = 1
and dimk ((SE )t ) = 0 for t ≤ −1.


The cohomology of Sequence (12) implies h1 F, IE|F (th) = h1 F, E((t − 2)h) = 0

when t ≥ 3 because h2 F, OF (t − 2) = 0 in the same range. The cohomology of Sequence
(8) with X = E thus gives


dimk ((SE )t ) = h0 F, OE (th) − h1 F, IE|F (th) = 8,
t ≥ 3.

When t = 2, the cohomology of Sequence (12) gives the exact sequence



0 −→ H 1 F, E −→ H 1 F, IE|F (2h) −→ H 2 F, OF −→
(13)


−→ H 2 F, E −→ H 2 F, IE|F (2h) −→ 0.




We have h1 F, E = 0, h2 F, OF = 1 and h2 F, E = h0 F, E(−2h) = 0. Thus
h1 F, IE|F (2h) = 1 whence dimk ((SE )2 ) = 7. When t = 1, a similar argument yields

h1 F, IE|F (h) = 4, thus dimk ((SE )1 ) = 4: in particular E is not contained in any plane.
Thus assertion (1) is completely proved.
Conversely let E be aG of degree 8 on F not contained in any plane. The Artin reduction
R (see above) of SE is a local graded, Gorenstein ring. It is well known that the possible
Hilbert functions for R must be symmetric. Thus the possible cases are:
(14)

(1, 6, 1),

(1, 3, 3, 1),

(1, 2, 2, 2, 1),

(1, 1, 1, 1, 1, 1, 1, 1).

In the two last cases we would have dimk ((SE )1 ) < 4, hence E would be contained in a
plane. The first case cannot hold as well: indeed it would imply dimk ((SE )1 ) ≥ 7.
Thus we know that only the second case is possible. In particular the socle degree of
the Artin reduction of SE is 3. It follows that E is CB with respect to OF (2h) and we
can construct a rank 2 bundle E fitting into Sequence (12) with c1 (E) = 2h and c2 (E) = 8

12

GIANFRANCO CASNATI, ROBERTO NOTARI

having a section vanishing exactly along E (Theorem 5.2). We have to check that E is
initialized and aCM.
From the Hilbert function of R, we also obtain dimk ((SE )1 ) = 4, dimk ((SE )2 ) = 7 and
dimk ((SE )t ) = 8 for t ≥ 3. Consequently, from the cohomology of Sequence (8) for X = E,

if t ≥ 3,
 0

1
if t = 2,
(15)
h1 F, IE|F (th) =

4
if t = 1.

The cohomology of Sequence (12) twisted by
 OF (−h) and the fact that E is not con0
tained in any plane implies that h F, E(−h) = 0. Moreover each scheme of degree 8
and dimension 0 is trivially contained
in at least two quadrics, thus the cohomology of the

same sequence also gives h0 F, E ≥ 2. We conclude that E is initialized.

1 F, E(th) =
Again the same sequence twisted by OF (th) and the first
Equality
(15)
imply
h

0 for t ≥ 1. Looking at Sequence (13),
we deduce h1 F, E = 0, due to the second Equality

(15) and to the vanishing
h2 F, E = h0 F, E(−2h) = 0. Using the third Equality (15)

2
0
and h F, E(−h) = h F, E(−h) = 0, a similar argument implies
also h1 F, E(−h)  = 0.

By Serre duality we obtain also the vanishing h1 F, E(th) = h1 F, E((−t − 2)h) = 0
for t ≤ −2. The proof is thus complete.

6. Construction of bundles with n = 4
In this section we will show how to modify the methods in [10] in order to prove the
existence of initialized aCM bundles of rank 2 fitting into Resolution (1) with n = 4.
We take a general element C ∈ |OF (2h)|. The curve C can be assumed of bidegree
(4, 4) on a smooth quadric surface, it has degree 8 and genus g := 9. Notice that for each
divisor Γ on C we have the exact sequence
(16)

0 −→ OF (−2h) −→ IΓ|F −→ OC (−Γ) −→ 0,

because IC|F ∼
= OF (−2h).
Lemma 6.1. Let C be as above. There is a divisor E on C such that
(1) deg(E) = 8; 
(2) h0 (C, OC (E) = 2;
(3) Both OC (E), and ωC ⊗ OC (−E) are globally generated.
Proof. Recall that the linear series of projective dimension at least r and degree δ on C
are parameterized by a union of projective varieties usually denoted by Wδr (C): in what
follows we will omit C because it is fixed.
We have that g − 8 + 1 ≥ 0, thus no component of W81 is entirely contained in W82 (see
[1], Theorem IV.3.5). In particular W81 \ W82 is open and dense in each component of W81 .
Let us consider the map C × W71 → W81 defined by (P, L) 7→ L ⊗ OC (P ). Trivially the
subset in W81 of linear series with a base point is contained in the image X of the above
map. Notice that Lemma IV.3.3 of [1] implies that each component of W81 has dimension
at least the Brill–Noether number ̺(9, 8, 1) = 5.
The curve C is a curve of bidegree (4, 4) on a smooth quadric. Hence Exercises IV.
D–5 and IV.F–2 of [1] imply that C is neither hyperelliptic, nor trigonal, nor bielliptic.
Moreover, it is not isomorphic to a smooth plane quintic, because its genus is 9.
Since 2 ≤ g − 2 = 7, it follows from Theorems IV.5.1 and IV.5.2 of [1] that each
component of W71 has dimension 3. Thus each component of X has dimension at most

EXAMPLES OF RANK TWO ACM BUNDLES ON SMOOTH QUARTIC SURFACES IN P3

13

4, which is smaller than ̺(9, 8, 1) = 5. In particular W81 \ X is open and dense in each
component of W81 .
Finally, Riemann–Roch theorem on C implies that the residuation i with respect to ωC
is an involution i : W81 → W81 because deg(ωC (−E)) = deg(E). In particular i−1 (W81 \ X)
is open and dense in each component of W81 .
It suffices to take a linear system L in the intersection
(W81 \ X) ∩ i−1 (W81 \ X) ∩ (W81 \ W82 )
which is certainly non–empty due to the above discussion. Each E ∈ |L| is a divisor with
the desired properties.

We can now state and prove the main result of this section.
Theorem 6.2. Let F ⊆ P3 be a smooth quartic surface.
There exist bundles E of rank 2 on F whose minimal free resolution on P3 is Resolution
(1) with n = 4.
The general bundle fitting in Resolution (1) with n = 4 is indecomposable. Decomposable
bundles are exactly the direct sums OF (D) ⊕ OF (2h − D) where D is a smooth elliptic
quartic curve on F .
Proof. Take E ⊆ C ⊆ F  as in Lemma 6.1.
 Let H be a general hyperplane section
0 C, O (E) and deg(H) = deg(E) we conclude that
of C. Since h0 C,
O
(H)
=
6
h
C
 C
h0 C, OC (H − E) = h0 C, OC (E − H) = 0. In particular the twisted cohomology of
Sequence (16) with Γ = E and Riemann–Roch theorem on C imply

if t = 0, 1,
  0
3
if t = 2,
h0 F, IE|F (th) =

12 if t = 3.

A very easy computation now shows that condition (1) in Theorem 5.3 is satisfied by E
with σ = 3. In order to construct an aCM vector bundle from E we only need to show
that E is CB with respect to OF (2h).
To this purpose we notice that twisting the Sequence (16) by OF (2h) and taking its
cohomology, the isomorphism OF (2h) ⊗ OC ∼
= ωC implies that


0
h F, IΓ|F (2h) = 9 − deg(Γ) + h0 C, OC (Γ) .

For each subscheme E ′ ⊆ E of degree 7, Lemma 6.1 implies that h0 C, OC (E ′ ) = 1,
because OC (E ′ ) is globally generated. Thus the above equality yields h0 F, IE ′ |F (2h) =

3 = h0 F, IE|F (2h) , i.e. E is CB with respect to OF (2h).
It follows that E is aG of degree 8, hence Proposition 5.4 yields the existence of an
initialized, aCM bundle E of rank 2 on F with c1 (E) = 2h and c2 (E) = 8.

In particular the cohomology of Sequence (12) twisted by OF (2h) gives h1 F, IE|F (2h) =

h1 F, E(2h) = 0, hence we have the diagram with exact rows
(17)


0 −−−−→ OF −−−−→ H 0 F, IE|F (2h) ⊗ OF −−−−→ H 0 C, ωC (−E) ⊗ OC −−−−→ 0




y
y
0 −−−−→ OF −−−−→

IE|F (2h)

−−−−→

ωC (−E)

−−−−→ 0.

Five’s Lemma and the surjectivity of the vertical map on the right (following from Lemma
6.1) imply that IE|F (2h) is globally generated.

14

GIANFRANCO CASNATI, ROBERTO NOTARI

A similar argument applied to Sequence (6) twisted by OP3 (2) yields that IE (2) is
globally generated too, thus E is the complete intersection of three quadrics.

Again the same argument applied to Sequence (12) and the vanishing h1 F, OF = 0
yield that E is globally generated too, thus its minimal free resolution is Resolution (1)
with n = 4. Thus the proof of the existence of the bundle E is completed.
Assume that such a bundle E is decomposable. We can write E ∼
= OF (D) ⊕ OF (2h − D)
for some divisor D on F . Moreover, we know that (2h − D)D = c2 (E) = 8 and



(18)
hi F, E = hi F, OF (D) + hi F, OF (2h − D) ,
i = 0, 1, 2.

Thus, both O
 F (D) and OF (2h −D) are globally generated and aCM. It follows that

h0 F, OF (D) = h0 F, OF (2h−D) ≥ 2, hence the equality must hold, because h0 F, E =
4. In particular OF (D) and OF (2h − D) are initialized and D 2 , (2h − D)2 ≥ 0.

Due to case (d) of Proposition 3.3, D 2 = 4 is not possible, because h0 F, OF (2h−D) 6=
0. If D 2 = 2, then hD = 5, hence (2h − D)2 = −2, contradicting its positivity proved
above. Thus D 2 = (2h − D)2 = 0 and, consequently, hD = (2h − D)h = 4, because
(2h − D)D = 8. Finally we also deduce that D and 2h − D can be assumed to be smooth
elliptic quartic curves (Proposition 3.1 and Bertini theorem).
We now prove the existence of indecomposable, initialized aCM bundle E of rank 2 with
c1 (E) = OF (2h) and c2 (E) = 8 on F whose minimal free resolution on P3 is Resolution
(1) with n = 4. To this purpose we first notice that, if F does not contain smooth
elliptic quartic curves each such bundle (whose existence was already proved above) is
automatically indecomposable, due to the above discussion.
On the other hand, assume that F contains a smooth elliptic quartic curve D: thus
both OF (D) and OF (2h − D) are globally generated (see Proposition 3.1 and Lemma 3.7).
For each non–zero t ∈ Z we have OF (th) ∼
6 OF (tD), because h2 = 4 6= 0 = D 2 . Thus
=
both OF (t(D − h)) and OF (t(h − D)) are not effective because t(h − D)h = 0. Thus they
are both initialized.

Equality (4) implies χ(OF (2D − 2h)) = −6, hence h1 F, OF (2D − 2h) ≥ 6. It follows
the existence of many non trivial extensions
(19)

0 −→ OF (D) −→ E −→ OF (2h − D) −→ 0,

Dh = 4, pa (D) = 1.

If E is splitting, then the first part of the proof would show the existence of a smooth
elliptic quartic curve A on F such that E ∼
= OF (A) ⊕ OF (2h − A). Thus we should have a
map OF (D) → OF (A), i.e. a section in H 0 F, OF (D − A) . If such a space is non–zero,
then OF (D) ∼
= OF (A) and the above sequence would split. Thus such a map is zero and
we have a non–zero map OF (D) → OF (2h − A). It follows that OF (2h − A) ∼
= OF (D)
and OF (A) ∼
= OF (2h − D).
We deduce that there are extensions as above with an indecomposable sheaf E in the
middle. Recall that OF (D) and OF (2h − D) are globally generated, aCM and initialized.
Taking the cohomology of Sequence (19) twisted by OF (th) is then very easy to check that
E is aCM and initialized aswell. Moreover, the same argument used in Diagram (17) and
the vanishing h1 F, OF (D) = 0 also imply that E is globally generated. We conclude that
it fits in Resolution (1) with n = 4. Finally it is immediate to check that c1 (E) = OF (2h)
and c2 (E) = 8.

Remark 6.3. Let E fit into Resolution (1) with n = 4 and into Sequence (19) for some
smooth elliptic quartic curve D. Then OF (2h − D) is globally generated too, hence there
is a smooth elliptic quartic curve D ∈ |2h − D|.

EXAMPLES OF RANK TWO ACM BUNDLES ON SMOOTH QUARTIC SURFACES IN P3

15

As in Remark 4.3, D(2h−D) = 4 6= D 2 , thus |D| =
6 |2h−D|. We can construct a second
family of indecomposable bundles E fitting into Resolution (1) with n = 4. Moreover each
such bundle fits into
0 −→ OF (2h − D) −→ E −→ OF (D) −→ 0.
Assume the existence of an isomorphism E ∼
= E where E fits into Sequence (19). We
would have by composition a map OF (D) → OF (D). If this map is zero, then the image
of OF (D) inside E would be contained in the image of OF (2h − D) in the above sequence,
hence we would obtain a non–zero section of H 0 F, OF (2h − 2D) .
Since (2h − 2D)h = 0 this latter space is non zero if and only if OF (D) ∼
= OF (2h − D).
Since D 2 = 0 and D(2h
−
D)
=
8,
it
follows
that
such
an
isomorphism
cannot
exist, thus


0
0
h F, OF (2h − 2D) = h F, OF (2D − 2h) = 0.
We conclude that the map OF (D) → OF (D) is non–zero, hence it is the identity map.
In particular the surjection E → OF (D) has a section, thus OF (D) is a direct summand
of E, again a contradiction.
We conclude that the two families obtained above are disjoint.
Theorem 6.2 has the following corollary as its immediate consequence.
Corollary 6.4. Let F ⊆ P3 be a smooth quartic surface.
Then the equation of F is the pfaffian of a 4 × 4 skew–symmetric matrix with quadratic
entries.
Remark 6.5. There is an interesting interpretation of the corollary above. Indeed let
X ⊆ |OP3 (4)| ∼
= P34 be the locus of quartics with equation q1 q2 = 0 for suitable quadratic
forms q1 , q2 . We denote by S the locus in |OP3 (4)| of smooth quartic surfaces.
Let
[
σ30 (X) :=
hx1 , x2 , x3 i ⊆ |OP3 (4)|
x1 ,x2 ,x3 ∈X

where hx1 , x2 , x3 i is the linear span inside |OP3 (4)| of the points x1 , x2 , x3 . The 3–secant
variety σ3 (X) of X is the closure of σ30 (X).
It is well–known that σ3 (X) fills the whole space (see [4]). This means in particular that
there is an open subset U ⊆ |OP3 (4)| whose elements are in σ30 (X). The above Corollary
6.4 shows that U ⊇ S.
7. Construction of bundles with n = 6
Each twisted cubic C ⊆ P3 obviously intersects F in a scheme X of degree 12. If E ⊆ X
is a scheme of degree 8, then the corresponding residual scheme Y inside X is trivially the
zero–locus of a section of ωC (2h), because ωC ∼
= OP1 (−2). Thanks to Lemma 5.4 of [17],
we conclude that E is aG.
The Artin reduction R of the homogeneous coordinate ring of E has length 8 and its
Hilbert function is symmetric (because it is Gorenstein and graded). Thus the possible
Hilbert functions for R are in the List (14).
In the fourth (resp. third) case E would be contained in a line (resp. a plane), because
dimk ((SE )1 ) = 1 (resp. 2). This is not possible because a twisted cubic has no trisecant
(resp. a subscheme of C contained in a plane has at most degree 3). The first case cannot
occur too, because it would imply dimk ((SE )1 ) = 7.
It follows that the second case occurs, hence the cohomology of Sequence (6) gives



h0 F, IE|F (h) ≤ h0 F, IE (1) = h0 P3 , OP3 (1) − dimk ((SE )1 ) = 0.

16

GIANFRANCO CASNATI, ROBERTO NOTARI

In particular there is an initialized aCM bundle E of rank 2 fitting into Sequence (12) due
 to
0
3
Proposition 5.4. Looking at the Hilbert function of SE we deduce that h P , IE (2) = 3.
Thanks to a well–known result (see [3]) the homogeneous ideal IE ⊆ S is generated by
the (δ − 1) × (δ − 1) pfaffians of a skew–symmetric matrix ∆ of odd order δ and there is
a minimal free resolution of the form
0 −→ S(−6) −→S(−4)⊕3 ⊕ S(−3)⊕β ⊕ L∨ (−6) −→
∆

−→ S(−2)⊕3 ⊕ S(−3)⊕β ⊕ L −→ IE −→ 0
where L is a direct sum of S(−j)’s with j ≥ 4. Since the resolution is minimal, it follows
that L = 0, hence β must be even. In particular we know that


B A
∆=
−t A 0
where B is a 3 × 3 skew–symmetric matrix with quadratic entries, A is a 3 × β matrix
with linear entries and 0 is the β × β zero–matrix. If β ≥ 4, then the subpfaffians of ∆
obtained by deleting one of the three first rows and columns should vanish, thus the above
resolution would not be minimal. We deduce that β ≤ 2.
We conclude that either β = 0 and the scheme E is the complete intersection of three
quadrics, or β = 2 and E is the degeneracy locus of a skew-symmetric matrix of the form


0
b1
b2 a1 a4
 −b1
0
b3 a2 a5 


 −b2 −b3
0
a3 a6 

,
 −a1 −a2 −a3 0 0 
−a4 −a5 −a6 0 0
where ai and bj are respectively
linear and quadratic forms.

Notice that h0 F, IE|F (2) = 3, hence the quadrics containing E are the same quadrics
generating the ideal of C. It follows that we are necessarily in the second case.
Theorem 7.1. Let F ⊆ P3 be a smooth quartic surface.
There exist bundles E of rank 2 on F whose minimal free resolution on P3 is Resolution
(1) with n = 6.
The general bundle fitting in Resolution (1) with n = 6 is indecomposable. Decomposable
bundles are exactly the direct sums OF (D) ⊕ OF (2h − D) where only one of the following
occurs:
(1) D and 2h − D are aCM quartic curves with pa (D) = pa (2h − D) = 1 which are
not intersection of quadrics;
(2) D is an irreducible, projectively normal, quintic curve of genus 2 and 2h − D is an
aCM, cubic curve with pa (2h − D) = 0.
Proof. We proved above the existence of bundles E fitting into Resolution (1) with n = 6
starting from a scheme of degree 8 which is not the complete intersection of three quadrics.
Assume that E is decomposable. We can write E ∼
= OF (D) ⊕ OF (2h − D) for some
divisor D on F , hence both OF (D) and OF (2h − D) are aCM. Since E is initialized, it
follows that they are either both initialized, or one of them is initialized and the other one
has no sections. Moreover (2h − D)D = c2 (E) = 8, hence hD = 4 + D 2 /2.
Assume that OF (D) is initialized. We claim that the case D 2 = 4 cannot occur. Indeed,
in this case, pa (D) = 3 and D is projectively normal (see Lemma 3.5). Proposition 6.2 of

EXAMPLES OF RANK TWO ACM BUNDLES ON SMOOTH QUARTIC SURFACES IN P3

17

[2] yields the existence of Resolutions (7) and (9). Their direct sum, which is Resolution
(1) with n = 8, gives a minimal free resolution of OF (D)⊕ OF (2h − D), a contradiction.
We conclude that D2 = −2, 0, 2, hence h0 F, OF (D) = 2 + D 2 /2 ≤ 3. We deduce
that h0 F, OF (2h − D) ≥ 1 thanks to Equality (18), i.e. OF (2h − D) is initialized too,
thus it appears in the list of Proposition 3.3. Moreover E is not globally generated: up to
permuting the roles of D and 2h − D, we can assume that the same holds for OF (2h − D).
Taking into account equalities hD = 4 + D 2 /2, hD + h(2h − D) = 8 and Lemmas 3.6,
3.7 we obtain the list of possible cases in the statement.
In particular, if F does not contain curves of the type listed above, then each bundle
of rank 2 fitting into Resolution (1) with n = 6 (whose existence was proved above) is
indecomposable.
Conversely let F contain an aCM curve D which is either an irreducible smooth quintic
curve of genus 2, or a cubic curve with pa (D) = 0, or a quartic curve with pa (D) = 1
which is not intersection of quadrics.
If D is an irreducible smooth quintic curve of genus 2, then D 2 = 2 (see the second
Equality (5)) and Dh = 5. The Hilbert polynomial of D is 5t − 1, thus D is contained in
a unique quadric surface. It follows that |2h − D| =
6 ∅ and we trivially have (2h − D)h = 3
and (2h − D)2 = −2, i.e. F contains also a cubic curve of arithmetic genus 0.
In Section 3 (see, in particular, the proof of Lemma 3.6) we showed that if F contains
an aCM, cubic curve D with pa (D) = 0, then |2h − D| contains also an irreducible,
projectively normal, quintic curve of genus 2.
Finally Lemma 3.7 shows that if F contains an aCM, quartic curve with pa (D) = 1
which is not intersection of quadrics, then |2h − D| contains a curve enjoying the same
property.
In all the above cases OF (h − D) is not effective, because none of the above curves is
contained in a plane. We also have (D − h)h ≤ 1, thus |D − h| is either a line or it is
empty. Since (D − h)2 = −4, the latter case occurs. We conclude that both OF (D) and
OF (2h − D) are initialized.

Again Equality (4) implies h1 F, OF (2D − 2h) ≥ 6 in each case, thus it follows the
existence of non–split Sequences
(20)

0 −→ OF (D) −→ E −→ OF (2h − D) −→ 0,

Dh = 4, 5, pa (D) = 1, 2.

Assume that E fits into Sequence (20). If E ∼
= OF (D) ⊕ OF (2h − D) and Dh = Dh,
then imitating word by word the corresponding part of the proof of Theorem 6.2 one
checks that the sequence splits as well, a contradiction. If Dh 6= Dh, then each morphism
OF (D) → E is necessarily zero, because (2h − D − D)h = (D − D)h = −1, a contradiction.
We conclude that extensions as above with an indecomposable sheaf E in the middle
always exist. Such an E is aCM and initialized because the same is true for OF (D) and
OF (2h−D): moreover it is immediate to check that c1 (E) = OF (2h) and c2 (E) = 8. Finally
it is not globally generated due to Theorem 6.2. We deduce that it fits in Resolution (1)
with n either 6 or 8.
Assume that the last case occurs. Then F would contain a sextic A and we should
have a monomorphism OF (A) → E. By composition we obtain a morphism OF (A) →
OF (2h − D). Since (2h − D − A)h ≤ −2, it follows that such a map must be zero,
thus OF (A) → E factors through OF (D). Since (D − A)h ≤ −2, we conclude that this
morphism must be zero, thus OF (A) → E is zero too, a contradiction. We deduce that E
fits in Resolution (1) with n = 6.


18

GIANFRANCO CASNATI, ROBERTO NOTARI

8. µ–Stability and simple bundles
In this section we will deal with the stability properties of an indecomposable, initialized,
aCM bundle E of rank 2 on F with c1 (E) = 2h and c2 (E) = 8. We first recall some
facts about the moduli spaces of simple bundles and the various notions of stability and
semistability of bundles.
The slope µ(F) and the reduced Hilbert polynomial pF (t) of a bundle F on F are
µ(F) = c1 (F)h/rk(F),

pF (t) = χ(F(th))/rk(F).

The bundle F is called µ–semistable if for all subsheaves G with 0 < rk(G) < rk(F)
µ(G) ≤ µ(F),
and µ–stable if the inequality is always strict. The bundle F is called semistable (or, more
precisely, Gieseker–semistable) if for all G as above
pG (t) ≤ pF (t),
and (Gieseker) stable again if the inequality is always strict. In order to check the semistability and stability of a bundle one can restrict the attention only to subsheaves such that
the quotient is torsion–free.
We have the following chain of implications for F:
F is µ–stable ⇒ F is stable ⇒ F is semistable ⇒ F is µ–semistable.
Let E be a semistable vector bundle of rank 2 with reduced Hilbert polynomial p(t).
The coarse moduli space Mss
F (p) parameterizing S–equivalence classes of semistable rank 2
bundles on F with Hilbert polynomial p(t) is non–empty(see Section 1.5 of [16] for details
about S–equivalence of semistable sheaves). We will denote by MsF (p) the open locus
inside Mss
F (p) of stable bundles.
ss
The scheme Mss
F (p) is the disjoint union of open and closed subsets MF (2; c1 , c2 ) whose
points represent S–equivalence classes of semistable rank 2 bundles with fixed Chern classes
c1 and c2 . Similarly MsF (p) is the disjoint union of open and closed subsets MsF (2; c1 , c2 ).
By semicontinuity we can define open loci Mss,aCM
(2; c1 , c2 ) ⊆ Mss
F (2; c1 , c2 ) and
F
s,aCM
s
MF
(2; c1 , c2 ) ⊆ MF (2; c1 , c2 ) parameterizing respectively S–equivalence classes of
semistable and stable aCM bundles of rank 2 on F with Chern classes c1 and c2 .
Remark 8.1. We translate below what the various notions of stability introduced above
mean for indecomposable, initialized aCM bundle of rank 2 with c1 (E) = 2h and c2 (E) = 8
on our smooth quartic surface F ⊆ P3 .
Let OF (D) ⊆ E be such that E/OF (D) is torsion–free. Then there is a zero–dimensional
scheme Z ⊆ F and a divisor D on F such that E fits into an exact sequence of the form
(21)

0 −→ OF (D) −→ E −→ IZ|F (2h − D) −→ 0

Notice that deg(Z) = c2 (E(−D)) = D 2 − 2hD + 8. Moreover E(h) is globally generated,
the same is true for IZ|F (3h − D). Hence Z is the intersection of the divisors in |3h − D|
containing it. We can now start our translation.
Notice that µ(OF (D)) = Dh and µ(E) = 4. Thus the bundle E is µ–semistable (resp.
µ–stable) if and only if for each D as above Dh ≤ 4 (resp. Dh < 4).
Notice that the reduced Hilbert polynomials of OF (D) and E are
pOF (D) (t) = 2t2 + Dht + 2 +

D2
,
2

pE (t) = 2t2 + 4t + 2.

EXAMPLES OF RANK TWO ACM BUNDLES ON SMOOTH QUARTIC SURFACES IN P3

19

It follows that the bundle E is semistable (resp. stable) if and only if for each D as above
either Dh < 4, or Dh = 4 and D 2 ≤ 0 (resp. D 2 ≤ −2).
We already know that if E is µ–stable (resp. semistable), then it is stable (resp. µ–
semistable). The lemma below proves that also the converse is true for the bundles we are
interested in.
Lemma 8.2. Let F ⊆ P3 be a smooth quartic surface and E an indecomposable, initialized
aCM bundle of rank 2 on F with c1 (E) = 2h and c2 (E) = 8.
The bundle E is stable (resp. semistable) if and only if it is µ–stable (resp. µ–
semistable).
Proof. It remains to prove that if E is stable (resp. µ–semistable), then it is µ–stable (resp.
semistable).
The bundle E is stable, but not µ–stable if and only if it fits in Sequence (21) with D
such that Dh = 4 and D 2 ≤ −2. The bundle E is µ–semistable, but not semistable if and
only if it fits in Sequence (21) with D such that Dh = 4 and D 2 ≥ 2. Thus we will assume
that Dh = 4 and D 2 6= 0 from now on.
If Z = ∅, then 8 = c2 (E) = 8 − D 2 , hence D 2 = 0, a contradiction.
We have to examine the case Z 6= ∅. We have D 2 = D 2 − 2hD + 8 = deg(Z) ≥ 1, hence
2
D ≥ 2. It follows that E cannot be stable in this case.

Let E be µ–semistable, but not semistable, so that D 2 ≥ 2. If h0 F, IZ|F (h − D) ≥ 1,
then Z would be contained in a divisor in |h−D|. Thus D 2 −2hD +8 ≤ (h−D)(3h−D)
=

D 2 − 4, whence hD ≥ 6, a contradiction. Thus we can assume h0 F, IZ|F (h − D) = 0.
The bundle E is initialized and aCM, thus the Cohomology of Sequence (21) gives


h1 F, OF (D − h) = h0 F, OF (D − h) = 0.
It follows that D − h is not effective. Since (D − h)h = 0, it follows that OF (D − h) 6= OF ,
hence h − D is not effective too. In particular


h2 F, OF (D − h) = h0 F, OF (h − D) = 0.

Equality (4) for OF (D − h) implies D 2 = 0, a contradiction.



If E fits into Sequences either (10), or (20) with Dh = 5, then E is trivially not µ–
semistable.
Assume that E fits into Sequence either (19), or (20) with Dh = 4. The bundle E
is certainly not µ–stable. If it is not µ–semistable, then there is a divisor A on F with
Ah ≥ 5 and an injective morphism ψ : OF (A) → E. By composition we obtain a morphism
OF (A) → OF (D) which is zero because (D − A)h ≤ −1. Thus ψ factors through a
morphism OF (A) → OF (2h − D) which is again zero because (2h − D − A)h ≤ −1.
From the contradiction we deduce that such an A cannot exist. We conclude that E is
µ–semistable, hence actually semistable due to Lemma 8.2
The above discussion proves the ‘if’ part of the two assertions of the following statement.
Proposition 8.3. Let F ⊆ P3 be a smooth quartic surface and E an indecomposable,
initialized aCM bundle of rank 2 on F with c1 (E) = 2h and c2 (E) = 8.
The bundle E is strictly semistable (resp. unstable) if and only if it fits into Sequence
either (19), or (20) with Dh = 4 (resp. either (20) with Dh = 5, or (10)).
Proof. It remains to prove the ‘only if’ part of the statement. In view of Lemma 8.2 it
suffices to prove the statement with µ–semistable instead of semistable.

20

GIANFRANCO CASNATI, ROBERTO NOTARI

If E is strictly µ–semistable, then it fits in Sequence (21) with Dh = 4. By repeating
verbatim the proof of Lemma 8.2 one obtains D 2 = 0 and Z = ∅. Hence the statement is
proved in this case.
If E is strictly unstable, then it fits in Sequence (21) with Dh ≥ 5. We first assume that
Z 6= ∅. Since D 2 is even
and D 2 −2hD+8= deg(Z) ≥ 1, it follows that D 2 ≥ 2hD−6 ≥ 4.

We have h2 F, OF (D) = h0 F, OF (−D) = 0, because −hD ≤ −5, thus





D2
≥ 4.
h0 F, E − h1 F, OF (D) ≥ h0 F, OF (D) − h1 F, OF (D) = 2 +
2


Taking into account that h0 F, E = 4 we deduce that h0 F, OF (D) = 4 = D 2 and
hD = 5. The bundle E is initialized and aCM, thus the Cohomology of Sequence (21)
gives



h1 F, OF (D − h) = h0 F, IZ|F (h − D) ≤ h0 F, OF (h − D) = 0,


because (h − D)h ≤ −1. For the same reason h2 F,OF (D − h) = h0 F, OF (h − D) =
0, hence Equality (4) gives 1 = h0 F, OF (D − h) ≤ h0 F, E(−h) contradicting the
hypothesis that E is initialized.

Finally let Z = ∅. In this case 8 = c2 (E) = 2hD−D 2 . As above we have h2 F, OF (D) =
0 and 4 = h0 F, E ≥ h0 F, OF (D) , thus 4 ≥ 2 + D 2 /2 or, equivalently D 2 ≤ 4. It follows

that either D 2 =2 and Dh = 5, or D 2 = 4 and Dh = 6. Since 0 = h0 F, E(−h) ≥
h0 F, OF (D − h) , Proposition 3.3 implies that OF (D) is aCM, hence Sequence (21)
coincides with Sequence either (20) with Dh = 5, or (10).

Corollary 8.4. Let F ⊆ P3 be a smooth quartic surface.
If E is an indecomposable, initialized aCM bundle of rank 2 on F with c1 (E) = 2h and
c2 (E) = 8, then E is simple.
Proof. If E is stable, then it is simple (see [16], Corollary 1.2.8).
Assume that E is not stable. Due to Proposition 8.3, the bundle E fits into
(22)

0 −→ OF (D) −→ E −→ OF (2h − D) −→ 0

where Dh = 4, 5, 6 and pa (D) = Dh − 3 (which is equivalent to D 2 = 2Dh − 8 using
Equality (5)).

Notice that (2h − 2D)h < 0 when Dh = 5, 6, hence h0 F, OF (2h − 2D) = 0 in these
cases. The same vanishing holds also for Dh = 4 as pointed out in Remark
 6.3. The
0
cohomology of Sequence (22), twisted by OF (−D), thus implies h F, E(−D) = 1.
Assume that Sequence (22) does not split. The boundary map



H 0 F, OF −→ Ext1 OF (2h − D), OF (D) ∼
= H 1 F, OF (2D − 2h)
F

is injective. Thus if we now considerthe cohomology of Sequence
(22) twisted by OF (D −

2h), it follows that h0 F, E(D − 2h) = h0 F, OF (2D − 2h) .
We have (2D − 2h)D ≤ −4. Hence each effective divisor in |2D − 2h| splits as the sum
of D and an effective divisor in |D − 2h|. The inequality (D − 2h)h
≤ −2 implies that

such a divisor cannot exist. We conclude that h0 F, OF (2D − 2h) = 0.
Twisting Sequence
(22) by E ∨ ∼
= E(−2h) and taking its cohomology we finally deduce

0
∨
h F, E ⊗ E = 1.


Notice that indecomposable bundles fitting into Sequences (19), (20), (10), form families
isomorphic to P5 . We proved this fact in the last case of Theorem 4.1. The same proof
holds also for bundles fitting in
 Sequences (20) and (19)
 (in this last case we also need the
vanishing h0 F, OF (2h − 2D) = h0 F, OF (2D − 2h) = 0 proved in Remark 6.3).

EXAMPLES OF RANK TWO ACM BUNDLES ON SMOOTH QUARTIC SURFACES IN P3

21

Theorem 8.5. Let F ⊆ P3 be a smooth quartic surface.
The moduli space Ms,aCM
(2; 2h, 8) is non–empty, smooth and of dimension 10. The
F
ss,aCM
(2; 2h, 8) are in one–to–one correspondence with the
(2; 2h, 8) \ Ms,aCM
points in MF
F
set of unordered pairs { OF (D), OF (2h − D) } where D is a quartic curve with arithmetic
genus 1.
Proof. It is possible to define the moduli space SplF (2; 2h, 8) of rank 2 simple bundles E
on F with c1 (E) = 2h and c2 (E) = 8. If SplF (2; 2h, 8) is non–empty, then it is smooth and
it has dimension 10 (e.g see [21]).
By semicontinuity we can define the open locus Spl aCM
(2; 2h, 8) ⊆ SplF (2; 2h, 8) of
F
aCM bundles. Corollary 8.4 implies that each rank 2, aCM bundle E on F with c1 (E) = 2h
and c2 (E) = 8 represents a point inside SplaCM
(2; 2h, 8).
F
(2; 2h, 8) which is not stable. We know
Assume that E represents a point in SplaCM
F
that it fits into Sequence (22) for some divisor D with Dh = 4, 5, 6 and D 2 = 2Dh − 8.
Moreover E varies in a flat family ED over P5 due to the discussion above. In particular
we have a morphism P5 → SplaCM
(2; 2h, 8) depending on D and we denote by XD its
F
image.
We have an inclusion
[
XD ⊆ SplaCM
(2; 2h, 8).
F
D

Recall that the natural quotient map Pic(F ) → Num(F ) factors through NS(F ), thus
it induces an isomorphism Pic(F ) ∼
= NS(F ) (see [24], Paragraph (2.3)). It follows that
Pic(F ) is a finitely generated free abelian group, thus it is countable: in particular the set
of isomorphism classes of line bundles OF (D), where D is as above, is countable as well.
We deduce that the first member of the above inclusion is a countable union of proper
subvarieties of SplaCM
(2; 2h, 8), hence the inclusion above is strict. It follows that there are
F
stable bundles inside SplaCM
(2; 2h, 8). Since this moduli space contains Ms,aCM
(2; 2h, 8)
F
F
as an open subset, we deduce that this last space is non–empty and smooth, of dimension
10.
Taking into account Proposition 8.3 we know that E represents an S–equivalence class in
Mss,aCM
(2; 2h, 8) \ Ms,aCM
(2; 2h, 8) if and only if it fits into Sequence (22) with Dh = 4.
F
F
Notice that 0 ⊆ OF (D) ⊆ E is the Jordan–Hölder filtration for E. Indeed
E/OF (D) ∼
pE (t) = pO (D) (t) = pO (2h−D) (t).
= OF (2h − D),
F

F

We conclude that gr(E) ∼
= OF (D) ⊕ OF (2h − D). Hence all the bundles fitting in the
aforementioned Sequence (22) are S–equivalent and they correspond to the same point
2
(2; 2h, 8). If D is another divisor on F with Dh = 4 and D = 0, it is easy
in Mss,aCM
F
to check that OF (D) ⊕ OF (2h − D) ∼
= OF (D) ⊕ OF (2h − D) if and only if D is linearly
equivalent to either D, or 2h − D.

References
[1] E. Arbarello, M. Cornalba, P.A. Griffiths, J. Harris: Geometry of algebraic curves. Vol I, Springer,
1985.
[2] A. Beauville: Determinantal hypersurfaces. Michigan Math. J. 48 (2000), 39–64.
[3] D.A. Buchsbaum, D. Eisenbud: Algebra structures for finite free resolutions, and some structure
theorems for ideals of codimension 3. Amer. J. Math. 99 (1977), 447–485.
[4] E. Carlini, L. Chiantini, A.V. Geramita: Complete intersection points on general surfaces in P3 .
Michigan Math. J., 59 (2010), 269–281.
[5] L. Casanellas, R. Hartshorne: ACM bundles on cubic surfaces. J. Eur. Math. Soc. 13 (2011), 709–731.

22

GIANFRANCO CASNATI, ROBERTO NOTARI

[6] M. Casanellas, R. Hartshorne, F. Geiss, F.O. Schreyer: Stable Ulrich bundles. Int. J. of Math. 23
1250083 (2012).
[7] G. Casnati: On rank two aCM bundles. Preprint.
[8] G. Casnati: Rank two aCM bundles on general determinantal quartic surfaces in P3 . Preprint
arXiv:1601.02911 [math.AG]. To appear in Ann. Univ. Ferrara Sez. VII Sci. Mat..
[9] F. Catanese: Babbages conjecture, contact of surfaces, symmetric determinantal varieties and applications. Invent. Math. 63 (1981), 433–465.
[10] E. Coskun, R.S. Kulkarni, Y. Mustopa: Pfaffian quartic surfaces and representations of Clifford
algebras. Doc. Math. 17 (2012), 1003–1028.
[11] E. Coskun, R.S. Kulkarni, Y. Mustopa: The geometry of Ulrich bundles on del Pezzo surfaces. J.
Algebra 375 (2013), 280–301.
[12] D. Eisenbud, D. Herzog: The classification of homogeneous Cohen–Macaulay rings of finite representation type. Math. Ann. 280 (1988), 347–352.
[13] D. Faenzi: Rank 2 arithmetically Cohen–Macaulay bundles on a nonsingular cubic surface. J. Algebra
319 (2008), 143–186.
[14] R. Hartshorne: Algebraic geometry. G.T.M. 52, Springer (1977).
[15] D. Huybrechts: Lectures on K3 surfaces. To appear: the draft notes was freely available at
http://www.math.uni-bonn.de/people/huybrech/K3Global.pdf .
[16] D. Huybrechts, M. Lehn: The geometry of moduli spaces of sheaves. Second edition. Cambridge Mathematical Library, Cambridge U.P. (2010).
[17] J.O. Kleppe, J. Migliore, R. Miró-Roig, U. Nagel, Ch. Peterson: Gorenstein liaison, complete intersection liaison invariants and unobstructedness. Mem. Amer. Math. Soc. 154 (2001).
[18] M. Kreuzer: On 0–dimensional complete intersections. Math. Ann. 292 (1992), 43–58.
[19] C. Madonna: A splitting criterion for rank 2 vector bundles on hypersurfaces in P4 . Rend. Sem. Mat.
Univ. Pol. Torino 56 (1998), 43–54.
[20] J.C. Migliore: Introduction to liaison theory and deficiency modules. Progress in Mathematics 165,
Birkhäuser (1998).
[21] S. Mukai: Symplectic structure of the moduli space of sheaves on an abelian or K3 surface . Invent.
Math. 77 (1984), 101–116.
[22] C. Okonek, M. Schneider, H. Spindler: Vector bundles on complex projective spaces. Progress in
Mathematics 3, (1980).
[23] G. Ottaviani: Spinor bundles on quadrics. Trans. A.M.S. 307 (1988), 301–316.
[24] B. Saint–Donat: Projective models of K–3 surfaces. Amer. J. Math. 96 (1974), 602–639.
[25] K. Watanabe: The classification of ACM line bundles on a quartic hypersurface on P3 . Geom. Dedicata
175 (2015) 347–353.

Gianfranco Casnati,
Dipartimento di Scienze Matematiche, Politecnico di Torino,
c.so Duca degli Abruzzi 24, 10129 Torino, Italy
e-mail: gianfranco.casnati@polito.it
Roberto Notari,
Dipartimento di Matematica “Francesco Brioschi”, Politecnico di Milano,
via Bonardi 9, 20133 Milano, Italy
e-mail: roberto.notari@polimi.it

