arXiv:1508.01632v3 [math.AG] 27 Jul 2017

ACM SHEAVES OF PURE RANK TWO
ON REDUCIBLE HYPERQUADRICS
EDOARDO BALLICO, SUKMOON HUH AND JOAN PONS-LLOPIS
Abstract. We classify a special type of arithmetically Cohen-Macaulay
sheaves of rank two on reducible and reduced quadric hypersurfaces. As
a consequence we show that a reducible and reduced quadric surface is
of wild type.

1. Introduction
The Horrocks theorem states that a vector bundle E on the projective
space Pn splits as the sum of line bundles if and only if E has no intermediate cohomology, that is, H i (Pn , E(t)) = 0 for any t ∈ Z and i = 1, . . . , n − 1.
It has stimulated the study of arithmetically Cohen-Macaulay (for short,
aCM) vector bundles that are bundles with no intermediate cohomology
supported on a given projective variety X, because in the algebraic context
these bundles correspond to maximal Cohen-Macaulay modules over the
associated graded ring under the assumption that X is aCM, i.e. its associated graded ring is Cohen-Macaulay.
The classification of aCM vector bundles has been done, partially in
some cases, for several projective varieties such as smooth quadric hypersurfaces [13, 14], cubic surfaces [2], Fano threefolds [16] and others. In [5]
a classification of aCM varieties was proposed as finite, tame or wild representation type according to the complexity of their associated category of
aCM vector bundles and there are several contributions to this trichotomy
such as [7, 1, 3, 9]. Recently this problem is solved in [10], except when the
varieties are cones.
In this article we investigate aCM sheaves of rank up to two on a reducible and reduced quadric hypersurfaces Xn in Pn+1 with n ≥ 2, which
are a particular case of cones. Notice that the one-dimensional case, namely
the union of two lines C := L1 ∪ L2 ⊂ P2 is already understood: indeed, in
2010 Mathematics Subject Classification. Primary: 14F05; Secondary: 13C14, 16G60.
Key words and phrases. arithmetically Cohen-Macaulay sheaf, reducible quadric hypersurface, wild type.
The first author is partially supported by MIUR and GNSAGA of INDAM (Italy).
The second author is supported by Basic Science Research Program 2015-037157
through NRF funded by MEST and the National Research Foundation of Korea(KRF)
2016R1A5A1008055 grant funded by the Korea government(MSIP). The third author is
supported by a FY2015 JSPS Postdoctoral Fellowship.
1

2

EDOARDO BALLICO, SUKMOON HUH AND JOAN PONS-LLOPIS

[8], it is explained how to construct Ulrich sheaves on C; on the other hand,
in [5] it was provided a complete classification of aCM sheaves on C. Our
first main result is on X = X2 that is a union of two distinct planes Hi ⊂ P3 ,
i = 1, 2 whose intersection is a line L:
Theorem 1.1. Any aCM sheaf of pure rank one on X is an extension of a line
bundle on one plane by another line bundle on the other plane.
Then we consider the case of aCM sheaves of rank two. Indeed, in Proposition 3.12 aCM bundles of rank two turn out to be given as kernel sheaves
of simple type, and so it is natural to classify aCM kernel sheaves of simple
type with rank two.
Theorem 1.2. Let E be an aCM kernel sheaf of simple type with pure rank two
on X. Up to twist it is one of the following:
• a direct sum of two line bundles;
• an extension of a twisted ideal sheaf Ip (1) of a point p < L by OX , which
is locally free;
• a sheaf whose restriction to each component of X satisfies
(i) E|Hi  OHi (c) ⊕ OHi and
(ii) 0 −
→ OHj (k) −
→ E|Hj −
→ IZ,Hj (c − k) −
→0
for an integer c at least 2 and {i, j} = {1, 2}, where Z ⊂ L is a zerodimensional subscheme with k = |Z| such that 0 ≤ k < c ≤ 2k + 2.
Then concerning the trichotomy classification of aCM varieties, we use
the classification of aCM sheaves of rank one and two on X to obtain:
Corollary 1.3. X is of wild type in a very strong sense, that is, there are arbitrarily large dimensional families of pairwise non-isomorphic aCM sheaves of
rank one and two on X.
Note that a smooth quadric surface is of finite type, while a quadric surface with a unique singular point is CM countable, i.e. there are only countably many isomorphism classes of indecomposable aCM sheaves; see [1].
Then we turn our interest on aCM sheaves of rank two on a higher dimensional quadric hypersurface, and we get the following conclusion using
the results on X.
Theorem 1.4. If E is an aCM kernel sheaf of simple type with pure rank two on
Xn with n ≥ 3, then it is decomposable.
Let us summarize here the structure of this paper. In section 2 we introduce the definitions and main properties that will be used throughout
the paper, mainly those related to aCM sheaves and m-regularity of coherent sheaves. In section 3 we give a complete description of aCM sheaves
of pure rank one and collect several technical lemmas to investigate aCM
bundles. We introduce the notion of a kernel sheaf of simple type as a generalization of aCM bundle. Then we show that every aCM bundle of rank
two on Xn with n ≥ 3 splits. In section 4 we suggest essentially two types

ACM SHEAVES OF PURE RANK TWO ON REDUCIBLE HYPERQUADRICS

3

of aCM sheaves of rank two on X and show that X is of wild type. Finally
in section 5 we classify all the aCM kernel sheaves of simple type of rank
two on X and show that every aCM sheaves of simple type of rank two on
Xn with n ≥ 3 splits.
2. Preliminaries
Throughout the article, our base field k is algebraically closed of characteristic 0.
In this section we are going to introduce definitions and properties of
m-regularity and arithmetically Cohen-Macaulay sheaves that are going to
be used throughout the rest of the paper.
Let X be a projective variety with an ample line bundle OX (1). For a
coherent sheaf E on X and t ∈ Z, let us denote E ⊗ OX (t) by E(t). As usual,
H i (X, E) stands for the cohomology group, hi (X, E) for its dimension. If
there is no confusion, we will skip X, i.e. we will write H i (E) and hi (E).
We also denote the dual of E by E ∨ . The ideal sheaf of a subscheme Z ⊂ X
is denoted by IZ,X , or simply IZ if X is a reducible and reduced quadric
surface or there is no confusion.
Definition 2.1. A coherent sheaf E on a projective variety X with an ample
line bundle OX (1) is called arithmetically Cohen-Macaulay (for short, aCM)
if it is locally Cohen-Macaulay, i.e. depth Ex = dim OX,x for all x ∈ X and
H i (E(t)) = 0 for all t ∈ Z and i = 1, . . . , dim(X) − 1.
Recall that X is said to be aCM if its homogeneous coordinate ring k[X]
is a Cohen-Macaulay ring, that is, depthk[X] = dim k[X]. ACM sheaves on
an aCM variety X are important, because they are in one-to-one correspondence with the maximal Cohen-Macaulay modules over k[X]. Inspired by
a classification for quivers and for k-algebras of finite type, the following
trichotomy classification of aCM varieties was proposed in [5]:
• X is of finite type if there are only finitely many indecomposable
aCM sheaves up to twist;
• X is of tame type if for each rank r, the indecomposable aCM sheaves
of rank r form a finite number of families of dimension at most 1;
• X is of wild type if there exist families of arbitrarily large dimension
of indecomposable pairwise non-isomorphic aCM sheaves.
In [10] the complete trichotomy classification was accomplished for aCM
varieties that are not cones.
Another important object in the study of aCM sheaves are Ulrich sheaves.
Definition 2.2. An aCM sheaf E on X ⊂ Pn with h0 (E(−1)) = 0 is said to be
an Ulrich sheaf if we have h0 (E) = deg(X)rank(E).
In other words, an Ulrich sheaf is the one achieving the maximal possibility for the minimal number of generators of k[X]-module ⊕t∈Z H 0 (E(t));
see [3].

4

EDOARDO BALLICO, SUKMOON HUH AND JOAN PONS-LLOPIS

Now we introduce an important notion in projective algebraic geometry
that will be used throughout the paper.
Definition 2.3. A coherent sheaf E on a projective variety X with an ample
line bundle OX (1) is called m-regular if H i (E(m − i)) = 0 for all i > 0.
Due to the following result, the regularity measures the point at which
cohomological complexities vanish.
Theorem 2.4. [6, 4D at page 67][15, Theorem 1.8.5] If E is an m-regular
sheaf on X with respect to OX (1), then for any k ≥ 0,
(i) E(m + k) is globally generated,
(ii) the natural maps
H 0 (E(m)) ⊗ H 0 (OX (k)) −
→ H 0 (E(m + k))
are surjective, and
(iii) E is (m + k)-regular.
In particular, if E is 0-regular, then it is globally generated. Since each
bundle E is m-regular for some m ≫ 0, it follows that there is a twist of E
which is 0-regular. Note that a sheaf being an aCM is invariant under twist
and so we may always assume that our aCM sheaf is 0-regular and so it is
globally generated.
3. Bundles on a reducible quadric surface
Let X ⊂ P3 be a reducible and reduced quadric surface, i.e. X = H1 ∪ H2
with Hi distinct planes in P3 . Let S = k[x, y, z, w] be the polynomial ring
of P3 and x, y the defining equations of H1 , H2 , respectively. If we define
L := H1 ∩ H2 , then we have Pic(X)  Z by [11, Example 5.2], generated by
a hyperplane section, which in general consists of lines Li ⊂ Hi for i = 1, 2,
meeting L at the same point. Let us denote the ample generator OP3 (1)⊗OX
of Pic(X) by OX (1). Then the dualizing sheaf of X is ωX  OX (−2).
Definition 3.1. A coherent sheaf E on X is said to have pure rank r ∈ Z if
it has rank r at a general point on each component Hi .
Remark 3.2. There are two other reasonable notions of rank:
(1) the pair (r1 , r2 ) of two ranks at general points of each components;
they may be different for sheaves not locally free at any point on L,
(2) the Hilbert polynomial gives a unique number in (1/2)Z, which is
equal to (r1 + r2 )/2.
Remark 3.3. Since every line bundle on a projective plane is aCM, so is
every line bundle on X due to the following exact sequence
(1)

0−
→ OX −
→ OH1 ⊕ OH2 −
→ OL −
→ 0,

because the map H 0 (OH1 (t) ⊕ OH2 (t)) → H 0 (OL (t)) is surjective for each t ∈
Z. As a consequence, every direct sum of line bundles on X is aCM. Note
also that any extension of an aCM bundle by a line bundle splits.

ACM SHEAVES OF PURE RANK TWO ON REDUCIBLE HYPERQUADRICS

5

Lemma 3.4. Let E and F be two vector bundles on X such that
(i) E|H1 is a direct sum of line bundles, and
(ii) E|Hi  F|Hi for each i = 1, 2.
Then we have E  F .
Proof. Consider the exact sequence
(2)

0−
→ E ⊗F∨ −
→ E ⊗ F|H∨ ⊕ E ⊗ F|H∨ −
→ E ⊗ F|L∨ −
→ 0.
1

2

g′

Fix an isomorphism g : E|H2 → F|H2 and let : E|L → F|L denote its restriction to L. By (2) it is sufficient to prove the existence of an isomorphism
f : E|H1 → F|H1 such that f |L = g ′ , because it would imply the existence of
a morphism E → F whose restriction to Hi is an isomorphism for each
i = 1, 2.
Fix homogeneous coordinates [x0 : x1 : x2 ] on H1 such that L : {x0 = 0}.
We identify E|H1 and F|H1 with the split bundle A := ⊕ri=1 OH1 (ai ) and their
restriction to L with A|L . With these identification g ′ is given by an (r × r)matrix M with homogeneous linear entries in x1 , x2 . The same matrix M
induces a morphism f : E|H1  A → A  F|H1 such that f |L = g ′ by definition.
Now it is enough to prove that f is invertible, i.e. det(M) vanishes at no
point of H1 . Note that det(M) is a homogeneous form in the variables x1 , x2 .
Since M has no zeros on L and our base field is algebraically closed, then
det(M) is a nonzero constant and so f is invertible at each point of H1 . 
Tensoring (1) with a vector bundle E on X, we also have an exact sequence
(3)

0−
→E −
→ E|H1 ⊕ E|H2 −
→ E|L −
→ 0.

Fix a positive integer r and let Fi be a vector bundle of rank r on Hi with
the restriction map ui : Fi → Fi|L for each i = 1, 2. Assume F1|L  F2|L and
fix an isomorphism e : F2|L → F1|L as OL -modules. Two maps u1 and e ◦ u2
may be seen as maps of OX -sheaves, considering OHi as a quotient of OX .
Then we get a surjection u := (e◦u1 , −u2 ) : F1 ⊕F2 → F1|L of OX -sheaves with
K := ker(u) a coherent OX -sheaf. By definition we have an exact sequence
(4)

0−
→K−
→ F1 ⊕ F2 −
→ F1|L −
→ 0.

Definition 3.5. We call such a sheaf K above a kernel sheaf. If one of the
bundles Fi splits, then K is said to be of simple type.
The restriction K|Hi may have torsion on some points on L and its quotient by torsion part K◦|H is isomorphic to Fi for each i.
i

Lemma 3.6. Let E be an aCM sheaf of rank two fitting into an exact sequence
j

(5)

0−
→E −
→ E1 ⊕ E2 −
→ E1|L −
→0

with each Ei a vector bundle of rank two on Hi and E1  OH1 (a) ⊕ OH1 (b) for
some integer a ≥ b. Then H 0 (E(−b)) spans E(−b) at all points of X \L and E2 (−b)
is spanned at all points of H2 \ L.

6

EDOARDO BALLICO, SUKMOON HUH AND JOAN PONS-LLOPIS

Proof. It is enough to deal with the case b = 0. Let V be the kernel of the
restriction map H 0 (H1 , E1 ) → H 0 (L, E1|L ). Then by (5) V sits inside H 0 (E)
and it spans E at all point of H1 \ L. Since h1 (L, E1|L (−1)) = 0 and E is
aCM, we have h1 (H2 , E2 (−1)) = 0. Hence the restriction map H 0 (H2 , E2 ) →
H 0 (L, E2|L ) is surjective. Thus (5) gives the existence of a linear subspace
W ⊂ H 0 (E) mapping isomorphically onto H 0 (H1 , E1 ). Since the restriction map H 0 (H1 , E1 ) → H 0 (L, E1|L ) is surjective, there is a linear subspace
W ⊆ H 0 (E) mapped isomorphically onto H 0 (H2 , E2 ). Since the map j induces an isomorphism on X \ L, H 0 (E) spans E at all points of H2 \ L and E2
is spanned at all points of H2 \ L.

Remark 3.7. Note that for aCM kernel sheaf E of simple type with rank
two, the integer t for which E|Hi (t) is spanned with a trivial factor, is uniquely
determined by Lemma 3.6: it is the maximal integer t such that E(−t) is
spanned at a general point of H1 and at a general point of H2 .
Remark 3.8. We do not claim that the kernel sheaf K is independent on the
choice of the isomorphisms e : F2|L → F1|L ; see [4].
Lemma 3.9. With notations as above, if F1  ⊕ri=1 OH1 (ai ) for ai ∈ Z, then we
have
n
o
h1 (K(t)) = dim ker H 1 (F2 (t)) −
→ H 1 (F2|L (t))
for each t ∈ Z.

Proof. By assumption we have h1 (F1 (t)) = 0 for all t ∈ Z and the restriction
map H 0 (F1 (t)) → H 0 (F1|L (t)) is surjective. Now we may use (3) for E =
K(t).

Proposition 3.10. If E is an aCM sheaf of pure rank one on X, then it fits into
an exact sequence
(6)

0−
→ OHi (a) −
→E −
→ OH3−i (b) −
→0

for some i ∈ {1, 2} and a, b ∈ Z.
Proof. We may assume that E is 0-regular, but not (−1)-regular. Thus we
have h2 (E(−3)) > 0, which gives a nonzero map u : E → OX (1). Let Im(u) =
IA (1) for some closed subscheme A ( X. Since E is globally generated,
IA (1) is also globally generated. Moreover, if A , ∅ = A∩L, then A is a zerodimensional subscheme and u is an isomorphism. But since h1 (IA (−1)) > 0,
we must have A ∩ L , ∅. Thus A is one of the following:
(i) A = ∅;
(ii) A = L1 ∪ L2 with Li a line of Hi such that L1 ∩ L2 , ∅,
(iii) A = D , L for a line D ⊂ Hi for some i ∈ {1, 2},
(iv) A = L,
(v) A = {p} with p ∈ L,
(vi) A is a connected 0-dimensional subscheme of degree 2 such that
Zred ∈ L,

ACM SHEAVES OF PURE RANK TWO ON REDUCIBLE HYPERQUADRICS

7

(vii) A ⊇ Hi for some i ∈ {1, 2}.
In each case but (vii), the surjective map u : E → IA (1) is an isomorphism.
In case (i) E is isomorphic to OX (1) and so it fits into the sequence
(7)

0−
→ OH2 (−1) −
→ OX −
→ OH1 −
→0

twisted by OX (1). In case (ii) we get E  OX . In case (iii) without loss of
generality we may assume that D ⊂ H1 . Then we see from (7) that the ideal
sheaf ID fits into the sequence
0−
→ OH2 (−1) −
→ ID −
→ ID,H1  OH1 (−1) −
→ 0.
In case (iv) we get the same extension as in (iii). In cases (v) and (vi), we
have h1 (E(t)) > 0 for t < −1 and so it is not aCM. Now in case (vii), without
loss of generality we assume that A ⊃ H2 . Since IA (1) is globally generated, we get A = H2 scheme-theoretically and so IA (1)  OH1 . So we have
h1 (ker(u)(t)) = 0 for t < 0. On the other hand, from h2 (E(−2)) = 0 we get
h2 (ker(u)(−2)) = 0 and so ker(u) is 0-regular, giving the other vanishing.
Thus ker(u) is an aCM sheaf of rank one supporting on H2 and so we get
ker(u)  OH2 (a) for some a ∈ Z.

Remark 3.11. Without loss of generality, consider the extension (6) with
i = 2 and a = −1. If b > 0, then (6) splits. If b = 0, we get E  OX . If
b < 0, then we get E  IC for a plane curve C ⊂ H1 of degree −b. Indeed, if
we apply the functor HomP3 (OH1 (b), −) to the standard exact sequence for
H2 ⊂ P3 twisted by OP3 (−1), we get
0−
→ HomP3 (OH1 (b), OH2 (−1)) −
→ Ext1P3 (OH1 (b), OP3 (−2))
−
→ Ext1P3 (OH1 (b), OP3 (−1)) −
→ Ext1P3 (OH1 (b), OH2 (−1)) −
→0
since Ext2P3 (OH1 (b), OP3 (−2))  H 1 (OH1 (b − 2))∨ = 0. Similarly we get
Ext1P3 (OH1 (b), OP3 (−2))  H 2 (OH1 (b − 2))∨  H 0 (OH1 (−b − 1)),
which is the dimension of HomP3 (OH1 (b), OH2 (−1)). Thus we get the isomorphism
Ext1P3 (OH1 (b), OH2 (−1))  Ext1P3 (OH1 (b), OP3 (−1))  H 0 (OH1 (−b)).
Conversely, for any plane curve C ⊂ H1 of degree −b, its ideal sheaf IC is
an extension of OH1 (−b) by OH2 (−1).
Proposition 3.12. Let E be be an aCM bundle of rank two. Then E is a kernel
sheaf of simple type.
Proof. Since E is locally free, it fits into a Mayer-Vietoris exact sequence
(8)

→ E|L −
→0
0−
→E −
→ E|H1 ⊕ E|H2 −

and so it is sufficient to prove that at least one among E|H1 and E|H2 splits,
due to Lemma 3.6 and Remark 3.7. Up to a twist we may assume that
E|L  OL (c) ⊕ OL for some integer c ≥ 0. From H 1 (E(−c)) = 0 we see that
at least one among E|H1 (−c) and E|H2 (−c) has a nonzero global section, say

8

EDOARDO BALLICO, SUKMOON HUH AND JOAN PONS-LLOPIS

there exists a nonzero section σ ∈ H 0 (E|H1 (−c)). Then σ induces an exact
sequence on H1 :
(9)

0−
→ OH1 (c) −
→ E|H1 −
→ IZ,H1 −
→0

with Z a zero-dimensional scheme. If Z = ∅, then E|H1 splits and so we
get the assertion. Now assume Z , ∅ and so we get h1 (H1 , E|H1 (−1)) , 0
from (9). But we have H 1 (L, E|L )(−1)) = 0 and so (8) gives H 1 (E(−1)) , 0, a
contradiction.

Now we pay our attention to aCM bundles on higher dimensional quadrics.
Let Xn = H1,n ∪H2,n ⊂ Pn+1 with n ≥ 3, be a reducible quadric hypersurface,
i.e. Hi,n ⊂ Pn+1 are hyperplanes such that H1,n , H2,n . Set Ln := H1,n ∩ H2,n .
Theorem 3.13. There is no indecomposable aCM bundles of rank two on Xn for
n ≥ 3.
Proof. Let E be an aCM bundle of rank two on Xn . By Lemma 3.4 it is
sufficient to prove the existence of integers a, b such that E|Hi,n  OHi,n (a) ⊕
OHi,n (b) for each i = 1, 2.
Let V ⊂ Pn+1 be a 3-dimensional linear subspace with Xn ∩V a reducible
quadric surface. Since E|V ∩Xn is an aCM bundle of rank two, Proposition
3.12 gives the existence of i ∈ {1, 2} such that E|Hi,n ∩V splits, say EHi,n ∩V 
OHi,n ∩V (a) ⊕ OHi,n ∩V (b). By [17, Theorem 2.3.2 in Chapter II], we get E|Hi,n 
OHi,n (a)⊕OHi,n (b) and in particular we get E|Ln  OLn (a)⊕OLn (b). Since n is at
least three, we also get E|H3−i,n  OH3−i,n (a) ⊕ OH3−i,n (b) by [17, Theorem 2.3.2
in Chapter II], concluding the proof.

4. Examples
In this section we introduce two examples of non-splitting aCM sheaf of
rank two on X in Example 4.2 and Example 4.3.
Remark 4.1. Note that any extension of an aCM sheaf by another aCM
sheaf is again aCM. Since the sheaves OH1 and OH2 are aCM, but not locally
free, for each integer r ≥ 1 there exist non-locally free pure aCM sheaves
with pure dimension 2 and with pure rank r ≥ 1, i.e. rank r at all points of
X \ L.
Example 4.2. For a fixed point p ∈ H1 \ L, consider the following extension
(10)

0−
→ OX −
→E −
→ Ip (1) −
→ 0.

Such E is uniquely determined by p, because Ext1 (Ip (1), OX )  H 1 (Ip (−1))∨
is 1-dimensional from the standard exact sequence for p ∈ X tensored by
OX (−1). Since h1 (OX ) = 0 and both OX and Ip (1) are spanned, so E is
spanned. We also have h0 (E) = 4. Let us see now that E is aCM; indeed,

ACM SHEAVES OF PURE RANK TWO ON REDUCIBLE HYPERQUADRICS

9

it is Ulrich. In order to see this, let us consider the minimal OP3 -resolution
of Ip,X . Without loss of generality, let Ip = (x, z, w) and then we get
M

(11)

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

with


w 0 
 y z


w  .
M =  0 −x 0


0 0
−x −z

Now applying the Horseshoe Lemma to (10), we get a resolution
N

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

(12)
given by the matrix


w
 y z
 0 −x 0

N = 
 0 0
−x

0 0
0

0
w
−z
y





 ,



namely, E has a presentation by a square matrix with linear entries such
that det N = (xy)2 . This is one of the equivalent definitions of E being an
Ulrich sheaf of rank two. Since the matrix N has rank two on X, the sheaf
E is locally free.
From (10) we get that E is 0-regular and
E|H1  T H1 (−1) and E|H2  OH2 (1) ⊕ OH2 ,
where T H1 is the tangent bundle of H1 . In particular, we have h0 (IH1 ⊗E) =
1, since IH1  OH2 (−1). So for each q ∈ H1 \ L there is a section σ of E
vanishing at q, but not vanishing identically on H1 . Since σ|L , 0, so q is the
only zero of σ. Hence varying q ∈ H1 \ L we get a unique bundle, say E1 , up
to isomorphisms.
By applying the same argument to H2 , we obtain another bundle, say
E2 . We get E1  E2 , because they are exchanged by any automorphism of X
exchanging H1 and H2 with fixing L pointwise.
Indeed, each Ei is the restriction of a spinor bundle on a 4-dimensional
smooth hyperquadric Q4 ⊂ P5 to its intersection with 3-dimensional linear
subspace so that the intersection is a union of two planes. We prove in
Proposition 5.3 that the three descriptions of E1 and E2 , as extensions, the
matrix M and the restriction of the spinor bundles, give the same sheaf.
Example 4.3. Fix two integers k, c such that 0 ≤ k < c ≤ 2k + 2. Let Z ⊂ L be
a zero-dimensional subscheme with deg(Z) = c − k and then we have
h0 (IZ ′ (c − 2k − 3)) = h0 (OH2 (c − 2k − 3)) = h0 (IZ (c − 2k − 3)) = 0
for any subscheme Z ′ ⊂ Z with colength one. Thus the Cayley-Bacharach
condition is satisfied and so there exists a vector bundle G = Gc,k,Z on H2

10

EDOARDO BALLICO, SUKMOON HUH AND JOAN PONS-LLOPIS

fitting into the following exact sequence
(13)

0−
→ OH2 (k) −
→G−
→ IZ (c − k) −
→ 0.

Since k ≥ 0 and IZ (c − k) is globally generated, so G is also globally generated. By tensoring (13) with OL , we get G|L  OL (c) ⊕ OL and the exact
sequence
(14)

0−
→ OL (k) −
→ G|L −
→ IZ (c − k) ⊗ OL −
→ 0,

in which the first map is injective, because it is injective outside Z and OL (k)
is locally free. For an integer t ∈ Z, let us consider the following natural
maps:
at : H 1 (G(t)) −
→ H 1 (IZ (c − k + t)),
bt : H 1 (G(t)) −
→ H 1 (G(t)|L),
ct : H 1 (IZ (c − k + t)) −
→ H 1 (IZ (c − k + t) ⊗ OL ).
The restriction maps bt and ct are maps from cohomology groups appearing in the long exact sequences of cohomology of (13) and (14) and we may
see them as vertical maps among the vector spaces of these cohomology
exact sequences of (13) and (14). We get vertical maps between the corresponding first cohomology groups on H2 and L. Since h1 (OH2 (k + t)) = 0, so
at is injective for all t ∈ Z. The sheaf IZ (c − k + t) ⊗ OL has a torsion subsheaf, say τ, of degree c − k and we get that (IZ (c − k + t) ⊗ OL ) /τ  OL (t).
Since H 1 (τ) = 0, so we may consider the map ct as a map
dt : H 1 (IZ (c − k + t)) −
→ H 1 (OL (t)).
For any zero-dimensional subscheme τ ⊂ H2 , let ResL (τ) denote the residual scheme of τ with respect to L, i.e. the closed subscheme of H2 with
Iτ : IL as its ideal sheaf. Then we have deg(τ) = deg(ResL (τ)) + deg(L ∩ τ)
and for each t ∈ Z we have an exact sequence of sheaves on H2 :
(15)

0−
→ IResL (τ),H2 (t − 1) −
→ Iτ (t) −
→ Iτ∩L,H2 (t) −
→ 0.

Since Z ⊂ L is of degree c − k, so we get ResL (Z) = ∅ and (15) induces an
exact sequence
0−
→ OH2 (c − k + t + 1) −
→ IZ (c − k + t) −
→ OL (t) −
→ 0.
We get the injectivity of dt from h1 (OH2 (c−k +t −1)) = 0. By the construction
of the residual sequence, dt ◦ at is the composition of bt and the projection
to H 1 (OL (t)), so bt is injective for all t ∈ Z. By Lemma 3.9, the sheaf induced
by OH1 (c) ⊕ OH1 and G via (4) is aCM.
For a coherent sheaf E on X, we have a pair of two integers (d1 , d2 ) such
◦
◦
◦
is the
for i = 1, 2, where E|H
) the 2nd Chern class of E|H
that di = c2 (E|H
i
i
i
quotient of E|Hi by its torsion.

ACM SHEAVES OF PURE RANK TWO ON REDUCIBLE HYPERQUADRICS

11

Theorem 4.4. For a fixed integer m ≥ 0, there are triple of integers (c, d1 , d2 )
such that there is no algebraic scheme W with dim(W ) ≤ m with the following
property satisfied:
(♣) there exists a flat family {Ew }w∈W of coherent sheaves of rank two on X
such that every aCM sheaf E of rank two on X with
◦
c1 (E) = OX (c) and c2 (E|H
) = di for i = 1, 2
i

is isomorphic to Ew for some w ∈ W .
Proof. Up to twist it is sufficient to consider algebraic families of 0-regular,
but not (−1)-regular aCM sheaves with the property that there exists i ∈
◦
◦
{1, 2} such that E|H
 OHi (c) ⊕ OHi and so di = c2 (E|H
) = 0.
i
i
Assume d1 = 0 and take d2 = k(c − k) + c − k with c ≤ 2k to adopt aCM
sheaves in Example 4.3. Since c ≤ 2k, we have h0 (Gc,k,Z (−k)) = 1 and so the
sheaf Gc,k,Z uniquely determines Z. Thus we find a family of dimension
c − k, and so it is sufficient to take c and k with c ≤ 2k and c − k > m.

5. Classification
It turns out from Theorem 5.1 that the sheaves in Example 4.2 and Example 4.3 are the only possibility for indecomposable aCM kernel sheaves
of simple type with rank two on X up to twist.
Theorem 5.1. Up to twist, every non-splitting aCM kernel sheaf of simple type
with pure rank two on X is either as in Example 4.2 or Example 4.3.
Proof. It follows from Propositions 5.2, 5.3 and 5.4.



Let E be an aCM kernel sheaf of simple type with pure rank two on X,
and by a twist we may assume that E|L  OL (c) ⊕ OL for some c ≥ 0. If c = 0,
then E is trivial by the following.
Lemma 5.2. Let E be an aCM sheaf of pure rank two fitting into an exact sequence
j

(16)

0−
→E −
→ E1 ⊕ E2 −
→ E1|L −
→0

⊕2
with each Ei a vector bundle of rank two on Hi and E1  OH
. Then we have
1

E  OX⊕2 .

Proof. By Lemma 3.6, E is spanned outside L and so E2 is spanned at all
⊕2
points of H2 \ L. Since E1  OH
, the natural restriction map H 0 (H1 , E1 ) →
1
H 0 (L, E1|L ) is an isomorphism and so (16) gives an isomorphism j∗ : H 0 (E) →
H 0 (H2 , E2 ). On the other hand, we have h1 (E(−1)) = h1 (L, E1|L (−1)) = 0. So
(16) gives h1 (H2 , E2 (−1)) = 0 and so the restriction map v : H 0 (H2 , E2 ) →
H 0 (L, E2|L ) is surjective. To see that the map v is injective and so it is
an isomorphism, it would be sufficient to prove that h0 (E2 (−1)) = 0. Assume h0 (E2 (−1)) > 0 and set δ to be the maximal positive integer such

12

EDOARDO BALLICO, SUKMOON HUH AND JOAN PONS-LLOPIS

that h0 (E2 (−δ)) > 0. From E2|L  OL⊕2 and δ > 0, we get h0 (E2 (−δ − 1)) =
h0 (E2 (−δ)) > 0, contradicting the definition of δ. In particular, we get h0 (E2 ) =
⊕2
2 and so E2  OH
. From (16) we get h0 (E) = 2 and that E and OX⊕2 have the
2
same Hilbert polynomial. The map ρ : H 0 (E) ⊗ OX → E is injective, because
OX has no nilpotent and ρ is an isomorphism at all points of X \ L. Since
OX⊕2 and E have the same Hilbert polynomial, ρ is an isomorphism.

Now we deal with the case c > 0.
Proposition 5.3. Let E be an aCM sheaf of pure rank two, fitting into the exact
sequence
(17)

0−
→E −
→ Ei ⊕ E3−i −
→ OL (1) ⊕ OL −
→0

with Ei  OHi (1) ⊕ OHi for some i ∈ {1, 2}. Then either E  OX (1) ⊕ OX or E is
as in Example 4.2.
Proof. With no loss of generality we may take i = 1. By Lemma 3.6 the sheaf
E is spanned at all points of X \L and so E2 is spanned at all points of H2 \L.
By the definition of kernel sheaf, we have E2|L  E1|L and so Ei|L  OL (1)⊕OL .
Thus the general splitting type of E2 is (1, 0) and c1 (E2 ) = 1.
First assume that E2 is semistable and so it is stable; c1 (E2 ) is odd. Since
h0 (E2 ) > 0, we get an exact sequence
0−
→ OH2 −
→ E2 −
→ IZ,H2 (1) −
→0
with Z a nonempty zero-dimensional scheme. Thus we get h0 (E2 ) ≤ 3 with
strict inequality unless Z is a point. Since E2 is globally generated outside
L, we have h0 (E2 ) ≥ 2. On the other hand, from (17) we have h1 (E2 (−1)) = 0
and so Z is a point, i.e. c2 (E2 ) = 1. The classification of stable vector bundles
on P2 with (c1 , c2 ) = (1, 1) gives E2  T H2 (−1); see [18].
Now assume that E2 is not semistable and so it fits into an exact sequence
0−
→ OH2 (k) −
→ E2 −
→ IZ ′ ,H2 (1 − k) −
→0
with Z ′ a zero-dimensional scheme and k > 0. Since E2 is globally generated
outside L, we get k = 1 and Z ′ = ∅. Thus we get E2  OH2 (1) ⊕ OH2 . Now
from (17) and h1 (E(−1)) = 0, we have h0 (E(−1)) = 1. It gives the nonzero
map OX (1) → E with cokernel A of pure rank one and h0 (A) = 1, since
h1 (OX (1)) = 0. Since E is spanned at all points of X \ L, the sheaf A is also
spanned outside L and so A  OX . Thus we get E  OX (1) ⊕ OX .

Proposition 5.4. Let E be an aCM sheaf of pure rank two, fitting into the exact
sequence
(18)

0−
→E −
→ Ei ⊕ E3−i −
→ OL (c) ⊕ OL −
→0

with Ei  OHi (c) ⊕ OHi for some i ∈ {1, 2} and c ≥ 2. Then either E  OX (c) ⊕ OX
or E is as in Example 4.3.

ACM SHEAVES OF PURE RANK TWO ON REDUCIBLE HYPERQUADRICS

13

Proof. Without loss of generality we may assume i = 1, and let k be the maximal integer such that h0 (H2 , E2 (−k)) > 0. By Lemma 3.6, E2 is generated by
global sections outside L and so we have k ≥ 0 with an exact sequence
(19)

0−
→ OH2 (k) −
→ E2 −
→ IZ,H2 (c − k) −
→0

with Z a zero-dimensional subscheme of H2 and IZ,H2 (c − k) globally generated outside L. In particular, we have k ≤ c. If k = c, we get Z = ∅ and
so E2  OH2 (c) ⊕ OH2 . Using the same argument in the last part of proof of
Proposition 5.3, we get E  OX (c) ⊕ OX .
(i) If k = 0, then we get h0 (E2 (−1)) = 0 by the definition of the integer
k. Now from the long exact sequence of cohomology of (19) twisted by

OX (−1), we get deg(Z) ≥ c+1
2 . On the other hand, the following inequality
due to Lemma 3.9
h1 (E2 (−2)) ≤ h1 (E2 (−2)|L ) = h1 (OL (c − 2)) + h1 (OL (−2)) = 1

gives h1 (IZ,H2 (c − 2)) ≤ 1, which implies that deg(Z) ≤ 1 + 2c . So the only
possibility is c = 1, a contradiction.
(ii) Now assume 0 < k < c. Since we have E2|L  OL (c) ⊕ OL , tensoring
(19) with OL gives deg(Z ∩L) = c−k. Set ϕ(t) := h1 (E2 (t)) and then by Lemma
3.9 with the duality we get


= 0,
if t ≥ −1;



≤
−1
−
t,
if
−c − 1 ≤ t ≤ −2;
ϕ(t) 


 = 0,
if t ≤ −c − 2.

Twisting (19) with OH2 (−k − e) for e ∈ {0, 1, 2}, we get
(20)

h1 (IZ,H2 (c − 2k − e)) = h1 (E2 (−k − e)) ≤ k + e − 1

by Lemma 3.9. The same inequality holds also for e = 3, due to
h1 (IZ,H2 (c − 2k − 3)) ≤ h1 (E2 (−k − 3)) + 1 ≤ k + 4.
If c ≤ 2k + 2, then twisting (19) with OH2 (k − c) gives
h1 (E2 (k − c)) = h1 (IZ ) = deg(Z) − 1
and so we get deg(Z) ≤ c − k. In particular we have deg(Z) = c − k and Z ⊂ L.
If c = 2k + 2, then we have h0 (E2 (−k − 1)) = h0 (IZ (1)) = 1, contradicting the
definition of the integer k. If c ≤ 2k + 1, then this is as in Example 4.3.
If c > 2k + 2, then E2 is stable. Since h0 (E2 (−k − 1)) = 0, so (19) gives
h0 (IZ,H2 (c−2k−1)) = 0. Recall that for any zero-dimensional subscheme τ ⊂
H2 we get an exact sequence (15) of sheaves on H2 , where ResL (τ) denotes
the residual scheme of τ with respect to L. Since deg(Z ∩ L) = c − k, we
have deg(ResL (Z)) = deg(Z) − c + k. From (15) with t = c − 2k − 1, we get

h0 (IResL (Z) (c−2k−2)) = 0 and so deg(ResL (Z)) ≥ c−2k
2 . Thus we get deg(Z) ≥
c−2k−1
c−2k 
+ k + 4, since
2
2 + c − k. On the other hand we also have deg(Z) ≤

14

EDOARDO BALLICO, SUKMOON HUH AND JOAN PONS-LLOPIS

h1 (IZ,H2 (c − 2k − 3)) ≤ k + 4. Combining these two inequalities, we get
!
!
c − 2k
c − 2k − 1
+c−k ≤
+k +4
2
2
and it implies c ≤ 2k + 2, a contradiction.



Corollary 5.5. The sheaves in Example 4.2 are the only two Ulrich kernel
sheaves of simple type on X with rank two, up to twist.
Proof. Let E be a sheaf satisfying the conditions in the assertion and then
we have h0 (E) = 4 by definition. It is clear that the splitting vector bundles
are not Ulrich. In Example 4.2 the two sheaves E1 and E2 were shown to be
Ulrich.
Assume now that E is a twist of a sheaf F as in Example 4.3, say E 
F (−t + 1) for some t ∈ Z. Since F is aCM and we have h0 (E(−1)) = 0, so we
have
h0 (F (−t)◦|H ) + h0 (F (−t)◦|H ) = h0 (F (−t)◦|L ).

(21)

1

2

Without loss of generality let us assume F|H◦  OH1 (c) ⊕ OH1 with OX (c) 
1
det(F ). Then F|H◦ fits into (13).
2

and it is greater than
Note that h0 (F (−t)◦|H ) = h0 (OH1 (c − t)) = c−t+2
2
1
◦
0
h (F (−t)|L ) = c − t + 1 for t ≤ c − 1, in which case (21) cannot hold. If t > c,
then we have h0 (E) = 0 from (3).
Finally assume t = c and then we have h0 (F (−c)) = 0. Since h0 (E) =
0
h (F (−c + 1)) = 4, we have h0 (F (−c + 1)◦|H ) = 3. But from the sequence
2
(13) twisted by OH2 (−c + 1):
0−
→ OH2 (k − c + 1) −
→ F (−c + 1)◦|H −
→ IZ,H2 (−k + 1) −
→ 0,
2

h0 (O

h0 (I

we get
H2 (k − c + 1)) ≤ 1 and
Z,H2 (−k + 1)) ≤ 1. In particular we have
h0 (F (−c + 1)◦|H ) ≤ 2, a contradiction.

2

Now assume n ≥ 3 and let E be an aCM sheaf on Xn with pure rank 2.
Similary as in the case of X = X2 , we say that E is a kernel sheaf of simple
type if it fits into an exact sequence
0−
→E −
→ E1 ⊕ E2 −
→ E1|Ln −
→0
with Ln := H1,n ∩ H2,n and Ei a vector bundle of rank two on Hi,n such that
at least one of the two bundles E1 and E2 splits.
Proposition 5.6. Every aCM kernel sheaf of simple type on Xn of rank two for
n ≥ 3 is decomposable.
Proof. Let E be an indecomposable aCM kernel sheaf of simple type of rank
two on Xn . Up to shift and an exchange of the two components H1,n and
H2,n of Xn , we may assume that E1  OH1,n (c) ∪ OH1,n for some c ≥ 0. Let
V ⊂ Pn+1 be a 3-dimensional linear subspace such that X := Xn ∩ V is a

ACM SHEAVES OF PURE RANK TWO ON REDUCIBLE HYPERQUADRICS

15

rank two quadric of V , i.e. assume V * Xn and H1,n ∩ V , H2,n ∩ V . Set
F := E|X .
Since every germ of E has depth n, every germ of F has depth 2 and
the restriction of the kernel sequence defining E is an exact sequence with
bundles
F1 := E1|H1,n ∩V  OH1 (c) ⊕ OH1 and F2 := E2|H2,n ∩V .
Since E is aCM, F is also aCM. Since E is indecomposable, we can also
obtain that F is indecomposable. By Theorem 5.1 either F is as in Example
4.2 with c = 1, or c ≥ 2 and there is an integer k with 0 < k < c and F is as
in Example 4.3.
By Lemma 3.6 F is globally generated at all points of X\L. Take a general
section s ∈ H 0 (F ). Since E is aCM, it lifts to a nonzero section σ ∈ H 0 (E) so
that its zeros Σ has pure codimension two if it is not empty. Since E does not
split, we get that Σ is non-empty. Since n ≥ 3, we have Σ∩H1,n ∩H2,n , ∅ and
so σ induces a nonzero section σ1 ∈ H 0 (H1,n , E1 ). From E1  OH1,n (c) ⊕ OH1,n
we see that σ1 has no zero and so its restriction to E1|H1,n ∩H2,n also has no
zero. Let σ2 ∈ H 0 (H2,n , E2 ) be the section induced by σ. Since (σ1 , σ2 ) are
induced by σ, the kernel sequence of E shows that σ1|H1,n ∩H2,n = σ2|H1,n ∩H2,n
and so σ2 has no zero in the hyperplane H1,n ∩H2,n of H2,n . Hence σ2 has no
zero and so E2 splits. Since E1|Ln  E2|Ln , our aCM sheaf E fits into an exact
sequence
(22)

0−
→E −
→ OH1,n (c) ⊕ OH1,n ⊕ OH2,n (c) ⊕ OH2,n −
→ OLn (c) ⊕ OLn −
→ 0.

First assume c > 0. Since E is aCM, (22) gives h0 (E(−c)) = 1 and that
the nonzero map j : Oxn (c) → OXn has locally free rank one cokernel at all
points of Xn \ Ln . Recall that any pure sheaf has an Harder-Narasimhan
filtration; see [12, Theorem 1.3.4]. Since each stalk of E has depth n, we see
that j is injective and that E/j(OXn ) is pure. Since E is aCM, (22) gives
h0 (E) = h0 (OXn (c)) + 1. Since j(OXn (c)) is aCM, we get h0 (E/j(OXn )) = 1
and that a nonzero section of E/j(OXn ) gives an injective map u : OXn →
E/j(OXn ), which is an isomorphism outside Ln . By (22) the sheaves OXn and
E/j(OXn ) have the same Hilbert function. Since u is injective we get that u
is an isomorphism. Hence E  OXn (c) ⊕ OXn .
Now assume c = 0. From (22) we get h0 (E) = 2 and that the natural map
v : H 0 (E) ⊗ OXn → E is an isomorphism at a general point of H1,n and at a
general point of H2,n . Thus v is injective with coker(v) supported on Ln .
Since (22) implies that E and OX⊕2n have the same Hilbert function, v is an
isomorphism.

References
[1] R.-O. Buchweitz, G.-M. Greuel, and F.-O. Schreyer, Cohen-Macaulay modules on hypersurface singularities. II, Invent. Math. 88 (1987), no. 1, 165–182.
[2] M. Casanellas and R. Hartshorne, ACM bundles on cubic surfaces, J. Eur. Math. Soc.
(JEMS) 13 (2011), no. 3, 709–731.

16

EDOARDO BALLICO, SUKMOON HUH AND JOAN PONS-LLOPIS

[3] L. Costa, R. M. Miró-Roig, and J. Pons-Llopis, The representation type of Segre varieties,
Adv. Math. 230 (2012), no. 4-6, 1995–2013.
[4] M. Daoudi, Fibrés biuniformes sur P2 (C), J. Reine Angew. Math. 321 (1981), 25–35.
[5] Y. A. Drozd and G.-M. Greuel, Tame and wild projective curves and classification of vector
bundles, J. Algebra 246 (2001), no. 1, 1–54.
[6] D. Eisenbud, The geometry of syzygies, Graduate Texts in Mathematics, vol. 229,
Springer-Verlag, New York, 2005, A second course in commutative algebra and algebraic geometry.
[7] D. Eisenbud and J. Herzog, The classification of homogeneous Cohen-Macaulay rings of
finite representation type, Math. Ann. 280 (1988), no. 2, 347–352.
[8] D. Eisenbud, F.O. Schreyer and J. Weyman, Resultants and Chow forms via exterior syzygies, J. Amer. Math. Soc. 16 (2003), no. 3, 537-579.
[9] D. Faenzi and F. Malaspina, Surfaces of minimal degree of tame representation type and
mutations of Cohen-Macaulay modules, Adv. Math. 310 (2017), 663–695.
[10] D. Faenzi and J. Pons-Llopis, The cm representation type of projective varieties, preprint
(2015), arXiv:1504.03819 [math.AG].
[11] R. Hartshorne, Generalized divisors on Gorenstein schemes, Proceedings of Conference
on Algebraic Geometry and Ring Theory in honor of Michael Artin, Part III (Antwerp,
1992), vol. 8, 1994, pp. 287–339.
[12] D. Huybrechts and M. Lehn, The geometry of moduli spaces of sheaves. Second edition,
Cambridge Mathematical Library, Cambridge U.P. (2010).
[13] M. M. Kapranov, On the derived categories of coherent sheaves on some homogeneous
spaces, Invent. Math. 92 (1988), no. 3, 479–508.
[14] H. Knörrer, Cohen-Macaulay modules on hypersurface singularities. I, Invent. Math. 88
(1987), no. 1, 153–164.
[15] R. Lazarsfeld, Positivity in algebraic geometry. I, Ergebnisse der Mathematik und ihrer
Grenzgebiete. 3. Folge. A Series of Modern Surveys in Mathematics [Results in Mathematics and Related Areas. 3rd Series. A Series of Modern Surveys in Mathematics],
vol. 48, Springer-Verlag, Berlin, 2004.
[16] C. G. Madonna, ACM vector bundles on prime Fano threefolds and complete intersection
Calabi-Yau threefolds, Rev. Roumaine Math. Pures Appl. 47 (2002), no. 2, 211–222.
[17] C. Okonek, M. Schneider, and H. Spindler, Vector bundles on complex projective spaces,
Modern Birkhäuser Classics, Birkhäuser/Springer Basel AG, Basel, 2011, Corrected
reprint of the 1988 edition, With an appendix by S. I. Gelfand.
[18] A. Van de Ven, On uniform vector bundles, Math. Ann. 195 (1972), 245–248.
Università di Trento, 38123 Povo (TN), Italy
E-mail address: edoardo.ballico@unitn.it
Sungkyunkwan University, Suwon 440-746, Korea
E-mail address: sukmoonh@skku.edu
Department of Mathematics, Kyoto University, Kyoto, Japan
E-mail address: ponsllopis@gmail.com

