THE COHEN-MACAULAY REPRESENTATION TYPE OF PROJECTIVE
ARITHMETICALLY COHEN-MACAULAY VARIETIES

arXiv:1504.03819v2 [math.AG] 23 Nov 2017

DANIELE FAENZI AND JOAN PONS-LLOPIS
Abstract. We show that all X ⊂ Pn reduced non-degenerate closed subschemes of dimension m ≥ 1 whose graded coordinate ring is Cohen-Macaulay are of wild Cohen-Macaulay
type, except for a few cases which we completely classify.

Introduction
A classical result in representation theory of quivers is Gabriel’s theorem, stating that a
connected quiver supports only ﬁnitely many irreducible representations (i.e., of indecomposable modules over the associated path algebra) if and only if it is of type A, D , E . The
classiﬁcation of tame quivers as Euclidean graphs, or extended Dynkin diagrams, of type Ã,
D̃ , Ẽ came shortly afterwards. Remarkably, any other connected quiver supports arbitrarily
large families of indecomposable representations, i.e., it is of wild representation type.
In algebraic geometry and commutative algebra, the relevant problem in terms of representation theory of algebras concerns the complexity of the category of maximal CohenMacaulay modules over the coordinate ring k[X ] of a closed m -dimensional subvariety X ⊂ Pn
over a ﬁeld k . For m > 0, assuming k[X ] to be Cohen-Macaulay (so X is said to be arithmetically Cohen-Macaulay, brieﬂy ACM), these correspond to ACM sheaves, namely coherent
sheaves E on X without intermediate cohomology i.e. satisfying Hi (X , E(t)) = 0 for all t and
0 < i < m . For hypersurfaces [Eis80] these modules correspond to matrix factorizations,
which in turn are related to mirror symmetry, cf. [Orl04].
In this sense, reduced projective ACM varieties of ﬁnite CM-type are classiﬁed, cf. [EH88],
cf. also [BGS87, AR87, Knö87, Her78]. Their list (for positive dimension) consists of rational
normal curves, projective spaces, smooth quadrics, the Veronese surface in P5 and the cubic
scroll in P4 . Of course this is connected with Horrocks’ and Grothendieck’s classical splitting
theorems for vector bundles over Pn , in turn connected to ideas of Segre, [Seg84].
The next class is that of CM tame varieties. These include CM-countable varieties
(e.g. quadrics of corank one) and varieties where all indecomposable ACM sheaves are
parametrized by a curve. Besides smooth elliptic curves (by seminal work of Atiyah, [Ati57],
also related to classical work of Segre, cf [Seg86]), trees and cycles of rational curves (cf.
[DG01, DG93], cf. also [BD04]), two sporadic examples were given in [FM17], consisting of
smooth quartic surface scrolls in P5 .
The main goal of this paper is to prove that, besides theses cases, all reduced closed ACM
subschemes X ⊂ Pn of positive dimension are CM-wild. Without loss of generality, we may
assume that X is non-degenerate, i.e. X is contained in no hyperplane.
Theorem. Let X ⊂ Pn be a reduced non-degenerate closed ACM subscheme of dimension m ≥ 1.
Then X is of wild CM-type unless X is one of the following:
i) a linear space;
ii) a quadric hypersurface of corank at most one;
iii) a tree of rational curves;
iv) a smooth elliptic curve or a cycle of rational curves;
2010 Mathematics Subject Classiﬁcation. 14F05; 13C14; 14J60; 16G60.
Key words and phrases. ACM vector sheaves and bundles, Ulrich sheaves, MCM modules, Graded CohenMacaulay rings, Representation type.
Both authors partially supported by GEOLMI ANR-11-BS03-0011. The second author is also supported by a JSPS
Postdoctoral Fellowship.
1

2

DANIELE FAENZI AND JOAN PONS-LLOPIS

v) a smooth rational surface scroll of degree d = 3 or d = 4;
vi) the Veronese surface in P5 .
As for terminology here, a rational scroll is a variety obtained as image in Pn of the prom
jective bundle Y = P(⊕i=
1 OP1 (ai )), for some integers 0 ≤ a 1 ≤ · · · ≤ am , 0 by the relatively
ample line bundle OY (1). A tree of rational curves is the union of distinct smooth rational
curves X 1 , . . . , X s , namely each X i is isomorphic to P1 , such that X i ∩ X j is a single point if
j ∈ {i − 1, i + 1 } and empty otherwise. A cycle of rational curves can be either the same thing,
but using cyclic notation on the indices (so X 1 ∩ X s , ∅) or an irreducible rational curve with
a single ordinary double point. This means that the only singularities of the whole X are
ordinary double points, so the intersections points X i−1 ∩ X i and X i+1 ∩ X i are distinct.
A word on the base ﬁeld k is in order. The result holds for an algebraically closed ﬁeld
of arbitrary characteristic except 2. Actually all the results that we prove in this paper are
valid also in characteristic 2. The only point where char(k) , 2 is needed is when we recall
the fact, due to Knörrer and Buchweitz-Greuel-Schreyer, that quadric cones of corank 1 are
CM-countable. We refer to Remark 6.5 for a discussion of this issue.
As an consequence of our main result, we get a strong version of the ﬁnite-tame-wild
trichotomy, namely that any reduced ACM closed subscheme X ⊂ Pn of dimension m > 0
falls in exactly one of the following classes:
Finite: there are only ﬁnitely many indecomposable ACM sheaves over X up to isomorphism. This happens in cases i), vi), v) for d = 3 and the smooth cases of ii), iii).
Tame: for any given rank r , the parameter space of indecomposable non-isomorphic ACM
sheaves of rank r is a ﬁnite or countable union of points or curves (in cases v) for
d = 4, iv) and the singular cases of ii), iii).
Wild: the category of modules of any ﬁnite-dimensional algebra admits a representation
embedding into the category of MCM k[X ]-modules; in particular X supports families
of arbitrarily large dimension of indecomposable non-isomorphic ACM sheaves.
The result was known for some speciﬁc cases, such as smooth cubic surfaces (cf. [CH11]),
all linearly embedded Segre varieties besides the CM ﬁnite ones (cf. [CMRPL12]), smooth del
Pezzo surfaces (cf. [MRPL12,CKM13]), positive-dimensional hypersurfaces of degree at least
4 and some complete intersections (cf. [DT14]), some Fano varieties (cf. [MRPL14]), the triple
Veronese embedding of any variety (cf. [MR15]).
One should expect that non-projective varieties may behave diﬀerently (see [LW12] for a
detailed picture, see also [Sto14]). More varieties of tame type appear from germs of elliptic
singularities, cf. [Kah89] or from non-isolated aﬃne surface singularities, see also [BD10].
Let us indicate the strategy of our proof. The ﬁrst step is to isolate some datum in
order to build large families of indecomposable non-isomorphic MCM modules on k[X ].
This will be accomplished by Theorem A, where we establish that this should be a pair
of ACM sheaves A and B on X , whose only endomorphisms are homotheties (i.e. A and
B are simple), satisfying some semistability condition or a mutual orthogonality condition
HomX (B, A) = HomX (A, B) = 0, and such that Ext1X (B, A) is suﬃciently large, namely of
dimension w ≥ 3. From this datum we construct a representation embedding from the category Repϒ of ﬁnite-dimensional representations of the Kronecker quiver ϒ = ϒw with w
arrows to the category MCMk [X ] of MCM modules over k[X ]. This quiver should be seen
as parametrizing ACM sheaves appearing as extension of copies of A and B . In turn, by a
standard argument, the existence of this embedding suﬃces to prove CM-wildness of X . This
procedure is not completely new, cf. [DG01], but we give it a quite more general ﬂavour.
The next step is to actually construct the sheaves A and B . This turns out to be quite
complicated to achieve by working directly on X in general. For this we need our next result,
Theorem B, which shows how to deduce CM-wildness of X from CM-wildness of Y when Y
is a linear section of X of codimension c > 0, except when X has minimal degree i.e. deg(X ) =
n − m + 1, or equivalently when the sectional genus p X of X is 0.

THE COHEN-MACAULAY REPRESENTATION TYPE OF PROJECTIVE ARITHMETICALLY COHEN-MACAULAY VARIETIES 3

In order to do this, we need to further assume that A and B are Ulrich sheaves, i.e. their
modules of global sections have the maximal number of generators. We see this as a further
indication of the importance of these sheaves, cf. [ESW03, ES09].
The idea of Theorem B is that taking the c -th syzygy Ωck [X ] of the k[X ]-module of an MCM
module L over k[Y ] one obtains an MCM module over k[X ] and that this entails no essential
loss of information if L is Ulrich and pX > 0. In fact, for Ωck [X ] to be a functor we need to pass
to the stable category MCMk [X ] where we quotient out by morphisms factoring through a
free module. The point is that the stable syzygy functor Ωc is fully faithful on Ulrich modules
when pX > 0. The proof uses cohomology vanishing of Ulrich sheaves combined with duality.
The next result, Theorem C, shows how to put these two ingredients together. Indeed, by
resolving over k[X ] the module of global sections of the universal extension of the sheaves
B by A over Y needed for Theorem A and taking its c -th syzygy, we get a functor Repϒ →
MCMX whose stabilization is fully faithful by Theorem B. Then the functor itself is not quite
fully faithful, nevertheless it is a representation embedding, i.e. it sends non-isomorphic (resp.
irreducible) representations to non-isomorphic (resp. indecomposable) modules, and this
suﬃces to show CM-wildness of X .
In view of these results, in order to complete the proof it remains to treat directly the case
p X = 0, and to construct the Ulrich sheaves A and B as above over a linear section Y of X ,
which we take to be of dimension 1 when pX ≥ 2, or of dimension 2 for pX = 1.
The case pX ≥ 2 is quite easily seen to provide only CM-wild varieties, as A and B can be
taken to be suﬃciently general bundles of rank 2 over Y of slope deg(Y ) + д − 1, where д is
the geometric genus of Y . This is treated in §8.
For pX = 1 our proof of the existence of A and B is based on a study of locally free Ulrich
sheaves of rank 2 on surfaces of sectional genus 1, also called of almost minimal degree.
Special care has to be taken to allow Y to be singular and even non-normal (yen not reducible
nor a cone, cf. the next paragraphs); nevertheless these varieties are completely classiﬁed and
suﬃciently detailed information is available, in particular on the divisor class group of these
surface, to construct the sheaves we want and to control their deformations. Theorem 7.1
gathers the results of §7, devoted to this case.
A diﬀerent method is needed for reducible or non-reduced subschemes, since our basic
technique to construct the sheaves A and B may fail for various reasons. The two majors ones
are the following: ﬁrst, the sheaves A and B may degenerate to non-simple ones when more
components appear. Second, we partially rely on the classiﬁcation of varieties of minimal and
almost minimal degree, and for reducible subschemes this is a far more complicated question
than for irreducible ones. We deal with this in Theorem 5.2 and 5.3.
To summarize again, it remains to work out the case of minimal degree, i.e. pX = 0. This is
easy if X is smooth, but needs some care if X is singular, or equivalently if X is a cone, i.e. the
generators of the homogeneous ideal of X do not involve a given set of variables. This case is
not quite straightforward, mainly because some smooth ﬁnite CM-type varieties degenerate
to singular ones that turn out to be CM-wild. In §6 we describe a method to deal with cones
and varieties of minimal degree in a uniform manner. This proves the stated CM-wildness
of all cones except for a single exceptional variety, namely the cone over a rational normal
cubic. In turn, in Theorem 6.4 we treat this intriguing case with an ad-hoc method based on
representations of a certain quiver with three vertices.
It seems natural to speculate that any CM-wild variety actually supports unbounded families of Ulrich sheaves. The strongest conjecture in this sense would seem to be the following.
Conjecture 1. Let X ⊂ Pn be a smooth projective variety of positive dimension. Then X is
strictly Ulrich wild, as soon as X is CM-wild. If X is not of minimal degree, then X supports
families of non-isomorphic stable Ulrich bundles of arbitrarily large dimension.
For singular varieties, the above conjecture fails. Indeed, if we consider a quadric cone
X ⊂ Pn over a vertex Λ of dimension at least 1, then an Ulrich sheaf on X is the sheaﬁﬁcation
of E 0 ⊗ k[Λ], where E 0 is the module associated with a direct sum of spinor bundles on a
smooth quadric X 0 , the base of the cone. These sheaves are rigid, while X is CM-wild.

4

DANIELE FAENZI AND JOAN PONS-LLOPIS

In a sense, the statement of the previous conjecture admits no converse, as it turns out
that there exist CM-wild ACM varieties whose only inﬁnite set of non-isomorphic indecomposable ACM sheaves consist of Ulrich bundles.
One may also observe that many singular CM-wild varieties admit unbounded families of
non-isomorphic ACM sheaves of ﬁxed rank, while this does seem not to happen for smooth
varieties. This motivates the following conjecture.
Conjecture 2. Let X ⊂ Pn be a smooth ACM projective variety of positive dimension. Given
r ≥ 1, the set of isomorphism classes of ACM sheaves of rank r are parametrized by a ﬁnite
union of irreducible quasi-projective schemes of bounded dimension.
The problem of classifying the representation type of subschemes X ⊂ Pn of dimension
m ≥ 2 which are not ACM seems interesting. Some cases are known, such as abelian and
Enriques surfaces, (see [Cas17] and [Bea16]) but the general problem remains wide open
even for smooth varieties. For reducible subschemes, already the representation type of 2regular subschemes seems to be unknown in general.
1. CM-wild varieties
Let k be a ﬁeld and set S = k[x 0 , . . . , xn ] for the symmetric graded k -algebra n + 1 indeterminates, seen also as the coordinate ring of the projective n -space Pn = Proj(S) of 1-dimensional
linear quotients of a vector space V = k n+1 .
1.1. ACM varieties and modules. We ﬁrst recall some basic terminology for various
Cohen-Macaulay properties of varieties, sheaves and modules.
1.1.1. ACM subschemes. Let X ⊂ Pn be a closed subscheme of dimension m > 0. Write I X for
the saturated homogeneous ideal of X and R = k[X ] = S/I X for its coordinate ring.
Deﬁnition 1.1. The subscheme X ⊂ Pn is arithmetically Cohen-Macaulay (ACM) if R = k[X ]
is a graded Cohen-Macaulay ring, i.e. if R has a graded S -free resolution of length n − m .
1.1.2. Terminology on coherent sheaves. Let X ⊂ Pn be a closed subscheme, m = dim(X ). We
write CohX for the category of coherent sheaves on X . We denote by OX (1) for the restriction
to X of OPn (1) and we employ the usual notation E(t) = E ⊗ OX (1) ⊗t . The ideal sheaf of a
subscheme Z ⊂ X will be denoted by IZ |X . Given E, F in CohX , we consider the Ext modules:
ExtiX (E, F )∗ =

Ê

ExtiX (E, F (t))

t ∈Z

as R -modules. In particular we write Hi∗ (E) = ExtiX (OX , E)∗ for the cohomology modules of
E . One may also replace t ∈ Z by any truncation t ≥ t 0 . The module H0∗ (E) is also denoted by
Γ∗ (E). It is ﬁnitely generated if E has no zero-dimensional subsheaf.
We say that a coherent sheaf E over X is simple if its only endomorphisms are homotheties,
i.e. if HomX (E, E) ≃ k id E . We write χ (E, F ) for the Euler characteristic of two coherent
sheaves E and F over X , i.e.
χ (E, F ) =

Õ

(−1)i dimk ExtiX (E, F ),

i

provided this is a ﬁnite sum. This is the case for instance when X is smooth or when E or F
are locally free. We abbreviate χ (F ) = χ (OX , F ).
We write H X for the very ample divisor class on X associated with OX (1). The Hilbert
polynomial of a coherent sheaf E is deﬁned as P(E, t) := χ (E(t)). The degree d = deg(X ) is
deﬁned in terms of the polynomial P(OX , t) as its leading term is d/m !.
For E in CohX , the rank r = rk(E) ∈ Q is deﬁned from P(E, t) as the leading term of this
polynomial is rd/m !. We write p(E, t) := P(E, t)/r for the reduced Hilbert polynomial.
We write p  q (resp. p ≻ q ) for polynomials p, q ∈ Q[t] if p(t) ≥ q(t) (resp. p(t) > q(t)) for
t ≫ 0. A coherent sheaf E is called pure if all of its subsheaves are supported in dimension
m . A pure sheaf is H X -semistable in the sense of Gieseker-Maruyama if, for any coherent
subsheaf F ( E , one has p(E, t) ≥ p(F , t) for t ≫ 0. The sheaf is called H X -stable if for all F
as above p(E, t) ≻ p(F , t). We will often suppress H X from the notation.

THE COHEN-MACAULAY REPRESENTATION TYPE OF PROJECTIVE ARITHMETICALLY COHEN-MACAULAY VARIETIES 5

1.1.3. Cohen-Macaulay and Ulrich conditions. Again X ⊂ Pn is a closed subscheme of dimension m ≥ 1 with coordinate ring R = k[X ]. Given a graded R -module M and t ∈ Z, we denote
by Mt its degree-t piece and M ≥t = ⊕i ≥t Mi . Analogously for M <t .
Deﬁnition 1.2. A coherent sheaf E on an m -dimensional closed subscheme X ⊂ Pn is called
arithmetically Cohen-Macaulay (ACM) if E is locally Cohen-Macaulay (i.e., Ex is a CohenMacaulay OX,x -module for all x ∈ X ) and Hi∗ (E) = 0 for i = 1, . . . ,m − 1.
This is equivalent to ask that E = Γ∗ (E) is a maximal graded Cohen-Macaulay module over
R . In turn, this amounts to require that E has a graded free S -resolution of length n − m .
Let d = deg(X ). Given an MCM module E of rank r over R = k[X ], the number of independent minimal generators of E is at most dr . Analogously, for an ACM sheaf E , assuming
H0 (X , E(−1)) = 0, we have:
dimk H0 (X , E) ≤ dr .

(1.1)

We say that E is an Ulrich sheaf on X and that E = Γ∗ (E) is an Ulrich module over R if
equality is attained in (1.1). This amounts to ask that the resolution of E as S -module is linear
of length n − m . The reader can consult [ESW03] for an account on Ulrich sheaves.
Let us denote by ACMX (resp. UlrX ) the full subcategory of CohX consisting of ACM
sheaves (resp. of Ulrich sheaves). We denote by MCMR,t (resp. UlrR,t ) the subcategory of
the category ModR of ﬁnitely generated R -modules whose objects are MCM modules (resp.
Ulrich modules) and whose morphisms are degree-t morphisms of R -modules. There is a basic
equivalence between these notions as in the next lemma (see [KL71, Proposition 2.2.4]):
Lemma 1.3. The functor Γ∗ : ACMX → MCMR, 0 is an equivalence, whose inverse is the sheaﬁﬁcation functor M 7→ M̃ . The equivalence carries UlrX to UlrR, 0 .
Let E and F be coherent sheaves on X whose associated modules E = Γ∗ (E) and F =
Γ∗ (F ) are ﬁnitely generated as R -modules. In spite of the previous lemma, ExtiX (E, F (t)) and
ExtiR (E, F )t may diﬀer. The following lemma will be useful to compare both groups:
Lemma 1.4. Assume F is ACM. Then, there is t ∈ Z depending on the minimal graded free
resolution of F as S -module, such that there is an isomorphism :
ExtiR (E ≥t , F ) ≥0 ≃

Ê

ExtiX (E, F (q)),

as graded R -modules.

q ≥0

i) If i ≤ m − 1, in the above isomorphism we may replace E ≥t by E .
ii) If F is Ulrich, we may take t = 1 − i .
iii) If F is linearly presented and E is generated in degree 0 over S , then Ext1R (E, F ) <−1 = 0.
Proof. Since the sheaf F is ACM of positive dimension, the associated R -module F is ﬁnitely
generated. The ﬁrst statement follows from [Smi00]. If F (or F ) is Ulrich, the minimal graded
free resolution of F as S -module is linear, so the same result allows t = 1 − i .
Next, F is a graded Cohen-Macaulay R -module, so ExtiR (k, F ) = 0 for i ≤ m , where k is
the residue ﬁeld seen as a R -module. Then, since the module E <j := E/E ≥j is Artinian, by
induction on the length of the composition series of E <j we get ExtiR (E <j , F ) = 0 for i ≤ m .
This isomorphism needed for ii) follows from the exact sequence:
1
ExtiR (E <j , F ) → ExtiR (E, F ) → ExtiR (E ≥j , F ) → Exti+
R (E <j , F ).

It remains to prove iii). A minimal graded presentation of F as S -module takes the form
S β1 (−1) → S β0 ։ F , while E admits a surjection S α0 ։ E , for some positive integers α 0 , β 0 and
β 1 . The surjection S β0 → F , whose kernel is an S -module that we denote by N , descends to a
surjection of R -modules R β0 → F , whose kernel we call M . Using HomR (−, E) we get an exact
sequence of R -modules:
HomR (R β0 , E) → HomR (M, E) → Ext1R (F , E) → 0.
Now, M is the quotient of N ⊗S R by TorS1 (R, F ), so we have surjections R(−1)β1 ։ N ⊗S R ։ M .
We deduce that HomR (M, E) is a submodule of HomR (R(−1)β1 , E). From the surjection S α0 ։ E
we get R α0 ։ E and thus a surjection:
HomR (R(−1)β1 , R α0 ) → HomR (R(−1)β1 , E).

6

DANIELE FAENZI AND JOAN PONS-LLOPIS

This proves that HomR (R(−1)β1 , E) vanishes in degree strictly below −1 so the same happens
to HomR (M, E) and thus to Ext1R (F , E).

1.2. CM-wildness. We will consider a couple of related notions of CM-wildness, cf. [SS07,
Chapter XIX] for a closed scheme X ⊂ Pn . Algebraically this means that, for any ﬁnitely
generated associative k -algebra Σ, the category of MCM modules over R = k[X ] contains, in
some sense, the category ModΣ of left Σ-modules which have ﬁnite dimension over k . Let us
make this more precise.
Deﬁnition 1.5. Let X ⊂ Pn be a closed subscheme and set R = k[X ]. For any ﬁnitely generated
associative k -algebra Σ, and any (R, Σ)-bimodule M , ﬂat over Σ, deﬁne the functor:
ΦM : FModΣ → ModR ,
N 7→ M ⊗ Σ N .

The variety X is of wild CM-type if, for any Σ as above, there is M such that ΦM takes values
in MCMR and is a representation embedding in MCMR i.e.:
a) the module N is decomposable whenever ΦM (N ) is;
b) for any pair (N , N ′) of modules in FModΣ , we have:
ΦM (N ) ≃ ΦM (N ′) ⇔ N ≃ N ′ .

The variety X is of wild Ulrich type if moreover:
c) for any N in FModΣ , ΦM (N ) is Ulrich.
The variety X is said to be strictly CM-wild if for any Σ as above there is M such that ΦM
fully faithful into MCMR, 0 , that is
HomΣ (N , N ′) ≃ HomR (Φ(N ), Φ(N ′))0 ,
If moreover ΦM (N ) is Ulrich for all N , then X is strictly Ulrich wild.
Remark 1.6. The following facts are well-known.
i) To check that X is CM-wild, it is enough to construct a representation embedding
from FModΣ into MCMR , where Σ is a wild algebra. Thanks to Lemma 1.3, we may
work interchangeably with ACMX or MCMR .
ii) If all non-zero graded R -modules Φ(M) are generated in the same degree and X is
strictly CM-wild, then it is CM-wild, and if X is strictly Ulrich wild then it is of wild
Ulrich type. Indeed, given M, N ∈ FModΣ , since Φ(M) and Φ(N ) are generated in the
same degree, an isomorphism Φ(M) → Φ(N ) must be of degree 0 and therefore must
come from an isomorphism M → N by full faithfulness. Also any idempotent of Φ(M)
must have degree 0 and is therefore induced by an idempotent of M .
iii) If X is of wild CM-type, then for any r ∈ N there are families of dimension at least r
consisting of indecomposable ACM sheaves on X , all non-isomorphic to one another.
In other words, X is of wild CM-type in the geometric sense. If X is of wild Ulrich
type, these families can be taken to consist of Ulrich sheaves.
iv) Any exact functor Φ : FModΣ → ModR is of the form ΦM for some Σ-ﬂat (R, Σ)bimodule M .
Let w ≥ 1 be an integer and consider the Kronecker quiver ϒ = ϒw with two vertices and
w arrows from the ﬁrst vertex to the second. Write Repϒ for the abelian category of ﬁnitedimensional k -representations of ϒ.
v) To check that X is strictly CM-wild (resp., of wild CM-type), it suﬃces to construct
a fully faithful exact functor (resp., a representation embedding):
Φ : Repϒ → ACMX

where ϒ = ϒw is the Kronecker quiver with w ≥ 3. If moreover Φ(R) is Ulrich for
any R in Repϒ , then X is strictly Ulrich wild (resp., of wild Ulrich type). The same
argument works if we replace Repϒ with FModΣ where Σ = k[x 1 , x 2 ].

THE COHEN-MACAULAY REPRESENTATION TYPE OF PROJECTIVE ARITHMETICALLY COHEN-MACAULAY VARIETIES 7

2. CM-wildness from extensions
Let X ⊂ Pn be a closed k -subscheme, and let A and B be coherent sheaves on X such that:
Ext1X (B, A) , 0.
We describe how extension of B and A are parametrized by representations of the Kronecker
quiver, a quiver with two vertexes and as many arrows as the dimension of Ext1X (B, A).
2.1. The functor from the Kronecker quiver to CohX . Set W = Ext1X (B, A) and consider
the projective space P(W ∗ ) of lines through the origin in W . Then, over X × P(W ∗ ), there is a
universal extension:
0 → A ⊠ OP(W ∗ ) → U → B ⊠ OP(W ∗ ) (−1) → 0,
where we write p and q for the projections from X × P(W ∗ ) to X and P(W ∗ ), and for E ∈ CohX
and F ∈ CohP(W ∗ ) , we set E ⊠ F = p ∗ (E) ⊗ q ∗ (F ). Then we consider:
Φ U = Rp ∗ (q ∗ (−) ⊗ U) : Db (CohP(W ∗ ) ) → Db (CohX ).

It is clear that:
Φ U (ΩP(W ∗ ) (1)) ≃ B[−1].

Φ U (OP(W ∗ ) ) ≃ A,
1

Set w = dimk ExtX (B, A) and consider the Kronecker quiver ϒ = ϒw . Then, the natural
isomorphism W ≃ HomP(W ∗ ) (ΩP(W ∗ ) (1), OP(W ∗ ) ) provides an equivalence:
(2.1)

Ξ : Db (Repϒ ) ≃ hΩP(W ∗ ) (1), OP(W ∗ ) i ⊂ Db (CohP(W ∗ ) ).

Explicitly, this is described as follows. Choose a basis (e 1 , . . . , ew ) of W = Ext1X (B, A). Let
R be a representation of ϒ having dimension vector (a, b). Then R corresponds to the choice
of w linear maps m 1, . . . ,m w : k a → k b . Take the element:
(2.2)

ξ =

Õ

m i ⊗ ei ∈ Homk (k b , k a ) ⊗ W .

Then, under W ≃ HomP(W ∗ ) (ΩP(W ∗ ) (1), OP(W ∗ ) ), we obtain from ξ a morphism:
a
M : ΩP(W ∗ ) (1)b → OP(W
∗).

(2.3)

The cone of M is the element of Db (CohP(W ∗ ) ) associated with R via Ξ. This is directly extended
to morphisms.
Let Φ be the restriction of Φ U ◦ Ξ to Repϒ :
(2.4)

Φ : Repϒ → CohX .

Let us ﬁrst give a more explicit description of Φ. At the level of objects, given a representation R of the quiver Repϒ with dimension vector (a, b) let (m 1, . . . ,m w ) be the w linear maps
associated with R and let ξ be as in (2.2). Then Φ(R) ﬁts as middle term of a representative of
the extension class corresponding to ξ :
0 → A a → Φ(R) → B b → 0.
Let us now check that this is well-deﬁned on morphisms. Let S be another representation
of ϒ, of dimension vector (c, d), corresponding to the linear maps (n 1, . . . , nw ). A morphism
λ : R → S of representations is given by linear maps α : k a → k c and β : k b → k d such that:
(2.5)

for all i = 1, . . . , w .

n i α = βm i ,

Consider the map of coherent sheaves β A = β ⊗ id A : A a → A c . Then, β A deﬁnes a
morphism of extensions:
(2.6)

0

/ Aa

/ Φ(R)

βA

0



/ Ac

/ Bb

/0

/ Bb

/0

ϕ
i


/D

p

for a certain sheaf D representing the element:
Õ

βm i ⊗ ei ∈ Ext1X (B b , A c ).

8

DANIELE FAENZI AND JOAN PONS-LLOPIS

Analogously α B = α ⊗ id B : B b → B d deﬁnes:
(2.7)

i′

/ Ac

0

p′

/ D′

/ Bb

ϕ′



/ Ac

0

/ Φ(S)



/0

αB

/ Bd

/0

with the upper row representing an extension class in:
Õ

n i α ⊗ ei ∈ Ext1X (B b , A c ).

Because of (2.5), the lower extension of (2.6) is the same as the upper one (2.7). Then the
morphisms ϕ ′ and ϕ of extensions compose to give a map from Φ(R) to Φ(S).
It is clear that this construction agrees with the deﬁnition of Φ. Indeed, the representation
R is mapped by Ξ to the cone of the matrix M of (2.3), which is sent by Φ U to the cone of:
Φ U (M) : B b [−1] → A a .

By construction this cone is represented by the extension class Φ(R).
2.2. Representation embeddings of the Kronecker quiver. We state now a basic result
on representation embeddings and fully faithful embeddings of the Kronecker quiver via
extensions. Some forms of this result have been used already by several authors, however
the following rather general statement seems to be new.
Theorem A. Let A and B be simple coherent sheaves on a closed subscheme X ⊂ PN .
i) Let A and B be semistable with p(B)  p(A) and suppose that any non-zero morphism
A → B is an isomorphism. Then the functor Φ from (2.4) is a representation embedding.
ii) Assume that HomX (A, B) = HomX (B, A) = 0. Then the functor Φ is fully faithful.
Proof. To check i) we ﬁrst prove that, given an irreducible representation R of ϒ, the associated sheaf F = Φ(R) is indecomposable. Let R have dimension vector (b, a) so we have:
i

p

0 → Aa →
− F →
− B b → 0.

(2.8)

Assume ﬁrst p(B) ≺ p(A). Then, (2.8) is the Harder-Narasimhan ﬁltration of F , so the
graded object gr(F ) associated with F is just A a ⊕B b . Assume F ≃ F ′ ⊕F ′′ , with F ′ , 0 , F ′′ .
′′
′′
′
′
By the uniqueness of gr(F ), we have gr(F ′) ≃ A a ⊕B b and gr(F ′′ ) ≃ A a ⊕B b for some (b ′, a ′ )
′
′′
′′
′
′′
′
′′
a
and (b , a ) with a + a = a and b + b = b . It follows that A is the maximal destabilizing
′
subsheaf of F ′ with quotient B b , i.e. F ′ is an extension of the form:
′

′

0 → A a → F ′ → B b → 0,
′

′

′′

′′

associated with some ξ ′ ∈ W ⊗ k a ⊗ k b . Similarly, there is ξ ′′ ∈ W ⊗ k a ⊗ k b corresponding
′
′
to F ′′ . Moreover, composing the embedding A a ֒→ F ′ with i we get a map A a ֒→ F , that
composes to zero with p , for A and B are semistable with p(B) ≺ p(A).
′
We obtain thus a map A a ֒→ A a which must be of the form α ⊗ id A for some monomor′
′
phism α : k a → k a , because A is simple. This induces a map B b → B b which is likewise
′
of the form β ⊗ id B for some β : k b → k b . This says that the representation R ′ of dimension
vector (b ′, a ′) corresponding to ξ ′ is a subrepresentation of R , the embedding being given
by (β, α). The quotient R ′′ = R/R ′ corresponds of course to ξ ′′ . The embedding F ′′ ֒→ F
provides a splitting R ′′ → R , so R ≃ R ′ ⊕ R ′′, with R ′ , 0 , R ′′ which is what we wanted.
Assume now p(B) = p(A) and take R indecomposable such that F = F ′ ⊕ F ′′ with F ′ ,
0 , F ′′ . Then (2.8) is a Jordan-Hölder ﬁltration of F , so the graded object gr(F ) associated
with F is again A a ⊕ B b , hence gr(F ′ ) and gr(F ′′ ) take the same forms as above, in particular
F ′ and F ′′ are semistable with p(F ′′ ) = p(A) = p(F ′′ ).
We compose i with the projection F → F ′′ to get a map q : A a → F ′′ . The sheaf Im(q)
′′
is clearly semistable with p(Im(q)) = p(A). Composing with the projection to B b , since any
non-zero map A → B is an isomorphism, we get as image a direct sum of copies of A . So
′′
Im(q) projects onto copies of A and thus, since A is simple, we actually have Im(q) ≃ A a
′
for some integer a ′′ , which also gives ker(q) ≃ A a with a ′ = a − a ′′. By the same argument,
′
composing the injection F ′ ֒→ F with p gives a map j whose image is B b , for some integer

THE COHEN-MACAULAY REPRESENTATION TYPE OF PROJECTIVE ARITHMETICALLY COHEN-MACAULAY VARIETIES 9
′′

b ′, and whose cokernel is then B b with b ′′ = b −b ′. Using that A and B are simple, we ﬁnally

get a commutative exact diagram:
/ A a′

0
α′

/ F′

⊗ idA

α ′′ ⊗ idA

/A

0

/ Bb′
β′




/ Bb


/F


/ Aa

0

p



a ′′

/ F ′′

α′

p



/0
⊗ idB

/0

β ′′ ⊗ id B

/ B b ′′

/0

α ′′

for some maps α ′ : k → k α , α ′′ : k α → k , and similarly for β . This says that there
are representations R ′ , 0 , R ′′ of ϒ with dimension vectors (b ′, a ′) and (b ′′, a ′′ ) such that
F ′ ≃ Φ(R ′) and F ′′ ≃ Φ(R ′′). Also, the maps α ′ , α ′′ , β ′, β ′′ provide a exact sequence:
(β ′,α ′ )

(β ′′,α ′′ )

0 → R ′ −−−−−→ R −−−−−−→ R ′′ → 0.
Using the splitting map F → F ′ we see that R = R ′ ⊕ R ′′, which is what we needed.
Finally, we would like to show that two representations R and S of ϒ are isomorphic if and
only if their images via Φ are. Let R and S have dimension vectors (b, a) and (d, c). We may
suppose that R and S are irreducible, so that F = Φ(R) and G = Φ(S) are indecomposable, by
the ﬁrst part of the proof. Take an isomorphism ϕ : F → G . Composing ϕ on the left with
the injection A a → F and on the right with the projection G → B b , we get a map ϕ 0 . We
distinguish two cases according to whether ϕ 0 is zero or not.
In the latter case, there is a summand A of A a that maps nontrivially, hence isomorphically, to a summand B of B d . We deduce that B is a direct summand of G . By the assumption
on irreducibility of S , G ≃ B , which clearly gives the conclusion.
In the former case, we get a map α A : A a → A c inducing an exact commutative diagram:
0

i

/ Aa
αA

0

p

/F

/ Bb

ϕ



/ Ac

βB





/ Bd

/G

/0
/0

Hence coker(α A ) ≃ A c −a ≃ B b−d ≃ ker(β B ). Then a ≤ c and d ≤ b . But using ϕ −1 we get the
opposite inequalities, which implies that α A and β B are isomorphisms. Again α A = α ⊗ id A
and β B = β ⊗ id B . It follows that (β, α) induces an isomorphism R → S .
It remains to prove ii). To check this, consider a commutative diagram:
0

/A

i

0

0
Since

p′


/A

/D

p

i′


/ D′

/B

/0

0

λ
p′


/B

/0

◦ λ = 0, we have Im λ ⊆ A . But λi = 0 implies that λ factors as:
λ

D✻

✻✻
✻✻


/A
@
λ̄

B

D/A

If λ , 0, this would give a nonzero map λ̄ : B → A , contradicting HomX (B, A) = 0. With this
in mind, it is easy to deduce injectiveness of the natural map:
(2.9)

Homϒ (R, S) → HomX (Φ(R), Φ(S)).

As for surjectiveness, given a morphism µ : Φ(R) → Φ(S), we compose µ on one side
with the projection Φ(S) → B d , and with the injection A a → Φ(R) on the other side. We
obtain thus a map A a → B d , which must vanish since HomX (A, B) = 0. We deduce that µ
deﬁnes maps A a → A b and B c → B d , which must be of the form β ⊗ id A and α ⊗ id B by the
assumption that A and B are simple. It is now clear that the pair (β, α) deﬁnes a morphism
R → S whose image under (2.9) is µ .

We deduce a criterion for an ACM variety being strictly CM-wild.

10

DANIELE FAENZI AND JOAN PONS-LLOPIS

Corollary 2.1. In the hypothesis of Theorem A, case i), resp. case ii), we have:
i) if w ≥ 3 and A and B are ACM, then X is CM-wild, resp. strictly CM-wild;
ii) if moreover A and B are Ulrich, then X is Ulrich wild, resp. strictly Ulrich wild.
Proof. By construction of the functor Φ of Theorem A, the sheaf Φ(R) associated with a representation R of ϒ is ACM (respectively, Ulrich) if A and B are ACM (respectively, Ulrich).
We conclude using Remark 1.6.

Remark 2.2. The hypothesis HomX (B, A) = 0 in Theorem A, case ii), is necessary. Indeed,
if HomX (B, A) , 0 we could consider the map:
p

i

ϕ:D→
− B → A→
− D

This map ϕ is not zero, and makes the following diagram commute:
0

/A

0


/A

i

/D

i′


/D

p

ϕ

0

/0

/B
0

p′


/B

/0

Notice, however that any ϕ ﬁtting in such a diagram will be nilpotent.
As an explicit example, let X ⊂ Pm+1 be an hypersurface of degree d and Z ⊂ X be an
arithmetically Gorenstein (i.e., k[Z ] is a graded Gorenstein ring) subscheme of codimension
two and index i Z , where:
i Z = max{s | Hm−1 (X , IZ |X (s)) , 0 },

Deﬁne e = i Z + m + 2 − d and assume that e < 0 so that HomX (IZ |X (e), OX ) , 0. Let D be the
non-trivial extension of IZ |X (e) by OX (one can show that this extension exists and is unique
up to a nonzero scalar, by the deﬁnition of e and by Serre duality).
Whenever Z is not a complete intersection inside X , D is indecomposable. Anyway D
is an ACM sheaf of rank 2 over X which is never simple, as it always admits a nilpotent
endomorphism. The conclusion of Theorem A clearly fails in this case.
3. Stable syzygies of Ulrich modules
Pn

Let X ⊂
be a closed ACM subscheme of dimension m ≥ 1, let Y be a general linear
section of X of codimension c < m . Set T = k[Y ], R = k[X ] and write ωY for the dualizing
sheaf of Y . The ideal IY |X of Y in X is generated by a regular sequence of linear forms of R of
length c . Looking at a ﬁnitely generated graded module E over T as a graded module over R ,
we take its minimal graded R -free resolution:
(3.1)

d1

dℓ

0 ← E ← F 0 ←−− F 1 ← · · · ← F ℓ−1 ←−− F ℓ ← · · ·

Write Ω Rℓ (E) for the ℓ -th syzygy of E over R , i.e. Ω Rℓ (E) = Im(d ℓ ). It is well-known that, if E is
MCM over T , then Ω Rℓ (E) is MCM over R for ℓ ≥ c .
Let MCMR, 0 be the stable category of maximal Cohen-Macaulay modules over R . Given
E, E ′ in MCMR , we write HomR (E, E ′ )t for the morphisms in the this category, namely the
morphisms of degree t from E to E ′ , modulo the ideal of morphisms (of degree zero) that
factor through a free R -module. We write Π for the stabilization functor:
Π : MCMR → MCMR .

For ℓ ≥ c , we have also the ℓ -th syzygy stable functor:
Ω ℓ : MCMT → MCMR ,
E 7→ Π ◦ Ω Rℓ (E).

The following theorem is the center of this section and will play a major role throughout
the rest of the paper.

THE COHEN-MACAULAY REPRESENTATION TYPE OF PROJECTIVE ARITHMETICALLY COHEN-MACAULAY VARIETIES11

Theorem B. Let X ⊂ Pn be a closed ACM subscheme of dimension m ≥ 1. Assume that X is not
of minimal degree, namely, deg(X ) > n − m + 1. Then the restriction to UlrT , 0 of the c -th stable
syzygy functor provides a fully faithful embedding:
Ωc : UlrT , 0 → MCMR, 0 .

We start with a simple lemma.
Lemma 3.1. Let X ⊂ Pn be a closed ACM subscheme of dimension m ≥ 1. Then X has minimal
degree deg(X ) = n − m + 1 if and only if H0 (X , ωX (m − 1)) = 0.
Proof. Without loss of generality, we may assume that k is algebraically closed. Let us now
work by induction on m . For m = 1, this is clear as an ACM subscheme X ⊂ Pn has minimal
degree if and only if the sectional genus of X is zero, cf. the discussion at §6. For m ≥ 2, if Y
is a hyperplane section of X , adjunction formula gives an exact sequence
0 → ωX (m − 2) → ωX (m − 1) → ωY (dim(Y ) − 1) → 0
Because X is ACM and m ≥ 2 we get H1∗ (X , ωX ) = 0 and by induction the statement holds for
Y so taking global sections of the above sequence we see that it also holds for X .
For a proof in the language of modules, note that the dual of the minimal S -resolution
of k[X ] provides a resolution of the canonical module K X (see [Mig98, Remark 1.2.4]) and
therefore, by [EGHP06, Theorem 0.4], X is of minimal degree if and only if is 2-regular if and
only if H0 (X , ωX (m − 1)) = (K X )m−1 = 0.

The following lemma will be one of the keystones of our analysis. Given a ﬁnitely generated graded R -module M , we write hM ≤d i for the graded submodule of M generated by the
elements of degree at most d of M . We also write M ∗ for the dual HomR (M, R).
Lemma 3.2. Fix the hypothesis as in Theorem B, let L be an Ulrich module over T , and set
M = ΩcR (L). Then we have a functorial exact sequence:

0 → hM ∗≤1−c i → M ∗ → HomT (L,T (c)) → 0.
Proof. Recall that L is generated in a single degree, and that the number of minimal generators
of L equals α 0 = deg(X ) rk(L). In other words, we can assume F 0 ≃ R α0 . By the minimality of
the resolution, we have, for i ≥ 1:
Fℓ ≃

Ê

R(−j)α ℓ, j ,

for some integers α ℓ, j .

j ≥ℓ

Also, X and Y are not linear subspaces, so that L has no free summands.
We are going to apply the functor HomR (−, R) to (3.1). We have:
• ExtiR (L, R) = 0 for i = 0, . . . , c − 1. This is due to the fact that the minimum l such that
ExtlR (L, R) , 0 is the grade (see [BH98, Deﬁnition 1.2.11 and ﬀ.]), and
grade(M) := grade(Ann R (L), R) = grade(IY |X , R) = c.
ExtcR (L, R)

≃ HomT (L,T (c)), which follows from noticing that IY |X is generated by a
regular sequence of linear forms of length c and applying inductively the graded
version of Rees’ Theorem (cf. [Rot09, Theorem 8.34]).
From the previous remarks, we obtain the long exact sequence:
•

(3.2)

∗
d c−
1

π

0 → F 0∗ → · · · → Fc∗−2 −−−→ Fc∗−1 −
→ M ∗ → HomT (L,T (c)) → 0.

Now comes the main point, namely that HomT (L,T )1 = 0. To see this, recall that
HomT (L,T )1 ≃ HomY (L, OY (1)) and that L is Ulrich on Y as well as Hom Y (L, ωY ). Then,
by Serre duality and [ESW03, Proposition 2.1] we get:
HomY (L, ωY (m − c)) ≃ Hm−c (Y , L(c − m))∗ = 0.
Note that, by the assumption and lemma 3.1, H0 (Y , ωY (m − c − 1)) , 0 and therefore we get an
embedding:
OY (1) ֒→ ωY (m − c).
Therefore, HomY (L, ωY (m − c)) = 0 implies HomY (L, OY (1)) = 0.

12

DANIELE FAENZI AND JOAN PONS-LLOPIS

We have thus established that HomT (L,T (c)) contains no element of degree ≤ 1 − c . Also,
we may write:
Fc∗−1 = R(c − 1)αc−1,c−1 ⊕ R(c)αc−1,c ⊕ · · ·

Then, (3.2) says that Fc∗−1 generates all the elements of M ∗ of degree at most 1 −c , i.e. the image
of π is the submodule hM ∗≤1−c i of M ∗ . This is clearly functorial, and the lemma is proved. 
Proof of Theorem B. Let L and N be two Ulrich modules over T . Our goal will be to describe
two mutually inverse maps:
HomT (L, N )0 ⇆ HomR (ΩcR (L), ΩcR (N ))0 .
Set M = ΩcR (L) and P = ΩcR (N ). First, let φ : L → N belong to HomT (L, N )0 . Consider
the minimal graded free resolutions of L and N over R and choose a lifting of φ to these
resolutions:
0o

(3.3)

Lo

F0 o

φ

0o



N o

··· o

F c −1 o

φ0

M

φ c−1



G0 o

··· o



G c −1 o

φ̃



P

The morphism φ̃ induced on the c -th syzygy modules gives the class φ̄ in HomR (M, P)0 .
This does not depend on the choice of the lifting φi , as any other choice would provide a map
φ̃ ′ such that φ̃ − φ̃ ′ factors through a free module.
Conversely, given ψ¯ ∈ HomR (M, P)0 , we choose a representative ψ : M → P and take its
dual ψ ∗ : P ∗ → M ∗ . Since ψ ∗ is homogeneous of degree 0, it maps elements of degree at most
1 − c in P ∗ to elements of degree at most 1 − c in M ∗ . By Lemma 3.2 we obtain a diagram:
(3.4)

0

/ hM ∗ i
≤O 1−c

/ M∗
O

/ hP ∗ i
≤ 1−c

/ P∗

ψ∗

ψ∗

0

/ HomT (L,T (c))
O

/0

/ HomT (N ,T (c))

/0

ψˆ

We wish to associate with ψ¯ the morphism ψˆ∗ : L → N . To do this, we have to check
that ψˆ does not depend on the choice of the representative ψ of ψ¯. By deﬁnition any other
representative diﬀers from ψ by a map ζ : M → P that factors through a free module, which
we call F , i.e. ζ = ζ 2ζ 1 with ζ 1 : M → F and ζ 2 : F → P . Therefore ζ ∗ factors through F ∗ and
again by Lemma 3.2 we get the commutative diagram:
0

/ hM ∗ i
≤ 1−c
O

/ M∗
O

hF ≤∗ 1−c i
O

∗

ζ∗

ζ 1∗

0

/

/F
O

ζˆ

ζ∗
2

2

0

/0

1

ζ∗

/ hP ∗ i
≤ 1−c

/ HomT (L,T (c))
O

/ P∗

/ HomT (N ,T (c))

/0

Call G the quotient F ∗ /hF ≤∗ 1−c i . The diagram says that ζˆ factors through G .
Now observe that G is a free module. Indeed, any direct summand of F takes the form R(a)
for some a ∈ Z, and:
(3.5)

hR(a) ≤ 1−c i =



R(a),
0,

if a ≥ c − 1,
if a < c − 1.

Therefore G is the direct sum of all summands R(a) of F ∗ with a < c − 1, hence G is free.
But HomT (N ,T (c)) is a torsion module, So it admits no non-trivial morphism with target in
G , and therefore ζˆ = 0.

THE COHEN-MACAULAY REPRESENTATION TYPE OF PROJECTIVE ARITHMETICALLY COHEN-MACAULAY VARIETIES13

Let us now check that these maps are mutually inverse. Given φ ∈ HomT (L, N )0 , we consider a representative ψ = φ̃ of the class φ̄ . Dualizing (3.3) we obtain a commutative diagram:
···

/ F∗
c−
O 1

/ M∗
O

/ G∗

/ P∗

ψ∗

∗
φ c−
1

···

c −1

/ HomT (L,T (c))
O

/0

/ HomT (N ,T (c))

/0

φ∗

This diagram is the extension of (3.4) to a minimal resolution of hP ∗≤1−c i and hM ∗≤1−c i . This
says that ψˆ = φ ∗ , so ψˆ∗ = φ .
Conversely, let ψ be a representative of ψ¯ ∈ HomR (M, P)0 and set φ = ψˆ ∗ . Lift the map
→ hM ∗≤ 1−c i induced by ψ to the minimal graded free resolutions of these modules and
dualize to obtain:
0o
Lo
F0 o
··· o
F c −1 o
M o
0
hP ∗≤ 1−c i

φ

0o



N o

ψ0

ψc−1



G0 o

··· o

ψ





G c −1 o

P o

0

Then ψ is induced by a lifting of φ : L → N to the minimal resolutions of L and N . Our
proof is thus complete.

We isolate the following easy consequence of Lemma 3.2.
Lemma 3.3. If L is an Ulrich module L over T , then ΩcR (L) has no free summands.
Proof. Suppose ΩcR (L) = M ⊕ F , with F a non-zero free direct summand. Lemma 3.2 gives:
π

0 → hM ≤1−c i ⊕ hF ≤1−c i −
→ M ⊕ F → HomT (L,T (c)) → 0,
with π diagonal. Then, (3.5) says that the restriction of π is an isomorphism between hF ≤1−c i
and F , as obviously L has no free summand. Therefore, looking at (3.2) we see that dc is
surjective onto F , which contradicts minimality of the resolution (3.1).

Example 3.4. Let X ⊂ Pm+1 be a hypersurface of degree d and Y be a linear section of
codimension c of X . Based on the theory of matrix factorizations developed in [Eis80], the
resolution of an Ulrich module L of rank r on T = k[Y ] reads:
0 ← L ← T r d ← T (−1)r d ← T (−d)r d ← · · ·

(3.6)

Since L(−d) ≃ ker(T (−1)r d → T r d ), this yields a resolution:
0 ← HomT (L,T (d − 1)) ← T r d ← T (−1)r d ← T (−d)r d ← · · ·

(3.7)

Combining (3.6) with the Koszul resolution of Y in X we get a resolution over R = k[X ]:
(3.8)

c

0 ← L ← Rr d ← R(−1)r d (c +1) ← R(−2)r d (c +(2)) ⊕ R(−d)r d ← · · ·

The k -th term Fk of this resolution looks as follows (here ε ∈ {0, 1}):
Fk =

Ê

c

R(−(j + hd + ε))( j )r d .

2h+ε +j=k

Let M =

ΩcR (L).

The resolution of the dualized syzygy M ∗ starts with:

· · · → R(c − d)r d (c +1) ⊕ Fc∗−2 → R(c − d + 1)r d ⊕ Fc∗−1 → M ∗ → 0.

We may now remove from this the dual of the truncation at M = ΩcR (L) of (3.8), which is
to say, by Lemma 3.2, the resolution of hM 1∗−c i . The residual strand recovers precisely (3.7),
twisted by R(c − d + 1). The two strands of the resolution do not mix if d > 2.
Remark 3.5. Theorem B is sharp, in the sense that it fails in general for ACM closed schemes
X ⊂ Pn of minimal degree. Take for instance char(k) , 2, choose a positive integer k and let
X be a smooth quadric hypersurface in P2k +1 . Let Y be a smooth hyperplane section of X . It is
well-known that, over T = k[Y ] there is a unique indecomposable ACM (and Ulrich) module L

with no free summands, namely the module associated with the spinor bundle. This module

14

DANIELE FAENZI AND JOAN PONS-LLOPIS

has rank 2k −1 . On the other hand R = k[X ] supports exactly two non-isomorphic ACM (and
Ulrich) modules F ′ and F ′′ , which have both rank 2k −1 . There is a short exact sequence
k

0 ← L ← R 2 ← F ′ ⊕ F ′′ ← 0,

hence ΩR1 (L) ≃ F ′ ⊕ F ′′ .

Therefore, the functor Ω 1 is not even a representation embedding as it sends indecomposable modules to decomposable ones. The condition of preserving non-isomorphy of modules
also fails in general, as choosing n = 2k + 2 we get L ′ and L ′′ non-isomorphic spinor modules
on T , but both ΩR1 (L ′) and ΩR1 (L ′′) are isomorphic to the single spinor module on X .
For ACM schemes of minimal degree, even though Theorem B cannot be applied, the
following proposition shows that the syzygy functor enjoys a somehow opposite kind of
nice feature, namely it preserves the property of being Ulrich.
Proposition 3.6. Let X ⊂ Pn be a variety of minimal degree d = deg(X ) = n − m + 1 and
dimension m ≥ 1. Let Y ⊂ X be a general linear section of codimension c < m . Then, for any
Ulrich module L over T = k[Y ], the c -th syzygy module ΩcR (L) is an Ulrich module over R = k[X ].
Proof. By induction, we can suppose that c = 1. Therefore, given an Ulrich module L over
T , since we already know that ΩR1 (L) is MCM over R , we just need to show that it is minimally generated by d rk(ΩR1 (L)) elements. From [ESW03, Prop. 2.1], it is easy to see that the
beginning of the minimal resolution of L over T has the following form
0 ← L ← T r d ← T (−1)r d (n−m) ← · · ·
Therefore, merging it with the minimal resolution of T over R we obtain that the minimal
resolution of L over R starts
d1

2

0 ← L ← Rr d ← R(−1)r d ← · · ·
Namely, ΩR1 (L) = Im(d 1 ) is a MCM module over R of rank rd generated by rd 2 elements of the
same degree. In other words, ΩR1 (L) is Ulrich.


4. CM-wildness from syzygies of Ulrich extensions
Let us ﬁx the setup for this section. Let X ⊂ Pn be an ACM subscheme of dimension m ≥ 1,
put R = k[X ] and let Y be a linear section of X of codimension c < m . Let A and B be two
simple Ulrich sheaves on Y . Set W = ExtY1 (B, A), w = dimk W . Here we want to prove the
following fundamental result.
Theorem C. Assume w ≥ 3, X ⊂ Pn is not of minimal degree and suppose that A and B satisfy
hypothesis i) or ii) of Theorem A. Then X is of wild CM-type.
Let us assume for the time being that w , 0 and write ϒ = ϒw . Over Y × P(W ∗ ), there is a
universal extension:
0 → A ⊠ OP(W ∗ ) → U → B ⊠ OP(W ∗ ) (−1) → 0.
Take the sheaﬁﬁed minimal graded free resolutions of A and B as OX -modules, pull-back
via p to X × P(W ∗ ), and use the mapping cone construction to build a minimal graded free

THE COHEN-MACAULAY REPRESENTATION TYPE OF PROJECTIVE ARITHMETICALLY COHEN-MACAULAY VARIETIES15

resolution of U over X × P(W ∗ ):
0O
0
0

0
0

0O

0O

/ A ⊠ OP(W ∗ )
O

/U
O

/ B ⊠ OP(W ∗ ) (−1)
O

/0

d0

/ F0 ⊠ OP(W ∗ )
O

/ H0
O

/ G0 ⊠ OP(W ∗ ) (−1)
O

/0

..
.O

..
.O

..
.O

/ Fc −1 ⊠ OP(W ∗ )
O

/ Hc −1
O

/ Gc −1 ⊠ OP(W ∗ ) (−1)
O

/0

/ Fc ⊠ OP(W ∗ )
O

/ Hc
O

/ Gc ⊠ OP(W ∗ ) (−1)
O

/0

..
.

..
.

..
.

dc

Here, Hi = Fi ⊠ OP(W ∗ ) ⊕ Gi ⊠ OP(W ∗ ) (−1). Set:
V = Im(d c ).

Then we consider:
Φ V = Rp ∗ (q ∗ (−) ⊗ V) : Db (CohP(W ∗ ) ) → Db (CohX ).

The following lemma is clear.
Lemma 4.1. Let T = k[Y ], and set L and N for the modules of global sections of A and B . Let
M and N be the sheaﬁﬁcations of ΩcR (L) and ΩcR (N ). Then:
Φ V (OP(W ∗ ) ) ≃ M,

Φ V (ΩP(W ∗ ) (1)) ≃ N [−1].

Now consider the equivalence Ξ of (2.1). Then the restriction of Φ V ◦ Ξ to Repϒ , composed
with the global sections functor, gives an exact functor:
Ψ : Repϒ → MCMR .

Theorem C amounts to the next result.
Theorem 4.2. If X ⊂ Pn is not of minimal degree and A and B are Ulrich, then Ψ is a representation embedding. So if A and B satisfy hypothesis i) or ii) of Theorem A and w ≥ 3, X is
CM-wild.
Proof. By construction we have the commutative diagram of functors:
Repϒ

Ψ

/ MCMR

ΩcR


/ MCM
R

Π

Φ


UlrT

We proved in Theorem B that ΩcR is fully faithful, and in Theorem A that Φ is also fully
faithful. So the same happens to ΩcR ◦ Φ and therefore to Π ◦ Ψ.
Therefore, if R and S are two representations of ϒ such that Ψ(R) ≃ Ψ(S), we see that
Π(Ψ(R)) ≃ Π(Ψ(S)) and hence R ≃ S by fully faithfulness.
Moreover, if Ψ(R) is decomposable, then HomR (Ψ(R), Ψ(R))0 contains a non-trivial idempotent ψ . The class ψ¯ is also an idempotent, which is trivial if and only if the direct summand
of Ψ(R) associated with ψ is free. But this cannot happen by Lemma 3.3, again by fully faithfulness of Π ◦ Ψ, ψ¯ corresponds to a non-trivial idempotent of R , so R is also decomposable.
This ﬁnishes the proof that Ψ is a representation embedding. The consequence that X is of
wild CM-type is clear.


16

DANIELE FAENZI AND JOAN PONS-LLOPIS

Example 4.3. The ﬁrst class of varieties where it is a priori unknown how to construct large
families of ACM bundles is given by general cubic hypersurfaces of dimension m ≥ 4. We
can do this with Theorem C. Indeed, start with a cubic hypersurface X in Pm+1 , suﬃciently
general to admit a smooth surface section Y . Then we may take A = OY (A) and B = OY (B),
where A and B are twisted cubics in Y meeting at 5 points, cf. [Fae08] : these will satisfy the
assumptions of Theorem C. Indeed, H0 (ωY (m − c − 1)) = H0 (OY ) = k and, by Riemann-Roch:
dimk Ext1 (B, A) = −χ (OY (A − B)) = 3
In the next section we will see how to deal in a similar fashion with any variety besides the
non-wild varieties listed in the main result.
5. Wildness of non-integral projective schemes
In this short section we pay attention to the case of non-integral projective schemes. We
ﬁrst focus on the case of reducible subschemes. For them, the next lemma is our starting
point. In order to use it one starts with an ACM subscheme X , recalls that X is thus equidimensional, takes X 0 to be a union of components of X , and studies the representation type
of X in terms of that of X 0 . Let us put R = k[X ] and R 0 = k[X 0 ].
Lemma 5.1. Let X 0 ⊂ X ⊂ Pn be closed subschemes of the same dimension m and suppose that
X 0 is CM-wild. Then X is CM-wild.
Proof. The inclusion X 0 ⊂ X gives a surjective morphism of rings R → R 0 that bestows a structure of R -module to any R 0 -module. Because X 0 and X have the same dimension, any MCM
R 0 -module is also an MCM R -module. Non-isomorphic R 0 -modules remain non-isomorphic
R -modules. Also, an indecomposable R 0 -module is indecomposable as R -module. In other
words, we have a representation embedding MCMR0 → MCMR , so the lemma is proved. 
As a consequence of the previous lemma, in order to classify reducible projective schemes,
it only remains to take care of reducible varieties having no CM-wild component. This is the
content of the following result.
Theorem 5.2. Let X 1 , X 2 ⊂ Pn be m -dimensional closed integral varieties with m ≥ 2. Assume
X 1 ∩X 2 is a Weil divisor in X 1 , X 2 is ACM and X 1 carries an ACM sheaf. Then X 1 ∪X 2 is CM-wild.
Proof. Put X = X 1 ∪ X 2 and Y = X 1 ∩ X 2 . The surjection OX → OY factors as OX → OX 1 → OY
and OX → OX 2 → OY and, since X = X 1 ∪ X 2 , this induces an isomorphism of OX -sheaves
IX 2 |X ≃ IY |X 1 . In other words, we have an exact sequence:
0 → IY |X 1 → OX → OX 2 → 0.
Let F1 be an ACM sheaf on X 1 . Note that Hom X (OX 2 , F1 ) = Hom X (F1 , OX 2 ) = 0, because F1
and OX 2 are supported on X 1 and X 2 , and these varieties have no common component. So:
HomX (OX 2 , F1 (q)) = HomX (F1 (q), OX 2 ) = 0,

for all q ∈ Z.

Also, Hom X (OX , F1 ) ≃ F1 . So, applying Hom X (−, F1 ) to the previous exact sequence, we get:
(5.1)

0 → F1 → Hom X (IY |X 1 , F1 ) → Ext X1 (OX 2 , F1 ).

We look at IY |X 1 as the kernel of OX 1 → OY . Applying Hom X 1 (−, F1 ) gives:
(5.2)

0 → F1 → Hom X 1 (IY |X 1 , F1 ) → Ext X1 1 (IY |X 1 , F1 ) → 0,

because F1 is locally Cohen-Macaulay. On the other hand, applying Hom X 1 (−, OX 1 ) gives:
0 → OX 1 → Hom X 1 (IY |X 1 , OX 1 ) → NY |X 1 → 0,
where we used the standard identiﬁcation of the sheaf Ext X1 1 (IY |X 1 , OX 1 ) with the normal sheaf
NY |X 1 of Y in X 1 . Tensoring the previous exact sequence with F1 gives:
(5.3)

· · · → F1 → Hom X 1 (IY |X 1 , OX 1 ) ⊗ F1 → NY |X 1 ⊗ F1 → 0.

Because Hom X (IY |X 1 , F1 ) ≃ Hom X 1 (IY |X 1 , F1 ), putting together (5.1) and (5.2) yields an inclusion Ext X1 1 (IY |X 1 , F1 ) ֒→ Ext X1 (OX 2 , F1 ). Therefore, for q ∈ N, we have a linear inclusion:
(5.4)

H 0 (X 1 , Ext X1 1 (IY |X 1 , F1 (q))) ֒→ H 0 (X , Ext X1 (OX 2 , F1 (q)) ≃ Ext1X (OX 2 , F1 (q)).

THE COHEN-MACAULAY REPRESENTATION TYPE OF PROJECTIVE ARITHMETICALLY COHEN-MACAULAY VARIETIES17

where the isomorphism follows from the (degenerate) local-to-global spectral sequence.
There is a dense open subset of the reduced structure over Y where Y is Cartier and F1
is locally free. Over such open set, the exact sequences (5.2) and (5.3) become the same and
NY |X 1 ⊗ F1 is locally free of positive rank. Therefore, since dim(Y ) = m − 1 ≥ 1, the dimension of H 0 (Y , NY |X 1 ⊗ F1 (q)) grows at least linearly when q ≫ 0. Hence the same happens to
H 0 (X 1 , Ext X1 1 (IY |X 1 , F1 (q))). Therefore, in view of (5.4), Ext1X (OX 2 , F1 (q)) has unbounded dimension for growing q . The result now follows by applying item ii) of Theorem A with B = OX 2
and A = F1 (q) for q ≫ 0.

We ﬁnish this section with a foray into non-reduced schemes.
Theorem 5.3. Let X ⊂ Pn be an m -dimensional closed subscheme containing a double structure
over an integral ACM subscheme X 0 of dimension m ≥ 1. Then X is CM-wild.
Proof. This follows the same path as the previous lemma. We have an exact sequence:
0 → IX 0 |X → OX → OX 0 → 0.
Since X contains a double structure over X 0 , the sheaf IX 0 |X has rank at least one as a sheaf
over X 0 . Applying Hom X (−, OX 0 ) to this sequence, we get an exact sequence:
≃

0 → OX 0 −
→ OX 0 → Hom X (IX 0 |X , OX 0 ) → Ext X1 (OX 0 , OX 0 ).
Since the ideal sheaf IX 0 |X has rank at least one, the sheaf E = Hom X (IX 0 |X , OX 0 ) is (torsionfree) of rank at least one over X 0 as well. Therefore, since m ≥ 1, for q ≫ 0, the dimension of
H 0 (X , E(q)) is unbounded, and thus also the dimension of H 0 (X , Ext X1 (OX 0 , OX 0 (q))).
We use now the exact sequence of lower degree terms of the local-to-global spectral sequence, together with the fact that OX 0 ≃ Hom X (OX 0 , OX 0 ). This gives an exact sequence:
Ext1X (OX 0 , OX 0 (q)) → H 0 (X , Ext X1 (OX 0 , OX 0 (q)) → H 2 (X , OX 0 (q))
Now by Serre’s vanishing H 2 (X , OX 0 (q)) = 0 for q ≫ 0, so the dimension of Ext1X (OX 0 , OX 0 (q))
is unbounded for q ≫ 0. The conclusion again follows from item i) of Theorem A, applied to
B = OX 0 and A = OX 0 (q) with q ≫ 0.

6. Varieties of minimal degree
Assume k is algebraically closed and char(k) , 2. Let X ⊂ Pn be a reduced closed ACM
subscheme of dimension m ≥ 1 and degree d . The subscheme X is thus linearly normal
and, without loss of generality, we may assume throughout that X spans Pn , so that X is
embedded by the complete linear series of a very ample line bundle OX (1). We argue on the
sectional genus p of X , i.e., the arithmetic genus of a reduced 1-dimensional linear section of
X . We also introduce the ∆-genus of X , deﬁned as ∆(X ) = d − n + m − 1. Since X is connected
in codimension one (cf. [Har62] for the deﬁnition and the result), a theorem of Xambó (cf.
[XD81]) generalizing the classical lower bound on d (see e.g. [Mum76, Corollary 5.13]), asserts
that ∆(X ) ≥ 0, or in other words d ≥ n −m + 1. If equality is attained, X is said to be of minimal
degree. This happens if and only if ∆(X ) = 0, and also if and only if p = 0.
If X is ACM but not reduced, of dimension m ≥ 1 and of degree n −m + 1, still it makes sense
to ask about the representation type of X . In this case, X has multiple irreducible component
X 0 which is integral of minimal degree (see [EGHP06, Corollary 0.8]) and therefore ACM, in
which case X is CM-wild by Theorem 5.3.
Otherwise, we suppose m ≥ 2, which is no harm since the representation type of curves
is well-known, cf. [DG01, DG93, BBDG06]. Here is the main result of this section.
Theorem 6.1. Let X be a non-degenerate ACM closed subscheme of minimal degree and dimension m ≥ 2. Then X is CM-wild, except if X a linear space, a quadric hypersurface of corank
at most 1, the Veronese surface in P5 , or a smooth rational normal surface scroll of degree 3 or 4.
By [EGHP06, Theorem 0.4 and 1.4] and [XD81, Theorem 1], if the scheme X is reducible,
then it has at least two reduced irreducible components, both of minimal degree, meeting
along a divisor, so that X is CM-wild by Theorem 5.2.

18

DANIELE FAENZI AND JOAN PONS-LLOPIS

Therefore it only remains to see what happens when X is integral. In this case X ﬁts in the
classiﬁcation of del Pezzo and Bertini, cf. [EH87]. If X is smooth, then X is either a quadric,
or a Veronese surface, or a rational normal scroll, and the representation type of all these
varieties is known. Indeed, X is of ﬁnite CM-type (cf. [AR87, EH88]) if it is a linear space
(cf. [Hor64]), or a smooth quadric (see [Knö87]), or the Veronese surface in P5 , or a smooth
cubic scroll in P4 (see [AR89], cf. also [Fae15]), or a rational normal curve. Also, X is of
tame CM-type if it is a rational normal surface scroll of degree 4, cf. [FM17]. Besides these
cases, X is strictly Ulrich wild, as we see by applying Theorem A to the Ulrich line bundles
constructed in [MR13, FM17].
It remains to understand what happens when X is an integral but singular scheme of
minimal degree. The goal of the rest of this section is to settle this point.
Theorem 6.2. An integral non-degenerate singular variety X of minimal degree and dimension
m ≥ 2 is of wild CM type unless X is a quadric of corank 1.

According to del Pezzo and Bertini, singular varieties of minimal degree are cones over
smooth varieties of minimal degree, so we start by studying in some detail the behavior of
sheaves deﬁned on cones.
6.1. Extension of sheaves over cones. Let X ⊂ Pn be a closed non-degenerate subscheme.
Assume X is a cone with vertex Λ ⊂ Pn . Choose a linear subspace Λ0 disjoint from Λ such
that Λ and Λ0 span Pn . So X 0 = X ∩ Λ0 is the base of the cone X . Set n 0 = dim(Λ0 ), so that
dim(Λ) = n−n 0 −1 and choose coordinates so that Λ0 is deﬁned by vanishing of the linear forms
xn0 +1 , . . . , xn . We denote λi = xn0 +1+i the coordinates of Λ so that k[Λ] ≃ k[λ 0 , . . . , λn−n0 −1 ].
Setting S 0 = k[x 0 , . . . , xn0 ], the ideals I X |S of X in S and I X 0 |S 0 of X 0 in S 0 are generated by the
same minimal set of polynomials. Put R = k[X ] and R 0 = k[X 0 ]. In terms of graded rings:
R ≃ R 0 ⊗k k[Λ].

Lemma 6.3. Given ﬁnitely generated R 0 -modules E 0 and F 0 , set E = E 0 ⊗R 0 R and F = F 0 ⊗R 0 R .
Then, for all i ≥ 0, we have an isomorphism of graded k[X ]-modules:
ExtiR (E, F ) ≃ ExtiR 0 (E 0 , F 0 ) ⊗ k[Λ].
Proof. We have
ExtiR (E, F ) ≃ ExtiR 0 (E 0 , F 0 ⊗R 0 R) ≃ ExtiR 0 (E 0 , F 0 ) ⊗R 0 k[X ]
where the ﬁrst isomorphism is [Rot09, Theorem 11.65], using that R is a ﬂat R 0 -module. In
order to ﬁnish, we need only to observe the standard isomorphism:
ExtiR 0 (E 0 , F 0 ) ⊗R 0 (R 0 ⊗k k[Λ]) ≃ (ExtiR 0 (E 0 , F 0 ) ⊗R 0 (R 0 ) ⊗k k[Λ]
≃ ExtiR 0 (E 0 , F 0 ) ⊗k k[Λ].


6.2. The cubic cone. We focus now on the only case where all construction methods of
representation embeddings seen so far fail, for two reasons. First, no extension group grows
enough to use Theorem A. Second, all the ACM sheaves that do have deformations have
many endomorphisms, which is another obstruction to use Theorem A. We develop a speciﬁc
technique to study this very intriguing case. For this subsection, the ﬁeld k is arbitrary.
Theorem 6.4. The cone X ⊂ P4 over a rational normal cubic curve in P3 is CM-wild.
Proof. We divide the proof into eight steps.
Step 1. Deﬁne the sheaf F 0 on the twisted cubic and compute its self-extensions.
Let us write X 0 for the base of the cone X . Using the convention of §6.1 let us put R = k[X ],
R 0 = k[X 0 ] so that R ≃ R0 ⊗ k[λ 0 ], and let us abbreviate λ = λ 0 . Deﬁne F 0 to be the line bundle
of degree 2 on X 0 , i.e. F 0 ≃ OP1 (2). This is a stable Ulrich sheaf on X 0 . We write F 0 for its

THE COHEN-MACAULAY REPRESENTATION TYPE OF PROJECTIVE ARITHMETICALLY COHEN-MACAULAY VARIETIES19

associated k[X 0 ]-module. Set W for the 2-dimensional vector space W = Ext1X 0 (F 0 (1), F 0 ) ≃
H 1 (P1 , OP1 (−3)). By Lemma 1.4 with E 0 = F 0 (s) for all s ∈ Z we get get a graded isomorphism:
Ext1R 0 (F 0 (s) ≥0, F 0 ) ≥0 ≃

Ê

Ext1X 0 (F 0 (s), F 0 (t)) ≃

t ≥0

Ê

S 3(s−t )−2W ,

0 ≤t ≤s−1

where by convention a symmetric power with negative exponent is zero.
Step 2. Deﬁne the sheaf F on X and compute its self-extensions.
We now pay attention to X . Let F be the ideal sheaf of a ray of the cone X , twisted by
OX (1); this is a stable Ulrich sheaf of rank 1 on X . The R -module of global sections F associated
with F satisﬁes F ≃ F 0 ⊗ k[λ]. By Lemma 6.3 we have, for all q ∈ Z:
Ext1R (F (1), F )q ≃ Ext1R 0 (F 0 (1), F 0 ) ⊗ k[λ]q .
Using Lemma 1.4 and setting λq = 0 by convention for q < 0, we conclude, for all q ∈ Z:
Ext1X (F (1), F (q)) ≃ Ext1R (F (1), F )q ≃ W · λq .
Step 3. Deﬁne the quiver Θ and a functor RepΘ → ACMX .
We introduce now the quiver Θ, which we depict as follows.
e1
•

Θ:

e0
•

e2
•

Let R be a representation of Θ with dimension vector (a 0, a 1 , a 2 ), so that R consists of two
pencils of linear maps A1 ⇔ A0 ⇒ A2 , where Ai is a vector space of dimension ai . As we did
in §2.1 we associate a linear map with each of these two pencils by indexing the arrows of Θ
with basis elements of W . This way, the datum or R is tantamount to:
(ξ 1 , ξ 2 ) ∈ Homk (A1, A0 ) ⊗ W · λ 2 × Homk (A2 , A0 ) ⊗ W · λ 3 .

In other words, we identify R with:
(ξ 1 , ξ 2 ) ∈ Ext1X ((A1 ⊗ F (1)) ⊕ (A2 ⊗ F (2)), A0 ⊗ F ).

By the procedure described in §2.1, this gives a sheaf E ﬁtting into the exact sequence:
0→

A 1 ⊗ F (1 )
→ E → A0 ⊗ F → 0.
⊕
A 2 ⊗ F (2 )

The sheaf E is thus clearly ACM and has a Jordan-Hölder ﬁltration whose associated
graded object is F a0 ⊕ F (1)a1 ⊕ F (2)a2 . The procedure of constructing E from ξ , or equivalently from R , is functorial, which can be seen readily following the proof of Theorem A.
Step 4. Deﬁne a functor Φ : FModk [x1,x2 ] → ACMX factoring through RepΘ → ACMX .
Put Σ = k[x 1 , x 2 ]. We deﬁne a functor from FModΣ towards the category of ACM sheaves
over X . Choose a basis (w 0 , w 1 ) of W . A ﬁnite-dimensional Σ-module is a ﬁnite dimensional
vector space M together with two commuting endomorphisms x1 and x2 . We deﬁne two
representations ξ 1 and ξ 2 by setting A0 = M ⊕ M , A1 = A2 = M and:
ξ 1 = (idM w 0 + x1w 1 , 0),

ξ 2 = (0, idM w 0 + x2w 1 ).

The sheaf E associated with M is deﬁned by the pair ξ = (ξ 1 , ξ 2 ) as in Step 3.
Step 5. Prove that, if E = Φ(M) and E ′ = Φ(M ′ ) are isomorphic, then M ≃ M ′ as k[x 1 ]-modules.
Given two ﬁnite-dimensional Σ-modules M and M ′ , we have two sheaves E and E ′ . Assume
that these sheaves are isomorphic. By the Harder-Narasimhan ﬁltrations of E ≃ E ′ we get
that F (2)a2 is a maximal destabilizing subsheaf of both E and E ′ , which implies that the
quotient sheaves E1 = E/F (2)a2 and E1′ = E ′ /F (2)a2 are isomorphic. These sheaves are given
by the extension classes ξ 1 and ξ 1′ , which are thus isomorphic by the argument we used in
the proof of Theorem A.
We identify M and M ′ as vector spaces and consider x1 and x1′ as endomorphisms of M .
Recall the expressions ξ 1 = (idM w 0 + x1w 1 , 0) and ξ 1′ = (idM w 0 + x1′ w 1 , 0). Because ξ 1 and ξ 1′

20

DANIELE FAENZI AND JOAN PONS-LLOPIS

are isomorphic, there are linear isomorphisms α 0 ∈ Endk (M ⊕ M), α 1 ∈ Endk (M) such that
α 1 ⊗ idW ◦ξ 1′ = ξ 1 ◦ α 0 . Decomposing α 0 as a block matrix of endomorphisms α 0i, j of M , we
rewrite this as
!
α 01, 1 α 01, 2
′
α 1 (idM w 0 + x1w 1 , 0) = (idM w 0 + x1w 1 , 0) 2, 1
α 02, 2
α0
In particular we get:
α 1w 0 + α 1 x1′ w 1 = α 01, 1w 0 + x1α 01, 1w 1 ,

so α 1 = α 01, 1 and α 1 conjugates x1′ to x1 . Then M and M ′ are isomorphic as k[x 1 ]-modules.
Step 6. Prove that, if the sheaves E = Φ(M) and E ′ = Φ(M ′ ) are isomorphic, then M ≃ M ′ .
Suppose again E ≃ E ′ and assume now ξ 1 = ξ 1′ , which can be achieved after linear automorphisms by the previous point.
By deﬁnition, E and E ′ are obtained from E1 = Eξ1 by using ξ 2 and ξ 2′ , which are both
linear maps A0 → A2 ⊗ W . Let us look more closely at how this is achieved. Start with the
extension ξ 1 and the sheaf E1 ﬁtting into:
(ξ 1 )

0 → A 1 ⊗ F (1 ) → E 1 → A 0 ⊗ F → 0 .

Apply to this the functor HomX (−, A2 ⊗ F (2)). We get:
(6.1)

HomX (A1 ⊗ F (1), A2 ⊗ F (2)) → Ext1X (A0 ⊗ F , A2 ⊗ F (2)) → Ext1X (E1 , A2 ⊗ F (2)).

This is rewritten in the form:
(6.2)

Homk (A1 , A2 ) · λ → Homk (A0 , A1 ) ⊗ W · λ 3 → Ext1X (E1 , A2 ⊗ F (2)).

Given a linear map γ : A1 → A2 , the leftmost map in the previous diagram sends γ · λ to γ ⊗
idW ◦ξ 1 ·λ 3 . The isomorphism class of the sheaf E determines an element of Ext1X (E1 , A2 ⊗ F (2))
coming from a pair (ξ 1 , ξ 2 ), so the previous diagram shows that E determines the isomorphism
class of ξ 2 up to adding any map of the form γ ⊗ idW ◦ξ 1 , for γ ∈ Homk (A1 , A2 ).
This says that an isomorphism E ′ → E exists if and only if there exist a linear isomorphism
α 2 ∈ End(A2 ) and a linear map γ : A1 → A2 such that ξ 2 is carried to ξ 2′ by α 2 + γ ⊗ idW , after
composition with ξ 1 , i.e.
α 2 ⊗ idW ◦ξ 2′ = ξ 2 + γ ⊗ idW ◦ξ 1 .
The sheaves E and E ′ determine isomorphic extensions and therefore equal elements in
Ext1X (E1 , A2 ⊗ F (2)). This implies that there exist a linear isomorphism α 2 ∈ Endk (M) and a
linear map γ : A1 → A2 such that
α 2 ⊗ idW ◦ξ 2′ = ξ 2 + γ ⊗ idW ◦ξ 1 .

According to the decomposition A0 = M ⊕ M , we rewrite this as:
(0, α 2w 0 + α 2 x2′ w 1 ) = (0, idM w 0 + x2w 1 ) + (γw 0 + γ x1w 1 , 0).

In particular we obtain α 2 = idM and x2′ = x2 . The modules M and M ′ are thus isomorphic.
Step 7. Prove that, if E = Φ(M) is decomposable, then M is decomposable as k[x 1 ]-module.
We write E = E ′ ⊕ E ′′ . The Harder-Narasimhan ﬁltration of E ′ must be compatible with
′
′
′
that of E and therefore its associated graded object must be F a0 ⊕ F (1)a1 ⊕ F (2)a2 , and similarly
′
′
′
for E ′′ . Then, the quotient E1′ = E ′ /F (2)a2 has a graded object of the form F (1)a1 ⊕ F (2)a2 and
therefore, as in the proof of Theorem A, we must have E1′ ≃ Eξ1′ for some ξ 1′ ∈ Homk (A′0 , A′1 ) ⊗
W , where A′0 and A′1 are vector spaces of dimension a 0 and a 1 appearing in vector space
decompositions A0 = A′0 ⊕ A′′0 and A1 = A′1 ⊕ A′′1 . Likewise we have E1′′ ≃ Eξ1′′ for some
′′
′
′′
ξ 1′′ ∈ Homk (A′′
0 , A1 ) ⊗ W and E1 = E1 ⊕ E1 , which implies that ξ 1 has a block-diagonal form in
terms of ξ 1′ and ξ 1′′ .
Now we have M = A1 decomposed as vector space as A′1 ⊕ A′′1 . We put M ′ = A′1 , M ′′ = A′′1
and we write M = M ′ ⊕ M ′′ , so we decompose A0 = M ⊕ M as A0 = M ′ ⊕ M ′′ ⊕ M ′ ⊕ M ′′ .
By deﬁnition we have ξ 1 = (idM w 0 + x1w 1 , 0) so the expression idM w 0 + x1w 1 gives a map

THE COHEN-MACAULAY REPRESENTATION TYPE OF PROJECTIVE ARITHMETICALLY COHEN-MACAULAY VARIETIES21

M ′ ⊕ M ′′ → (M ′ ⊕ M ′′ ) ⊗ W which, in view of the decomposition of ξ 1 in diagonal form in
terms of ξ 1′ and ξ 1′′ , takes the form:


id ′ w + x′ w
0
idM w 0 + x1w 1 = M 0 1 1
,
0
idM ′′ w 0 + x1′′w 1

for some linear maps x1′ : M ′ → M ′ and x1′′ : M ′′ → M ′′ .
Step 8. Prove that, if E = Φ(M) is decomposable, then M is decomposable.
We proved that M = M ′ ⊕ M ′′ as k[x 1 ]-module. Now we have to use ξ 2 to prove that the
splitting E = E ′ ⊕E ′ provides a second pair of endomorphisms x2′ : M ′ → M ′ and x2′′ : M ′′ → M ′′
compatible with the decomposition M = M ′ ⊕ M ′′ induced by E1 = E1′ ⊕ E1′′ . Again the HarderNarasimhan ﬁltration induces a decomposition A2 = A′2 ⊕ A′′2 . The exact sequence deﬁning E
as extension of F1 and A2 ⊗ F (2) together with the direct sum decompositions of E1 and A2
provides elements ζ ′ and ζ ′′ of the Ext groups:
ζ ′ ∈ Ext1X (E1′ , A′2 ⊗ F (2)),

ζ ′′ ∈ Ext1X (E1′′ , A′′
2 ⊗ F (2)),

and the extension providing E is the block-diagonal sum of ζ ′ and ζ ′′ . This means that,
denoting by ι : E1′ → E1 the obvious injection, the map
1
′′
′
′
ι ∗ : Ext1X (E1 , (A′2 ⊕ A′′
2 ) ⊗ F (2)) → ExtX (E1 , (A2 ⊕ A2 ) ⊗ F (2))
must map the class ζ of E to (ζ ′, 0), and similarly the map induced by the injection E1′′ → E1
must map ζ to (0, ζ ′′).
In view of the description of the Ext groups we have given in (6.1) and (6.2), and because ι
corresponds to the inclusion of M ′ into M , this implies that, up to adding γ ⊗ idW ◦ξ 1 for some
γ : M ′ → A′2 ⊕ A′′
2 , the map

ξ 2 ◦ ι : M ′ ⊕ M ′ → (A′2 ⊕ A′′
2) ⊗W

must have a vanishing component in A′′2 ⊗ W . Write γ as the transpose of (γ ′,γ ′′ ), where
γ ′ ∈ Homk (M ′, A′2 ) and γ ′′ ∈ Homk (M ′, A′′
2 ).
Denote by π ′ : M → A′2 and π ′′ : M → A′′2 the obvious projections and recall that, by
deﬁnition, ξ 2 = (0, idM w 0 + x2w 1 ) and ξ 1 = (idM w 0 + x1w 1 , 0). Evaluating at (w 0 , w 1 ) = (1, 0), we
get maps M ′ ⊕ M ′ → A′′2 satisfying the following equality:
(γ ′′ ◦ idM ′ , 0) = (0, π ′′ ◦ ι).

In particular M ′ = Im(ι) ⊂ ker(π ′′ ) = A′2 . Similarly we get M ′′ ⊂ ker(π ′ ) = A′′2 and since
′
′
′′
′′
M ′ ⊕ M ′′ = M = A′2 ⊕ A′′
2 , we obtain M = A2 and M = A2 .
′′
Evaluating at (w 0 , w 1 ) = (0, 1) we get π2 ◦ x2 ◦ ι = 0, which means that x2 maps M ′ = Im(ι)
to M ′ = ker(π ′′ ), i.e. M ′ is stable for x2 . One proves similarly the same statement for M ′′ .
Therefore x2 : M → M is the block-diagonal sum of x2′ : M ′ → M ′ and x2′′ : M ′′ → M ′′ so that
M is the direct sum of M ′ and M ′′ as Σ-modules.
Note that, if the decomposition of E is non-trivial (i.e. if E ′ , 0 , E ′′ ) then at least one of
the decompositions of A0 , A1 and A2 is non-trivial, and therefore all of them are by what we
have just seen, so the decomposition of M as Σ-module is non-trivial too.

6.3. Proof of Theorem 6.2. The variety X is a cone over a base X 0 which is a smooth irreducible variety of minimal degree. We adopt the convention of §6.1 and write R = k[X ] and
R 0 = k[X 0 ] so R ≃ R 0 ⊗ k[Λ]. We always put a 0 superscript to sheaves on X 0 and modules on
R 0 , remove the superscript to indicate the corresponding object on X , and put a calligraphic
letter for the coherent sheaf associated with a module denoted by that letter.
We have three cases to check according to whether X 0 is a quadric, or a Veronese surface
in P5 , or a scroll. These are treated in a conceptually uniﬁed way by Lemma 6.3, Lemma
1.4 and Theorem A: only the choice of the basic sheaves on X 0 obliges us to separate them.
Note that, once the ACM (or Ulrich) sheaves E 0 and F 0 are stable on X 0 , their lifts E and F
are ACM (or Ulrich) and stable on X . Indeed, the ACM and Ulrich conditions are obvious as
they can be read on the minimal graded free resolutions of E 0 and E or of F 0 and F , which
are unchanged on S or S 0 . Stability is also clear, as any destabilizing subsheaf, restricted to a
generic linear space of dimension n 0 , would destabilize E 0 or F 0 .

22

DANIELE FAENZI AND JOAN PONS-LLOPIS

6.3.1. Quadric cones. Here, X 0 is a quadric of corank greater than one, i.e. dim(Λ) ≥ 1. We
take S 0 to be a spinor bundle on X 0 , see [Ott88, BGS87, Knö87]. Then, E 0 = S 0 (1) is an Ulrich
bundle and it sits on a short exact sequence
0

S
0 → F 0 → OX2 rk
→ E 0 → 0,
0

where F 0 is again a spinor bundle (isomorphic to S 0 if and only if the dimension of X 0 is
odd). Both are stable sheaves on X 0 . We have, by Lemma 1.4:
Ê

Ext1X 0 (E 0 , F 0 (t)) ≃ Ext1R 0 (E 0 , F 0 ) ≃ k,

t ∈N

= Γ∗ (E) and
= Γ∗ (F 0 ). Therefore, deﬁning E and F as sheaﬁﬁcation of E =
0
⊗k k[Λ] and F = F ⊗k k[Λ], by Lemma 6.3, we obtain an isomorphism of R -modules:
Ê
Ext1X (E, F (t)) ≃ k[Λ].

where
E0

E0

F0

t ∈N

In particular the component of degree t , for t ≥ 2, of this extension space has dimension
at least 3 . Applying item i) of Theorem A to B = E and A = F (2) gives the result.
6.3.2. Cones over the Veronese surface. If X 0 is the Veronese image of P2 in P5 , we take E 0 to be
the tangent bundle TP2 . This is a stable Ulrich bundle with respect to OX 0 (1) ≃ OP2 (2). Write
W for the 3-dimensional space H 0 (P2 , OP2 (1)). Letting ΩP2 be the cotangent bundle on P2 and
tensoring the Euler sequence with ΩP2 (t) we get, for t = 0:
H 1 (P2, ΩP2 ⊗ TP2 (−2)) ≃ H 2 (P2, ΩP2 (−2)) ≃ W .

In general for t ∈ Z, we obtain:
1

0

0

ExtX 0 (E (1), E (t)) ≃

(
W

0

if t = 0,
otherwise.

Therefore we have isomorphisms of graded R -modules:
Ê

Ext1X (E(1), E(t)) ≃ Ext1X 0 (E 0 (1), E 0 ) ⊗k k[Λ] ≃ W ⊗k k[Λ].

t ∈N

Applying item i) of Theorem A to the pair of sheaves B = E(1) and A = E(2) gives the result.
6.3.3. Cones over scrolls. Finally, assume that X 0 is a scroll of degree d . By Theorem 6.4 we
may suppose d ≥ 4 or m ≥ 3. If m = 2 (and hence X 0 ≃ P1 ) we work like in Theorem 6.4
and take F to be the ideal sheaf of a ray of the cone X . We have F 0 ≃ OP1 (−1). The vector
space W = Ext1X 0 (F 0 (1), F 0 ) ≃ H 1 (P1, OP1 (−d)) has dimension d − 1 ≥ 3. Moreover, by Lemma
1.4, Case iii), we get that Ext1R 0 (F 0 (1), F )0 ≃ W . Then, we are in position to apply Theorem A
because, for all q ∈ N, the following space has dimension at least 3:
Ext1X (F (1), F (q)) ≃ Ext1R (F (1), F )q ≃ W · λq0 .
If m ≥ 3, either dim(Λ) ≥ 1 or dim(X 0 ) ≥ 2. In the former case, we may assume dim(X 0 ) = 1
so again X 0 ≃ P1 and we choose F 0 as before. The space W = Ext1X 0 (F 0 (1), F 0 ) has positive
dimension and we get, for q ≥ 0:
Ext1X (F (1), F (q)) ≃ Ext1R (F (1), F )q ≃ W · k[Λ]q ,
and this space has unbounded dimension for q ≫ 0 as dim(Λ) ≥ 1. In the latter case, we
may assume dim(Λ) = 0, and choose F 0 to be the ideal of a ﬁbre of the scroll, twisted by
OX 0 (1), and E 0 to be the line bundle associated with the divisor of d − 1 ﬁbres. These are both
(obviously stable) Ulrich line bundles. Also, W−1 := Ext1X 0 (E 0 (1), F 0 ) ≃ H1 (OP1 (−d)) ≃ k d −1 ,
while W0 := Ext1X 0 (E 0 , F 0 ) has dimension at least 1, cf. [MR13, Lemma 3.1]. Therefore, we get:
Ext1X (E, F ) ≃ Ext1X (E, F )0 ≃ Ext1X 0 (E 0 , F 0 )−1 · λ 0 ⊕ Ext1X 0 (E 0 , F 0 )0 ≃ W−1 · λ 0 ⊕ W0 .
So dimk Ext1X (E, F ) ≥ 3 and Theorem A allows us to conclude.

THE COHEN-MACAULAY REPRESENTATION TYPE OF PROJECTIVE ARITHMETICALLY COHEN-MACAULAY VARIETIES23

Remark 6.5. If the base ﬁeld k is algebraically closed and char(k) = 2, all the statements
of Theorem 6.2 and hence of Theorem 6.1 remain true, except perhaps the fact that quadric
cones of corank are CM-countable.
All the proofs remain the same except when X is a quadric hypersurface. If the quadric X
is smooth, then X is CM-ﬁnite by [BEH87]. If X is not smooth, then X is a cone over a smooth
quadric X 0 , the vertex of the cone being a linear subspace Λ ⊂ Pn (recall that k is algebraically
closed). If dim(Λ) ≥ 1, again [BEH87] provides the sheaves E 0 and F 0 as is §6.3.1, and these
sheaves are Ulrich, hence semistable, as we shall see in Lemma 7.3. Since any destabilizing
subsheaf should be Ulrich, CM-ﬁniteness of X 0 implies that E 0 and F 0 can be chosen to be
stable and hence simple. So X is CM-wild in this case as in §6.3.1.
We do not know if a quadric cone X of corank 1 is CM-countable when char(k) = 2. Indeed,
our construction provides countably many ACM sheaves on X also in this case, but Knörrer
periodicity does not apply directly to show that these are the only indecomposable ACM
sheaves on X up to isomorphism.
7. Varieties of almost minimal degree
From now the ﬁeld k is algebraically closed of arbitrary characteristic. Let us take a further
step in the proof of our main result. In view of Theorem 5.3, we will assume from now on
that the subscheme X ⊂ Pn is reduced, and keep the usual assumption that X is closed, nondegenerate and ACM of dimension m ≥ 1. In this section we pay attention to varieties of
almost minimal degree, namely the degree of X is d = n − m + 2. If X is irreducible and normal
then X is usually called a del Pezzo variety (terminology may diﬀer slightly in the literature).
Our goal in this section is to prove the following result.
Theorem 7.1. Any reduced, non-degenerate ACM scheme X ⊂ Pn of dimension m ≥ 2 and
almost minimal degree is of wild CM-type. For m = 2, X is strictly Ulrich wild.
Let us ﬁrst look brieﬂy at reducible (and reduced) ACM subschemes of almost minimal
degree and then focus on the irreducible ones, normal or not.
7.1. Reducible subschemes of almost minimal degree. Let us start by assuming that X
is reducible, namely X = X 1 ∪ X 2 where X 1 and X 2 are closed subschemes of Pn of degree d 1
and d 2 . We claim that not both of them have degree di ≥ ni − m + 2 at the same time, for ni
the dimension of the linear span hX i i of X i inside Pn . Otherwise,
n − m + 2 = d = d 1 + d 2 ≥ n 1 + n 2 − 2m + 4.

On the other hand n = n 1 + n 2 − l for l the dimension of the linear space hX 1 i ∩ hX 2 i . From here
we would obtain that l ≤ m − 2, in contradiction with the fact that the subscheme X being
ACM, it must be connected in codimension one (again, see [Har62] for the deﬁnition and the
result) and therefore X 1 and X 2 , both of dimension m should meet along a Weil divisor.
By induction on the number of components of X , we deduce that we can ﬁnd two irreducible components X 1 and X 2 of X , of dimension m , such that either both of them are of
minimal degree in its linear span or one of them, say X 1 , is of minimal degree on its linear
span and X 2 is of quasi-minimal degree.
In both cases X 1 , being of minimal degree, is ACM in its linear span, while X 2 is either ACM
or the image of a (ﬁnite) projection of a variety X̄ 2 of minimal degree (cf. [BS07, Theorem 1.2]).
Since X̄ 2 supports an ACM sheaf (cf. §6), so does X 2 , because taking direct images preserves
the ACM property. In all these circumstances, Theorem 5.2 applies to show that X 1 ∪ X 1 is
CM-wild, and by Lemma 5.1, X is CM-wild as well.
7.2. Reduction to surfaces. In view of the previous discussion, we may assume from now
on that X is irreducible. Equivalently, X has ∆-genus one. This condition amounts to ask that
the sectional pX of X is one, cf. [Fuj90, page 45]. Essentially, these varieties are completely
classiﬁed: cf. [Fuj82] for the case of normal varieties, and [Rei94, BS07] for the non-normal
case. For surfaces of degree 3 and 4 we refer to [LPS11,LPS12] for this theory, rooted in work
of Schläﬂi and Cayley, see for instance [Abh60, BW79].

24

DANIELE FAENZI AND JOAN PONS-LLOPIS

Since we are assuming that X is ACM, it turns out that X is arithmetically Gorenstein (AG),
i.e. R = k[X ] is a graded Gorenstein ring (cf. [BS07, Remark 4.5]). Therefore the canonical
sheaf satisﬁes ωX ≃ OX (m − 1): indeed, by [Mig98, Corollary 4.1.5], ωX must be of the form
OX (t) for some t ∈ Z; on the other hand restricting to a generic one-dimensional linear section
Y gives ωY ≃ OY (t + m − 1) by adjunction because pY = 1. Therefore χ (ωY ) = 0 so t = 1 − m .
Let us quickly rule out the case m = 1. We have that X is of tame CM-type if it smooth
(i.e., X is an elliptic curve), by classical work of Atiyah, cf. [Ati57]. If X is singular, we know
by [DG01] that X is CM-tame if X a cycle of rational curves with ordinary double points, and
that X is CM-wild otherwise.
The goal of this section is to deal with higher dimension. Namely we want to prove that,
if X is ACM of almost minimal degree, then X is CM-wild as soon as m ≥ 2.
The idea is to use our reduction to linear sections. Let Y ⊂ Pd be a linear section of X
with dim(Y ) = 2. By Bertini’s theorem, we may assume that Y is also an irreducible ACM
subscheme of almost minimal degree, with ωY ≃ OY (−1). Note that the codimension c of Y in
X is m − 2 so ωY (m − c − 1) ≃ OY . Therefore, Theorem C applies to prove that X is CM-wild, as
soon as we show that Y supports two simple Ulrich sheaves A and B such that:
HomY (A, B) = 0 = HomY (A, B),

and

dimk ExtY1 (B, A) ≥ 3.

Finding A and B as above will be our task. We want them to have as low rank as possible.
However, in general it will not be possible to obtain sheaves of rank one. Indeed, Ulrich
sheaves of rank one may not exist for certain del Pezzo surfaces, e.g. cubic surfaces with an
E 6 singularity (cf. [Dol12, Theorem 9.3.6]).
Therefore we move forward to construct rank two sheaves using the Hartshorne-Serre
correspondence. Of course this idea is not new, as for instance it is widely used in [CH11]
precisely to construct families of Ulrich bundles on smooth cubic surfaces, a special case of
surfaces of almost minimal degree. The construction can be performed in quite a general
setup; for instance, for cubic surfaces one even knows, if k is not algebraically closed, the
degree of the ﬁeld extension needed to construct EZ , cf. [Tan14]. However, in our setting we
have to be a bit more careful since the surfaces under consideration may be badly singular.
7.3. Surface cones. Let us quickly rule out the case of cones, namely assume that Y ⊂ Pd is a
cone over an integral curve Y 0 ⊂ Pd −1 with trivial canonical sheaf, the vertex of the cone being
a single point. In this case, using [AK80, Proposition 3.5], we may choose non-isomorphic
Ulrich line bundles F 0 and E 0 on the curve Y 0 , put M = E 0 ⊗ (F 0 )∨ and observe:
ExtY1 0 (E 0 , F 0 (−1))∗ ≃ H0 (Y 0 , M(1)) ≃ k d .
because M(1) is a line bundle of degree d , and clearly d ≥ 3. We also have ExtY1 0 (E 0 , F 0 )∗ ≃
H0 (Y 0 , M) = 0 because E 0 and F 0 are not isomorphic. By the same reason we have
HomY 0 (E 0 , F 0 ) = HomY 0 (F 0 , E 0 ) = 0.
We use the approach of §6.1. The coordinate ring R = k[X ] takes the form R 0 ⊗k k[λ], with
0
R = k[X 0 ] and the modules E 0 = Γ∗ (E 0 ) and F 0 = Γ∗ (F 0 ) give rise, by tensoring with k[λ], to
Ulrich R -modules F and E (as their S -resolutions are still linear) and thus to Ulrich sheaves E
and F over X . By Lemma 6.3 and Lemma 1.4, we have:
ExtY1 (E, F ) ≃ ExtY1 0 (E 0 , F 0 (−1)) · λ,
so this space has dimension at least 3. The same argument shows HomY (E, F ) =
HomY (F , E) = 0. Then A = E and B = F are the desired sheaves to apply Theorem C.
7.4. Hartshorne-Serre correspondence. We may now assume that the surface Y ⊂ Pd is
not a cone. Let us consider a set Z ⊂ Y ⊂ Pd of d + 2 distinct points points in general linear
position and disjoint from Sing(Y ). We have:
ExtY1 (IZ |Y (2), OY ) ≃ ExtY1 (OY , IZ |Y (1))∗ ≃ H1 (Y , IZ |Y (1))∗ ≃ k,
where we used that ωY ≃ OY (−1) and that Z spans the whole Pd . A non-zero element λ ∈
H1 (Y , IZ |Y (1))∗ provides a coherent sheaf FZ of rank 2 that ﬁts into the short exact sequence:
(7.1)

0 → OY → FZ → IZ |Y (2) → 0.

THE COHEN-MACAULAY REPRESENTATION TYPE OF PROJECTIVE ARITHMETICALLY COHEN-MACAULAY VARIETIES25

Given a set of points Z of d + 2 points of Y , write [Z ] for the corresponding element of the
Hilbert scheme Hilbd +2 (Y ) of subschemes of length d + 2 of Y . In the next lines, stability is
always with respect to OY (1).
Lemma 7.2. The sheaf FZ is Ulrich and locally free of rank 2.
Proof. Let us prove that FZ is locally free. We need only prove this around any point z of Z ,
as IZ |Y is already free of rank 1 away from Z . First of all, taking the dual of the short exact
sequence
0 → IZ |Y (2) → OY (2) → OZ (2) → 0,
we deduce, since Z is smooth and zero-dimensional, that
Ext 1OY (IZ |Y (2), OY ) ≃ Ext 2OY (OZ , OY ) ≃ ωZ .

Next, note that Hom OY (IZ |Y (2), OY )) ≃ OY (−2). In view of the vanishing H1 (Y , OY (−2)) = 0,
by the local-to-global spectral sequence we get an exact sequence:
0 → Ext1 (IZ |Y (2), OY ) → H0 (Y , Ext 1OY (IZ |Y (2), OY )) → H2 (Y , OY (−2)) → 0.
Using Serre duality and the above isomorphisms we rewrite this as
0 → Ext1 (IZ |Y (2), OY ) → H0 (Y , ωZ )∗ → H0 (Y , OY (1))∗ → 0.
We may choose coordinates so that Z is the union of d + 2 points of a projective coordinate
system, so that λ is the vector (1, . . . , 1, −1) in H0 (Y , ωZ )∗ , which shows that λ is non-zero on
any point of Z .
Therefore, λ corresponds to a global section:
OY → Ext 1OY (IZ |Y (2), OY ) ≃ ωZ ,

which is non-zero at any point z of Z . Since z is locally deﬁned by two equations, the sheaf
Ext 1OY (Iz |Y (2), OY ) is one-dimensional at z , generated by the extension given by the Koszul
complex of these equations; so the middle term of such extension is FZ . Hence FZ is locally
free around any point z of Z .
The fact that the sheaf FZ is Ulrich follows from [ESW03, Proposition 2.1]. Indeed, we
need to prove that Hi (Y , FZ (−1)) = Hi (Y , FZ (−2)) = 0 for all i . Since FZ is locally free of rank
2 and clearly ∧2 FZ ≃ OY (2), we have:
H2−i (Y , FZ (−2))∗ ≃ Hi (Y , FZ∨ ⊗ ωY ) ≃ Hi (Y , FZ (−1)),
so it will be enough to prove one set of vanishing conditions. This amounts to check that the
map H1 (Y , IZ |Y (1)) → H2 (Y , OY (−1)) is an isomorphism. But this map is Serre-dual of the map
H0 (Y , OY ) → ExtY1 (IZ |Y (2), OY ) that sends the identity to λ , and therefore it is an isomorphism.
Otherwise, one may deduce that FZ is Ulrich by the form of the minimal graded free
resolution of the ideal of Z , which can be extracted from [MRPL12].

Lemma 7.3. Let F be an Ulrich sheaf on an m -dimensional closed subscheme X ⊂ Pn . Then F
is semistable and any destabilizing subsheaf of F is Ulrich.
Proof. This follows again from [ESW03, Proposition 2.1]. Indeed, ﬁrst note that, since F is Ulrich, it is also locally Cohen-Macaulay and therefore pure. Next, choosing a ﬁnite projection
π : X → Pm , we have π∗ (F ) ≃ OPum for some integer u . Put χm = p(OPm ) and d = deg(X ).
Suppose that F ′ is a proper subsheaf of F with p(F ′) ≻ p(F ). Since π is ﬁnite, we have:
rk(F )
P(F ′, t)
≻ χm (t),
u rk(F ′)
and, because OPum is semistable, P(F ′, t)/rk(π∗ (F ′ ))  χm (t). But this contradicts the equality
u
rk(π∗ (F ′))
=
.
rk(F ′ )
rk(F )
This shows that F is semistable. Moreover, if p(F ′) = p(F ), then p(π∗ (F ′)) = χm (t) so π∗ (F ′ ) ≃
′
OPum for some integer u ′ because OPum is polystable, which implies that F ′ is Ulrich.

d=

Proposition 7.4. The set Z can be chosen so that FZ is stable.

26

DANIELE FAENZI AND JOAN PONS-LLOPIS

Proof. We know that FZ is Ulrich so either FZ is stable or there exist A and B Ulrich sheaves
of rank 1 such that FZ ﬁts into:
0 → A → FZ → B → 0.
Note that A is reﬂexive as B is torsion-free and FZ is locally free. Therefore, a global
section of A vanishes along a subscheme of Y which is Cohen-Macaulay of dimension one
(cf. [Har94, Prop. 2.8 and 2.9]).
By construction, the global section s ∈ H0 (Y , FZ ) associated with Z vanishes precisely on
Z . Therefore s cannot lie in H0 (Y , A) ⊂ H0 (Y , FZ ), as s would then vanish in codimension 1.
Hence we can construct the following commutative diagram:
OY
s

OY

0

/A


/ FZ


/B

/0

0

/A


/ IZ |Y (2)


/T

/0

where T is a torsion sheaf deﬁned by the diagram. This tells us that:
H0 (Y , IZ |Y ⊗ A ∨ (2)) , 0,
namely Z lies on a divisor D from the linear system |A ∨ (2)| . Our goal is to prove that Z can
be chosen so that it lies on no such divisor. Notice that, by [CHGS12, Lemma 2.4], A ∨ (2) is
also an Ulrich sheaf of rank one.
Assume ﬁrst that Y is normal. For each ﬁxed Ulrich sheaf L of rank one, we know that
dimk H0 (Y , L) = d , and each non-zero global section of L vanishes along a Weil divisor D ⊂ Y .
We view isomorphism classes of such sheaves as elements of the divisor class group of Y ,
which is identiﬁed with the group APic(Y ) of generalized divisors on Y , cf. [Har86, §2].
Each linear system |L| has dimension d − 1. For each D in |L| , taking all non-degenerate
smooth subschemes Z ⊂ Y lying in D we obtain a non-empty open subset of the Hilbert
scheme Hilbd +2 (D) which is (d + 2)-dimensional. The union of these such Z for all choices of
D in |L| forms a subscheme of Hilbd +2 (Y ) which is of dimension at most (d+2)+dim |L| = 2d+1.
But the main component of Hilbd +2 (Y ) (i.e., the component containing smooth subschemes)
has dimension 2d + 4, so we may choose Z not lying in any D ∈ |L| . Finally, since the
divisor class group of a normal del Pezzo surface is discrete, we may choose Z away from the
union, over all divisor classes arising from Ulrich sheaves L , of the subschemes of Hilbd +2 (Y )
associated with D lying in |L| . So FZ is stable if Z is general enough.
Let us now assume that Y is not normal. We know by [Rei94] that Y is normalized by
a surface Ȳ ⊂ Pd +1 of minimal degree d , the normalization map Ȳ → Y being induced by a
projection Pd +1 → Pd . The normalization is an isomorphism away from a conic in Ȳ which is
mapped onto the singular locus of Y , which in turn it is a line L. Moreover, the surface Ȳ is
smooth as otherwise, being of minimal degree, it would have to be a cone, but then Y would
be a cone too, which we excluded.
Given an Ulrich sheaf L of rank one, again we have dimk H0 (Y , L) = d , and we choose a
non-zero global section of L vanishes along a Weil divisor D ⊂ Y of degree d , which contains
a structure of multiplicity e ≤ d over L. Removing this structure from D we obtain an eﬀective
generalized divisor D 0 , whose class lies in APic(Y ), cf. [Har86, Proposition 2.12]. Since Z is
disjoint from L, it will be enough to prove that we may choose Z away from any divisor D 0
of degree d − e , and obviously it suﬃces to show that this holds for D 0 of degree d .
To do this we use the explicit description of APic(Ȳ ) given by [HP15, Theorem 4.1 and
Proposition 4.2]. Indeed, Ȳ is either a Veronese surface in P5 (and thus d = 4) or a rational
normal scroll of degree d ≥ 3, and D 0 is the image of an eﬀective divisor D 0′ of degree d in Ȳ .
Also, taking a hyperplane section C ≃ P1 of Ȳ , we get:
0 → OȲ (D ′ − H ) → OȲ (D ′) → OC (D ′ ) → 0,
so dimk H0 (Ȳ , OȲ (D ′ )) ≤ d + 2, as deg(D ′ − H ) ≤ 0 and OC (D ′) ≃ OP1 (deg(D ′ )), with deg(D ′ ) ≤ d .

THE COHEN-MACAULAY REPRESENTATION TYPE OF PROJECTIVE ARITHMETICALLY COHEN-MACAULAY VARIETIES27

Therefore, since there are ﬁnitely many eﬀective divisor classes of degree at most d in Ȳ ,
if we choose Z ′ ⊂ Ȳ to be a non-degenerate set of d + 2 distinct points lying away from all
divisors D ′ in those classes, the image Z of Z ′ in Y will be contained in no generalized divisor
D 0 of degree at most d . We conclude that FZ is stable.

Lemma 7.5. We may choose Z and Z ′ sets of d + 2 points of Y such that E = FZ , F = FZ ′ are
non-isomorphic stable Ulrich bundles of rank 2 on Y . In this case:
HomY (E, F ) = HomY (F , E) = 0,
dimk ExtY1 (E, F ) = 4.
Proof. We have proved so far that, for Z general enough in the main component of Hilbd +2 (Y ),
the sheaf FZ is a stable locally free Ulrich sheaf of rank 2. Given such Z , choosing a nonzero global section of FZ gives a map from an open dense subset of P(H0 (Y , FZ )) ≃ P2d −1 to
the main component of Hilbd +2 (Y ) associating with the section its vanishing locus. This map
cannot be surjective by dimension reasons, so we can take Z ′ general enough, lying away
from the image of this map and such that FZ ′ is also a stable locally free Ulrich sheaf of rank
2. Because Z ′ is not the vanishing locus of a global section of FZ , we have that FZ and FZ ′
are not isomorphic.
The ﬁrst two statements concerning morphisms are clear since E and F are stable with
the same slope and not isomorphic. For the last statement, since E is locally free, we have
ExtY1 (E, F ) ≃ H1 (Y , E ∨ ⊗ F ). Tensoring the short exact sequence 7.1 by E ∨ and considering
the associated long exact sequence of global sections, since H1 (Y , E ∨ ) = H2 (Y , E ∨ ) = 0, we get
an isomorphism
(7.2)

ExtY1 (E, F ) ≃ H1 (Y , E ∨ ⊗ IZ |Y (2)).

On the other hand, the exact sequence deﬁning Z ⊂ Y twisted by OY (2) reads:
(7.3)

0 → IZ |Y (2) → OY (2) → OZ (2) → 0.

Taking into account that E ∨ ≃ E(−2) we obtain H0 (Y , E ∨ ⊗ IZ |Y (2)) = 0. Then, tensoring (7.3)
by E ∨ taking global sections and combining with (7.2) we get:
0 → H0 (Y , E ∨ (2)) → H0 (Y , E ∨ ⊗ OZ (2)) → ExtY1 (E, F ) → 0.
Now we know that E ∨ (2) ≃ E has 2d independent global sections, as E is Ulrich. On the other
hand, since Z has length d + 2, so that E ∨ ⊗ OZ (2) is just a vector space of rank 2 concentrated at
d + 2 points, hence dimk H0 (Y , E ∨ ⊗ OZ (2)) = 2d + 4. We conclude that dimk ExtY1 (E, F ) = 4. 
Theorem C combined with the results of this section yields the proof of Theorem 7.1.
8. Varieties of higher degree
In this ﬁnal section we prove our main theorem for subschemes of degree higher than
almost minimal, i.e. in the range ∆(X ) > 1. Let again X ⊂ Pn be a reduced ACM subscheme
of dimension m ≥ 1 and degree d > n − m + 2, or in other words ∆(X ) > 1. Thus p ≥ 2
(see [Fuj90, (6.4.5)]).
We take a linear section Y of dimension 1, which we may assume to be reduced, so Y is
an ACM curve of arithmetic genus p ≥ 2. We note that the proof of [AK80, Proposition 3.5]
applies to Y as it only uses the fact that the projective curve Y is reduced and connected.
Then, we may ﬁnd a line bundle L1 on Y satisfying:
H0 (Y , L1 ) = H1 (Y , L1 ) = 0.
Therefore, L1 (1) is an Ulrich line bundle by [ESW03, Theorem 4.3] Clearly, HomY (L1 , L1 ) ≃
H0 (Y , OY ) ≃ k because L1 is invertible, so L1 is simple. Moreover the space ExtY1 (L1 , L1 ) ≃
H1 (Y , OY ) has dimension p ≥ 2 and ExtY2 (L1 , L1 ) = 0. So we may take a generic ﬂat deformations of L1 to get sheaves L2 , L3 , L4 , not isomorphic to one another nor to L1 , which will also
be invertible (hence simple) and satisfy H0 (Y , Li ) = H1 (Y , Li ) = 0 for all i by semicontinuity.
We claim that we may assume HomY (Li , L j ) = 0 for i , j . Indeed, ﬁrst note that the
degree of the line bundle L1 on each irreducible component of Y is constant along small
deformations so we may assume that all the sheaves Li have the same degree along each

28

DANIELE FAENZI AND JOAN PONS-LLOPIS

component. Put M = Li∨ ⊗ L j , take a non-zero morphism Li → L j and rewrite it as a nonzero global sections φ : OY → M . The restriction of M to any irreducible component of
Y is a line bundle of degree 0, so φ is an isomorphism as soon as its restriction to all such
components is non-zero. Set Y ′ for the union in Y of the irreducible components of Y where
φ is non-zero (and hence an isomorphism) and put Y ′′ = Y \ Y ′, M ′′ = M |Y ′′ . By assumption
Y ′ , ∅ , Y ′′. Then we have the commutative exact diagram:
0
0

/ IY ′ |Y


/ OY

/ OY ′′
φ ′′

φ

φ′

/ IY ′ |Y ⊗ M



/M

/0



/ M ′′

/0

Here, φ ′′ = φ| OY′′ is zero, while φ ′ is the restriction of φ to Y ′, tensored with the identity over
IY ′ |Y , and therefore is an isomorphism. Hence the snake lemma gives a splitting OY ′′ → OY of
the surjection OY → OY ′′ , so Y cannot be connected unless Y ′ or Y ′′ are empty, a contradiction.
As a consequence, we get that the space Ext1 (Li , L j ) ≃ H0 (Y , Li∨ ⊗ L j ) has dimension p − 1
for i , j . We may now choose A and B as two sheaves given by non-trivial extensions:
0 → L1 (1) → A → L2 (1) → 0,

0 → L 3 (1 ) → B → L 4 (1 ) → 0 .

It is clear that A and B are locally free Ulrich sheaves of rank 2. Also it is easy to check that
A and B are simple and satisfy:
HomY (A, B) = HomY (B, A) = 0.
χ (A, B) = χ (B, A) = 4(1 − p).

We obtain the following:
dimk ExtY1 (A, B) = dimk ExtY1 (B, A) = 4(p − 1) ≥ 4.
Note that the non-vanishing condition of Theorem B reduces to H0 (Y , ωY ) , 0, which is true
because p ≥ 2. Now Theorem C implies that X is of wild CM representation type.
Acknowledgements. The second named author would like to thank to the University of
Bourgogne for the hospitality during the stay when part of this work was done.
References
[Abh60]
[AK80]
[AR87]

[AR89]
[Ati57]
[BBDG06]

[BD04]
[BD10]
[Bea16]
[BEH87]

[BGS87]
[BH98]
[BS07]

Shreeram Abhyankar. Cubic surfaces with a double line. Mem. Coll. Sci. Univ. Kyoto. Ser. A. Math.,
32:455–511, 1960.
Allen B. Altman and Steven L. Kleiman. Compactifying the Picard scheme. Adv. in Math., 35(1):50–112,
1980.
Maurice Auslander and Idun Reiten. Almost split sequences for Z-graded rings. In Singularities, representation of algebras, and vector bundles (Lambrecht, 1985), volume 1273 of Lecture Notes in Math., pages
232–243. Springer, Berlin, 1987.
Maurice Auslander and Idun Reiten. The Cohen-Macaulay type of Cohen-Macaulay rings. Adv. Math.,
73(1):1–23, 1989.
Michael F. Atiyah. Vector bundles over an elliptic curve. Proc. London Math. Soc. (3), 7:414–452, 1957.
Lesya Bodnarchuk, Igor Burban, Yuriy Drozd, and Gert-Martin Greuel. Vector bundles and torsion
free sheaves on degenerations of elliptic curves. In Global aspects of complex geometry, pages 83–128.
Springer, Berlin, 2006.
Igor Burban and Yuriy A. Drozd. Coherent sheaves on rational curves with simple double points and
transversal intersections. Duke Math. J., 121(2):189–229, 2004.
Igor Burban and Yuriy A. Drozd. Maximal Cohen-Macaulay modules over non-isolated surface singularities and matrix problems. ArXiv e-print math.AG/1002.3042, 2010.
Arnaud Beauville. Ulrich bundles on abelian surfaces. Proc. Amer. Math. Soc., 144(11):4609–4611, 2016.
Ragnar-Olaf Buchweitz, David Eisenbud, and Jürgen Herzog. Cohen-Macaulay modules on quadrics.
In Singularities, representation of algebras, and vector bundles (Lambrecht, 1985), volume 1273 of Lecture
Notes in Math., pages 58–116. Springer, Berlin, 1987.
Ragnar-Olaf Buchweitz, Gert-Martin Greuel, and Frank-Olaf Schreyer. Cohen-Macaulay modules on
hypersurface singularities, II. Invent. Math., 88(1):165–182, 1987.
Winfried Bruns and H. Jürgen Herzog. Cohen-Macaulay Rings. Cambridge Studies in Advanced Mathematics. Cambridge University Press, 1998.
Markus Brodmann and Peter Schenzel. Arithmetic properties of projective varieties of almost minimal
degree. J. Algebraic Geom., 16(2):347–400, 2007.

THE COHEN-MACAULAY REPRESENTATION TYPE OF PROJECTIVE ARITHMETICALLY COHEN-MACAULAY VARIETIES29

[BW79]

James W. Bruce and Clarence T. C. Wall. On the classiﬁcation of cubic surfaces. J. London Math. Soc.
(2), 19(2):245–256, 1979.
[Cas17]
Gianfranco Casnati. Special Ulrich bundles on non-special surfaces with pд = q = 0. Internat. J. Math.,
28(8):1750061, 18, 2017.
[CH11]
Marta Casanellas and Robin Hartshorne. ACM bundles on cubic surfaces. J. Eur. Math. Soc. (JEMS),
13(3):709–731, 2011.
[CHGS12] Marta Casanellas, Robin Hartshorne, Florian Geiss, and Frank-Olaf Schreyer. Stable Ulrich bundles.
Internat. J. Math., 23(8):1250083, 50, 2012.
[CKM13]
Emre Coskun, Rajesh S. Kulkarni, and Yusuf Mustopa. The geometry of Ulrich bundles on del Pezzo
surfaces. J. Algebra, 375:280–301, 2013.
[CMRPL12] Laura Costa, Rosa M. Miró-Roig, and Joan Pons-Llopis. The representation type of Segre varieties. Adv.
Math., 230(4-6):1995–2013, 2012.
[DG93]
Yuriy A. Drozd and Gert-Martin Greuel. Cohen-Macaulay module type. Compositio Math., 89(3):315–
338, 1993.
[DG01]
Yuriy A. Drozd and Gert-Martin Greuel. Tame and wild projective curves and classiﬁcation of vector
bundles. J. Algebra, 246(1):1–54, 2001.
[Dol12]
Igor V. Dolgachev. Classical algebraic geometry. Cambridge University Press, Cambridge, 2012. A modern view.
[DT14]
Yuriy A. Drozd and Oleksii Tovpyha. Graded Cohen-Macaulay rings of wild Cohen-Macaulay type. J.
Pure Appl. Algebra, 218(9):1628–1634, 2014.
[EGHP06] David Eisenbud, Mark L. Green, Klaus Hulek, and Sorin Popescu. Small schemes and varieties of minimal degree. Amer. J. Math., 128(6):1363–1389, 2006.
[EH87]
David Eisenbud and Joe Harris. On varieties of minimal degree (a centennial account). In Algebraic
geometry, Bowdoin, 1985 (Brunswick, Maine, 1985), volume 46 of Proc. Sympos. Pure Math., pages 3–13.
Amer. Math. Soc., Providence, RI, 1987.
[EH88]
David Eisenbud and Jürgen Herzog. The classiﬁcation of homogeneous Cohen-Macaulay rings of ﬁnite
representation type. Math. Ann., 280(2):347–352, 1988.
[Eis80]
David Eisenbud. Homological algebra on a complete intersection, with an application to group representations. Trans. Amer. Math. Soc., 260(1):35–64, 1980.
[ES09]
David Eisenbud and Frank-Olaf Schreyer. Betti numbers of graded modules and cohomology of vector
bundles. J. Amer. Math. Soc., 22(3):859–888, 2009.
[ESW03]
David Eisenbud, Frank-Olaf Schreyer, and Jerzy Weyman. Resultants and Chow forms via exterior
syzygies. J. Amer. Math. Soc., 16(3):537–579, 2003.
[Fae08]
Daniele Faenzi. Rank 2 arithmetically Cohen-Macaulay bundles on a nonsingular cubic surface. J. Algebra, 319(1):143–186, 2008.
[Fae15]
Daniele Faenzi. Yet again on two examples by Iyama and Yoshino. Bull. Lond. Math. Soc., 47(5):809–817,
2015.
[FM17]
Daniele Faenzi and Francesco Malaspina. Surfaces of minimal degree of tame representation type and
mutations of Cohen–Macaulay modules. Adv. Math., 310:663–695, 2017.
[Fuj82]
Takao Fujita. Classiﬁcation of projective varieties of ∆-genus one. Proc. Japan Acad. Ser. A Math. Sci.,
58(3):113–116, 1982.
[Fuj90]
Takao Fujita. Classiﬁcation theories of polarized varieties, volume 155 of London Mathematical Society
Lecture Note Series. Cambridge University Press, Cambridge, 1990.
[Har62]
Robin Hartshorne. Complete intersections and connectedness. Amer. J. Math., 84:497–508, 1962.
[Har86]
Robin Hartshorne. Generalized divisors on Gorenstein curves and a theorem of Noether. J. Math. Kyoto
Univ., 26(3):375–386, 1986.
[Har94]
Robin Hartshorne. Generalized divisors on Gorenstein schemes. In Proceedings of Conference on Algebraic Geometry and Ring Theory in honor of Michael Artin, Part III (Antwerp, 1992), volume 8, pages
287–339, 1994.
[Her78]
Jürgen Herzog. Ringe mit nur endlich vielen Isomorphieklassen von maximalen, unzerlegbaren CohenMacaulay-Moduln. Math. Ann., 233(1):21–34, 1978.
[Hor64]
Geoﬀrey Horrocks. Vector bundles on the punctured spectrum of a local ring. Proc. London Math. Soc.
(3), 14:689–713, 1964.
[HP15]
Robin Hartshorne and Claudia Polini. Divisor class groups of singular surfaces. Trans. Amer. Math. Soc.,
367(9):6357–6385, 2015.
[Kah89]
Constantin P. Kahn. Reﬂexive modules on minimally elliptic singularities. Math. Ann., 285(1):141–160,
1989.
[KL71]
Steven L. Kleiman and John Landolﬁ. Geometry and deformation of special Schubert varieties. Compositio Math., 23:407–434, 1971.
[Knö87]
Horst Knörrer. Cohen-Macaulay modules on hypersurface singularities. I. Invent. Math., 88(1):153–164,
1987.
[LPS11]
Wanseok Lee, Euisung Park, and Peter Schenzel. On the classiﬁcation of non-normal cubic hypersurfaces. J. Pure Appl. Algebra, 215(8):2034–2042, 2011.
[LPS12]
Wanseok Lee, Euisung Park, and Peter Schenzel. On the classiﬁcation of non-normal complete intersections of two quadrics. J. Pure Appl. Algebra, 216(5):1222–1234, 2012.

30

DANIELE FAENZI AND JOAN PONS-LLOPIS

[LW12]
[Mig98]
[MR13]
[MR15]
[MRPL12]
[MRPL14]
[Mum76]
[Orl04]
[Ott88]
[Rei94]
[Rot09]
[Seg84]
[Seg86]
[Smi00]
[SS07]

[Sto14]

[Tan14]
[XD81]

Graham J. Leuschke and Roger Wiegand. Cohen-Macaulay representations, volume 181 of Mathematical
Surveys and Monographs. American Mathematical Society, Providence, RI, 2012.
Juan Migliore. Introduction to Liaison Theory and Deﬁciency Modules, volume 165 of Progress in Mathematics. Birkhäuser, 1998.
Rosa M. Miró-Roig. The representation type of rational normal scrolls. Rend. Circ. Mat. Palermo (2),
62(1):153–164, 2013.
Rosa M. Miró-Roig. On the representation type of a projective variety. Proc. Amer. Math. Soc., 143(1):61–
68, 2015.
Rosa M. Miró-Roig and Joan Pons-Llopis. The minimal resolution conjecture for points on del Pezzo
surfaces. Algebra Number Theory, 6(1):27–46, 2012.
Rosa M. Miró-Roig and Joan Pons-Llopis. n -dimensional Fano varieties of wild representation type. J.
Pure Appl. Algebra, 218(10):1867–1884, 2014.
David Mumford. Algebraic geometry. I. Springer-Verlag, Berlin-New York, 1976. Complex projective
varieties, Grundlehren der Mathematischen Wissenschaften, No. 221.
Dmitri O. Orlov. Triangulated categories of singularities and D-branes in Landau-Ginzburg models. Tr.
Mat. Inst. Steklova, 246(Algebr. Geom. Metody, Svyazi i Prilozh.):240–262, 2004.
Giorgio Ottaviani. Spinor bundles on quadrics. Trans. Amer. Math. Soc., 307(1):301–316, 1988.
Miles Reid. Nonnormal del Pezzo surfaces. Publ. Res. Inst. Math. Sci., 30(5):695–727, 1994.
Joseph J. Rotman. An introduction to homological algebra. Universitext. Springer, New York, second
edition, 2009.
Corrado Segre. Sulle rigate razionali in uno spazio lineare qualunque. Atti R. Accad. Sc. Torino, 19:265–
282, 1884.
Corrado Segre. Ricerche sulle rigate ellittiche di qualunque ordine. Atti R. Accad. Sc. Torino, 21:628–651,
1886.
Gregory G. Smith. Computing global extension modules. J. Symbolic Comput., 29(4-5):729–746, 2000.
Symbolic computation in algebra, analysis, and geometry (Berkeley, CA, 1998).
Daniel Simson and Andrzej Skowroński. Elements of the representation theory of associative algebras. Vol.
3, volume 72 of London Mathematical Society Student Texts. Cambridge University Press, Cambridge,
2007. Representation-inﬁnite tilted algebras.
Branden Stone. Non-Gorenstein isolated singularities of graded countable Cohen-Macaulay type. In
Connections between algebra, combinatorics, and geometry, volume 76 of Springer Proc. Math. Stat., pages
299–317. Springer, New York, 2014.
Fabio Tanturri. Pfaﬃan representations of cubic surfaces. Geom. Dedicata, 168:69–86, 2014.
Sebastià Xambó-Descamps. On projective varieties of minimal degree. Collect. Math., 32(2):149–163,
1981.

E-mail address: daniele.faenzi@u-bourgogne.fr
Institut de Mathématiqes de Bourgogne, UMR CNRS 5584, Université de Bourgogne et FrancheComté, 9 Avenue Alain Savary, BP 47870, 21078 Dijon Cedex, France
E-mail address: ponsllopis@gmail.com
Department of Mathematics, Faculty of Science, Kyoto University, Kitashirakawa Oiwakecho, Sakyoku, Kyoto 606-8502, Japan

