RANK TWO ACM BUNDLES
ON GENERAL DETERMINANTAL QUARTIC SURFACES IN P3

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

GIANFRANCO CASNATI
This paper is dedicated to the memory of A.T. Lascu.
Abstract. Let F ⊆ P3 be a smooth determinantal quartic surface which is general in
the Nöther–Lefschetz sense. In the present paper we give a complete classification of
locally free sheaves E of rank 2 on F such that h1 F, E(th) = 0 for t ∈ Z.

1. Introduction and Notation
Throughout the whole paper we will work over an algebraically closed field k of characteristic 0 and we will denote by P3 the projective space of dimension 3 over k.
If F ⊆ P3 is a smooth surface we set OF (h) := OP3 (1) ⊗ OF . A vector bundle E on F
is called aCM (i.e. arithmetically Cohen–Macaulay) if h1 F, E(th) = 0 for t ∈ Z.
When deg(F ) ≤ 2, the well–known theorems of Horrocks and Knörrer (see [21], [1] and
the references therein) provide a complete classification of aCM bundles on F . As deg(F )
increases a complete picture is missing. It is thus interesting to better understand aCM
bundles on surfaces with deg(F ) ≥ 3.
In order to simplify our study we restrict our attention to bundles satisfying some
further technical non–restrictive conditions. First, notice that the property of being aCM
is invariant up to tensorizing by OF (th), thus we
 can consider in our
 study only initialized
bundles, i.e. bundles E such that h0 F, E(−h) = 0 and h0 F, E 6= 0. Moreover, we can
obviously focus onto indecomposable bundles, i.e. bundles which do not split in a direct
sum of bundles of lower rank.
When deg(F ) = 3 some scattered results are known. E.g., M. Casanellas and R.
Hartshorne proved that each smooth cubic surface supports families of arbitrary dimension
of non–isomorphic, indecomposable initialized aCM bundles (see [4] and [5]). Moreover,
D. Faenzi classified completely aCM bundles of rank 1 and 2 on such an F in [12]. A key
point of all the quoted papers is the complete knowledge of Pic(F ).
The case deg(F ) ≥ 4 is wide open. In this case the structure of Pic(F ) is not uniquely
determined, thus it could be very difficult to classify initialized indecomposable aCM
bundles E also in low ranks, unless assuming true some extra hypothesis on F . E.g.
if Pic(F ) is generated by OF (h) and E has rank 2 on F with c1 (E) ∼
= OF (ch), then
3 − deg(F ) ≤ c ≤ deg(F ) − 1, as essentially proved by C. Madonna (see [19]: see also [6]
where some slight improvement is explained).
We are mostly interested in the case deg(F ) = 4. In this case F is a K3 surface, thus
a lage amount of informations is available on Pic(F ). E.g. K. Watanabe in [24] classified
initialized aCM bundles of rank 1 on such an F .
2010 Mathematics Subject Classification. Primary 14J60; Secondary 14J45.
Key words and phrases. Vector bundle, Cohomology.
The author is member of the GNSAGA group of INdAM.
1

2

GIANFRANCO CASNATI

In the beautiful paper [9] E. Coskun, R.S. Kulkarni, Y. Mustopa dealt with the case of
rank 2 initialized indecomposable bundles E on F with c1 = 3h. In [8] the authors gave a
complete description of bundles with c1 = 2h: it is perhaps interesting to notice that in
this case there is a large family of quartic surfaces, the determinantal ones (i.e. surfaces
whose equation can be expressed as the determinant of a 4 × 4 matrix with linear entries),
supporting bundles whose non–zero sections do not vanish in the expected dimension.
The present paper is motivated by our interest in the classification of rank 2 initialized
indecomposable bundles E on a determinantal quartic surface F ⊆ P3 . In this case F
contains a projectively normal smooth sextic curve A of genus 3. It is thus obvious that
Pic(F ) must contain the rank 2 lattice Λ generated by h and A.
Moreover, we actually have Pic(F ) = Λ if F is general in the sense of Nöther–Lefschetz,
i.e. it represents a point of |OP3 (4)| outside a countable union of suitable proper subvarieties, due to some classic results proved in [18].
Each F satisfying the above property will be called a general determinantal quartic
surface. Theorems 6.2 and 6.5 give the complete classification of the bundles we are
interested in on such an F . For reader’s benefit we summarize such a classification in the
following simplified statement. For the complete statement see Theorems 6.2 and 6.5.
Main Theorem. Let E be an initialized indecomposable aCM bundle of rank 2 on a
general determinantal quartic surface F ⊆ P3 .
Then one of the following asseritions holds.
(i) c1 ∈ { −h, A−h, 2h−A }: then c2 = 1. The zero locus E of a general s ∈ H 0 F, E)
is a point.
(ii) c1 = 0: then c2 = 2. The zero locus E ⊆ P3 of a general s ∈ H 0 F, E) is a
0–dimensional subscheme contained in exactly one line.
(iii) c1 = h: then c2 is 3, 4, or 5. The zero locus E of a general s ∈ H 0 F, E) is
a 0–dimensional subscheme of degree c2 of a linear subspace of P3 of dimension
c2 − 2.
(iv) c1 ∈ { A, 3h − A }: then c2 is 3, or 4. In this case the zero locus E of a general
s ∈ H 0 F, E) is a 0–dimensional subscheme.
(v) c1 ∈ { A + h, 4A − h }: then c2 = 8. In this case the zero locus E of a general
s ∈ H 0 F, E) is a 0–dimensional subscheme which is contained in exactly two
linearly independent quadrics.
(vi) c1 = 2h: then c2 = 8. In this case one of the two following cases occur:
(a) the zero locus E of a general s ∈ H 0 F, E) is a 0–dimensional subscheme
which is the base locus of a net of quadrics;
(b) the zero locus E of a general s ∈ H 0 F, E) is a 0–dimensional subscheme lying
on exactly a twisted cubic;
(c) the zero locus E of each non–zero s ∈ H 0 F, E) is a divisor in either |A|, or
|3h − A|.
(vii) c1 = 3h: then c2 = 14. In this case the zero locus E of a general s ∈ H 0 F, E) is
a 0–dimensional subscheme.
Moreover, all the above cases actually occur on F .
We now explain briefly the structure of the paper. In Section 2 we recall all the facts on
a smooth quartic surface that we will need in the paper. In Section 3 we specialize to the
case of determinantal quartic surfaces. In Section 4 we list a series of examples. In Section
5 we deal with the zero–locus of the sections of initialized indecomposable aCM bundles
of rank 2 on F , proving that it is 0–dimensional, but the two cases which we mentioned

RANK TWO ACM BUNDLES ON GENERAL DETERMINANTAL QUARTIC SURFACES IN P3

3

before. Finally, in Section 6 we prove the above Main Theorem, showing that the list of
examples in Section 4.
The author would like to thank F. Galluzzi for several helpful discussions and the referee,
whose comments helped to considerably improve the exposition of the paper.
For all the notations and unproven results we refer to [13].
2. Preliminary results
In this section we will recall some preliminary facts about vector bundles on a smooth
quartic surface F ⊆ P3 , most of them collected from several papers (see [10], [22], [24] and
[14]).
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 [22]. The first important fact is that Serre duality
for each locally free sheaf F on F becomes


hi F, F = h2−i F, F ∨ ,
i = 0, 1, 2.
Moreover Riemann–Roch theorem on F is



c1 (F)2
− c2 (F).
(1)
h0 F, F + h2 F, F = h1 F, F + 2rk(F) +
2
In particular, if D is a divisor with D2 ≥ −2, then either
effective.
 D 0or −D is necessarily

2
If D is an effective divisor on F , then h F, OF (D) = h F, OF (−D) = 0. Moreover



h1 F, OF (D) = h1 F, OF (−D) = h0 D, OD − 1
(see [22], Lemma 2.2). It follows that for each irreducible divisor D on F , the dimension
of |D| and the arithmetic genus of D satisfy
(2)


D2
,
h0 F, OF (D) = 2 +
2

deg(D) = Dh,

pa (D) = 1 +

D2
,
2

(see [22], Paragraph 2.4). In particular, the unique irreducible and reduced fixed divisors
D on F satisfy D2 = −2, thus they are smooth rational curves.
We summarize the other helpful results we will need in the following statement.
Proposition 2.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.
(i) D2 ≥ 0 and OF (D) is globally generated.
(ii) If D2 > 0, then
 the general element of |D| is irreducible and smooth: in this case
h1 F, OF (D) = 0.
(iii) If D2 = 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 [22], Proposition 2.6 and Corollary 3.2.



Now we turn our attention to aCM line bundles on F recalling a very helpful result
from [24]. 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 result from [24] is the following statement.

4

GIANFRANCO CASNATI

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


(iv) D2 = 4, hD = 6 and h0 F, OF (D − h) = h0 F, OF (2h − D) = 0.
Proof. See [24], 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
Nöther–Lefschetz theorem. In particular, for each line bundle OF (D) on F one has that
both Dh and D2 are positive multiples of 4.

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. We recall the following helpful fact.
Lemma 2.3. 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
0 −→ IF |P3 −→ ID|P3 −→ ID|F −→ 0.

Since IF |P3 ∼
ID|F ∼
OF (−D), it follows that h1 P3 , ID|P3 (t) = 0 if and
= OP3 (−4) and
=


only if h1 F, OF (D − th) = h1 F, ID|F (th) = 0.

We conclude this section by recalling some further facts facts on vector bundles on a
smooth quartic surface F ⊆ P3 .LLet F be a vector
 bundle on F : we can consider it as
a sheaf over P3 , thus H∗0 (F) := t∈Z H 0 F, F(th) is also a module over the polynomial
ring S := k[x0 , x1 , x2 , x3 ]. For the following fact see [4], Theorem 3.1.
Lemma 2.4. Let F be an initialized aCM bundle of rank r on a smooth quartic surface
F ⊆ P3 .
The minimal number of generators of H∗0 (F) as a module over S is at most 4r.
Definition 2.5. Let F be an initialized aCM bundle of rank r on a smooth quartic surface
F ⊆ P3 .

We say that F is Ulrich if it is initialized, aCM and h0 F, F = 4r.
Remark 2.6. If F is Ulrich, then it is globally generated by Lemma 2.4. More generally,
Ulrich bundles on F of rank r are exactly the bundles F on F such that H∗0 (F) has linear
minimal free resolution over S (see [4], Proposition 3.7).
Sheafifying such a resolution we thus obtain an exact sequence
0 −→ OP3 (−1)⊕4r −→ OP⊕4r
−→ F −→ 0.
3
3. The general smooth determinantal quartic surfaces
In this section we will summarize some facts about the smooth determinantal quartic
surfaces in P3 . We will denote by f the polynomial defining F .

RANK TWO ACM BUNDLES ON GENERAL DETERMINANTAL QUARTIC SURFACES IN P3

5

Proposition 3.1. Let F ⊆ P3 be a smooth quartic surface.
The following assertions are equivalent.
(i) The polynomial f defining F is the determinant of a 4 × 4 matrix Φ with linear
entries.
(ii) There exists a line bundle OF (A) such that the sheafified minimal free resolution
of H∗0 (OF (A)) has the form
ϕ

0 −→ OP3 (−1)⊕4 −→ OP⊕4
3 −→ OF (A) −→ 0.

(3)

(iii) There exists an initialized aCM line bundle OF (A) with A2 = 4.
(iv) There exists a smooth integral sextic curve A ⊆ F of genus 3 which is not hyperelliptic.
(v) There exists a smooth integral sextic curve A ⊆ F of genus 3 which is projectively
normal in P3 .
(vi) There exists a smooth integral sextic curve A ⊆ F of genus 3 such that


h0 F, OF (2h − A) = h0 F, OF (A − h) = 0.
Proof. Assertion (i) is equivalent to assertions (ii), (iv), (v) due to Corollaries 1.8, 6.6 and
Proposition 6.2 of [2]. Assertions (iii) and (vi) are equivalent thanks to Proposition 2.2.
Assertion (ii) implies (iii). Indeed, we have
A2
= χ(OF (A)) = 4(χ(OP3 ) − χ(OP3 (−1))) = 4,
2

thus A2 = 4. Conversely, h0 F, OF (A) = 4 for each initialized aCM line bundle with
A2 = 4. Hence, OF (A) is Ulrich, thus it fits into Sequence (3) (see e.g. Proposition 3.7 of
[4]).

2+

Remark 3.2. Let F be determinantal, so that we have Sequence (3). Its dual is
tϕ

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

because Ex t1P3 OF (A), OP3 ∼
= OF (4h − A).
Thus also the general element in |3h − A| is a curve enjoying the same properties as A.
Notice that OF (3h − A) 6∼
= OF (A), because (3h − A)A = 14 6= 4 = A2 .
(4)

From the above results we deduce that if the polynomial f defining the smooth quartic
surface F is the determinant of a 4 × 4 matrix with linear entries, then Pic(F ) contains
the even sublattice Λ generated by h and A such that h2 = A2 = 4 and hA = 6.
By definition the general element in |h| is an irreducible smooth plane curve of degree
4. Thanks to Proposition 3.1 the general element in |A| is an integral smooth projectively
normal curve of degree 6 and genus 3(see Equalities (2)).
Conversely, let A ⊆ P3 be an integral projectively normal sextic of genus 3. We know
that each smooth quartic surface F ⊆ P3 containing A is necessarily determinantal.
 The
minimal degree of a surface containing such an A is 3, because h0 F, OF (2h − A) = 0.
Moreover OF (4h − A) is globally generated (see e.g. Sequence (4)), thus the general
element in |OF (4h − A)| is integral. It follows that Pic(F ) = Λ due to [18], Theorem
II.3.1, if F is general in the Nöther–Lefschetz sense.
From now on, we will assume that the surface F has the above property and we will
call it a general determinantal quartic surface.
When we will consider such a surface F , we will always denote by OF (A) a line bundle
corresponding to a projectively normal sextic of genus 3 on F . Notice that there is an

6

GIANFRANCO CASNATI

ambiguity because, as we pointed out above, the line bundle OF (3h − A) has the same
properties as OF (A).
In order to complete the picture, we recall that not all determinantal quartic surfaces
F ⊆ P3 satisfy rk(Pic(F )) = 2.
E.g. a smooth quartic surface F ⊆ P3 containing a twisted cubic curve T and a line
E without common points is determinantal (see [11], Exercise 4.14). Indeed the union
of T with any plane cubic linked to E define a linear system whose general element A
is a projectively normal sextic of genus 3. It is easy to check that h, T , E are linearly
independent in Pic(F ), thus rk(Pic(F )) ≥ 3 in this case.
In [7] the authors construct many examples of determinantal quartic surfaces F ⊆
P3 with rk(Pic(F )) = 3 and show that even the classification of indecomposable Ulrich
bundles of rank 2 on them seems to be highly non–trivial.
Remark 3.3. A first interesting fact is that if D ∈ |xh + yA|, then
(5)

D2 = 4x2 + 12xy + 4y 2 ,

Dh = 4x + 6y,

DA = 6x + 4y.

More precisely it is very easy to check the following assertions:
(i) D2 ≡ 0 (mod 16) if and only if both x and y are even;
(ii) D2 ≡ 4 (mod 8) if and only if x and y are not simultaneously even.
The two above assertions imply that D2 is always a multiple of 4. Thus Equality (1) imply
that χ(OF (D)) is even. Moreover, Equalities (5) imply that the equation D2 = 0 has no
non–trivial integral solutions, thus:
(iii) D2 = 0 if and only if D = 0.
Irreducible and reduced fixed divisors D on F satisfy D2 = −2 (see the last Equality (2)),
which is not a multiple of 4. It follows that there are no fixed divisors on F . In particular
DU ≥ 0 for each divisor U ⊆ F , hence (see Equalities (5)):
(iv) DU ≥ 0 is even for each divisor U ⊆ F .
Combining the above assertions with Proposition 2.1, we deduce the following consequence:
(v) each element in |h|, |A|, |3h − A| is certainly integral (but maybe singular).
Looking at Remark 3.3 we know that the following result holds.
Lemma 3.4. Let F ⊆ P3 be a general determinantal quartic surface.
If the divisor D on F is effective, then |D| has no fixed components.

In particular for each effective divisor D on F we have D2 ≥ 0 and h0 F, OF (D) ≥ 2.
Moreover, if D 6= 0, then from Remark 3.3 we know that D2 6= 0, whence D2 ≥ 4 and
h0 F, OF (D) ≥ 4. Finally, the ampleness of h implies Dh ≥ 2.
The above discussion partially proves the following result.
Lemma 3.5. Let F ⊆ P3 be a general determinantal quartic surface.
The divisor D on F is effective if and only if either D = 0, or Dh ≥ 2 and D2 ≥ 4.
Proof. The ‘only if’ part was proved above. Assume that Dh ≥ 2 and D2 ≥ 4. Either D
or −D is effective, because D2 ≥ −2. We have (−D)h = −2, thus −D is not effective. we
conclude that D is effective.

Remark 3.6. Thus D ∈ |xh + yA| is effective if and only if either (x, y) = (0, 0), or
x2 + 3xy + y 2 ≥ 1,

2x + 3y ≥ 1.

RANK TWO ACM BUNDLES ON GENERAL DETERMINANTAL QUARTIC SURFACES IN P3

7

The above inequalities give the closed connected subset of the affine plane with coordinates
x and y not containing the point (x, y) = (0, 0) and whose border is the graph of the
function
√
−3x + 5x2 + 4
y=
2
2
(the ‘upper branch’ of the hyperbola x + 3xy + y 2 = 1).
Proposition 2.1 and the above Lemmas 3.4 and 3.5 prove the following corollary.
Corollary 3.7. Let F ⊆ P3 be a general determinantal quartic surface.
The divisor D on F is effective if and only if OF (D) is globally generated.
4. Examples of rank 2 aCM bundles
In this section we briefly recall Hartshorne–Serre correspondence, listing some examples
of rank 2 aCM bundles on general determinantal quartic surfaces.
Let E be a rank 2 vector bundle on a smooth quartic surface F ⊆ P3 with Chern classes
ci := ci (E), i = 1, 2. If s ∈ H 0 F, E is non–zero, then its zero–locus E := (s)0 ⊆ F has
codimension at most 2.
We can write (s)0 = E ∪ D where E has pure codimension 2 (orit is empty) and D is
a possibly zero divisor. We thus obtain a section σ ∈ H 0 F, E(−D) vanishing exactly on
E. The Koszul complex of σ gives the following exact sequence
(6)

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

The degree of E is c2 (E(−D)).
Bertini’s theorem for the sections of a vector bundle guarantees that
 if E is globally
generated (e.g. if E is Ulrich), then D = 0 for the general s ∈ H 0 F, E .

Assume that the divisorial part D of (s)0 is not empty for general s ∈ H 0 F, E . We
can define a rational map H 0 F, E) 99K Pic(F ) defined by s 7→ OF (D). Since Pic(F ) is
discrete, it follows that such a map is constant. Thus the divisorial part of the zero–loci
of the sections in a suitable non–empty subset of H 0 F, E) are linearly equivalent.
The above construction can be reversed. To this purpose we give the following well–
known definition.
Definition 4.1. Let F ⊆ P3 be a smooth quartic surface and let G be a coherent sheaf
on F .
We say that a locally complete intersection subscheme E ⊆ F of dimension zero is
0
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 0 |F ⊗ G is an isomorphism.
For the following result see Theorem 5.1.1 in [15].
Theorem 4.2. Let F ⊆ P3 be a smooth quartic 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 L.

If such an E exists, then it is unique up to isomorphism if h1 F, L∨ = 0.
Let F ⊆ P3 be a smooth quartic surface. We recall that in [9] the author proved the
existence on F of aCM bundles E with c1 (E) = 3h and c2 (E) = 14. To this purpose the
authors proved the existence of suitable sets of 14 points which are CB with respect to
OF (3h).

8

GIANFRANCO CASNATI

Similarly, in [8] the author proved the existence on F of aCM bundles E with c1 (E) = 2h
and c2 (E) = 8. Essentially two cases are possible.
In the first case, the zero–locus of a general section of E has pure dimension 0: this case
occurs without further hypothesis on F .
In the second case, the zero–loci of non–zero sections of E define a linear system |D|
0
whose general element
 is a smooth integral sextic of genus 3 such that h F, OF (D −h) =
0
h F, OF (2h − D) = 0. In particular F must be a determinantal quartic surface in this
second case.
Due to the results listed in the previous section we know that this case can occur only
if F is determinantal. In particular it occurs when F is a general determinantal quartic
surface F .
We now construct examples of rank 2 aCM bundles starting from suitable sets of points
E ⊆ F . Recall that for each closed subscheme X ⊆ F we have an exact sequence
(7)

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

In what follows we will present a series of examples of initialized indecomposable aCM
rank 2 bundles on a quartic surface F ⊆ P3 with plane section h. We stress that the
bundles defined in Examples 4.3 and 4.4 exist on each smooth quartic surface.
Example 4.3. Let E ⊆ F be a 0–dimensional subscheme arising as follows:
• m = 3 E is the complete intersection of a line and a cubic surface;
• m = 4 E is the complete intersection of two conics inside a plane;
• m = 5 E is the degeneracy locus of a 5 × 5 skew symmetric matrix ∆ with linear
entries.
It is clear that E is CB with respect to OF (h) in the first two cases. In the third one, a
minimal free resolution of H∗0 (OE ) over P3 is given by the Buchsbaum–Eisenbud complex
(see [3]). Thus again E is CB with respect to OF (h) thanks to Lemma (4.2) of [23].
Theorem 4.2 thus yields the existence of a rank 2 bundle E fitting into Sequence (6)
with c1 = h, c2 = m and D = 0, i.e.
(8)

0 −→ OF −→ E −→ IE|F (h) −→ 0,

The cohomology of the above sequence twisted by OF (−h) gives



h2 F, E = h0 F, E ∨ = h0 F, E(−h) = 0,
i.e. E is initialized and the cohomology of Sequence (8) yields the exact sequence.



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


By definition h0 F, IE|F (h) = 5 − m, whence h1 F, IE|F (h) = 1, from the cohomology

of Sequence (7). We conclude that h1 F, E = 0.
The cohomology of Sequence (8) twisted by OF (th) gives


h1 F, E(th) = h1 F, IE|F ((t + 1)h) ,
t ≥ 1.
In the cases m = 3, 4 the minimal free resolution of H∗0 (OE ) over P3 is given by a
Koszul complex. In the case m = 5, it is given by the Buchsbaum–Eisenbud complex as
already pointed out above. In any case it is easy to checkthat the Hilbert function
of E is

(1, m − 1, m, . . . ), hence the natural map H 0 F, OF (th) → H 0 E, OE (th) is surjective

RANK TWO ACM BUNDLES ON GENERAL DETERMINANTAL QUARTIC SURFACES IN P3

9


for t ≥ 1, thus h1 F, IE|F (th) = 0, in the same range (see the cohomology of Sequence

(7)). We conclude that h1 F, E(th) = 0 for t ≥ 0. By duality



h1 F, E(th) = h1 F, E ∨ (−th) = h1 F, E((−t − 1)h) = 0,
−t − 1 ≥ 0,
i.e. t ≤ −1. We conclude that E is aCM.
If E ∼
= OF (U ) ⊕ OF (V ), then U + V = h and c2 = U V which is even (see Remark 3.3).
Moreover both OF (U ) and OF (V ) are aCM and at least one of them must be initialized,
the other being either initialized or without sections.
Let OF (U ) be initialized. If U = A, then V = h − A, thus U V = 2 < 3 ≤ c2 . The case
U = 3h − A can be excluded in the same way. If U = 0, then V = h, a contradiction. We
conclude that E is indecomposable.
Example 4.4. Let E ⊆ F be a set of m = 1, 2 points. Then E is trivially CB with
respect to OF ((m − 2)h), thus there is a rank 2 bundle E fitting into Sequence (6) with
c1 = (m − 2)h, c2 = m and D = 0.
As in the Example 4.3 one easily checks that such an E is aCM, initialized and indecomposable.
For all the following examples we obviously need to restrict to a determinantal quartic
surface F ⊆ P3 . As usual h denotes the class of the plane section and A the class of a
projectively normal integral sextic curve of genus 3 on F .
Example 4.5. Let E ⊆ F be a single point. The line bundle OF (A − h) is not effective,
thus E is again trivially CB with respect to OF (A − h). In particular there is a rank 2
bundle E fitting into an exact sequence of the form
(9)

0 −→ OF −→ E −→ IE|F (A − h) −→ 0,


The cohomology of Sequence (9) twisted by OF (−h) gives h0 F, E(−h) = 0, because
OF (A − 2h) is not effective. Thus E is initialized. The same
 sequence twisted by OF (th)
also yields the existence of an injective map H 1 F, E(th) → H 1 F, IE|F (A + (t − 1)h)
for each t.
The cohomology of Sequence (7) twisted by OF (A + (t − 1)h) yields h1 F, IE|F (A + (t −


1)h) = 0 for t ≥ 1. Hence h1 F, E(th) = 0, for t ≥ 1.

The cohomology of Sequence (7) twisted by OF (−th) yields h1 F, IE|F (−th) = 0 for
t ≤ 0. Sequence (9) yields the existene of surjective maps


H 1 F, OF ((1 − t)h − A) → H 1 F, E ∨ (−th) ,
t ≤ 0.


Since OF (A) is aCM, the same is true for OF (−A), thus h1 F, E(th) = h1 F, E ∨ (−th) =
0 for t ≤ 0. We conclude that E is aCM.
If E ∼
= OF (U ) ⊕ OF (V ), then c2 = U V which is even (see Remark 3.3). Since c2 = 1, it
follows that E is indecomposable. Finally c1 = A − h by construction.
Substituting A with 3h − A in the above construction we are also able to construct an
example of initialized indecomposable aCM bundle of rank 2 with c1 = 2h − A.
We can construct two more bundles. Indeed, E ∨ (h) is indecomposable and aCM too.
Moreover the cohomology of Sequence (9) suitably twisted also implies that E ∨ (h) is
initialized. Computing the Chern classes of E ∨ (h) we obtain c1 = 3h − A and c2 = 3.
Again the substitution of A with 3h − A gives an example of initialized indecomposable
aCM bundle of rank 2 with c1 = A and c2 = 3.

10

GIANFRANCO CASNATI

Example 4.6. The curve A ⊆ F has genus 3 and it is not hyperelliptic (see Proposition
3.1), thus it supports infinitely many complete g41 . Fix a smooth divisor E in one of these
⊕2
g41 . The natural composite map OF⊕2 → OA
→ OA (E) is surjective on global sections and
its kernel is a vector bundle F on F . The bundle E := F ∨ is called the Lazarsfeld–Mukai
bundle of OA (E). By definition we have the exact sequence
(10)

0 −→ E ∨ −→ OF⊕2 −→ OA (E) −→ 0.

Clearly c1 = A and c2 = 4. In what follows we will
show
that E is aCM.
 quickly

1
1
∨
The cohomology Sequence (10) yields h F, E = h F, E = 0 by definition. Twisting
Sequence (10) by OF (−th), taking
its cohomology we also obtain h1 F, E(−th) = 0 for

t ≥ 1, because h0 A, OA (E−th) = 0, due to the inequality deg(OA (E−th)) = 4−6t ≤ −2
in the same range.

We have Ex t1F OA (E), OF ∼
=
= ωA (−E). Adjunction formula on F thus implies ωA ∼
OA (A), hence the dual of Sequence (10) is
(11)

0 −→ OF⊕2 −→ E −→ OA (A − E) −→ 0.

Thus, also for t ≥ 1, we obtain



h1 F, E(th) ≤ h1 A, OA (A − E + th) = h0 A, OA (E − th) = 0.
We conclude that E is aCM. The
 cohomology of Sequence (11) twisted by OF (−h) and
the vanishing h0 A, OA (E − h) = 0 (see above) also imply that E is initialized.
Assume that E ∼
= OF (U ) ⊕ OF (V ). We thus have U + V = A and U V = 4. As in
Example 4.3 we can assume that OF (U ) is aCM and initialized and that OF (V ) is either
initialized or without sections. If U = A, then V = 0, whence U V = 0 a contradiction.
Similarly U 6= 0. If U = 3h − A, then V = 2A − 3h and again U V = 0.
The same argument with 3h − A instead of A yields the existence of initialized indecomposable aCM bundles of rank 2 with c1 = 3h − A and c2 = 4.
Also in this case we can construct two more bundles. Indeed E ∨ (h)
 is indecomposable

and aCM too. Moreover, Equality (1) and the vanishing h2 F, E ∨ (th) = h0 F, E(−th) =
0, t = 1, 2, return


h0 F, E ∨ (h) = 0,
h0 F, E ∨ (2h) = 6.
It follows that E ∨ (2h) is initialized. For such a bundle c1 = 4h − A and c2 = 8. The
substitution of A with 3h − A gives an example of initialized indecomposable aCM bundle
of rank 2 with c1 = A + h and c2 = 8.
It is interesting to notice that the bundle E (hence also E ∨ (2h)) described above has
an interesting property. Indeed, one can prove using Lemma 2.4 of [16] that both OF (A),
and OF (3h − A) are very ample on F , thus they define two other different embeddings
F ⊆ P3 with respective hyperplane line bundles OF (A) and OF (3h − A). Proposition 2.3
of [25] guarantees that E is aCM also for these embeddings: indeed, it is the bundle with
m = 4 of Example 4.3 with respect to these embeddings.
5. On the zero–locus of general sections
In this section we will assume that F ⊆ P3 is a general determinantal quartic surface.
Lemma 5.1. Let E be an indecomposable aCM bundle of rank 2 on a general determinantal
quartic surface F⊆ P3 .
If s ∈ H 0 F, E , then (s)0 6= ∅.

RANK TWO ACM BUNDLES ON GENERAL DETERMINANTAL QUARTIC SURFACES IN P3

11

Proof. Assume that (s)0 = ∅. Then Sequence (6) becomes
0 −→ OF −→ E −→ OF (c1 ) −→ 0,


where h1 F, OF (c1 ) = h1 F, OF (−c1 ) 6= 0, because E is indecomposable.
The coho
mology of the above sequence gives a monomorphism H 1 F, OF (c1 ) → H 2 F, OF , thus
h1 F, OF (c1 ) = 1.
Remark 3.3 and Equality (1) imply that χ(OF (c1 )) is even, thus either OF (c1 ) or
OF (−c1 ) is effective. Hence c21 ≥ 4 (see Lemma 3.5), thus h1 F, OF (c1 ) = 0 (see Lemma
3.4 and Proposition 2.1), a contradiction.




Trivially h1 F, E ∨ (2h) = 0: moreover h2 F, E ∨ (h) = h0 F, E(−h) = 0. The above
vanishings prove the following lemma.
Lemma 5.2. Let E be an initialized, indecomposable aCM bundle of rank 2 on a general
determinantal quartic surface F ⊆ P3 .
Then E ∨ (3h) is regular in the sense of Castelnuovo–Mumford. In particular, both E ∨ (3h)
and OF (6h − c1 ) are globally generated.

Let E be as above. If s ∈ H 0 F, E is a non–zero section, then (s)0 6= ∅. From now on
we will assume that (s)0 = E ∪ D where E has pure dimension 0 (or it is empty) and D
is an effective divisor.

Notice that the cohomology of Sequence (6) gives an injective map H 0 F, OF (D−h) →
H 0 F, E(−h) , thus OF (D) is initialized too, or, in other words, OF (D−h) is not effective.
Now assume that c1 = xh + yA is effective. It follows from Lemma 5.2 and Remark 3.6
that c1 is either 0, or 6h, or the inequalities
y 2 + 3xy + x2 ≥ 1,

2x + 3y ≥ 1,

y 2 − 3(6 − x)y + (6 − x)2 ≥ 1,

2(6 − x) − 3y ≥ 1,

must hold. Thus, in the latter case, the point (x, y) must lie in the region delimited by
the graphs of the two functions
p
√
3(6 − x) − 5(6 − x)2 + 4
−3x + 5x2 + 4
,
y=
.
y=
2
2
By drawing the graphs of the above functions (we made such computations using the
software Grapher), we obtain Picture 1 below.
3

2

1

-2

-1

0

1

2

3

4

-1

-2

-3

Figure 1

5

6

7

8

12

GIANFRANCO CASNATI

The values of c1 we are interested in are in the region bounded by the graphs of the
two functions above, plus the two points (0, 0) and (6, 0) (see above). Thus c1 is in the
following list:
(12)

0,

A, 2A, h, h + A, 2h, 2h + A, 3h − A, 3h, 3h + A,
4h − A, 4h, 5h − A, 5h, 6h − 2A, 6h − A, 6h.

We are ready to prove the main result of the present section.
Theorem 5.3. Let E be an initialized indecomposable aCM bundle of rank 2 on a general
3
determinantal quartic
 surface F ⊆ P .
0
Let s ∈ H F, E and (s)0 = E ∪ D be as above. Then exactly one of the following cases
occurs:
(i) c1 − D is effective;
(ii) E is a point, D = 0 and c1 is not effective;
(iii) E = ∅, D ∈ |A| ∪ |3h − A| and c1 = 2h.
Proof. Let c1 − D be effective. It is obviously true that c1 is effective, thus case (ii) above
cannot occur.
If c1 = 2h and D ∈ |A| ∪ |3h − A|, then c1 − D is not effective, because (2h − A)2 =
(A − h)2 = −4, (see Lemma 3.5). It turns out that case (iii) above cannot occur as well.
In order to complete the proof we can thus assume that c1 − D is not effective proving
that case either (ii), or (iii) must hold. The cohomology of Sequence (7) for X := E
twisted by OF (c1 − D) implies

h1 F, IE|F (c1 − D) ≥ deg(E).
The cohomology of Sequence (6) implies



h1 F, IE|F (c1 − D) ≤ h2 F, OF (D) = h0 F, OF (−D) .
If D = 0, then c1 is not effective. We have E 6= ∅ due to Lemma 5.1. Moreover


1 ≤ deg(E) ≤ h1 F, IE|F (c1 ) ≤ h0 F, OF = 1,
thus equality must hold. It follows that E is a point.
If D 6= 0, then


deg(E) ≤ h1 F, IE|F (c1 − D) ≤ h0 F, OF (−D) = 0,
because D is effective and non–zero. Thus E = ∅ and Sequence (6) becomes
0 −→ OF (D) −→ E −→ OF (c1 − D) −→ 0.

The cohomology ofthe above sequence gives surjective maps H 0 F, OF (c1 − D + th) →
H 1 F, OF (D + th) , for t ∈ Z. It follows that h1 F, OF (D + th) = 0 for each t ≤ 0.
Moreover D is effective, thus h1 F, OF (D + th) = 0 also for t ≥ 1. We conclude that D
is aCM.
We already know that OF (D) is initialized, because the same is true for E. Due to
Proposition 2.2 and Lemma 3.5 the only initialized aCM line bundles OF (xh + yA) 6∼
= OF
2
on F satisfy the equalities (xh + yA) = 4 and (xh + yA)h = 6, which are equivalent to
the system
x2 + 3xy + y 2 − 1 = 2x + 3y − 3 = 0.
The unique solutions of this system correspond exactly to A and 3h − A.

RANK TWO ACM BUNDLES ON GENERAL DETERMINANTAL QUARTIC SURFACES IN P3

13

If c1 is effective, then it is in the List (12). Taking into account that c1 − D is not
effective, it follows that D is non–zero, whence E = ∅ from the above discussion. The pair
(c1 , D) must be either (2h, A), or (2h, 3h − A), or it is in the following list;
(0, 3h − A),

(0, A),

(h + A, 3h − A),
(3h − A, A),

(A, 3h − A),

(2h + A, 3h − A),

(4h − A, A),

(2A, 3h − A),
(h, 3h − A),

(h, A),

(5h − A, A),

(6h − 2A, A).

In order to complete the proof of the theorem we have to show that all the cases in the
above list cannot occur. We will examine the cases one by one.
Let (c1 , D) = (0, A). Sequence (6) becomes
0 −→ OF (A) −→ E −→ OF (−A) −→ 0,

which splits, because h1 F, OF (2A) = 0, contradicting the indecomposability of E. The
same argument can be used to exclude also the case (0, 3h − A).
Let (c1 , D) = (h, A). Sequence (6) becomes
0 −→ OF (A) −→ E −→ OF (h − A) −→ 0.


Since (2A −
= −4, we deduce that h0 F, OF (2A − h) = h1 F, OF (2A − h) = 0.
Equality (1) thus yields h1 F, OF (2A − h) = 0, hence the above sequence must split,
again a contradiction. The same argument also excludes the case (h, 3h − A).
2
Let (c1 , D) = (A,3h − A). Since (2A − 3h)2 = (3h
that both
 − 02A) = −20, we deduce

0
2
h F, OF (2A − 3h) = 0, and h F, OF (2A
−
3h)
=
h
F,
O
(3h
−
2A)
=
0.
It follows
F



1
1
2
from Equality (1)that h F, OF (2A−3h) = 8. Since h F, OF (A) = h F, OF (A) = 0,
it follows h1 F, E = h1 F, OF (2A − 3h) 6= 0 from the cohomology of Sequence (6).
The same argument can be also used to exclude the cases (2A, 3h − A), (A + h, 3h − A),
(3h − A, A), (4h − A, A), (6h − 2A, A). In the cases (A + 2h, 3h − A), (5h − A, A) we must
modify slightly the above argument by taking the cohomology of Sequence (6) twisted by
OF (−h).



Remark 5.4. We have h1 F, OF (2A − 2h) = h1 F, OF (4h − 2A) = 6, thus there exist
indecomposable extensions
h)2

0 −→ OF (A) −→ E −→ OF (2h − A) −→ 0,
0 −→ OF (3h − A) −→ E −→ OF (A − h) −→ 0.
Both OF (A) and OF (−A) are aCM, thus the same is true for the above bundles E and it is
easy to check that such bundles E are initialized as well. As pointed out in [8], Theorem 4.1
and Remark 4.2, we know that such bundles are indecomposable and that each non–zero
section of the above bundles vanishes on a divisor in |A| and |3h − A| respectively.
6. Proof of the main Theorem
In this section we will prove the main theorem stated in the introduction. We will first
give the proof when c1 is not effective, then we will examine the case of effective c1 .

6.1. The case of non–effective c1 . If s ∈ H 0 F, E and (s)0 = E ∪ D, thanks to the
previous Theorem 5.3, we know that D = 0 and E is a point.
Lemma 6.1. Let E be an initialized indecomposable aCM bundle of rank 2 on a general
determinantal quartic surface F ⊆ P3 .
If c1 is not effective, then c1 + h is effective.

14

GIANFRANCO CASNATI

Proof. If c1 is not effective, then D = 0. Twisting Sequence (6) by OF (−c1 + th), we
obtain
(13)

0 −→ OF (D − c1 + th) −→ E ∨ (th) −→ IE|F (th − D) −→ 0.

The cohomology of Sequence (13) with t = −1 yields



h0 F, OF (c1 + h) = h2 F, OF (−c1 − h) ≥ h1 F, IE|F (−h) .
We also know that deg(E)
= 1, hence the cohomology of Sequence (7) twisted by OF (−h)

1
yields h F, IE|F (−h) = 1.

Assume that c1 = xh + yA. It follows from Lemmas 5.2 and 6.1 that either c1 = −h,
or the inequalities
y 2 + 3(x + 1)y + (x + 1)2 ≥ 1,
2

2

y − 3(6 − x)y + (6 − x) ≥ 1,

2(x + 1) + 3y ≥ 1,
2(6 − x) − 3y ≥ 1,

must hold. We obtain a picture similar to Figure 1, with the bottom branch of hyperbola,
shifted by −1 in the vertical direction. The admissible values of c1 correspond either to
(−1, 0), or to the integral points (x, y) in the bounded region such that either y 2 +3xy+x2 ≤
0 or 2x + 3y ≤ 0, because c1 is not effective. Thus c1 is in the following list:
(14)

− h,

3A − 2h,

A − h,

2A − h,

2h − A,

5h − 2A,

7h − 3A.

Theorem 6.2. Let E be an initialized indecomposable aCM bundle of rank 2 on a general
determinantal quartic surface F ⊆ P3 .
If c1 is not effective, then c1 ∈ { −h, A − h, 2h − A }. The zero locus E of a general
s ∈ H 0 F, E) is a point. Moreover all these cases occur on F , and E is never Ulrich.
Proof. We know that the above three cases occur thanks to Examples 4.4 and 4.5.
Looking at List (14) it remains to exclude the cases 3A − 2h, 2A − h, 5h − 2A, 7h − 3A.
Recall that D = 0 and deg(E) = 1.


2 = −20, thus h0 F, O (3h − 2A) = h1 F, O (3h − 2A) = 0, hence
We have (3h − 2A)
F
F


h1 F, OF (3h−2A) = 8 (see Equality (1)). Thus we obtain h1 F, IE|F (3h−2A) = 9 from
the cohomology of Sequence (7) twisted by OF (3h − 2A). The cohomology of Sequence
(6) gives the exact sequence



0 −→ H 1 F, E −→ H 1 F, IE|F (3h − 2A) −→ H 2 F, OF ,
hence h1 F, E) ≥ 8, a contradiction. One can argue similarly
when c1 = 7h −3A.

0
Let c1 = 2A − h. We trivially have h F, IE|F (h) = 3 and h1 F, IE|F (h) = 0, hence
the cohomology of Sequence (6) twisted by OF (2h − 2A) gives the exact sequence



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

Since (2h − 2A)2 = −16, as usual we deduce that h1 F, IE|F (2h − 2A) ≥ 6, hence

h1 F, E(h) ≥ 3 necessarily, a contradiction. The same argument excludes the case c1 =
5h − 2A.
Finally, notice that if c1 is not effective, then E is not globally generated, thus it cannot
be Ulrich (see Remark 2.6).

Remark 6.3. Let E be as in the statement above. We know that it fits into Sequence (6)
with D = 0. Since



h1 F, OF (h) = h1 F, OF (h − A) = h1 F, OF (A − 2h) = 0

RANK TWO ACM BUNDLES ON GENERAL DETERMINANTAL QUARTIC SURFACES IN P3

15

it follows that such a bundle is necessarily unique once the point is fixed. Thus E actually
coincides with the bundles constructed in Examples 4.4 and 4.5.

6.2. The case of effective c1 . If s ∈ H 0 F, E and (s)0 = E ∪ D, thanks to the previous
Theorem 5.3, we know that c1 − D is effective, unless c1 =
 2h and D 6= 0.
Lemma 2.4 and Remark 2.6 imply that 1 ≤ h0 F, E ≤ 8, because E is initialized.
Moreover equality holds if and only if E is Ulrich. If this is the case D = 0 for a general
choice of s (see again Remark 2.6).

Assume D 6= 0. We have 1 ≤ h0 F, E ≤ 7, then the cohomology
of Sequence (6) and

0
2
the effectiveness of D give h F, OF (D) ≤ 7 and h F, OF (D) = 0.
Proposition 2.1 and Lemma 3.5 also give h1 F, OF (D) = 0. It follows from Equality
(1) that D2 ≤ 10. We deduce that D2 = 4 by Lemma 3.5 and Remark 3.3.
If D ∈ |xh + yA|, then x2 + 3xy + y 2 = 1. Moreover 2x + 3y ≥ 1 (see Remark 3.6),
hence
√
−3x + 5x2 + 4
.
y=
2
Taking into account List (12), an analysis case by case of the inequality (c1 − D)h ≥ 2
shows that the possible cases with effective c1 − D are exactly the ones listed in the
following table.
Table A
c1
6h
6h − A
6h − 2A
5h
5h − A
4h
4h − A
3h + A
3h
3h − A
2h + A
2h
h+A
h
2A
A
0

D
D − c1 + h
0, A, 3h − A −5h, A − 5h, −2h − A
0, A, 3h − A A − 5h, 2A − 5h, −2h
0, 3h − A
3h − 6A, A − 2h
0, A, 3h − A −4h, A − 4h, −h − A
0, 3h − A
A − 4h, −h
0, A, 3h − A
−3h, A − 3h, −A
0, 3h − A
A − 3h, 0
0, A, 3h − A −2h − A, −2h, h − 2A
0, A, 3h − A
−2h, A − 2h, h − A
0, 3h − A
A − 2h, h
0, A
−h − A, −h
0
−h
0, A
−A, 0
0
0
0, A
h − 2A, h − A
0, A
h − A, h
0
0

Is D − c1 + h effective? y/n.
n, n, n
n, n, n
n, n
n, n, n
n, n
n, n, n
n, y
n, n, n
n, n, n
n, y
n, n
n
n, y
y
n, n
n, y
y

The importance of the two last columns will be clear in a while.
We know from Equality (1) that

c2
h2 F, E(−h) = 8 + 1 − c1 h − c2 .
2

Looking at Table A one deduces from Sequence (13) with t = 0 that h2 F, E = 0 if
(c1 , D) is neither (3h − A, 3h − A), nor (A, A), nor (0, 0).

(15)



c2
h0 F, E + h2 F, E = 4 + 1 − c2 ,
2

16

GIANFRANCO CASNATI

Looking at Table A one also
 deduces from Sequence (13) with t = 1 that if D 6= 0, then
0
∨
F, E(−h) = h F, E (h) = 0 in all the listed cases but (c1 , D) in the following short
list:

h2

(16)

(4h − A, 3h − A),

(3h − A, 3h − A),

(h + A, A),

(A, A),

(0, 0).

Proposition 6.4. Let E be an initialized indecomposable aCM bundle of rank 2 on a
general determinantal quartic surface F ⊆ P3 .
Then exactly one of the following cases occurs:

(i) the zero–locus of a general section s ∈ H 0 F, E has pure dimension
0;

(ii) c1 = 2h and the zero locus of each non–zero s ∈ H 0 F, E is in either |A|, or
|3h − A|.

Proof. Assume D 6= 0, so that 1 ≤ h0 F, E ≤ 7. Let (c1 , D) be
 not in List (16). By
0
combining the above informations we obtain the equality h F, E = c1 h − 4, hence 5 ≤
c1 h ≤ 11, which turns out to be impossible by computing c1 h from Table A.
Thus we have to restrict to (c1 , D) in List (16). In the case (0,
is noth 0) there
0
2
0
∨
ing to prove. In the case (A,
= 1,
 A) we deduce h F, E = 4, h F, E = h F, E
h2 F, E(−h) = h0 F, E ∨ (h) = 4 Sequences (6) and (13). The first Equality (15) yields
c2 = 1, the second c2 = 0, a contradiction. The case (3h − A, 3h − A) can be excluded
similarly.


In the case (A+h, A) we deduce h2 F, E(−h) = h0 F, E ∨ (h) = 1 (from the cohomology
of Sequence (13) with t = 1). The second Equality (15)
 gives c2 = 7. The cohomology
of Sequence (7) twisted by OF (h) gives h1 F, IE|F (h) ≥ 3. Thus the cohomology of

Sequence (6) implies h1 F, E ≥ 3 because OF (A) is aCM. The case (4h − A, 3h − A) can
be excluded similarly.

We are now ready to give the complete classification of the bundles we are interested
in when c1 is effective.
For reader’s benefit we recall that a closed subscheme X ⊆ P3 is aG (i.e. arithmetically
Gorenstein) if it is aCM and ωX ∼
= OX ⊗ OP3 (α) for a suitable α ∈ Z.
Closed subschemes in P3 of degree at most 2 and dimension 0 are always aG. This
is no longer true when the degree is d ≥ 3. Anyhow, if the Hilbert function of the
homogeneous coordinate ring SE of a 0-dimensional, aG, closed subscheme E ⊆ P3 is
(1, n1 , . . . , nσ−1 , d, . . . ) with nσ−1 < d, then E is CB with respect to OP3 (σ) (see [17],
Theorem 1.1).
Theorem 6.5. Let E be an initialized indecomposable aCM bundle of rank 2 on a general
determinantal quartic surface F ⊆ P3 .
If c1 is effective, then one of the following holds.
(i) c1 = 0: then c2 = 2. The zero locus E of a general s ∈ H 0 F, E) is a 0–dimensional
aG subscheme contained in exactly one line.
(ii) c1 = h: then c2 is 3, 4, or 5. The zero locus E of a general s ∈ H 0 F, E) is a
0–dimensional aG subscheme of degree c2 of a linear subspace of P3 of dimension
c2 − 2.
(iii) c1 ∈ { A, 3h − A }: then c2 is 3, or 4. In this case the zero locus E of a general
s ∈ H 0 F, E) is 0–dimensional subscheme which is not aG.
(iv) c1 ∈ { A + h, 4A − h }: then c2 = 8. In this case the zero locus E of a general
s ∈ H 0 F, E) is 0–dimensional subscheme which is not aG and which is contained
in exactly one pencil of quadrics.

RANK TWO ACM BUNDLES ON GENERAL DETERMINANTAL QUARTIC SURFACES IN P3

17

(v) c1 = 2h: then c2 = 8. In this case one of the two following cases occur:
(a) the zero locus E of a general s ∈ H 0 F, E) is a 0–dimensional aG subscheme
which is the base locus of a net of quadrics;
(b) the zero locus E of a general s ∈ H 0 F, E) is a 0–dimensional aG subscheme
lying on exactly one twisted cubic;
(c) the zero locus E of each non–zero s ∈ H 0 F, E) is a divisor in either |A|, or
|3h − A|.
(vi) c1 = 3h: then c2 = 14. In this case the zero locus E of a general s ∈ H 0 F, E) is
a 0–dimensional aG subscheme which is CB with respect to OF (3h).
Moreover, all the above cases actually occur on F , and E is Ulrich if and only if c1 = 3h.
Proof. Recall that the zero–locus E of a general section of E has pure codimension 2, but
possibly in the case c1 = 2h (see Proposition 6.4). With this restriction in mind, we will
prove the statement by an analysis case by case with the help of Table A.
We first assume that h − c1 is effective. Looking at the last column of Table A this is
equivalent to c1 ∈ { 0, h }, because D = 0.
∼ ∨
Let c1 = 0. In this
 case E = E . Computing the cohomology of Sequence (6) we obtain
0
2
h F, E = h F, E = 1. The first equality (15) thus gives c2 = 2.
As already pointed out, E is necessarily aG with Hilbert function (1, 1, . . . , 1, 2, . . . ).
The homogeneous coordinate ring SE is generated in degree 1, thus there is only a single
1 in the sequence: in particular E is contained in exactly two linearly independent planes,
hence in a single line. This case actually occurs as proved in Example 4.4.
Let c1 = h. In this case the cohomology of Sequence (6) implies



h0 F, E = h0 F, IE|F (h) + 1 ≤ h0 F, OF (h) + 1 = 5.



Moreover h2 F, E = h0 F, E ∨ = h0 F, E(−h) = 0. The first equality (15) thus gives


c2 = 6 − h0 F, E = 5 − h0 F, IE|F (h) .

Thus c2 ∈ { 1, 2, 3, 4, 5 }. If c2 = 1 (resp. 2), we would have h0 F, IE|F (h) = 4 (resp.
3). Nevertheless, in this case E is a point which is necessarily contained in at most three
planes (resp. a closed subscheme of degree 2, which is necessarily contained in at most
two planes). Thus we obtain a contradiction.
When c2 ≥ 3, then E is contained in exactly 5 − c2 linearly independent planes, i.e. in
a linear subspace of dimension c2 − 2 of P3 . Since E must be CB with respect to OF (h),
it follows that its closed subschemes of degree c2 − 1 are not contained in smaller linear
subspaces, thus E is aG (see e.g. [23], Lemma (4.2)). These cases occur as proved in
Example 4.3.
From now on we will assume that h − c1 , hence −c1 , is not effective. Again we know
from the last column of Table A which are
 the possible
 values of c1 . The cohomology of
Sequence (13) with t = 0implies h2 F, E = h0 F, E ∨ = 0.
We know that h0 F, E ≤ 8. By combining this restriction with the Equalities (15) we
obtain the folowing chain of inequalities

c2
c21
c2
− 4 ≤ c2 = 8 + 1 − c1 h − h2 F, E(−h) ≤ 8 + 1 − c1 h,
(17)
2
2
2
whence c1 h ≤ 12. Looking at List (12) one can immediately exclude all the cases but A,
h + A, 2A, 2h, 3h − A, 3h, 4h − A, 6h − 2A. We will now examine these cases.
Sequence (13) with t = 1 gives



H := h2 F, E(−h) = h0 F, E ∨ (h) ≤ h0 F, IE|F (h) ≤ 4.

18

GIANFRANCO CASNATI

Let c1 = 2A. In this case Inequalities (17) force c2 = 4, hence H = 0. We will
 check that
0
E is the intersection of two divisors in |A|, by checking that h F, IE|F (A) = 2: indeed
A2 = 4 and the elements of |A| are integral (see Remark 3.3). Notice that the
 coho0
0
mology of Sequence (6) twisted by OF (−A) gives h F, IE|F (A) = h F, E(−A) . Since



h2 F, E(−A) = h0 F, E(−A) , it follows that 2h0 F, E(−A) = 4, thanks to Equality (1).
The above discussion proves the existence of an exact sequence of the form
0 −→ OF −→ OF (A)⊕2 −→ IE|F (2A) −→ 0,
⊕2
∼
besides Sequence
 (6). Thanks to Theorem 4.2 we deduce that E = OF (A) , because
1
h F, OF (−2A) = 0. The same argument allows us to exclude the case c1 = 6h − 2A as
well.

Let c1 = A (the case c1 = 3h−A can be handled similarly), hence h0 F, E = 6−c2 ≤ 6.
Inequalities (17) imply H ∈ { 0, 1, 2, 3, 4 } and c2 = 4 − H. The case H = 4 cannot occur,
because E 6= ∅ (see Lemma 5.1). The case H = 3 cannot occur too: indeed, in this case, E
should be a point, thus it cannot be CB with respect to OF (A), because this line bundle
is globally generated.
Assume H = 2. In this case E is a 0–dimensional
closed subscheme of degree 2. As

already pointed out above we have h0 F, IE|F (h) = 2. Thus, computing the cohomology
of Sequence (13) for t = 0 and 1, one checks that E ∨ (h) is initialized. Moreover, it is
also aCM and indecomposable (by hypothesis) because the same is true for E. We have
c1 (E ∨ (h)) = 2h − A and c2 (E ∨ (h)) = 0. We thus deduce from Theorem 6.2 that this case
cannot occur.
The same argument when H = 1 implies that E ∨ (h) is initialized indecomposable aCM
with c1 (E ∨ (h)) = 2h − A and c2 (E ∨ (h)) = 1. As pointed out at the end of Example 4.5
we can construct a bundle with all the above properties,
thus such an E exists. Moreover,

one easily checks h0 F, IE|F (h) = h0 F, E ∨ (h) = 1, thus E is not contained in a line,
hence E is not aG in this case.
Let H = 0. In this case c1 = A and c2 = 4. We can construct
a bundle

 with these
properties, as shown in Example 4.6. We have h0 F, IE|F (h) = h0 F, E ∨ (h) = 0 as well.
Thus E is not contained in any plane, hence its Hilbert function is (1, 4, . . . ). Since every
subscheme of E of degree 3 trivially lies in a plane, it follows that E is not CB with respect
to OP3 (1), hence it cannot be aG.
Let c1 = h + A (the case c1 = 4h − A can be handled similarly). Inequalities (17) imply
H ∈ { 0, 1, 2 } and c2 = 8 − H. Consider the exact sequence

0 −→ IF |P3 (t) −→ IE|P3 (t) −→ IE|F (th) −→ 0
We have that OF (−A) is aCM and IF |P3 (t) ∼
= OF (t − 4). Thus the cohomologies of
Sequence (13) and of the above one for t = 0, 1, 2, imply that the Hilbert function of
E is (1, c2 − 4, c2 , . . . ). In particular we obtain (1, 4, 8, . . . ), (1, 3, 7, . . . ), (1, 2, 6, . . . ) if
H = 0, 1, 2 respectively.
Since SE is generated in degree 1, looking at the growth from degree 1 to 2, we deduce
that the only admissible Hilbert function is the first one, hence H = 0. It follows that
c2 = 8 and that E is contained in exactly one pencil of quadrics. In particular, E is not
CB with respect to OP3 (2), thus E cannot be aG. Moreover, h0 F, E = 6. A bundle with
these properties can be constructed as shown
end of Example
4.6.
 at the

0 F, E(−h) = 0, thus Equality (1) for
Let c1 = 2h. In this case h2 F, E(−h)
=
h

χ(E(−h)) yields c2 = 8, hence h0 F, E = 4. The complete description and the existence
of initialized, indecomposable aCM bundles of rank 2 on F with c1 = 2h and c2 = 8

RANK TWO ACM BUNDLES ON GENERAL DETERMINANTAL QUARTIC SURFACES IN P3

19

is in [8], Proposition 2.1 and Theorems 6.2, 7.1, 4.1, where the three family of bundles
corresponding to the cases (a), (b), (c) are described in details.

Notice that in all the above cases we showed that h0 F, E ≤ 7, hence the considered E
are not Ulrich.

Let c1 = 3h. In this case H = 0 and c2 = 14, thus h0 F, E = 8, thanks to the first
Equality (15): hence E is Ulrich. We know from Theorem 1.1 of [9] the existence of such
kind of bundles on each smooth quartic surface.

Remark 6.6. Let E be as in the statement above.
As in Remark 6.3 one easily checks that the bundles with c1 ∈ { 0, h, 2h, 3h } are
uniquely determined by E, thus they actually coincide with the bundles constructed in
Examples 4.4 and 4.3, or with the bundles described in [8] and [9] respectively.
Similarly, when either c1 ∈ { A, 3h − A } and c2 = 3, or c1 ∈ { A + h, 4h − A }, then E
is as at the end of Example either 4.5, or 4.6.
Let us consider the case c1 = A more in details (analogous
arguments hold in the cases


c1 = 3h − A). The first Equality (15) implies h0 F, E = 6 − c2 , hence h0 F, IE|F (A) =
5 − c2 ≥ 1, thus there is a curve in C ∈ |A| containing E. If C is smooth, the cohomology
of a suitable twist of the exact sequence
0 −→ IC|F −→ IE|F −→ IE|C −→ 0,

and the isomorphisms IC|F ∼
(−E) yield h0 C, OC (C − E) = 1.
= OF (−C), IE|C ∼
= OC

Riemann–Roch theorem on C implies h0 C, OC (E) = 2. Thus OC (E) is a complete gc12
on C. In particular the bundle E is constructed exactly as in either Example 4.6, if c2 = 4,
or at the end of Example 4.5, if c2 = 3.
An analogous construction holds when c1 = A + h (or 4h − A). Indeed, in this case
c2 = 8. As in the previous case one h0 F, IE|F (A) ≥ 1. If there is a smooth curve
C ∈ |A + h|, then we can argue as above that OC (E) is a complete g81 on C.
References
[1] V. Ancona, G. Ottaviani: Some applications of Beilinson’s theorem to projective spaces and quadrics.
Forum Math. 3 (1991), 157–176.
[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] M. Casanellas, R. Hartshorne: ACM bundles on cubic surfaces. J. Eur. Math. Soc. 13 (2011), 709–731.
[5] M. Casanellas, R. Hartshorne, F. Geiss, F.O. Schreyer: Stable Ulrich bundles. Int. J. of Math. 23
1250083 (2012).
[6] G. Casnati: On rank two aCM bundles. Preprint.
[7] G. Casnati, F. Galluzzi: Stability of rank 2 Ulrich bundles on projective K3 surfaces. Work in progress.
[8] G. Casnati, R. Notari: Examples of rank two aCM bundles on smooth quartic surfaces in P3 . Preprint
arXiv:1601.02907 [math.AG]. To appear in Rend. Circ. Mat. Palermo.
[9] E. Coskun, R.S. Kulkarni, Y. Mustopa: Pfaffian quartic surfaces and representations of Clifford
algebras. Doc. Math. 17 (2012), 1003–1028.
[10] E. Coskun, R.S. Kulkarni, Y. Mustopa: The geometry of Ulrich bundles on del Pezzo surfaces. J.
Algebra 375 (2013), 280–301.
[11] I.V. Dolgachev: Classical algebraic geometry. A modern view. Cambridge University Press (2012).
[12] D. Faenzi: Rank 2 arithmetically Cohen–Macaulay bundles on a nonsingular cubic surface. J. Algebra
319 (2008), 143–186.
[13] R. Hartshorne: Algebraic geometry. G.T.M. 52, Springer (1977).
[14] D. Huybrechts:
Lectures on K3 surfaces. To appear:
draft notes available at
http://www.math.uni-bonn.de/people/huybrech/K3Global.pdf .

20

GIANFRANCO CASNATI

[15] D. Huybrechts, M. Lehn: The geometry of moduli spaces of sheaves. Second edition. Cambridge Mathematical Library, Cambridge U.P. (2010).
[16] A. Knutsen: Smooth curves on projective K3 surfaces. Math. Scand. 90 (2002), 215–231.
[17] M. Kreuzer: On 0–dimensional complete intersections. Math. Ann. 292 (1992), 43–58.
[18] A. Lopez: Noether–Lefschetz theory and the Picard group of projective surfaces. Memoirs A.M.S. 89
(1991).
[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] C. Okonek, M. Schneider, H. Spindler: Vector bundles on complex projective spaces. Progress in
Mathematics 3, (1980).
[22] B. Saint–Donat: Projective models of K–3 surfaces. Amer. J. Math. 96 (1974), 602–639.
[23] F.O. Schreyer: Syzygies of canonical curves and special linear series. Math. Ann. 275 (1986), 105–137.
[24] K. Watanabe: The classification of ACM line bundles on a quartic hypersurfaces on P3 . Geom. Dedicata 175 (2015) 347–353.
[25] K. Watanabe: On the splitting of Lazarsfeld–Mukai bundles on K3 surfaces. J. Algebra 447 (2016),
445–454.

Gianfranco Casnati,
Dipartimento di Scienze Matematiche, Politecnico di Torino,
c.so Duca degli Abruzzi 24, 10129 Torino, Italy
e-mail: gianfranco.casnati@polito.it

