FROBENIUS CATEGORIES, GORENSTEIN ALGEBRAS AND
RATIONAL SURFACE SINGULARITIES
OSAMU IYAMA, MARTIN KALCK, MICHAEL WEMYSS, AND DONG YANG

arXiv:1209.4215v3 [math.RT] 13 Jun 2014

Dedicated to Ragnar-Olaf Buchweitz on the occasion of his 60th birthday.
Abstract. We give sufficient conditions for a Frobenius category to be equivalent to
the category of Gorenstein projective modules over an Iwanaga–Gorenstein ring. We
then apply this result to the Frobenius category of special Cohen–Macaulay modules
over a rational surface singularity, where we show that the associated stable category is triangle equivalent to the singularity category of a certain discrepant partial
resolution of the given rational singularity. In particular, this produces uncountably
many Iwanaga–Gorenstein rings of finite GP type. We also apply our method to
representation theory, obtaining Auslander–Solberg and Kong type results.

Contents
1. Introduction
2. A Morita type theorem for Frobenius categories
2.1. Frobenius categories as categories of Gorenstein projective modules
2.2. Alternative Approach
2.3. A result of Auslander–Solberg
3. Frobenius structures on special Cohen–Macaulay modules
4. Relationship to partial resolutions of rational surface singularities
4.1. Gorenstein schemes and Iwanaga–Gorenstein rings
4.2. Tilting bundles on partial resolutions
4.3. Iwanaga–Gorenstein rings from surfaces
4.4. Construction of Iwanaga–Gorenstein rings
5. Relationship to relative singularity categories
6. Examples
6.1. Iwanaga–Gorenstein rings of finite GP type
6.2. Frobenius structures on module categories
6.3. Frobenius categories arising from preprojective algebras
References

1
3
4
6
8
8
10
10
11
14
16
18
20
20
23
24
25

1. Introduction
This paper is motivated by the study of certain triangulated categories associated to
rational surface singularities, first constructed in [IW2]. The purpose is to develop both the
algebraic and geometric techniques necessary to give precise information regarding these
categories, and to put them into a more conceptual framework. It is only by developing
both sides of the picture that we are able to prove the results that we want.
We explain the algebraic side first. Frobenius categories [H88, K90, K96] are now
ubiquitous in algebra, since they give rise to many of the triangulated categories arising
in algebraic and geometric contexts. One of the points of this paper is that we should
treat Frobenius categories which admit a ‘noncommutative resolution’ as a special class
of Frobenius categories. We show that such a Frobenius category is equivalent to the
category GP(E) of Gorenstein projective modules over some Iwanaga–Gorenstein ring E
2010 Mathematical Subject Classification: 14J17, 13C14, 18E30, 16E65.
Keywords: Frobenius categories, Iwanaga–Gorenstein algebras, Gorenstein-projective modules, CohenMacaulay modules, noncommutative resolutions, singularity categories, rational surface singularities.
1

2

OSAMU IYAMA, MARTIN KALCK, MICHAEL WEMYSS, AND DONG YANG

(for definitions see §2 and §2.1). The precise statement is as follows. For a Frobenius
category E we denote by proj E the full subcategory of E consisting of projective objects
and for an object P of E we denote by add P the full subcategory of E consisting of direct
summands of finite direct sums of copies of P .
Theorem 1.1. (=2.7) Let E be a Frobenius category with proj E = add P for some P ∈
proj E. Assume that there exists M ∈ E such that A := EndE (P ⊕ M ) is a noetherian ring
of global dimension n. Then
(1) E := EndE (P ) is an Iwanaga–Gorenstein ring of dimension at most n, that is, a
noetherian ring with inj.dimE E ≤ n and inj.dim EE ≤ n.
(2) We have an equivalence HomE (P, −) : E → GP(E) up to direct summands. It is an
equivalence if E is idempotent complete. This induces a triangle equivalence
≃

→ GP(E) ≃ Dsg (E)
E−
up to direct summands. It is an equivalence if E or E is idempotent complete.
(3) E = thickE (M ), i.e. the smallest full triangulated subcategory of E containing M which
is closed under direct summands is E.
This abstract result has applications in, and is motivated by, problems in algebraic
geometry. If R is a Gorenstein singularity, then the category CM(R) of maximal Cohen–
Macaulay modules over R is a Frobenius category. Moreover if R is a simple surface
singularity, then the classical algebraic McKay correspondence can be formulated in terms
of the associated stable category CM(R), see [A86].
When R is not Gorenstein, CM(R) is no longer Frobenius. However, for a complete
local rational surface singularity R over an algebraically closed field of characteristic zero
(for details, see §3 or §4.4), there is a subcategory SCM(R) ⊆ CM(R) of special CM
modules (recalled in §3). By Wunram’s GL(2) McKay correspondence [W88], if we denote
Y → Spec R to be the minimal resolution, and let {Ei }i∈I denote the set of exceptional
curves, then there is a natural bijection


non-free indecomposable
∼
= ←→ {Ei | i ∈ I} .
special CM R-modules

We let Mi denote the indecomposable special CM R-module corresponding to the exceptional curve Ei . We remark that the set of exceptional curves can be partitioned into two
subsets, namely I = C ∪ D where C are all the (C)repant curves (i.e. the (−2)-curves), and
D are all the (D)iscrepant curves (i.e. the non-(−2)-curves). In this paper, the following
module plays a central role.

L
Definition 1.2. We define the module D ∈ SCM(R) by D := R ⊕
d∈D Md .
It was shown in [IW2] that the category SCM(R) has at least one natural Frobenius
structure. Our first result in this setting is that there are often many different Frobenius
structures on SCM(R), and so the one found in [IW2] is not unique.

Proposition 1.3. (=3.7) Let R be a complete local rational surface singularity over an
algebraically closed field of characteristic zero and let D ∈ SCM(R) be defined as above.
Choose N ∈ SCM(R) such that add D ⊆ add N . Then SCM(R) has the structure of a
Frobenius category whose projective objects are exactly add N . We denote the category
SCM(R), equipped with this Frobenius structure, by SCMN (R).
It then follows from 1.1 and 1.3 that EndR (N ) isLIwanaga–Gorenstein (3.8), using the
fact that the reconstruction algebra, i.e. EndR (R ⊕ i∈I Mi ), has finite global dimension
[IW1, W11b].
We then interpret the stable category SCMN (R) of the Frobenius category SCMN (R)
geometrically. To do this, we remark that the condition add D ⊆ add N implies (after
passing to the basic module) that we can write
M
N =D⊕
Mj
j∈J

for some subset J ⊆ C. Set S := C\J, the complement of J in C, so that
M
Mj := N S .
N =D⊕
j∈C\S

FROBENIUS CATEGORIES VIA GORENSTEIN ALGEBRAS

3

Contracting all the curves in S, we obtain a scheme X S together with maps
fS

gS

Y −−→ X S −−→ Spec R.
Knowledge of the derived category of X S leads to our main result, which also explains
geometrically why EndR (N S ) is Iwanaga–Gorenstein (4.15).
Theorem 1.4. (=4.6, 4.10) With the assumptions as in 1.3, choose S ⊆ C (i.e. N S ∈
SCM(R) such that add D ⊆ add N S ). Then
(1) There is a derived equivalence between EndR (N S ) and X S .
(2) As a consequence, we obtain triangle equivalences
M
bX S ,x )
SCMN S (R) ≃ GP(EndR (N S )) ≃ Dsg (EndR (N S )) ≃ Dsg (X S ) ≃
CM(O
x∈Sing X S

where Sing X S denotes the set of singular points of X S .
(3) In particular, SCMN S (R) is 1-Calabi–Yau, and its shift functor satisfies [2] = id.

Thus 1.4 shows that SCMN S (R) is nothing other than the usual singularity category
of some partial resolution of Spec R. We remark that it is the geometry that determines
the last few statements in 1.4, as we are unable to prove them using algebra alone. In §5
we give a relative singularity category version of the last two equivalences in 1.4.
The following corollary to 1.4 extends [IW2, 4.11] and gives a ‘relative’ version of
Auslander’s algebraic McKay correspondence for all rational surface singularities.
Corollary 1.5. (=4.14) With the assumptions as in 1.3, choose N S ∈ SCM(R) such that
add D ⊆ add N S . Then the AR quiver of the category SCMN S (R) is the double of the
dual graph with respect to the morphism Y → X S .
Using the geometry, we are also able to improve 1.1(1) in the situation of rational
surface singularities, since we are able to give the precise value of the injective dimension.
The following is a generalization of a known result 3.2 for the case add N = SCM(R).
Theorem 1.6. (=4.18) With the assumptions as in 1.3, choose N ∈ SCM(R) such that
add D ⊆ add N and put Γ = EndR (N ). Then

2 if R is Gorenstein
inj.dimΓ Γ =
3 else.

This gives many new examples of Iwanaga–Gorenstein rings Γ, of injective dimension
three, for which there are only finitely many Gorenstein–projective modules up to isomorphism. In contrast to the commutative situation, we also show the following result. Some
explicit examples are given in §6.1.
Theorem 1.7. (=4.19) Let G ≤ SL(2, C) be a finite subgroup, with G ≇ E8 . Then there
are uncountably many non-isomorphic Iwanaga–Gorenstein rings Λ with inj.dimΛ Λ = 3,
such that GP(Λ) ≃ CM(C[[x, y]]G ).
Conventions and notations. We use the convention that the composition of morphisms
f : X → Y and g : Y → Z in a category is denoted by f g. By a module over a
ring A we mean a left module, and we denote by Mod A (resp. mod A) the category of
A-modules (resp. finitely generated A-modules). We denote by proj A the category of
finitely generated projective A-modules. If M is an object of an additive category C, we
denote by add M all those objects of C which are direct summands of (finite) direct sums
of M . We say that M is an additive generator of C if C = add M . If T is a triangulated
category and M ∈ T , we denote by thick(M ) the smallest full triangulated subcategory
containing M which is closed under taking direct summands.
2. A Morita type theorem for Frobenius categories
Throughout this section let E denote a Frobenius category, and denote by proj E ⊆ E
the full subcategory of projective objects. We denote the stable category of E by E.
It has the same objects as E, but the morphism spaces are defined as HomE (X, Y ) =
HomE (X, Y )/P(X, Y ), where P(X, Y ) is the subspace of morphisms factoring through
proj E. We refer to Keller’s overview article for definitions and unexplained terminologies
[K90, K96].

4

OSAMU IYAMA, MARTIN KALCK, MICHAEL WEMYSS, AND DONG YANG

2.1. Frobenius categories as categories of Gorenstein projective modules. Recall that a noetherian ring E is called Iwanaga–Gorenstein of dimension at most n if
inj.dimE E ≤ n and inj.dim EE ≤ n [EJ00]. For an Iwanaga–Gorenstein ring E of dimension at most n, we denote by
GP(E) := {X ∈ mod E | ExtiE (X, E) = 0 for any i > 0} = Ωn (mod E),
the category of Gorenstein projective E-modules [AB69, EJ00]. Here Ω is the syzygy
functor of mod E. This is a Frobenius category with proj E the subcategory of projective
objects.
Remark 2.1. The objects of GP(E) are sometimes called Cohen–Macaulay modules, but
there are reasons why we do not do this; see 3.3 later. They are sometimes also called
totally reflexive modules.
Definition 2.2. [B86, O04] Let R be a left noetherian ring. The triangulated category
Dsg (R) := Db (mod R)/ Kb (proj R) is called the singularity category of R.
Remark 2.3. Let E be an Iwanaga–Gorenstein ring. By a result of Buchweitz [B86, 4.4.1
(2)], we have an equivalence of triangulated categories
GP(E) ≃ Dsg (E).
The purpose of this section is to show that the existence of a noncommutative resolution of a Frobenius category E puts strong restrictions on E (2.7).
Definition 2.4. Let E be a Frobenius category with proj E = add P for some P ∈ proj E.
By a noncommutative resolution of E, we mean A := EndE (M ) for some M ∈ E with
P ∈ add M , such that A is noetherian with gl.dim A < ∞.
In the level of generality of abstract Frobenius categories, the above definition is new.
We remark that when E = CM R (with R a Gorenstein ring), our definition of noncommutative resolution is much weaker than Van den Bergh’s notion of a noncommutative
crepant resolution (=NCCR) [V04b], and especially in higher dimension, examples occur
much more often.
Remark 2.5. Not every Frobenius category with a projective generator admits a noncommutative resolution. Indeed, let R be a normal Gorenstein surface singularity, over
C, and consider E := CM(R). Then any noncommutative resolution in the above sense is
automatically an NCCR, and the existence of an NCCR is well-known to imply that R
must have rational singularities [SVdB].
Our strategy to prove 2.7 is based on [AIR, 2.2(a)], but the setup here is somewhat
different. We need the following technical observation.
Lemma 2.6. Let E be a Frobenius category with proj E = add P for some P ∈ proj E. If
f : X → Y is a morphism in E such that HomE (f, P ) is surjective, then there exists an
exact sequence
(f 0)

0 → X −−−→ Y ⊕ P ′ → Z → 0
in E with P ′ ∈ proj E.
Proof. This follows for example from [K13, 2.10].



Theorem 2.7. Let E be a Frobenius category with proj E = add P for some P ∈ proj E.
Assume that there exists a noncommutative resolution EndE (M ) of E with gl.dim EndE (M ) =
n. Then
(1) E := EndE (P ) is an Iwanaga–Gorenstein ring of dimension at most n.
(2) We have an equivalence HomE (P, −) : E → GP(E) up to direct summands. It is an
equivalence if E is idempotent complete. This induces a triangle equivalence
≃

→ GP(E) ≃ Dsg (E)
E−
up to direct summands. It is an equivalence if E or E is idempotent complete.
(3) E = thickE (M ).

FROBENIUS CATEGORIES VIA GORENSTEIN ALGEBRAS

5

Proof. Since P ∈ add M , EndE (M ) is Morita equivalent to A := EndE (P ⊕ M ) and so
gl.dim A = n. Since A is noetherian, so is E (see for example [MR87, 1.1.7]). It follows
from a standard argument that the functor HomE (P, −) : E → mod E is fully faithful,
restricting to an equivalence HomE (P, −) : add P → proj E up to direct summands.
We can drop the ‘up to direct summands’ assumption if E is idempotent complete. We
establish (1) in three steps:
(i) We first show that ExtiE (HomE (P, X), E) = 0 for any X ∈ E and i > 0. Let
0 → Y → P′ → X → 0

(2.A)

be an exact sequence in E with P ′ projective. Applying HomE (P, −), we have an exact
sequence
0 → HomE (P, Y ) → HomE (P, P ′ ) → HomE (P, X) → 0
(2.B)
with a projective E-module HomE (P, P ′ ). Applying HomE (−, P ) to (2.A) and HomE (−, E)
to (2.B) respectively and comparing them, we have a commutative diagram of exact sequences
HomE (P ′ , P )

/ HomE (Y, P )

≀

/0

≀


HomE (HomE (P, P ′ ), E)


/ HomE (HomE (P, Y ), E)

/ Ext1 (HomE (P, X), E)
E

/0

Thus we have Ext1E (HomE (P, X), E) = 0. Since the syzygy of HomE (P, X) has the same
form HomE (P, Y ), we have ExtiE (HomE (P, X), E) = 0 for any i > 0.
(ii) We show that for any X ∈ mod E, there exists an exact sequence
0 → Qn → · · · → Q0 → X → 0

(2.C)

of E-modules with Qi ∈ add HomE (P, P ⊕ M ).
e := HomE (P ⊕ M, P ) ⊗E X. Let e be the idempotent of
Define an A-module by X
A = EndE (P ⊕ M ) corresponding to the direct summand P of P ⊕ M . Then we have
e = X. Since the global dimension of A is at most n, there exists a
eAe = E and eX
projective resolution
e → 0.
0 → Pn → · · · → P0 → X

Applying e(−) and using eA = HomE (P, P ⊕ M ), we have the assertion.
(iii) By (i) and (ii), we have that Extn+1
E (X, E) = 0 for any X ∈ mod E, and so the
injective dimension of the E-module E is at most n. The dual argument shows that the
injective dimension of the E op -module E is at most n. Thus E is Iwanaga–Gorenstein,
which shows (1).
(2) By (i) again, we have a functor HomE (P, −) : E → GP(E), and it is fully faithful. We
will now show that it is dense up to direct summands.
For any X ∈ GP(E), we take an exact sequence (2.C). Since Qi ∈ add HomE (P, P ⊕
M ), we have a complex
fn

f0

Mn −→ · · · −→ M0

(2.D)

in E with Mi ∈ add(P ⊕ M ) such that
·fn

·f0

0 → HomE (P, Mn ) −−→ . . . −−→ HomE (P, M0 ) → X ⊕ Y → 0

(2.E)

is exact for some Y ∈ GP(E). (Note that due to the possible lack of direct summands
in E it is not always possible to choose Mi such that HomE (P, Mi ) = Qi .) Applying
HomE (−, P ) to (2.D) and HomE (−, E) to (2.E) and comparing them, we have a commutative diagram
HomE (M0 , P )

/ ···

/ HomE (Mn , P )

≀

≀


HomE (HomE (P, M0 ), E)

/0


/ ···

/ HomE (HomE (P, Mn ), E)

/0

6

OSAMU IYAMA, MARTIN KALCK, MICHAEL WEMYSS, AND DONG YANG

where the lower sequence is exact since X ⊕ Y ∈ GP(E). Thus the upper sequence is also
exact. But applying 2.6 repeatedly to (2.D), we have a complex
0 0
(fn−1
(fn 0)
0
1 0)
→ · · · → M0 ⊕P1 ⊕P0 → N → 0
0 → Mn −−−−→ Mn−1 ⊕Pn−1 −−−−−−−→ Mn−2 ⊕Pn−1 ⊕Pn−2 −

with projective objects Pi which is a glueing of exact sequences in E. Then we have
X ⊕ Y ⊕ HomE (P, P0 ) ≃ HomE (P, N ), and we have the assertion. The final statement
follows by 2.3.
(3) The existence of (2.C) implies that HomE (P, −) gives a triangle equivalence thickE (M ) →
GP(E) up to direct summands. Thus the natural inclusion thickE (M ) → E is also a triangle equivalence up to direct summands. This must be an isomorphism since thickE (M )

is closed under direct summands in E.
We note the following more general version stated in terms of functor categories [A66b].
For an additive category P we denote by Mod P the category of contravariant additive
functors from P to the category of abelian groups. For X ∈ E, we have a P-module
HX := HomE (−, X)|P . We denote by mod P the full subcategory of Mod P consisting
of finitely presented objects. Similarly we define Mod P op , H X and mod P op . If P has
pseudokernels (respectively, pseudocokernels), then mod P (respectively, mod P op ) is an
abelian category.
Theorem 2.8. Let E be a Frobenius category with the category P of projective objects.
Assume that there exists a full subcategory M of E such that M contains P, M has
pseudokernels and pseudocokernels and mod M and mod Mop have global dimension at
most n. Then
(1) P is an Iwanaga–Gorenstein category of dimension at most n, i.e. Extimod P (−, HP ) =
0 and Extimod P op (−, H P ) = 0 for all P ∈ P, i > n.
(2) For the category
GP(P) := {X ∈ mod P | ExtiP (X, HP ) = 0 for any i > 0 and P ∈ P}
of Gorenstein projective P-modules, we have an equivalence E → GP(P), X 7→ HX up
to summands. It is an equivalence if E is idempotent complete. This induces a triangle
equivalence
E → GP(P) ≃ Dsg (P).
up to summands. It is an equivalence if E or E is idempotent complete.
(3) E = thickE (M ).
Remark 2.9. In the setting of 2.8, we remark that [C12, 4.2] also gives an embedding
E → GP(P).
2.2. Alternative Approach. We now give an alternative proof of 2.7 by using certain
quotients of derived categories. This will be necessary to interpret some results in §5
later. We retain the setup from the previous subsection, in particular E always denotes a
Frobenius category. Recall the following.
Definition 2.10. Let N ∈ Z. A complex P ∗ of projective objects in E is called acyclic in
degrees ≤ N if there exist exact sequences in E
Z n (P ∗ ) /

in

/ Pn

pn

/ / Z n+1 (P ∗ )

such that dnP ∗ = pn in+1 holds for all n ≤ N . Let K−,b (proj E) ⊆ K− (proj E) be the full
subcategory consisting of those complexes which are acyclic in degrees ≤ d for some d ∈ Z.
This defines a triangulated subcategory of K− (proj E) (c.f. [KV]).
Taking projective resolutions yields a functor E → K−,b (proj E). We need the following
dual version of [KV, 2.3], see also [K13, 2.36].
Proposition 2.11. This functor induces an equivalence of triangulated categories
P : E −→ K−,b (proj E)/ Kb (proj E).

FROBENIUS CATEGORIES VIA GORENSTEIN ALGEBRAS

7

Corollary 2.12. If there exists P ∈ proj E such that proj E = add P and moreover
E = EndE (P ) is left noetherian, then there is a fully faithful triangle functor
e : E −→ Dsg (E).
(2.F)
P

Proof. The fully faithful functor HomE (P, −) : proj E → proj E induces a fully faithful
triangle functor K− (proj E) → K− (proj E). Its restriction K−,b (proj E) → K−,b (proj E)
e as the composition
is well defined since P is projective. Define P
P / K−,b (proj E)
Kb (proj E)

E

−,b
/ K (proj E)
Kb (proj E)

∼

b
/ D (mod E) ,
Kb (proj E)

where P is the equivalence from 2.11 and the last functor is induced by the well-known
∼

triangle equivalence K−,b (proj E) −→ Db (mod E).
Remark 2.13. In the special case when E is an Iwanaga–Gorenstein ring and E :=
e in (2.F) was shown to be an equivalence in [B86, 4.4.1(2)] (see 2.3).
GP(E), the functor P
e is far from being an equivalence. For example, let
For general Frobenius categories, P
E = proj R be the category of finitely generated projective modules over a left noetherian
algebra R equipped with the split exact structure. Then always E = 0 but Dsg (E) =
Dsg (R) 6= 0 if gl.dim(R) = ∞. We refer the reader to [K13, 2.41] for a detailed discussion.
e to be an equivalence. To do this
Below in 2.15, we give a sufficient criterion for P
requires the following result.

Proposition 2.14. Let A be a left noetherian ring and let e ∈ A be an idempotent. The
exact functor HomA (Ae, −) induces a triangle equivalence
G:

Db (mod eAe)
Db (mod A)/ thick(Ae)
−→
,
thick (q(mod A/AeA))
thick(eAe)

(2.G)

where q : Db (mod A) → Db (mod A)/ thick(Ae) denotes the canonical projection.
Proof. Taking e = f in [KY, Proposition 3.3] yields the triangle equivalence (2.G).



Theorem 2.15. Let E be a Frobenius category with proj E = add P for some P ∈ proj E.
Assume that there exists M ∈ E such that A := EndE (P ⊕ M ) is a left noetherian ring of
finite global dimension, and denote E := EndE (P ). Then
e : E −→ Dsg (E) is a triangle equivalence up to direct summands. If E is idempotent
(1) P
e is an equivalence.
complete, then P
(2) E = thickE (M ).

Proof. Let e ∈ A be the idempotent corresponding to the identity endomorphism 1P of P ,
then eAe = E. We have the following commutative diagram of categories and functors.




Db (mod A)/ thick(Ae)

thick q(mod A/AeA)
O

G
∼

I1





Kb (proj A)/ thick(Ae)

thick q(mod A/AeA)

e
P

b
/ D (mod eAe) o
Kb (proj eAe)
O

I3

I2
Grestr.
∼

/

thick(eA) o
Kb (proj eAe)

EO

e restr.
P
∼

thickE (M )

where Ii are the natural inclusions. Since A has finite global dimension the inclusion
Kb (proj A) → Db (mod A) is an equivalence and so I1 is an equivalence. But G is an
equivalence from 2.14, and Grestr. denotes its restriction. It is also an equivalence since G
maps the generator A to eA. Thus, by commutativity of the left square we deduce that
e maps
e denotes the fully faithful functor from 2.12, so since P
I2 is an equivalence. Now P
P ⊕ M to HomE (P, P ⊕ M ), which is isomorphic to eA as left eAe-modules, the restriction
e restr. is a triangle equivalence up to summands. Hence the fully faithful functors P
e
P
and I3 are also equivalences, up to summands. In particular, I3 is an equivalence. If E is
erestr. is an equivalence.
idempotent complete then thickE (M ) is idempotent complete and P
e is an equivalence in this case.
It follows that P


8

OSAMU IYAMA, MARTIN KALCK, MICHAEL WEMYSS, AND DONG YANG

2.3. A result of Auslander–Solberg. Let K be a field and denote D := HomK (−, K).
The following is implicitly included in Auslander–Solberg’s relative homological algebra
[AS1] (compare [C12, 5.1]), and will be required later (in §3 and §6) to produce examples
of Frobenius categories on which we can apply our previous results.
Proposition 2.16. Let E be a K-linear exact category with enough projectives P and
enough injectives I. Assume that there exist an equivalence τ : E → E and a functorial
isomorphism Ext1E (X, Y ) ≃ DHomE (Y, τ X) for any X, Y ∈ E. Let M be a functorially
finite subcategory of E containing P and I, and satisfies τ M = M. Then
f

g

(1) Let 0 → X −
→Y −
→ Z → 0 be an exact sequence in E. Then HomE (M, g) is surjective
if and only if HomE (f, M) is surjective.
(2) E has the structure of a Frobenius category whose projective objects are exactly add M.
More precisely, the short exact sequences of this Frobenius structure are the short exact
f
g
sequences 0 → X −
→Y −
→ Z → 0 of E such that HomE (f, M) is surjective.
Proof. (1) Applying HomE (M, −) to 0 → X → Y → Z → 0, we have an exact sequence
g

f

HomE (M, Y ) −
→ HomE (M, Z) → Ext1E (M, X) −
→ Ext1E (M, Y ).

(2.H)

Thus we know that HomE (M, g) is surjective if and only if Ext1E (M, f ) is injective. Using
the Auslander-Reiten duality, this holds if and only if HomE (f, τ M) is surjective, which
holds if and only if HomE (f, M) is surjective. This holds if and only if HomE (f, M) is
surjective.
(2) One can easily check (e.g. by using [DRSS, 1.4,1.7]) that exact sequences fulfilling
the equivalent conditions in (1) satisfy the axioms of exact categories in which any object
of add M is a projective and an injective object (see [K13, 2.28] for details).
We will show that E has enough projectives with respect to this exact structure. For
any X ∈ E, we take a right M-approximation f : N ′ → X of X. Since M contains P,
any morphism from P to X factors through f . By a version of 2.6 for exact categories,
we have an exact sequence
(f0 )
0 → Y → N ′ ⊕ P −−→ X → 0.
in E with P ∈ P. This sequence shows that E has enough projectives with respect to this
exact structure.
Dually we have that E has enough injectives. Moreover, both projective objects and
injective objects are add M. Thus the assertion holds.

3. Frobenius structures on special Cohen–Macaulay modules
Throughout this section we let R denote a complete local rational surface singularity
over an algebraically closed field of characteristic zero. Because of the characteristic zero
assumption, rational singularities are always Cohen–Macaulay. We refer the reader to
§4.4 for more details regarding rational surface singularities.
We denote CM(R) to be the category of maximal Cohen–Macaulay (=CM) R-modules.
Since R is normal and two-dimensional, a module is CM if and only if it is reflexive. The
category CM(R), and all subcategories thereof, are Krull–Schmidt categories since R is
complete local. One such subcategory is the category of special CM modules, denoted
SCM(R), which consists of all those CM R-modules X satisfying Ext1R (X, R) = 0.
The category SCM(R) is intimately related to the geometry of Spec R. If we denote
the minimal resolution of Spec R by
π

Y −→ Spec R,
and define {Ei }i∈I to be the set of exceptional curves, then the following is well known:
Proposition 3.1. (1) There are only finitely many indecomposable objects in SCM(R).
(2) Indecomposable non-free objects in SCM(R) correspond bijectively to {Ei }i∈I .
Proof. (2) is Wunram [W88, 1.2] (using [IW1, 2.7] to show that definition of special in
[W88] is the same as the one used here), and (1) is a consequence of (2).


FROBENIUS CATEGORIES VIA GORENSTEIN ALGEBRAS

9

L
Thus by 3.1(2) SCM(R) has an additive generator M := R ⊕ i∈I Mi , where as in the
introduction by convention Mi is the indecomposable special CM module corresponding
to Ei . The corresponding endomorphism ring Λ := EndR (M ) is called the reconstruction
algebra of R, see [W11a, IW1]. The following is also well-known.
Proposition 3.2. Consider the reconstruction algebra Λ. Then

2 if R is Gorenstein
gl.dim Λ =
3 else.
Proof. An algebraic proof can be found in [IW1, 2.10] or [IW2, 2.6]. A geometric proof
can be found in [W11b].

Remark 3.3. The reconstruction algebra Λ, and some of the eΛe below, will turn out to
be Iwanaga–Gorenstein in §4. However we remark here that Λ is usually not Gorenstein
in the stronger sense that ωΛ := HomR (Λ, ωR ) is a projective Λ-module. Thus, unfortunately the objects of GP(Λ) are not simply those Λ-modules that are CM as R-modules,
i.e. GP(Λ) ( {X ∈ mod(Λ) | X ∈ CM(R)} in general. In this paper we will always
reserve ‘CM’ to mean CM as an R-module, and this is why we use the terminology ‘GP’
(=Gorenstein projective) for non-commutative Iwanaga–Gorenstein rings.
We will be considering many different factor categories of SCM(R), so as to avoid
confusion we now fix some notation.
Definition 3.4. Let X ∈ SCM(R). We define the factor category SCMX (R) to be the
category consisting of the same objects as SCM(R), but where
HomSCMX (R) (a, b) :=

HomSCM(R) (a, b)
,
X (a, b)

where X (a, b) is the subgroup of morphisms a → b which factor through an element in
add X.

L
As in the introduction, we consider the module D := R ⊕
d∈D Md . Algebraically
the following is known; the geometric properties of D will be established in 4.8 and 4.9
later.
Proposition 3.5. (1) The category SCM(R) has the natural structure of a Frobenius category, whose projective objects are precisely the objects of add D. Consequently SCMD (R)
is a triangulated category.
(2) For any indecomposable object X in SCMD (R), there exists an AR triangle of the
form
X → E → X → X[1].
(3) The stable category SCMD (R) has a Serre functor S such that SX ≃ X[1] for any
X ∈ SCMD (R).
Proof. (1) The exact sequences are defined using the embedding SCM(R) ⊆ mod R, and
the result follows from [IW2, 4.2].
(2) is [IW2, 4.9].
(3) SCMD (R) has AR triangles by (2), so there exists a Serre functor by [RV, I.2.3] such
that
τ X → E → X → SX
is the AR triangle. By inspection of (2), we see that SX[−1] ≃ X.

Remark 3.6. The above proposition more-or-less asserts that the category SCMD (R)
is 1-Calabi–Yau, but it does not show that the isomorphism in 3.5(3) is functorial. We
prove that it is functorial in 4.10, using geometric arguments.
The following important observation, which generalises 3.5(1), is obtained by applying 2.16 to (E, M, τ ) = (SCM(R), add N, S[−1]).
Proposition 3.7. Let N ∈ SCM(R) such that add D ⊆ add N . Then
f

g

(1) Let 0 → X −
→Y −
→ Z → 0 be an exact sequence of R-modules with X, Y, Z ∈ SCM(R).
Then HomR (N, g) is surjective if and only if HomR (f, N ) is surjective.

10

OSAMU IYAMA, MARTIN KALCK, MICHAEL WEMYSS, AND DONG YANG

(2) SCM(R) has the structure of a Frobenius category whose projective objects are exactly
add N . We denote it by SCMN (R). More precisely, the short exact sequences of SCMN (R)
f

g

are the short exact sequences 0 → X −
→Y −
→ Z → 0 of R-modules such that HomR (f, N )
is surjective.
We maintain the notation from
 in particular Λ :=
 ) is the reconstrucL above,
L EndR (M
tion algebra, where M := R ⊕
M
,
and
D
:=
R
⊕
M
. For any summand
i
d
i∈I
d∈D
N of M , we denote eN to be the idempotent in Λ corresponding to the summand N . The
following is the main result of this section.
Theorem 3.8. Let N ∈ SCM(R) such that add D ⊆ add N . Then
(1) eN ΛeN = EndR (N ) is an Iwanaga–Gorenstein ring of dimension at most three.
(2) There is an equivalence HomR (N, −) : SCM(R) → GP(EndR (N )) that induces a triangle equivalence
SCMN (R) ≃ GP(EndR (N )).
Proof. By 3.7(2), SCM(R) has the structure of a Frobenius category in which proj SCM(R) =
add N . Since SCM(R) has finite type, there is some X ∈ SCM(R) such that add(N ⊕X) =
SCM(R), in which case EndR (N ⊕ X) is Morita equivalent to the reconstruction algebra,
so gl.dim EndR (N ⊕ X) ≤ 3 by 3.2. Hence (1) follows from 2.7(1), and since SCM(R) is
idempotent complete, (2) follows from 2.7(2).

Remark 3.9. We will give an entirely geometric proof of 3.8(1) in §4, which also holds
in greater generality.
The following corollary will be strengthened in 4.7 later.
Corollary 3.10. Let N ∈ SCM(R) such that add D ⊆ add N ( add M . Then eN ΛeN =
EndR (N ) has infinite global dimension.
Proof. By 3.8(2), we know that SCMN (R) ≃ GP(EndR (N )) ≃ Dsg (EndR (N )), where
the last equivalence holds by Buchweitz [B86, 4.4.1(2)]. It is clear that SCMN (R) 6= 0
since add N ( add M . Hence Dsg (EndR (N )) 6= 0, which is well-known to imply that
gl.dim EndR (N ) = ∞.

4. Relationship to partial resolutions of rational surface singularities
We show in §4.1 that if an algebra Γ is derived equivalent to a Gorenstein scheme that
is projective birational over a CM ring, then Γ is Iwanaga–Gorenstein. In §4.2 we then
exhibit algebras derived equivalent to partial resolutions of rational surface singularities,
and we then use this information to strengthen many of our previous results.
In this section we will assume that all schemes Y are noetherian, separated, normal
CM, of pure Krull dimension d < ∞, and are finite type over a field k. This implies that
D(Qcoh Y ) is compactly generated, with compact objects precisely the perfect complexes
Perf(Y ) [N96, 2.5, 2.3], and ωY = g ! k[− dim Y ] where g : Y → Spec k is the structure
morphism.
4.1. Gorenstein schemes and Iwanaga–Gorenstein rings. Serre functors are somewhat more subtle in the singular setting. Recall from [G06, 7.2.6] the following.
Definition 4.1. Suppose that Y → Spec S is a projective birational map where S is a
CM ring with canonical module ωS . We say that a functor S : Perf(Y ) → Perf(Y ) is a
Serre functor relative to ωS if there are functorial isomorphisms
RHomS (RHomY (F , G), ωS ) ∼
= RHomY (G, S(F ))
in D(Mod S) for all F , G ∈ Perf(Y ).
Lemma 4.2. Let Γ be a module finite S-algebra, where S is a CM ring with canonical
module ωS , and suppose that there exists a functor T : Kb (proj Γ) → Kb (proj Γ) such that
RHomS (RHomΓ (a, b), ωS ) ∼
= RHomΓ (b, T(a))
for all a, b ∈ Kb (proj Γ). Then inj.dim ΓΓ < ∞.

FROBENIUS CATEGORIES VIA GORENSTEIN ALGEBRAS

11

Proof. Denote (−)† := RHomS (−, ωS ). We first claim that Γ† ∈ Kb (Inj Γop ). By taking
an injective resolution of ωS
0 → ωS → I0 → . . . → Id → 0
and applying HomS (Γ, −) we see that Γ† is given as the complex
. . . → 0 → HomS (Γ, I0 ) → . . . → HomS (Γ, Id ) → 0 → . . . .
Since HomΓ (−, HomS (Γ, Ii )) = HomS (Γ ⊗Γ −, Ii ) is an exact functor, each HomS (Γ, Ii )
is an injective Γop -module. Hence Γ† ∈ Kb (Inj Γop ), as claimed.
Now T(Γ) ∈ Kb (proj Γ), and further
T(Γ) ∼
= RHomΓ (Γ, Γ)† = Γ† .
= RHomΓ (Γ, T(Γ)) ∼
Hence Γ† ∈ Kb (proj Γ) = thick(Γ) and so Γ = Γ†† ∈ thick(Γ† ) ⊆ Kb (Inj Γop ). This shows
that Γ has finite injective dimension as a Γop -module, i.e. as a right Γ-module.

Grothendieck duality gives us the following.
Theorem 4.3. Let Y → Spec S be a projective birational map where S a CM ring
with canonical module ωS . Suppose that Y is Gorenstein, then the functor S := ωY ⊗
− : Perf(Y ) → Perf(Y ) is a Serre functor relative to ωS .
Proof. Since Y is Gorenstein, the canonical sheaf ωY is locally free, and hence S :=
ωY ⊗ − = ωY ⊗L − does indeed take Perf(Y ) to Perf(Y ). Also, ωY = f ! ωS and so
RHomY (G, S(F )) = RHomY (G, F ⊗L ωY ) ∼
= RHomY (RHomY (F , G), ωY )
∼
= RHomY (RHomY (F , G), f ! ωS )
∼
= RHomS (Rf∗ RHomY (F , G), ωS )
∼
= RHomS (RHomY (F , G), ωS )
for all F , G ∈ Perf(Y ), where the second-last isomorphism is Grothendieck duality.



The last two results combine to give the following, which is the main result of this
subsection.
Corollary 4.4. Let Y → Spec S be a projective birational map where S is a CM ring
with canonical module ωS . Suppose that Y is derived equivalent to Γ. Then if Y is a
Gorenstein scheme, Γ is an Iwanaga–Gorenstein ring.
Proof. By 4.3 there is a Serre functor S : Perf(Y ) → Perf(Y ) relative to ωS . By [IW3,
4.12] this induces a Serre functor relative to ωS on Kb (proj Γ). Hence 4.2 shows that
inj.dim ΓΓ < ∞.
Repeating the argument with V ∨ := RHomY (V, OY ), which is well-known to give an
equivalence between Y and Γop (see e.g. [BH, 2.6]), we obtain an induced Serre functor

relative to ωS on Kb (proj Γop ). Applying 4.2 to Γop shows that inj.dimΓ Γ < ∞.
4.2. Tilting bundles on partial resolutions. We now return to the setup in §3, namely
R denotes a complete local rational surface singularity over an algebraically closed field
of characteristic zero. We inspect the exceptional divisors in Y , the minimal resolution
of Spec R. Recall from the introduction that we have I = C ∪ D where C are the crepant
curves and D are the discrepant curves. We choose a subset S ⊆ I, and contract all curves
in S. In this way we obtain a scheme which we will denote X S (see for example [R93,
§4.15]). In fact, the minimal resolution π : Y → Spec R factors as
fS

gS

Y −−→ X S −−→ Spec R.
When S ⊆ C then f S is crepant and further X S has only isolated ADE singularities
since we have contracted only (−2)-curves — it is well-known that in the dual graph of
the minimal resolution, all maximal (−2)-curves must lie in ADE configurations (see e.g.
[TT, 3.2]).

12

OSAMU IYAMA, MARTIN KALCK, MICHAEL WEMYSS, AND DONG YANG

Example 4.5. To make this concrete, consider the T9 singularity [R77, p47] Spec R =
C2 /T9 , which has minimal resolution

Y :=

−2

E5

E1

E2

E3

E4

−3

−3

−2

−2

−→ Spec R

so C = {E3 , E4 , E5 }. Choosing S = {E3 , E5 } gives
E1

E4

E2

X S :=

1
2 (1,1)

1
2 (1,1)

where 21 (1, 1) is complete locally the A1 surface singularity. On the other hand, choosing
S = C = {E3 , E4 , E5 } gives
E1

E2

X C :=

1
2 (1,1)

1
3 (1,2)

Note in particular that in these cases S ⊆ C so Sing X S always has only finitely many
points, and each is Gorenstein ADE.
The following is well–known to experts and is somewhat implicit in the literature. For
lack of any reference, we provide a proof here. As before, Λ denotes the reconstruction
algebra.
L
Theorem 4.6. Let S ⊆ I, set N S := R ⊕ ( i∈I\S Mi ) and let e be the idempotent in
Λ corresponding to N S . Then eΛe = EndR (N S ) is derived equivalent to X S via a tilting
bundle VS in such a way that
RHomY (V∅ ,−)

Db (mod Λ) o

Db (coh Y )
Rf∗S

e(−)


Db (mod eΛe) o

RHomX S (VS ,−)


Db (coh X S )

commutes.
Proof. Since all the fibres are at most one-dimensional and R has rational singularities,
by [V04, Thm. B] there is a tilting bundle on Y given as follows: let E = π −1 (m) where
m is the unique closed point of Spec R. Giving E the reduced scheme structure, write
Ered = ∪i∈I Ei , and let LYi denote the line bundle on Y such that LYi · Ej = δij . If the
multiplicity of Ei in E is equal to one, set MYi := LYi [V04, 3.5.4], else define MYi to be
given by the maximal extension
⊕(ri −1)

0 → OY

→ MYi → LYi → 0

associated
to a minimal set of ri − 1 generators of H 1 (Y, (LYi )−1 ). Then V∅ := OY ⊕
L
Y
( i∈I Mi ) is a tilting bundle on Y [V04, 3.5.5].
fS

gS

To ease notation denote X := X S , and further denote Y −−→ X S −−→ Spec R by
f

g

Y −
→X−
→ Spec R.

L
Then in an identical manner to the above, VS := OX ⊕ ( i∈I\S MX
i ) is a tilting bundle
on X.
L
Y
We claim that f ∗ (VS ) = OY ⊕ ( i∈I\S MYi ). Certainly f ∗ LX
i = Li for all i ∈ I\S,
and pulling back
⊕(r −1)
X
0 → OX i
→ MX
i → Li → 0
gives an exact sequence
⊕(ri −1)

0 → OY

Y
→ f ∗ MX
i → Li → 0.

(4.A)

FROBENIUS CATEGORIES VIA GORENSTEIN ALGEBRAS

13

But
1
1
1
∗
X
X
X
Ext1Y (f ∗ MX
i , OY ) = ExtY (Lf Mi , OY ) = ExtX (Mi , Rf∗ OY ) = ExtX (Mi , OX ),

which equals zero since VS is tilting. Hence (4.A) is a maximal extension, so it follows (by
∗
Y
construction) that MYi ∼
= f ∗ MX
i for all i ∈ I\S, so f (VS ) = OY ⊕i∈I\S Mi as claimed.
Now by the projection formula
Rf∗ (f ∗ VS ) ∼
= OX ⊗ VS = VS ,
= Rf∗ (OY ⊗ f ∗ VS ) ∼
= Rf∗ (OY ) ⊗ VS ∼
and so it follows that
EndX (VS ) ∼
= EndY (f ∗ VS ),
= HomY (Lf ∗ VS , f ∗ VS ) ∼
= HomX (VS , Rf∗ (f ∗ VS )) ∼
i.e. EndX (VS ) ∼
= EndY (OY ⊕i∈I\S MYi ). But it is very well-known (see e.g. [W11b, 3.2])
that EndY (OY ⊕i∈I\S MYi ) ∼
= EndR (R ⊕i∈I\S Mi ) = EndR (N S ).
Hence we have shown that VS is a tilting bundle on X S with endomorphism ring
isomorphic to EndR (N S ), so the first statement follows. For the last statement, simply
observe that we have functorial isomorphisms
RHomX S (VS , Rf∗ (−)) =

RHomY (Lf ∗ VS , −)

=

RHomY (OY ⊕i∈I\S MYi , −)

=
=

e RHomY (OY ⊕i∈I MYi , −)
e RHomY (V∅ , −).


Remark 4.7. The above 4.6 shows that if Λ is the reconstruction algebra and e 6=
1 is a non-zero idempotent containing the idempotent corresponding to R, then eΛe
always has infinite global dimension, since it is derived equivalent to a singular variety.
This greatly generalizes 3.10, which only deals with idempotents corresponding to partial
resolutions ‘above’ X C ; these generically do not exist. It would be useful to have a purely
algebraic proof of the fact gl.dim eΛe = ∞, since this is related to many problems in
higher dimensions.
L
Now recall from 1.2 that D := R ⊕ ( d∈D Md ). This is just N C , so as the special case
of 4.6 when S = C we obtain the following.
Corollary 4.8. EndR (D) is derived equivalent to X C .

Remark 4.9. It follows from 4.8 that the module D corresponds to the largest totally
discrepant partial resolution of Spec R, in that any further resolution must involve crepant
curves. This scheme was much studied in earlier works (e.g. [RRW]), and is related to
the deformation theory of Spec R. We remark that X C is often referred to as the rational
double point resolution.
As a further consequence of 4.6, we have the following.
Theorem 4.10. If S ⊆ C, then we have triangle equivalences
SCMN S (R) ≃ GP(EndR (N S )) ≃ Dsg (EndR (N S )) ≃ Dsg (X S ) ≃

M

x∈Sing X S
S

S

bX S ,x ),
CM(O

where Sing X denotes the set of singular points of X . In particular, SCMN S (R) is
1-Calabi–Yau, and its shift functor satisfies [2] = id.
Proof. Since R is complete local we already know that SCMN S (R) is idempotent complete,
so the first equivalence is just 3.8(2). Since EndR (N S ) is Iwanaga–Gorenstein by 3.8(1),
the second equivalence is a well–known theorem of Buchweitz [B86, 4.4.1(2)]. The third
equivalence follows immediately from 4.6 (see e.g. [IW3, 4.1]). The fourth equivalence
follows from [Or09], [BK] or [IW3, 3.2] since the singularities of X S are isolated and the
completeness of R implies that Dsg (X S ) ≃ SCMN S (R) is idempotent complete. The final
bX S ,x is Gorenstein ADE, and for these it is well-known
two statements hold since each O
b
that CM(OX S ,x ) are 1-Calabi–Yau [A78], satisfying [2] = id [E80].


14

OSAMU IYAMA, MARTIN KALCK, MICHAEL WEMYSS, AND DONG YANG

Example 4.11. In the previous example (4.5) choose S = {E3 , E5 }, then by 4.10
1

1

SCMN S (R) ≃ CM C[[x, y]] 2 (1,1) ⊕ CM C[[x, y]] 2 (1,1) .
Remark 4.12. It was remarked in [IW2, 4.14] that often the category SCMD (R) is
equivalent to that of a Gorenstein ADE singularity, but this equivalence was only known
to be an additive equivalence, as the triangle structure on SCMD (R) was difficult to
control algebraically. The above 4.10 improves this by lifting the additive equivalence
to a triangle equivalence. It furthermore generalises the equivalence to other Frobenius
quotients of SCM(R) that were not considered in [IW2].
We now use 4.10 to extend Auslander’s algebraic McKay correspondence. This requires
the notion of the dual graph relative to a morphism.
Definition 4.13. Consider f S : Y → X S . The dual graph with respect to f S is defined
as follows: for each irreducible curve contracted by f S draw a vertex, and join two vertices
if and only if the corresponding curves in Y intersect. Furthermore, label every vertex with
the self-intersection number of the corresponding curve.
The following, which is immediate from 4.10, extends [IW2, 4.11].
Corollary 4.14. If S ⊆ C, then the AR quiver of the category SCMN S (R) is the double
of the dual graph with respect to the morphism Y → X S .
4.3. Iwanaga–Gorenstein rings from surfaces. The following corollary of 4.6 gives a
geometric proof of 3.8(1).
Corollary 4.15. Let N ∈ SCM(R) such that add D ⊆ add N . Then eN ΛeN = EndR (N )
is an Iwanaga–Gorenstein ring.
Proof. Since add D ⊆ add N , 4.6 shows that the algebra EndR (N ) is derived equivalent,
via a tilting bundle, to the Gorenstein scheme X S . Thus the result follows by 4.4.

The point is that using the geometry we can sharpen 3.8(1) and 4.15, since we are
explicitly able to determine the value of the injective dimension. The proof requires the
following two lemmas, which we state and prove in greater generality.
Lemma 4.16. Suppose that (S, m) is local, Γ is a module–finite S-algebra, and X, Y ∈
mod Γ. Then ExtiΓ (X, Y ) = 0 if i > inj.dimΓ Y − depthS X.
Proof. Use induction on t = depthS X. The case t = 0 is clear. Take an X-regular element
r and consider the sequence
r

0 → X → X → X/rX → 0
By induction we have Exti+1
Γ (X/rX, Y ) = 0 for i > inj.dimΓ Y − t. By the exact sequence
r

ExtiΓ (X, Y ) → ExtiΓ (X, Y ) → Exti+1
Γ (X/rX, Y ) = 0
and Nakayama’s Lemma, we have ExtiΓ (X, Y ) = 0.



Recall that if Γ is an S-order, then we denote CM(Γ) to be the category consisting of
those X ∈ mod Γ for which X ∈ CM(S).
Lemma 4.17. [GN, Proposition 1.1(3)] Suppose that S is an equicodimensional (i.e.
dim S = dim Sm for all m ∈ Max S) d-dimensional CM ring with canonical module ωS ,
and let Γ be an S-order. Then
(1) inj.dimΓ HomS (Γ, ωS ) = d = inj.dimΓop HomS (Γ, ωS ).
(2) inj.dimΓ X = proj.dimΓop HomS (X, ωS ) + d for all X ∈ CM(Γ).
Proof. We include a proof for the convenience of the reader. To simplify notation denote
HomS (−, ωS ) := (−)† . This gives an exact duality CM(Γ) ↔ CM(Γop ). The statements
are local, so we can assume that S is a local ring.
(1) Consider the minimal injective resolution of ωS in mod S, namely
0 → ωS → I0 → I1 → . . . → Id → 0.
Applying HomS (Γ, −), using the fact that Γ ∈ CM(S) we obtain an exact sequence
0 → Γ† → HomS (Γ, I0 ) → . . . → HomS (Γ, Id ) → 0.

FROBENIUS CATEGORIES VIA GORENSTEIN ALGEBRAS

15

As in the proof of 4.2, each HomS (Γ, Ii ) is an injective Γ-module. This shows that
inj.dimΓ Γ† ≤ dim S. If inj.dimΓ Γ† < dim S then
0 → HomS (Γ, Ω−d+1 ωS ) → HomS (Γ, Id−1 ) → HomS (Γ, Id ) → 0

(4.B)

must split. Let T be some non-zero Γ-module which has finite length as an S-module (e.g.
T = Γ/ m Γ for some m ∈ Max S). Since (4.B) splits, applying HomΓ (T, −) shows that
the top row in the following commutative diagram is exact
0

/ HomΓ (T, S (Γ, Ω−d+1 ωS ))

/ HomΓ (T, S (Γ, Id−1 ))

∼
=

0

/ HomΓ (T, S (Γ, Id−1 ))

∼
=


/ HomS (T, Ω−d+1 ωS )

/0

∼
=


/ HomS (T, Id−1 )


/ HomS (T, Id )

/0

Hence the bottom row is exact. But T has finite length, so HomS (T, Id−1 ) = 0 since
none of the associated primes of Id−1 is maximal by equicodimensionality of S. But
by the above diagram this implies that HomS (T, Id ) = 0, which is a contradiction since
HomS (−, Id ) is a duality on finite length modules.
(2) Set l := proj.dimΓop X † and m := inj.dimΓ X. Consider a projective resolution of X †
over Γop
f2

f1

. . . −→ P1 −→ P0 → X † → 0,

(4.C)

then applying (−)† gives rise to an exact sequence
f†

f†

2
1
....
P1† −→
0 → X → P0† −→

(4.D)

Pi†

Since by (1) each
has injective dimension d, it follows that m = inj.dimΓ X ≤ l + d.
So m is infinity implies that l is infinity, and in this case the equality holds. Hence we
can assume that m < ∞.
We first claim that m ≥ d. This is true if X ∈ add Γ† by (1). Now we assume that
X∈
/ add Γ† , so X † ∈
/ add Γ. Thus
0 6= Ext1Γop (X † , ΩΓop X † ) = Ext1Γ ((ΩΓop X † )† , X).
Since depthS (ΩΓop X † )† = d, by 4.16 we conclude that m ≥ d + 1. Thus we have m ≥ d
in both cases.
†
†
Consider Im(fm−d+1
), then since depthS (Im(fm−d+1
)) = d, by 4.16 it follows that
†
Extm−d+1
(Im(f
),
X)
=
0.
But
since
X
∈
CM(Γ)
and the Pi† are injective in
Γ
m−d+1
CM(Γ), ExtjΓ (X, Pi† ) = 0 for all j > 0 and so (4.D) shows that
†
†
†
Ext1Γ (Im(fm−d+1
), Im(fm−d
)) = . . . = Extm−d+1
(Im(fm−d+1
), X) = 0.
Γ

This implies that the short exact sequence
†
†
†
0 → Im(fm−d
) → Pm−d
→ Im(fm−d+1
)→0

splits, which in turn implies that the sequence
0 → Im(fm−d+1 ) → Pm−d → Im(fm−d ) → 0
splits, so l ≤ m − d. In particular l < ∞, so we may assume that Pi = 0 for i > l in
(4.C). So (4.D) shows that m ≤ l + d. Combining inequalities, we have m = l + d, as
required.

The following result is the main result in this subsection. We remark that this gives a
generalization of 3.2.
Theorem 4.18. Let N ∈ SCM(R) such that add D ⊆ add N and put Γ := EndR (N ).
Then

2 if R is Gorenstein
inj.dimΓ Γ =
3 else.
Proof. By 4.17 we know that inj.dimΓ Γ ≥ 2.
(1) Suppose that R is Gorenstein. In this case Γ ∈ CM(R) is a symmetric R-order,
meaning Γ ∼
= HomR (Γ, R) as Γ-Γ bimodules [IR08, 2.4(3)]. Thus inj.dimΓ Γ = dim R = 2
by 4.17.
(2) Suppose that R is not Gorenstein, so there exists an indecomposable summand Ni of

16

OSAMU IYAMA, MARTIN KALCK, MICHAEL WEMYSS, AND DONG YANG

N such that Ni corresponds to a non-(−2)-curve. Necessarily Ni is not free, and further
by 3.5(1) Ext1R (Ni , X) = 0 for all X ∈ SCM(R).
Now if inj.dimΓ Γ = dim R = 2 then by 4.17 HomR (Γ, ωR ) is a projective Γ-module.
But
HomR (Γ, ωR ) = HomR (EndR (N ), ωR ) ∼
= HomR (N, (N ⊗R ωR )∗∗ ) ∼
= HomR (N, τ N )
where τ is the AR translation in the category CM(R), and the middle isomorphism holds
e.g. by [AG60, 4.1]. Hence by reflexive equivalence HomR (N, −) : CM(R) → CM(Γ), we
have τ N ∈ add N , so in particular τ Ni ∈ SCM(R). But this implies that Ext1R (Ni , τ Ni ) =
0 by above, which by the existence of AR sequences is impossible. Hence inj.dimΓ Γ 6= 2.

Now 3.8(1) implies that inj.dimΓ Γ ≤ 3 and so consequently inj.dimΓ Γ = 3.
4.4. Construction of Iwanaga–Gorenstein rings. In this subsection, we work over
C. If R is not Gorenstein and N ∈ SCM(R) such that add D ⊆ add N , then by 4.10
and 4.18 Γ := EndR (N ) is an Iwanaga–Gorenstein ring with inj.dim Γ = 3, such that
GP(Γ) is a direct sum of stable CM categories of ADE singularities. In particular, each Γ
has finite Gorenstein–projective type. The simplest case is when Γ has only one non-free
1
indecomposable GP-module, i.e. the case GP(Γ) ≃ CM(C[[x, y]] 2 (1,1) ).
The purpose of this section is to prove the following theorem.
Theorem 4.19. Let G ≤ SL(2, C) be a finite subgroup, with G ≇ E8 . Then there are
uncountably many non-isomorphic Iwanaga–Gorenstein rings Γ with inj.dim Γ = 3, such
that GP(Γ) ≃ CM(C[[x, y]]G ).
The theorem is unusual, since commutative algebra constructions such as Knörrer
periodicity only give countably many non-isomorphic Gorenstein rings S with CM(S) ≃
CM(C[[x, y]]G ), and further no two of the S have the same injective dimension.
Remark 4.20. We remark that the omission of type G ∼
= E8 from our theorem is also unusual; it may still be possible that there are uncountably many non-isomorphic Iwanaga–
Gorenstein rings Γ with inj.dim Γ = 3 such that GP(Γ) ≃ CM([[x, y]]E8 ), however our
methods do not produce any. It is unclear to us whether this illustrates simply the limits
of our techniques, or whether the finite type E8 is much more rare.
To prove 4.19 requires some knowledge of complete local rational surface singularities
over C, which we now review. If R is a complete local rational surface singularity, then
if we consider the minimal resolution Y → Spec R, then (as before) the fibre above the
origin is well-known to be a tree (i.e. a finite connected graph with no cycles) of P1 s
denoted {Ei }i∈I . Their self-intersection numbers satisfy Ei · Ei ≤ −2, and moreover the
intersection matrix (Ei · Ej )i,j∈I is negative definite. We encode the intersection matrix
in the form of the labelled dual graph:
Definition 4.21. We refer to the dual graph with respect to the morphism Y → Spec R
(in the sense of 4.13) as the dual graph of R.
Thus, given a complete local rational surface singularity, we obtain a labelled tree.
Before we state as a theorem the solution to the converse problem, we first require some
notation.
Suppose that T is a tree, with vertices denoted E1 , . . . , En , labelled with integers
w1 , . . . , wn . To this data we associate the symmetric matrix MT = (bij )1≤i,j≤n with bii
defined by bii := wi , and bij (with i 6= j) defined to be the number of edges linking the
vertices Ei and Ej . We denote the free abelian group generated by the vertices Ei by Z,
and call its elements cycles. The matrix MT defines a symmetric bilinear form (−, −) on
Z and in analogy with the geometry, we will often write Y · Z instead of (Y, Z). We define
Ztop := {Z =

n
X

ai Ei ∈ Z | Z 6= 0, all ai ≥ 0, and Z · Ei ≤ 0 for all i}.

i=1

If there exists Z ∈ Ztop such that Z · Z < 0, then automatically MT is negative definite
[A66a, Prop 2(ii)]. In this case, Ztop admits a unique smallest element Zf , called the
fundamental cycle.

FROBENIUS CATEGORIES VIA GORENSTEIN ALGEBRAS

17

Theorem 4.22. [A66a, G62b]. Let T denote a labelled tree, with vertex set {Ei | i ∈ I},
and labels wi . Suppose that T satisfies the following combinatorial properties.
(1) wi ≤ −2 for all i ∈ I.
(2) There exists Z ∈ Ztop such that Z · Z < 0.P
(3) Writing Zf (which exists by (2)) as Zf = i∈I ai Ei , then
X
Zf · Zf +
ai (−wi − 2) = −2.
i∈I

Then there exists some complete local rational surface singularity R, whose minimal resolution has labelled dual graph precisely T .

A labelled tree satisfying the combinatorial properties in 4.22 is called a rational tree.
The above theorem says that every rational tree arises as the labelled dual graph of some
complete local rational surface singularity, however this singularity need not be unique.
We are now ready to prove 4.19.
Proof. Consider the following labelled trees
−3
−3

−3
−2

···

−2

−2

−2

−6

−3

(4.E)

−3

−3

−3

−3

−3
−3

−2

−2

−3

−3

···

−2

−2

−2

−2

−6

−3

(4.F)

−3

−3

−3

−3

−3

−3
−2

−2

−2

−3

−3

−2

−2

−6

−2

−3

−3

(4.G)

−3
−3

−3

−3
−3

−2

−2

−2

−2

−3
−2

−2

−2

−6

−3
−3

−3
−3

(4.H)

−3
−3
−3

It is an easy combinatorial check to show that each labelled graph above satisfies the
criteria in 4.22, so consequently there is a (not necessarily unique) complete rational
surface singularity corresponding to each. We do this for (4.F), the rest being similar.
Labelling the vertices in (4.F) by
En+7
En+4

E2
E1

E3

E4

···

En+8
En+9

En+1

En+2

En+3

En+5
En+10
En+6

En+11
En+12

18

OSAMU IYAMA, MARTIN KALCK, MICHAEL WEMYSS, AND DONG YANG

P
P
Pn+12
then it is easy to see that Z := 2i=1 Ei + n+2
i=3 2Ei +
i=n+3 Ei satisfies Z · Ei ≤ 0 for
all 1 ≤ i ≤ n + 12, hence Z ∈ Ztop . We denote Z as
1
1

Z=

1

1

2

2

1
1

···

2

2

1

1
1
1

1

1

From this we see that
−2
0

(Z · Ei )n+12
i=1 =

0

0

0

0

···

0

−1

−1

−2
−2

0
0

−2
−2
−2

P
P
Pn+12
so Z ∈ Ztop and Z · Z = Z · ( 2i=1 Ei + n+2
i=3 2Ei +
i=n+3 Ei ) = 0 + 2(−1) + (−1 −
2 − 2 − 2 − 2 − 2 − 2) = −15. Hence condition (2) in 4.22 is satisfied. For condition
(3), by the standard Laufer algorithm, Zf = Z, so Zf · Zf = −15. P
On the other hand
P
2
2
a
(−E
−2)
=
4+1+1+1+1+1+1+1+1+1
=
13,
so
Z
·Z
+
f
f
i
i∈I ai (−Ei −2) =
i∈I i
−15 + 13 = −2, as required.
Now in the above diagrams, for clarity we have drawn a box around the curves that get
contracted to form X C . Hence a Γ = EndR (N C ) corresponding to (4.E) has the GP finite
type corresponding to cyclic groups, by 4.10 applied to EndR (N C ). Similarly, a Γ corresponding to (4.F) has the GP finite type corresponding to binary dihedral groups, (4.G)
corresponds to binary tetrahedral groups, and (4.G) corresponds to binary octahedral
groups.
Now each of the above trees has more than one vertex that meets precisely three edges,
so by the classification [L73, §1 p2] they are not pseudo–taut, and further in each of the
above trees there exists a vertex that meets precisely four edges, so by the classification
[L73, §2 p2] they are not taut. This means that in 4.22 there are uncountably many
(non-isomorphic) R corresponding to each of the above labelled trees. For each such
R we thus obtain an Iwanaga–Gorenstein ring EndR (N C ) with the desired properties,
and further if R and R′ both correspond to the same labelled graph, but R ≇ R′ , then
EndR (N C ) ≇ EndR′ (N C ) since the centers of EndR (N C ) and EndR′ (N C ) are R and R′
respectively. Hence, since there are uncountably many such R, there are uncountably
many such Iwanaga–Gorenstein rings.

We give, in §6.1, some explicit examples illustrating 4.19 in the case G = Z2 .
Remark 4.23. We remark that the method in the above proof cannot be applied to E8 ,
since it is well-known that the rational tree E8 (labelled with −2’s) cannot be a (strict)
subtree of any rational tree [TT, 3.11].
5. Relationship to relative singularity categories
fS

gS

In the notation of §4, let Y −→ X S −→ Spec R be a factorization of the minimal
resolution of a rational surface singularity, with S ⊆ I. Let Λ be the reconstruction
algebra of R and e ∈ Λ be the idempotent corresponding
L to the identity endomorphism
of the special Cohen–Macaulay R-module N S = R ⊕ ( i∈I\S Mi ).

Definition 5.1. (1) A triangle functor Q : C → D is called a quotient functor if the
induced functor C/ ker Q → D is a triangle equivalence. Here ker Q ⊆ C denotes the full
subcategory of objects X such that Q(X) = 0.
F
G
(2) A sequence of triangulated categories and triangle functors U → T → Q is called exact
if G is a quotient functor with kernel U, and F is the natural inclusion.

FROBENIUS CATEGORIES VIA GORENSTEIN ALGEBRAS

19

In this section, we extend triangle equivalences from 4.10 to exact sequences of triangulated categories. In particular, this yields triangle equivalences between the relative
singularity categories studied in [BK, KY, K13].
Proposition 5.2. There exists a commutative diagram of triangulated categories and
functors such that the horizontal arrows are equivalences and the columns are exact.
thick

L

i∈S

_


OEi (−1)

∼

/ thick(mod Λ/ΛeΛ)
_


Db (coh
RHomY (V∅ ,−)
LY )
∼
M
thick OY ⊕
i
i∈I\S
Rf∗S


Dsg (X S )

RHomX S (VS ,−)
∼


b
/ D (mod Λ)
thick(Λe)

(5.A)

e(−)


/ Dsg (eΛe)

By an abuse of notation, the induced triangle functors in the lower square are labelled by
the inducing triangle functors from the diagram in 4.6.
Proof. We start with the lower square. Since the corresponding diagram in 4.6 commutes,
it suffices to show that the induced functors
L above are well-defined. Clearly, the equivalence RHomY (V∅ , −) from 4.6 maps OY ⊕( i∈I\S Mi ) to Λe. Hence, it induces an equivalence on the triangulated quotient categories. Since RHomX S (VS , −) is an equivalence
by 4.6 and the subcategories Perf(X S ) respectively Perf(eΛe) can be defined intrinsically,
we get a well-defined equivalence on the bottom of diagram (5.A). The functor on the right
is a well-defined quotient functor by 2.14. Now, the functor on the left is a well-defined
quotient functor by the commutativity of the diagram in 4.6 and the considerations above.
The category thick(mod Λ/ΛeΛ) is the kernel of the quotient functor e(−), by 2.14.
Since R has isolated singularities,
the
 algebra Λ/ΛeΛ is always finite dimensional and so
L
thick(mod Λ/ΛeΛ) = thick
i∈S Si , where Si denotes the simple Λ-module corresponding to the vertex i in the quiver of Λ. But under the derived equivalence RHomY (V∅ , −),
that we can identify
the subcateSi corresponds to OEi (−1)[1] [V04,

L 3.5.7], so it followsL
gory thick(mod Λ/ΛeΛ) = thick
i∈S OEi (−1) , inducing the top
i∈S Si with thick
half of the diagram.

Remark 5.3. The functor RHomX S (VS , −) identifies Perf(X S ) with Perf(eΛe) ∼
= thick(Λe) ⊆
Db (mod Λ). Hence, applying the quasi-inverseL
of RHomY (V
,
−)
to
thick(Λe)
yields a
 ∅
triangle equivalence Perf(X S ) ∼
= thick OY ⊕ ( i∈I\S Mi ) . In particular, there is an
equivalence
Db (coh Y ) ∼ Db (mod Λ)
−→
.
thick(Λe)
Perf(X S )

(5.B)


L
Analysing the commutative diagram in 4.6 shows that Perf(X S ) ∼
= thick OY ⊕( i∈I\S Mi )
is obtained as a restriction of L(f S )∗ .
If we contract only (−2)-curves (i.e. if S ⊆ C holds), then we know that Dsg (X S )
splits into a direct sum of singularity categories of ADE–surface singularities (4.10). In
this case, it turns out that the diagram above admits an extension to the right and that
in fact all the triangulated categories in our (extended) diagram split into blocks indexed
by the singularities of the Gorenstein scheme X S .
bX S ,x , and let
Let us fix some notation. For a singular point x ∈ Sing X S let Rx = O
fx : Yx → Spec Rx be the minimal resolution of singularities.
Proposition 5.4. Assume S ⊆ C. There exists a commutative diagram of triangulated
categories and functors such that the horizontal arrows are equivalences and the columns

20

OSAMU IYAMA, MARTIN KALCK, MICHAEL WEMYSS, AND DONG YANG

are exact.
thick(mod Λ/ΛeΛ)
_

Db (mod Λ)
thick(Λe)

∼

∼

L

/

x∈Sing X S

L

/

x∈Sing X S

e(−)


Dsg (eΛe)

∼

/

L

ker(R(fx )∗ )
_

Db (coh Yx )
Perf(Rx )
L

x∈Sing X S



(5.C)
R(fx )∗

Dsg (Rx )

x∈Sing X S

Proof. We need some preparation. Note that by the derived McKay correspondence [KV,
BKR], there are derived equivalences Db (coh Yx ) → Db (mod Πx ), where Πx is the Auslander algebra of the Frobenius category of maximal Cohen–Macaulay RL
x -modules CM(Rx ).
Now we have two Frobenius categories E1 := SCMN S (R) and E2 := x∈Sing X S CM(Rx ),
which clearly satisfy the conditions (FM1)–(FM4) in [KY, Subsection 4.4] and whose stable categories are Hom-finite and idempotent complete. Further, E1 and E2 are stably
equivalent by 4.10.
Now, by [KY, 4.7(b)] there are triangle equivalences

(5.D)
Db (mod Λ)/ thick(Λe) ∼
= per Λdg (E 1 )
M

(5.E)
Db (mod Πx )/ Perf(Rx ) ∼
= per Λdg (E 2 )
x∈Sing X S

where by definition Λdg (E 1 ) and Λdg (E 2 ) are dg algebras that depend only on (the triangulated structure of) the stable Frobenius categories E 1 and E 2 (the quotient category
Db (mod Λ)/ thick(Λe) is idempotent complete by [K13, 2.69(a)] combined with 3.2 and
the completeness of R). Hence, since E1 and E2 are stably equivalent, these two dg algebras are isomorphic. Thus the combination of the equivalences (5.D) and (5.E) yields a
triangle equivalence

M Db mod Πx
Db (mod Λ)
−→
(5.F)
thick(Λe)
Perf(Rx )
S
x∈Sing X

which, in conjunction with the derived McKay Correspondence, yields the equivalence of
triangulated categories in the middle of (5.C). L
Furthermore, the functors HomΛ (Λe, −) and x∈Sing X S R(fx )∗ are quotient functors
L
with kernels thick(mod Λ/ΛeΛ) and x∈Sing X S ker(R(fx )∗ ), respectively. These subcategories admit intrinsic descriptions (c.f. [KY, Corollary 6.17]). Hence, there is an induced
equivalence, which renders the upper square commutative. This in turn induces an equiv
alence on the bottom of (5.C), such that the lower square commutes.
Remark 5.5. Using (5.B) together with an appropriate adaption of the techniques developed in [BK] may yield a more direct explanation for the block decomposition in (5.C).
6. Examples
In this section we illustrate some of the previous results with some examples. Our
construction in §2 relies on finding some M such that gl.dim EndΛ (Λ ⊕ M ) < ∞, so we
give explicit examples of when this occurs in both finite dimensional algebras, and in
geometry.
6.1. Iwanaga–Gorenstein rings of finite GP type. As a special case of 4.19, there
are uncountably many Iwanaga–Gorenstein rings Γ with the property that GP(Γ) ≃
1
CM(C[[x, y]] 2 (1,1) ). This category has only one indecomposable object, and is the simplest possible triangulated category. Here we show that the abstract setting in 4.19 can
be used to give explicit examples of such Γ, presented as a quiver with relations.

FROBENIUS CATEGORIES VIA GORENSTEIN ALGEBRAS

21

Definition 6.1. For all n ≥ 3, we define the algebra Λn to be the path algebra of the
following quiver
a
b
s1
s.2
.
sn

(where there are n arrows from right to left), subject to the relations
sn−1 bsn = sn bsn−1
asn = (bsn−1 )2
2
sn a = (sn−1
b)
asi+1 = bsi
for all 1 ≤ i ≤ n − 2.
si+1 a = si b
b n is an Iwanaga–
Our main result (6.2) shows that for all n ≥ 3 the completion Λ
1
b
b
Gorenstein ring with inj.dim Λn = 3, such that GP(Λn ) ≃ CM(C[[x, y]] 2 (1,1) ). Before we
can prove this, we need some notation. Let n ≥ 3, set m := 2n − 1 and consider the group


1
εm 0
(1, 2) :=
0 ε2m
m
1

where εm is a primitive mth root of unity. The invariants C[x, y] m (1,2) are known to be
generated by
a := xm , b1 := xm−2 y, b2 := xm−4 y 2 , . . . , bn−1 := xy n−1 , c := y m
which abstractly as a commutative ring is C[a, b1 , . . . , bn−1 , c] factored by the relations
given by the 2 × 2 minors of the matrix


a b1 b2 . . . bn−2 b2n−1
.
b1 b2 b3 . . . bn−1
c
We denote this (non-complete) commutative ring by R. This singularity is toric, and the
minimal resolution of Spec R is well-known to have dual graph
−n

−2

1
Theorem 6.2. Let n ≥ 3, set m := 2n − 1 and consider G := m
(1, 2). Denote R :=
G
C[x, y] , presented as C[a, b1 , . . . , bn−1 , c]/(2 × 2 minors) as above. Then
(1) The R-ideal (a, b1 ) is the non-free special CM R-module corresponding to the (−n)curve in the minimal resolution of Spec R.
(2) Λn ∼
= EndR (R ⊕ (a, b1 )).
b n is an Iwanaga–Gorenstein ring with
In particular, by completing both sides of (2), Λ
1
b n whenever
b
b n′ ≇ Λ
b
inj.dim Λn = 3, such that GP(Λn ) ≃ CM(C[[x, y]] 2 (1,1) ). Further Λ
′
n 6= n.

∼ Zm over C. Since
Proof. (1) Let ρ0 , . . . , ρm−1 be the irreducible representations of G =
R = C[x, y]G , we can consider the CM R modules Si := (C[x, y] ⊗C ρi )G . It is a well
known result of Wunram [W87] that the special CM R-modules in this case are R = S0 ,
S1 and S2 , with S2 corresponding to the (−n)-curve. We remark that Wunram proved
this result under the assumption that R is complete, but the result is still true in the
non-complete case [C11, W11a]. Further, S2 is generated by x2 , y as an R-module [W87].
It is easy to check that under the new coordinates, S2 is isomorphic to (a, b1 ).
(2) We prove this using key varieties.
(1) (2)
(1)
(2)
Step 1. Consider the commutative ring C[a, b1 , b1 , . . . , bn−1 , bn−1 , c] factored by the
relations given by the 2 × 2 minors of the matrix
!
(1)
(1)
(1)
(1)
a b1
b2
. . . bn−2 bn−1
.
(2)
(2)
(2)
(2)
b1
b2
b3
. . . bn−1
c
We denote this factor ring by S. We regard Spec S as a key variety which we then cut (in
Step 4) to obtain our ring R.

22

OSAMU IYAMA, MARTIN KALCK, MICHAEL WEMYSS, AND DONG YANG
(2)

Step 2. We blowup the ideal (a, b1 ) of S to give a variety, denoted Y , covered by the
two affine opens
(2)

(2)

(2)

C[b1 , b2 , . . . , bn−1 , c,

a
(2)
b1

(1)

]

(1)

(1)

(2)

C[a, b1 , b2 , . . . , bn−1 ,

b1
a

]

The resulting map f : Y → Spec S has fibres at most one-dimensional, so we know from
[V04] that Y has a tilting bundle. Using the above explicit open cover and morphism,
there is an ample line bundle L on Y generated by global sections, satisfying L · E = 1
(where E is the P1 above the origin), with the property that H 1 (L∨ ) = 0. This means, by
[V04, 3.2.5], that V := O ⊕ L is a tilting bundle. As is always true in the one-dimensional
fibre tilting setting (where f is projective birational between integral normal schemes),
EndY (O ⊕ L) ∼
= EndS (S ⊕ f∗ L). In the explicit construction of Y above, it is clear that
(2)
(2)
f∗ L = (a, b1 ). This shows that EndS (S ⊕ (a, b1 )) is derived equivalent to Y .
(2)

Step 3. We present EndS (S ⊕ (a, b1 )) as a quiver with relations. This is easy, since Y is
smooth. We have
!
(2)
S
(a, b1 )
(2)
∼
,
EndS (S ⊕ (a, b1 )) =
(2)
(a, b1 )∗
S
and we can check that all generators can be seen on the diagram
a
(2)
b1

S

(2)

(a,b1 )

inc
ψ2
..
ψn
(1)

where ψi :=

bi−1
a

(1)

(2)

=

the quiver Q

bi

(2)
b1

bn−1
a

for all 2 ≤ i ≤ n − 1, and ψn :=

=

c
(2) .
b1

Thus if we consider

a
b
s1
s.2
.
sn

with relations R
asi b = bsi a
si asj = sj asi

for all 1 ≤ i ≤ n
for all 1 ≤ i < j ≤ n.

then there is a natural surjective ring homomorphism
(2)

CQ/R → EndS (S ⊕ (a, b1 )).
But everything above is graded (with arrows all having grade one), and so a Hilbert series
calculation shows that the above ring homomorphism must also be bijective.
Step 4. We base change, and show that we can add central relations to the presentation
(2)
of EndS (S ⊕ (a, b1 )) in Step 3 to obtain a presentation for EndR (R ⊕ (a, b1 )).
(1)
(2)
Factoring S by the regular element b1 − b1 we obtain a ring denoted R1 . Factoring
(1)
(2)
R1 by the regular element b2 − b2 we obtain a ring denoted R2 . Continuing in this
(1)
(2)
(1)
(2)
manner, factor Rn−3 by bn−2 −bn−2 to obtain Rn−2 . Finally, factor Rn−2 by bn−1 −(bn−1 )2
to obtain Rn−1 , which by definition is the ring R in the statement of the theorem. At each
step, we are factoring by a regular element. Taking the pullbacks we obtain a commutative
diagram
Yn−1

in−1

in−2

...

i2

fn−2

fn−1
Spec R

Yn−2

jn−1

Spec Rn−2

Y1

i1

f

f1
jn−2

...

j2

Spec R1

Y

j1

Spec S

By [W12], under the setup above Vn−1 := i∗n−1 . . . i∗1 V is a tilting bundle on Yn−1 with
(2)
∗
∗
. . . j1∗ EndS (f∗ V) ∼
EndYn−1 (Vn−1 ) ∼
. . . j1∗ EndS (S ⊕ (a, b1 )). But on the
= jn−1
= jn−1

FROBENIUS CATEGORIES VIA GORENSTEIN ALGEBRAS

23

other hand, fn−1 is a projective birational morphism with fibres at most one-dimensional
between integral normal schemes, and so
EndY (Vn−1 ) ∼
= EndR (R ⊕ (a, b1 )).
= EndR (j ∗ . . . j ∗ f∗ V) ∼
= EndR ((fn−1 )∗ Vn−1 ) ∼
n−1

n−1

1

where the middle isomorphism follows by iterating [IU, 8.1]. Thus EndR (R ⊕ (a, b1 )) ∼
=
(2)
∗
jn−1
. . . j1∗ EndS (S ⊕ (a, b1 )). Since by definition each jt∗ factors by a regular element,
(2)
we obtain EndR (R ⊕ (a, b1 )) from the presentation of EndS (S ⊕ (a, b1 )) in Step 3 by
factoring out by the central relations corresponding to the regular elements. Now, via the
explicit form in Step 3, these are
(1)

(2)

b1 − b1
(1)

(2)

bn−2 − bn−2
(1)
(2)
bn−1 − (bn−1 )2

↔ (as2 + s2 a) − (bs1 + s1 b)
..
.
↔ (asn−1 + sn−1 a) − (bsn−2 + sn−2 b)
↔ (asn + sn a) − (bsn−1 + sn−1 b)2 .

Step 5. We justify that Λn ∼
= EndR (R ⊕ (a, b1 )). From Step 4 we know that EndR (R ⊕
(a, b1 )) can be presented as
a
b
s1
s.2
.
sn

subject to the relations
asi b = bsi a
si asj = sj asi
asn = (bsn−1 )2
sn a = (sn−1 b)2
asi+1 = bsi
si+1 a = si b

for all 1 ≤ i ≤ n
for all 1 ≤ i < j ≤ n.

for all 1 ≤ i ≤ n − 2
for all 1 ≤ i ≤ n − 2.

This is a non-minimal presentation, since some relations can be deduced from others. It
is not difficult to show that the non-minimal presentation above can be reduced to the
relations defining Λn . This proves (2).
bn ∼
For the final statement in the theorem, by completing both sides we see that Λ
=
EndRb (N C ), which by 4.8 is derived equivalent to the rational double point resolution X C
b Since by construction X C has only one singularity, of type 1 (1, 1), GP(Λ
b n) ≃
of Spec R.
2
1
1
(1,1)
b n is C[[x, y]] 2n−1 (1,2) ,
CM(C[[x, y]] 2
) follows from 4.10. Finally, since the center of Λ
b n′ ≇ Λ
b n.
it follows that n′ 6= n implies Λ


6.2. Frobenius structures on module categories. Let K be a field and denote D :=
HomK (−, K). Here we illustrate our main theorem 2.7 in the setting of finite dimensional
algebras. Using both 2.7 and 2.16, we recover the following result due to Auslander–
Solberg [AS2], which is rediscovered and generalised by Kong [K12].
Proposition 6.3. Let Λ be a finite dimensional algebra and N a functorially finite subcategory of mod Λ satisfying Λ ⊕ DΛ ∈ N and τ N = N where τ is the AR translation.
Then mod Λ has a structure of a Frobenius category such that the category of projective
objects is add N , and we have an equivalence mod Λ → GP(N ), X 7→ HomΛ (X, −)|N .

Proof. By 2.16, we have a new structure of a Frobenius category on mod Λ whose projective–
injective objects are add N . Applying 2.8 to (E, M, P) := (mod Λ, mod Λ, add N ), we have
the assertion since mod(mod Λ) has global dimension at most two and mod Λ is idempotent complete.

The following result supplies a class of algebras satisfying the conditions in 6.3. It
generalises [K12, 3.4] in which Γ is the path algebra of a Dynkin quiver. Below ⊗ := ⊗K .
Proposition 6.4. Let ∆ and Γ be finite-dimensional K-algebras. Assume that ∆ is
selfinjective. Then Λ = ∆ ⊗ Γ and N = ∆ ⊗ mod Γ := {∆ ⊗ M | M ∈ mod Γ} satisfy the
conditions in 6.3. Consequently, we have an equivalence
mod Λ ∼
= GP(∆ ⊗ mod Γ).

24

OSAMU IYAMA, MARTIN KALCK, MICHAEL WEMYSS, AND DONG YANG

Proof. Since ∆ is selfinjective, both Λ = ∆ ⊗ Γ and DΛ = D(∆ ⊗ Γ) = D∆ ⊗ DΓ = ∆ ⊗ DΓ
belong to N = ∆ ⊗ mod Γ. For M ∈ mod Γ, it follows from the next lemma that
τΛ (∆ ⊗ M ) = ν∆ (∆) ⊗ τΓ (M ). Since ∆ is selfinjective, we have ν∆ (∆) = ∆, and hence

τΛ (∆ ⊗ M ) = ∆ ⊗ τΓ (M ) ∈ ∆ ⊗ mod Γ. Thus the conditions in 6.3 are satisfied.
Lemma 6.5. Let ∆ and Γ be finite-dimensional K-algebras and Λ = ∆ ⊗ Γ. Then for a
finite-dimensional Γ-module M and a finitely generated projective ∆-module P , we have
τΛ (P ⊗ M ) = ν∆ (P ) ⊗ τΓ (M ), where ν∆ = D Hom∆ (−, ∆) is the Nakayama functor.
Proof. This is shown in the proof of [K12, 3.4] for the case when ∆ is self-injective and
Γ is the path algebra of a Dynkin quiver. The proof there works more generally in our
setting. For the convenience of the reader we include it here.
f
Let Q−1 → Q0 be a minimal projective presentation of M over Γ. Then
idP ⊗f

P ⊗ Q−1 −−−−→ P ⊗ Q0
is a minimal projective presentation of P ⊗M over ∆⊗Γ. We apply νΛ = D Hom∆⊗Γ (−, ∆⊗
Γ) and by the definition of τ we obtain an exact sequence
ν(idP ⊗f )

0 → τΛ (P ⊗ M ) → νΛ (P ⊗ Q−1 ) −−−−−−→ νΛ (P ⊗ Q0 ).

(6.A)

Observe that for a finitely generated projective Γ-module Q we have
νΛ (P ⊗ Q) = D Hom∆⊗Γ (P ⊗ Q, ∆ ⊗ Γ) = D(Hom∆ (P, ∆) ⊗ HomΓ (Q, Γ))
= ν∆ (P ) ⊗ νΓ (Q).
Therefore the sequence (6.A) is equivalent to
ν(idP )⊗ν(f )

0 → τΛ (P ⊗ M ) → ν∆ (P ) ⊗ νΓ (Q−1 ) −−−−−−−−→ ν∆ (P ) ⊗ νΓ (Q0 ).
It follows that τΛ (P ⊗ M ) = ν∆ (P ) ⊗ τΓ (M ), as desired.



Remark 6.6. Let ∆, Γ and Λ be as in 6.4. Assume further that Γ has finite representation
type and let Aus(Γ) denote the Auslander algebra of Γ, i.e. the endomorphism algebra of
an additive generator of mod Γ.
(1) The algebra ∆ ⊗ Aus(Γ) is Iwanaga–Gorenstein and we have an equivalence
mod Λ ∼
= GP(∆ ⊗ Aus(Γ)).
(2) If in addition mod Γ has no stable τ -orbits, then any subcategory of ∆ ⊗ mod Γ
satisfying the conditions in 6.3 already additively generates ∆ ⊗ mod Γ. In this sense,
∆ ⊗ Aus(Γ) is smallest possible.
6.3. Frobenius categories arising from preprojective algebras. Let Q be a finite
quiver without oriented cycles and let W be the Coxeter group associated to Q with
generators si , i ∈ Q0 . Let K be a field, let Λ be the associated preprojective algebra
over K and let ei be the idempotent of Λ corresponding to the vertex i of Q. Denote
Ii = Λ(1 − ei )Λ.
For an element w ∈ W with reduced expression w = si1 · · · sik , let Iw = Ii1 · · · Iik and
set Λw = Λ/Iw . As a concrete example, if Q is the quiver of type A3 and w = s2 s1 s3 s2 ,
then Λw is given by the following quiver with relations
a
1

a∗

b
2

b∗

3

aa∗ = 0
ab = 0

b∗ b = 0
b a = 0.

a∗ a = bb∗

∗ ∗

Note that Iw and Λw do not depend on the choice of the reduced expression. By [BIRSc,
III.2.2], Λw is finite-dimensional and is Iwanaga–Gorenstein of dimension at most 1. In
this case, the category of Gorenstein projective Λw -modules coincides with the category
Sub Λw of submodules of finitely generated projective Λw -modules. By [BIRSc, III.2.3,
III.2.6], Sub Λw is a Hom-finite stably 2-Calabi–Yau Frobenius category and it admits
a cluster-tilting object Mw . These results were stated in [BIRSc] only for non-Dynkin
quivers, but they also hold for Dynkin quivers.
Another family of Hom-finite stably 2-Calabi–Yau Frobenius categories with clustertilting object are constructed by Geiß, Leclerc and Schröer in [GLS]. Precisely, for a

FROBENIUS CATEGORIES VIA GORENSTEIN ALGEBRAS

25

terminal module M over KQ (i.e. M is preinjective and add M is closed under taking the
inverse Auslander–Reiten translation), consider CM = π −1 (add M ) ⊆ nil Λ, where nil Λ is
the category of finite-dimensional nilpotent representations over Λ and π : nil Λ → mod kQ
is the restriction along the canonical embedding KQ → Λ. Geiß, Leclerc and Schröer show
that CM admits the structure of a Frobenius category which is stably 2-Calabi–Yau with a
∨
cluster tilting object TM
. To M is naturally associated an element w of W . By comparing
∨
TM with Mw , they show that there is an anti-equivalence CM → Sub Λw [GLS, §22.7].
We now explain how the results in this paper can be used to give a different proof of
the equivalence CM ∼
= Sub Λop
w .
In [GLS, §8.1], an explicit construction of a projective generator IM of the Frobenius category CM is given. One can check that EndCM (IM ) ∼
= Λop
w . By [GLS, 13.6(2)],
∨
∨
EndCM (TM ) has global dimension 3. Since TM has IM as a direct summand, it follows
from 2.7 that
CM ∼
= GP(Λop
w ),
op
op
op
∼
and since inj.dim Λw = 1, we have GP(Λw ) = Sub Λop
w . Thus CM = Sub Λw follows.
Acknowledgements. The first author was supported by JSPS Grant-in-Aid for Scientific Research 21740010, 21340003, 20244001 and 22224001. The first and third authors
were partially supported by the EMS Research Support Fund. The second author was
supported by the DFG grant Bu-1866/2-1.The fourth author was supported by the DFG
program SPP 1388 Ko-1281/9-1.
References
[AIR]

C. Amiot, O. Iyama and I. Reiten, Stable categories of Cohen–Macaulay modules and cluster
categories, arXiv:1104.3658.
[A66a] M. Artin, On isolated rational singularities of surfaces. Amer. J. Math. 88 (1966) 129–136.
[A66b] M. Auslander, Coherent functors, 1966 Proc. Conf. Categorical Algebra (La Jolla, Calif., 1965)
pp. 189–231 Springer, New York.
[A71]
M. Auslander, Representation dimension of Artin algebras, With the assistance of Bernice Auslander. Queen Mary College Mathematics Notes, London, 1971.
[A78]
M. Auslander, Functors and morphisms determined by objects, Representation theory of algebras
(Proc. Conf., Temple Univ., Philadelphia, Pa., 1976), pp. 1–244. Lecture Notes in Pure Appl.
Math., Vol. 37, Dekker, New York, 1978.
[A86]
M. Auslander, Rational singularities and almost split sequences, Trans. Amer. Math. Soc. 293
(1986), no. 2, 511–531.
[AB69] M. Auslander, M. Bridger, Stable module theory. Memoirs of the American Mathematical Society,
94 American Mathematical Society, Providence, R.I. 1969, 146 pp.
[AG60] M. Auslander and O. Goldman, Maximal orders, Trans. Amer. Math. Soc. 97 (1960), 1–24.
[AS1]
M. Auslander, O. Solberg, Relative homology and representation theory. I. Relative homology
and homologically finite subcategories, Comm. Algebra 21 (1993), no. 9, 2995–3031.
[AS2]
M. Auslander, O. Solberg, Gorenstein algebras and algebras with dominant dimension at least
2, Comm. Algebra 21 (1993), no. 11, 3897–3934.
[BKR] T. Bridgeland, A. King, and M. Reid, The McKay correspondence as an equivalence of derived
categories, J. Amer. Math. Soc. 14 (2001), no. 3, 535–554.
[B68]
E. Brieskorn, Rationale singularitäten komplexer flächen, Invent. Math. 4 (1968), 336–358.
[BIRSc] A. B. Buan, O. Iyama, I. Reiten and J. Scott, Cluster structures for 2-Calabi–Yau categories
and unipotent groups, Compositio Math. 145 (2009), 1035–1079.
[B86]
R.-O. Buchweitz, Maximal Cohen–Macaulay modules and Tate–cohomology over Gorenstein
rings, preprint, 1986.
[BH]
R.-O. Buchweitz and L. Hille, Hochschild (Co-)Homology of Schemes with Tilting Object, Trans.
AMS. 365 (2013) no. 6, 2823–2844.
[BK]
I. Burban and M. Kalck, Relative singularity category of a non-commutative resolution of singularities, Adv. Math. 231 (2012), no. 1, 414–435.
[C09]
X-W. Chen, Singularity Categories, Schur Functors and Triangular Matrix Rings, Algebr. Represent. Theory 12 (2009), no. 2-5, 181–191.
[C10]
X-W. Chen, Unifying two results of Orlov on singularity categories, Abh. Math. Semin. Univ.
Hambg. 80 (2010), no. 2, 207–212.
[C12]
X–W. Chen, Three results on Frobenius categories, Math. Z., 270 (2012), 43–58.
[C11]
A. Craw, The special McKay correspondence as an equivalence of derived categories, Q. J. Math.
62 (2011), no. 3, 573–591.
[DK]
Y. A. Drozd and V. V. Kirichenko, Finite-dimensional algebras, Translated from the 1980 Russian
original and with an appendix by Vlastimil Dlab. Springer-Verlag, Berlin, 1994. xiv+249 pp.
[DR]
V. Dlab and C. M. Ringel, Every semiprimary ring is the endomorphism ring of a projective
module over a quasihereditary ring, Proc. Amer. Math. Soc. 107 (1989), no. 1, 1–5.

26

OSAMU IYAMA, MARTIN KALCK, MICHAEL WEMYSS, AND DONG YANG

[DRSS] P. Dräxler, I. Reiten, S. O. Smalø, Ø. Solberg, Exact categories and vector space categories, With
an appendix by B. Keller, Trans. Amer. Math. Soc. 351 (1999), no. 2, 647–682.
[E80]
D. Eisenbud, Homological algebra on a complete intersection, with an application to group representations, Trans. Amer. Math. Soc. 260 (1980) 35–64.
[EJ00] E. Enochs and O. Jenda, Relative homological algebra. de Gruyter Expositions in Mathematics,
30. Walter de Gruyter & Co., Berlin, 2000. xii+339 pp.
[G62a] P. Gabriel, Des catégories abéliennes, Bull. Soc. Math. France, 90, (1962), 323–448.
[GLS] C. Geiss, B. Leclerc and J. Schröer, Cluster algebra structures and semicanonical bases for
unipotent groups, arXiv:0703039v4.
[G06]
V. Ginzburg, Calabi–Yau algebras, arXiv:math/0612139.
[GN]
S. Goto, K. Nishida, Finite modules of finite injective dimension over a Noetherian algebra, J.
London Math. Soc. (2) 63 (2001), no. 2, 319–335.
[G62b] H. Grauert, Über Modifikationen und exzeptionelle analytische Mengen. Math. Ann. 146 (1962)
331–368.
[H88]
D. Happel, Triangulated categories in the representation theory of finite-dimensional algebras.
London Mathematical Society Lecture Note Series, 119. Cambridge University Press, Cambridge,
1988.
[IU]
A. Ishii and K. Ueda, Dimer models and exceptional collections, arXiv:0911.4529.
[I03]
O. Iyama, Finiteness of representation dimension, Proc. Amer. Math. Soc. 131, (2003), no. 4,
1011–1014.
[IR08] O. Iyama and I. Reiten, Fomin-Zelevinsky mutation and tilting modules over Calabi-Yau algebras, Amer. J. Math. 130 (2008), no. 4, 1087–1149.
[IW1]
O. Iyama and M. Wemyss, The classification of special Cohen-Macaulay modules, Math. Z. 265
(2010), no. 1, 41–83.
[IW2]
O. Iyama and M. Wemyss, A New Triangulated Category for Rational Surface Singularities,
Illinois J. Math. 55 (2011), no. 1, 325–341.
[IW3]
O. Iyama and M. Wemyss, Singular derived categories of Q-factorial terminalizations and maximal modification algebras, Adv. Math. 261 (2014), 85–121.
[K13]
M. Kalck, Relative singularity categories, Ph.D. Thesis, Universität Bonn, 2013,
urn:nbn:de:hbz:5n-34275, available at http://hss.ulb.uni-bonn.de/2013/3427/3427.htm.
[KY]
M. Kalck and D. Yang, Relative singularity categories I: Auslander resolutions,
arXiv:1205.1008v2.
[KV]
M. Kapranov and E. Vasserot, Kleinian singularities, derived categories and Hall algebras, Math.
Ann. 316 (2000), no. 3, 565–576.
[K90]
B. Keller, Chain complexes and stable categories, Manuscripta Mathematica 67 (1990), 379-417.
[K96]
B. Keller, Derived categories and their uses, Handbook of algebra, Vol. 1, 671–701, NorthHolland, Amsterdam, 1996.
[KMV] B. Keller, D. Murfet, M. Van den Bergh, On two examples by Iyama and Yoshino, Compos.
Math. 147 (2011), no. 2, 591–612.
[KV]
B. Keller and D. Vossieck, Sous les catégories dérivées, C. R. Acad. Sci. Paris Sér. I Math. 305
(1987), no. 6, 225–228.
[K12]
F. Kong, Generalization of the correspondence about DTr-selfinjective algebras, arXiv:1204.0967.
[L73]
H. Laufer, Taut two-dimensional singularities, Math. Ann. 205 (1973), 131–164.
[MR87] J. C. McConnel and J. C. Robson, Noncommutative noetherian rings, John Wiley & Sons (1987).
[M91] J–I. Miyachi, Localization of triangulated categories and derived categories, J. Algebra 141
(1991), no. 2, 463–483.
[N96]
A. Neeman, The Grothendieck duality theorem via Bousfield’s techniques and Brown representability, J. Amer. Math. Soc. 9 (1996), no. 1, 205–236.
[O04]
D. Orlov, Triangulated categories of singularities and D-branes in Landau-Ginzburg models,
Proc. Steklov Inst. Math. 2004, no. 3 (246), 227–248.
[Or09] D. Orlov, Formal completions and idempotent completions of triangulated categories of singularities, Adv. Math. 226 (2011), no. 1, 206–217.
[R93]
M. Reid, Chapters on algebraic surfaces, in Complex algebraic varieties, J. Kollár (Ed.),
IAS/Park City lecture notes series (1993 volume), AMS, Providence R.I., 1997, 1–154.
[R77]
O. Riemenschneider, Die Invarianten der endlichen Untergruppen von GL(2, C), Math. Z. 153
(1977), no. 1, 37–50.
[RV]
I. Reiten and M. Van den Bergh, Noetherian hereditary abelian categories satisfying Serre duality,
J. Amer. Math. Soc. 15 (2002), no. 2, 295–366.
[RRW] O. Riemenschneider, A.Röhr and J.M. Wahl, A vanishing theorem concerning the Artin component of a rational surface singularity, Math. Ann. 286 (1990), no. 1–3, 529–535.
[RZ]
C. M. Ringel and P. Zhang, Representations of quivers over the algebra of dual numbers,
arXiv:1112.1924.
[R08]
R. Rouquier, Dimensions of triangulated categories, J. K-Theory 1 (2008), no. 2, 193–256.
[SVdB] J. T. Stafford and M. Van den Bergh, Noncommutative resolutions and rational singularities,
Special volume in honor of Melvin Hochster, Michigan Math. J. 57 (2008), 659–674.
[TT]
L. D. Tráng and M. Tosun, Combinatorics of rational singularities, Comment. Math. Helv. 79
(2004), no. 3, 582–604.

FROBENIUS CATEGORIES VIA GORENSTEIN ALGEBRAS

27

[V04]

M. Van den Bergh, Three-dimensional flops and noncommutative rings, Duke Math. J. 122
(2004), no. 3, 423–455.
[V04b] M. Van den Bergh, Non-commutative crepant resolutions, The legacy of Niels Henrik Abel,
749–770, Springer, Berlin, 2004.
[V96]
J–L. Verdier, Des catégories dérivées des catégories abéliennes, Société Mathématique de France,
Astérisque 239 (1996), xii+253 pp.
[W11a] M. Wemyss, Reconstruction Algebras of Type A, Trans. Amer. Math. Soc. 363 (2011), 3101–3132.
[W11b] M. Wemyss, The GL(2, C) McKay correspondence, Math. Ann. 350, no. 3, (2011), 631–659.
[W12] M. Wemyss, MMAs via key varities, in preparation.
[W87] J. Wunram, Reflexive modules on cyclic quotient surface singularities, Lecture Notes in Mathematics, Springer-Verlag 1273 (1987), 221–231.
[W88] J. Wunram, Reflexive modules on quotient surface singularities, Math. Ann. 279 (1988), no. 4,
583–598.
Osamu Iyama, Graduate School of Mathematics, Nagoya University, Chikusa-ku, Nagoya,
464-8602, Japan
E-mail address: iyama@math.nagoya-u.ac.jp
Martin Kalck, The Maxwell Institute, School of Mathematics, James Clerk Maxwell
Building, The King’s Buildings, Mayfield Road, Edinburgh, EH9 3JZ, UK.
E-mail address: m.kalck@ed.ac.uk
Michael Wemyss, The Maxwell Institute, School of Mathematics, James Clerk Maxwell
Building, The King’s Buildings, Mayfield Road, Edinburgh, EH9 3JZ, UK.
E-mail address: wemyss.m@googlemail.com
Dong Yang, Department of Mathematics, Nanjing University, Nanjing 210093, P. R. China
E-mail address: dongyang2002@gmail.com

