arxiv: v2 [math.rt] 20 Feb 2018

Transcription

1 SINGULARITY CATEGORIES OF REPRESENTATIONS OF QUIVERS OVER LOCAL RINGS MING LU arxiv: v2 [math.rt] 20 Feb 2018 Abstract. LetΛbeafinite-dimensionalalgebrawithfiniteglobal dimension, R k = K[X]/(X k ) be the Z-graded local ring with k 1, and Λ k = Λ KR k. We consider the singularity category D sg(mod Z (Λ k )) of the graded modules over Λ k. It is showed that there is a tilting object in D sg(mod Z (Λ k )) such that its endomorphism algebra is isomorphic to the triangular matrix algebra T k 1 (Λ) with coefficients in Λ and there is a triangle equivalence between D sg(mod Z/kZ (Λ)) and the root category of T k 1 (Λ). Finally, a classification of Λ k up to the Cohen-Macaulay representation type is given. 1. Introduction The singularity category of an algebra is defined to be the Verdier quotient of the bounded derived category with respect to the thick subcategory formed by complexes isomorphic to bounded complexes of finitely generated projective modules[9], see also[19]. Recently, D. Orlov s global version [39] attracted a lot of interest in algebraic geometry and theoretical physics. In particular, the singularity category measures the homological singularity of an algebra [19]: the algebra has finite global dimension if and only if its singularity category is trivial. Singularity categories have deep relationship with Gorenstein algebras. A fundamental result of R. Buchweitz [9] and D. Happel [19] states that for a Gorenstein algebra A, the singularity category is triangle equivalent to the stable category of Gorenstein projective (also called (maximal) Cohen-Macaulay) A-modules, which generalizes J. Rickard s result [42] on self-injective algebras. For any Artin algebra A, denote by Gproj A its subcategory of Gorenstein projective modules. Inspired by the representation type of algebras, one can define Cohen-Macaulay representation type of algebras, explicitly, if Gproj A has only finitely many isoclasses of indecomposable objects, then A is called to be of finite Cohen-Macaulay type or CM-finite, see e.g. [29, 7]; otherwise, A is called to be of infinite Cohen-Macaulay type or CM-infinite. Another motivation of this paper is the root category of a finite-dimensional algebra. Root category was first introduced by Happel [17] for finite-dimensional hereditary algebras. Let A be a finite-dimensional hereditary algebra over a field K. Let D b (moda) be the derived category of finitely generated left A-modules. Then the root category R A of A is defined to be the 2- periodic orbit category D b (moda)/σ 2, where Σ is the suspension functor. It was proved by L. Peng and J. Xiao [40] that the root category R A is a triangulated category. With this triangle structure, Peng and Xiao [41] constructed a so called Ringel-Hall Lie algebra associated to each root category and realized all the symmetrizable Kac-Moody Lie algebras. In general, for A not hereditary, D b (moda)/σ 2 is not triangulated, with the help of the DG orbit categories defined in [24], one can construct another 2-periodic triangulated category which is a triangulated hull of D b (moda)/σ 2. This triangulated hull is also called the root category of A and is denoted also by R A, see e.g. [13] Mathematics Subject Classification. 16E45, 18E30, 18E35. Key words and phrases. Representations of quivers over local rings; Gorenstein algebras; Orbit categories; Singularity categories. 1

2 2 LU Let Λ be a finite-dimensional algebra with finite global dimension, R k = K[X]/(X k ) be the Z-graded local ring with X degree one where k is a positive integer, and Λ k = Λ K R k. Then Λ k is a positively graded Gorenstein algebra. C. M. Ringel and M. Schmidmeier [45] investigate the Gorenstein projective modules over Λ k with Λ hereditary of type A 2 by using submodule categories, and describeits Auslander-Reiten quiver for k < 6. Later, C. M. Ringel and P. Zhang [46] prove that the singularity category of Λ 2 with Λ = KQ hereditary is triangle equivalent to the triangulated orbit category D b (modλ)/σ. X.-H. Luo and P. Zhang generalize these works and introduce monomorphism categories over finite acyclic quivers to describe the Cohen- Macaulay modules over A K KQ (also A K KQ/I with I generated by monomial relations) with A a coherent algebra [34, 35]. Recently, D. Shen describes Gorenstein projective modules over the tensor product of two algebras in terms of their underlying one-sided modules [47]. In this paper, we mainly consider the singularity category D sg (mod Z (Λ k )) of the graded modules over Λ k. Yamaura [51] proved that for a positively graded selfinjective algebra, its stable category of the Z-graded modules admits a tilting object. Following him, we prove that the singularity category D sg (mod Z Λ k ) of the Z-graded modules over Λ k has a tilting object with the same construction, in particular, its endomorphism algebra is isomorphic to the triangular matrix algebra T k 1 (Λ) with coefficients in Λ. In this way, we get that D sg (mod Z Λ k ) is triangle equivalent to the boundedderived category D b (T k 1 (Λ)). Viewing Λ k as a Z/kZ-graded algebra naturally and considering the singularity category D sg (mod Z/kZ Λ k ), we prove that the above triangle equivalence induces a triangle equivalence between D sg (mod Z/kZ Λ k ) and the root category of T k 1 (Λ). Furthermore, when k = 2, this result reappears the result of [46], which states: D sg (modλ 2 ) is triangle equivalent to the triangulated orbit category D b (modλ)/σ if Λ is hereditary. Finally, we classify Λ k up to Cohen-Macaulay representation type, and give some examples to describe the Auslander-Reiten quivers for some Λ k of CM-finite type. Acknowledgments. The author deeply thanks Professor Bin Zhu for his guidance, inspiration, helpful discussion and comments. The work was done during the stay of the author at the Department of Mathematics, University of Bielefeld. He is deeply indebted to Professor Henning Krause for his kind hospitality, inspiration and continuous encouragement. The author also deeply thanks Professor Helmut Lenzing for helpful discussion on the tubular algebras. The author was supported by the National Natural Science Foundation of China (No and No ). 2. Preliminaries Throughout this paper K is an algebraically closed field and algebras are finite-dimensional K-algebras unless specified. We denote by D the K-dual, i.e. D( ) = Hom K (,K). Let A be a K-algebra. We denote by moda the category of finitely generated (left) modules, by proj A the category of finitely generated projective A-modules. For an additive category A, we use inda to denote the set of all non-isomorphic indecomposable objects in A Group graded algebras. Let G be an abelian group, and A = i G A i be a G-graded algebra. A G-graded A-module X is of form i G X i, where X i is the degree i part of X. The category mod G A of (finitely generated) G-graded A-modules is defined as follows. The objects are G-graded A-modules,

3 SINGULARITY CATEGORIES OF REPRESENTATIONS OF QUIVERS OVER LOCAL RINGS 3 For G-graded A-modules X and Y, the morphism space from X to Y in mod G A is defined by Hom mod G A (X,Y) := Hom A(X,Y) 0 := {f Hom A (X,Y) f(x i ) Y i for any i G}. We denote by proj G A the full subcategory of mod G A consisting of projective objects. For i G, we denote by (i) : mod G A mod G A the grade shift functor. Then for any two G-graded A-modules X,Y, we have Hom A (X,Y) = i GHom mod G A (X,Y(i)). It is well-known that there is a forgetful functor F : mod G A moda, which associates to M mod G A the underlying ungraded A-module. Denote by J A the Jacobson radical of A. Proposition 2.1 ([51]). Assume that J A = J A0 ( i G\{0} A i). We take a set PI of idempotents of A 0 such that {A 0 e e PI} is a complete list of indecomposable projective A 0 -modules. Then the following assertions hold. (a) Any complete set of orthogonal primitive idempotents of A 0 is that of A. (b) A complete list of simple objects in mod G A is given by {S(i) i G,S is a simple A 0 -module}. (c) A complete list of indecomposable projective objects in mod G A is given by {Ae(i) i G,e PI}. (d) A complete list of indecomposable injective objects in mod G A is given by {D(eA)(i) i G,e PI}. Let A be a positively graded algebra, i.e., A = i 0 A i, and a a positive integer. Then we can regard A as a Z/aZ-graded algebra by A ī = j i+az for any i Z. Also we regard X mod Z A as a Z/aZ-graded A-module by X ī = X j. In this way there is an additive exact functor j i+az A j F a : mod Z A mod Z/aZ A. Furthermore, let X and Y be Z-graded A-modules. Then Hom mod Z/aZ(F a (X),F a (Y)) = i Z Hom mod Z A (X,Y(ia)). If a = 1, then mod Z/aZ A coincides with moda, and F a is just the forgetful functor from mod Z A to moda. Note that for a positively graded algebra A, the equation J A = J A0 ( A i ) = J ( A 0 A ī ) i 0 ī 0 always holds. So A with both gradings above satisfies the assumption of Proposition 2.1, see [51, Proposition 2.18].

4 4 LU 2.2. Gorenstein algebra and Singularity category. Definition 2.2. A finite-dimensional K-algebra A is called a Gorenstein (or Iwanaga-Gorenstein) algebra if A satisfies inj.dim A A < and inj.dima A <. Then a K-algebra A is Gorenstein if and only if inj.dima A < and proj.dimd( A A) <. Observe that for a Gorenstein algebra A, we have inj.dim A A = inj.dima A, see see [3, Lemma 6.9] and [19, Lemma 1.2], the common value is denoted by G.dimA. If G.dimA d, we say that A is a d-gorenstein algebra. Definition 2.3 ([12]). Let A be a Gorenstein algebra. A finitely generated A-module M is called to be bgorenstein projective (or (maximal) Cohen-Macaulay) if Ext i A (M,A) = 0 for i 0. The full subcategory of Gorenstein projective modules in mod A is denoted by Gproj(A). Theorem 2.4 ([9, 4, 12]). Let A be a d-gorenstein algebra. Then Gproj(A) = Ω d (moda), where Ω is the syzygy functor. Furthermore, a module M is Gorenstein projective if and only if there is an exact sequence 0 M P 0 P 1 with each P i projective. Similarly, for G-graded algebras, one can define the notions of G-graded Gorenstein algebras, G-graded Gorenstein projective modules, see [2]. We denote by Gproj G A the full subcategory of mod G A formed by all G-graded Gorenstein projective modules. For a finite-dimensional G-graded algebra A, let F : mod G A moda be the forgetful functor, then for any M mod G A, M is graded projective (resp. graded injective) if and only if F(M) is projective (resp. injective) as A-module, see [38, Corollary 2.1], [16, Proposition 1.3, Proposition 1.4]. In fact, one has G-grinj.dim A M = inj.dim A M for any graded A-module M, see also [38, Theorem 2.1], where G-grinj.dim A M denotes the injective dimension in mod G A, which is called the G-graded injective dimension of M. Thus the G-graded algebra A is G- graded d-gorenstein if and only if it is d-gorenstein as an ungraded ring, see [2, Proposition 2.1]. Certainly, for a finite-dimensional positively graded algebra A = i 0 A i which we mainly focuson, Aisd-gradedGorenstein ifandonlyifaisd-gorenstein. Sowedonotdistinguishthem in the following. It can be checked that all results concerning Gorenstein projective modules in [12] hold for G-graded Gorenstein projective modules, see [2]. Lemma 2.5 ([2, 33]). Let A = i 0 A i be a finite-dimensional graded algebra. Then the forgetful functors F : mod Z A moda and F : mod Z/aZ A moda induces forgetful functors from Gproj Z A to GprojA and Gproj Z/aZ A to GprojA respectively, which are also denoted by F. Lemma 2.6. Let A = i 0 A i be a finite-dimensional graded algebra. Then the functor F a : mod Z A mod Z/aZ A induces a functor from Gproj Z A to Gproj Z/aZ A, which is also denoted by F a. Proof. For any M mod Z A, Lemma 2.6 implies that F(M) GprojA. Since F a (M) mod Z/aZ A and F(F a (M)) = F(M) GprojA, we get that F a (M) Gproj Z/aZ A by Lemma 2.6. Definition 2.7 ([39]). Let A = i 0 A i be a positively graded algebra. The singularity category is defined to be the Verdier localization D sg (moda) := D b (moda)/k b (proja),

5 SINGULARITY CATEGORIES OF REPRESENTATIONS OF QUIVERS OVER LOCAL RINGS 5 the G-graded singularity category is D sg (mod G A) := D b (mod G A)/K b (proj G A), where G = Z/aZ for some positive integer a. We denote by π : D b (moda) D sg (moda) and π : D b (mod G A) D sg (mod G A) the localization functors. Theorem 2.8 ([9, 18, 19]). Let A be a positively graded Gorenstein algebra. Then for any group G = Z/aZ or Z, GprojA and Gproj G A are Frobenius categories with the projective modules and G-graded projective modules as the projective-injective objects respectively. The stable categories GprojA and Gproj G A are triangulated equivalent to D sg (moda) and D sg (mod G A) respectively. In the following, we always assume that A is a positively graded algebra. The additive functor F a : mod Z A mod Z/aZ A induces an additive functor D b (F a ) : D b (mod Z A) D b (mod Z/aZ A), which is a triangulated functor. Similar to [51, Proposition 2.25], we get the following lemma. Lemma 2.9. We have thick(imd b (F a )) = D b (mod Z/aZ A). Proof. The proof is similar to that of [51, Proposition 2.6]. Obviously, ImD b (F a ) contains all simple objects in mod Z/aZ A. For any M mod Z/aZ A, it has a finite filtration by simple objects inmod Z/aZ A. Sinceshortexactsequencesinmod Z/aZ AgivesrisetotrianglesinD b (mod Z/aZ A), thick(imd b (F a ))containsallobjectsinmod Z/aZ A, andthenthick(imd b (F a )) = D b (mod Z/aZ A). For any i > 0, similar to the definition of F a, we can define an additive functor Fa ia from mod Z/iaZ A to mod Z/aZ A which is also exact. It is easy to see that F a = Fa ia F ia. Then Fa ia also induces a functor D b (Fa ia) from Db (mod Z/iaZ A) to D b (mod Z/aZ A). Since all the exact functors F a and Fa ia preserves projective objects, they induce the triangle functors F a : D sg (mod Z A) D sg (mod Z/aZ A), and Fa ia : D sg (mod Z/iaZ A) D sg (mod Z/aZ A) respectively. In particular, we obtain the following commutative diagram: D b (mod Z A) π D sg (mod Z A) D b (F a) D b (F ia ) D b (mod Z/iaZ A) π Z/iaZ F ia D sg (mod Z/iaZ A) F a D b (F ia a ) D b (mod Z/aZ A) π Z/aZ F ia a D sg (mod Z/aZ A). It is easy to see that the functors F a and F ia a preserve Gorenstein projective modules, and then induce triangulated functors on their stable categories, by abusing notations, we also denote them by F a : Gproj Z A Gproj Z/aZ A and F ia a : Gproj Z/iaZ A Gproj Z/aZ A respectively. Lemma Let A be a positively graded Gorenstein algebra. Then we have Gproj Z/aZ A = thick(f a ) = D sg (mod Z/aZ A), thick(d b (Fa ia)) = Db (mod Z/aZ A), and Gproj Z/aZ A = thick(fa ia) = D sg (mod Z/aZ A). Proof. Since the functors π,π Z/aZ and π Z/iaZ are dense, it follows from Lemma 2.9 and the above commutative diagram immediately.

6 6 LU Following [51], the truncation functors ( ) i : mod Z A mod Z A, ( ) i : mod Z A mod Z A are defined as follows. For a Z-graded A-module X, X i is a Z-graded sub A-module of X defined by { 0 if j < i (X i ) j := X j if j i, and X i is a Z-graded factor A-module X/X i+1 of X. Now we define a Z-graded A-module by T := i 0 A(i) 0. Let T be a triangulated category. An object T T is called tilting if it satisfies the following conditions. (1) Hom T (T,T[i]) = 0 for any i 0. (2) T = thick T T. Let T be an algebraic triangulated Krull-Schmidt category. If T has a tilting object T, then there exists a triangle equivalence T K b (projend T (T)), see [23]. Lemma 2.11 ([33]). Let A be a positively graded Gorenstein algebra where A 0 has finite global dimension. If T = i 0 A(i) 0 is a Gorenstein projective A-module, then T is a tilting object in Gproj Z (A). At the end of this section, we consider the case when T = i 0 A(i) 0 is a Gorenstein projective A-module. Let Γ be the endomorphism of T in Gproj Z A. Theorem 2.12 ([51]). Take a decomposition T = T P in Mod Z A where T is a direct sum of all indecomposable non-projective direct summand of T. Then (a) T is finitely generated, and is isomorphic to T in Gproj Z A. (b) There exists an algebra isomorphism Γ End mod Z A (T), and if A 0 has finite global dimension, then so does Γ. Similar to [51, Section 3.2], we take a positive integer l such that A = A l. Let U := l 1 i=0 A(i) 0. Then there exists an algebra isomorphism End mod Z A (U) A 0 A 1 A l 2 A l 1 A 0 A l 3 A l A 0 A 1 A 0 If we decompose U = T P for some projective direct summand of U, then ( ) End mod Z A (U) Endmod Z A (P ) Hom mod Z A (T,P ). 0 Γ 2.3. Derived-orbit categories. In this subsection, first we collect basic facts on DG categories and their derived categories from [23]. After that, we recall the definition of derived-orbit categories defined in [51] which is a special case of DG orbit categories defined in [24]..

7 SINGULARITY CATEGORIES OF REPRESENTATIONS OF QUIVERS OVER LOCAL RINGS 7 Definition 2.13 ([23]). An additive category A is called a differential graded (DG) category if the following conditions are satisfied. (a) For any X,Y A, the morphism set Hom A (X,Y) is a Z-graded abelian group Hom A (X,Y) = i Z Hom i A(X,Y) such that gf Hom i+j A (X,Z) for any f Homi A (X,Y) and g Homj A (Y,Z) where X,Y,Z A and i,j Z. (b) The morphism set is endowed with a differential d such that the equation d(gf) = (dg)f +( 1) j g(df) hold for any f Hom A (X,Y) and g Hom j A (Y,Z) where X,Y,Z A and j Z. For a DG category A, H 0 (A) is the additive category whose objects are the same as A, and the morphism set from X to Y is H 0 (Hom A (X,Y)). Let A and B be DG categories. An additive functor F : A B is called a DG functor if it preserves the grading and commutes with differentials. LetAbeanadditivecategoryandC dg (A)thecategory ofcomplexesoverawiththemorphism sets and the differential defined as follows: For any two complexes L,M and an integer n Z, we define Hom Cdg (A)(L,M) n to be the set formed by the morphisms f : L M of graded objects of degree n, and Hom Cdg (A)(L,M) = n Z Hom C dg (A)(L,M) n. The differential is the commutator d(f) = d M f ( 1) n fd L for any f Hom Cdg (A)(L,M) n. In this case, H 0 (C dg (A)) coincides with the homotopy category K(A) of complexes over A. Let Cdg b (A) be the full subcategory of C dg(a) formed by all bounded complexes. Then H 0 (C dg (A)) = K b (A). Let A be a small DG K-category. A DG A-module is a DG functor A op C dg (modk). Then DG A-modules form a DG category which we denote by C dg (A). We denote by K(A) := H 0 (C dg (A))thehomotopycategoryofDGA-modules. Byformallyinvertingquasi-isomorphisms in K(A), we obtain the derived category D(A) of DG A-modules. From [23], K(A) and D(A) are triangulated categories. We call a DG functor A C dg (A) sending X to Hom A (,X) the Yoneda embedding. In this way, A is a DG full subcategory of C dg (A), and H 0 (A) is a full subcategory of H 0 (C dg (A)) = K(A), which is also of D(A). Definition 2.14 ([24]). Let A be a DG category. We call the full subcategory thick D(A) (H 0 (A)) of D(A) the triangulated hull of H 0 (A). Definition 2.15 ([24]). Let A be a DG category, and F : A A a DG functor. A DG category A/F + is defined as follows. The objects are the same as A. For X,Y A, the morphism set from X to Y is defined by Hom A/F +(X,Y) := Hom A (F n X,Y). n=0 The differential of A/F + is induced from that of A. The DG orbit category A/F is defined with the objects the same as A, and the morphism set from X to Y is defined by Hom A/F (X,Y) := colim(hom A/F +(X,Y) F Hom A/F +(X,FY) F ),

8 8 LU with the differential of A/F induced from that of A/F +. LetAbeaDG category, F : A AaDG functor, andtheinducedfunctor H 0 (F) : H 0 (A) H 0 (A). It is easy to see that H 0 (A/F) H 0 (A)/H 0 (F), and then the triangulated hull thick D(A/F) (H 0 (A/F)) of H 0 (A/F) is a triangulated category which contains H 0 (A)/H 0 (F) as a full subcategory, and is generated by H 0 (A)/H 0 (F), see [51, Proposition 5.8]. Definition 2.16 ([51]). Let Λ be an algebra of finite global dimension, M a bounded complex of Λ op K Λ-modules. Let A := Cdg b (projλ) be the DG category of bounded complexes over projλ. Then H 0 (A) = K b (projλ) = D b (modλ). Since Λ op K Λ has finite global dimension, there exists a quasi-isomorphism pm M with a bounded complex pm of projective Λ op K Λ- modules. Consider the DG functor: Then we have We call the triangulated hull F := Λ pm : A A. H 0 (F) = L Λ M : Db (modλ) D b (modλ). D(Λ,M) := thick D(A/F) (H 0 (A/F)) of H 0 (A/F) the derived-orbit category of (Λ,M). Definition 2.17 ([24, 13]). Let Λ be an algebra of finite global dimension. For M = Σ 2 Λ, and F = Λ Σ 2 Λ, where Σ is the shift functor, we call the derived-orbit category D(Λ,Σ 2 Λ) of (Λ,Σ 2 Λ) the root category of Λ, and denote it by R Λ. It is worth noting that when Λ is a hereditary algebra, Peng and Xiao [40] proved that the m- periodic orbit category D b (modλ)/σ m is triangulated via the homotopy category of m-periodic complexes of projective Λ-modules for any m > 1(Ringel andzhang[46] proved that forthecase m = 1). In fact, in this case, the derived-orbit category D(Λ,Σ m Λ) of (Λ,Σ m Λ) is triangulated equivalent to the m-periodic orbit category D b (modλ)/σ m, see [40, 24]. Let A be a positively graded Gorenstein algebra, and Γ an algebra of finite global dimension. Let U D sg (mod Z (Γ K A)), N D b (mod(γ op K Γ)), and We consider the derived tensor functor F := L Γ N : Db (modγ) D b (modγ). L Γ U : D b (modγ) D b (mod Z A) and the canonical functor π : D b (mod Z A) D sg (mod Z A). Composing them, we have a triangulated functor G := π ( L Γ U) : D b (modγ) D sg (mod Z A). Theorem (see [22, Theorem A.20]) We fix an integer a. Assume that there exists a triangle P U(a) N L Γ U ΣP in D b (mod Z (Γ op K A)) such that P belongs to K b (proj Z A) as an object in D b (mod Z A). Then there exists an additive functor D b (modγ)/f D sg (mod Z A)/(a) and a triangulated functor

9 SINGULARITY CATEGORIES OF REPRESENTATIONS OF QUIVERS OVER LOCAL RINGS 9 G : D(Γ,N) D sg (mod Z/aZ A) which makes the diagram D b (modγ) G D sg (mod Z A) D b (modγ)/f D sg (mod Z A)/(a) F a commutative. D(Γ,N) G D sg (mod Z/aZ A) 3. Singularity categories of Λ k = Λ K R k Let Λ be a finite-dimensional algebra over the field K, R k = K[X]/(X k ) the truncated polynomial ring. Then Λ k = Λ K R k is also a finite-dimensional algebra. In following, we describe Λ k for Λ being a bound quiver algebra. Example 3.1. Let Λ = KQ /I be a bound quiver algebra with (Q,I ) its bound quiver. Let Q be the quiver obtained from Q by adding one loop ǫ i for each vertex i in Q. For any positive integer k, Λ k := KQ/I k, where I k is the ideal of KQ defined by the following relations: (H1) For each vertex i we have the nilpotent relation ǫ k i = 0. (H2) For each arrow (α : i j) Q we have the commutativity relation ǫ i α = αǫ j. (H3) I I k by viewing I to be in KQ naturally. From [26], we get that Λ k is isomorphic to the algebra Λ K R k. So Λ k is a finite-dimensional K-algebra and the representations of Λ k are nothing else than representations of (Q,I ) over the ground ring R k. This algebra is also considered in [15] for I = 0. In this case, for k = 1, Λ 1 = Λ which is a hereditary algebra; for k = 2, it is shown in [46] that Λ 2 is a 1-Gorenstein algebra, and that the stable category of Gproj(Λ 2 ) is triangulated equivalent to the orbit category D b (modλ)/σ of the bounded derived category of the path algebra Λ = KQ modulo the shift functor Σ; for Q a quiver of type A 2, Ringel and Schmidmeier [45] studied the category Gproj(Λ k ) for any k > 0. Similar to the global dimensions of tensor algebras, we get the following lemma. Lemma 3.2 (see e.g. [3, 36]). Let B and C be two finite-dimensional Gorenstein algebras over K. Then B K C is a Gorenstein algebra. In particular, G.dim(B K C) = G.dimB+G.dimC. Thus Λ k is a finite-dimensional Gorenstein algebra with G.dimΛ k = gl.dimλ. We endow R k = K[X]/(X k ) to be a Z-graded algebra with X degree 1. Then obviously, Λ k = Λ K R k is a positively graded algebra. Similarly, Λ k is natural a Z/aZ-graded algebra for any a 1. For any m > 0, let T m (Λ) be the upper triangular m m matrix algebra with coefficients in Λ, i.e. Λ Λ Λ Λ Λ T m (Λ) =..... Λ m m

10 10 LU It is well known that T m (Λ) is a finite-dimensional algebra of global dimension 1+gl.dimΛ for m > 1, and of global dimension gl.dimλ for m = 1. Furthermore, let Q A be the unbounded quiver α 2 1 α 1 0 α 0 1 α 1. For any k > 0, let Λ k := Λ K (KQ A / α i α i+k 1 i Z ). Then Λ k is a locally finitedimensional algebra without identity, obviously, it is isomorphic to the following algebra ( Λ k ) 00 ( Λ k ) 01 ( Λ k ) 0,k 1 ( Λ k ) 11 ( Λ k ) 12 ( Λ k ) 1,k ( Λ k ) 22 ( Λ k ) 23 ( Λ k ) 2,k where matrices have only finitely many non-zero entries, and ( Λ k ) ij = Λ for any i Z and i j < k+i, all the remaining entries are zero and the multiplication is induced from that of Λ. The identity maps ( Λ k ) ij ( Λ k ) i+1,j+1 induce an automorphism ϕ of Λ k. The orbit category Λ k / ϕ inheritsfrom Λ k thestructureofak-algebra andeasily seen tobeisomorphictoλ k. The projection functor G : Λ k Λ k is thus a Galois covering with infinite cyclic group generated by ϕ, see [14]. We denote by G λ : mod Λ k modλ k the associated push-down functor. Definition 3.3 ([10, 6]). For any group G, and R a G-graded algebra, we construct an algebra, which is called the smash product of R with G as follows: let R#G be the free left R-module with basis {p g g G}, and with multiplication given by the following: elements rp g, sp h multiply by (rp g )(sp h ) = rs gh 1p h and multiplication of sums of such elements is then defined by linearity. Let R = g G R g be a G-graded algebra with identity 1 and with a complete set of orthogonal idempotents e i,i = 1,...,n, and with e i R e, where e G is the unit. There is an isomorphic functor from ModR#G to Mod G R, whose restriction on modr#g is again an isomorphic functor from modr#g to mod G R, see [10, 6, 31, 1]. Lemma 3.4. For any k > 0, we get that mod Λ k is equivalent to mod Z Λ k. Proof. It is easy to check that Λ k is isomorphic to the smash product Λ k #Z, which implies the result immediately. Let A be a positively graded Gorenstein algebra. We say that A has Gorenstein parameter p if soca is contained in A p. Lemma 3.5. Let Λ k = Λ K K[X]/(X k ). We have that Λ k = i=0 (Λ k) i = k 1 i=0 (Λ k) i is a positively graded Gorenstein algebra of Gorenstein parameter k 1 with the property that (Λ k ) i = Λ for any k > 0 and 0 i k 1. Proof. We only need to prove that Λ k has Gorenstein parameter k 1, which follows from its definition easily. Lemma 3.6. Let Λ k = Λ K K[X]/(X k ), and T = k 2 i=0 Λ k(i) 0 for any k 1. If gl.dimλ <, then T is a tilting object in D sg (mod Z Λ k ), and its endomorphism ring Γ k := Hom Dsg(mod Z Λ k ) (T) is isomorphic to T k 1 (Λ). In particluar, G = π ( L Γ k T) : D b (modγ k ) D sg (mod Z Λ k ) is a triangle equivalence.

11 SINGULARITY CATEGORIES OF REPRESENTATIONS OF QUIVERS OVER LOCAL RINGS 11 Proof. The proof is similar to that in [51, Section 6.1]. Note that Λ k (i) 0 is a projective Λ k - module for any i k 1 since Λ k has Gorenstein parameter k 1. So T = i=0 Λ k(i) 0 is isomorphic to T = i=0 k 2 Λ k(i) 0 in D sg (mod Z Λ k ). Since Γ k := Hom Dsg(mod Z Λ k )(T) which is viewed as a Z-graded algebra concentrated at degree zero, we regard Γ op k K Λ k as a Z-graded algebra naturally, and regard T as a Z-graded Γ op k K Λ k -module. For convenience, we write T as the following matrix form, T = Λ k (k 2) 0 Λ k (k 3) 0. Λ k (1) 0 Λ k (0) 0 = 2 k 3 k 1 0 Λ Λ Λ Λ Λ Λ Λ...,.. Λ Λ Λ where2 k,3 k,..., 1,0 denote the degrees. Itis easy to see that Γ k is isomorphicto T k 1 (Λ). The action of Γ k on T from the left is given by the matrix multiplication. Thus T is isomorphic to Γ k as a Γ op k -module. On the other hand, one can check that there is an exact sequence 0 (Λ k (i) 0 )( k) Λ k ( 1) Λ k (i) Λ k (i) 0 0 for each 0 i k 2. SoΩ 2 (T) = T( k) inmod Z Λ k. SinceΛ k is apositively graded Gorenstein algebra, we get that T is a graded Gorenstein projective Λ k -module by the graded version of Theorem 2.4. Then Lemma 2.11 yields that T is a tilting object in D sg (mod Z Λ k ). Remark 3.7. For N > 0, it is worth noting that O. Iyama, K. Kato and Jun-ichi Miyachi defined the homotopy category of N-complexes and the derived category of N-complexes in [21]. The homotopy category of N-complexes of projective Λ-modules is triangle equivalent to the homotopy category of projective T N 1 (Λ)-modules for any algebra Λ, see [21, 5]. Using [47, Proposition 1.2], one can prove that Gproj Z (Λ k ) is equivalent to the category of k-complex of projective Λ k -modules as Frobenius categories, which yields that Gproj Z (Λ k ) is triangle equivalent to the homotopy category of k-complexes of projective Λ k -modules, and so Lemma 3.6 can be proved in this way. Let M = 2k 2 i=k Λ k (i) 1 k. Similarly, it is convenient to write M as the following matrix form M = Λ k (2k 2) 1 k Λ k (2k 1) 1 k. Λ k (1 k) 1 k Λ k (k) 1 k = 1 k 2 k 2 1 Λ Λ Λ Λ Λ Λ Λ Λ Λ Λ The algebra Γ k acts on M from both sides by matrix multiplication, which implies that M is a Γ op k K Γ k -module. Since the action of Γ k on M from the left commutes with that of Λ k from the right, we can regard M as a Z-graded Γ op Λ k -module, see [51, Section 6]. Lemma 3.8. The following assertions hold. (a) There exist isomorphisms M L Γ k T M and T L Γ T = T in D b (mod Z (Γ op k K Λ k )).

12 12 LU (b) There exist two short exact sequences 0 M in mod Z (Γ op k Λ k). 2k 2 i=k Λ k (i) T(k) 0, and 0 T (Λ k (k 1)) (k 1) M 0 Proof. Similar to the proof of [51, Lemma 6.3 and Lemma 6.4 (1)], we can prove (a) and get the first exact sequence in (b). So we only need to prove that there exists the second exact sequence in (b). It is easy to see that it is an exact sequence in mod Z Λ k. Note that the left Γ k -module structure of (Λ k (k 1)) (k 1) is induced by the matrix multiplication. Then (Λ k (k 1)) (k 1) is a (Γ op k Λ k)-module. Together with the left Γ k -module structures of T and M, it is routine to check that 0 T (Λ k (k 1)) (k 1) M 0 is an exact sequence in mod Z Γ op k, and then in modz (Γ op k Λ k). Since each short exact sequence in mod Z (Γ op k Λ k) gives a triangle in D b (mod Z (Γ op k K Λ k )), so we get the following two triangles in D b (mod Z (Γ op k K Λ k )): and 2k 2 i=k 2k 2 Λ k (i) T(k) ΣM L Γ k T Σ( i=k Λ k (i)) Σ((Λ k (k 1)) (k 1) ) ΣM Σ 2 T Σ 2 ((Λ k (k 1)) (k 1) ). Combining them, we get the following commutative diagram by octahedral axiom: 2k 2 i=k Λ k(i) V 2k 2 i=k Λ k(i) T(k) Σ((Λ k (k 1)) (k 1) ) L Γ k T ΣM L Γ k T Σ( 2k 2 i=k Λ k(i)) Σ( 2k 2 i=k Λ k(i)) Σ 2 T L Γ k T Σ 2 T L Γ k T So we get a triangle in D b (mod Z (Γ op k K Λ k )): ΣV Σ 2 ((Λ k (k 1)) (k 1) ) L Γ k T. (1) V α T(k) β Σ 2 T L Γ k T γ ΣV. Similar to Lemma 3.8 (1), we get that (Λ k (k 1)) (k 1) L Γ k T (Λ k (k 1)) (k 1), which yields that V K b (proj Z Λ k ).

13 SINGULARITY CATEGORIES OF REPRESENTATIONS OF QUIVERS OVER LOCAL RINGS 13 Proposition 3.9. We have the following commutative diagram of triangle equivalences up to an isomorphism of functors. D b (modγ k ) G D sg (mod Z Λ k ) F D b (modγ k ) (k) G D sg (mod Z Λ k ), where F := L Γ k Σ 2 T : D b (modγ k ) D b (modγ k ) which is isomorphic to the shift functor Σ 2 = L Γ k Σ 2 Γ k and G = π ( L Γ k T) : D b (modγ k ) D sg (mod Z Λ k ). In particular, there is an isomorphism of functors (k) G G Σ 2. Proof. For X D b (modγ k ), we have a triangle π(x L Γ k V) π(x L Γ k T(k)) π(x L Γ k β) π(x L Γ k Σ 2 T L Γ k T) Σπ(X L Γ k V) in D sg (mod Z Λ k ) by applying π (X L Γ k ) to the triangle (1). Since π(x L Γ k T(k)) = G(X)(k), π(x L Γ k Σ 2 T L Γ k T) = GF(X), and X L Γ k V K b (proj Z Λ k ), we have an isomorphism π(x L Γ k β) : G(X)(k) GF(X) in D sg (mod Z Λ k ). Thus we have an equivalence of functors π( L Γ k β) : (k) G G F. Note that T is isomorphic to Γ k as a Γ op k K Γ k -module, it is easy to see that F Σ 2. In particular, we get that an isomorphism of functors. (k) G G Σ 2 Corollary For any n > 0, we have the following equivalences of additive categories: D b (modγ k )/Σ 2n (D sg (mod Z Λ k ))/(kn) (Gproj Z Λ k )/(kn). Proof. By Proposition 3.9, G induces an equivalence D b (modγ k )/Σ 2 (D sg (mod Z Γ k ))/(k) (Gproj Z Γ k )/(k). Theorem For any k > 0, n > 0, there exists a triangle equivalence G : D(Γ k,σ 2n Γ k ) D sg (mod Z/knZ Λ k ) which makes the following diagram commutative: D b (modγ k ) G D sg (mod Z Λ k ) Gproj Z Γ k nat. D(Γ k,σ 2n Γ k ) F kn G D sg (mod Z/knZ Λ k ) F kn Gproj Z/knZ Γ k.

14 14 LU Proof. By using Proposition 3.9, the proof is similar to [51, Theorem 6.2], for convenience, we give it here. By applying Theorem 2.18 to Proposition 3.9, we get that there exists a triangle functor G : D(Γ k,σ 2n Γ k ) D sg (mod Z/knZ Λ k ) such that the above diagram is commutative. Corollary 3.10 and Lemma 2.10 shows that G is a triangle equivalence. We have the following corollary directly. Corollary For any integer k > 0, there exists a triangle equivalence G : R Γk D sg (mod Z/kZ Λ k ) which makes the following diagram commutative: D b (modγ k ) G D sg (mod Z Λ k ) Gproj Z Γ k nat. F k R Γk G D sg (mod Z/kZ Λ k ) F k Gproj Z/kZ Γ k. The following corollary is a generalization of [46, Theorem 1], which states that D sg (Λ 2 ) D b (modλ)/σ if Λ is a hereditary algebra. Theorem We have a triangle equivalence: D sg (mod Z/nZ Λ 2 ) D(Λ,Σ n Λ), for any n > 0. If Λ is derived equivalent to a hereditary category, then D sg (mod Z/nZ Λ 2 ) D(Λ)/Σ n, for any n > 0. In particular, if Λ is hereditary, then D sg (modλ 2 ) D b (modλ)/σ. Proof. For k = 2, we get that T = Λ, and Γ 2 = Λ. So there exists an exact sequence in mod Z ((Λ) op K Λ 2 ): 0 Λ = T Λ 2 (1) T(1) = Λ 0 (1) 0. Then there is a triangle Λ 2 (1) T(1) ΣT ΣΛ 2 (1) in D b (mod Z (Γ op 2 K Λ 2 )). Similar to the proof of Proposition 3.9, there exists a commutative diagram D b (modλ) Σ D b (modλ) G D sg (mod Z Λ 2 ) (1) G D sg (mod Z Λ 2 ), i.e. GΣ = (1)G. Furthermore, for any n > 0, GΣ n = (n)g. Also similar to the proof of Theorem 3.11, we get that D b (modλ)/σ n D sg (mod Z Λ 2 )/(n) and there exists a triangle equivalence G : D(Λ,Σ n Λ) D sg (mod Z/nZ Λ 2 ), for any n > 0. If Λ is hereditary or derived equivalent to a hereditary category, then the derived-orbit category D(Λ,Σ n Λ) is the triangulated hull of D b (modλ)/σ n in D(C b dg (projλ)/σn ). In this case, by the main Theorem in [24], we get that D b (modλ)/σ n is already a triangulated category, which implies that D(Λ,Σ n Λ) is triangle equivalent to D b (modλ)/σ n. In particular, for n = 1, we have mod Z/1Z Λ 2 modλ 2, and then D sg (modλ 2 ) D b (modλ)/σ.

15 SINGULARITY CATEGORIES OF REPRESENTATIONS OF QUIVERS OVER LOCAL RINGS The Cohen-Macaulay type of Λ k An algebra is of finite Cohen-Macaulay type, or simply, CM-finite, if there are only finitely many isomorphism classes of indecomposable finitely generated Gorenstein projecitve modules. Otherwise, the algebra is called to be of infinite Cohen-Macaulay type, or simply, CM-infinite. Clearly, A is CM-finite if and only if there is a finitely generated module E such that GprojA = adde. In this way, E is called to be a Gorenstein projective generator. Let us return to consider group graded algebras. For any group G, a finite-dimensional G-graded K-algebra A is of finite (G-)graded Cohen-Macaulay type (or G-graded CM-finite) if there are only finitely many isomorphism classes of indecomposable finitely generated Gorenstein projective modules up to the shifts of degree. Following Section 3, for any G-graded algebra A, let F : moda#g mod G A be the isomorphic functor. Since this isomorphic functor F preserves projective modules, injective modules, we get that for any G-graded K-algebra A, A#G is Gorenstein if and only if A is (graded) Gorenstein. Furthermore, F also preserves Gorenstein projective modules. It is easy to get the following result. Lemma 4.1. For any finite group G, a finite-dimensional G-graded K-algebra A is graded CM-finite if and only if A#G is CM-finite. Proof. Since the isomorphic functor F : moda#g mod G A preserves Gorenstein projective modules, we get that A#G is CM-finite if and only if there are only finitely many indecomposable Gorenstein projective modules in mod G A, if and only if A is graded CM-finite by noting that G is a finite group. Before going on, we fix a notation at first. Let A be a K-algebra and M,N two A-modules. If M is a direct summand of N as A-modules, then we denote it by M N. In the following, we always assume that G does not contain elements of the order equal to the characteristic of the ground field K. Lemma 4.2 ([30]). Let G be a finite group, and A be a G-graded algebra. Then for any finitely generated A#G -module X, X X A (A#G ). Proposition 4.3. For a finite group G, a finite-dimensional G-graded K-algebra A is graded CM-finite if and only if (forgotten G-grading) A is CM-finite. Proof. The proof given here is based on that of [30, Proposition 4.2]. IfAis CM-finite, let {B 1,...,B t } beacomplete set of non-isomorphicindecomposablegorenstein projective A-modules. Suppose X is an indecomposable Gorenstein projective A#G - module. Then there is an exact sequence 0 X P 0 P 1 such that P i proja#g. Since A#G is a left and right free A-module, we get that P i proja, and then X is a Gorenstein projective A-module when viewing X as an A-module. We have X = t j=1 B n j j and so X A (A#G ) = t j=1 (B j A (A#G )) n j. Since X is an A#G -summand of X A (A#G ), we have that X is an A#G -summand of B i A (A#G ) for some i. Therefore, the non-isomorphic indecomposablea#g -summandsofall theb i A (A#G ) give acomplete set of non-isomorphic indecomposable Gorenstein projective A#G -modules. Since this set is obviously finite, A#G is CM-finite. If A#G is CM-finite, by the above proof, we know that (A#G )#G is CM-finite too. By Blattner-Montgomery Duality Theorem, (A#G )#G = M n (A) which is Morita equivalent to A, where n = G. Thus A is CM-finite. Corollary 4.4. Let A be a finite-dimensional Z-graded algebra. Then the following are equivalent.

16 16 LU (i) A is CM-finite by forgetting the grading; (ii) A is Z/aZ-graded CM-finite for some a > 0 by viewing A to be a Z/aZ-graded algebra naturally; (iii) A is Z/aZ-graded CM-finite for any a > 0; Proof. From Proposition 4.3, it is easy to see that (i) (ii), and (i) (iii). In the following, we classify Λ k up to Cohen-Macaulay representation type. Before that, we need recall some results about tubular algebras. For a triple (p,q,r) {(3,3,3),(2,4,4),(2,3,6)}, we denote by C(p,q,r) the canonical tubular algebra K (p,q,r)/i(p,q,r) of type (p,q,r) given by the quiver (p,q,r) of the form as Figure 1 shows, and the ideal I(p,q,r) is generated by the element α 1 α 2 α p +β 1 β 2 β q +γ 1 γ 2 γ r. In fact, there is another canonical tubular algebra of type (2,2,2,2), which is not used in this paper, so we do not recall it here. LetC beacanonicaltubularalgebra. From[44], weknowthattheauslander-reitenquiverγ C hasatrisection(p C,T C,Q C ), wherep C isafamilyofcomponentscontainingallindecomposable projective C-modules, Q C is a family of components containing all indecomposable injective C- modules, and T C is a family Tλ C,λ P 1(K), of stable tubes, containing all simple C-modules which are neither projective nor injective, and separating P C from Q C. Then a tubular algebra (of type D (1,1) 4, E (1,1) 6, E (1,1) 7 or E (1,1) 8 respectively) is defined to be a tilted algebra B = End C (T) of a canonical tubular algebra C (of type (2,2,2,2), (3,3,3), (2, 4, 4) or (2, 3, 6) respectively), and with T a tilting C-module from the additive category add(p C T C ). Every tubular algebra B has global dimension two and is tame of polynomial growth. We also note that the opposite algebra of a tubular algebra is also a tubular algebra. Two tubular algebras are derived equivalent if and only if they have the same tubular type [20]. So we may speak of the tubular type of a derived tubular algebra, that is an algebra which is derived equivalent to a tubular algebra. Meltzer showed that each derived tubular algebra can be transformed by a finite sequence of Auslander-Platzeck-Reiten (APR for short) tilts, also called sink-reflections and APR cotilts (also called source-reflections) to a canonical algebra [37]. Obviously, the opposite algebra of a derived tubular algebra is also a derived tubular algebra. α 2 α 3 α p α 1 β β 2 β β q γ 1 γ r γ2 γ3 Figure 1. (p,q,r) Lemma 4.5. Let Λ = KQ be a finite-dimensional hereditary algebra. (i) If Q is of type D 4, then T 2 (Λ) is a derived tubular algebra of type E (1,1) 6 ; (ii) If Q is of type A 3, then T 3 (Λ) is a derived tubular algebra of type E (1,1) 7 ; (iii) If Q is of type A 5, then T 2 (Λ) is a derived tubular algebra of type E (1,1) 8 ; (iv) If Q is of type A 2, then T 5 (Λ) is a derived tubular algebra of type E (1,1) 8. Proof. (ii-iv) follow from [25, Theorem B] immediately. For (i), from [43, Theorem 2.1], without loss of generality, we can assume that the bound quiver of T 2 (Λ) is as the diagram in Figure

17 SINGULARITY CATEGORIES OF REPRESENTATIONS OF QUIVERS OVER LOCAL RINGS 17 2 shows, then we do sink-reflection at the vertex 7, source-reflection at the vertex 4, sourcereflection at the vertex 1, and the source-reflection at the vertex 3 successively, then we get a tubular algebra T (3,3,3) [32] as the diagram in Figure 3 shows Figure 2. The quiver of T 2 (Λ) for Λ a hereditary algebra of type D 4. T (3,3,3) : 5 γ 1 3 γ β α 1 β 2 α 2 β 4 3 α 3 γ 3 8 β 1 α 1 +β 2 α 2 = 0, β 1 α 1 +β 3 α 3 = 0; Figure 3. The quiver of T (3,3,3). In particular, from [27], we know that all the algebras appearing in the Lemma 4.5 are of tame representation type. Lemma 4.6. For any k > 0, if T k 1 (Λ) is derived equivalent to a hereditary category, then R Tk 1 (Λ) D b (modt k 1 (Λ))/Σ 2 D sg (mod Z/kZ Λ k ). Proof. Since T k 1 (Λ) is derived equivalent to a hereditary algebra, D b (modt k 1 (Λ))/Σ 2 is triangle equivalent to R Tk 1 (Λ). The result follows from Theorem 3.11 immediately. From it, we give another proof of the following result. Corollary 4.7 ([45]). If Λ is a hereditary algebra of type A 2, then Λ k = Λ K R k is CM-finite if and only if k < 6. Proof. For k = 1, easily, Λ 1 = Λ is a hereditary algebra of type A 2, which implies Λ 1 is CM-free. For k = 2, we get that T 2 (Λ) = K( ) which is a hereditary algebra of type A 2. So Λ 2 is CM-finite since T 2 (Λ) is representation finite and Gproj(Λ 2 ) D b (modt 2 (Λ))/Σ. For k = 3, it is easy to see that T 2 (Λ) = KQ/I where Q is the quiver as the following diagram shows, and I = α 1 α 2 β 1 β 2. α 1 β 1. β 2 Then T 2 (Λ) is a tilted algebra of type D 4. So Gproj Z/3Z Λ 3 R T2 (Λ) which is triangle equivalent to the root category of type D 4. Then the Z/3Z-graded algebra Λ 3 is graded CM-finite. From Theorem 4.3, we get that Λ 3 is CM-finite. For k = 4,5, it is similar to the case k = 3, only need to note that T 3 (Λ) and T 4 (Λ) are tilted algebras of type E 6 and E 8 respectively. Since Λ is of type A 2, Lemma 4.5 yields that T 5 (Λ) is a derived tubular algebra of type E (1,1) 8. Then the root category R T5 (Λ) is triangle equivalent to D b (modt 5 (Λ))/Σ 2. For Λ 6, we get that Gproj Z/6Z (Λ 6 ) R T5 (Λ) D b (modt 5 (Λ))/Σ 2. Since T 5 (Λ) is a derived tubular algebra of type E (1,1) 8, from the structure of its derived category described in [20], we get that T 5 (Λ) is not of finite representation type and then Λ 6 is CM-infinite. α 2

18 18 LU For Λ k with k > 6, from [28, Proposition 1], we know that T k 1 (Λ) is a wild algebra. Since ind(modt k 1 (Λ)) is a subset of ind(d b (modt k 1 (Λ))/Σ 2 ) and CM Z/kZ (Λ k ) R Tk 1 (Λ), it is easy to see that Λ k is a Z/kZ-graded CM-infinite algebra. From Theorem 4.3, we get that Λ k is CM-infinite for k > 6. In the above corollary, it is easy to see that the number s(k) of indecomposable objects in Gproj(Λ k ) is given by the formula see [45]. 6 s(k) = 2+2(k 1) 6 k, Lemma 4.8 (see e.g. [8, 50]). For a finite-dimensional algebra B over k, if D b (modb) has finitely many indecomposable objects up to the shift of complexes, then there exists a hereditary algebra H of finite representation type such that D b (modb) D b (modh). Theorem 4.9. Let Λ be a finite-dimensional indecomposable algebra with finite global dimension. Then for any integer k > 0, Λ k = Λ R k is CM-finite if and only if it belongs to one of the following cases: (a) k = 1; (b) k = 2, Λ is derived equivalent to a hereditary algebra of type A,D, or E; (c) k = 3, Λ is derived equivalent to a hereditary algebra of type A 1,A 2,A 3 or A 4 ; (d) k = 4 or 5, Λ is a hereditary algebra of type A 1,A 2 ; (e) k 6, Λ is the a hereditary algebra of type A 1. Proof. If Λ is derived equivalent to a hereditary algebra H, then [43, Theorem 2.1] shows that T k 1 (Λ) is derived equivalent to T k 1 (H). It is easy to see that the algebras T k 1 (H) appearing in (a-e) are either hereditary algebras or tilted algebras of Dynkin type. Then D b (modt k 1 (Λ)) has finitely many indecomposable objects up to the shift of complexes. From Gproj Z/kZ Λ k D b (modt k 1 (Λ))/Σ 2 D b (modt k 1 (H))/Σ 2, we get that Λ k is Z/kZ-graded CM-finite and then it is CM-finite in each (a-e) by Theorem 4.3. Conversely, since Λ k is CM-finite, Theorem 4.4 shows that Λ k is Z/kZ-graded CM-finite. Together with Gproj Z/kZ Λ k D b (modt k 1 (Λ))/Σ 2, we get that D b (modt k 1 (Λ)) has only finitely many indecomposable objects. Note that Λ is naturally a quotient algebra of T k 1 (Λ), and there is an embedding D b (modλ) D b (modt k 1 (Λ)). So D b (modλ) has only finitely many indecomposable objects, together with Lemma 4.8, Λ is derived equivalent to a hereditary algebra H of finite representation type. For k = 1, it is obvious that Λ 1 is always CM-finite. For k = 2, GprojΛ k D b (modh)/σ, so Λ k is CM-finite only if H is of Dynkin type A,D, or E. For k = 3, if H is of type A n for n 5, D or E, then T 2 (H) is a of infinite representation type algebra by [27, Section 5], which implies that D b (T 2 (H)) has infinitely many indecomposable objects up to the shifts of complexes. So Λ k is not CM-finite in this case. For k = 4 an 5, if the quiver of H contains a subquiver of type A 3, from Lemma 4.5 (b), it is easy to see that T k 1 (H) and also T k 1 (Λ) are of infinite representation type. For k 6, if the quiver of H contains a subquiver of type A 2, then T k 1 (H) and also T k 1 (Λ) are of infinite representation type by Lemma 4.5 (d). Corollary For any integer k > 0, Λ k = Λ R k is CM-finite if and only if Λ k is Z-graded CM-finite. Proof. Λ k is Z-gradedCM-finiteifandonly ifgproj Z (Λ k ) hasonly finitely manyindecomposable objects, if and only if so does D b (T k 1 (Λ)). By the proof of Theorem 4.9, we also get that

19 SINGULARITY CATEGORIES OF REPRESENTATIONS OF QUIVERS OVER LOCAL RINGS 19 D b (T k 1 (Λ)) has only finitely many indecomposable objects up to the shifts of complexes if and only if Λ k is CM-finite. 5. Examples In this section, we describe the Auslander-Reiten quiver of GprojΛ k for some Λ k of finite Cohen-Macaulay type, under the condition that Λ is an indecomposable hereditary algebra, i.e. Λ = KQ, where Q is a connected finite quiver. In this case, for the algebras Λ k appearing in Theorem 4.9, cases (a) and (e) are trivial. For case (b), the Auslander-Reiten quiver of GprojΛ 2 is described in [46]. For case (c) k = 3,4,5, when Λ is of type A 2, its Auslander-Reiten quiver is described in [45]. So we only need to describe the Auslander-Reiten quiver for k = 3, and Λ is of type A 3 and A Let Λ 3 = KQ/I with the bound quiver (Q,I) as Figure 4 shows, where I is generated by the relation ε 3 1 = ε3 2 = ε3 3 = 0, βε 2 = ε 3 β and αε 1 = ε 2 α. Then Λ 3 = Λ K K[X]/(X 3 ) with Λ hereditary of type A 3. ε 1 ε 2 ε 3 1 α 2 3 β Figure 4. Λ 3 with Λ hereditary of type A 3 The Auslander-Reiten quiver of Λ 3 is displayed in Figure 5. As vertices we have the graded dimensionvectors (arisingfromtheobviousz-coveringofλ 3 )oftheindecomposableλ 3 -modules. The modules on the leftmost column of the figure has to be identified with the corresponding module on the rightmost one. The projective Λ 3 -modules are marked with a solid frame Figure 5. Auslander-Reiten quiver for Λ 3 with Λ hereditary of type A 3

20 20 LU 5.2. Let Q be given by the quiver as Figure 6 shows. Let Λ 3 = KQ/I with I generated by the relation ε 3 1 = ε3 2 = ε3 3 = ε3 4 = 0, αε 1 = ε 2 α, βε 2 = ε 3 β and γε 3 = ε 4 γ. Then Λ 3 = Λ K K[X]/(X 3 ) with Λ hereditary of type A 4. The Auslander-Reiten quiver of Λ 3 is displayed in Figure 7. The modules on the leftmost column of the figure has to be identified with the corresponding module on the rightmost one. ε 1 ε 2 ε 3 ε 4 1 α β γ Figure 6. Λ 3 with Λ hereditary of type A 4

21 Figure 7. Auslander-Reiten quiver of Λ 3 with Λ hereditary of type A SINGULARITY CATEGORIES OF REPRESENTATIONS OF QUIVERS OVER LOCAL RINGS 21