arXiv:1511.07166v1 [math.AG] 23 Nov 2015

RANK TWO ACM BUNDLES
ON THE DEL PEZZO THREEFOLD OF DEGREE 7
GIANFRANCO CASNATI, MATEJ FILIP, FRANCESCO MALASPINA
Abstract. We classify indecomposable aCM bundles of rank 2 on the del Pezzo threefold of
degree 7 and analyze the corresponding moduli spaces.

1. Introduction
Let PN be the projective space of dimension N over an algebraically closed field of characteristic
0 and let X ⊆ PN be an n–dimensional smooth projective variety (i.e. an integral connected closed
subscheme).
The variety X is polarized by OX (h) := OPN (1)⊗OX and we will assume that it is arithmetically
Cohen–Macaulay (aCM for short), i.e. hi X, IX|PN (th) = 0 for i = 1, . . . , n and t ∈ Z.

Such a vanishing obviously implies hi X, OX (th) = 0 for i = 1, . . . , n − 1 and t ∈ Z and it is
interesting to inspect the existence of other vector bundles on F with the same property. The first
result in this direction is Horrocks theorem which asserts that this is not the case when X = PN
(see [39] and the references therein).
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 X, E(−h) = 0 and h0 X, E 6= 0.
Moreover, we are also interested to indecomposable bundles, i.e. bundles which do not split in a
direct sum of bundles of lower rank.
D. Eisenbud and D. Herzog in [19] proved that the list of aCM varieties supporting at most
finitely many aCM bundles is very short. Indeed they are linear spaces, smooth quadrics, rational
normal curves, the Veronese surface, up to three reduced points and the smooth, rational, scroll
of dimension n = 2 and degree d = 3. T. Drozd and G.M. Greuel (see [18]) call these varieties of
finite representation type.
On the opposite side M. Casanellas and R. Hartshorne proved in [6] and [7] that a smooth cubic
surface is endowed with families of arbitrary dimension of non–isomorphic, indecomposable aCM
bundles satisfying an extra technical hypothesis, namely their associated module of section has the
maximal number rd of minimal generators: we call such bundles Ulrich.
Again following [18] we briefly say that the smooth cubic in P3 is of wild representation type.
The study of the wildness of a variety has been a fruitful field of research: without any claim of
completeness we recall [16], [22], [36], [37], [40].
Very recently D. Faenzi and J. Pons–Lopis proved in [23] that all the aCM varieties of positive
dimension which are not cones are of wild representation type except
• the aforementioned varieties of finite representation type,
• elliptic curves, nodal rational curves and every smooth, rational, scrolls of dimension n = 2
and degree d = 4 (these are called varieties of tame representation type in [18]).
Nevertheless, the geometric description and classification of aCM bundles on other varieties is
of great interest by itself. The first step is to inspect the cases of low ranks r = 1, 2. Many results
Date: November 24, 2015.
2000 Mathematics Subject Classification. Primary 14J60; Secondary 14J45.
The first and third 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. The second author would like to thank
G. Casnati and F. Malaspina for their hospitality during his stay at Politecnico di Torino in May 2014.
1

2

G. CASNATI, M. FILIP, F. MALASPINA

are known when the Picard group of X is generated by OX (h) (see [3], [8], [13], [24], [31], [32], [33]
for some non–exhaustive examples). Indeed, in this case, aCM line bundles correspond to aCM
divisors on X, while aCM vector bundles of rank 2 correspond to subschemes of pure codimension
2 in X via the so called Serre correspondence.
When the Picard group is no more generated by OX (h) the picture becomes quite complicated.
Indeed the aforementioned correspondences of aCM bundles of low rank with subschemes of small
codimension in X is not so immediate. As examples of this fact we recall [21], where a complete
description of aCM bundles of ranks r = 1, 2 on a smooth cubic in P3 is presented, and [42], where
the author gives the classification of aCM line bundles on a smooth quartic in P3 . In [12] examples
of indecomposable, initialized, aCM bundles of rank 2 whose general sections vanish on a divisor
are given.
From this point of view, the contribution of E. Arrondo and L. Costa in [3] shed some light on
another class of important varieties, namely del Pezzo variety with n ≥ 3, i.e. a varieties X such
that ωX ∼
= OX ((1 − n)h).
These varieties are completely classified (see [29]) and their degrees satisfy 3 ≤ deg(X) = N −1 ≤
8. If deg(X) = 3, 4, 5, then Pic(X) is generated by OX (h) and the description of indecomposable,
initialized aCM bundles of rank 2 on them is in [3]. When d = 8, then Pic(X) is still principal but
not generated by OX (h): the classification of indecomposable, initialized aCM bundles of rank 2
on X can be found in [8] as a part of a more general study of del Pezzo varieties.
In the papers [9], [10], [11] the authors deal with the case deg(X) = 6. In this case Pic(X) is
free, but its rank can be either 2, or 3.
In the present paper we will describe the remaining case, namely the case of the del Pezzo
variety F of degree 7. In this case F is unique up to isomorphisms. Indeed it can be obtained as
the blow–up of P3 at a single point P , thus we have a natural morphism σ : F → P3 .
Moreover there is also another important identification for F . Indeed, if P := OP2 ⊕ OP2 (1)
then F ∼
= P(P). Thus we also have a canonical projection π : F ∼
= P(P) → P2 .
We denote by ξ and f the classes of the bundles OP(P) (1) and π ∗ OP2 (1) respectively. The
embedding F ⊆ P8 is induced by the linear system OF (h) = OF (ξ + f ) and ωF ∼
= OF (−2h).
We can now finally state the first main result of this paper.
Theorem A. If E is an indecomposable,
 initialized, aCM bundle of rank 2 on F , then the zero
locus E of a general section s ∈ H 0 F, E has pure codimension 2.
Moreover one of the following cases occurs.
(1) c1 (E) = 0 and c2 (E) = f 2 : E ∼
= p∗ F , where F is a normalized bundle of rank 2 on P2 with
c2 (F ) = 1, and E is a line.
(2) c1 (E) = 0 and c2 (E) = ξ 2 − f 2 : in this case E fits into an exact sequence of the form
0 −→ OF (f − ξ) −→ E −→ OF (ξ − f ) −→ 0,
it is not the pull–back of a bundle via either σ, or π and E is a line.
(3) c1 (E) = f and c2 (E) = f 2 : E ∼
= (p∗ Ω1P2 )(2f ) and E is a line.
(4) c1 (E) = 2ξ + f and c2 (E) = 2ξ 2 + f 2 : E ∼
= (p∗ Ω1P2 )(ξ + 2f ) and E is a rational quintic
curve in P8 .
(5) c1 (E) = 2ξ + 2f and c2 (E) = 3ξ 2 + 3f 2 : E ∼
= (p∗ F )(h), where F is a stable normalized
bundle of rank 2 on P2 with c2 (F ) = 2, and E is an elliptic normal curve in P8 .
(6) c1 (E) = 2ξ + 2f and c2 (E) = 4ξ 2 + f 2 : E ∼
= (σ ∗ G)(h), where G is a null-correlation bundle
on P3 , and E is an elliptic normal curve in P8 .
In particular we are able to identify Ulrich bundles among aCM ones, as those bundles corresponding to elliptic curves. The second result of the paper regards the (semi)stability of the
bundles listed in Theorem A and, when it is possible, the description of their moduli spaces.
Theorem B. Let E is an indecomposable, initialized, aCM bundle of rank 2 on F . Then the
following assertions hold.

RANK TWO ACM BUNDLES

3

(1) If c1 (E) = 2ξ + 2f , then E is µ–stable. Once c2 (E) is fixed (either 3ξ 2 + 3f 2 , or 4ξ 2 + f 2 )
the corresponding moduli spaces are smooth, irreducible and rational of dimension 5.
(2) If c1 (E) = 0, then E is strictly µ–semistable.
We already pointed out that F is of wild representation type (e.g. from [23]), i.e. supports large
families of aCM bundles. A natural question is to inspect if it is also of Ulrich–wild representation
type, i.e. if it supports families of dimension p of non–isomorphic indecomposable Ulrich bundles
for arbitrary large p.
Besides the aforementioned case of the smooth cubic surface treated in [7], some other scattered
results on Ulrich–wildness are known: e.g. see [17] for Segre varieties but P1 × P1 and [37] for del
Pezzo surfaces of degree up to 8.
As a by–product of our classification, using a powerful result from [23], we are able to prove the
following result.
Theorem C. The variety F is of Ulrich–wild representation type.
The proofs of the above results are strictly interlaced and we prove them in several steps. For
reader’s benefit we quickly explain them below.
Firstly, we need to obtain bounds on the first Chern class c1 (E) of an indecomposable initialized
aCM bundle E of rank 2 on F . In Section 3, after recalling some basic facts about aCM bundles,
we prove a first rough upper bound on c1 (E) (see Lemma 3.1), showing also that the zero–locus
(s)0 of a general section s of E is not empty.
If D is the divisorial part of (s)0 , then the effectiveness of c1 (E) − D proved in Section 4 yields
a lower bound of c1 (E) in Section 5. We collect all possible values of c1 (E) and c2 (E) (see Table
B), obtaining that (s)0 has pure codimension 2 (see Theorem 5.3). Theorems A and B are proved
in the last two sections. In Section 6 we analyze bundles that correspond to elliptic curves and
thus we prove assertions (5) and (6) of Theorem A and (1) of Theorem B. Moreover we also prove
Theorem C in Paragraph 6.3. The remaining parts of Theorems A and B are proven in Section 7.
Throughout the whole paper we refer to [29] and [27] for all the unmentioned definitions, notation
and results.
2. Some facts on aCM locally free sheaves
Throughout the paper k will denote an algebraically closed field of characteristic 0. In what
follows F ⊆ P8 will denote theunique del Pezzo threefold of degree 7. We set OF (h) := OP8 (1)⊗OF .
We recall that hi P8 , IF |P3 (t) = 0 for i = 1, 2, 3 and every t ∈ Z.
As pointed out in the introduction F is identified with the blow up of P3 at a point P and it is
endowed with two natural morphisms σ : F → P3 and π : F ∼
= P(P) → P2 , where P := OP2 ⊕OP2 (1).
−1
2
∼
Recall that σ (P ) = P and σ induces an isomorphism F \ σ −1 (P ) ∼
= P3 \ { P }.
∗
We denote by ξ and f the classes of the bundles OP(P) (1) and π OP2 (1) respectively. Trivially
π ∗ OP2 (1) is globally generated. Since P is globally generated, it follows that the same holds for
OP(P) (1). The embedding F ⊆ P8 is induced by the linear system OF (h) = OF (ξ + f ) and
ωF ∼
= OF (−2h).
We have an isomorphism
A(F ) ∼
= Z[ξ, f ]/(f 3 , ξ 2 − ξf ),
hence ξ 3 = ξ 2 f = ξf 2 are the class of a point.
We recall below some definitions quickly given in the introduction.
Definition 2.1. Let E be a vector bundle on F .

• The bundle E is aCM if H∗i F, E = 0 for each i = 1, 2.

• The bundle E is initialized if min{ t ∈ Z | h0 F, E(th) 6= 0} = 0.
• The bundle E is Ulrich if it is initialized, aCM and h0 F, E = 7rk(E).

On the
= 7rk(E). On the other hand the generators of

 one hand, if E is Ulrich, then m(E)
H 0 F, E are minimal generators of H∗0 F, E because E is initialized. Thus E is globally generated.

4

G. CASNATI, M. FILIP, F. MALASPINA

If s is a global section of a rank 2 vector bundle E, its zero–locus (s)0 ⊆ F is either empty or its
codimension is at most 2 (e.g. if E is globally generated, thanks to Bertini’s theorem for the sections
of a vector bundle). In the second case we write (s)0 = E ∪ D where E has pure codimension 2
(or it is empty) and D has pure codimension 1 (or it is empty). In particular E(−D) has a section
vanishing on E, which is thus locally complete intersection inside E. The corresponding Koszul
complex induces the exact sequence
(1)

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

It is well–known that the class of E in A(F ) is c2 (E(−D)) = c2 − D(c1 − D) and its degree
hc2 (E(−D)) (see [25], Theorem 14.4 b), Example 14.4.1).
Twisting the above sequence by OF (−D) and restricting it to E we obtain the following identification for the normal bundle of E in F
∼ NE|F .
(2)
E ⊗ OE =
Moreover we also have the exact sequence
(3)

0 −→ IE|F −→ OF −→ OE −→ 0.

The above construction can be reversed under suitable hypothesis: this is the Hartshorne–Serre
correspondence (see [41], [26], [2]).
Theorem 2.2. Let F be a smooth projective variety of dimension n ≥ 2, E ⊆ F a locally complete
intersection subscheme of codimension 2 with det(NE|F ) ∼
= L ⊗ OE for a suitable L ∈ Pic(F ).

If h2 F, L∨ = 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 . Moreover, if also h1 F, L∨ = 0, such an E is uniquely determined
up to isomorphism by the above properties.
We recall some easy facts about the cohomology of line bundles on F in the following Proposition
(its proof is an immediate application of [27], Exercise III.8.4 (a)).
Proposition 2.3. Let L ∼
= OF (λ1 ξ + λ2 f ). Then

λ1 
 X
λ1 + λ2 − j + 2
0
,
h F, L =
2
j=0

1 −2 
X
 −λ
λ1 + λ2 + j + 3
,
h F, L =
2
j=0
1


λ1 
 X
−λ1 − λ2 + j − 1
,
h F, L =
2
j=0
2


1 −2 
X
 −λ
−λ1 − λ2 − j − 2
h F, L =
2
j=0
3

where the summation is 0 if the upper limit is less than the lower limit.
Moreover, L is globally generated if and only if λ1 , λ2 ≥ 0.
The following corollaries follow trivially from the above proposition.
Corollary 2.4. Let L ∼
= OF (λ1 ξ + λ2 f ).

h0 F, L 6= 0

h1 F, L 6= 0

h2 F, L 6= 0

h3 F, L 6= 0

Then
⇔

λ1 ≥ 0, λ1 + λ2 ≥ 0,

⇔

λ1 ≤ −2, λ2 ≥ 1,

⇔

λ1 ≥ 0, λ2 ≤ −3,

⇔

λ1 ≤ −2, λ1 + λ2 ≤ −4.

RANK TWO ACM BUNDLES

5

Corollary 2.5. The initialized, aCM, line bundle on F are
OF ,

OF (f ),

OF (2f ),

OF (ξ),

OF (ξ − f ).

There are no Ulrich line bundles on F .
In order to explain the important consequence of the above corollary for rank 2 Ulrich bundles,
we recall some well known facts. Let X ⊆ PN be a smooth projective variety of dimension n and
consider a vector bundle F on it. The slope µ(F ) and the reduced Hilbert polynomial pF (t) of F
are
µ(F ) = c1 (F )H n−1 /rk(F ),
pF (t) = χ(F (t))/rk(F ),
where H is a general hyperplane section in X. The bundle F is µ–semistable (with respect to H) if
for all torsion–free quotient sheaves K with 0 < rk(K) < rk(F ) we have µ(K) ≥ µ(F ), and µ–stable
if equality cannot hold. The bundle F is called semistable (or, more precisely, Gieseker–semistable
with respect to H) if for all K as above we have pK (t) ≥ pF (t), and (Gieseker) stable again if the
equality cannot hold. We have the following chain of implications for F :
F is µ–stable ⇒ F is stable ⇒ F is semistable ⇒ F is µ–semistable.
Let X ⊆ PN be also aCM. If F is a vector bundle of rank r, then there exists the coarse moduli
space MsX (χ) parameterizing isomorphism classes of stable rank r bundles on X with Hilbert
polynomial χ(t) := χ(F (t)).
The scheme MsX (χ) is the disjoint union of open and closed subsets MsX (r; c1 , . . . , cr ) whose
points represent isomorphism classes of stable rank r bundles with fixed Chern classes ci ∈ Ai (X).
(χ)(r; c1 , . . . , cr ) ⊆ MsX (χ)(r; c1 , . . . , cr )
By semicontinuity one can define the open locus Ms,aCM
X
parameterizing stable aCM bundles of rank r on F with Chern classes c1 , . . . , cr . For the following
proposition see [7].
Proposition 2.6. There exist coarse moduli spaces Ms,U
X (r; c1 , . . . , cr ) for stable Ulrich bundles
of rank r on X with Chern classes c1 , . . . , cr .
Ulrich bundles are always semistable (see [7], Theorem 2.9), hence µ–semistable. Corollary 2.5
shows that an actually even stronger property holds for Ulrich bundles on F
Proposition 2.7. Every Ulrich bundle E of rank 2 on F is indecomposable and µ–stable.
Proof. Let E be an Ulrich bundle of rank 2 on F . Assume that E is not µ–stable. It follows the
existence of a torsion free quotient M of E of rank 1 with µ(M) = µ(E), hence c1 (E)h2 is even.
We have an exact sequence of the form
0 −→ L −→ E −→ M −→ 0
for a suitable sheaf L of rank 1 on F .
By the additivity of the first Chern class we obtain that µ(L) = µ(E). Hence Theorem 2.8 of
[7] implies that both L and M are both Ulrich bundles on F , contradicting Corollary 2.5.
The same argument shows that if an Ulrich bundle of rank 2 is decomposable, then its direct
summands should necessarily be Ulrich line bundles. It thus follows from Corollary 2.5 that each
Ulrich bundle of rank 2 is necessarily indecomposable.

3. First properties of aCM bundles
In this section we will inspect some properties of indecomposable, initialized, aCM bundles of
rank 2 on F .
Let ω2 be the second Chern class of the sheaf Ω1F . For each bundle H on F with Chern classes
ci ∈ A(F ) Riemann–Roch theorem yields
(4)

1
1
1
χ(H) = rk(H) + (c31 − 3c1 c2 + 3c3 ) + (c21 h − 2c2 h) + (4c1 h2 + ω2 c1 ).
6
2
12

6

G. CASNATI, M. FILIP, F. MALASPINA

Let E be a rank 2, aCM bundle on F : throughout the whole paper we will denote by c1 :=
α1 ξ + α2 f and c2 := β1 ξ 2 + β2 f 2 its Chern classes. Easy computations yield
c31 = α31 + 3α21 α2 + 3α1 α22 ,
(5)

c21 h = 2α21 + 4α1 α2 + α22 ,
c1 h2 = 4α1 + 3α2 .

The canonical projection π : F ∼
= P(OP2 ⊕ OP2 (1)) → P2 is smooth, thus we also have the exact
sequence
0 −→ π ∗ Ω1P2 −→ Ω1F −→ Ω1F |P2 −→ 0.
It follows that ω2 = 6f ξ, hence ω2 c1 = 6(α1+ α2 ).
We have hi F, E ∨ (−h) = h3−i F, E(−h) = 0 for i ≥ 1. Formula (4) for E ∨ (−h) and Equalities
(5) yield
 1
(6)
c1 c2 = 2h0 F, E ∨ (−h) + (α31 + 3α21 α2 + 3α1 α22 − α1 ) = (α1 + α2 )β1 + α1 β2 .
3


Similarly hi F, E ∨ = h3−i F, E(−2h) = 0 for i ≥ 1, whence
 1

(7)
hc2 = h0 F, E ∨ (−h) − h0 F, E ∨ + (2α21 + 4α1 α2 + α22 − 4α1 − 3α2 + 4) = 2β1 + β2 .
2

Lemma 3.1. Let E be an initialized aCM bundle of rank 2 on F with c1 (E) = α1 ξ + α2 f . Then
E ∨ (2h) is aCM, globally generated and αi ≤ 4 for i = 1, 2.

∨
i
∨
3−i
Proof.
F, E((i −
 The bundle E is aCM by Serre duality. Moreover, h F, E ((2 − i)h) = h
4)h) = 0, i = 1, 2, 3, thus E is 2–regular in the sense of Castelnuovo–Mumford (see [38]), hence
E ∨ (2h) is globally generated.

It follows that 4h − c1 = c1 (E ∨ (2h)) is globally generated. In particular h0 F, OF (4h − c1 ) ≥ 1,
whence α1 ≤ 4 (see Corollary2.4).
We have h0 F, OF (ξ − f ) = 1: the unique divisor F1 ∈ |ξ − f | is a plane in P8 because
(ξ − f )h2 = 1. Both line bundles OF (4h − c1 ) and OF (f ) are globally generated, thus for a
general choice of A ∈ |4h − c1 | and B ∈ |f | the intersection F1 ∩ A ∩ B is proper. In particular
4 − α2 = (ξ − f )(4h − c1 )f ≥ 0, whence α2 ≤ 4.

We finally check that the zero–locus of each section of an indecomposable, initialized, aCM
bundle of rank 2 on F is non–empty.
Lemma 3.2. Let E be an indecomposable, initialized, aCM bundle of rank 2 on F . Then the zero
locus (s)0 of a section of E is non–empty.
Proof. Assume (s)0 = ∅. Sequence (1) becomes
0 −→ OF −→ E −→ OF (c1 ) −→ 0.


Twisting it by
OF (−c1 ), taking the cohomology
and the
equality h1 F, E(−c1 ) = h1 F, E ∨ =



h2 F, E(−2h) = 0, yield h1 F, OF (−c1 ) ≤ h0 F, OF = 1. The above sequence does not split
because E is indecomposable, thus equality holds. In particular each non–split extension of OF (c1 )
with OF is isomorphic to it.
Thanks to Corollary 2.4, we deduce
 that α1 ≥ 2. The cohomology of the above sequence twisted
by OF (−h) would yield h0 F, E(−h) 6= 0, a contradiction because E is assumed initialized. Thus
α1 + α2 ≤ 1, again by Corollary 2.4. It follows that α2 = 1 − α1 − u for a suitable non–negative u.
The equality h1 F, OF (−c1 ) = 1 computed using Proposition 2.3 becomes

αX
1 −2 
u+j+2
= 1.
2
j=0
From the above equality it is easy to deduce u = 0 and α1 = 2, i.e. c1 = 2ξ − f necessarily.

RANK TWO ACM BUNDLES

7

Notice that OF (ξ) and OF (ξ − f ) are effective and that OF (ξ) is globally generated. Since
ξ(ξ − f ) = 0 and ξ + (ξ − f ) = c1 , we deduce the existence of an exact sequence of the form
0 −→ OF −→ OF (ξ) ⊕ OF (ξ − f ) −→ OF (c1 ) −→ 0.
Such a sequence is non–split, thus E ∼
= OF (ξ)⊕OF (ξ −f ), contradicting the indecomposability. 
As usual, let E be a rank 2 vector bundle on F , c1 := α1 ξ + α2 f , c2 := β1 ξ 2 + β2 f 2 its Chern
classes, s ∈ H 0 F, E and (s)0 = E ∪ D where E has pure codimension 2 (or it is empty) and D
has pure codimension 1 (or it is empty). If D ∈ |δ1 ξ + δ2 f |, then
(8)

c2 (E(−D)) = (β1 − α1 δ2 − α2 δ1 − α1 δ1 + 2δ1 δ2 + δ12 )ξ 2 + (β2 − α2 δ2 + δ22 )f 2 .

The bundles OF (f ) and OF (ξ) are globally generated, thus Equality (8) above implies
β1 − α1 δ2 − α2 δ1 − α1 δ1 + 2δ1 δ2 + δ12 = c2 (E(−D))f ≥ 0,

(9)

Moreover, if E is not contained in the unique divisor F1 ∈ |ξ − f |, then also
β2 − α2 δ2 + δ22 = c2 (E(−D))(ξ − f ) ≥ 0,

(10)

4. Effectiveness of c1 − D

For each non–zero s ∈ H 0 F, E we have (s)0 = E ∪ D where E has pure codimension 2 (or it
is empty) and D ∈ |δ1 h1 + δ2 h2 | has pure codimension 1 (or it is empty): since D is assumed to
be effective, it follows that δ1 , δ1 + δ2 ≥ 0. We will prove that c1 − D is effective too.
Lemma 4.1. Let E be an indecomposable, initialized, aCM bundle of rank 2 on F . Assume
that s ∈ H 0 F, E is such that (s)0 = E ∪ D where E has pure codimension 2 and D has pure
codimension 1. If D 6= 0, then the class of D is one of the following:
f,

2f,

3f,

4f,

ξ,

ξ − f,

2ξ − f,

2ξ − 2f.

Proof. Twisting Sequence (1) for s by OF (2h − c1 ) and taking into account that E(−c1 ) ∼
= E ∨ (2h)
is globally generated (see Lemma 3.1), we infer that IE|F (2h − D) is globally generated too. Thus


0 6= H 0 F, IE|F (2h − D) ⊆ H 0 F, OF (2h − D) ,

hence δ1 ≤ 2 and δ1 + δ2 ≤ 4.

Twisting the same sequence
by OF (−h) and taking its cohomology, the vanishing of h0 F, E(−h)

implies h0 F, OF (D − h) = 0. In particular either δ1 = 0, or δ1 ≥ 1 and δ1 + δ2 ≤ 1. An easy
computation gives now the statement.

In order to study the effectiveness of c1 − D it is helpful to look at the hyperplane sections of
F and c1 − D.
Remark 4.2. If H ⊆ P8 is a general hyperplane, then S := F ∩ H is a smooth del Pezzo surface
of degree 7.
Recall that such an S is the blow up of P2 in 2 distinct points embedded in P7 via the linear
system of cubics through such points. Thus its Picard group is freely generated by the class ℓ of
the pull–back of a general line in P2 and by the classes of the exceptional divisors e1 and e2 , which
are lines on S. We have ℓ2 = 1, e21 = −1 and ℓei = 0, i = 1, 2.
In particular each line bundle on S is of the form OS (aℓ − b1 e1 − b2 e2 ). Moreover, the class of
the hyperplane section of S is 3ℓ − e1 − e2 and ωS = OS (−3ℓ + e1 + e2 ).
It will be important in what follows to know identify the classes of the divisors of S inside A(F ).
Clearly it suffice to know the classes of ℓ and ei . Let ǫ1 ξ 2 + ǫ2 f 2 be the class of the line E in A(F ):
we know that 1 = Eh = 2ǫ1 + ǫ2 . Moreover both OF (f ) and OF (ξ) are globally generated, thus
ǫ1 = ei f ≥ 0, ǫ1 + ǫ2 = ei ξ ≥ 0. It is easy to conclude that the class of a line on F , in particular
ei , is either f 2 , or ξ 2 − f 2 .

8

G. CASNATI, M. FILIP, F. MALASPINA

In the first case E is the pull-back of a point e ∈ P2 via π, thus it is the complete intersection
inside F of two divisors in |f |. In particular we have an exact sequence of the form
(11)

0 −→ OF (−2f ) −→ OF (−f )⊕2 −→ IE|F −→ 0.

In the second case E(ξ − f ) = −1, thus E is necessarily
contained in the unique divisor F1 ∈

|ξ − f |. The unique section of H 0 F, OF (ξ − f ) induces a section of π whose image is F1 . Thus
π|F1 : F1 → P2 is an isomorphism. It follows that π|F1 (E) ⊆ P2 is a line because Ef = 1. We
conclude that E is the pull–back via π|F1 of a line in P2 . Hence E is the complete intersection
inside F of F1 with a divisor in |f |. In particular we have an exact sequence of the form
(12)

0 −→ OF (−ξ) −→ OF (−f ) ⊕ OF (f − ξ) −→ IE|F −→ 0.

The above computation proves the well–known fact that the Hilbert scheme H of lines in F has
two connected component H1 (the lines in the class f 2 ) and H2 (the lines in the class ξ 2 − f 2 )
both isomorphic to P2 (see [29], Proposition 3.5.6).
Let η1 ξ 2 + η2 f 2 be the class of ℓ inside A(F ): as above η1 = ℓf ≥ 0. Moreover, the elements
in |ℓ| are rational and smooth, cubic curve on S, thus they are not contained in a plane: in
particular they are not contained in the previously defined divisor F1 , thus we also know that
η2 = ℓ(ξ − f ) ≥ 0. Finally, 3 = ℓh = 2η1 + η2 , hence η2 = 3 − 2η1 .
Thus the class 3ℓ − e1 − e2 of the hyperplane section in A(F ) is
3(η1 ξ 2 + (3 − 2η1 )f 2 ) − uf 2 − (2 − u)(ξ 2 − f 2 )
for a suitable u ∈ { 0, 1, 2 }. Since we also know that the class of H in A(F ) is h2 = 3ξ 2 + f 2 , we
finally obtain that the classes of ℓ and ei are ξ 2 + f 2 and f 2 respectively.
We first look for non effective divisors on F restricting to effective divisors on S.
Lemma 4.3. Let L ∼
= OF (λ1 ξ + λ2 f ). Assume that


h0 F, L = h1 S, OS ⊗ L = 0,

Then λ1 = −1, λ2 ≥ 2 and
(13)


h0 S, OS ⊗ L ≥ 1.




h0 S, OS ⊗ L = h1 F, L(−h) − h1 F, L ,




h1 S, OS ⊗ L(−h) − h0 S, OS ⊗ L(−h) = h1 F, L(−h) − h1 F, L(−2h) .

Proof. Thanks to the hypothesis, the cohomology of sequence
(14)

0 −→ L(−h) −→ L −→ OS ⊗ L −→ 0

yields the first of Equalities (13).


Due to Corollary 2.4 we have λ1 ≤ −1 andλ2 ≥ 2, because h1 F, L(−h) ≥ h0 S, OS ⊗ L ≥ 1.
As a consequence we also have h2 F, L(−2h) = 0 (again by Corollary 2.4), thus the cohomology
of Sequence (14) twisted by OF (−h) also gives the second of Equalities (13).
We have that h(λ1 ξ + λ2 f ) = (2λ1 + λ2 )ξ 2 + λ2 f 2 . As pointed out in Remark 4.2 the classes of
ℓ and ei in A(F ) are ξ 2 + f 2 and f 2 respectively, thus OS ⊗ L ∼
= OS (C) where C is a divisor in
the linear system on S
|(2λ1 + λ2 )ℓ − ue1 − (2λ1 − u)e2 |

for a suitable integer u. Such a divisor can be assumed effective, because h0 S, OS ⊗ L ≥ 1. Since
ωS = OS (−3ℓ + e1 + e2 ), it follows that ωS (−C) is not effective, hence


(15)
h2 S, OS ⊗ L = h0 S, ωS (−C) = 0.

RANK TWO ACM BUNDLES

9

By combining Proposition 2.3 with the first of Equalities (13) we obtain

 −λ
1 −2 
1 −1 
X
X
 −λ
λ1 + λ2 + j + 3
λ1 + λ2 + j + 1
=
−
h0 S, OS (C) =
2
2
j=0
j=0
 −λ
X1 λ1 + λ2 + j + 1
λ1 + λ2 + j + 1
=
−
2
2
j=2
j=0

 
 

λ1 + λ2 + 1
λ1 + λ2 + 2
λ2 + 1
=
+
−
.
2
2
2

=

−λ
1 −1 
X

Combining such
 an equality with Riemann–Roch theorem on S, Equalities (15) and the vanishing
h1 S, OS ⊗ L = 0, we finally obtain the equality

2λ21 + 4λ1 λ2 + λ22 + 4λ1 + 3λ2 + 2 = 2h0 S, OS (C) =
= 2χ(OS (C)) = 4λ1 λ2 + λ22 + 4λ1 + 3λ2 + 2 + 4λ1 u − 2u2 ,

which trivially implies u = λ1 , which is at most −1, as checked above. Thus



h0 S, OS (C) = h0 S, OS ((2λ1 + λ2 )ℓ − λ2 (e1 + e2 )) ≥ h0 S, OS ((2λ1 + λ2 )ℓ) .
If q : S → P2 is the blow up map, then projection formula for OS ((2λ1 + λ2 )ℓ) ∼
= q ∗ (OP2 (2λ1 + λ2 ))
yields

2h0 S, OS (C) ≥ (2λ1 + λ2 + 2)(2λ1 + λ2 + 1).
Combining such an inequality again with Riemann–Roch theorem on S and the equality u = λ1
we finally obtain that λ1 (λ1 + 1) ≤ 0. The unique integral solution of such an inequality in the
range λ1 ≤ −1 is obviously λ1 = −1. This completes the proof of the statement.

We are now ready to prove the main result of this section.
Proposition 4.4.
 Let E be an indecomposable, initialized, aCM bundle of rank 2 on F . Assume
that s ∈ H 0 F, E is such that (s)0 = E ∪ D where E has codimension 2 (or it is empty) and D
has codimension 1 (or it is empty). If c1 − D is not effective, then E = ∅.
Proof. Assume that c1 − D ∈ |λ1 ξ + λ2 f | is not effective: thus


(16)
h0 F, IE|F (c1 − D − th) ≤ h0 F, OF (c1 − D − th) = 0

for t ≥ 0.


We set A(D, t) := h1 F, IE|F (c1 −D −th) and B(D, t) := h2 F, IE|F (c1 −D −th) . Taking into
account that E is aCM, the cohomology of Sequence (1) gives the following bounds when t = 0, 1, 2

1
if D = 2ξ − 2f and t = 1,
A(D, t) =
0
if either D 6= 2ξ − 2f and t = 1, or t = 1,

(17)
1
if D = 0 and t = 2,
B(D, t) ≤
0
if either D 6= 0 and t = 2, or t = 1.
Let H be a general hyperplane in P8 . Define S := F ∩ H and Z := E ∩ H, so that dim(Z) = 0.
The cohomology of
0 −→ IE|F (c1 − D − h) −→ IE|F (c1 − D) −→ IZ|S (c1 − D) −→ 0
and Relations (16) and (17) yield
(18)


h0 S, IZ|S (c1 − D) ≤ A(D, 1) ≤ 1,

h1 S, IZ|S (c1 − D) ≤ A(D, 0) + B(D, 1) = 0,

h1 S, IZ|S (c1 − D − h) ≤ A(D, 1) + B(D, 2) ≤ 1.

Now consider the exact sequence

0 −→ IZ|S (c1 − D) −→ OS (c1 − D) −→ OZ −→ 0

10

G. CASNATI, M. FILIP, F. MALASPINA

The cohomology of the above sequence, the equality dim(Z) = 0, and the second Relation (18)
implies that

(19)
h1 S, OS (c1 − D) = 0.
All such relations thus give
(20)




deg(Z) = h0 Z, OZ = h0 S, OS (c1 − D) − h0 S, IZ|S (c1 − D) ,



deg(Z) = h0 Z, OZ (−h) = h0 S, OS (c1 − D − h) − h0 S, IZ|S (c1 − D − h) −


− h1 S, OS (c1 − D − h) + h1 S, IZ|S (c1 − D − h) .

Let us now assume that E 6= ∅ so that


h0 S, OS (c1 − D) ≥ deg(Z) = deg(E) ≥ 1.

Since c1 − D is not effective, it follows from the above inequality and from Equality (19) that
Lemma 4.3 holds in this case.
In particular λ1 = −1 and λ2 ≥ 2, thus



∆ : = 2h1 F, OF (c1 − D − h) − h1 F, OF (c1 − D) − h1 F, OF (c1 − D − 2h) =
 
  

λ2 − 1
λ2 − 2
λ2
−
−
=2
.
2
2
2
Equating the last members of Identities (20) and taking into account Equalities (13) we obtain


∆ = h0 S, IZ|S (c1 − D) − h0 S, IZ|S (c1 − D − h) + h1 S, IZ|S (c1 − D − h).

Taking into account of Inequalities (18) we deduce the bound ∆ ≤ 2A(D, 1) + B(D, 2) ≤ 2, which
forces λ2 ≤ 2. Since we already know that λ2 ≥ 2, it follows that equality holds. Thus ∆ = 2,
whence the above bound yieldsA(D, 1) = 1, i.e D = 2ξ − 2f and c1 = ξ.
We have h0 F, OF (−2ξ+2f ) = 0 by Corollary 2.4, thus the cohomology of Sequence (1) twisted
by OF (−c1 ) finally yields


h0 F, E ∨ (−h) ≤ h0 F, E ∨ = 0.
Equalities (6) and (7) returns c2 = ξ 2 − f 2 . In particular the class of E would be 3f 2 − 3ξ 2 ,
contradicting Inequality (9). The contradiction implies that E = ∅ necessarily.

It follows from the above Proposition that Sequence (1) becomes
0 −→ OF (D) −→ E −→ OF (c1 − D) −→ 0.

We know that h F, OF (2D − c1 ) 6= 0, because E is supposed to be indecomposable, hence
δ1 − λ1 ≤ −2 (see Corollary 2.4). It follows that

(21)

1

(22)

λ1 ≥ 2,


because we know that δ1 ≥ 0. The vanishing h0 F, OF (c1 − D) = 0 and Corollary 2.4 thus imply

(23)

λ1 + λ2 ≤ −1.



3
Inequalities (22), (23), Corollary 2.4 and Lemma (4.1) give h2 F, O
F (D) = h F, OF (D) = 0.

Moreover, the cohomology of Sequence (21) gives h2 F, OF (c1 − D) = 0, being E aCM.
Thus again Corollary 2.4 implies
(24)

λ2 ≥ −2.

Since the three Inequalities (22), (23), (24) have no common solutions, we have finally proved the
following result.
Corollary 4.5.
 Let E be an indecomposable, initialized, aCM bundle of rank 2 on F . Assume that
s ∈ H 0 F, E is such that (s)0 = E ∪ D where E has codimension 2 (or it is empty) and D has
codimension 1 (or it is empty). Then c1 − D is effective.

RANK TWO ACM BUNDLES

11

5. Positivity of c1
As usual if E is a vector bundle of rank 2 on F , we will assume that its Chern classes are
c1 := α1 ξ + α2 f and c2 := β1 ξ 2 + β2 f 2 . In this section we will prove that c1 is actually globally
generated and bounded. Moreover we will deal with the zero locus of its general sections.
Theorem 5.1. If E is an indecomposable, initialized, aCM bundle of rank 2 on F , then 0 ≤
α1 , α2 ≤ 2.
Moreover, if α1 = α2 = 2, then E is Ulrich.

Proof. Let s ∈ H 0 F, E be general: as usual we write (s)0 = E ∪ D. We already know that c1 − D
is effective (see Corollary 4.5): if λi = αi − δi , then we know from Corollary 2.4 that λ1 ≥ 0 and
λ1 + λ2 ≥ 0. It follows that
α1 ≥ δ1 ≥ 0,

α2 ≥ δ1 + δ2 − α1 ≥ −α1 .

We begin by proving that α2 ≥ 0 too. This follows trivially from the above inequalities, if
α1 = 0, thus we will assume α1 ≥ 1 in what follows.
Recall that α1 ≤ 4 (see Lemma 3.1). Moreover, the cohomology of Sequence (1) twisted by
OF (−c1 ) and the effectiveness of c1 − D give


if D 6= c1 ,
h0 F, E ∨ (−h) = h0 F, E ∨ = 0
(25)


∨
∨
0
0
if D = c1 .
h F, E (−h) < h F, E = 1

Examining the possible cases by taking into account Lemma 4.1, the above bounds, the previous
vanishing and Equalities (6) and (7), we obtain the following table.
Table A
(α1 , α2 ) D = c1
(1, −1)
no
(1, −1)
yes
(2, −1)
no
(2, −1)
yes
(2, −2)
no
(2, −2)
yes
(3, −1)
no
(3, −2)
no
(3, −3)
no
(4, −1)
no
(4, −2)
no
(4, −3)
no
(4, −4)
no

(β1 , β2 )
(1/2, 0)
(0, 0)
(0, 0)
(−2/3, 1/3)
(−1, 1)
(−3/2, 1)
(1/4, 1/2)
(−8/5, 6/5)
(−10/3, 8/3)
(8/5, 4/5)
(−4/3, 5/3)
(−4, 3)
(−13/2, 5)

We conclude that only the cases (1, −1) and D = c1 , (2, −1) and D 6= c1 , (2, −2), (4, −3) must be
examined.
In the first case D = c1 = ξ − f . The class of E in A(F ) is 0 (see Equality (8)), thus Sequence
(1) coincides with Sequence (21), i.e.
0 −→ OF (ξ − f ) −→ E −→ OF −→ 0.


Since h1 F, OF (2D − c1 ) = h1 F, OF (ξ − f ) = 0 (see Corollary 2.4), it follows that E split in
this case.
In the second case D 6= c1 = 2ξ − f : thus D is either 0, or its class is f , or ξ or ξ − f , because
c1 − D is effective. If D = 0, then the class of E in A(F ) is 0 (see Equality (8) again), thus
E = ∅, hence (s)0 = ∅. This contradict Lemma 3.2. If D = f , then the class of E would be

12

G. CASNATI, M. FILIP, F. MALASPINA

c2 (E(−D)) = −2ξ 2 + 2f 2 , contradicting Inequality (9). In the two last cases it is easy to check
that the class of E in A(F ) is c2 (E(−D)) = 0. If OF (D) = OF (ξ), then Sequence (1) becomes
0 −→ OF (ξ) −→ E −→ OF (ξ − f ) −→ 0.


We exclude this case, because h1 F, OF (2D − c1 ) = h1 F, OF (f ) = 0, hence the above sequence
splits. The case OF (D) = OF (ξ − f ) can be excluded with a similar argument.
In the third case c1 = 2ξ − 2f and D 6= c1 , thus D is either 0, or its class is ξ − f . Thanks to
Inequality (9) we can assume OF (D) = OF (ξ − f ). If this is the case, then the class of E in A(F )
is c2 (E(−D)) = 0 (see Equality (8)). Sequence (21) is
0 −→ OF (ξ − f ) −→ E −→ OF (ξ − f ) −→ 0


which necessarily splits because h1 F, OF (2D − c1 ) = h1 F, OF = 0.
In the last case c1 = 4ξ − 3f and D 6= c1 : thus D is either 0, or its class is f , or ξ, or ξ − f ,
or 2ξ − f , or 2ξ − 2f . Again using Inequality (9) as above one checks that all these cases cannot
occur.
Up to now we have thus proved that αi ≥ 0, i = 1, 2. In what follows we will prove that αi ≤ 2,
i = 1, 2. To this purpose we distinguish two cases according to whether E is regular in the sense
of Castelnuovo–Mumford or not. 

In the latter case h0 F, E ∨ (h) = h3 F, E(−3h) 6= 0 necessarily, because E is aCM. Thus, if
t ∈ Z is such that E ∨ (th) is initialized, we know that t ≤ 1. Notice that E ∨ (th) is aCM too and
that c1 (E ∨ (th)) = (2t − α1 )ξ + (2t − α2 )f . We conclude from the first part of this proof and from
the inequality t ≤ 1 that 2 − αi ≥ 0, i = 1, 2, i.e. the desired upper bound.
Let E be regular,
whence globally generated. Thus the zero–locus E := (s)0 of a general section

s ∈ H 0 F, E is a smooth curve: in particular its divisorial part D is zero. If α1 = α2 = 0 there is
nothing to prove: thus we will assume in what follows that at least
 one of the αi ’s is
 positive. The
cohomology of Sequence (1) twisted by OF (−c1 ) yields h0 F, E ∨ = h0 F, O(−c1 ) = 0.
Combining the above vanishing with equality (4), Formulas (6) and (7), we finally obtain
14 − 4α1 − 3α2 = χ(E ∨ (h)) = 0,


because hi F, E ∨ (h) = h3−i F, E(−3h) = 0, i = 0, 1, 2, 3: indeed E is aCM, regular and initialized.
We know that E is globally generated, thus the same is true for OF (c1 ). Moreover, OF (f ) is
globally generated too. For a general choice of A ∈ |α1 ξ + α2 f | and B ∈ |f | the intersection
F1 ∩ A ∩ B is proper, thus α2 = (ξ − f )c1 f ≥ 0. Taking into account of this restriction, the equality
above yields α1 = α2 = 2, i.e. c1 = 2h.
We conclude the proof by examining the case
 of aCM bundles
 E is initialized,
 aCM with c1 = 2h.
We have E ∨ ∼
= E(−2h), hence h3 F, E(−3h) = h0 F, E ∨ (h) = h0 F, E(−h) = 0. It follows that
E is regular, whence globally generated. We can thus again conclude that the zero locus of a general
section of E is a smooth curve E: in particular the divisorial part D is zero so that Equalities (7)
and (6)imply that hc2 = 9, c1 c2 = 18. A direct substitution in Formula (4) finally implies that
h0 F, E = χ(E) = 14, hence E is Ulrich.

Let E be an indecomposable, initialized, aCM bundle of rank 2 on F . As usual, c1 = α1 ξ + α2 f
and c2 = β1 ξ 2 + β2 f 2 are the Chern classes of E. Moreover, if s ∈ H 0 F, E is a general section of
E we write as above (s)0 = E ∪ D.
If c1 = 0, Proposition 4.4 implies that D = 0. If c1 = 2h, then Lemma 3.1 implies that
E∼
= E ∨ (2h) is globally generated, thus again D = 0 thanks to Bertini’s theorem for the sections of
a vector bundle. In the remaining cases Lemma 4.1, Relations (25) and Equalities (6), (7) allow
us to list all the possible cases in the following table.

RANK TWO ACM BUNDLES

13

Table B
Name
A0
A1
A2
A3
A4
A5
A6
A7
A8
A9

(α1 , α2 ) D = c1
(0, 1)
no
(1, 0)
no
(0, 2)
no
(1, 1)
no
(2, 0)
no
(1, 2)
no
(2, 1)
no
(0, 1)
yes
(1, 0)
yes
(0, 2)
yes

(β1 , β2 )
(0, 1)
(1, −1)
(0, 1)
(β, 2(1 − β))
(1, 0)
(2, 0)
(2, 1)
(0, 0)
(0, 0)
(0, 0)

Remark 5.2. Notice that E is an indecomposable, aCM bundle of rank 2 on F if and only if the
same holds for E ∨ (th) and t ∈ Z. Moreover E ∨ (th) is also initialized for exactly one t ∈ Z. The
Chern classes of E ∨ (th) are
(26)

c1 (E ∨ (th)) = (2t − α1 )ξ + (2t − α2 )f,
c2 (E ∨ (th)) = (β1 − t(2α1 + α2 ) + 3t2 )ξ 2 + (β2 − tα2 + t2 )f 2 ,

The above table and Equalities (26) then show that only the cases up to A6 can actually occur.
Moreover, case Ai occurs if and only if case A6−i occurs too, for i = 0, . . . , 6.
Theorem 5.3. If E is an indecomposable,
initialized, aCM bundle of rank 2 on F , then the zero

locus of a general section s ∈ H 0 F, E has pure codimension 2.

Proof. Let (s)0 = E ∪ D, as usual.
We already proved the statement if c1 is either 0 or D. In the case A0 there is nothing to prove,
because D 6= c1 and c1 − D is effective. Thus we can restrict to the other cases listed above,
assuming D 6= 0.
In the case A1 , the class of D is f , due to Lemma 4.1. Equality (8)
 implies that E = ∅.Sequence
(1) coincides with Sequence (21). The equality h1 F, OF (2D − ξ) = h1 F, OF (2f − ξ) = 0 (see
Corollary 2.4), implies that E splits in this case. An analogous argument holds also in the case A2 ,
because only the case D = f must be considered.
Let us examine the case A3 . Due to Lemma 4.1, then the class of the divisorial part D can be
one of the following: f , 2f , ξ, ξ − f . In all these cases the class of E is either (β − 1)(ξ 2 − 2f 2 ),
or (β − 2)(ξ 2 − 2f 2 ). The line bundle OF (ξ) is globally generated, thus c2 (E(−D))ξ ≥ 0. Such
an inequality and Inequality (9) that β is either 1, or 2 respectively.
It follows that E = ∅, hence

E fits into Sequence (21). The vanishing h1 F, OF (2D − c1 ) = 0 used above proves that E splits
also in these cases.
Let us examine the case A4 . The class of D can be one of the following: f , 2f , 2ξ − f ,
2ξ − 2f , ξ, ξ − f again by due to Lemma 4.1. Inequalities (9) imply that the first four cases
cannot occur. In the fifth case
 we have c2(E(−ξ)) = 0, and we can still use the argument above
because h1 F, OF (2D − 2ξ) = h1 F, OF = 0. In the last case, we have c1 (E(−D)) = 2f and
c2 (E(−D)) = f 2 . Besides the exact sequence
0 −→ OF −→ E(−D) −→ IE|F (2f ) −→ 0,
we also have Sequence
(11). Thanks to Theorem 2.2, it follows that E = OF (ξ)⊕2 , because

1
h F, OF (−2f ) = 0 (see Corollary 2.4).
In the case A5 the bundle E ′ := E ∨ (h) ∼
= E(−f ) is in the case A1 . The zero locus L of a general
section of E ′ is a line in the class ξ 2 −f 2 . Twisting Sequence (12) by OF (h) we deduce that
 IL|F (h) is
globally generated. On the other hand OF (f ) is globally generated and h1 F, OF (f ) = 0. Taking

14

G. CASNATI, M. FILIP, F. MALASPINA

Sequence (1) for E ′ and twisting it by OF (f ), it follows the existence of a commutative diagram
of the form



0 −−−−→ H 0 F, OF (f ) ⊗ OF −−−−→ H 0 F, E ⊗ OF −−−−→ H 0 F, IL|F (h) ⊗ OF −−−−→ 0






y
y
y
0 −−−−→

OF (f )

−−−−→

E

−−−−→

IL|F (h)

−−−−→ 0

Since the first and third vertical arrows are surjective, it follows that the same is true for the
middle one. We conclude that E is globally generated, thus the zero locus of the general section
s ∈ H 0 F, E has pure codimension 2.
In the case A6 we can argue similarly using Sequence (11) instead of (12). Indeed in this case
E ′ := E ∨ (h) ∼

= E(−ξ) and the zero locus L of a general section of E ′ is a line in the class f 2 .
6. Elliptic curves and Ulrich bundles
In this section we will deal with the zero locus of a general section of an Ulrich bundle of rank 2
on F . We recall that Ulrich bundles of rank 2 on F are necessarily indecomposable (see Proposition
2.7).
Let us consider the case c1 = 2h, so that E is Ulrich by Theorem 5.1. In this case Lemma
∼ ∨
3.1 guarantees
 that E = E (2h) is globally generated, thus the zero locus of a general section
0
s ∈ H F, E vanishes
exactly along

 a smooth curve E. The cohomology of Sequence (1) imply
1
0
that h F,
 IE|F = h F, IE|F (h) = 0. Hence the cohomology of Sequence (3) yields both
h0 E, OE = 1 and that E is non–degenerate (i.e. not contained in any hyperplane). Moreover
we now that deg(E) = hc2 = 9 (see Equality (7)). Isomorphism (2) finally yields ωE = OE . We
conclude that E is a non–degenerate elliptic curve in P8 .
Conversely each such a curve E on F arises in the above way. Indeed OE ∼
= det(NE|F ) ⊗
= ωE ∼
∼
OF (−2h), hence det(NE|F ) = OF (2h) ⊗ OE . Moreover, OF (2h) satisfies the vanishing of the
Theorem 2.2, thus E is the zero locus of a section s of a vector bundle E of rank 2 on F with
c1 = 2h. Such a bundle is initialized because we are assuming E linearly
 normal. Proposition 1.1
and Corollary 2.2 of [14] imply that E is aCM, then h1 P8 , IE|P8 (th) = 0. The cohomology of
sequence
0 −→ IF |P8 −→ IE|P8 −→ IE|F −→ 0,


= 0, because h2 P8, IF |P8 (t) = 0. The cohomology of the Sequence (1)
imply h1 F, IE|F (th)

yields h1 F, E(th) = 0, hence h2 F, E(th) = 0 by Serre’s duality. Thus E is aCM with c1 = 2h,
whence Ulrich (again by Theorem 5.1).
In particular, non–degenerate elliptic curves (hence normal) E ⊆ P8 correspond to Ulrich bundles of rank 2 on F .
Lemma 6.1. If E is an Ulrich bundle of rank 2 with c1 = 2h, then c2 is either 3ξ 2 + 3f 2 , or
4ξ 2 + f 2 .
Proof. Let c2 = β1 ξ 2 + β2 f 2 . Since E is non–degenerate, then E 6⊆ F1 , thus β2 ≥ 0, due to
Inequality (10). Each divisor in |f | has degree 3, thus it is necessarily contained in a hyperplane
of P8 . As above we conclude that E cannot be contained in any divisor in |f |, thus we also have
β1 ≥ 0, due to Inequality (9). Moreover, the restriction of |f | to E is a linear series of dimension
2 = dim |f | hence its degree β1 = c2 f is at least 3, because E is elliptic. We obtain that (β1 , β2 )
must be either (3, 3), or (4, 1), because Equality (7) gives 2β1 + β2 = 9.

In what follows we will prove the existence of Ulrich bundles on F with c2 either 3ξ 2 + 3f 2 , or
4ξ + f 2 . Thanks to the above lemma, this is equivalent to prove the existence of elliptic normal
curves on F whose classes in A2 (F ) are either 3ξ 2 + 3f 2 , or 4ξ 2 + f 2 .
2

RANK TWO ACM BUNDLES

15

6.1. The case 3ξ 2 + 3f 2 . The following results have been strongly inspired by the method used
in [17] and [37] for constructing families of Ulrich bundles on P2 × Pm and on Fano blow–ups of
Pn .
Let us consider a stable vector bundle
F of rank 2 on P2 with c1 (F ) = 0 and c2 (F ) = 2.

In particular we know that h0 P2 , F = 0. The zero locus Z of a general section of F (1) is a
0–dimensional scheme in P2 of degree 3 and we have an exact sequence of the form
0 −→ OP2 −→ F (1) −→ IZ|P2 (2) −→ 0,

If Z is contained in a line, then h0 P2 , F 6= 0, a contradiction. We have an exact sequence
(27)

0 −→ IZ|P2 −→ OP2 −→ OZ −→ 0.

We conclude that



h1 P2 , F = h1 P2 , IZ|P2 (1) = h0 P2 , IZ|P2 (1) = 0,


h2 P2 , F (−1) = h2 P2 , IZ|P2 = 0,

thus F (1) is regular in the sense of Castelnuovo–Mumford,
 hence it is globally generated. It follows
that Z can be assumed reduced, hence h0 P2 ,IZ|P2 (3) = 3. The cohomology of Sequence (27)
thus yields a surjection ϕ : S ⊕4 → H∗0 P2 , F (1) , where S := k[x0 , x1 , x2 ], which is an isomorphism
in degree 0. After sheafifying such a surjection we obtain an exact sequence
0 −→ K −→ OP⊕4
2 −→ F (1) −→ 0
where K is a vector bundle of rank 2. The properties of the map ϕ and Horrocks theorem on P2
thus imply that K splits as OP2 (−1)⊕2 . We thus have an exact sequence
0 −→ OP2 (−2)⊕2 −→ OP2 (−1)⊕4 −→ F −→ 0.
Let E := (π ∗ F )(h). By pulling back via π the above sequence and twisting the result by OF (h),
we obtain the exact sequence
(28)

0 −→ OF (ξ − f )⊕2 −→ OF (ξ)⊕4 −→ E −→ 0.

Proposition 6.2. There exists Ulrich bundles E of rank 2 on F with c1 = 2h and c2 = 3ξ 2 + 3f 2 .
Moreover each such a bundle arises via the construction described above.
Proof. The assertions on the rank and the Chern classes of E follow immediately from the construction above.

The line bundles OF(ξ) and OF (ξ − f ) are aCM (see Corollary 2.5), thus h1 F, OF (th + ξ) =
h2 F, OF (th + ξ − f ) = 0, t ∈ Z. It follows that the cohomology
of Sequence (28) gives


1
∨
2
1
∼
h F, E(th) = 0, t ∈ Z. Since E = E (2h), then h F, E(th) = h F, E ∨ ((−2 − t)h) =
h1 F, E ∨ ((−4 − t)h) = 0 thanks to the previous vanishing. We deduce that
 E is aCM.

By computing the cohomology of Sequence (28), one also obtains h0 F, E = 14 and h0 F, E(−h) =
0. We deduce that E is Ulrich. Thus the existence part of the statement is completely proved.
Conversely, let us consider an Ulrich bundle E of rank 2 on F with c1 = 2h and c2 = 3ξ 2 + 3f 2
and let E be the zero–locus of a general section of E: we know that E is an elliptic normal curve
in P8 , hence it is non–degenerate. Recall that we have a natural section q : P2 → F of π mapping
P2 isomorphically onto the unique divisor F1 ∈ |ξ − f | which we will identify with P2 (see the proof
of Lemma 3.1). If we set F := q ∗ (E(−h)), then c1 (F ) = 0 and c2 (F ) = 2. Moreover, we have the
exact sequence
(29)

0 −→ OF (f − ξ) −→ OF −→ OP2 −→ 0.

Tensorizing the above sequence by E(−h),
and the one
 of Sequence (1)

 taking its cohomology
twisted by OF (−2ξ), we obtain h0 P2 , F = h1 F, E(−2ξ) = h0 F, IE|F (2f ) . Notice that each
surface in |2f | has degree 6, thus it is degenerate in P8 . Hence the last dimension must be zero
because E is a non–degenerate curve. We conclude that F is stable.

16

G. CASNATI, M. FILIP, F. MALASPINA

Let G := (π ∗ F )(h): we have c1 (G) = 2h and it fits into a sequence like (28). The cohomology
of Sequence (29) tensorized by E ∨ ⊗ G gives



H 0 F, E ∨ ⊗ G −→ H 0 P2 , E ∨ ⊗ G ⊗ OP2 −→ H 1 F, E ∨ ⊗ G(f − ξ) .
Notice that E ∨ ⊗ G ⊗ OP2 ∼
= F∨ ⊗ F.
Tensorizing Sequence (28) for G by E ∨ (f − ξ) ∼
= E(−3ξ − f ), we obtain the exact sequence
⊕4

⊕2
1
2
∨
1
H F, E(−2ξ − f )
−→ H P , E ⊗ G(f − ξ) −→ H 2 F, E(−2ξ − 2f )
= 0.


1
1
The cohomology of Sequence (1) twisted by OF (−2ξ−f ) gives h F, E(−2ξ−f ) = h F, IE|F (f ) .

The cohomology
of Sequence (3) twisted by OF (f ) and the equality f E = 3 implies h1 F, IE|F (f ) =

h0 F, IE|F (f ) , which vanishes because E is non–degenerate. We conclude that h1 F, E ∨ ⊗ G(f −
ξ) = 0.
Thus it is possible to lift the identity morphism F → F to a morphism ψ : E → G. We have
c1 (G) = 2h = c1 , thus det(ψ) ∈ k. Since ψ is an isomorphism when restricted to P2 it follows that
det(ψ) 6= 0, i.e. ψ is a global isomorphism. This completes the proof of the second part of the
statement.

The above discussion shows that the two maps F 7→ (π ∗ F )(h) and E 7→ q ∗ (E(−h)) are inverse
each other. It follows from Proposition 2.7 that the proof of the first part of the statement of the
following corollary is immediate.
Corollary 6.3. There exists an isomorphism Ms,U (2; 2h, 3ξ 2 + 3f 2 ) ∼
= Ms 2 (2; 0, 2).
F

P

2
2
In particular Ms,U
F (2; 2h, 3ξ + 3f ) is irreducible, smooth, rational of dimension 5. Moreover




h0 F, E ⊗ E ∨ = 1, h1 F, E ⊗ E ∨ = 5, h2 F, E ⊗ E ∨ = h3 F, E ⊗ E ∨ = 0.

2
Proof. The first part of the statement has been proved above. For the properties of Ms,U
F (2; 2h, 3ξ +
2
3f ) we refer to [39], Theorem II.4.2.1 and, for the assertion on the rationality, to [4] (see also [35],
[34] and [30]).

Recall that stable bundles are simple (see [28], Corollary 1.2.8), thus h0 F,
E ⊗ E ∨ = 1. For

the two last vanishings see Lemma 2.3 of [10]. The value of h1 F, E ⊗ E ∨ can be now easily
obtained by checking that χ(E ⊗ E ∨ ) = 4 − 4hc2 + hc21 using Equality (4) with c1 (E ∨ ⊗ E) = 0,

c2 (E ∨ ⊗ E) = 4c2 − c21 , c3 (E ∨ ⊗ E) = 0.

6.2. The case 4ξ 2 +f 2 . Recall that σ : F → P3 denotes the blow up map at the single point P . We
have σ ∗ OP3 (1) ∼
= OF (ξ). A null–correlation bundle G on P3 is the kernel of any surjective morphism
3
3
TP (−1) → OP (1) where TP3 is the tangent bundle. In particular c1 (G) = 0 and c2 (G) is the class
of a line (conversely each stable bundle of rank 2 on P3 with such classes is a null–correlation
bundle: see [39], Lemma 4.3.2). It follows G ∨ ∼
= G, hence there is an exact sequence
0 −→ OP3 (−1) −→ Ω1P3 (1) −→ G −→ 0.
Pulling back the above sequence via σ and twisting by OF (h) we finally obtain vector bundles
E := (σ ∗ G)(h) fitting into the exact sequence
0 −→ OF (f ) −→ σ ∗ Ω1P3 (2ξ + f ) −→ E −→ 0.
Proposition 6.4. There exists Ulrich bundles E of rank 2 on F with c1 = 2h and c2 = 4ξ 2 + f 2 .
Moreover each such a bundle arises via the construction described above.
Proof. The assertions on the rank and the Chern classes of E follow immediately from the construction above.


We have now to show that E is aCM and Ulrich, i.e. h0 F, E(−h) = 0 and h0 F, E = 14.
Since OF (f ) is aCM, it follows that


h0 F, E(−h) = h0 F, σ ∗ Ω1P3 (ξ) ,


h0 F, E = h0 F, σ ∗ Ω1P3 (2ξ + f ) − 3,
(30)



t ∈ Z.
h2 F, E((−4 − t)h) = h1 F, E(th) = h1 F, σ ∗ Ω1P3 ((t + 2)ξ + (t + 1)f ) ,

RANK TWO ACM BUNDLES

17

It is clear that the statement follows from the computation of the aforementioned cohomology
groups of the twists of σ ∗ Ω1P3 (ξ).
By pulling back to F the Euler sequence we obtain
ϕt

0 −→ σ ∗ Ω1P3 (ξ + th) −→ OF (th)⊕4 −→ OF (ξ + th) −→ 0.
Let y0 , y1 , y2 , y3 be homogeneous coordinates in P3 . We recall that the matrix of ϕt is

s0 s1 s2 s3

where si := σ ∗ yi ∈ H 0 F, OF (ξ) , i = 0, 1, 2, 3. Since OF is aCM the cohomology of the above
sequence is
⊕4 Φt

−→
0 −→ H 0 F, σ ∗ Ω1P3 (ξ + th) −→ H 0 F, OF (th)


0
−→ H F, OF (ξ + th) −→ H 1 F, σ ∗ Ω1P3 (ξ + th) −→ 0

where Φt has still the matrix above.
Via the identification induced by the projection π : F → P2 , we have
t

 M
H 0 P2 , OP2 (i + t) ,
H 0 F, OF (th) ∼
=
i=0
t+1
M


H 0 F, OF (ξ + th) ∼
=

i=0


H 0 P2 , OP2 (i + t) .

The last identification for t = 0, allows us to assume that si = xi , i = 0, 1, 2, are homogeneous
coordinates in P2 and s3 = 1. With all the above identification it is immediate to check that Φt is
surjective for each t. In particular

h0 F, σ ∗ Ω1P3 (ξ) = 0,

h0 F, σ ∗ Ω1P3 (ξ + h) = 17,

h1 F, σ ∗ Ω1P3 (ξ + th) = 0,
t ∈ Z.

The proof of the existence part of the statement thus follows by substituting the identities above
in Equalities (30).
Now we turn our attention to prove that if E is any Ulrich bundle of rank 2 on F with c1 = 2h
and c2 = 4ξ 2 + f 2 , then it arises via the construction described above. To this purpose, it suffices
to prove G := σ∗ E(−h) is a null–correlation bundle. Once we have proved such an assertion,
then the second part of the statement follows. Indeed consider the natural map of vector bundles
ψ : (σ ∗ G)(h) → E. We know that c1 ((σ ∗ G)(h)) = 2h = c1 , hence the locus where ψ is not an
isomorphism is either F , or ∅. Since ψ is certainly an isomorphism at the general point, it follows
that it is an isomorphism everywhere.
Our first step for proving that G is a null–correlation bundle is to deal with F := E ⊗ OF1 .
Notice that hF1 = ξ 2 − f 2 is the class of a line in F1 ∼
= P2 (see Remark 4.2). Thus c1 (F ) = 2 and
c2 (F ) = c2 F1 = 1. First we prove that F := E ⊗ OF1 ∼
= OF1 (1)⊕2 by using Horrocks theorem on
1
2
F1 . We have to show that h P , F (t) = 0 for each t ∈ Z. Thanks to Serre’s duality, it suffices to
prove the vanishing for t ≥ −2.
In order to prove the above vanishing we again tensorize Sequence (29) by E(th). Since hF1 is
the class of a line in P2 , it follows that the cohomology of the sequence and the vanishing of the
intermediate cohomology of E yield the equality


(31)
h1 P2 , F (t) = h2 F, E((t − 1)ξ + (t + 1)f ) .
The cohomology of Sequence (1) twisted by OF ((t − 1)ξ + (t + 1)f ) and Corollary 2.4 give


t ≥ −1.
h2 F, E((t − 1)ξ + (t + 1)f ) = h2 F, IE|F ((t + 1)ξ + (t + 3)f ) ,

The cohomology of Sequence (3) twisted by OF ((t + 1)ξ + (t + 3)f ) and Corollary 2.5 give


t ∈ Z.
(32)
h2 F, IE|F ((t + 1)ξ + (t + 3)f ) = h1 E, OE ((t + 1)ξ + (t + 3)f ) ,

18

G. CASNATI, M. FILIP, F. MALASPINA

We have ((t + 1)ξ + (t + 3)f )E = 9t + 17, thus the last dimension above is zero when t ≥ −1,
because E is a smooth elliptic curve.
We conclude that h1 P2 , F (t) =0 for t ≥ −1.


1
2
We now check h P , F (−2) = 0. Equality (31) gives h1 P2 , F (−2) = h2 F, E(−3ξ − f ) . On
the one hand, (f − ξ)E = −1, thus Equality (32) gives h2 F, IE|F (−ξ + f ) = 1. On the other
hand, h3 F, E(−3ξ − f ) = h0 F, E(−ξ − 3f ) = 0 (E is initialized) and h2 F, O(−3ξ − f ) = 0
because OF (2f ) is aCM (Corollary 2.5). Thus the cohomology of Sequence (1) gives



0 −→ H 2 F, E(−3ξ − f ) −→ H 2 F, IE|F (−ξ + f ) −→ H 3 F, O(−3ξ − f ) −→ 0.



Corollary 2.4 implies h3 F, O(−3ξ − f ) = 1, hence h1 P2 , F (−2) = h2 F, E(−3ξ − f ) = 0.
Thanks to Horrocks theorem on F1 ∼
= P2 we deduce that F splits. Since we have c1 (F ) = 2 and
c2 (F ) = 1 we conclude that F ∼
= OF1 (1)⊕2 .
i
Now we show that R σ∗ E = 0 for each i ≥ 1. To this purpose it suffices to check that the stalk
(Ri σ∗ E)x is zero for each x ∈ P3 , which is obvious for x 6= P , because σ is an isomorphism on
P3 \ P . Thus we have to show that (Ri σ∗ E)P = 0.
Let m ⊆ O := OP3 ,P be the maximal ideal and set On := O/mn , Fn := F ×P3 spec(On ),
En := E ⊗OF OFn : we have E1 ∼
=F ∼
= OF1 (1)⊕2 .
Let k ∼
= O/m → O be the inclusion. Then the composition O/m → O → O/mn → O/m of such
an inclusion with the natural projections is the identity. In particular O/mn is an O/m–algebra,
hence we can write Fn ∼
= F1 ×spec(O1 ) spec(On ) ∼
= P2On and
En ∼
= E1 ⊗O OF .
= E1 ⊗O (OF ⊗O On ) ∼
= E ⊗O (OF ⊗O On ) ∼
F

1

F

1

1

n

F

Since we know that E1 ∼
= OFn (1)⊕2 for each n ≥ 1, hence
= OF1 (1)⊕2 , it follows that En ∼

i
i σ E) ∼
i≥1
(R\
∗
P = lim H Fn , En = 0,
←−
i
(see [27], Theorem III.11.1), thus (R σ∗ E)P = 0 too. Exercises
III.8.1, III.8.3 of [27] and the

3
i
i
isomorphism σ ∗ OP3 (1) ∼
F,
E((t − 1)ξ − f ) , i ≥ 0.
P
,
(σ
E(−h))(t)
=
h
O
(ξ)
imply
h
= F
∗
We are now ready to show that G = σ∗ E(−h) is a null–correlation bundle. To this purpose we
use Beilinson’s spectral sequence whose E1 terms are


∼ q F, E((p − 1)ξ − f ) ⊗ Ω−p
E p,q := H q P3 , G(p) ⊗ Ω−p
3 (−p) = H
3 (−p)
1

P

P

(see [39], Theorem II.3.1.3 I: though the theorem is stated for vector bundles it holds for every
coherent sheaf on OP3 as pointed out in [1]).
In the computations below we will repeatedly use of the isomorphism E ∨ ∼
= E(−2h), of Corollary
2.4 and of Proposition 2.3 without mention them explicitly. Moreover we also make use several
times of Riemann–Roch theorem on the elliptic curve E for computing the cohomology of the line
bundle OF (λ1 ξ + λ2 f ).

We have hq F, E(−ξ − f ) = 0 for q = 1, 2 because E is aCM, i.e. E10,q = 0 in the same range.

Moreover h0 F, E((p − 1)ξ − f ) = 0 for each p ≤ 0, because E is initialized, hence E1p,0 = 0, p ≤ 0.


For the same reason h3 F, E(−ξ − f ) = h0 F, E(−3ξ − 3f ) = 0, i.e. E10,3 = 0. 

The cohomology of Sequence (1) twisted by OF (−2ξ−f ) implies hi F, E(−2ξ−f ) = hi F, IE|F (f ) ,
i ≥ 1. The cohomology of Sequence (3) twisted by OF (f ) and the fact that f E = 4 give
h1 F, IE|F (f ) = 1 and hi F, IE|F (f ) = 0, i ≥ 2. We conclude that E1−1,1 = Ω1P3 (1) and
E1−1,2 = E1−1,3 = 0.


By Serre’s duality we have h3 F, E(−3ξ − f ) = h0 F, E(−ξ − 3f ) = 0 because E is initialized,
−2,3
1
then
 E11 = 0. Thus the
 cohomology of Sequence (1) twisted by OF (−3ξ −f ) gives h F, E(−3ξ −
f ) = h F, IE|F (f − ξ) and the existence of an exact sequence of the form


0 −→ H 2 F, E(−3ξ − f ) −→ H 2 F, IE|F (f − ξ) −→ k −→ 0.
The cohomology of
twisted by OF (f − ξ) and the equality (f − ξ)E = −1 give
 Sequence (3)
1
2
h F, IE|F (f − ξ) = 0 and h F,IE|F (f − ξ) = 1, hence E1−2,1 = E1−2,2 = 0. We also have
h3 F, E(−4ξ − f ) = h0 F, E(−3f ) . The cohomology of Sequence (1) twisted by OF (−3f ) gives

RANK TWO ACM BUNDLES

19



h0 F, E(−3f ) = h1 F, IE|F (2ξ − f ) . Every surface in |2ξ − f | has degree 5, thus it is degenerate
in P8 . Hence the last dimension must be zero because E is a non–degenerate curve, i.e. E1−3,3 = 0.
The above vanishing show that the unique non–zero differential is d−3,2
: OP3 (−1)⊕c → Ω1P3 (1).
2
p,q
Thus E∞ is non–zero only for (p, q) = (−1, 1), and we obtain an exact sequence of the form
ϑ

0 −→ OP3 (−1)⊕c −→ Ω1P3 (1) −→ G −→ 0.
We immediately obtain c = 1, because G has rank 2 at the general point.
We conclude the proof by showing that G is a vector bundle. Taking the dual of the above
sequence we deduce that G ∨ is the kernel of a morphism ϑ∨ : TP3 (−1) → OP3 (1). We claim that ϑ∨
is surjective, i.e. that the locus of points of P3 where ϑ∨ vanishes is empty. Such a locus coincides
with the locus Θ where ϑ vanishes. Since the restriction of σ to F \ F1 is an isomorphism onto
P3 \ { P } it follows that Θ is supported on a scheme contained in { P }. Thanks to [25], Theorem
14.4 b), Example 14.4.1 and easy computations deg(Θ) = c3 (Ω1P3 (1) − OP3 (−1)) = 0, hence Θ = ∅.
We deduce that G ∨ is a vector bundle, thus the bidual of the above sequence yields an isomorphism
G∼

= (G ∨ )∨ , i.e. G is a null–correlation bundle.
Thanks to Proposition 2.7 the proof of the first part of the statement of the following corollary
is immediate (see Theorem II.4.3.4 of [39]). The second part can be proved along the same lines
of the proof of the analogous part of the statement of Corollary 6.3.
2
2 ∼
s
Corollary 6.5. There exists an isomorphism Ms,U
F (2; 2h, 4ξ + f ) = MP3 (2; 0, 1).
s,U
In particular MF (2; 2h, 4ξ 2 + f 2 ) is irreducible, smooth, rational of dimension 5. Moreover




h0 F, E ⊗ E ∨ = 1, h1 F, E ⊗ E ∨ = 5, h2 F, E ⊗ E ∨ = h3 F, E ⊗ E ∨ = 0.

6.3. Ulrich–wildness of F . We conclude this section by using the above results for proving the
Ulrich–wildness of F . To this purpose we will denote by A and B two non–isomorphic Ulrich
bundles of rank 2 on F : we know that c1 (A) = c1 (B) = 2h.
Recall that B, being Ulrich has a linear presentation of the form
0
OP8 (−1)⊕β1 −→ OP⊕β
→ B −→ 0
8

(e.g. see Proposition 2.1 of [20]). Twisting the above sequence by OF we obtain an exact sequence
of the form
OF (−h)⊕β1 −→ OF⊕β0 → B −→ 0.
Indicating by K the kernel of the map onto B, which coincides with the image of OF (−h)⊕β1 →
OF⊕β0 , we finally obtain the exact sequence
0 −→ K −→ OF⊕β0 → B −→ 0.
The sheaf K is locally free on F , because the same is true for both OF⊕β0 and B.
Twisting the above sequence by A∨ and taking its cohomology, we obtain



h3 F, B ⊗ A∨ ≤ β0 h3 F, A∨ = β0 h0 F, A(−2h) ,



h2 F, B ⊗ A∨ ≤ h3 F, K ⊗ A∨ = h0 F, K∨ ⊗ A(−2h) ,

because A is aCM and F has dimension 3. Thus h3 F, B ⊗ A∨ = 0, because A is initialized.
The epimorphism OF (−1)⊕β1 → K induces by duality a monomorphism K∨ ⊗ A(−2h) →
A(−h)⊕β1 . Thus


h0 F, K∨ ⊗ A(−2h) ≤ β1 h0 F, A(−h) = 0,
again because A is initialized.
Lemma 6.6. With the above notation


h0 F, A ⊗ B ∨ = h0 F, B ⊗ A∨ = 0,



h2 F, B ⊗ A∨ = h3 F, B ⊗ A∨ = 0,

h1 F, B ⊗ A∨ = 4.

20

G. CASNATI, M. FILIP, F. MALASPINA



Proof. The above discussion shows that h2 F, B ⊗ A∨ = h3 F, B ⊗ A∨ = 0 which is the last
vanishing. Moreover we know that A and B are non–isomorphic and stable. Then Proposition
1.2.7 of [28] gives the first vanishings.
Equality (4) and the above vanishings yield

h1 F, B ⊗ A∨ = −χ(B ⊗ A∨ ) = c2 (B ⊗ A∨ )h − 4

because c1 (B ⊗ A∨ ) = c3 (B ⊗ A∨ ) = 0. Since c2 (A)h = c2 (B)h = 9 and c1 (A)c1 (B)h = 28, we
finally obtain h1 F, B ⊗ A∨ = 4.

We are now ready to prove the already claimed main result of this section.
Theorem 6.7. The variety F is of Ulrich–wild representation type.


Proof. Recall that A and B are stable, thus simple by [28], Corollary 1.2.8. Since h1 F, B⊗A∨ ≥ 3,
the statement follows from Corollary 1 of [23].

7. Indecomposable, aCM bundles which are not Ulrich
In this last section we will classify all non–Ulrich bundles on F . Thus c1 is either 0, or the Chern
classes of E are listed in Table B as Ai with i = 0, . . . , 6 due to Theorem 5.3: as pointed out at the
end of Remark 5.2, it suffices to examine, besides the case c1 = 0, only the cases
 A0 , A1 , A2 , A3 .
Notice that in cases A0 , A1 , A2 , A3 we have h0 F, E ∨ = h0 F, E ∨ (−h) = 0 because c1 is
effective and non–zero.
7.1. The cases A0 and A6 . In case A0 the class of E is f 2 , hence E is a line which is the pull–
back of a point via π. Conversely, take a line E in the class f 2 . As above det(NE|F ) ∼
= OE and
the line bundle OF (f ) satisfies the hypothesis of Theorem 2.2. Thus there is an exact sequence of
the form
0 −→ OF −→ E −→ IE|F (f ) −→ 0.
As in the analysis of the case A6 in the proof of Theorem 5.3 there is an epimorphism OF⊕2 →
IE|F (f ). Sequence (1) thus gives the existence of an epimorphism OF⊕3 → E whose kernel is
necessarily OF (−f ). By duality we obtain an exact sequence of the form
(33)

0 −→ E −→ OF (f )⊕3 −→ OF (2f ) −→ 0.

The projection formula gives the existence of an isomorphism


HomF OF (f )⊕3 , OF (2f ) ∼
= HomF OP2 (1)⊕3 , OP2 (2) :

thus each morphism OF (f )⊕3 → OF (2f ) is the pull–back via π of a morphism OP2 (1)⊕3 → OP2 (2).
We conclude that E ∼
= (π ∗ Ω1P2 )(2f ).
We have that E := (π ∗ Ω1P2 )(2f ) is trivially indecomposable. Pulling back via π the Euler
sequence we obtain an exact sequence as in (33). Since the line bundles OF (f ) and OF (2f ) are
aCM, the twisted cohomology of Sequence (33) yields h2 F, E(th) = 0, t ∈ Z. Twisting the dual
 of
Sequence (33) by OF (f ) and taking its twisted cohomology we also obtain that h1 F, E(th) = 0,
t ∈ Z, because OF is aCM too. We conclude that E is aCM. Finally again the cohomology of
Sequence (33) yields h0 F, E 6= 0 and h0 F, E(−h) = 0, i.e. E is initialized.
We conclude that both cases A0 and A6 occur. More precisely in case A0 we have E ∼
=
∗ 1
(π ΩP2 )(2f ), while in case A6 we have E ∼
= (π ∗ Ω1P2 )(ξ + 2f ). In both the cases E is globally
generated, thus each general section of E vanishes exactly along a smooth curve E. In case A0 , E
is a line. In case A6 , E is a rational quintic.

RANK TWO ACM BUNDLES

21

7.2. The cases A1 , A2 , A4 and A5 . In case A1 the class of E is ξ 2 − f 2 , hence E is again a
line, hence det(NE|F ) ∼
= OE . Thus the
=OE . Since ξ(ξ 2 − f 2 ) = 0, it follows that OF (ξ) ⊗ OE ∼
1
2
vanishing h F, OF (−ξ) = h F, OF (−ξ) = 0 and Theorem 2.2 imply the existence of a unique
exact sequence of the form
0 −→ OF −→ E −→ IE|F (ξ) −→ 0.
Confronting such a sequence with Sequence (12) twisted by OF (ξ), we conclude that E ∼
= OF (ξ −
f ) ⊕ OF (f ).Similarly, in case A2 the class of E is f 2 , again E is a line and det(NE|F ) ∼
= OE . As
in the previous case we can prove that E ∼
= OF (f )⊕2 .
We conclude that the cases A1 , A2 , A4 and A5 do not occur, because the bundle is always
decomposable.
7.3. The case A3 . The class of E is βξ 2 + 2(1 − β)f 2 so that deg(E) = 2. We know (see the
proof of Theorem 5.3) that the class of E is one of the following: 2f 2 , ξ 2 , 2(ξ 2 − f 2 ).
There is a unique exact sequence of the form
0 −→ OF −→ E −→ IE|F (h) −→ 0


because h1 F, OF (−h) = h2 F, OF (−h) = 0 (see Theorem 2.2).
In the case the class of E is2f 2 , then f E = 0, hence the cohomology
of Sequence (3) twisted

by OF (f ) yields h0 F, IE|F (f ) ≥ h0 F, OF (f ) − h0 E, OE (f ) = 2. We deduce the existence of
two distinct divisors A, B ∈ |f | through E. The divisors A and B have no common components,
thus A ∩ B is a curve of degree 1 containing E, which has degree 2, a contradiction.
Let us examine the two remaining cases. If E is in the class ξ 2 , then we can find divisors A ∈ |f |
and B ∈ |ξ| through E. Again an easy computation shows that A ∩ B is a curve containing E.
Since its degree is 2, it follows that E = A ∩ B. As in the cases A1 and A2 , the uniqueness of E
implies E ∼
= OF (f ) ⊕ OF (ξ).
If the class of E is ξ 2 − f 2 , then we can find divisors A ∈ |ξ − f | and B ∈ |2f | such that
E = A ∩ B and we can again repeat the above argument.
We conclude that also the case A3 does not occur, because the bundle is decomposable too.
7.4. The case c1 = 0. In this case we have an exact sequence of the form
0 −→ OF −→ E −→ IE|F −→ 0.

(34)

∨

Thus h0 F, E = 1: Equality (7) yields that the zero locus of a non–zero section of E is a line.
We conclude that c2 is either f 2 , or ξ 2 − f 2 , thanks to Remark 4.2.
In what follows we will give two interesting constructions for an indecomposable, initialized
aCM bundle E with c1 = 0.
Example 7.1. We have


dim Ext1F OF (ξ − f ), OF (−ξ + f ) = h1 F, OF (−2ξ + 2f ) = 3.

Thus there exist exact sequences of the form
(35)

0 −→ OF (f − ξ) −→ E −→ OF (ξ − f ) −→ 0.

The line bundes OF (2f
 ), hence OF (f − ξ), and OF (ξ − f ) are aCM (see Corollary 2.5). Hence
E is aCM and h0 F, E = 1. A simple computation also shows that it is initialized, c1 = 0 and
c2 = ξ 2 − f 2 . In particular the zero–locus of a non–zero section of E is a line E in the class ξ 2 − f 2 .
We claim that the bundle E is indecomposable. Indeed if it is decomposable, then there are
λ1 , λ2 ∈ Z such that
(λ1 ξ + λ2 f )(−λ1 ξ − λ2 f ) = ξ 2 − f 2 .
Simple computations show that either E ∼
= OF (ξ + f ) ⊕ OF (−ξ − f ).
= OF (ξ − f ) ⊕ OF (f − ξ), or E ∼
In the second case the E would not be initialized, a contradiction. Thus only the first case is
admissible and the same argument as before shows that the extension itself would split, again a
contradiction.

22

G. CASNATI, M. FILIP, F. MALASPINA

Example 7.2. Take a general morphism OF (f )⊕2 ⊕ OF → OF (2f ). Its cokernel is supported on
a zero–dimensional scheme Z ⊆ F by standard Bertini theorem. Thanks to [25], Theorem 14.4 b),
Example 14.4.1 we see that deg(Z) = c3 (OF (f )⊕2 ⊕ OF − OF (2f )) = 0, hence Z = ∅. Thus we
obtain a vector bundle E fitting into an exact sequence of the form
(36)

0 −→ OF (−2f ) −→ OF (−f )⊕2 ⊕ OF −→ E −→ 0.

The line bundles OF (ξ) and OF (ξ − f ) are aCM (see Corollary 2.5), hence the same is true
for OF (−f ) and OF (−2f ). In particular the bundle E fitting in the above sequence satisfies
h1 F, E(th) = 0, t ∈ Z. Since E ∨ ∼
= E, it follows from these vanishings and Serre duality that
h2 F, E(th) = 0, t ∈ Z. We deduce that E is aCM. Moreover, A simple computation also shows
that it is initialized, c1 = 0 and c2 = f 2 .
Finally, E is indecomposable because the equality
(λ1 ξ + λ2 f )(−λ1 ξ − λ2 f ) = f 2
has no solutions in Z.
The two above examples prove the following statement.
Proposition 7.3. There exists initialized, indecomposable, aCM bundles E of rank 2 on F with
c1 = 0 and c2 either f 2 , or ξ 2 − f 2 .
Moreover each such a bundle arises via the construction described above.
Proof. The existence part of the above statement follows from Example 7.1 and 7.2.
Now let E be a line on F , so that its class in A(F ) is either f 2 , or ξ 2 − f 2 . By adjunction on
F we know that OE (−2h) ∼
= OP1 (−2) ∼
= OF (−2h) ⊗ det(NE|F ), thus det(NE|F ) ∼
= OE . The line
bundle OF satisfies the hypothesis of Theorem 2.2, thus there is a vector bundle E of rank 2 on F
fitting into Sequence (34).
Let ξ 2 − f 2 be the class of E (hence it is also c2 ). As pointed out in Remark
 4.2, the line E is
contained in the unique divisor F1 ∈ |ξ − f |. It follows that h0 F, IE|F (ξ − f ) ≥ 1 and equality
must hold because, otherwise, the class of E in A(F ) would be f 2 − ξ 2 , a contradiction.

The cohomology of Sequence (34) twisted by OF (ξ − f ) thus gives h0 F, E(ξ − f ) = 2. Let σ
be a general section of E(ξ − f ). Then (σ)0 = Γ ∪ ∆ where Γ and ∆ have pure dimensions 1 and
2 respectively. Thus Sequence (1) for σ becomes
0 −→ OF (∆) −→ E(ξ − f ) −→ IΓ|F (2ξ − 2f − ∆) −→ 0.


Let OF (∆) = OF (δ1 ξ + δ2 f ). The inequality 1 ≤ h0 F, OF (∆) ≤ h0 F, E(ξ − f ) = 2 and
Proposition 2.3
 imply δ1 +δ2 = 0, thus OF (∆) = OF (δ(ξ −f )) for some integer δ ≥ 0. In particular
h0 F, OF (∆) = 1, thanks to the aforementioned proposition. Moreover



1 = h0 F, E(ξ − f ) − h0 F, OF (∆) ≤ h0 F, IΓ|F (2ξ − 2f − ∆) .
(37)

It follows that δ ≤ 1. If δ = 1, then Sequence (37) coincides with Sequence (34) twisted by
OF (ξ − f ). In this case Sequence (37) is exactly Sequence (34) twisted by OF (ξ − f ), hence σ is
in the image of the morphism



H 0 F, E ⊗ H 0 F, OF (ξ − f ) → H 0 F, E(ξ − f )

which trivially has dimension 1. Since σ is general, it follows that δ = 0, i.e. ∆ is empty. Since
the class of Γ is c2 (E(ξ − f )) = 0, we conclude that Sequence (37) twisted by OF (f − ξ) is exactly
Sequence (35).
Let f 2 be the class of E (hence it is also c2 ). As pointed out in Remark 4.2, the line E is the
inverse image of a single point e ∈ P2 . Theorem 2.2 yields the existence of a vector bundle F on
P2 fitting into an exact sequence of the form
0 −→ OP2 −→ F −→ Ie|P2 −→ 0.

RANK TWO ACM BUNDLES

23

Moreover, we trivially have a surjective map OP2 (−1)⊕2 → Ie|P2 . By applying HomP2 OP2 (−1)⊕2 , ·
to the above sequence and taking into account that

⊕2
Ext1P2 OP2 (−1)⊕2 , OP2 = H 1 P2 , OP2 (1)
=0



we deduce that the surjection OP2 (−1)⊕2 → Ie|P2 lifts to a map OP2 (−1)⊕2 → F . We thus obtain
a surjective morphism OP2 (−1)⊕2 ⊕ OP2 → F . A Chern class computation shows that the kernel
of this map is OP2 (−2), hence we have an exact sequence
0 −→ OP2 (−2) −→ OP2 (−1)⊕2 ⊕ OP2 −→ F −→ 0.
By pulling back the above sequence via π, which is a flat morphism, we deduce the existence of
Sequence (36)

We conclude this section with two remarks.
Remark 7.4. It is interesting to notice that all the bundles which we have dealt with can be
obtained, up to twists, as pull–back of suitable bundles via σ or π. This is no longer true for the
bundles with c1 = 0, but for the case c2 = f 2 .
Indeed, assume the existence of a vector bundle G on P3 such that E ∼
= σ ∗ G(λ1 ξ + λ1 f ). Assume
∗
∗
∗
∗
2
that c1 (σ G) = σ c1 (G) = g1 ξ and c2 (σ G) = σ c2 (G) = g2 ξ . We would have
0 = c1 (E) = c1 (σ ∗ G(λ1 ξ + λ2 f )) = (g1 + 2λ1 )ξ + 2λ2 f
so we obtain λ2 = 0. Thus
c2 (E) = c2 (σ ∗ G(λ1 ξ + λ2 f )) = (g2 + λ1 g1 + λ21 )ξ 2 ,
which cannot be either ξ 2 − f 2 , or f 2 . Thus E is not a pull–back of a suitable bundle via σ.
Similar computations, with π and f instead of σ and ξ, show that, when c2 = ξ 2 − f 2 , the
bundle E is not a pull–back of a bundle via π, as well.
When c2 = f 2 the picture is different. Indeed the construction given in Example 7.2 shows that
∼
E = π ∗ F where F is a vector bundle on P2 with c1 (F ) = 0 associated via the Hartshorne–Serre
correspondence to a point.
Remark 7.5. Repeating verbatim the proof of Proposition 3.3 of [10] one can easily prove that
each indecomposable, initialized, aCM bundle of rank 2 with c1 = 0 on E is not semistable (but it
is µ–semistable).
Notice that the above Examples 7.1, 7.2 and Proposition 7.3 show that these bundles are fibres
of a flat family whose base is the dijoint union of two copies of P2 .
References
[1] V. Ancona, G. Ottaviani: Some applications of Beilinson’s theorem to projective spaces and quadrics. Forum
Math. 3 (1991), 157–176.
[2] E. Arrondo: A home–made Hartshorne–Serre correspondence. Comm. Algebra 20 (2007), 423–443.
[3] E. Arrondo, L. Costa: Vector bundles on Fano 3–folds without intermediate cohomology. Comm. Algebra 28
(2000), 3899–3911.
[4] W. Barth: Moduli of vector bundles on the projective plane. Invent. Math. 42 (1977), 63–91.
[5] A. Beauville: Determinantal hypersurfaces. Michigan Math. J. 48 (2000), 39–64.
[6] L. Casanellas, R. Hartshorne: ACM bundles on cubic surfaces. J. Eur. Math. Soc. 13 (2011), 709–731.
[7] M. Casanellas, R. Hartshorne, F. Geiss, F.O. Schreyer: Stable Ulrich bundles. Int. J. of Math. 23 1250083
(2012).
[8] G. Casnati: On rank two aCM bundles. Preliminary version.
[9] G. Casnati, D.Faenzi, F. Malaspina: Rank two aCM bundles on the del Pezzo threefold with Picard number 3.
J. Algebra 429 (2015), 413–446.
[10] G. Casnati, D.Faenzi, F. Malaspina: Moduli spaces of rank two aCM bundles on the Segre product of three
projective lines. arXiv:1405.7678 [math.AG].
[11] G. Casnati, D.Faenzi, F. Malaspina: Rank two aCM bundles on the del Pezzo fourfold of degree 6 and its
general hyperplane section. arXiv arXiv:1503.02796 [math.AG].
[12] G. Casnati, R. Notari: Examples of rank two aCM bundles on smooth quartic surfaces in P3 . Preliminary
version.

24

G. CASNATI, M. FILIP, F. MALASPINA

[13] L. Chiantini, C. Madonna: ACM bundles on general hypersurfaces in P5 of low degree. Collect. Math. 56
(2005), 85–96.
[14] N. Chiarli, S. Greco, U. Nagel: On the genus and Hartshorne–Rao module of projective curves. Math. Z. 229
(1998), 695–724.
[15] E. Coskun, R.S. Kulkarni, Y. Mustopa: The geometry of Ulrich bundles on del Pezzo surfaces. J. Alg. 375
(2013), 280–301.
[16] L. Costa, R.M. Mir-Roig: GL(V )–invariant Ulrich bundles on Grassmannians. Math. Ann. 361 (2015), 443–
457.
[17] L. Costa, R.M. Miró–Roig, J. Pons–Llopis: The representation type of Segre varieties. Adv. Math. 230 (2012),
1995–2013.
[18] Y. Drozd, G.M. Greuel: Tame and wild projective curves and classification of vector bundles. J. Algebra 246
(2001), 1–54.
[19] D. Eisenbud, D. Herzog: The classification of homogeneous CohenMacaulay rings of finite representation type.
Math. Ann. 280 (1988), 347–352.
[20] D. Eisenbud, F.-O. Schreyer, J. Weyman: Resultants and Chow forms via exterior syzygies. J. Amer. Math.
Soc. 16 (2003), 537–579.
[21] D. Faenzi: Rank 2 arithmetically Cohen–Macaulay bundles on a nonsingular cubic surface. J. Algebra 319
(2008), 143–186.
[22] D.Faenzi, F. Malaspina: Surfaces of minimal degree of tame and wild representation type. Preprint
arXiv:1409.4892 [math.AG].
[23] D. Faenzi, J. Pons–Lopis: The CM representation type of projective varieties. Preprint arXiv:1504.03819
[math.AG].
[24] M. Filip: Rank 2 ACM bundles on complete intersection Calabi–Yau threefolds. Geom. Dedicata, 173 (2014),
331–346.
[25] W. Fulton: Intersection theory. Ergebnisse der Mathematik und ihrer Grenzgebiete, Springer (1984).
[26] R. Hartshorne: Varieties of small codimension in projective space. Bull. Amer. Math. Soc. 80 (1974), 1017-1032.
[27] R. Hartshorne: Algebraic geometry. G.T.M. 52, Springer (1977).
[28] D. Huybrechts, M. Lehn: The geometry of moduli spaces of sheaves. Second edition. Cambridge Mathematical
Library, Cambridge U.P. (2010).
[29] V.A. Iskovskikh, Yu.G. Prokhorov: Fano varieties. Algebraic Geometry V (A.N. Parshin and I.R. Shafarevich
eds.), Encyclopedia of Mathematical Sciences 47, Springer, (1999).
[30] P. I. Katsylo: Birational geometry of moduli varieties of vector bundles over P2 . (Russian) Izv. Akad. Nauk
SSSR Ser. Mat. 55 (1991), 429–438; translation in Math. USSR-Izv. 38 (1992), 419–428.
[31] N. M. Kumar, A. P. Rao, G. V. Ravindra: Arithmetically Cohen–Macaulay bundles on three dimensional
hypersurfaces. Int. Math. Res. Not. (2007).
[32] C. Madonna: A splitting criterion for rank 2 vector bundles on hypersurfaces in P4 . Rend. Sem. Mat. Univ.
Pol. Torino. 56 (1998), 43–54.
[33] C. Madonna: ACM vector bundles on prime Fano threefolds and complete intersection Calabi Yau threefolds.
Rev. Roumaine Math. Pures Appl. 47 (2002), 211–222.
[34] T. Maeda: An elementary proof of the rationality of the moduli space for rank 2 vector bundles on P 2 .
Hiroshima Math. J. 20 (1990), 103–107
[35] M. Maruyama: The rationality of the moduli spaces of vector bundles of rank 2 on P2 . With an appendix by
Isao Naruki. Adv. Stud. Pure Math., 10, Algebraic geometry, Sendai, 1985, 399–414, North-Holland (1987).
[36] R.M. Miró–Roig, J. Pons–Lopis: Representation Type of Rational ACM Surfaces X ⊆ P4 . Algebr. Represent.
Theor. 16 (2013), 1135–1157.
[37] R.M. Miró–Roig, J. Pons–Lopis: N –dimensional Fano varieties of wild representation type. J. Pure Appl.
Algebra 218 (2014), 1867–1884.
[38] D. Mumford: Lectures on curves on an algebraic surface. With a section by G. M. Bergman. Annals of
Mathematics Studies, No. 59 Princeton University Press, (1966).
[39] C. Okonek, M. Schneider, H. Spindler: Vector bundles on complex projective spaces. Progress in Mathematics
3, (1980).
[40] J. Pons-Llopis, F. Tonini, ACM bundles on Del Pezzo surfaces, Le Matematiche 64 (2009), 177–211.
[41] J.A. Vogelaar: Constructing vector bundles from codimension-two subvarieties, PhD Thesis.
[42] K. Watanabe: The classification of ACM line bundles on a quartic hypersurfaces on P3 . Geom. Dedicata 50
(1973), 227–232.

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

RANK TWO ACM BUNDLES

Matej Filip,
Institut für Mathematik, Freie Universität Berlin,
Arnimallee 3 Raum 120,
14195 Berlin, Germany
e-mail: filip@math.fu-berlin.de
Francesco Malaspina,
Dipartimento di Scienze Matematiche, Politecnico di Torino,
c.so Duca degli Abruzzi 24,
10129 Torino, Italy
e-mail: francesco.malaspina@polito.it

25

