G-GROUPS OF COHEN-MACAULAY RINGS WITH n-CLUSTER TILTING
OBJECTS

arXiv:1509.02978v4 [math.AC] 31 Jan 2018

ZACHARY FLORES
Abstract. Let (R, m, k) denote a local Cohen-Macaulay ring such that the category of maximal Cohen-Macaulay R-modules mcm R contains an n-cluster tilting object L. In this paper,
we compute the Quillen K-group G1 (R) := K1 (mod R) explicitly as a direct sum of a finitely
generated free (abelian) group and an explicit quotient of AutR (L)ab when R is a k-algebra and k
is algebraically closed with characteristic not two. Moreover, we compute AutR (L)ab and G1 (R)
for certain hypersurface singularities.

1. Introduction
Throughout this section (R, m, k) will always denote a local Noetherian ring that is CohenMacaulay. Since the introduction of higher algebraic K-theory by Quillen there has been a significant
effort to understand the structure of the K-groups Ki (A), for A an exact category. Our particular
interest is when A = mod R, the category of finitely generated R-modules. The groups Ki (mod R)
are denoted by Gi (R). They are, unsurprisingly, called the G-groups of R (they are also called
K ′ -groups in the literature and may be denoted by Ki′ (R)). In Section 2, we will discuss notation
and various definitions of K-groups needed in the computation of G1 (R).
Let proj R be the subcategory of mod R of finitely generated projective R-modules. Now the
inclusion proj R ֒→ mod R induces a map of groups between Ki (R) := Ki (proj R) and Gi (R). It
is of interest to understand the properties of this induced homomorphism. In particular, when is
this map an isomorphism? This is precisely the case when R is regular, following immediately from
Quillen’s Resolution Theorem ([15], §Theorem 3). However, regular local rings are exceptionally
well-behaved, so one cannot expect this behavior in general. Suppose i = 0. It is well-known
K0 (R) isomorphic to Z (see ([16], Theorem 1.3.11)), but what of G0 (R)? If R is regular, then
G0 (R) = Z. However, if R is not regular, but also has finite Cohen-Macaulay type (that is, there
are, up to isomorphism, finitely many indecomposable maximal Cohen-Macaulay R-modules) then
the structure of G0 (R) is elucidated in its entirety by the following.
Theorem 1.1. ([21], Theorem 13.7)
Suppose there are t non-free indecomposable maximal Cohen-Macaulay R-modules and denote by G
the free abelian group on the set of isomorphism classes of indecomposable maximal Cohen-Macaulay
R-modules. The map G −→ G0 (R) given by X 7−→ [X] is surjective and its kernel is generated by
{X − X ′ − X ′′ | ∃ an Auslander-Reiten sequence 0 −→ X ′ −→ X −→ X ′′ −→ 0}
And G0 (R) ∼
= coker(Υ), where Υ : Z⊕t −→ Z⊕(t+1) is the Auslander-Reiten homomorphism.
The immense usefulness of Theorem 1.1 lies in the fact that the computation of G0 (R) has been
reduced to linear algebra, as the Auslander-Reiten homomorphism can be readily computed from
the Auslander-Reiten quiver. This quickly leads to the explicit computation of G0 (R) for all simple
singularities of finite type (see [21], Proposition 13.10). One can quickly see that these groups are
often not Z.
Moving up one rung on the K-theory ladder, it is well-known that K1 (R) := K1 (proj R) ∼
= R∗
(see ([18], Example 1.6)). However, the structure of G1 (R) was not known for some time until the
work of H. Holm in [7] and V. Navkal in [13]. In the former, computing G1 (R) was carried out over
an R which has finite Cohen-Macaulay type and it was found that G1 (R) could be computed as
1

2

ZACHARY FLORES

an explicit quotient of AutR (M )ab , with M an additive generator for the category maximal CohenMacaulay R-modules, mcm R (noting such an M exists if and only if R has finite Cohen-Macaulay
type). The latter produced the following.
Theorem 1.2. ([13], Theorem 1.1)
Assume that R is Henselian and the category mcm R has an n-cluster tilting object L. Let I be
the set of isomorphism classes of indecomposable summands of L and set I0 = I\ {R}. Then there
is a long exact sequence
· · · −→

M

Gi (κL′ ) −→ Gi (Λ) −→ Gi (R) −→

L′ ∈I0

Where

Moreover, κL′

M

Gi−1 (κL′ ) −→ · · ·

L′ ∈I0

Λ = EndR (L)op and κL′ = EndR (L′ )op /rad(EndR (L′ )op )
is always a division ring, and when R/m = k is algebraically closed, κL′ = k.

The long exact sequence ends in presentation
M

G0 (κL′ ) −→ G0 (Λ) −→ G0 (R) −→ 0

L′ ∈I0

of G0 (R). Since G0 (Λ) = ZI and

M

G0 (κL′ ) = ZI0 , the presentation of G0 (R) given above is

L′ ∈I0

precisely the one given in Theorem 1.1 when L is an additive generator of mcm R.
The definition of an n-cluster tilting object is technical and we refer the reader to Definition 2.14
and Section 4 for examples. We show in Section 3 that utilizing Theorem 1.2 and techniques from
[7], we can generalize and simplify the results [7] on the structure of G1 (R). Keeping notation as in
Theorem 1.2), our contribution in this direction is the following.
Theorem 1.3. Suppose that R is a k-algebra, char(k) 6= 2 and k is algebraically closed. If mcm R
admits an n-cluster tilting object L such that EndR (L)op has finite global dimension, we can compute
explicitly a subgroup Ξ of AutR (L)ab and a free abelian group H of rank at most |I0 | such that
G1 (R) ∼
= H ⊕ AutR (L)ab /Ξ
The definition of Ξ is technical and refer the reader to Definition 2.21 for details. The utility of
Theorem 1.3 is that the computation of G1 (R) for some hypersurface singularities becomes tractable,
as well as removing the necessity of the injectivity of the Auslander-Reiten homomorphism and
the need for R to have finite Cohen-Macaulay type, as required in [7]. In fact, with the long
exact sequence of [13] and the machinery of [7], the proof is quite elementary. However, before
proving Theorem 1.3 in Section 1.3, we collect the necessary details on n-cluster tilting objects,
noncommutative algebra and functor categories in Section 2.
Of course, in order to utilize Theorem 1.3, one might want to know when mcm R admits an
n-cluster tilting object. This is discussed in Section 4.
The goal of explicitly computing G1 (R) for specific R would not be possible if we could not
compute AutR (L)ab . We expend some energy in Section 5 calculating AutR (L)ab for several concrete
examples. This section and the next form the technical heart of our work.
Utilizing the results of Section 5, we are able to explicitly compute G1 (R) for several hypersurface
rings in Section 6. We collect all previously unknown results about the computation of G1 (R) in
the following theorem.
Theorem 1.4. Let k be an algebraically closed field of characteristic not two. Then
(a) if the characteristic of k is also not 3 or 5 and R is the finite-type singularity k[[t2 , t2n+1 ]],
∗
then G1 (R) ∼
= R = k[[t]]∗ .
(b) if R = k[[s2 , st, t2 ]], then G1 (R) ∼
= R∗ .

G-GROUPS OF COHEN-MACAULAY RINGS WITH n-CLUSTER TILTING OBJECTS

3

(c) if S = k[[x, y]] let f1 , . . . , fn ∈ (x, y) be irreducible and f = f1 · · · fn be such that
(i) R := S/f S is an isolated singularity (ie. (fi ) 6= (fj ))
(ii) fi ∈
/ (x, y)2 for all i.
(iii) (fi , fi+1 ) = (x, y).
∗
Then G1 (R) ∼
= Z⊕(n−1) ⊕ R (where R is the integral closure of R).
(d) if k has characteristic zero, S ′ = k[[x, y, u, v]]] and R′ = S ′ /(f + uv)S ′ , where f =
 f1 · · · fn ∈
k[[x, y]] satisfies the conditions of (c), then G1 (R′ ) ∼
= Z⊕(n−1) ⊕ R′∗ ⊕ k[[w, z]]∗⊕(n−1) /Ξ, with Ξ
the subgroup of Definition 2.21 and w, z variables over k.
We note (b) of Theorem 1.4 expands on the work of H. Holm. Indeed, in ([7], Example 10.5) it
is shown that if R = k[[t2 , t3 ]], then G1 (R) ∼
= k[[t]]∗ . Theorem 1.4 also expands on the work of V.
2 2n+1
Navkal, for when R = k[[t , t
]], using different techniques, a description of the groups Gi (R) is
given in ([13], Section 7.3 and Proposition 7.26) in terms of certain short exact sequences.
In Section 7, we discuss the similarities our computations share and make a conjecture.
We now fix notation. We always use A to denote an associative ring with identity that is not
necessarily commutative; mod A will be the category of finitely generated left A-modules; and
proj A will be the category of finitely generated projective left A-modules.
We will use the following setup: (R, m, k) always denotes a commutative local Cohen-Macaulay
ring such that
(a) R is Henselian.
(b) R admits a dualizing module.
(c) mcm R admits an n-cluster tilting object.
(d) R is an isolated singularity.
The assumption of (a) give us that any maximal Cohen-Macaulay module can be written uniquely
as a direct sum of finitely many indecomposable maximal Cohen-Macaulay modules (see ([11], Theorem 1.8 and Exercise 1.19)). In fact, all of the rings for which we compute G1 (R) are complete,
so they already satisfy (a) (see ([11], Corollary 1.9)). The assumption of (b) is a standard technical
assumption in representation theory of Cohen-Macaulay rings. Currently, the assumption (c) is very
much a technical black box, but we will see it is indispensable; see Definition 2.14. The assumption
in (d) is necessary to make use of the theory of n-cluster tilting objects. When necessary, we will
assume that R is a k-algebra and char(k) 6= 2, but we do not use this as a blanket assumption.
2. Preliminaries
2.1. Some Definitions of K-groups. We begin first by discussing the classical definition lower
K-groups.
Definition 2.1. The classical K0 -group of A, denoted by K0C (A), is defined as the Grothendieck
group of the category proj A. More explicitly, choose an isomorphism class for each P ∈ proj A
and let X be the free abelian group on these isomorphism classes. Then K0C (A) is the quotient of
X by the subgroup of X generated by {[P ] − [P ′ ] − [P ′′ ] : 0 −→ P ′ −→ P −→ P ′′ −→ 0 exact}.
The classical K1 -group of A, denoted by K1C (A), is defined as the abelianization of the infinite
general linear group over A. That is, using the obvious
embeddings GLn (A) ֒→ GLn+1 (A), we can
S
form the infinite general linear group GL(A) := n≥1 GLn (A). Thus K1C (A) is GL(A)ab .
Of principal importance in defining K-groups for our purposes is the following notion.

Definition 2.2. An exact category Y is an additive category together with a distinguished class
of sequences Y ′ ֌ Y ։ Y ′′ called coinflations with a fully faithful additive functor F from Y into
an abelian category X such that
(a) Y ′ ֌ Y ։ Y ′′ is a conflation in Y if and only if 0 −→ F (Y ′ ) −→ F (Y ) −→ F (Y ′ ) −→ 0 is
exact in X .

4

ZACHARY FLORES

(b) If 0 −→ F (Y ′ ) −→ X −→ F (Y ′′ ) −→ 0 is exact in X , then X ∼
= F (Y ) for some Y in Y. That
is, Y is closed under extensions in X .
We note any abelian category is an exact category. Moreover, proj A is an exact category, where
the conflations are taken to be the sequences that are exact in mod A. Note that proj A is an exact
category which is not abelian.
We will need the following notions as they pertain to exact categories.
Definition 2.3. Y denotes an exact category.
(a) We will always work under the assumption that the objects of Y form a set. In this regard,
we say that Y is skeletally small.
(b) We say Y is a semisimple exact category if every conflation splits. The prototypical
example of a semisimple exact category is proj A.
(c) We write Y0 to denote Y viewed as an exact category in which the coinflations Y ′ ֌ Y ։ Y ′′
are such that the corresponding exact sequence in the abelian category X is split exact. We call this
the trivial exact structure for Y.
The definition of Bass’s K1 functor rests squarely upon the following notion.
Definition 2.4. Let Y be any category. Its loop category ΩY is the category whose objects are
pairs (Y, α), Y an object of Y and α ∈ AutY (Y ). A morphism in ΩY between two objects (Y, α)
and (Y ′ , α′ ) is a commutative diagram in Y
Y

f

✲ Y′

α ∼
=

∼
= α′

❄
Y

❄
✲ Y′

f

Remark 2.5. Let Y be a skeletally small exact category. Its loop category ΩY is also skeletally small
and it is not hard to see that ΩY inherits an exact structure such that (Y ′ , α′ ) ֌ (Y, α) ։ (Y ′′ , α′′ )
is a coinflation in ΩY if and only if Y ′ ֌ Y ։ Y ′′ is a coinflation in Y.
Definition 2.6. Let Y be a skeletally small exact category and ΩY be its loop category, so that
ΩY is also skeletally small and exact. We define Bass’s K1 -group of Y, denoted by K1B (Y), to be
the Grothendieck group of ΩY modulo the subgroup generated by the following elements
(Y, α) + (Y, β) − (Y, αβ)
For (Y, α) in ΩY we denote its image in K1B (Y) as [Y, α].
Remark 2.7. (a) ([7], 3.4) We note for Y ∈ Y, we have
[Y, 1Y ] + [Y, 1Y ] = [Y, 1Y 1Y ] = [Y, 1Y ]
Hence [Y, 1Y ] is the identity element of K1B (Y).
(b) Unexpectedly, K1B is a functor from the category of skeletally small exact categories to abelian
groups. Indeed, for a morphism F (which is necessarily an exact functor) between Y and another
skeletally small exact category, we have K1B (F )([Y, α]) = [F (Y ), F (α)].
Remark 2.8. ([16], Theorem 3.1.7)
There is an isomorphism
∼
=

ηA : K1C (A) −→ K1B (proj A)
The isomorphism ηA is such that ξ ∈ GLn (A) is mapped to the class [An , ξ] ∈ K1B (proj A), where
elements of An are viewed as row vectors and ξ acts by multiplication on the right.

G-GROUPS OF COHEN-MACAULAY RINGS WITH n-CLUSTER TILTING OBJECTS

5

Definition 2.9. Let Y be a skeletally small exact category. The ith Quillen K-group of Y,
denoted by KiQ (Y), is defined to be the abelian group πi+1 (BQY, 0), where QY is Quillen’s Qconstruction; BQY is the classifying space of QY; 0 is a fixed zero object; and πi+1 denotes the
taking of a homotopy group.
By ([15],Section 2, Theorem 1) there is a natural isomorphism of between the Grothendieck
group functor and K0Q (as functors on the category of skeletally small exact categories). Moreover,
K1Q (proj A) is naturally isomorphic to K1C (A) (see ([18], Corollary 2.6 and Theorem 5.1)). Quillen’s
definition of higher K-theory is stunningly elegant, but does not often lend itself to performing computations with ease. The definition of Bass’s functor K1B will be more suited for our computational
needs and, we will want to exploit this in the sequel. As in ([7], 3.6), we will make strong use of the
following theorem.
Theorem 2.10. There exists a natural transformation ζ : K1B −→ K1Q , which we call the GerstenSherman transformation, of functors on the category of skeletally small exact categories such that
ζY : K1B (Y) −→ K1Q (Y) is an isomorphism for every semisimple exact category Y. In particular,
ζproj A : K1B (proj A) −→ K1Q (proj A) is an isomorphism for every ring A.
The name for ζ was introduced in [7] for the following: The existence of ζ was initially sketched
by Gersten in ([6], sect. 5) and the details were later filled in by Sherman ([17], sect. 4), whom also
proved ζY is an isomorphism for every semisimple exact category.
2.2. n-Auslander-Reiten Theory. We want to discuss generalizations of Auslander-Reiten theory, following [8]. To do so, we will require some precise categorical language. Here Y denotes any
exact category.
Definition 2.11. Write Mod Y for the category of additive contravariant functors Y −→ Ab, with
Ab the category of abelian groups. The morphisms in Mod Y are natural transformations between
functors with kernels and cokernels computed pointwise. An easy check shows that Mod Y is abelian.
We write (•, Y ) to denote the additive contravariant functor HomY (•, Y ). We say F ∈ Mod Y is
finitely presented if there is an exact sequence
(•, Y ) −→ (•, Y ′ ) −→ F −→ 0
in Mod Y. We write mod Y for the subcategory of finitely presented functors.
For a ring A, let Mod A denote the category of all left A-modules and denote the subcategory
of finitely presented left A-modules by mod fp A. Fix a left A-module N and denote by E its
endomorphism ring EndA (N ). Then N has a left E-module structure that is compatible with
its left A-module structure such that for e ∈ E and n ∈ N , e · n = e(n). Denote by addA N
the category of A-modules that consists of all direct summands of finite direct sums of N . For
F ∈ Mod (addA N ), the aforementioned left E-module structure on N induces a left-E op -module
structure on the abelian group F N such that e · z = (F e)(z) for e ∈ E op and z ∈ F N . We use these
facts for the following proposition, which will be essential in the proof of Theorem 1.3.
Proposition 2.12. ([7], Proposition 6.2)
There are quasi-inverse equivalences of abelian categories
eN

Mod (addA N ) ✛

≃

✲

Mod E op

fN

Where the functors eN and fN are defined as follows: eN (F ) = F N (evaluation) and fN (Z) =
Z ⊗E HomA (•, N )|addA N (functorification). Also, these quasi-inverse equivalences restrict to equivalences between categories of finitely presented objects
eN

mod (addA N ) ✛

≃
fN

✲

mod fp E op

6

ZACHARY FLORES

Definition 2.13. Let X be an additive category and C a subcategory of X . We call C contravariantly finite, if for any X ∈ X there is a morphism f : C −→ X with C ∈ C such that
•f

(•, C) −→ (•, X) −→ 0
is exact (where •f is the map induced by f ). Such an f is called a right-C-approximation of X.
We dually define a covariantly finite subcategory and a left-C-approximation. A contarvariantly
and covariantly finite subcategory is called functorially finite.
At long last, we are able to define an n-cluster tilting object.
Definition 2.14. Let Y be an exact category with enough projectives. For objects X, Y in Y we
write X ⊥n Y if ExtiY (X, Y ) = 0 for 0 < i ≤ n. For an exact subcategory C ⊂ Y, we put
C ⊥n = {X ∈ Y : Y ⊥n X for all Y ∈ C}
⊥n

C = {X ∈ Y : X ⊥n Y for all Y ∈ C}

We call C an n-cluster-tilting subcategory of Y if it is functorially finite and C = C ⊥n−1 =⊥n−1 C.
An object L of Y is called n-cluster-tilting if addY (L) is an n-cluster tilting subcategory.
From the definition of n-cluster tilting, if mcm R admits an n-cluster tilting object L, then R is
necessarily a direct summand of L. While the definition of n-cluster tilting is quite a bit to digest
at once, there are concrete examples of n-cluster tilting objects over familiar rings and we refer the
reader to Section 4 for several examples.
When R has finite Cohen-Macaulay type, we have the classical notion of an Auslander-Reiten
sequence or almost-split sequence. When mcm R has an n-cluster tilting subcategory, we have the
following generalization.
Definition 2.15. If C ⊂ mcm R is an n-cluster tilting subcategory, given X ∈ mcm R not free and
indecomposable, an exact sequence
fn

f1

•fn

•f1

f0

0 −→ Cn −→ · · · −→ C0 −→ X −→ 0
with C0 , . . . , Cn ∈ C such that
•f0

0 −→ (•, Cn−1 ) −→ · · · −→ (•, C0 ) −→ (•, X) −→ 0
is a minimal projective resolution of (•, X)/radmcm R (•, X) in mod C is called an n-AuslanderReiten sequence (or an n-almost-split sequence).
Here radmcm R (•, X) is such that
radmcm R (Y, X) = {f ∈ HomR (Y, X) : f g ∈ rad(EndR (Y )) for all g ∈ HomR (Y, X)}
If C ⊂ mcm R is an n-cluster tilting subcateogry, then n-Auslander-Reiten sequences exist by
([9], Theorem 3.31).
2.3. Endomorphism Rings and K-groups. By our blanket assumptions on R, there is a unique
decomposition of the n-cluster tilting object L = L0⊕l0 ⊕ · · · ⊕ Lt⊕lt , such that Li ∈ mcm R is
indecomposable and li > 0 and the Li are pairwise non-isomorphic. In this section, we will assume
that li = 1. For if we write Lred = L0 ⊕ · · · ⊕ Lt , then addR L = addR Lred . Thus L is an n-cluster
tilting object for mcm R if and only if Lred is. Moreover, we will see in Section 3, that in the
context of Theorem 1.3, the choice of Lred over L is immaterial. Write C = addR L. The following
construction is from ([7], Construction 2.6).
0
t
If L′ ∈ C, we can write L′ = L⊕m
⊕ · · · ⊕ L⊕m
for uniquely determined m0 , . . . , mt ≥ 0. Set
t
0
′
q = q(L ) = max {m0 , . . . , mt } and vj = vj (L′ ) = q − mj . Notice that q is the smallest integer
t
0
⊕ · · · ⊕ L⊕v
such that L′ is a direct summand of L⊕q . Now form the R-module L′′ = L⊕v
and let
t
0
′
′′
⊕q
ψ : L ⊕ L −→ L be the R-linear isomorphism that takes the element

G-GROUPS OF COHEN-MACAULAY RINGS WITH n-CLUSTER TILTING OBJECTS

7

0
t
0
t
· · · ⊕ L⊕m
) ⊕ (L⊕v
⊕ · · · ⊕ L⊕v
)
((x0 , . . . , xt ), (y 0 , . . . , y t ) ∈ L′ ⊕ L′′ = (L⊕m
t
t
0
0

⊕mj

where xj ∈ Lj

⊕vj

and yj ∈ Lj

, to the element

((z01 , . . . , zt1 ), . . . , (z0q , . . . , ztq )) ∈ L⊕q = (L0 ⊕ · · · ⊕ Lt )⊕q
with zj1 , . . . , zjq ∈ Lj given by
⊕(mj +vj )

(zj1 , . . . , zjq ) = (xj , y j ) ∈ L⊕q
j = Lj

Now for α ∈ AutR (L′ ), we define α
e to be the automorphism on L⊕q given by ψ(α⊕1L′′ )ψ −1 . Note
that α
e = (αf
f
e ∈ Mq (EndR L).
ij ), with α
ij uniquely determined endomorphisms of L. In particular, α
As in [7], we refer to this construction as the tilde construction.
Remark 2.16. We note a special case of the tilde construction. Keep notation as above. Suppose
⊕q
α = a1L′ with a ∈ R∗ . If L′ = L⊕q
e : L⊕q −→ L⊕q
i1 ⊕· · ·⊕Lih with 0 ≤ i1 < i2 < · · · < ih ≤ t. Then α
is the automorphism given by e1L⊕q with e ∈ AutR (L) given by
diag(1L0 , . . . , a1Li1 , . . . , a1Lih , . . . , 1Lt )
−1
−1 1 ′ .
g
= a^
Hence, (a1
L
L′ )

As we will often be working explicitly with highly noncommutative rings, we need to discuss
important ideas at the intersection of noncommutative algebra and K-theory. Let J(A) be the
Jacobson radical of the not necessarily commutative ring A. Recall that A is said to be semilocal
if A/J(A) is semisimple. That is, every left A/J(A)-module has the property that each of its
submodules is a direct summand of A/J(A). In the case that A is commutative, this is equivalent
to A having only finitely many maximal ideals ([10], Proposition 20.2). Of great importance to us is
the following situation: If A is a commutative semilocal Noetherian ring and N is a nonzero finitely
generated A-module, then EndA (N ) is semilocal in the preceding sense ([7], Lemma 5.1). We will
see how the following remark utilizes this small but essential fact in the proof of Theorem 1.3.
Remark 2.17. ([7], Paragraph 5.2)
For arbitrary A, denote the composition of the following group homomorphisms
A∗ = GL1 (A) ֒→ GL(A) ։ GL(A)ab = K1C (A)
by ϑA . Since K1C (A) is abelian, there is an induced map θA : A∗ab −→ K1C (A). If A is semilocal,
then ([1], V§9 Theorem 9.1) shows that ϑA is surjective, hence so is θA . When A contains a field
k with char(k) 6= 2, a result of Vaserstein ([20], Theorem 2) shows that θA is an isomorphism.
In particular, if R is a k-algebra, char(k) 6= 2 and M is a finitely generated R-module with E =
EndR (M ), then θE and θE op are isomorphisms.
Suppose now A is a commutative semilocal ring, so that the commutator subgroup [A∗ , A∗ ], is
trivial, hence θA : A∗ −→ K1C (A) is surjective. In ([7], Remark. 5.4), if θA is an isomorphism,
an explicit inverse to θA is constructed: The determinant homomorphisms detn : GLn (A) −→ A∗
induce a homomorphism detA : K1C (A) −→ A∗ (since each detn is trivial on commutators in GL(A))
−1
= detA .
which satisfies detA θA = 1A∗ , so that θA
Using Remark 2.17 as motivation, the following definition is made in [7].
Definition 2.18. Let A be a ring for which the map θA : A∗ab −→ K1C (A) is an isomorphism. The
−1
inverse θA
is denoted by detA and is is called the generalized determinant.
The following proposition makes use of the tilde construction and will be useful in proving Theorem 1.3. We note it is essentially proven in [7], where it is a synthesis of ([7], Lemma 6.5) and the
proof of ([7], Proposition 8.8). We also note that the assumptions in ([7], Proposition 8.8) are that
R has finite Cohen-Macaulay type. However, we note that under our assumptions, the portion of
the proof we are referencing ([7], equation (8.8.1)) still holds.

8

ZACHARY FLORES

Proposition 2.19. Keeping our general assumptions, suppose in addition that R is an algebra over
its residue field k and the characteristic of k is not two. Let L0 , . . . , Lt ∈ mcm R and L be their
direct sum. Set Λ = EndR (L)op . Let C0 = addR (L) be equipped with the trivial exact structure. If
Λ has finite global dimension, then there is an isomorphism of groups
τ : K1B (C0 ) −→ AutR (L)ab
α).
such that for any L′ ∈ C0 and any α ∈ AutR (L′ ), τ ([L′ , α]) = detΛop (e
Remark 2.20. ([7], Observation 8.9)
Let A be any commutative Noetherian local ring and ηA be the isomorphism from Remark 2.8
and θA : A∗ −→ K1C (A) be the induced map from Remark 2.17. Then θA is an isomorphism by
([18], Example 1.6). Thus the composition ρA = ηA θA : A∗ −→ K1B (proj A) is an isomorphism such
that a ∈ A∗ is mapped to [A, a1A ].
We now combine the the above preliminaries with the tilde construction to define the subgroup
Ξ of AutR (L)ab in Theorem 1.3.
Definition 2.21. Recall that we are assuming that mcm R has n-cluster-tilting object of the form
L = L0 ⊕ · · · ⊕ Lt . We assume that L0 = R and that for j > 0, the Lj are non-free pairwise nonisomorphic and indecompsable objects in mcm R. Suppose also that R is a k-algebra, char(k) 6= 2
and k is algebraically closed. If mcm R has an n-cluster tilting object L such that Λ := EndR (L)op
has finite global dimension, we define a subgroup Ξ of AutR (L)ab as follows: For j > 0, let
0 −→ Cnj −→ · · · −→ C0j −→ Lj −→ 0
be the n-Auslander-Reiten sequence ending in Lj (see Definition 2.15). By Remark 2.17, θΛop :
AutR (L)ab −→ K1C (Λop ) is an isomorphism with inverse given by detΛop . Then Ξ is the subgroup
generated by the elements given by
a]
1Lj

n+1
Y
i=1

(−1)
^
detΛop (a1
Cj )

i

i−1

where a runs over all elements of k ∗ and j = 1, . . . , t.
3. The Structure of G1 (R)
In this section, unadorned K-groups are the Quillen K-groups. Our goal of this section is to prove
Theorem 1.3. We always assume that mcm R has an n-cluster tilting object L = Ll00 ⊕ · · · ⊕ Lt⊕lt ,
with L0 = R such that Λ := EndR (L)op has finite global dimension. In addition to our blanket
assumptions, we assume that k is algebraically closed of characteristic not two and R is a k-algebra.
We begin with an easy reduction.
Lemma 3.1. Set Lred = L0 ⊕ · · · ⊕ Lt . If Λred = EndR (Lred )op , then Λ and Λred are Moritaequivalent. In particular, Gi (Λ) ∼
= Gi (Λred ) for all i ≥ 0.
Proof. The desired Morita equivalence is from ([4], Lemma 2.2). Thus the categories of left Λ and
Λred modules are equivalent, hence there is an equivalence of exact categories between mod Λ and
mod Λred . It is well-known this yields an isomorphism in G-theory, hence Gi (Λ) ∼
= Gi (Λred ) for all
i ≥ 0.

It is easy to see addR L = addR Lred. Moreover, since Λ has finite global dimension, the Morita
equivalence of Lemma 3.1 gives that Λred also has has finite global dimension. Since Λ has finite
global dimension and is a semilocal algebra over a field of characteristic not two, by Quillen’s
Resolution Theorem ([15], §Theorem 3), ([18], Corollary 2.6 and Theorem 5.1), and ([20], Theorem
2) we have isomorphisms
G1 (Λ) ∼
= K1 (Λ) ∼
= K1C (Λ) = Λ∗ab = AutR (L)ab

G-GROUPS OF COHEN-MACAULAY RINGS WITH n-CLUSTER TILTING OBJECTS

9

As noted above, Λred has finite global dimension, hence the same arguments apply, so that the
above remarks and Lemma 3.1 give
AutR (Lred )ab = (Λred )∗ab ∼
= Λ∗ab = AutR (L)ab
= G1 (Λ) ∼
= G1 (Λred ) ∼
Thus may safely assume that the n-cluster tilting object L for mcm R has the form L0 ⊕ · · · ⊕ Lt ,
where the Li are non-isomorphic indecomposable maximal Cohen-Macaulay. Henceforth, we always
use Λ to denote EndR (L)op with L = L0 ⊕ · · · ⊕ Lt , L0 = R and for j > 0, the Lj are non-free,
non-isomorphic indecomposable objects in mcm R.
Since k is algebraically closed, κLj = EndR (Lj )op /rad(EndR (Lj )op ) = k for all j (this is essentially
Nakayamma’s lemma). By Theorem 1.2, there is an exact sequence of abelian groups
γ

G1 (k)⊕t −→ G1 (Λ) −→ G1 (R) −→ G0 (Λ) −→ G0 (R) −→ 0
By Theorem 1.2, G0 (Λ) = Z⊕t and G0 (R) = Z⊕(t+1) . In particular, the above exact sequence
becomes
(⋆)

γ

G1 (k)⊕t −→ G1 (Λ) −→ G1 (R) −→ H −→ 0

where H is the kernel of a map Z⊕t −→ Z⊕(t+1) . Now H is free, being the subgroup of a free
group, hence the exactness of (⋆) gives an isomorphism
G1 (R) ∼
= coker(γ) ⊕ H
Thus to prove Theorem 1.3, that is, in order to calculate Ξ, we need to explicitly describe the
map γ. In this direction, we first define C0 to be the category C := addR L = addR (L0 , . . . , Lt )
equipped with trivial exact structure. As we are assuming Λ has finite global dimension, ([7],
Lemma 6.5) gives an isomorphism K1 (C0 ) ∼
= K1 (mod C). Since Λ is left Noetherian, Proposition
2.12 gives an equivalence between the categories mod C and mod Λ, hence there is an isomorphism
K1 (mod C) ∼
= K1 (Λ). Moreover, Λ has finite global dimension, so that Quillen’s Resolution Theorem
([15], §Theorem 3) gives an isomorphism K1 (Λ) ∼
= G1 (Λ). Hence there is a map α : G1 (k)⊕t −→
K1 (C0 ) such that the diagram

✲

K1 (C0 )
α

G1 (k)⊕t

γ

∼
=

❄
✲ G1 (Λ)

commutes. This gives coker(γ) ∼
= coker(α). Thus to prove Theorem 1.3, it suffices to compute
coker(α). In fact, α is computed in the discussion of ([13], Section 7.2). The details will be useful and
we recall them. Now L = L0 ⊕ · · ·⊕ Lt , with L0 = R and L1 , . . . , Lt are the non-free indecomposable
and non-isomorphic summands of L. We set I = {L0 , . . . , Lt } and I0 = I\ {R}. For j > 0 let
0 −→ Cnj −→ · · · −→ C0j −→ Lj −→ 0
be the n-Auslander-Reiten sequence ending in Lj (see Definition 2.15). Denote by kj the object
of ⊕I0 mod k which is k in the Lj -coordinate and 0 in the others. We remark that to define a k-linear
functor out of ⊕I0 mod k, one needs only to specify the image of each object kj . We define k-linear
functors
M
ai :
mod k −→ C0
(0 ≤ i ≤ n + 1)
I0

by



j
ai (kj ) = Ci−1
a0 (kj ) = Lj

(1 ≤ i ≤ n + 1)

10

ZACHARY FLORES

It is shown in ([13], Section 7.2) that α =

Pn+1
i=0

(−1)i K1 (ai ). We have the following.

Proposition 3.2. If Ξ is the subgroup of Λ∗ab from Definition 2.21, there is an isomorphism
coker(α) ∼
= Λ∗ab /Ξ.
Now Proposition 3.2 implies Theorem 1.3, so the proof of Proposition 3.2 will conclude this
section.
L
Proof. Since the morphisms ai :
I0 mod k −→ C0 are functors on exact categories, they also
L
define maps K1B (ai ) : K1B ( I0 mod k) −→ K1B (C0 ) on the Bass K1 -groups. Now |I0 | = t, so that
L
L
K1B ( I0 mod k) = I0 K1B (mod k) = K1B (mod k)⊕t . Let β : K1B (mod k)⊕t −→ K1B (C0 ) be the
Pn+1
∼ coker(β). The Gerstenmap given by i=0 (−1)i K1B (ai ). Our first task is to show that coker(α) =
Sherman transformation (see Theorem 2.10) ζ : K1B −→ K1 provides the following commutative
diagram for i = 0, 1, . . . , n + 1
K1 (mod k)⊕t

K1 (ai )

✲ K1 (C0 )

⊕t
∼
ζmod
k =

❄
K1B (mod k)⊕t

∼
= ζC0

❄
✲ K B (C0 )
1

K1B (ai )

Where the vertical isomorphisms come courtesy of Theorem 2.10, as C0 and mod k are semisimple
exact categories. Hence there is a commutative diagram
K1 (mod k)⊕t

α

⊕t
∼
ζmod
k =

❄
K1B (mod k)⊕t

✲ K1 (C0 )
∼
= ζC0

β

❄
✲ K B (C0 )
1

This gives that coker(α) ∼
= coker(β). To finish the proof, first note that Remark 2.20 furnishes
an isomorphism ρk : k ∗ −→ K1B (mod k) such that a 7→ [k, a1k ], hence there is an isomorphism
∗ ⊕t
ρ⊕t
−→ K1B (mod k)⊕t . Now recall the isomorphism τ : K1B (C0 ) −→ Λ∗ab (noting Λ∗ab =
k : (k )
AutR (L)ab ) of Proposition 2.19. The map τ is such that for L′ ∈ C0 and any f ∈ AutR (L′ ),
τ ([L′ , f ]) = detΛop (fe), where detΛop is the generalized determinant of Definition 2.18 and fe ∈
AutR (L) is the map obtained from the tilde construction of Subsection 2.3. In particular, coker(β) ∼
=
∗ ⊕t
coker(τ βρ⊕t
),
hence
we
calculate
the
latter.
Restricting
to
the
jth
coordinate
of
(k
)
,
by
slight
k
abuse of notation, we have for a ∈ k ∗
βρk (a) = β([k, a1k ]) = [Lj , a1Lj ] +

n+1
X

j
(−1)i [Ci−1
, a1C j ]
i−1

i=1

1Lj , so that
1Lj ) = a]
By definition, detΛop (a]
τ βρk (a) = τ

[Lj , a1Lj ] +

n+1
X

i

(−1)

i=1

j
[Ci−1
, a1C j ]
i−1

!

= a]
1Lj

n+1
Y

(−1)
^
detΛop (a1
Cj )

i=1

i

i−1

This is precisely the subgroup Ξ of Definition 2.21, whence the result.

4. Existence of n-Cluster Tilting Objects in mcm R
Naturally, the usefulness of Theorem 1.3 would be limited if the situations in which mcm R
contained an n-cluster tilting object were sparse. Fortunately for us, they are not. Moreover, if
mcm R admits an n-cluster tilting object L, we require that Λ := EndR (L)op has finite global
dimension. At first glance, this condition might also seem limiting, but is in fact quite common, as
seen in the following theorem.

G-GROUPS OF COHEN-MACAULAY RINGS WITH n-CLUSTER TILTING OBJECTS

11

Theorem 4.1. ([8], Theorem 3.12(a))
Suppose dim R = d and that mcm R contains an n-cluster tilting object L with d ≤ n. Then Λ
has global dimension at most n + 1.
The most well-studied situation in which mcm R admits an n-cluster tilting object is the following.
4.1. Finite Cohen-Macaulay Type. Recall that we say that R has finite Cohen-Macaulay type
(or finite type for short) when R has only finitely many indecomposable maximal Cohen-Macaulay
modules. Now the only 1-cluster tilting subcategory of mcm R is mcm R itself. Thus the existence of a 1-cluster tilting object for mcm R is equivalent to R having finite type. In particular,
when R has finite type, mcm R has an additive generator M . For practical and computational
purposes, when R has finite type, we will often work with the R-module M = M0 ⊕ M1 ⊕ · · · ⊕ Mt ,
with M0 = R and M1 , . . . , Mt the pairwise non-isomorphic and non-free indecomposable maximal
Cohen-Macaulay R-modules. Moreover, ([12], Theorem 6) shows that EndR (M )op has finite global
dimension, hence Theorem 1.3 is applicable in this situation. In fact, in this case, if the AuslanderReiten homomorphism Υ : Z⊕t −→ Z⊕(t+1) is injective, Theorem 1.3 is just ([7], Theorem 2.12), the
result which inspired Theorem 1.3.
4.1.1. ADE Singularities. The most important examples of rings that have finite type are the simple
surface singularities. These are called the ADE singularities. Let S = k[[x, y, z2 , z3 , . . . , zd ]] and
assume k is algebraically closed with characteristic different from 2, 3 and 5. Set R = S/f S with f
nonzero and f ∈
/ (x, y, z2 , . . . , zd )2 . The f for which R has finite type are exactly the following ([11],
Theorem 9.8)
(An )

x2 + y n+1 + z22 + z32 + · · · + zd2

(n ≥ 1)

(Dn )

2

(n ≥ 4)

x y+y

n−1

+

(E6 )

x3 + y 4 +

(E7 )

3

(E8 )

3

x + xy +
3

5

x +y +

z22
z22
z22
z22

+
+
+
+

z32
z32
z32
z32

+ ··· +
+ ··· +
+ ··· +
+ ··· +

zd2
zd2
zd2
zd2

4.2. Invariant Subrings. Let k be a field and S the ring k[[x1 , . . . , xn ]]. Suppose G is a finite
subgroup of GLn (k) that does not contain any nontrivial pseudo-reflections and with |G| invertible
in k. Let R be the invariant subring k[[x1 , . . . , xn ]]G of S, where G acts by a linear change of
variables on S. If R is an isolated singularity, then the R-module S is an (n − 1)-cluster tilting
object (see ([9], 2.5)).
L The skew group ring of S, denoted by S#G is such that, as an S-module is given by S#G =
σ∈G S · σ and has multiplication given by (s · σ)(t · τ ) = sσ(t) · στ . In this situatiion, S#G has
global dimension equal to n ([11], Corollary 5.8) and there is an isomorphism EndR (S) ∼
= S#G ([11],
Theorem 5.15). In particular, Theorem 1.3 is applicable in this situation.
4.3. Reduced Hypersurface Singularities.
4.3.1. Dimension One. Let k be an algebraically closed field of characteristic not two and S =
k[[x, y]]. For f ∈ (x, y), let R = S/f S be a reduced hypersurface singularity. Suppose f has
prime factorization and f = f1 · · · fn , Si = S/(f1 · · · fi )S and L is the R-module S1 ⊕ · · · ⊕ Sn . If
fi ∈
/ (x, y)2 for all i, then [2] shows that L is a 2-cluster tilting object for mcm R. Moreover, Theorem
4.1 shows that EndR (L)op has global dimension at most three. Hence we can apply Theorem 1.3
in this situation. Note, in particular, if λ1 , . . . , λn are distinct elements of k, then Theorem 1.3 is
applicable to the ring S/f S with f = (x − λ1 y) · · · (x − λn y).
4.3.2. Dimension Three. Keep notation as above, but set S ′ = k[[x, y, u, v]] and R′ = S ′ /(f + uv)S ′ .
Then mcm R′ has a 2-cluster tilting object if fi ∈
/ (x, y)2 for all i and it is given by L := U1 ⊕· · ·⊕Un
′
with Ui = (u, f1 · · · fi ) ⊂ R ([8], Theorem 4.17). Moreover, ([8], Theorem 4.17) also says EndR′ (L)op
has finite global dimension, so Theorem 1.3 is applicable in this situation.

12

ZACHARY FLORES

5. Abelianization of Automorphism Groups
Of course, the usefulness of Theorem 1.3 would be limited if one were unable to compute
AutR (L)ab . We make several computations, though each computation is tailored specifically to
each ring and it seems difficult to find results that hold generally. Our computations rely significantly upon the general framework laid out by [7] and this work serves strongly as inspiration for
our results. The purpose of this section is to prove the following.
Proposition 5.1. Let k be an algebraically closed field of characteristic not equal to two. Then
(a) if R = k[x]/xn k[x] and M = R ⊕ xR ⊕ · · · ⊕ xn−1 R, then AutR (M )ab ∼
= (k ∗ )⊕n .
(b) if k also has characteristic not equal to 3 or 5, R = k[[t2 , t2n+1 ]], n ≥ 0 and M = R ⊕ R1 ⊕
· · · ⊕ Rn , with Ri = k[[t2 , t2(n−i)+1 ], then AutR (M )ab ∼
= (k ∗ )⊕n ⊕ k[[t]]∗ .
(c) if R = k[[s2 , st, t2 ]], then AutR (R ⊕ (s2 , st)R)ab ∼
= k ∗ ⊕ R∗ .
(d) if S = k[[x, y]], f1 , . . . , fn ∈ (x, y) are irreducible such that
(i) f = f1 · · · fn , R := S/f S, is an isolated singularity (i.e. (fi ) 6= (fj )),
(ii) fi ∈
/ (x, y)2 for all i,
(iii) (fi , fi+1 ) = (x, y),
Si = S/(f1 · · · fi )S, and L = S1 ⊕ · · · ⊕ Sn , then
∗
AutR (L)ab ∼
= (S/f1 S)∗ ⊕ · · · ⊕ (S/fn S)∗ = R
Where R = S/f1 S ⊕ · · · ⊕ S/fn S is the integral closure of R in its total quotient ring.

(e) if k has characteristic zero, S ′ = k[[x, y, u, v]], R′ = S ′ /(f + uv)S ′ , where f = f1 · · · fn with
fi ∈ k[[x, y]] satisfying the conditions in (d), Ui = (u, f1 · · · fi ), and L = U1 ⊕ · · · ⊕ Un , then
AutR′ (L)ab ∼
= R′∗ ⊕ k[[w, z]]∗⊕(n−1)
where w, z are variables over k.
Of course, the purpose of Proposition 5.1 is to combine it with Theorem 1.3 to prove Theorem
1.4. This will be done in Section 6.
We set up some useful notation. Let N1 , . . . , Ns be A-modules and consider the A-module
N := N1 ⊕ · · · ⊕ Ns . We view the elements of N as column vectors and the endomorphism ring of
N has a matrix-like structure: For f ∈ EndA (N ), we can write f = (fij ) with fij ∈ HomA (Nj , Ni )
and composition with another endomorphism g = (gij ) can be accomplished in the same manner
one would multiply matrices with entries in A. We write a diag(α1 , . . . , αs ) for the diagonal endomorphism of N with αi ∈ EndA (Ni ). For α ∈ AutA (Nj ), we denote by dj (α) the automorphism of
N given by diag(1N1 , . . . , 1Nj−1 , α, 1Nj+1 , . . . , 1Ns ). For i 6= j and β ∈ HomA (Nj , Ni ), we denote by
eij (β) the automorphism of N with diagonal entries 1N1 , . . . , 1Ns and (i, j)th entry given by β and
zeros elsewhere. Before we begin, we discuss calculations that will be used often in the sequel.
Lemma 5.2. ([7], Lemma 9.2)
Let A be a ring in which 2 is invertible, N1 , . . . , Ns be A-modules and N := N1 ⊕ · · · ⊕ Ns . If
i 6= j and α ∈ HomA (Nj , Ni ), then eij (α) is a commutator in AutA (N ).
Proof. Given β, γ in AutA (N ), the commutator of β and γ is [β, γ] = βγβ −1 γ −1 . It is not hard to
see that eij (α) = [eij ( α2 ), dj (−1Nj )].

Lemma 5.3. Let (A, n) be commutative and local such that 2 is invertible in A. Let N1 , . . . , Ns
be A-modules and set N = N1 ⊕ · · · ⊕ Ns . Let a ∈ 1 + n, and consider the automorphism
di (a1Ni )di+1 (a−1 1Ni+1 ) of N . Suppose either
(a) Ni ⊇ Ni+1 and nNi ⊆ Ni+1 or
(b) Ni ⊆ Ni+1 and (1 − a)Ni+1 ⊆ Ni
then di (a1Ni )di+1 (a−1 1Ni+1 ) is in the commutator subgroup of AutA (N ).

G-GROUPS OF COHEN-MACAULAY RINGS WITH n-CLUSTER TILTING OBJECTS

13

Proof. In the case of (a), Let ιi : Ni+1 −→ Ni be inclusion. Now note that a−1 ∈ 1 + n, so that we
have the following decomposition of di (a1Ni )di+1 (a−1 1Ni+1 ):
ei+1,i ((a−1 − 1)1Ni )ei,i+1 (ιi )ei+1,i ((a − 1)1Ni )ei,i+1 (−a−1 ιi )
We apply Lemma 5.2 to see that di (a1Ni )di+1 (a−1 1Ni+1 ) is in the commutator subgroup of
AutA (N ).
In the case of (b), notice that our hypothesis implies (a−1 − 1)Ni+1 ⊆ Ni . Let ιi : Ni −→ Ni+1
be the inclusion map. We have the following decomposition of di (a1Ni )di+1 (a−1 1Ni+1 ):
ei,i+1 ((a−1 − 1)1Ni+1 )ei+1,i (ιi )ei,i+1 ((a − 1)1Ni+1 )ei+1,i (−a−1 ιi )
and once again, we apply Lemma 5.2 to see that di (a1Ni )di+1 (a−1 1Ni+1 ) is in the commutator
subgroup of AutA (N ).

5.1. Truncated Polynomial Rings in One Variable. Our aim here is to prove (a) of Proposition
5.1. That is k is algebraically closed and has characteristic not two, R = k[x]/xn k[x], m is its maximal
ideal xR, then with M = R ⊕ m ⊕ · · · ⊕ mn−1 , we have AutR (M )ab ∼
= (k ∗ )⊕n .
Proof. Denote by Rj the ring k[x]/xj k[x] for 1 ≤ j ≤ n. Note that Rj−1 ⊂ Rj and R = Rn . Let m
denote the maximal ideal xR of R. Then EndR (mi ) is isomorphic to the local ring Rn−i . Let M be
∗ ∼
the R-module R ⊕ m ⊕ · · · ⊕ mn−1 . We set E = EndR (M ) and seek to show Eab
= (k ∗ )⊕n .
∗ ∼
For n = 1, this is clear. For n = 2, we have EndR (m) = k, so that Eab
= (k ∗ )⊕2 by ([7],
Proposition 9.6).
∗
Suppose now n ≥ 3. We first show that there is a surjection Eab
−→ (k ∗ )⊕n such that the kernel
i−1
∗
consists of diagonal matrices α = (αii ) with αii ∈ AutR (m ) = Rn−i+1 . By ([7], Proposition 9.4),
(αij ) ∈ E is invertible if and only if αii is invertible
for all i. In particular, this gives that every

two-sided maximal ideal of E is of the form ni := (αij ) : αii ∈ J(EndR (mi−1 )) . Hence the Chinese
Remainder Theorem gives E/J(E) ∼
= E/n1 × · · · × E/nn = k × · · · × k. In particular, there is an
∗
∗
induced surjection ϕ : Eab
։ (k ∗ )⊕n . We appeal to ([7], Corollary 9.5) to see every element of Eab
can be represented by a diagonal automorphism. Moreover, it is clear elements in the kernel ϕ are
given by (αii ) such that αii is multiplication by an element in 1 + J(EndR (mi−1 )) = 1 + xRn−i+1
for all i.
∗
We now demonstrate the injectivity of ϕ. Let α ∈ Eab
such that ϕ(α) is trivial. By the above,
∗
we can write α = (αii ) such that αii is multiplication by an element of 1 + xRn−i+1
. Now every
n−1
endomorphism on m
is given by an element of 1 + xR1 = {1}, so that we can write α =
d1 (α11 ) · · · dn−1 (αn−1,n−1 ). It suffices to show each di (αii ) is in the commutator subgroup of E ∗ .
We do this below.

We show by decreasing induction on i that di (β) can be written as a product of commutators,
where β is given by multiplication by an element of 1 + xRn−i+1 . For i = n − 1, write β = r1mn−2 ,
where r ∈ 1 + xR2 . Notice that r−1 ∈ 1 + xR2 as well, hence multiplication by r−1 restricts to the
identity on mn−1 . This gives
dn−1 (β) = dn−1 (r1mn−2 ) = dn−1 (r1mn−2 )dn (r−1 1mn−1 )
By Lemma 5.3, dn−1 (r1mn−2 )dn (r−1 1mn−1 ) is in the commutator subgroup of E ∗ , hence so is
dn−1 (β). Suppose now i < n − 1 and β ∈ AutR (mi−1 ) is given by multiplication on mi−1 by an
element of 1 + xRn−i+1 . We have
di (β) = di (β)di+1 (β −1 |mi )di+1 (β|mi )
By the induction hypothesis, di+1 (β|mi ) is in the commutator subgroup of E ∗ . By Lemma 5.3,
di (β)di+1 (β −1 |mi ) is in the commutator subgroup of E ∗ , hence so is di (β). This completes the
∗ ∼
induction step and gives that Eab
= (k ∗ )⊕n .


14

ZACHARY FLORES

5.2. Singularty of Type A2n in Dimension One. Our aim here is to prove (b) of Proposition
5.1. Thus, k is an algebraically closed field of characteristic not equal to 2, 3 or 5 and R the ring
k[[t2 , t2n+1 ]]. Set R = R0 and let M be the R-module R0 ⊕R1 ⊕· · ·⊕Rn , where Ri = k[[t2 , t2(n−i)+1 ]]
for i = 0, . . . , n. Then we want to show AutR (M )ab ∼
= (k ∗ )⊕n ⊕ k[[t]]∗ . Before we begin, we prove
the following.
Lemma 5.4. Let 0 ≤ i, j ≤ n. If
(a) i ≤ j, then HomR (Ri , Rj ) = Rj .
(b) i > j, then HomR (Ri , Rj ) can be viewed as a subset of R. In particular, it is contained in
Rn = k[[t]].
As a consequence of the above, we can view E := EndR (M ) as a subring of Mn+1 (Rn ) =
Mn+1 (k[[t]]).
Proof. (a) We claim
HomR (Ri , Rj ) = HomRi (Ri , Rj )
Indeed, since R ⊆ Ri , there is a natural inclusion HomRi (Ri , Rj ) ⊆ HomR (Ri , Rj ). We demonstrate the reverse inclusion. Let s ∈ Ri , f ∈ Ri and ϕ ∈ HomR (Ri , Rj ). It is not hard to see that
there is a nonzero r ∈ R such that rs ∈ R (for example, by noting that t2n+1 ∈ R, t2n+1 k[[t]] ⊆ R,
and Ri ⊆ k[[t]]). We have
rϕ(sf ) = ϕ(rsf ) = rsϕ(f )
and r is nonzero, so that ϕ(sf ) = sϕ(f ). This proves the claim. Thus, we have
HomR (Ri , Rj ) = HomRi (Ri , Rj )
and the latter is naturally isomorphic to Rj .
(b) By ([19], Lemma 2.4.3), there is an isomorphism of R-modules:
HomR (Ri , Rj ) ∼
= (Rj :R Ri )
Where (Rj :R Ri ) is the ideal of R consisting of f ∈ R such that f Ri ⊆ Rj .
Utilizing (a) and (b), we see that E can be viewed as the subring
given by

R0
R1
R2
R3
 (R1 :R R0 )
R
R
R
1
2
3

 (R2 :R R0 ) (R2 :R R1 )
R2
R3


..
..
..
..

.
.
.
.
(Rn :R R0 ) (Rn :R R1 ) (Rn :R R2 ) (Rn :R R3 )

of Mn+1 (Rn ) = Mn+1 (k[[t]])
···
···
···
..
.
···


Rn
Rn 

Rn 

.. 
. 
Rn



We now proceed with the proof of (b) of Proposition 5.1.
Proof. Note the Ri are finitely generated R-modules; each Ri is local with maximal ideal mi =
(t2 , t2(n−i)+1 )Ri ; we have inclusions Ri ⊆ Ri+1 and mi ⊆ mi+1 ; and each Ri has k as a residue field.
This is clear for n = 0. For n = 1, this is just ([7], Proposition 9.6), since k[[t]] ∼
= (t2 , t3 )k[[t2 , t3 ]]
2 3
as k[[t , t ]]-modules.
Suppose now n ≥ 2. Our goal is to construct a map from E ∗ to the abelian group (k ∗ )⊕n ⊕ k[[t]]∗ ,
∗
so that we obtain an induced map Eab
−→ (k ∗ )⊕n ⊕k[[t]]∗ that we will later show is an isomorphism.
First we construct a map from E ∗ to (k ∗ )⊕n . The proof that there is group homomorphism from
E −→ (k ∗ )⊕n works in exactly the same manner as as it did in the proof of (a) of Proposition 5.1.
Noting of course that with ni = {(αij ) : αii ∈ J(EndR (Ri−1 ))}, (a) of Lemma 5.4 gives that E/ni =
∗
EndR (Ri−1 )/J(EndR (Ri−1 )) = Ri−1 /mi−1 = k. Thus we obtain an induced map Eab
−→ (k ∗ )⊕n .
∗

G-GROUPS OF COHEN-MACAULAY RINGS WITH n-CLUSTER TILTING OBJECTS

15

As Lemma 5.4 allows us to view E as a subring of Mn+1 (Rn ) = Mn+1 (k[[t]]), E ∗ is naturally a
subset of GLn+1 (k[[t]]), the group of invertible (n + 1) × (n + 1) matrices over k[[t]]. By taking the
determinant, we obtain a map from E ∗ −→ k[[t]]∗ . Now k[[t]]∗ is abelian, hence this induces a group
∗
−→ k[[t]]∗ .
homomorphism Eab
Regarding E as a matrix subring of Mn+1 (k[[t]]), we combine our preceding work to see there is
∗
∗
a group homomorphism Φ : Eab
−→ (k ∗ )⊕n ⊕ Rn∗ such that the image of α = (αij ) ∈ Eab
under Φ is
(α11 + m0 , . . . , αnn + mn−1 , det(α))
We note Φ is surjective: For (a1 , . . . an , f ) ∈ (k ∗ )⊕n ⊕ Rn∗ , (a1 , . . . an , f ) is the image under Φ of
diag(a1 , a2 , . . . , an , (a1 a2 · · · an )−1 f )
∗
To see that Φ is injective, let α ∈ Eab
such that Φ(α) is trivial. By ([7], Corollary 9.5), we may
∗
assume that α ∈ Eab is diagonal. Write α = diag(f0 , f1 , . . . , fn−1 , fn ), with fi−1 ∈ (Ri−1 )∗ by
Lemma 5.4. Since Φ(α) is trivial, fi−1 ∈ 1 + mi−1 for i = 1, . . . , n and f0 f1 · · · fn = 1 in Rn∗ = k[[t]]∗ .
−1
Hence for i = 1, . . . , n, α is the product of the diagonal automorphisms βi = di (fi−1 )dn+1 (fi−1
).
−1
Consider the automorphisms γi = di (fi−1 )di+1 (fi−1 ) and note that βi = γi · · · γn . To see that γi
−1
is in the commutator subgroup, note that fi−1
is in 1 + mi−1 , hence multiplication by fi−1 − 1
maps Ri into Ri−1 . Indeed, multiplication by mi−1 on mi takes mi into mi−1 . Moreover, any unit
in Ri is a power series with nonzero constant term, hence multiplication on Ri by an element in
mi−1 takes Ri into Ri−1 . Thus the hypotheses of Lemma 5.3 are satisfied, so that each γi is in the
commutator subgroup of E ∗ , hence so is each βi , and ultimately so is α. Thus Φ is injective, hence
an isomorphism.


5.3. Generalities for Invariant Subrings. Let k be a field. Recall from Section 4 that S is the
ring k[[x1 , . . . , xn ]], G is a finite subgroup of GLn (k) that does not contain any nontrivial pseudoreflections with |G| invertible in k and R is the invariant subring S G of S (where G acts by a linear
change of variables on S). Then if R is an isolated singularity, the R-module S is an (n − 1)-cluster
tilting object in mcm R.
We need the following lemmas for the proof of (c) of Proposition 5.1.
Lemma 5.5. Let A be a local Cohen-Macaulay integral domain of dimension d > 1 such that A is
an isolated singularity. Then A is normal and HomA (I, I) ∼
= A for any ideal I of height one.
Proof. Clearly A satisfies Serre’s criterion for normality. For the second part, choose x ∈ I to be
nonzero. Then ([19], Lemma 2.4.3) shows that HomA (I, I) can be identified with the A-submodule
1
x (xI :A I) of the quotient field of A. Now (Ix :A I) is nonzero and contained in I, so must have
height one. If I is principal, it is clear that (xI :A I) = xA. However, as (xI :A I) has height
one and A is an isolated singularity, Ap is a discrete valuation ring for every associated prime p of
(xI :A I), hence (xIAp :Ap IAp ) = xAp . Thus (xI :A I) = xA and HomA (I, I) ∼
= A.

Lemma 5.6. ([3], Lemma 5.4)
Let A be a commutative noetherian ring. Then for any ideal I and module M such that grade(I, M ) ≥
2, we have HomA (I, M ) ∼
= HomA (A, M ) ∼
= M.
5.4. Singularity of Type A1 in Dimension Two. Our aim here is to prove (c) of Proposition
5.1. Thus R is the A1 singuarlity k[[s2 , st, t2 ]] in dimension two with char(k) 6= 2. If I = (s2 , st)R,
then AutR (R ⊕ I)ab ∼
= k ∗ ⊕ R∗ .
Proof. By ([11], Example 5.25), the indecomposable maximal Cohen-Macaulay modules of M are
R and I. That is, R has finite type. Thus by ([21], Theorem 4.22), R is an isolated singularity.
Moreover, since R is of finite type, R ⊕ I is an additive generator for mcm R, so that EndR (R ⊕ I)op
has finite global dimension by ([12], Theorem 6). Now I has height one, so that HomR (I, I) ∼
=R
by Lemma 5.5. Moreover, as I is maximal Cohen-Macaulay, we have HomR (I, R) ∼
= R by Lemma

16

ZACHARY FLORES

5.6. Thus EndR (R ⊕ I) is isomorphic to the subring
there is an isomorphism



R
I

R
R



of M2 (R). By ([14], Corollary 2.8),

AutR (R ⊕ I)ab ∼
= K1C (R) ⊕ K1C (R/I) = R∗ ⊕ k[[t2 ]]∗
Thus if m denotes the maximal ideal of R, we have
R∗ ⊕ k[[t2 ]]∗ ∗

∼
= k ∗ ⊕ 1 + m ⊕ k[[t2 ]]∗
∼
= k ∗ ⊕ k[[t2 ]][[s2 , st, t2 ]]∗
= k ∗ ⊕ R∗


5.5. Generalities for Reduced Hypersurface Singularities. Before we prove parts (d) and (e)
of Proposition 5.1, we discuss another route for computing the group AutR (L)ab that we plan to
utilize for the proof. We begin with another aside on noncommuatative algebra. A ring A with
Jacobson radical J(A) is said to be semiperfect if A is semilocal and idempotents of A/J(A) lift
to idempotents of A. We assume that mcm R contains an n-cluster tilting object L of the form
L0 ⊕ L1 ⊕ · · ·⊕ Lt and L0 , L1 , . . . , Lt are pairwise non-isomorphic and indecomposable. As EndR (Li )
is local for all i, it is the case that Λ = EndR (L)op is semiperfect by ([10], Theorem 23.8) (noting that
Λ is semiperfect if and only if Λop is semiperfect). In particular, if R is a k-algebra, the characteristic
of k is not two, then by ([20], Theorem 2), there is an isomorphism
K1C (Λ) ∼
= Λ∗ab = AutR (L)ab
Since Λ is semiperfect, with the above isomorphism, we can utilize ([14], Theorem 2.2) to obtain
an isomorphism
!
t
M
AutR (Li )
HC
AutR (L)ab ∼
= K C (Λ) ∼
=
1

Where C is the subgroup of

Lt

i=0

i=0 AutR (Li ) generated by all elements of the form

(1 + αi βi )(1 + βi αi )−1
with αi , βi ∈ EndR (Li−1 ) such that 1 + αi βi ∈ AutR (Li−1 ), and H is the subgroup generated by
all elements of the form
(1 + αij αji )(1 + αji αij )−1
with αij ∈ HomR (Li−1 , Lj−1 ), i 6= j, and 1 + αij αji ∈ AutR (Li−1 ).
However each αij αji is never an automorphism when i 6= j, since otherwise Li−1 would be a
direct summand of Lj−1 (see ([7], Lemma 9.3). Since each of the rings EndR (Li−1 ) are local, this
implies that 1 + αij αji ∈ AutR (Li−1 ) for all i 6= j.
We now continue with the proof of (d) of Proposition 5.1.
5.6. Reduced Hypersurface Singularities in Dimension One. Our aim here is to prove (d) of
Proposition 5.1. Here, k is an algebraically closed field of characteristic not two and S = k[[x, y]], R is
the ring S/f S with f ∈ (x, y) is such that in its prime factorization, f = f1 · · · fn we have (fi ) 6= (fj )
for i 6= j, fi ∈
/ (x, y)2 , (fi , fi+1 ) = (x, y). Then if Si = S/(f1 · · · fi )S and L := S1 ⊕ · · · ⊕ Sn , we
∗
have AutR (L)ab ∼
= R , where R is the integral closure of R in its total quotient ring. We first prove
a useful lemma.
Lemma 5.7. With notation as above, we have

(fj+1 · · · fi )/(f1 · · · fi )
HomR (Sj , Si ) ∼
=
Si

j<i
i≤j

G-GROUPS OF COHEN-MACAULAY RINGS WITH n-CLUSTER TILTING OBJECTS

17

Proof. The isomorphisms
HomR (Sj , Si ) ∼
= HomR (R/(f1 · · · fj ), R/(f1 · · · fi )) ∼
= (0 :R/(f1 ···fi ) (f1 · · · fj ))
make the statement clear.

We now proceed with the proof of (d) of Proposition 5.1.
Proof. Now by ([2], 4.7), L is a 2-cluster-tilting object for mcm R. As Λ := EndR (L)op has finite
global dimension by Theorem 4.1, the remarks of Subsection 5.5 give
!
n
M
∼
AutR (Si ) /HC
AutR (L)ab =
i=1

Ln
Where C is the subgroup of i=1 AutR (Si ) generated by all elements of the form (1 + αi βi )(1 +
βi αi )−1 such that αi , βi ∈ EndR (Si ) and 1 + αi βi ∈ AutR (Si ). By Lemma 5.7, EndR (Si ) = Si , so
that C is trivial and AutR (L)ab ∼
= (S1∗ ⊕ · · · ⊕ Sn∗ ) /H. We now describe the subgroup H. Again by
the remarks in subsection 5.5, H is the subgroup generated by all elements of the form

(1 + αij αji )(1 + αji αij )−1
where αij ∈ HomR (Sj , Si ), αji ∈ HomR (Si , Sj )), and i 6= j. In fact, we can consider the subgroup
generated by such elements where i < j. We note αij αji ∈ EndR (Si ) = Si and αji αij ∈ EndR (Sj ) =
Sj . Utilizing Lemma 5.7, we can give a more concise description of H as follows (note i < j). The
subgroup H is generated by the elements hij (s), which we now describe:
(i) the ith entry of hij (s) is the image of an element s ∈ 1 + (fi+1 · · · fj ) ⊂ S in the unit group
Si∗ ;
(ii) the jth entry of hij (s) is the image of s−1 , with s from (i) in the unit group Sj∗ ;
(iii) hij (s) is trivial elsewhere.
Let Hi,j be the subgroup of H generated by the hij (s), with s defined above. We have H =
⊕i<j Hi,j . By projecting onto the jth coordinate, it is easy to see Hi,j is isomorphic to the subgroup
1 + (fi+1 · · · fj ) of Sj∗ . For 1 ≤ i < n, we call the subgroup Hi,i+1 ⊕ · · · ⊕ Hi,n of H the ith layer of
H. It is easy to see that S1∗ ⊕ · · · ⊕ Sn∗ modulo the direct sum of the first m layers of H is
m+1
M

(S/fu S)∗ ⊕

u=1

n
M

(S/(fm+1 · · · fv )S)∗

v=m+2

As H is the direct sum of its n − 1 layers of H, we see that S1∗ ⊕ · · · ⊕ Sn∗ modulo H is just
(S/f1 S)∗ ⊕ · · · ⊕ (S/fn S)∗
∗

And this is just R .

5.7. Reduced Hypersurface Singularities in Dimension Three. Our aim here is to prove (e)
of Proposition 5.1. Keep notation as in Subsection 5.6 with the exception that we now require k be
an algebraically closed field of characteristic zero. Set S ′ = k[[x, y, u, v]] and R′ = S ′ /(f + uv)S ′ .
Then a 2-cluster tilting object for mcm R is given by L := U1 ⊕· · ·⊕Un , with Ui = (u, f1 · · · fi ) ⊂ R′
(see Section 4). Then we aim to show AutR (L)ab ∼
= R′∗ ⊕ k[[w, z]]∗⊕(n−1) . In order to understand
AutR (L)ab , we first need to understand the structure of the modules HomR′ (Ui , Uj ), so that we are
able to use the remarks of Subsection 5.5 to compute AutR (L)ab . This is the first step we make
below.
Proposition 5.8. Let R′ and Ui be as above. Then

Uj
HomR′ (Ui , Uj ) ∼
=
R′

j<i
i≤j

18

ZACHARY FLORES

Proof. Now R′ is Gorenstein of dimension three and an isolated singularity. Since Ui is an ideal
of R′ of height one, we may apply Lemma 5.5 to see that HomR′ (Ui , Ui ) ∼
= R′ for all i. If i 6= j,
′
([19], Lemma 2.4.3) says we may identify HomR′ (Ui , Uj ) with the the R -submodule u1 (uUj :R′ Ui )
of the quotient field of R′ . Now (uUj :R′ Ui ) is nonzero and (uUj :R′ Ui ) ⊂ Uj , hence (uUj :R′ Ui )
has height one. Let p be a minimal prime of (uUi :R′ Uj ). As R′ is an isolated singularity, Rp′
is a discrete valuation ring. Write Rp′ = A and let µ be a generator for the maximal ideal of A.
Suppose u maps to cµa , with a > 0 and c ∈ A∗ . Write (Ui )p = µni A and (Uj )p = µnj A, with nj , ni
nonnegative integers. Then
(uUj :R′ Ui )p = (µa+nj :A µni )
If i ≤ j, then Uj ⊆ Ui , hence nj ≥ ni . We have

Thus (uUj :R′

(µa+nj :A µni ) = µa+nj −ni A ⊂ µa A
Ui )p = (uR )p . In this case, (uUi :R′ Uj ) = uR′ , so that HomR′ (Ui , Uj ) ∼
= R′ .
′

Now if j < i, then Ui ⊂ Uj and ni ≥ nj . Notice u ∈ Ui , so that a ≥ ni . We have
(µa+nj :A µni ) = µa+nj −ni = µa−ni (Uj )p
And µa−ni A = (µa :A µni ) = (u :R′ Ui )p . We have (u :R′ Ui ) = (u :R′ f1 · · · fi ). Thus (uUj :R′
Ui ) = (u :R′ f1 · · · fi )Uj . When i = n, (f1 · · · fn )R′ = (uv)R′ , hence (u :R′ f1 · · · fn ) = R′ . This
gives Uj = (uUj :R′ Un ), hence there is an isomorphism of R′ -modules HomR′ (Un , Uj ) ∼
= u1 Uj ∼
= Uj .
To analyze the ideal (u :R′ f1 · · · fi ) for i < n, note that fi+1 · · · fn ∈ (u :R′ f1 · · · fi ) and that
the ideals (u, fi+1 )R′ , . . . , (u, fn )R′ are prime. In particular, the minimal primes of (u :R′ f1 · · · fi )
are (u, fi+1 )R′ , . . . , (u, fn )R′ . Let q denote the prime ideal (u, fs )R′ , with i + 1 ≤ s ≤ n. Then
(f1 · · · fi )Rq′ = Rq′ , as f1 , . . . , fi ∈
/ q and hence (u :R′ f1 · · · fi )q = (uR′ )q . Thus (u :R′ f1 · · · fi ) =
′

uR , so that (u :R′ f1 · · · fi )Uj = uUj , and hence HomR′ (Ui , Uj ) ∼
= Uj . This gives the result.
We now procced with the proof of (e) of Proposition 5.1.
Proof. By ([8], Theorem 4.17), EndR′ (L)op has finite global dimension, so the remarks of Subsection
5.5 are applicable. Thus there is an isomorphism:
!
n
M
AutR′ (Ui ) /HC
AutR′ (L)ab ∼
=

i=1
Ln
−1
′
(U
such that
Where C is the subgroup of
Aut
i ) generated by (1 + αi βi )(1 + βi αi )
R
i=1
αi , βi ∈ EndR′ (Ui ) and 1 + αi βi ∈ AutR′ (Ui ). By Proposition 5.8, EndR′ (Ui ) = R′ , so that C is
trivial, hence AutR′ (L)ab ∼
= (R′∗ )⊕n /H. We now describe the subgroup H. Again by the remarks
in subsection 5.5, H is the subgroup generated by all elements of the form

(1 + αij αji )(1 + αji αij )−1
where αij ∈ HomR′ (Uj , Ui ), αji ∈ HomR′ (Ui , Uj )), and i 6= j. In fact, we can consider the
subgroup generated by such elements where i < j. We now give a more concise description of H.
Utilizing Proposition 5.8, H is the subgroup of (R′∗ )⊕n generated by the elements hij (g) with i < j
and g ∈ Ui such that that:
(i) the ith entry of hij (g) is 1 + g;
(ii) the jth entry of hij (g) is (1 + g)−1 ;
(iii) hij (g) is trivial elsewhere.
For fixed i and j, let Hi,j be the subgroup generated by the elements hij (g). Thus H = ⊕i<j Hi,j
and Hi,j ∼
= 1 + Ui ⊂ R′∗ . For i < n, we call the subgroup Hi,i+1 ⊕ Hi,i+2 ⊕ · · · ⊕ Hi,n the ith
layer of H. As Un ⊂ Un ⊂ · · · ⊂ U1 , it is easy to see that (R′∗ )⊕n modulo the direct sum of layers
n − 1, n − 2, . . . , n − i is isomorphic to
(R′∗ )⊕(n−i) ⊕ (R′ /Un−i )∗⊕i

G-GROUPS OF COHEN-MACAULAY RINGS WITH n-CLUSTER TILTING OBJECTS

19

Now the direct sum of layers n − 1, n − 2, . . . , 1 is just H, so that we see
AutR′ (L)ab ∼
= R′∗ ⊕ (R′ /U1 )∗⊕(n−1)
Moreover, since U1 = (u, f1 ) and f1 ∈ (x, y)\(x, y)2 ⊆ k[[x, y]], we see R′ /U1 ∼
= k[[w, z]], for
variables w, z over k. Thus
AutR′ (L)ab ∼
= R′∗ ⊕ k[[w, z]]∗⊕(n−1)

6. Computing G1 (R)
6.1. The n-Auslander-Reiten Matrix. Before we can prove Theorem 1.4, we need to explicitly
define the free group H occurring in the decomposition of G1 (R) in Theorem 1.3. Our assumptions
are as usual and we also require that R is a k-algebra and k is algebraically closed of characteristic
not two. We use L = L0 ⊕ L1 ⊕ · · · ⊕ Lt to denote an n-cluster tilting object of mcm R such
that Λ = EndR (L)op has finite global dimension. We assume that L0 , L1 , . . . , Lt are the pairwise
non-isomorphic summands of L (each occurs with multiplicity one in the decomposition of L) and
that L0 = R. Let I = {L0 , L1 , . . . , Lt } and I0 = I\ {L0 }. We set C = addR L. Recall, for j > 0,
there is an exact sequence, called the n-Auslander-Reiten ending in Lj (see Definition 2.15):
0 −→ Cnj −→ · · · −→ C0j −→ Lj −→ 0
with C0j , C1j , . . . , Cnj ∈ C. Given N ∈ C, let #(i, N ) be the number of Li -summands (0 ≤ i ≤ t)
appearing in a decomposition of N into the indecompsables R-modules LP
0 , L1 , . . . , Lt . Following
n
u+1
[13], we
define
a
(t
+
1)
×
t
integer
matrix
T
whose
ij-th
entry
is
#(i,
L
)
+
#(i, Cuj ) =
j
u=0 (−1)
Pn
u+1
j
δij + u=0 (−1)
#(i, Cu ) (note that T has a 0th row but no 0th column). As G0 (k) = Z and
G0 (Λ) = Z⊕t , Theorem 1.2 gives us a map Z⊕t −→ Z⊕(t+1) . It is shown in ([13], Section 7.2) that
T defines the map Z⊕t −→ Z⊕(t+1) afforded to us by Theorem 1.2. We call T the n-AuslanderReiten matrix or the n-Auslander-Reiten homomorphism. Moreover, this is the same map given in
Theorem 1.1 when mcm R has a 1-cluster tilting object. For our needs, recall Theorem 1.3 says
G1 (R) = H ⊕ AutR (L)ab /Ξ, so that now H = ker(T ).
We make a useful observation before our computations.
⊕q
∗
Lemma 6.1. Let 1 ≤ i1 < · · · < ih ≤ t and L′ = L⊕q
i1 ⊕ · · · ⊕ Lih with q > 0. Then for a ∈ R , we
q
q
op ∗
g
have detΛop (a1
L′ ) = α, where α ∈ (Λ ) is given by diag(1L0 , . . . , a 1Li1 , . . . , a 1Lih , . . . , 1Lt )

⊕q
g
−→ L⊕q is the map e1L⊕q , where e ∈ (Λop )∗ is
Proof. From Remark 2.16, we see that a1
L′ : L
given by diag(1L0 , . . . , a1Li1 , . . . , a1Lih , . . . , 1Lt ). Now recall the injection GL1 (Λop ) = (Λop )∗ ֒→
GLq (Λop ) that takes γ ∈ (Λop )∗ to the automorphism d1 (γ) = diag(γ, 1L , . . . , 1L ) ∈ GLq (Λop ). Now

(e1L⊕q )−1 · d1 (α) = e−1 1L⊕q · d1 (α) = β1 · · · βq−1
where βu := d1 (e)du+1 (e−1 ) ∈ GLq (Λop ). Consider the element γu := diag(e, 1, . . . , 1) in
GLu (Λop ). Then, by slight abuse of notation, the matrix δu := diag(γu , γu−1 ) in GL2u is in the commutator subgroup of GL2u (Λop ) by ([16], Corollary 2.1.3). Thus by ([16], Proposition 2.1.4), each δu
is in the commutator subgroup of GL(Λop ). In GL( Λop ), either βu is the image of δu under the injection GL2u (Λop ) ֒→ GLq (Λop ), or δu is the image of βu under the injection GLq (Λop ) ֒→ GL2u (Λop ).
In either case we see that βu is in the commutator subgroup of GL(Λop ). Hence e1L⊕q ≡ d1 (α) in
GL(Λop )ab .
Since detΛop : GL(Λop )ab −→ (Λop )∗ab is the inverse of the isomorphism induced by the map
(Λop )∗ = GL1 (Λop ) ֒→ GL(Λop ) ։ GL(Λop )ab
We see that detΛop (e1L⊕q ) = α.



20

ZACHARY FLORES

We note R has finite type if and only if R has a 1-cluster tilting object M . In this case, mcm R =
addR M and M = M0 ⊕ M1 ⊕ · · · ⊕ Mt , with M0 = R and M1 , . . . , Mt the non-free indecomposable
maximal Cohen-Macaulay R-modules. For j > 0, we call the 1-Auslander-Reiten sequence ending in
Mj the Auslander-Reiten sequence ending in Mj and the 1-Auslander-Reiten matrix is referred to
as the Auslander-Reiten matrix. The Auslander-Reiten matrix is a classical invariant and we denote
it by Υ.
We now make use of Theorem 1.3 to compute G1 (R) for several hypersurface singularities. That
is, in the context of Theorem 1.3, we must compuete the kernel of the n-Auslander-Reiten homomorphism and the subgroup Ξ of AutR (L)ab . In each computation, it will also be clear that R is a
k-algebra.
6.2. Truncated Polynomial Rings in One Variable. Our aim here is to utilize Theorem 1.3 to
show the following.
Proposition 6.2. Let R = k[x]/xn k[x]. Then G1 (R) ∼
= k∗ .
We remark that Proposition 6.2 follows immediately from Quillen’s Dévissage Theorem ([15], §5
Theorem 4), but we find the process illustrative of our methods as well as allowing us to generalize
([7], Example 10.2).
Proof. For n = 1, R = k, so G1 (R) = K1 (R) ∼
= k∗ .
We now suppose n ≥ 2. Let m denote the maximal ideal xR. By the proof of ([11], Theorem
3.3), R has finite type and the indecomposable R-modules are given by R, m, . . . , mn−1 . Let M be
the R-module given by R ⊕ m ⊕ · · · ⊕ mn−1 and denote its endomorphism ring by E. Using ([21],
Lemma 2.9 ) it is not hard to see the Auslander-Reiten sequences ending in mj are given by
(⋆)

0 −→ mj −→ mj−1 ⊕ mj+1 −→ mj −→ 0

(1 ≤ j ≤ n − 1)
T

Thus for 1 ≤ j ≤ n − 2, Υ has its jth column given by (0, . . . , −1, 2, −1, . . . , 0) , where −1, 2 and
−1 occur in rows j−1, j and j+1, respectively. And the (n−1)st column is given by (0, . . . , 0, −1, 2)T .
It is easy to see that Υ is injective.
∗
from Definition 2.21. By (⋆) and Lemma 6.1, the subgroup
We compute the subgroup Ξ of Eab
Ξ is generated by elements
2 1 j ) · (a−1 1 j−1
^
ξa,j = (a^
⊕ a−1 1mj+1 )
m
m

(1 ≤ j ≤ n − 2)

^
ξa,n−1 = (a2^
1mn−1 ) · (a−1
1mn−2 )
where a runs over k ∗ . Again by Lemma 6.1, we have
ξa,j = diag(1R , . . . , a−1 1mj−1 , a2 1mj , a−1 1mj+1 , . . . , 1mn−1 )
ξa,n−1 = diag(1R , . . . , . . . , a−1 1mn−2 , a2 1mn−1 )
∗ ∼
By (a) of Proposition 5.1, there is an isomorphism Eab
= (k ∗ )⊕n . We regard Ξ as a subgroup of
∗ ⊕n
(k )
and abuse notation to write
ξa,j = (1, . . . , a−1 , a2 , a−1 , . . . 1)
ξa,n−1 = (1, . . . , a−1 , a2 )
Where a−1 , a2 and a−1 occur in ξa,j at positions j, j + 1 and j + 2, respectively. Let Ψ :
(k ∗ )⊕n −→ k ∗ be the map such that Ψ(a1 , . . . , an ) = an1 a2n−1 · · · an . Then Ψ is a surjective group
homomorphism such that Ξ ⊆ ker(Ψ). Let (a1 , . . . , an ) ∈ ker(Ψ), so that an1 a2n−1 · · · an = 1. Then
(a1 , . . . , an ) = ζ1 · · · ζn−1 , where

G-GROUPS OF COHEN-MACAULAY RINGS WITH n-CLUSTER TILTING OBJECTS

ζj =

n−1
Y
v=j

21

ξaj−v−1 ,v
j

Thus Ψ induces an isomorphism Ψ : (k ∗ )⊕n /Ξ −→ k ∗ , hence G1 (R) ∼
= k ∗ by Theorem 1.3.

The aim of the rest of the section is to prove Theorem 1.4.
6.3. Singularity of Type A2n in Dimension One. The ADE singularity of type A2n is given by
the ring R = k[[t2 , t2n+1 ]]. Here we prove (a) of Theorem 1.4. That is, if the characteristic of k is
∗
also not 3 or 5 and R then G1 (R) ∼
= R = k[[t]]∗ .
Proof. For n = 0, R = k[[t]], a regular local ring, so that G1 (R) ∼
= K1 (R) ∼
= R∗ = k[[t]]∗ by Quillen’s
Resolution Theorem ([15], §Theorem 3).
We now suppose n ≥ 1. Now R has finite type and the indecomposable maximal Cohen-Macaulay
R-modules are Rj = k[[t2 , t2(n−j)+1 ]], with j = 0, . . . , n by ([21], Proposition 5.11). Thus M is the
R-module R0 ⊕ R1 ⊕ · · · ⊕ Rn (R0 = R). Let E be the endomorphism ring of M . By the proof of
([21], Proposition 5.11), the Auslander-Reiten sequence ending in Rj is
0 −→ Rj −→ Rj−1 ⊕ Rj+1 −→ Rj −→ 0

(1 ≤ j < n)

0 −→ Rn −→ Rn−1 ⊕ Rn −→ Rn −→ 0
T

Thus the Auslander-Reiten matrix Υ, for 1 ≤ j ≤ n−1, has jth column given by (0, . . . , −1, 2, −1, . . . , 0) ,
with −1, 2 and −1 occur in rows j − 1, j and j + 1, respectively. The nth column is given by
T
∗
/Ξ by Theorem 1.3. We calculate
(0, . . . , 0, −1, 1) . Now Υ is clearly injective, hence G1 (R) ∼
= Eab
the subgroup Ξ occurring of Definition 2.21. By Lemma 6.1, the subgroup Ξ is generated by the
elements
−1 1
21
^−1 1R
ξa,j = a^
Rj−1 ⊕ a
Rj · a
j+1

(1 ≤ j < n)

−1 1
−1 1 ^
21
ξa,n = a^
Rn
Rn−1 ⊕ a
Rn · a
∗

Where a runs over k . We abuse notation and regard Ξ as a subgroup of (k ∗ )⊕(n+1) . We compute
compute (k ∗ )⊕(n+1) /Ξ, viewing the elements of Ξ as a row vectors in (k ∗ )⊕(n+1) . Hence the elements
that generate Ξ are given by
ξa,j = (1, . . . , a−1 , a2 , a−1 , . . . , 1)

(1 ≤ j < n)

ξa,n = (1, . . . , a−1 , a)
Where a−1 , a2 and a−1 occur in positions j, j + 1 and j + 2 for 1 ≤ j < n. Let χ : (k ∗ )⊕(n+1) −→
k be given by χ(a1 , . . . , an+1 ) = a1 · · · an+1 . Then ker(χ) is generated by elements of the form
(a1 , . . . , an+1 ) such that
∗

−1
−1
(a1 , . . . , an+1 ) = (a−1
2 , a2 , 1, . . . , 1)(a3 , 1, a3 , 1, . . . , 1) · · · (an+1 , 1, 1, . . . , an+1 )

We show Ξ = ker(χ). Obviously, Ξ ⊆ ker(χ). For the converse, it suffices to show the elements
ζa,j = (a−1 , 1 . . . , a, . . . , 1), where a is in the jth position and 2 ≤ j ≤ n + 1, are in Ξ. Indeed, note
that ζ2,a = ξa,1 ξa,2 · · · ξa,n and for j > 2, we have ζa,j = ζa,j−1 ξa,j−1 ξa,j · · · ξa,n . Thus ker(χ) = Ξ
as needed.
Combining the above and using (b) of Proposition 5.1, we have
G1 (R) ∼
= (k ∗ )⊕(n+1) /Ξ ⊕ (1 + tk[[t]]) ∼
= k ∗ ⊕ (1 + tk[[t]]) ∼
= k[[t]]∗


22

ZACHARY FLORES

6.4. Singularity of Type A1 in Dimension Two. Our aim here is to prove (b) of Theorem 1.4.
That is, if R is the ring k[[s2 , st, t2 ]] then G1 (R) ∼
= R∗ .
Proof. By ([11], Example 5.25 and 13.21) R has finite type and the indecomposable maximal CohenMacaulay R-modules are R and I = (s2 , st). Moreover, the Auslander-Reiten sequence ending in I
is given by
0 −→ I −→ R2 −→ I −→ 0
Set M = R ⊕ I and let E be its endomorphism ring.
An easy calculation shows that the Auslander-Reiten homomorphism Υ : Z −→ Z⊕2 is injective.
∗
Now Ξ is the subgroup of Eab
generated by the elements
2 1 · det (a
gI · detE (a]
gI = ag
a1
1R2 )−1 · a1
1R2 )−1 (a ∈ k ∗ )
I
E ]
2 1 , is given by diag(1 , a2 1 ). Using Lemma 6.1, det (a
The automorphism of M , ag
1R2 ) is the
I
R
I
E ]
∗
∗
image of the automorphism diag(a2 1R , 1I ) in Eab
. Thus Ξ is the subgroup of Eab
generated by the
elements

diag(1R , a2 1I ) · diag(a−2 1R , 1I ) = diag(a−2 1R , a2 1I )

As groups, Ξ ∼
= k ∗2 = a2 : a ∈ k ∗ . Since k is algebraically closed, k ∗2 = k ∗ . Using (c) of
∗
∗ ∼ ∗
/Ξ ∼
Proposition 5.1, we have Eab
= R∗ . Thus G1 (R) ∼
= R∗ by Theorem 1.3,
= k ⊕ R∗ , hence Eab
since Υ is injective.

6.5. Reduced Hypersurface Singularities in Dimension One. Our aim here is to prove (c)
of Theorem 1.4. We recall (c). We let S = k[[x, y]], f1 , . . . , fn ∈ (x, y)\(x, y)2 , with fi irreducible,
f = f1 · · · fn , R = S/f S is an isolated singularity (i.e. fi S 6= fj S), and (fi , fi+1 ) = (x, y). Then
∗
G1 (R) ∼
= Z⊕(n−1) ⊕ R .
Proof. Now L = S1 ⊕ · · · ⊕ Sn , with Si = S/(f1 · · · fi ), is a 2-cluster tilting object in mcm R. In
order to compute G1 (R), we need to understand the structure of the 2-Auslander-Reiten sequences
in C = addR L. By ([8], Proof of Theorem 4.11) the 2-Auslander-Reiten sequences ending in Sj are
0 −→ Sj −→ Sj+1 ⊕ Sj−1 −→ Sj+1 ⊕ Sj−1 −→ Sj −→ 0

(1 ≤ j < n)

From this and Lemma 6.1 it is clear that the subgroup Ξ of AutR (L)ab is trivial. Moreover, from
this, it is easy to see that the 2-Auslander-Reiten matrix T : Z⊕(n−1) −→ Z⊕n is zero. Thus by
Theorem 1.3 and (d) of Proposition 5.1
∗
G1 (R) ∼
= Z⊕(n−1) ⊕ R
= ker(T ) ⊕ AutR (L)ab ∼


6.6. Reduced Hypersurface Singularities in Dimension Three. Our aim here is to prove (d)
of Theorem 1.4. We recall (d). If S ′ = k[[x, y, u, v]], R′ = S ′ /(f + uv)S ′ , where f = f1 · · · fn
2
′ ∼
⊕(n−1)
with fi ∈ (x, y)\(x, y)
⊕
 ⊆ k[[x, y]] satisfying the conditions of (c), then G1 (R ) = Z
′∗
∗⊕(n−1)
R ⊕ k[[w, z]]
/Ξ, with Ξ the subgroup from Theorem 1.3 and w, z variables over k.

Proof. If Ui = (u, f1 · · · fi ), then L = U1 ⊕ · · · ⊕ Un is a 2-cluster tilting object. Then by ([13],
Proposition 7.28), the 2-Auslander-Reiten matrix T is zero. By (e) of Proposition 5.1, AutR′ (L)ab ∼
=
R′∗ ⊕ (k[[w, z]])∗⊕(n−1) (w and z variables over k), thus Theorem 1.3 yields


G1 (R′ ) ∼
= Z⊕(n−1) ⊕ R′∗ ⊕ k[[w, z]]∗⊕(n−1) /Ξ

Where Ξ is the subgroup of R′∗ ⊕ k[[w, z]]∗⊕(n−1) of Definition 2.21.



G-GROUPS OF COHEN-MACAULAY RINGS WITH n-CLUSTER TILTING OBJECTS

23

7. Discussion
∗
It is of interest to note that in (a) and (b) of Theorem 1.4, G1 (R) ∼
= R (R is the integral closure
∗
of R in its total quotient ring) and in (c), G1 (R) contains R a direct summand. Our methods were
ad hoc and tailored specifically to each singularity via the calculation of the group AutR (L)ab , so
a deeper look into the relationship between Λ = EndR (L)op and R could shed some light on the
structure of G1 (R) for hypersurface singularities.

In fact, the key to the relationship seems to be understanding the relationship between the derived categories of mod EndR (L)op and mod R. Indeed, in [5], it is shown that if A and B are
Noetherian (not necessarily commutative) rings whose derived categories are equivalent as triangulated categories, then there is an isomorphism Gi (A) ∼
= Gi (B) for i ≥ 0. Of course, one should not
expect an equivalence of the derived categories of mod EndR (L)op and mod R since our examples
(see Proposition 5.1) indicate for positive-dimensional rings that G1 (EndR (L)op ) ∼
= AutR (L)ab only
∗
contains R as a direct summand. Moreover, it may also be too much to ask that G1 (R) is a direct
∗
summand of G1 (EndR (L)op ), as G1 (R) is not always isomorphic to R . However, if R is a reduced
one-dimensional local noetherian ring, then R = R/p1 × · · · × R/ps , where the pj are the minimal
primes of R and each ring R/pj is a semilocal principal ideal domain. In this situation
G1 (R) ∼
= G1 (R/p1 ) × · · · × G1 (R/ps )
Now R/pj is semilocal and has finite global dimension, hence if R is an algebra over a field k
with char(k) 6= 2, then by Quillen’s Resolution Theorem ([15], §Theorem 3), ([18], Corollary 2.6 and
Theorem 5.1), and ([20], Theorem 2) show there are isomorphisms
G1 (R/pj ) ∼
= K1 (R/pj ) ∼
= K1C (R/pj ) = (R/pj )∗
∗
Thus G1 (R) ∼
= R in this case. Nevertheless, we conjecture that if R satisfies the hypotheses of
∗
Theorem 1.3 and has positive dimension, then AutR (L)ab /Ξ ∼
= R and hence G1 (R) is isomorphic
∗
to the direct sum of the kernel of the n-Auslander-Reiten homomorphism and R .

Acknowledgments
The author would like to thank Hailong Dao and Jeanne Duflot for their useful comments in
the preparation of this manuscript. We would also like to thank the anonymous referee for greatly
improving the quality of this manuscript.
References
[1] Bass, H., Algebraic K-Theory, W.A. Benjamin, Inc. New York, New York (1968).
[2] Dao, H. and Huneke, C., Vanishing of Ext, Cluster Tilting modules and Finite Global Dimension of Endomorphism
Rings, American Journal of Mathematics, 135, 561-578 (2013).
[3] Dao, H., Faber, E., Ingalls, C., Noncommutative (Crepant) Desingularizations and the Global Spectrum of Commutative Rings. Algebras and Representation Theory, 18, 633-664 (2015).
[4] B. Doherty, E. Faber, C. Ingalls, Computing Global Dimension of Endomorphism Rings via Ladders, Journal of
Algebra, 458, 307-350 (2016).
[5] D. Dugger and B. Shipley, K-theory and Derived Equivalences, Duke Math Journal, 124, 587-617 (2004).
[6] Gersten, S.M., Algebraic K-Theory I. Proceedings of the Conference Held at the Seattle Research Center of Battelle
Memorial Institute, August 28 - September 8, 1972, Higher K-theory of Rings, 3-42, Springer-Verlag, Berlin (1973).
[7] Holm, H., K-Groups for Rings of Finite Cohen-Macaulay Type, Forum Mathematicum, 27, 2413-2452 (2015).
[8] Iyama, O. Trends in Representation Theory of Algebras and Related Topics, Auslander-Reiten Theory Revisited,
European Mathematical Society, Zürich, 349-398 (2008).
[9] Iyama, O., Higher-Dimensional Auslander Reiten Theory on Maximal Orthogonal Subcategories, Advances in
Mathematics, 210, 22-50 (2007).
[10] Lam, T.Y., A First Course in Noncommutative Rings, Springer-Verlag, New York (2001).
[11] Leuschke, G.J. and Wiegand, R., Cohen-Macaulay Representations, American Mathematical Society, Providence,
RI (2012).
[12] Leuschke, G.J., Endomorphism Rings of Finite Global Dimension, Canadian Journal of Mathematics, 59, 332-342
(2007).
[13] Navkal, V (2013), K ′ -theory of a Cohen-Macaulay Local Ring with n-Cluster Tilting Object (Doctoral dissertation), Retrieved from ProQuest Dissertations and Theses (Order No. 3563356)

24

ZACHARY FLORES

[14] Peng, Y. and Guo, X, The K1 -group of tiled orders, Communications in Algebra, 41, 3739-3744 (2013).
[15] Quillen, D., Algebraic K-Theory I. Proceedings of the Conference Held at the Seattle Research Center of Battelle
Memorial Institute, August 28 - September 8, 1972, Higher Algebraic K-theory I, 85-147, Springer-Verlag, Berlin
(1973).
[16] Rosenberg, J., Algebraic K-theory and its Applications, Springer-Verlag, New York (1994).
[17] Sherman, C., Algebraic K-Theory. Proceedings of a Conference Held at Oberwolfach, June 1980. Part 1, Group
Representations and Algebraic K-theory, 208-243, Springer-Verlag, Berlin (1982).
[18] Srinivas, V., Algebraic K-theory, Birkhäuser, Boston, MA (1996).
[19] Swanson, I. and Huneke, C., Integral Closure of Ideals, Rings and Modules, Cambridge University Press, Cambridge (2006).
[20] Vaserstein, L.N., On the Whitehead Determinant for Semi-local Rings, J. of Algebra, 283, 690-699 (2005).
[21] Yoshino, Y., Cohen-Macaulay Modules Over Cohen-Macaulay Rings, Cambridge University Press, Cambridge
(1990).
Department of Mathematics, Colorado State University, Louis R. Weber Building, 841 Oval Drive,
Fort Collins, CO 80523, USA
E-mail address: flores@math.colostate.edu

