NON-COMMUTATIVE RESOLUTIONS AND GROTHENDIECK GROUPS

arXiv:1205.4486v2 [math.AC] 23 Sep 2013

HAILONG DAO, OSAMU IYAMA, RYO TAKAHASHI AND CHARLES VIAL
Abstract. Let R be a noetherian normal domain. We investigate when R admits a faithful
module whose endomorphism ring has finite global dimension. This can be viewed as a noncommutative desingularization of Spec(R). We show that the existence of such modules forces
stringent conditions on the Grothendieck group of finitely generated modules over R. In some
cases those conditions are enough to imply that Spec(R) has only rational singularities.

1. Introduction
The use of non-commutative algebras with finite global dimension was initiated by M. Auslander in representation theory of Cohen-Macaulay rings, or more generally, orders [1, 2, 36]. He
introduced two important classes of non-commutative algebras with finite global dimension called
Auslander algebras and non-singular orders. Auslander algebras are defined as the endomorphism
algebras of additive generators in the category of Cohen-Macaulay modules over representationfinite orders. Then representation theory of representation-finite orders is encoded in the structure
of their Auslander algebras, and this picture was the starting point of Auslander-Reiten theory.
On the other hand, the representation theory of non-singular orders is most basic since all CohenMacaulay modules are projective.
Recently, the study of such algebras have found striking applications in algebraic geometry.
Perhaps the most well-known example is Van den Bergh’s definition of non-commutative crepant
resolution, usually abbreviated by NCCR ([32]). We recall Van den Bergh’s definition, in a slightly
more general setting: A reflexive module M over a commutative noetherian normal domain R is
said to give an NCCR of Spec(R) if Λ = EndR (M ) is a non-singular R-order (i.e. Λp is a maximal
Cohen-Macaulay Rp -module and gl. dim Λp = dim Rp for any p ∈ Spec(R)).
These non-commutative objects provide a particularly pleasant explanation of the Bondal-Orlov
conjecture on the derived equivalence of threefolds related by a flop. Van den Bergh’s work has
quickly generated a sizable body of research, see for example the recent survey [22].
In this note we study a weaker notion which is called a non-commutative resolution (NCR).
Definition 1.1. A finitely generated module M over a commutative noetherian ring R is said to
give a NCR of Spec(R) (or just R by abuse of notation) if M is faithful and EndR (M ) has finite
global dimension.
The assumption that M is faithful in Definition 1.1 is reasonable since, for example, any simple
R-module k gives k = EndR (k) which always has finite global dimension. Basic examples of NCRs
appeared in representation theory: Auslander algebras [1], higher Auslander algebras [17, 19] and
NCCRs [32]. It is known that NCRs exist when R is artinian, or reduced and one-dimensional (see
[22]).
We shall try to give information on the following
2010 Mathematics Subject Classification. 13D15, 14B05, 14E15, 16G30, 18G20.
Key words and phrases. Non-commutative resolutions, Grothendieck groups, rational singularities.
The first author was partially supported by NSF grants DMS 0834050 and DMS 1104017. The second author
was partially supported by JSPS Grant-in-Aid for Scientific Research 24340004, 23540045, 20244001 and 22224001.
The third author was partially supported by JSPS Grant-in-Aid for Young Scientists (B) 22740008 and by JSPS
Postdoctoral Fellowships for Research Abroad. The fourth author was supported by EPSRC Postdoctoral Fellowship
EP/H028870/1.
1

2

HAILONG DAO, OSAMU IYAMA, RYO TAKAHASHI AND CHARLES VIAL

Question 1.2. When does R have a NCR?
We give necessary conditions which focus on the Grothendieck group of the category of finitely
generated modules over R and its subcategories (see 2.1, 2.2, 2.5). Our results show that the
existence of NCRs still implies strong constraints on the singularities of R. For example, we
prove that a standard graded Cohen-Macaulay algebra R over C with only rational singularities
outside the irrelevant ideal has a NCR only if R has rational singularities (Theorem 3.11). Our
proofs utilize some non-trivial results from algebraic K-theory. For surface singularities over an
algebraically closed field, we observe that the existence of NCRs actually characterizes rational
singularities (Corollary 3.3). This adds a new member to a long list of interesting equivalent
conditions for rationality of surface singularities.
2. NCRs and Grothendieck groups
Throughout this note, we denote by R a commutative noetherian ring, and by mod R the
category of finitely generated R-modules. We denote by K0 (R) the Grothendieck group of the
abelian category mod R. When R is a normal domain, we denote by Cl(R) the class group of R.
Our main technical result (Theorem 2.5) given later in this section relates the existence of NCRs
and certain finiteness properties of Grothendieck groups and class groups. The first application is
the following, which deals with NCRs over a normal domain.
Corollary 2.1. Let R be a semilocal normal domain. If R has a NCR, then Cl(R) is a finitely
generated abelian group.
A typical example of a ring which has an infinitely generated class group is R := C[[x, y, z]]/(x3 +
y +z 3), see 3.7. In particular, R has no faithful module giving rise to a NCR by the above theorem.
This gives an answer to a question by Burban [5].
The second application of our main result is the following, which deals with NCRs given by
modules which are locally generators on the outside of a closed set of dimension at most one.
3

Corollary 2.2. Let R be a semilocal ring. If M is an R-module which is locally a generator outside
a closed subscheme of Spec(R) of dimension at most one and gives a NCR, then K0 (R) is a finitely
generated abelian group.
Let us now state and prove our key technical result. Let (−)∗ := HomR (−, R). For an R-module
M , let E := EndR (M ) and we denote by
aM : M ⊗ E M ∗ → R
the natural map sending m ⊗ f ∈ M ⊗E M ∗ to f (m).
Definition 2.3. We define the non-generating locus NG(M ) of M as the support of Cok(aM ).
For M ∈ mod R, we denote by addR M = add M the full subcategory of mod R consisting of
direct summands of direct sums of copies of M . Recall that M ∈ mod R is called a generator of
mod R if there exists a surjection from a direct sum of copies of M to R, or equivalently, R ∈ add M .
The following observation explains the name of NG(M ).
Proposition 2.4. NG(M ) is the set of prime ideals p such that Mp is not a generator of mod Rp .
Proof. Let p be a prime ideal of R. Then Mp is a generator of mod Rp , if and only if
P

f ∈M ∗ f (Mp ) = Rp , if and only if (aM )p is surjective, if and only if (Cok aM )p = 0.
p

For a full subcategory C of mod R, we denote by hC i the subgroup of K0 (R) generated by
elements [X] with X ∈ C . Our main result in this section is the following:
Theorem 2.5. Let R be a semilocal ring and M give a NCR of R. Let CM be the full subcategory
of mod R consisting of X satisfying supp X ⊂ NG(M ). Then K0 (R)/hCM i is a finitely generated
abelian group.

NON-COMMUTATIVE RESOLUTIONS AND GROTHENDIECK GROUPS

3

First let us recall a well-known fact on Grothendieck groups. Let C be a Serre subcategory of
mod R (i.e. C is closed under submodules, factor modules and extensions), and let (mod R)/C be
the quotient abelian category of mod R [26]: The objects of (mod R)/C is the same as mod R, and
the morphism set is given by
Hom(mod R)/C (X, Y ) := lim HomR (X ′ , Y /Y ′ )
−′→ ′
X ,Y

where X ′ and Y ′ run over all submodules of X and Y respectively such that X/X ′ , Y ′ ∈ C . In
this case we have the following observation.
Proposition 2.6. [14] K0 ((mod R)/C ) is isomorphic to K0 (R)/hC i.
We need the following general observations on generators.
Lemma 2.7. Let M ∈ mod R be a generator and E := EndR (M ). Then we have the following
properties.
(a) M ∗ is a projective E-module.
(b) The natural map aM : M ⊗E M ∗ → R is an isomorphism.
Proof. (a) Since R ∈ addR M , we have M ∗ ∈ addE HomR (M, M ) = addE E.
(b) For any X ∈ mod R, we denote by bX : M ⊗E HomR (M, X) → X the natural map sending
m ⊗ f to f (m). This gives a natural transformation b : M ⊗E HomR (M, −) → 1mod R of additive
functors mod R → mod R. Since bM is clearly an isomorphism, so is bX for any X ∈ addR M . In
particular, bR is an isomorphism. Since aM = bR , we have the assertion.

Clearly CM is a Serre subcategory of mod R. Let (mod R)/CM be the quotient abelian category
of mod R. We define a functor
HomE (M ∗ ,−)

F : mod E −−−−−−−−−→ mod R → (mod R)/CM
where mod R → (mod R)/CM is a natural functor.
Lemma 2.8. F is an exact functor.
Proof. Let 0 → X → Y → Z → 0 be an exact sequence in mod E. Applying HomE (M ∗ , −), we
have an exact sequence
0 → HomE (M ∗ , X) → HomE (M ∗ , Y ) → HomE (M ∗ , Z) → Ext1E (M ∗ , X)
We only have to show Ext1E (M ∗ , X) ∈ CM . For any prime ideal p ∈
/ NG(M ), we have that Mp∗ is
a projective Ep -module by Lemma 2.7. Thus we have
Ext1E (M ∗ , X)p = Ext1Ep (Mp∗ , Xp ) = 0,
and so supp Ext1E (M ∗ , X) ⊂ NG(M ).



Next we show the following property of F .
Lemma 2.9. F is a dense functor.
Proof. For any X ∈ mod R, let Y := HomR (M, X) ∈ mod E. Then we have
F (Y ) = HomE (M ∗ , HomR (M, X)) ∼
= HomR (M ⊗E M ∗ , X).
For any prime ideal p ∈
/ NG(M ), we have that Mp is a generator of mod Rp .
(aM )p : (M ⊗E M ∗ )p → Rp is an isomorphism by Lemma 2.7(b). Hence the natural map

Thus

(aM ·) : X → HomR (M ⊗E M ∗ , X) = F (Y )
induced by aM has the kernel and the cokernel in CM . Consequently X is isomorphic to F (Y ) in
(mod R)/CM .


4

HAILONG DAO, OSAMU IYAMA, RYO TAKAHASHI AND CHARLES VIAL

By Lemma 2.8 and Proposition 2.6, we have a homomorphism
∼ K0 (R)/hCM i
K0 (E) → K0 ((mod R)/CM ) =
of abelian groups. This is surjective by Lemma 2.9.
Lemma 2.10. Let R be a semilocal ring and E a module-finite R-algebra. If the global dimension
of E is finite, then K0 (E) is finitely generated.
Proof. Since the global dimension is finite, K0 (E) is generated by indecomposable projective Emodules. Since R is semilocal, it follows from [11, Theorem 9] that there exist only finitely many
isomorphism classes of indecomposable projective E-modules. Thus K0 (E) is finitely generated.

The above lemma completes the proof of Theorem 2.5.



Now we prove Corollary 2.1. We need the following fact, see [7].
Proposition 2.11. Let R be a normal domain and Φ be the set of prime ideals of R with height
at least two. Let D be the full subcategory of mod R consisting of X satisfying supp X ⊂ Φ. Then
K0 (R)/hDi is isomorphic to Z ⊕ Cl(R).
Assume that M gives a NCR of R. Since R is a normal domain and M is a faithful R-module,
we have that Mp is a faithful Rp -module and hence Mp has a non-zero free summand for any prime
ideal p ∈
/ Φ. Thus we have NG(M ) ⊂ Φ and CM ⊂ D. By Theorem 2.5, we have that K0 (R)/hDi
is finitely generated. By Proposition 2.11, we have the assertion.

Finally we prove Corollary 2.2. As R is semilocal and dim NG(M ) ≥ 1, the set NG(M ) is finite.
Since hCM i is generated by R/p with p ∈ NG(M ), it is finitely generated. Since K0 (R)/hCM i is
finitely generated by Theorem 2.5, so is K0 (R).

3. NCRs and rational singularities
In this section let R be a normal domain containing a field k. We wish to discuss the following:
Question 3.1. Suppose R has a NCR. When can we deduce that Spec(R) has rational singularities?
Recall that a variety Y is said to have rational singularities if for any (equivalently, some)
resolution of singularity f : X → Y , we have Ri f∗ OX = 0 for i > 0. When Y = Spec(R) this
reduces to H i (X, OX ) = 0 for i > 0 (see [30, Section 1]).
The above question is motivated by a beautiful result by Stafford and Van den Bergh ([31,
Theorem 4.2]):
Theorem 3.2. (Stafford-Van den Bergh) Let k be an algebraically closed field of characteristic 0
and ∆ be a prime affine k-algebra that is finitely generated as a module over its center Z(∆). If
∆ is a non-singular Z(∆)-order then Z(∆) has only rational singularities.
In particular, suppose R is a Gorenstein normal affine k-algebra. If R has an NCCR, then
Spec(R) has only rational singularities.
In fact, at the end of their paper Stafford and Van den Bergh raised the question of whether it
is enough to only assume that we have a maximal Cohen-Macaulay module giving a NCR but R
is not necessarily Gorenstein ([31, Question 5.2]).
Our first result shows that having rational (isolated) singularity characterizes the existence of
NCRs for surface singularities. For a Cohen-Macaulay ring R, let ΩCM(R) denote the category of
first syzygies of some maximal Cohen-Macaulay modules. Thus ΩCM(R) consists of all X ∈ mod R
such that there exists an exact sequence 0 → X → P → Y → 0 with a projective R-module P and
a maximal Cohen-Macaulay R-module Y .
Corollary 3.3. Let (R, m, k) be a local normal domain of dimension two. Consider the following:

NON-COMMUTATIVE RESOLUTIONS AND GROTHENDIECK GROUPS

(1)
(2)
(3)
(4)
(5)

5

ΩCM(R) is of finite type (that is, there exists M ∈ mod(R) such that ΩCM(R) = add M ).
R has a NCR.
Cl(R) is a finitely generated abelian group.
K0 (R) ⊗Z Q is a finite dimensional Q-vector space (equivalently, Cl(R) has a finite rank).
Spec(R) has rational singularities.

Then (1) ⇒ (2) ⇒ (3) ⇒ (4). If R is excellent, henselian and k is algebraically closed, then
(3) ⇒ (5) ⇒ (1). If in addition k has characteristic 0 then (4) ⇒ (5).
Proof. The implication (1) ⇒ (2) is [18, Theorem 2.10] and (2) ⇒ (3) is Corollary 2.1. The
implication (3) ⇒ (4) is trivial. The implication (3) ⇒ (5) is essentially [23, 17.3]. The proof works
almost the same, except for the crucial Complement 11.3, where one needs to replace condition (2)
of Theorem 1.7 in [4] by the condition that the Picard group of the curve Z is finitely generated.
Similarly (4) ⇒ (5) in characteristic 0. The statement (5) ⇒ (1) follows from the fact that there
are only finitely many indecomposable special Cohen-Macaulay modules (see [35], [18, Theorems
3.6 and 2.10]). Note that the result in [35] was stated for singularities over complex numbers, but
the proof also works for our case, the extra information we need is the existence of a (minimal)
desingularization of Spec R, which is known (cf. [23, Theorem 4.1]). One can bypass the use of
Grauert-Riemenschneider vanishing used in Wunram’s proof by the discussion before Theorem 5
in [12].

Example 3.4. The implication (3) ⇒ (5) in Corollary 3.3 really requires all the assumptions.
It is not true when k is not algebraically closed (but R is complete): Salmon ([29]) showed that
k(u)[[x, y, z]]/(x2 + y 3 + uz 6 ) is factorial for any field k. The condition that R is henselian is also
crucial: the ring R = k[x, y, z](x,y,z)/(xr + y s + z t ) where r, s, t are pairwise prime, is factorial over
any field k ([10, Corollary 10.17]).
Also, the implication (4) ⇒ (5) may fail in positive characteristics. In fact, when k = Fp the
class group will always be locally finite.
Now we discuss Question 3.1 in higher dimension. We may assume R is a complete local ring
to study Question 3.1 by the following:
Lemma 3.5. Suppose M gives a NCR of R and p ∈ Spec(R). Then Mp gives a NCR of Rp . If
(R, m) is local then the completion M̂ of M gives a NCR of R̂.
Proof. Let Λ be a module-finite R-algebra. We denote by f. l. Λ the category of Λ-modules of finite
length. We only have to show gl. dim(S ⊗R Λ) ≤ gl. dim Λ for S := Rp or S := R̂.
When S = Rp (respectively, S = R̂), there is an exact dense functor S⊗R − : mod Λ → mod(S⊗R
Λ) (respectively, S ⊗R − : f. l. Λ → f. l.(S ⊗R Λ)). In particular we have proj. dimS⊗R Λ (S ⊗R
M ) ≤ proj. dimΛ M . Since gl. dim Λ = supX∈mod Λ {proj. dimΛ X} = supX∈f.l. Λ {proj. dimΛ X},
the assertion follows.

The next result shows that NCRs also behave well under separable field extensions.
Lemma 3.6. Let R be a commutative algebra over a field K and L a separable field extension of
K. If M gives a NCR of R, then L ⊗K M gives a NCR of L ⊗K R.
Proof. Let E := EndR (M ). Clearly we have EndL⊗K R (L ⊗K M ) = L ⊗K E. We only have to
show that L ⊗K E has finite global dimension. For any X ∈ mod E, clearly the L ⊗K E-module
L ⊗K X has finite projective dimension. It is enough to show that any simple L ⊗K E-module S
is a direct summand of L ⊗K X for some X ∈ mod E.
We regard S as an E-module, and we take a simple E-submodule X of S. Then we have
LX = S, and we have a surjection L ⊗K X → S of L ⊗K E-modules sending l ⊗ x → lx. Since L
is a separable extension of K, we have that L ⊗K X is a semisimple L ⊗K E-module [8, Corollary
7.8(ii)]. Thus S is a direct summand of L ⊗K X and we complete the proof.


6

HAILONG DAO, OSAMU IYAMA, RYO TAKAHASHI AND CHARLES VIAL

For a scheme X let CHi (X) denote the Chow group of algebraic cycles of dimension i and
CH∗ (X) the total Chow group. We shall need the following well-known facts, see [13, Exercise
II.6.3], [24] and [20]:
Theorem 3.7. Let A be the homogeneous coordinate ring of a projective variety X over a field
k and R be the local ring of A at the irrelevant ideal. Let h denote the class in CH(X)Q of a
hyperplane section on X.
(1) There is an exact sequence
0 → Z → Cl(X) → Cl(R) → 0
where the first map sends 1 to h.
(2) We have the following isomorphisms of Q-vector spaces:
∼ CH∗ (A)Q ∼
CH∗ (X)Q /(h ∩ CH∗ (X)Q ) =
= K0 (R)Q
= CH∗ (R)Q ∼
where the first two are graded isomorphisms.
The second isomorphism in Theorem 3.7(2) is [20, Lemma 4.1] and the first isomorphism is only
stated for X smooth in [20, Theorem 1.3]. However we notice that the isomorphism holds without
assuming X smooth, cf. the proof of Proposition 3.10.
Before moving on we recall the definition of Serre’s conditions (Sn ). For a non-negative integer
n, M is said to satisfy (Sn ) if:
depthRp Mp ≥ min{n, dim(Rp )} ∀p ∈ Spec(R)
Proposition 3.8. Let R be a normal local ring. Let M be a finitely generated faithful R-module.
Then NG(M ) is a closed subscheme of Spec(R) of codimension at least 2 . If in addition we assume
that EndR (M ) is (S3 ), then M is locally free outside the singular locus Sing(R). In particular,
NG(M ) ⊆ Sing(R).
If moreover M gives a NCR and dim Sing(R) ≤ 1, then K0 (R) is a finitely generated abelian group.
Proof. The first assertion follows from the proof of 2.1. The last assertion follows from Corollary
2.2. Assume now that EndR (M ) is (S3 ). The assumption implies that EndR (M ) is reflexive as an
R-module. Thus EndR (M ∗∗ ) ∼
= EndR (M ), and we may assume that M is reflexive. Now what we
need to prove follows from the fact that if R is a regular local ring and M is a reflexive R-module,
then EndR (M ) is (S3 ) if and only if M is free (see [15, Corollary 2.9]).

The following result is essentially due to Roitman [27]. We give a proof for sake of completeness.
Given a variety X, CH0 (X)Q is said to be supported in dimension l if there exists an l-dimensional
closed subvariety Z of X such that the proper pushforward map CH0 (Z)Q → CH0 (X)Q is surjective.
Lemma 3.9. Let X be a smooth projective variety over C. If CH0 (X)Q is supported in dimension
l, then H i (X, OX ) = 0 for all i > l.
Proof. By localization there is an l-dimensional subscheme j : Z ֒→ X such that CH0 (X −Z)Q = 0.
Let d be the dimension of X over C. By a result of Bloch-Srinivas on the decomposition of the
diagonal [6, Proposition 1], there is a decomposition ∆X = Γ1 + Γ2 ∈ CHd (X × X)Q . Here
∆X is the class of the diagonal inside CHd (X × X)Q , Γ1 is a cycle supported on X × Z and
e → D for
Γ2 is a cycle supported on D × X for some divisor D inside X. Let’s write f : D
e
a resolution of singularities of D and g : Z → Z for a resolution of singularities of Z. Then the
contravariant actions of Γ1 and Γ2 on H i (X, Q) are morphisms of Hodge structures. The morphism
e Q) and the morphism Γ∗ :
Γ∗1 : H i (X, Q) → H i (X, Q) factors through j ∗ : H i (X, Q) → H i (Z,
2
e Q) → H i (X, Q). In
H i (X, Q) → H i (X, Q) factors through the Gysin morphism f∗ : H i−2 (D,
particular, Γ1 acts trivially on H i (X, OX ) for i > l. Now, since f∗ is a morphism of Hodge
structures of bidegree (1, 1), it follows that the intersection of the image of f∗ with H i (X, OX ) =
H 0,i (X) is zero. Thus, if i > l and if α is any cohomology class in H i (X, OX ), we have
α = ∆∗X α = Γ∗1 α + Γ∗2 α = 0,

NON-COMMUTATIVE RESOLUTIONS AND GROTHENDIECK GROUPS

i.e. H i (X, OX ) = 0.

7



Proposition 3.10. Let k be a field, let R be a standard graded algebra over k, i.e. L
a graded
Noetherian ring with R0 = k and R = R0 [R1 ], of dimension at least 3. Let m :=
i>0 Ri ,
X = Proj R and let Z be a closed subscheme of codimension at least 2 in Spec R. Let C be the
subcategory of mod R generated by the finitely generated R-modules M with supp M ⊆ Z. Assume
K0 (R)/hC i is finitely generated. Then CH0 (X)Q is supported in codimension 1.
Proof. By Riemann-Roch [24, §18], we have an isomorphism τX : K0 (R)Q → CH∗ (R)Q which is
covariant with respect to proper morphisms. The subgroup hC i of K0 (R) is included in the image
of K0 (Z) inside K0 (R) and it follows that K0 (R) is generated by K0 (Z) via the natural inclusion
Z ֒→ Spec R and by finitely many classes. Thus CH1 (R)Q is generated by CH1 (Z)Q and by finitely
many 1-cycles. Up to adding finitely many components of codimension ≥ 2 in Spec R to Z, we
may even assume that CH1 (R)Q is supported on Z.
In the proof of [20, Theorem 1.3], Kurano establishes the existence of the following exact sequence
for v > 0 (see [20, (4.16)] and notice that no smoothness assumption on X is necessary for (4.16)
to hold):
CHv (X) → CHv−1 (X) → CHv (R) → 0.
The map on the left is given by intersecting with c1 (OX (1)) and the second map is the composite
∗

∗ −1

)
η
k
e − {t}) (j−→
e −→
CHv−1 (X) −→ CHv (X
CHv (X)
CHv (R).
e is the projective cone over X, {t} is the vertex of X
e and Spec R = X
e − X is the affine
Here X
e and
cone over X. We refer to [20] for more details. Important to us is that k : Spec R → X
1
e
e
e
j : X−{t} → X are open immersions and that η : X−{t} → X is a smooth Ak -bundle. In particular
e be the closure of Z inside X
e and let Y be the image (closed
these three morphisms are flat. Let Z
e
by definition) in X of Z|X−{t}
via η. By definition of flat pullbacks for Chow groups, we see that if
e
∗

k∗ (j ∗ )−1 η ∗

CH1 (R)Q is supported on Z, then the composite map CH0 (Y )Q → CH0 (X)Q
−→
CH1 (R)Q
is surjective. It follows from the short exact sequence above that CH0 (X)Q is supported on the
union of Y with a hyperplane section. It is obvious that each component of Y has codimension at
least one inside X. Therefore CH0 (X)Q is supported in codimension one.

Combining Proposition 3.8 and Lemma 3.9 with Theorem 2.5 and Proposition 3.10, we obtain:
Theorem 3.11. Let R be a normal, Cohen-Macaulay standard graded algebra over a subfield k of
C. Let m be the irrelevant ideal of R. Suppose that Spec(R) − {m} has only rational singularities.
Suppose moreover that there exists an R-module M giving a NCR. Then Spec(R) has only rational
singularities.
Proof. By Lemma 3.6 we can assume k = C. Let X = Proj R and d = dim X. By [34, Theorem
2.2] we only need to show that H d (X, OX (n)) = 0 for n ≥ 0. It is actually enough to show that
H d (X, OX ) = 0. Indeed, letting H be a hyperplane section of X, we have a short exact sequence
for any i:
0 → OX (i − 1) → OX (i) → OH (i) → 0,
whose long exact sequence of cohomology gives exact sequences
H d (X, OX (i − 1)) → H d (X, OX (i)) → H d (X, OH (i)) = 0
as dim H = d − 1. Induction on n shows that H d (X, OX (n)) = 0 for n ≥ 0, as desired.
Let’s therefore show that H d (X, OX ) = 0. By Proposition 3.8, N G(M ) is contained in a closed
subscheme of Spec R of codimension 2 by normality of R. By Theorem 2.5 and Proposition 3.10,
e → X be a
it follows that CH0 (X)Q is supported on a divisor D, i.e. CH0 (X − D)Q = 0. Let f : X
−1
e
resolution of singularities of X and let D = f (D). Up to adding some components to D, we may
e −D
e → X − D. Also we still have CH0 (X − D)Q = 0 and
assume that f induces an isomorphism X
e
e
e Q is supported on a divisor. By Lemma 3.9, we
it follows that CH0 (X − D)Q = 0, i.e. that CH0 (X)

8

HAILONG DAO, OSAMU IYAMA, RYO TAKAHASHI AND CHARLES VIAL

e O e ) = 0. Since X has only rational singularities, we see from the Leray-Serre
then have H d (X,
X
spectral sequence that H d (X, OX ) = 0.

A consequence of the first half of the proof of Theorem 3.11 and of Lemma 3.9 (applied in the
case l = 0) is the following
Corollary 3.12. Let X be a smooth projective variety over C. If dimQ CH0 (X)Q < ∞, then X
admits an embedding into a projective space whose homogeneous coordinate ring has only rational
singularities.
In view of Proposition 3.8 and Theorem 3.7 we ask:
Question 3.13. Let (R, m, k) be a Cohen-Macaulay complete local normal domain with k an algebraically closed field. If K0 (R) is finitely generated, must Spec(R) have only rational singularities?
Corollary 3.3 shows that the answer is yes in dimension 2. Of course, in higher dimensions the
existence of desingularizations is not known for positive or mixed characteristics, so one may need
to replace the condition of rational singularities with suitable concepts such as being F -rational or
pseudo-rational.
Our last example illustrates some subtlety involving Lemma 3.9.
Example 3.14. Lemma 3.9 might not be true over fields of characteristic 0 whose transcendance
degree over their prime subfield is not large enough. Indeed, consider a K3-surface X over the
algebraic closure of Q. Then, H 2 (X, OX ) is not zero but it is expected (as part of the BlochBeilinson conjectures) that CH0 (X)Q = Q.
Provided such an example exists, it could potentially yield a negative example to Question 3.13.
Note that CH(X)Q is a finite dimensional Q-vector space (it is known that the rank of the Picard
group of X is finite). We can use an very ample line bundle on X to embed X into some projective
space. Let R be the homogeneous coordinate ring of such an embedding, thus dimQ CH(R)Q < ∞.
But if R has rational singularities, then H 2 (X, OX ) = 0 (cf. [34, Theorem 2.2] and [33]).
Acknowledgments
The first author thanks Joseph Lipman and Karl Schwede for some helpful conversations on
rational singularities. The second author thanks Michael Wemyss for valuable discussions. This
work started when the second and third authors visited University of Kansas in August, 2011.
They are grateful for the hospitality.
References
[1] 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.
[2] M. Auslander, Isolated singularities and existence of almost split sequences, In Representation Theory II.
Lecture Notes in Mathematics 1178, Springer–Verlag, Berlin–Heidelberg, 1986, 194–242.
[3] M. Auslander, O. Goldman, Maximal Orders, Trans. Amer. Math. Soc. 97 (1960), 1–24.
[4] M. Artin, Some Numerical Criteria for Contractability of Curves on Algebraic Surfaces, Amer. J. Math. (3)
84 (1962), 485–496.
[5] I. Burban, Private communication.
[6] S. Bloch, V. Srinivas, Remarks on correspondences and algebraic cycles, Amer. J. Math. (5) 105 (1983), 1235–
1253.
[7] C.-Y. J. Chan, Filtrations of modules, the Chow group, and the Grothendieck group, J. Algebra 219 (1999),
330–344.
[8] C. W. Curtis, I. Reiner, Methods of representation theory. Vol. I. With applications to finite groups and orders,
reprint of the 1981 original, Wiley Classics Library. A Wiley-Interscience Publication. John Wiley & Sons, Inc.,
New York, 1990.
[9] H. Dao, Some observations on local and projective hypersurfaces, Math. Res. Lett. 15 (2008), 207–219.
[10] R. M. Fossum, The divisor class group of a Krull domain, Ergebnisse der Mathematik und ihrer Grenzgebiete,
Band 74, Springer-Verlag, New York-Heidelberg, 1973.

NON-COMMUTATIVE RESOLUTIONS AND GROTHENDIECK GROUPS

9

[11] K. R. Fuller, W. A. Shutters, Projective modules over non-commutative semilocal rings, Tohoku Math. J. (2)
27 (1975), no. 3, 303–311.
[12] V. Gavran, Kahn’s correspondence and Cohen-Macaulay modules over abstract surface and curve singularities,
Journal of Singularities 4 (2012), 68–73.
[13] R. Hartshorne, Algebraic Geometry, Graduate Text in Mathematics, Springer-Verlag, New York, (1977).
[14] A. Heller, Some exact sequences in algebraic K-theory, Topology 4 (1965), 389–408.
[15] C. Huneke, R. Wiegand, Tensor products of modules, rigidity and local cohomology, Math. Scand. 81 (1997),
161–183.
[16] O. Iyama, Higher-dimensional Auslander-Reiten theory on maximal orthogonal subcategories, Adv. Math. 210
(2007), no. 1, 22–50.
[17] O. Iyama, Auslander correspondence, Adv. Math. 210 (2007), no. 1, 51–82.
[18] O. Iyama, M. Wemyss, The classification of special Cohen-Macaulay modules, Math. Z. 265 (2010), no. 1,
41–83.
[19] O. Iyama, M. Wemyss, Auslander-Reiten duality and maximal modifications for non-isolated singularities,
arXiv:1007.1296.
[20] K. Kurano, A remark on the Riemann-Roch formula for affine scheme associated with Noetherian local ring,
Tohoku Math J. 48 (1996), 121–138.
[21] K. Kurano, Numerical equivalence defined on Chow groups of Notherian local rings, Invent. Math. 157 (2004),
575–619.
[22] G. J. Leuschke, Non-commutative crepant resolutions: scenes from categorical geometry, arXiv:1103.5380.
[23] J. Lipman, Rational singularities with applications to algebraic surfaces and unique factorization, Publ. Math.
I.H.E.S. 36 (1969), 195–279.
[24] W. Fulton, Intersection Theory, Springer-Verlag, Berlin (1998).
[25] D. Mumford, Rational equivalence of 0-cycles on surfaces, J. Math. Kyoto. Univ. 9 (1968), 195–204.
[26] N. Popescu, Abelian categories with applications to rings and modules, London Mathematical Society Monographs, No. 3. Academic Press, London-New York, 1973.
[27] A.A Roitman, Rational equivalence of 0-cycles, Math. USSR Sbornik, 18 (1972), 571–588.
[28] I. Reiten, M. Van den Bergh, Two-dimensional tame and maximal orders of finite representation type, Memoirs
Amer. Math. Soc. 80 (1989), no. 408.
[29] P. Salmon, Su un problema posto da P. Samuel, Atti Accad. Naz. Lincei Rend. Cl. Sci. Fis. Mat. Natur. (8)
40 (1966), 801–803.
[30] K. E. Smith, F-Rational Rings have Rational Singularities, Amer. J. Math. 119 (1997), 159–180.
[31] J. T. Stafford, M. Van den Bergh, Noncommutative resolutions and rational singularities, Mich. Math. J. 57
(2008), 659–674.
[32] M. Van den Bergh, Non-commutative crepant resolutions, The legacy of Niels Henrik Abel, Springer, Berlin,
2004, 749–770.
[33] K.-i. Watanabe, Some remarks concerning Demazure’s construction of normal graded rings, Nagoya Math. J.
83 (1981), 203–211.
[34] K.-i. Watanabe, Rational singularities with k ∗ -action, Commutative Algebra (Trento 1981), Lecture Notes in
Pure and Appl. Math. 84, Marcel Dekker, New York (1983), 339–351.
[35] J. Wunram, Reflexive modules on quotient surface singularities, Math. Ann. 279 (1988) no. 4, 583–598.
[36] Y. Yoshino, Cohen-Macaulay modules over Cohen-Macaulay rings, London Mathematical Society Lecture Note
Series, 146, Cambridge University Press, Cambridge, 1990.
H. Dao: Department of Mathematics, University of Kansas, Lawrence, KS 66045-7523, USA
E-mail address: hdao@math.ku.edu
URL: http://www.math.ku.edu/~hdao/
O. Iyama: Graduate School of Mathematics, Nagoya University, Furocho, Chikusaku, Nagoya 4648602, Japan
E-mail address: iyama@math.nagoya-u.ac.jp
URL: http://www.math.nagoya-u.ac.jp/~iyama/
R. Takahashi: Graduate School of Mathematics, Nagoya University, Furocho, Chikusaku, Nagoya
464-8602, Japan/Department of Mathematics, University of Nebraska, Lincoln, NE 68588-0130, USA
E-mail address: takahashi@math.nagoya-u.ac.jp
URL: http://www.math.nagoya-u.ac.jp/~takahashi/
C. Vial: DPMMS, University of Cambridge, Wilberforce Road, Cambridge, CB3 0WB, UK
E-mail address: c.vial@dpmms.cam.ac.uk
URL: http://www.dpmms.cam.ac.uk/~cv248/

