arXiv:1404.6939v1 [math.AC] 28 Apr 2014

ON TWO DIMENSIONAL MIXED CHARACTERISTIC RINGS
OF FINITE COHEN MACAULAY TYPE
TONY J. PUTHENPURAKAL
Abstract. In this paper we give a bountiful number of examples of two dimensional mixed characteristic rings of finite Cohen Macaulay type. For a large
sub-class of these examples we give a complete description of its indecomposable maximal Cohen-Macaulay modules and we also compute its AR-quiver.

1. introduction
Let (A, m) be a Henselian Cohen-Macaulay local ring of dimension d ≥ 0. As
A is Henselian the category of finitely generated A-modules is Krull-Schmidt, i.e.,
any finitely generated A-module is uniquely a finite direct sum of indecomposable
A-modules. We say A has finite representaion type if A has only finitely many
indecomposable maximal Cohen-Macaulay modules.
There has been a lot of work towards understanding Cohen-Macaulay rings of
finite representation type. See [17] for a very readable account of this work. We
should note that although the basic theory is developed in general, most of the
examples considered are equicharacteristic, i.e., A contains a field. See [13] for
examples of one-dimensional hypersurfaces of mixed characteristic rings of finite
representation type.
Let T = k[[x1 , x2 ]] and let G be a finite subgroup of GL2 (k) acting linearly
on T . In a fundamental work [1], Auslander proved that the ring of invariants
A = T G is of finite representation type. When G has no psuedo-reflections, he
gave a description of all indecomposable maximal Cohen-Macaulay A-modules and
constructed all AR-sequences of A. Furthermore he showed that the AR-quiver of
A is isomorphic to the McKay graph of G.
In this paper we construct examples of two dimensional mixed characteristic
rings of finite Cohen Macaulay type. Our examples also arise as invariant rings but
with a twist. Let (V, π) be a complete DVR of characteristic zero having residue
field k = V /π, an algebraically closed field of characteristic p > 0. Let G be a finite
subgroup of GL2 (V ). We assume that p ∤ |G|. So |G| is a unit in V . Let x1 , x2 be
a basis of V 2 on which G naturally acts. Then the action of G can be extended
Date: March 23, 2018.
1991 Mathematics Subject Classification. Primary 13C14; Secondary 13H10, 14B05 .
Key words and phrases. Finite representation type, invariant rings.
1

2

TONY J. PUTHENPURAKAL

to the ring S = V [[x1 , x2 ]]. Set m = (π, x1 , x2 ), the maximal ideal of S. Let S G
be the ring of invariants of S with respect to G. Let f ∈ (x1 , x2 )2 ∩ S G . We also
assume f ∈
/ πS. Set R = S/(π − f ). Notice π − f ∈ m \ m2 . So R is a regular
local ring of dimension two. Note G acts on R. It can be shown that RG has finite
representation type, see 2.5. By 2.6 we get that RG ∼
= S G /(π − f ). It can be easily
shown that R is of mixed characteristic. In Proposition 3.6 we show that there are
bountiful number of finite subgroups G of GL2 (V ) with p ∤ |G|. Thus there are lots
of examples of two dimensional mixed characteristic rings of finite Cohen Macaulay
type.
A natural question regarding rings of finite representation type is to describe its
maximal Cohen-Macaulay modules and find its AR-quiver. It is perhaps hopeless
to this to this to all examples of RG above. However we are able to do this for
a large subclass of the examples given above. Recall σ ∈ GL2 (k) is said to be a
pseudo-reflection if rank(σ − 1) ≤ 1. Let G be a finite subgroup of GL2 (V ) with
p ∤ |G|. By 3.5 the natural map η : G → GL2 (k) is an inclusion. We say G has no
pseudo-reflections except the identity if η(g) is not a pseudo-reflection for all g 6= 1.
Let P(V [G]) be the category of finitely generated projective V [G]-modules and let
CM (RG ) be the category of maximal Cohen-Macaulay RG -modules. In 4.13 we
construct a functor ψ : P(V [G]) → CM (RG ). We prove
Theorem 1.1. (with hypotheses as above) Assume G ⊆ GL2 (V ) has no pseudoreflection except the identity. Let f ∈ (x1 , x2 )l \ πS. There exists a positive integer l0 (G) depending on G such that if l ≥ l0 (G) then the functor ψ : P(V [G]) →
CM (RG ) has the following properties
(1) If P is an indecomposable projective V [G]-module then ψ(P ) is an indecomposable maximal Cohen-Macaulay RG -module.
(2) P1 ∼
= P2 in P(V [G]) if and only if ψ(P1 ) ∼
= ψ(P2 ) as RG -modules.
(3) If M is an indecomposable maximal Cohen-Macaulay RG -module then there
exists an indecomposable projective V [G]-module P with ψ(P ) ∼
= M as RG modules.
We then in Theorem 7.6 construct all AR-sequences of RG . Finally in Theorem
7.8 we show that the AR-quiver of RG is isomorphic to the McKay graph of G.
We now describe in brief the contents of this paper. In section two we discuss
a few generalities which we need. In section three we construct our examples of
mixed characteristic rings of dimension two having finite representation type. We
also give many examples of finite groups of GL2 (V ) with p ∤ |G|. In the next section
we construct a few functors that we need. In section 5 we prove Theorem 1.1. In
section 6 we discuss a few preliminaries we need to construct the AR-sequences of
RG . In the next section we determine all AR sequences of RG and we show that
the AR-quiver of RG is isomorphic to the McKay graph of G. Finally in section 8
we give an explicit example which illustrates our results.

FINITE REPRESENTATION TYPE

3

2. generalities
All the results in this section are either known or easy extensions of known
results. However for the convenience of the reader we give a sketch of a proof of all
the results in this section. The main goal of this section is to prove a generalization
of a theorem due to Herzog [9, 1.7].
In this section (R, m) will denote a Noetherian local ring. Let Aut(R) be the
group of automorphism’s of R. We note that if f ∈ Aut(R) then it is local, i.e.,
f (m) ⊆ m. Let G be a finite group and let η : G → Aut(R) be a group homomorphism. In this case we say G acts on R. We assume that |G| is a unit in R.
Let
RG = {x ∈ R | σ(x) = x for all σ ∈ G},
be the ring of invariants of G. It is easy to see that RG is local with maximal
ideal n = m ∩ RG . Clearly R is integral over RG . We have a Reynolds operator
ρ : R → RG defined as
1 X
σ(x).
ρ(x) =
|G|
σ∈G

It is easily verified that ρ is RG -linear. Using the Reynolds operator it can be easily
seen that if I is an ideal in RG then IR∩RG = I. It follows that RG is a Noetherian
ring.
Lemma 2.1. For j ≥ 1 set nj = mj ∩ RG . Then the filtration {nj } defines on RG
the same topology as the n-adic topology.
Proof. (Sketch) Clearly nj ⊆ nj . Also nR is m-primary. Say ms ⊆ nR. Then notice
for every t ≥ 1 we have
nst = mst ∩ RG ⊆ nt R ∩ RG = nt .

Our next result considers the case when R is complete.
Proposition 2.2. If R is complete with respect to m then RG is complete with
respect to n.

Proof. (Sketch) Define ρe: R → R to be ρe(x) = ρ(x). Each σ ∈ G is a local map.
So ρe is continuous. Using 2.1 it follows that ρ is continuous. Let {xn } be a Cauchy
sequence in RG . Since nj ⊆ mj for all j ≥ 1 we get that {xn } is a Cauchy sequence
in R. As R is complete {xn } is convergent, say it converges to x. As ρe is continuous
we get that
G

xn = ρe(xn ) → ρe(x).

So ρ(x) = x, i.e., x ∈ R . As ρ is continuous we get that ρ(xn ) → ρ(x) in RG . So
xn → x in RG .


4

TONY J. PUTHENPURAKAL

In general it is not clear whether R is finitely generated as a RG -module. However
when R is complete we have the following result:
Theorem 2.3. Let (R, m) be a complete Noetherian local ring and let G be a finite
group acting on R. Assume |G| is invertible in R. Then R is a finite RG -module.
An essential ingredient to prove Theorem 2.3 is the following:
Lemma 2.4. (with hypotheses as above) Let E be an R-module of finite length.
Then E is finitely generated as a RG -module.
Proof. By an easy induction it suffices to prove k = R/m is finitely generated as
a RG -module. Note the action of G on R induces an action on k. Let k G denote
the fixed field of this action. Set n = RG ∩ m. Note we have a natural map
i : RG /n → R/m.
Claim: i(RG /n) = k G .
Let t = [ξ] ∈ k G . Then σ(t) = t for every σ ∈ G. So σ(ξ) = ξ + vξ,σ for
some vξ,σ ∈ m. So ρ(ξ) = ξ + vξ for some vξ ∈ m. Set θ = ρ(ξ) ∈ RG . Clearly
i([θ]) = [ξ] = t.
By a result due to Artin, k is a finite extension of k G , cf. [12, Chapter 6, Theorem
1.8]. It follows that k is a finite RG -module.

We now give
Proof of Theorem 2.3. Set n = m ∩ RG . By 2.2 RG is complete with respect to n.
Notice
\
\
nj R ⊆
mj = 0.
j≥1

j≥1

So R is separated with respect to the n-adic topology. Also note that R/nR has
finite length. So by 2.4 R/nR is finitely generated as a RG -module. Thus by [14,
8.4], R is finitely generated as a RG -module.

We now extend a result of Herzog, [9, 1.7], with nearly the same proof.

Theorem 2.5. Let (R, m) be a two dimensional complete regular local ring and
let G be a finite group acting on R. Assume |G| is a unit in R. Then RG is a
normal Cohen-Macaulay domain of dimension two. Furthermore RG is of finite
Cohen-Macaulay type.
Proof. By [6, 6.4.1], RG is a normal domain. As R is a finite extension of RG we
have dim RG = 2. So RG is Cohen-Macaulay. It can be easily verified that R is a
MCM RG -module.
As RG is normal, MCM RG -modules are reflexive. Set (−)∗ = HomRG (−, RG ).
Let M be an MCM RG -module. The inclusion i : RG → R is a split map as RG modules. It follows that HomRG (M ∗ , RG ) is a direct summand of HomRG (M ∗ , R).
But HomRG (M ∗ , R) has depth 2 as a R-module. So it is free as a R-module. Thus

FINITE REPRESENTATION TYPE

5

M ∼
= HomRG (M ∗ , RG ) is a direct summand (as a RG -module) of some copies of
R. It follows that if M is an indecomposable MCM RG -module then it is a direct
summand of R. Thus RG is of finite Cohen-Macaulay type.

We end this section by an elementary result which is crucial in our paper.
Proposition 2.6. Let (R, m) be a Noetherian local domain and and let G be a
finite group acting on R. Assume |G| is invertible in R. Let x ∈ RG be non-zero.
Set T = R/(x). Note G acts on T . Then T G ∼
= RG /xRG .
Proof. The inclusion map i : RG → R is split as RG -modules. Thus i : RG /xRG →
T is an inclusion. Clearly i(RG /xRG ) ⊆ T G . Conversely let t = [ξ] ∈ T G . Then
σ(ξ) = ξ + xvξ,σ for some vξ,σ ∈ R. Note ρ(ξ) = ξ + xvξ for some vξ ∈ R. Notice
i([ρ(ξ)]) = t. Thus i(RG /xRG ) = T G .

3. Construction of two dimensional mixed characteristic rings of
finite Cohen Macaulay type
In this section (V, π) is a complete DVR of characteristic zero having residue
field k = V /π, an algebraically closed field of characteristic p > 0. Let G be a finite
subgroup of GL2 (V ). We assume that p ∤ |G|. So |G| is a unit in V . We construct
examples of two dimensional mixed characteristic rings of finite Cohen Macaulay
type. We also give ample number of finite subgroups of GL2 (V ) with p ∤ |G|.
3.1. Let x1 , x2 be a basis of V 2 on which G naturally acts. Then the action of G
can be extended to the ring S = V [[x1 , x2 ]]. It is clear that G acts on S via local
automorphisms. Set m = (π, x1 , x2 ), the maximal ideal of S. Let S G be the ring
of invariants. By results in the previous section S G is local with maximal ideal
n = m ∩ S G . Furthermore S G is complete with respect to the n-adic topology. Also
S is finitely generated as a S G -module.
3.2. Let f ∈ (x1 , x2 )2 ∩ S G . We also assume f ∈
/ πS. Set R = S/(π − f ). Notice
2
π − f ∈ m \ m . So R is a regular local ring of dimension two. It is clear that
the maximal ideal q of R is generated by images of x1 , x2 in R. Also note that
π − f ∈ S G . So by Proposition 2.6 we have that RG = S G /(π − f )S G. By Theorem
2.5 we have that RG has finite Cohen-Macaulay type.
3.3. Notice the natural map j : V → R is an inclusion, for if π l ∈ ker j then
π l ∈ (π − f ). Then there exists g ∈ S with π l = (π − f )g. As S is a UFD we have
that π − f = uπ r where u is a unit in S. This implies that f ∈ πS a contradiction.
Also note that R/q = k has characteristic p. So R is of mixed characteristic. It
also follows that RG is of mixed characteristic.
3.4. Note that there is a natural map η : G → GL2 (k). We prove
Proposition 3.5. The map η is an inclusion.

6

TONY J. PUTHENPURAKAL

Proof. We consider elements of GL2 (V ), GL2 (k) as matrices. Let T ∈ G with
η(T ) = I. Then T = I + Y where all entries of Y are in (π). Let m = |G|. Then
T m = I. So we have
 


m
m
mY +
Y2 + ···+
Y m−1 + Y m = 0.
2
m−1
Set
U = mI +

 


m
m
Y + ··· +
Y m−2 + Y m−1 .
2
m−1

Note η(U ) = mI is invertible in GL2 (k) since p ∤ m. By Nakayama Lemma it
follows that U : V 2 → V 2 is surjective and hence an isomorphism. So U ∈ GL2 (V ).
As Y U = 0, we get that Y = 0. It follows that η is injective.

We now give ample number of finite subgroups of GL2 (V ) with p ∤ |G|.
Proposition 3.6. Let H be a finite subgroup of GLn (C) with n ≥ 1. Assume
p ∤ m, where m = |H|. Then there is a finite subgroup G of GLn (V ) with G ∼
=H
as groups. Furthermore if H ⊆ SLn (C) then G ⊆ SLn (V ).
Proof. Let ζm denote a primitive mth -root of unity in C. By a result due to Brauer
L = Q(ζm ) is a splitting field of H, (see [5], also see [7, 41.1, p. 292]). It follows
that H is conjugate to a subgroup H ′ which is contained in GLn (L).
As k is algebraically closed we have a primitive mth root of unity in k, say t.
As p ∤ m it follows that 1, t, t2 , . . . , tm−1 are all distinct. By Hensel’s Lemma there
exists θ ∈ V with θ = t and θm = 1.
Let K = quotient field of V . As V has a primitive mth -root of unity and
as Q ⊆ K we have an embedding L → K. Thus H ′ is isomorphic to G′ for some
G′ ⊆ GLn (K). As V is a P.I.D we get that G′ is conjugate to a group G ⊆ GLn (V ),
see [7, 73.6, p. 496].
Each step of our construction preserves the determinant. So if H ⊆ SLn (C)
then G ⊆ SLn (V ).

4. Construction of a few functors
In this section we define a few functors which are analogous to those defined by
Auslander in [1]. Let (V, π) be a complete DVR of characteristic zero such that
V /(π) = k is an algebraically closed field of characteristic p > 0. Let G ⊆ GL2 (V )
be a finite group with p ∤ |G|. Let S = V [[x1 , x2 ]] and let G act linearly on S.
Let S G be the ring of invariants of S with respect to G. Let f ∈ (x1 , x2 )2 ∩ S G .
Assume f ∈
/ πS. Let R = S/(π − f ). Note that R is regular local of dimension 2
and G acts on R. Let the ring of invariants be RG . By 2.6 RG = S G /(π − f ). Let
A = S ⊗V k = k[[X1 , X2 ]]. Then we have a natural G-action on A. Let AG be the
ring of invariants of A with respect to G.

FINITE REPRESENTATION TYPE

7

4.1. Let S ∗ G be the skew-group ring of S with respect to G. Recall S ∗ G =
P
{ σ∈G aσ σ | aσ ∈ S} with multiplication defined by
a1 σ1 · a2 σ2 = a1 σ1 (a2 )σ1 σ2 .

An S ∗G module M is precisely an S-module M on which G acts such that σ(am) =
σ(a)σ(m) for all a ∈ S and m ∈ M .
As |G| is invertible in S taking invariants is an exact functor. It follows that an
S ∗ G module M is projective as an S ∗ G-module if and only if it is projective as
a S-module,( the proof in [1, Lemma 1.1] generalizes).
4.2. If T is a ring then we let P(T ) denote the category of finitely generated
projective left T -modules. Let V [G] denote the group ring over V . Our first functor
is
F : P(V [G]) → P(S ∗ G)
W → S ⊗V W
f → 1S ⊗ f.
Here f is a morphism between two projective V [G]-modules. We first note that
S ⊗V W is a S ∗ G-module. Clearly it is a S-module. We define a G-action as
follows: σ(s ⊗ w) = σ(s) ⊗ σ(w). Note that for a ∈ S and m = s ⊗ w ∈ S ⊗V W we
have
σ(am) = σ(as ⊗ w) = σ(as) ⊗ σ(w) = σ(a)σ(s) ⊗ σ(w) = σ(a)σ(m).
Thus S ⊗ W is a S ∗ G-module. As W is a projective V [G]-module it is free as a
V -module. So S ⊗V W is free as a S-module. It follows that S ⊗V W is a projective
S ∗ G-module.
4.3. Let F : P(k[G]) → P(A ∗ G) be the functor A ⊗k − defined analogously as
before. Note that as k[G] is semi-simple we have P(k[G]) is the category of all
finitely generated k[G]-modules.
4.4. We first note that V ⊆ Z(V [G]), the center of V [G]. So we have an isomorphism of rings k ⊗V V [G] ∼
= k[G]. We have a natural functor k ⊗V − : P(V [G]) →
P(k[G]). To see this note that if P is a finitely generated V [G]-module then k ⊗V P
is a finitely generated k[G]-module. It is also projective as k[G] is semi-simple.
4.5. We also note that V ⊆ Z(S∗G), the center of S∗G. So we have an isomorphism
of rings k⊗V S ∗G ∼
= A∗G. We have a natural functor k⊗V − : P(S ∗G) → P(A∗G).
To see this note that if M is a S ∗G-module then clearly k ⊗V M is an A∗G-module.
If P is projective as S ∗ G-module then it is free as a S-module. Hence k ⊗V P is
free as an A-module. It follows that k ⊗V P is a projective A ∗ G-module.

8

TONY J. PUTHENPURAKAL

4.6. We have a commutative diagram of functors
P(V [G])

k⊗V −

/ P(k[G])

F

F




k⊗V −
/ P(A ∗ G).
P(S ∗ G)
4.7. Let P be a projective S ∗ G-module. Then P G is a S G -direct summand of
P . Also note that as P is free as a S-module, we have that P G ∈ addS G S. If
f : P1 → P2 is a morphism in P(S ∗ G) then notice that we have a morphism
fe: P1G → P2G where fe is the restriction map. Thus we have a functor
(−)G : P(S ∗ G) → addS G (S).

Similarly we have a functor
(−)G : P(A ∗ G) → addAG (A).
∼ S G /(π). Thus k ⊗V S G = AG . Furthermore it
4.8. Notice that AG = (S/(π))G =
is clear that if M ∈ addS G (S) then k ⊗V M = M/πM ∈ addAG (A). Thus we have
a functor
k ⊗V − : addS G (S) → addAG (A).
4.9. We have a commutative diagram of functors
P(S ∗ G)

k⊗V −

/ P(A ∗ G)

(−)G


addS G (S)

(−)G
k⊗V −



/ addAG (A).

4.10. Notice RG = S G /(π − f ). Also note that R = S/(π − f ). Thus we have a
functor
RG ⊗S G − : addS G (S) → addRG (R).
By 2.5, we have that addRG (R) = CM (RG ) the category of all maximal CohenMacaulay RG -modules. Similarly addAG (A) = CM (AG ). As f is a non-zero divisor
in AG we have a functor
AG /(f ) ⊗AG − : CM (AG ) → CM (AG /(f )).
4.11. By 3.3 we have that V ⊆ R. Thus V ⊆ RG . It follows that π is a non-zero
element of RG and so a non-zero divisor as RG is a domain. Thus we have a functor
k ⊗V − : addRG (R) → CM (AG /(f )).

FINITE REPRESENTATION TYPE

9

4.12. We have a commutative diagram of functors
addS G (S)

k⊗V −

RG ⊗ S G −


addRG (R) = CM (RG )

/ addAG (A) = CM (AG )
AG /(f )⊗AG −

k⊗V −


/ CM (AG /(f ))

4.13. We set ψ : P(V [G]) → CM (RG ) to be the composite functor, i.e.,

ψ = RG ⊗S G − ◦ (−)G ◦ F.
5. A property of the functor ψ
Let ψ : P(V [G]) → CM (RG ) be the functor as defined in the previous section. In
this section we prove a crucial result of ψ. The hypotheses in this section is similar
to the previous two sections. We need an additional hypotheses. Recall σ ∈ GL2 (k)
is said to be a pseudo-reflection if rank(σ − 1) ≤ 1. Let G be a finite subgroup of
GL2 (V ) with p ∤ |G|. By 3.5 we also have a natural inclusion η : G ֒→ GL2 (k). We
say G has no pseudo-reflections except the identity if η(g) is not a psuedo-reflection
for all g 6= 1. In this section we prove Theorem 1.1. We restate it here for the
convenience of the reader.
Theorem 5.1. (with hypotheses as above) Assume G ⊆ GL2 (V ) has no pseudoreflection except the identity. Let f ∈ (x1 , x2 )l \ πS. There exists a positive integer l0 (G) depending on G such that if l ≥ l0 (G) then the functor ψ : P(V [G]) →
CM (RG ) has the following properties
(1) If P is an indecomposable projective V [G]-module then ψ(P ) is an indecomposable maximal Cohen-Macaulay RG -module.
(2) P1 ∼
= P2 in P(V [G]) if and only if ψ(P1 ) ∼
= ψ(P2 ) as RG -modules.
(3) If M is an indecomposable maximal Cohen-Macaulay RG -module then there
exists an indecomposable projective V [G]-module P with ψ(P ) ∼
= M as RG modules.
5.2. V is a complete DVR. So the group ring V [G] is semi-perfect, see [11, 23.3]. In
particular the functor k ⊗V − : P(V [G]) → P(k[G]) gives a one-to-one correspondence of indecomposable projective modules, see [11, 25.3].
5.3. Let A = k[[x1 , x2 ]] and let AG be the ring of invariants of A with respect to G.
Then there exists an efficient system of parameters (u1 , u2 ) of AG , for this notion
see [17, 6.14]. In particular we have that a maximal Cohen-Macaulay AG -module
M is indecomposable if and only if M/(u21 , u22 )M is indecomposable, see [17, 6.16].
Furthermore M1 ∼
= M2 /(u21 , u22 )M2 ; see [17,
= M2 if and only if M1 /(u21 , u22 )M1 ∼
6.18].

10

TONY J. PUTHENPURAKAL

Let n be the maximal ideal of AG . Assume nm ⊆ (u21 , u22 ). By 2.1 there exists l
such that (x1 , x2 )l ∩ AG ⊆ nm . We define l0 (G; u1 , u2 ) to be the smallest integer l
with (x1 , x2 )l ∩ AG ⊆ (u21 , u22 ). Define
l0 (G) = min{l0 (G; u1 , u2 ) | u1 , u2 is an efficient system of parameters of AG }.
5.4. We recall some results of Auslander, [1]. The functor F : P(k[G]) → P(A ∗ G)
gives an one-to-one correspondence between indecomposable objects. If G has no
pseudo-reflections except the identity then (−)G : P(A ∗ G) → addAG (A) is an
equivalence of categories.
We now give
Proof of Theorem 5.1. We take l0 = l0 (G), the invariant of G defined in 5.3. Assume f ∈ (x1 , x2 )l ∩ S G where l ≥ l0 . Let f be the image of f in AG . By
construction there exists an efficient system of parameters u1 , u2 of AG such that
f ∈ (u21 , u22 ).
(1) Let P be an indecomposable projective V [G]-module. Then P ∈ P(k[G]) is
indecomposable. So L = F (P ) ∈ P(A ∗ G) is indecomposable. It follows that LG is
an indecomposable maximal Cohen-Macaulay AG -module. Note that f ∈ (u21 , u22 ).
So LG /f LG is an indecomposable maximal Cohen-Macaulay AG /(f )-module. By
the commutaivity of the functors we constructed in the previous section we get that
k ⊗V ψ(P ) = LG /f LG . It follows that ψ(P ) is indecomposable.
(2) If P1 ∼
= P2 then ψ(P1 ) ∼
= ψ(P2 ). Conversely assume that ψ(P1 ) ∼
= ψ(P2 ).
G
)-modules.
Let
Then k ⊗V ψ(P1 ) ∼
k
⊗
ψ(P
)
as
A
/(f
=
V
2
G
Mi = F (Pi )
for i = 1, 2;

be objects in CM (AG ). By the commutaivity of the functors we constructed in
the previous section we get that M1 /f M1 ∼
= M2 /f M2 . As f ∈ (u21 , u22 ) we get
that M1 ∼
= M2 . By 5.4 we get that P1 ∼
= P2 as k[G]-modules. By 5.2 we get that
∼
P1 = P2 .
(3) In [17, 10.9] it is proved that (A ∗ G)G ∼
= A as AG -modules. The same proof
G
G ∼
yields that (S ∗ G) = S as S -modules. Let V [G] = P1 ⊕ P2 ⊕ · · · ⊕ Pm where Pi
are indecomposable projective V [G]-modules. Notice F (V [G]) = S ∗ G. It follows
that ψ(V [G]) ∼
= R as RG -modules. Thus
R = ψ(P1 ) ⊕ ψ(P2 ) ⊕ · · · ⊕ ψ(Pm ).
By (1) we get that each ψ(Pi ) is an indecompsable maximal Cohen-Macaulay RG module. By the proof of 2.5 we get that M is isomorphic to ψ(Pi ) for some i. 
6. Preliminaries to construct AR sequences
We assume f ∈ (x1 , x2 )l ∩ S G with l ≥ l0 (G). Notice we are assuming that G
has no pseudo-reflections. We need several preliminary results to construct ARsequences on RG .

FINITE REPRESENTATION TYPE

11

We begin with following well-known fact for which I do not have a reference.
Proposition 6.1. Let G ⊆ GL2 (V ) be a finite group with p ∤ |G|. Assume G
has no pseudo-reflections. Let G act linearly on S = V [[x1 , x2 ]]. Then height one
primes in S G are unramified in S.
Proof. Let b be a height one prime in S. Put q = b ∩ S G . As S G is normal we have
that Sq is a DVR. Set
Tb = {σ ∈ G | σ(a) − a ∈ b for all a ∈ S}, and
TbSq = {σ ∈ G | σ(x) − x ∈ bSq for all x ∈ Sq }.
To show that q is unramified in S it suffices to prove ♯TbSq = 1, see [16, Chapter
1, Propositions 20,21]. It can be easily shown that
Tb = TbSq .
So we prove ♯Tb = 1.
S is a unique factorization domain. So b = (z). Let n = (π, x1 , x2 ) be the
maximal ideal of S. Let A = S/(π) = k[[x1 , x2 ]]. Let m be the maximal ideal of A.
We consider two cases.
Case 1: z ∈ n2 .
Then as σ acts trivially on S/bS we get that σ acts trivially on A/m2 A. So σ acts
trivially on m/m2 = kx1 ⊕ kx2 . By 3.5 it follows that σ = 1.
Case 2. z ∈ n \ n2 .
Say z = a0 π + a1 x1 + a2 x2 . Put u = a1 x1 + a2 x2 . Set u to be the image of u in A.
We again consider the following two subcases.
Subcase 1. u ∈ m2 .
As σ acts trivially on S/bS, it acts trivially on S/(b, π) = A/(u). As u ∈ m2 we
get that σ acts trivially on A/m2 A. So σ acts trivially on m/m2 = kx1 ⊕ kx2 . By
3.5 it follows that σ = 1.
Subcase 2. u ∈ m \ m2 .
As before σ acts trivially on A/(u). So σ − 1 is null on m/(u + m2 ). It follows
that rank(σ − 1) ≤ 1 on kx1 ⊕ kx2 , i.e., σ is a pseudo-reflection. By hypothesis
σ = 1.

6.2. Proposition 6.1 plays a significant role in all further analysis. The crucial point
is a result of Auslander and Reiten which we now state. Let E be a finitely generated
reflexive, left S ∗ G-module. Then E G is a reflexive S G -module, see [3, Part 2, 1.1].
Let Ref (T ) be the category of reflexive left modules over a ring T . As height one
primes in S G are unramified in S, the fixed point functor (−)G : mod(S ∗ G) →
mod(S G ) induces an equivalence of categories between Ref (S ∗ G) and Ref (S G ),
see [3, Part 2, 1.3]. If P is a projective S ∗ G-module then it is clearly a reflexive
S ∗ G-module. So we get the following result:

12

TONY J. PUTHENPURAKAL

Corollary 6.3. (with hypotheses as above) Let P1 , P2 be projective S ∗ G-modules.
Let Mi = PiG for i = 1, 2. Then HomS G (M1 , M2 ) is in addS G (S) and so is a
maximal Cohen-Macaulay S G -module.
Proof. Note that P1 , P2 are free S-modules. So HomS (P1 , P2 ) is a free S-module.
Thus HomS (P1 , P2 ) is a projective S ∗ G-module. Notice
HomS (P1 , P2 )G = HomS∗G (P1 , P2 ) = W.
It follows that W ∈ addS G (S). We also note that as S G is a normal Cohen-Macaulay
domain a maximal Cohen-Macaulay module is reflexive. As the fixed point functor
gives an equivalence of categories between Ref (S ∗ G) and Ref (S G ) we get that
W = HomS∗G (P1 , P2 ) ∼
= HomS G (M1 , M2 ).
The result follows.



A consequence of the above result is
Proposition 6.4. Let θ = π − g where g ∈ (x1 , x2 )2 ∩ S G (Note g = 0 is also
considered). Set B = S G /(θ). Let L1 , L2 ∈ addS G (S). Then


L1 L2 ∼ HomS G (L1 , L2 )
,
.
HomB
=
θL1 θL2
θ HomS G (L1 , L2 )
∼ (S/θ)G has finite representation type and so in particular
Proof. We note that B =
is an isolated singularity, [2] (also see [17, 4.22], [10, Corollary 2]). As θ 6= 0 it is
S G -regular. As L2 is maximal Cohen-Macaulay S G -module, we get that θ is also
θ
→ L2 → L2 /θL2 → 0. So we have
L2 regular. We have an exact sequence 0 → L2 −
an exact sequence
θ

0 → HomS G (L1 , L2 ) −
→ HomS G (L1 , L2 ) → HomB (L1 /θL1 , L2 /θL2 )
θ

Ext1S G (L1 , L2 ) −
→ Ext1S G (L1 , L2 ) → Ext1B (L1 /θL1 , L2 /θL2 )
θ

Let K = ker(Ext1S G (L1 , L2 ) −
→ Ext1S G (L1 , L2 )). By 6.3 we get that HomS G (L1 , L2 )
is maximal Cohen-Macaulay S G -module. So it has depth = 3. Also clearly
depth HomB (L1 /θL1 , L2 /θL2 ) = 2. It follows that depth K ≥ 1. Let m be the
maximal ideal of S G . We get that m ∈
/ Ass K.
To prove our result it is sufficient to show that θ is a non-zero divisor of
Ext1S G (L1 , L2 ). Suppose if possible this is not true. Then θ ∈ q for some q ∈
AssS G Ext1S G (L1 , L2 ). Say q = (0 : v) for some v ∈ Ext1S G (L1 , L2 ). So θv = 0. Thus
v ∈ K. It follows that q ∈ Ass K. So q 6= m.
As B is an isolated singularity we have that Ext1B (L1 /θL1 , L2 /θL2 ) is a module
of finite length. Localizing the above exact sequence at q we get
θ

→ Ext1S G (L1 , L2 ))q → 0.
0 → Kq → Ext1S G (L1 , L2 )q −
So Ext1S G (L1 , L2 ))q = θ Ext1S G (L1 , L2 ))q . By Nakayama Lemma we get that
Ext1S G (L1 , L2 ))q = 0. So Kq = 0, a contradiction.



FINITE REPRESENTATION TYPE

13

A consequence of the above result is the following:
Theorem 6.5. (with hypotheses as above) Let M1 , M2 be maximal CM RG -modules
and let φ : M1 → M2 be a non-split epimorphism. Then
fi ∈ addS G (S) with M
fi ⊗S G RG ∼
(1) For i = 1, 2, there exists M
= Mi .
G
e
e
f
f
(2) There exists φ ∈ HomS G (M1 , M2 ) with φ ⊗S G R = φ.
(3) φe is not a split epimorphism.
fi /π M
fi are maximal Cohen-Macaulay AG -modules. (Re(4) For i = 1, 2, M ∗ = M
i

call A = k[[x1 , x2 ]]).
(5) Define φ∗ = φe ⊗S G AG . Then φ∗ : M1∗ → M2∗ is not a split epi.

Proof. (1) Let P0 , P1 , . . . , Pm be the complete list of non-isomorphic indecomposable projective V [G]-modules. Set Lj = ψ(Pj ) for j = 0, . . . , m. Then by
5.1, L0 , L1 , · · · , Lm are all the non-isomorphic, indecomposable maximal CohenMacaulay RG -modules. So there exists integers ai,j ≥ 0 such that
Mi ∼
=

m
M

a

Lj i,j ,

for i = 1, 2.

j=0

Define the following projective V [G]-modules
Qi =

m
M

a

Pj i,j ,

for i = 1, 2.

j=0

fi = (F (Qi ))G for i = 1, 2 (here notation as in section 4). Clearly M
fi ⊗S G RG ∼
Set M
=
Mi .
(2) This follows from 6.4.
(3) If φe is a split epi then it will follow that φ is a split epi, a contradiction.
(4) Recall S G /πS G ∼
= AG , see 2.6. As π is S G -regular the result follows.
(5) Suppose if possible φ∗ is a split epi. Consider the following exact sequence:
e

φ
f2 → C → 0.
f1 −
→M
0→K →M

As φ∗ is epi we get that C/πC = 0. By Nakayama Lemma we get that C = 0.
Thus we have an exact sequence
(6.5.1)

e

φ
f2 → 0.
f1 −
→M
0→K →M

It follows that K is a maximal Cohen-Macaulay S G -module. Set K ∗ = K/πK. As
φ∗ is a split epi we get that K ∗ ⊕M2∗ ∼
= M1∗ . Set Qi = k ⊗V Qi (here Qi is as in (1)).
By [1, 1.4 and 2.2] there exists a projective k[G]-module D∗ with K ∗ = (F (D∗ ))G .
Note we also have Q2 ∼
= Q1 ⊕ D∗ . Let D be the V [G]-projective cover of D∗ . Then
∼
Q2 = Q1 ⊕ D.
Apply − ⊗S G RG to equation 6.5.1. We get
(6.5.2)

φ

→ M2 → 0.
0 → K → M1 −

14

TONY J. PUTHENPURAKAL

As K is a maximal Cohen-Macaulay RG -module we have that K ∼
= ψ(W ) for some
projective V [G]-module W . We
Claim: W ∼
= D.
Assume the claim for the moment. Note
M1 ∼
= ψ(Q1 ) = ψ(Q2 ⊕ D) ∼
= ψ(Q2 ) ⊕ ψ(D) ∼
= M2 ⊕ K.
Thus the exact sequence 6.5.2 is apparently split and so by Miyata’s theorem ([15],
also see[8, A3.29(a)]), we get that 6.5.2 is split. So φ is a split epi. This is a
contradiction.
It remains to prove the claim. Let W ∗ = k ⊗V W . In the ring AG /(f ) we have
that the modules (F (D∗ ))G /f (F (D∗ ))G and (F (W ∗ ))G /f (F (W ∗ ))G are isomorphic. As l ≥ l0 (G) it follows that (F (D∗ ))G ∼
= (F (W ∗ ))G . By [1, 1.4 and 2.2] we
∗
∗ ∼
have that D = W . As D is the projective cover of D∗ and W is a projective

cover of W ∗ we get that D ∼
= W.
7. AR sequences
In this section we construct AR-sequences for RG . We assume f ∈ (x1 , x2 )l ∩ S G
with l ≥ l0 (G). Notice we are assuming that G has no pseudo-reflections.
7.1. Set E = V x1 ⊕ V x2 the free V -module with basis x1 , x2 . We write the Koszul
complex of S with respect to (x1 , x2 ) as
(7.1.3)

0 → S ⊗V ∧2 E → S ⊗V E → S → V → 0.

It is easy to see that 7.1.3 is also an exact sequence of S ∗ G-modules. Let
P0 , P1 , · · · , Pm be the complete list of indecomposable projective V [G]-modules
with P0 = V . Applying the functor − ⊗V Pi to 7.1.3 we obtain

pbi
ǫi
(7.1.4)
0 → S ⊗V ∧2 E ⊗V Pi ) → S ⊗V (E ⊗V Pi ) −→ S ⊗V Pi −→
Pi → 0,

which gives a projective resolution of the S ∗ G-module Pi as by the following result
we get that ∧2 E ⊗V Pi and E ⊗V Pi are projective V [G]-modules.
Proposition 7.2. Let X be a projective V [G]-module and let Y be a V [G]-module
which is free as a V -module. Then X ⊗V Y is a projective V [G]-module.
Proof. The proof in page 82 of Proposition 3.1 in [4] generalizes.



Taking invariants in equation 7.1.4 we obtain an exact sequence of S G -modules
which we denote as follows:
(7.2.5)

pei
fi ) → E
fi −
→f
Li → PiG → 0.
0 → τ (L

Note that PiG = V if i = 0 and PiG = 0 otherwise. This follows from the the
following result.
Proposition 7.3. Let X be a finitely generated V [G] module. Then

FINITE REPRESENTATION TYPE

15

(1) X G is a V -direct summand of X.
(2) If X is a projective V [G]-module then X G is a projective submodule of X.
(3) If X is an indecomposable projective V [G]-module then X G = X or X G = 0.
Proof. (Sketch) (1) Use the Reynolds operator to get the result.
(2)The usual proof of Maschke’s theorem [11, 6.1] can be adapted to prove this
result.
(3) Easily follows form (2).

7.4. Let θ = π − f where f ∈ (x1 , x2 )l ∩S G and f ∈
/ πS. We assume that l ≥ l0 (G).
f
f
f
Note that as τ (Li ), Ei , Li ∈ addS G (S) they are maximal Cohen-Macaulay S G fi ) ⊕ E
fi ⊕ L
fi -regular. Set Li = L
fi /θL
e i , Ei = E
fi /θE
fi and
modules. So θ is τ (L
fi )/θτ (L
fi ). Then Li , Ei and τ (Li ) are maximal Cohen-Macaulay RG τ (Li ) = τ (L
modules. Also note the action of θ on V is same as that of π. So θ is V -regular
and V /θV = k. Thus we have the following exact sequences:
p0

(7.4.6)

0 → τ (L0 ) → E0 −→ L0 → k → 0 and

(7.4.7)

0 → τ (Li ) → Ei −→ Li → 0 for i > 0.

pi

Note that as l ≥ l0 (G) we have that Li = ψ(Pi ) for i = 0, 1, . . . , m are precisely the
indecomposable maximal Cohen-Macaulay RG -modules. Also note that L0 = RG .
Remark 7.5. (with notation as in 7.2.5) Set (−)∗ = (−) ⊗V k = (−) ⊗S G AG .
Then note that we have the following exact sequences of AG -modules:
p∗

(7.5.8)

0
0 → τ (L∗0 ) → E0∗ −→
L∗0 → k → 0 and

(7.5.9)

i
0 → τ (L∗i ) → Ei∗ −→
L∗i → 0 for i > 0.

p∗

Notice L∗i for i = 0, 1, . . . , m are precisely the indecomposable maximal CohenMacaulay AG -modules. Also note that L∗0 = AG . By a result due to Auslander, [1,
p. 516, 517], we have that if L∗ is a maximal Cohen-Macaulay AG -module and if
φ∗ : L∗ → L∗i is an AG -homomorphism which is not a split epimorphism then there
exists an AG homomorphism λ∗ : L∗ → Ei∗ with φ∗ = p∗i ◦ λ∗ .
The following is the main result of this section.
Theorem 7.6. (with hypotheses as above). For any i(0 ≤ i ≤ m) the sequences
7.4.6 and 7.4.7 satisfy the following condition:
If L is a maximal Cohen-Macaulay RG -module and if φ : L → Li is an RG homomorphism which is not a split epimorphism then there exists an RG homomorphism λ : L → Ei with φ = pi ◦ λ.
In particular for i 6= 0 the sequence 7.4.7 is the AR sequence ending in Li .
We first prove the following consequence of Theorem 6.5.

16

TONY J. PUTHENPURAKAL

Lemma 7.7. (with hypotheses as above) If φ : L → Li is not a split epimorphism
then there exists RG homomorphisms λ0 : L → Ei and φ1 : L → Li with φ =
pi ◦ λ0 + πφ1 .
e L∗ , L∗ and φ∗ be as in Theorem 6.5. So φ∗ : L∗ → L∗ is not
e φ,
Proof. Let f
Li , L,
i
i
a split epimorphism. Therefore there exists an AG -homomorphism λ∗0 : L∗ → Ei∗
f0 : L
e →E
fi with
such that φ∗ = p∗i ◦ λ∗0 . By 6.4 there exists an S G linear map λ
f0 ⊗ AG = λ∗ . Again from 6.4 there exists an S G linear map φ
f1 : L
e→L
fi such that
λ
0
e
f
f
φ = pei ◦ λ0 + π φ1 . Going mod π − f we get our result.

We now give

Proof of Theorem 7.6. By Lemma 7.7 there exists RG homomorphisms λ0 : L → Ei
and φ1 : L → Li with φ = pi ◦ λ0 + πφ1 . We consider the following two cases:
Case 1: Li is not a summand of L. Then note that φ1 is also not a split
epi. So there exists λ1 : L → Ei and φ2 : L → Li with φ1 = pi ◦ λ1 + πφ2 . Thus
φ = pi ◦ (λ0 + πλ1 ) + π 2 φ2 . Again φ2 is not a split epi. Iterating this process we
get for all n ≥ 0 homomorphisms λn : L → Ei and φn+1 : L → Li such that φn+1 is
not a split epi and


n
X
φ = pi ◦ 
π j λj  + π n+1 φn+1 .
j=0

Set

λ=

∞
X

π j λj .

j=0

G

Then as R is complete and π ∈ n the maximal ideal of RG it follows that λ : L → Ei
is RG -linear. Clearly φ = pi ◦ λ.
Case 2: Li is a summand of L. Set L = Lri ⊕ K where Li is not a summand of
K.
We decompose φ = (φi , φK ). Note that φi and φK are not split epi’s. By Case
1, φK already has a lift. Thus it suffices to consider the case when L = Lri .
If L = Lri then note φ = (φ1 , φ2 , · · · , φr ). Clearly φi are not split epi for
each i. Thus it suffices to consider the case when r = 1. That is L = Li . By
Lemma 7.7 there exists RG homomorphisms λ0 : Li → Ei and φ1 : Li → Li with
φ = pi ◦ λ0 + πφ1 .
Claim: the multiplication map µπ : Li → Li can be factored as pi ◦ δ where
δ : Li → Ei .
Assume the claim for the moment. Then we have
φ = pi ◦ λ0 + πφ1 ,
= pi ◦ λ0 + pi ◦ δ ◦ φ1 ,
= pi ◦ (λ0 + δ ◦ φ1 ) .

FINITE REPRESENTATION TYPE

17

Thus φ can be lifted.
We now prove our Claim. The essential point is that µπ = µf as RG = S G /(π −
f ). We consider the exact sequence 7.1.4. Notice as f ∈ S G we get that f ∈ Z(S∗G)
the center of S ∗G. So the multiplication map µf : S ⊗V Pi → S ⊗V Pi is S ∗G-linear.
As f ∈ (x1 , x2 ) we get that ǫi ◦ µf = 0. As S ⊗V Pi is a projective S ∗ G-module we
have a lift δb: S ⊗V Pi → S ⊗V (E ⊗V Pi ). Taking invariants and going mod π − f
yields the Claim.

A consequence of the above result is the following:
Theorem 7.8. (with hypotheses as in Theorem 7.6) The AR quiver of RG coincides
with the McKay graph M c(k 2 , G).
Proof. Let P0 , P1 , · · · , Pm be the complete list of non-isomorphic indecomposable
projective V [G]-modules with P0 = V . If Y is a projective V [G] module then
am
Y = P0a0 ⊕ P1a1 ⊕ · · · ⊕ Pm
for some ai ≥ 0. Set multi (Y ) = ai .
By Proposition 7.2 we get that V 2 ⊗V Pj is a projective V [G]-module. Let
T (V 2 , G) be the oriented graph whose vertices are P0 , . . . , Pm and there are ci,j
arrows from Pi to Pj if multi (V 2 ⊗V Pj ) = ci,j 6= 0.
The proof in [17, 10.14] generalizes to our situation (we have to use Theorem 7.6
also) and so the AR-quiver of RG is isomorphic to T (V 2 , G).
We now note that Wi = Pi = Pi /πPi is a complete list of non-isomorphic
irreducible representations of G over k, see 5.2. If X is a representation of G over k
am
then X = W0a0 ⊕ W1a1 ⊕ · · · ⊕ Wm
for some ai ≥ 0. Set multi (X) = ai . Recall that
2
the McKay graph M c(k , G) is defined to be an oriented graph whose vertices are
W0 , · · · , Wm and there are ci,j arrows from Wi to Wj if multi (k 2 ⊗V Wj ) = ci,j 6= 0.
In general if Y is a projective V [G] then Y is a projective cover of Y /πY . Also
clearly multi Y = multi (Y /πY ). Note that

V 2 ⊗V Pj ⊗V V /(π) ∼
= k 2 ⊗k Wj .

Thus there are µ arrows from Pi to Pj in T (V 2 , G) if and only if there are µ arrows
from Wi to Wj in M c(k 2 , G). Thus T (V 2 , G) ∼
= M c(k 2 , G). Our result follows 

8. an Explicit example- The invarinats of Klein group An
In this section we give an explicit example, the invariants of Klein group An
to illustrate our results. For simplicity we assume that the characteristic p of the
residue field k is not equal to 2. Throughout S = V [[x1 , x2 ]] and A = k[[x1 , x2 ]].
Throughout ζn will denote a primitive nth root of unity in k when n is coprime
to p. By θn we mean an element of V with θn = ζn and θnn = 1. By Hensel’s lemma
such a θn does exist. It can be easily seen, for instance from 3.5, that θn is unique.

18

TONY J. PUTHENPURAKAL

(I) (An ) Cyclic group of order n + 1. Here n ≥ 1 and
!
θn+1
0
G =<
>
−1
0
θn+1
Note we are assuming p ∤ n + 1 and p 6= 2. We first prove
Theorem 8.1. (with hypotheses as above)
SG ∼
= V [[x, y, z]]/(x2 + y n+1 + z 2 ).
Furthermore if f ∈ (x, y, z)3(n+1) and f ∈
/ πS G then f ∈ (u21 , u22 ) for some efficient
G
system of parameters u1 , u2 of A . Thus RG = S G /(π − f ) will have AR quiver
isomorphic to the McKay graph of G.
Proof. We note that x1 x2 , xn+1
, xn+1
∈ SG.
1
2
Claim-1: S G = V [[x1 x2 , xn+1
, xn+1
]].
1
2
n+1
n+1
G
Set T = V [[x1 x2 , x1 , x2 ]] ⊆ S . Put v1 = x1 x2 , v2 = xn+1
, v3 = xn+1
and
1
2
ui = vi the image in A for i = 1, 2, 3. It is well-known that AG = k[[u1 , u2 , u3 ]].
P
Let x ∈ S. Set x = i≥0 xi where xi is homogeneous of degree i. Then x ∈ S G
if and only if xi ∈ S G for all i ≥ 0. We first show xi ∈ T for all i.
For α = (α1 , α2 , α3 ) ∈ N3 set |α| = 2α1 + (n + 1)α2 + (n + 1)α3 . Also set
G
α
1 α2 α3
uα = uα
1 u2 u3 . Define v analogously. Notice xi ∈ A .
X
xi =
a0,α uα
|α|=i

for some a0,α ∈ k for all α with |α| = i. Set
X
a0,α v α .
z0 =
|α|=i

Then xi = z0 + πxi,1 for some xi,1 ∈ S. Notice xi,1 ∈ S G . Also note that xi,1 is
homogeneous of degree i. Iterating the above procedure we get xi,1 = z1 + πxi,2
for some xi,2 ∈ S G and
X
a1,α v α .
z1 =
|α|=i

Thus for all m ≥ 1 we obtain relation xi,m = zm + πxi,m+1 for some xi,m+1 ∈ S G
homogeneous of degree i and
X
am,α v α .
zm =
|α|=i

We also have
xi = z0 + πz1 + π 2 z2 + · · · + π m zm + π m+1 xi,m+1 .
Notice that for all α with |α| = i we get that
m
a(i)
α = a0,α + πa1,α + · · · + π am,α + · · · ∈ V

FINITE REPRESENTATION TYPE

19

So we get that
z (i) = z0 + πz1 + · · · + π m zm + · · ·
X
α
a(i)
=
α v ∈T
|α|=i

(i)

Clearly xi = z . Thus xi ∈ T .
P
If x = i≥0 xi ∈ S G with xi homogeneous of degree i then note that


X  X X
α

∈T
a(i)
x=
z (i) =
α v
i≥0

i≥0

|α|=i

Claim-2: S ∼
= V [[x, y, z]]/(x2 + y n+1 + z 2 ).
As p ∤ 2(n + 1) note that θ4 , θ2(n+1) ∈ V . Define β = θ2(n+1) v1 . Also define α, γ
by the formula α + θ4 γ = v2 and α − θ4 γ = v3 . Then notice S G = V [[α, β, γ]].
Furthermore as v1n+1 = v2 v3 we obtain α2 + β n+1 + γ 2 = 0.
Set B = V [[x, y, z]]/(x2 + y n+1 + z 2 ). Note we have an obvious surjective map
B → S G . Note B is Cohen-Macaulay of dimension 3. It suffices to show that B
is a domain. Notice B/πB ∼
= k[[x, y, z]]/(x2 + y n+1 + z 2 ) ∼
= AG is a domain of
dimension 2. Thus πB is a prime ideal of height one. Let q be a minimal prime of
B contained in πB. Let a ∈ q. Then a = πb for some b ∈ B. As π ∈
/ q we get that
b ∈ q. Thus q = πq. By Nakayama Lemma q = 0. So B is a domain.
Notice AG ∼
= k[[x, y, z]]/(x2 + y n+1 + z 2 ). We now assert
Claim 3: (x, z) is an efficient system of parameters for AG .
Consider the subring T1 = k[[x, y]] of AG . As AG ∼
= T [Z]/(p(Z)) where p(Z) =
2
2
n+1
Z +x +y
we get that dimension of T1 is 2. Thus T1 is regular local. Let N1
be the Noetherian differnt of AG over T1 , see [17, 6.6]. By [17, 6.13], p′ (z) ∈ N1 .
Thus 2z ∈ N1 .
Similarly by considering the regular subring T2 = k[[y, z]] of AG we get that
2x ∈ N2 , the Noetherian differnt of AG over T2 . Furthermore as p 6= 2 we get that
(x, z) is an efficient system of parameters of AG .
Finally note that (x, y, z)n+1 ⊆ (x, z). Thus (x, y, z)3(n+1) ⊆ (x, z)3 ⊆ (x2 , z 2 ).
G

Remark 8.2. In a similar but tedious way one can analyze the invariant rings of
the Klein groups Dn , E6 , E7 , E8 .

References
[1] M. Auslander, Rational singularities and almost split sequences, Trans. Amer. Math. Soc.
293 (1986), no. 2, 511-531.
[2]
[3]

, Isolated singularities and existence of almost split sequences, Representation theory,
II (Ottawa, Ont., 1984), 194-242, Lecture Notes in Math., 1178, Springer, Berlin, 1986.
and I. Reiten, The Cohen-Macaulay type of Cohen-Macaulay rings, Adv. in Math. 73
(1989), no. 1, 1-23.

20

TONY J. PUTHENPURAKAL

[4]

,

and S. O. Smalø, Representation theory of Artin algebras, Corrected reprint

of the 1995 original. Cambridge Studies in Advanced Mathematics, 36. Cambridge University
Press, Cambridge, 1997
[5] R. Brauer, On the representation of a group of order g in the field of the g-th roots of unity,
Amer. J. Math. 67, (1945). 461-471.
[6] W. Bruns and J. Herzog, Cohen-Macaulay rings, Revised Edition, vol. 39, Cambridge studies
in advanced mathematics, Cambridge University Press, Cambridge, 1997.
[7] C. W.Curtis and I. Reiner, Representation theory of finite groups and associative algebras,
Pure and Applied Mathematics, Vol. XI Interscience Publishers, a division of John Wiley and
Sons, New York-London 1962.
[8] D. Eisenbud, Commutative algebra, with a view toward algebraic geometry, Graduate Texts
in Mathematics, 150. Springer-Verlag, New York, 1995.
[9] J. Herzog, Ringe mit nur endlich vielen Isomorphieklassen von maximalen, unzerlegbaren
Cohen-Macaulay-Moduln(German), Math. Ann. 233 (1978), no. 1, 21-34.
[10] C. Huneke and G. Leuschke, Two theorems about maximal Cohen-Macaulay modules, Math.
Ann. 324 (2002), no. 2, 391-404.
[11] T. Y. Lam, A first course in noncommutative rings, Second edition. Graduate Texts in
Mathematics, 131. Springer-Verlag, New York, 2001.
[12] S. Lang, Serge Algebra, Revised third edition. Graduate Texts in Mathematics, 211. SpringerVerlag, New York, 2002.
[13] G. Leuschke, Mixed characteristic hypersurfaces of finite Cohen-Macaulay type, J. Pure Appl.
Algebra 167 (2002), no. 2-3, 225-257.
[14] H. Matsumura, Commutative ring theory, Translated from the Japanese by M. Reid. Second edition. Cambridge Studies in Advanced Mathematics, 8. Cambridge University Press,
Cambridge, 1989.
[15] T. Miyata, Note on direct summands of modules, J. Math. Kyoto Univ. 7 1967 65-69.
[16] J.-P. Serre, Local fields, Translated from the French by Marvin Jay Greenberg. Graduate
Texts in Mathematics, 67. Springer-Verlag, New York-Berlin, 1979.
[17] Y. Yoshino, Cohen-Macaulay modules over Cohen-Macaulay rings, London Mathematical
Society Lecture Note Series, 146. Cambridge University Press, Cambridge, 1990.
Department of Mathematics, IIT Bombay, Powai, Mumbai 400 076
E-mail address: tputhen@math.iitb.ac.in

