arxiv: v2 [math.rt] 25 Aug 2015

Transcription

1 HIGHER APR TILTING PRESERVES n-representation INFINITENESS YUYA MIZUNO AND KOTA YAMAURA arxiv: v2 [math.rt] 25 Aug 205 Abstract. We show that m-apr tilting preserves n-representation infiniteness for m n. Moreover, we show that these tilting modules lift to tilting modules for the corresponding higher preprojective algebras, which is (n + )-CY algebras. We also study the interplay of the two kinds of tilting modules.. Introduction The notion of Calabi-Yau(CY) triangulated categories has been used in many branch of mathematics. In the representation theory of algebras, this already appeared in the work of Auslander on Cohen-Macaulay representations of Gorenstein orders [Au]. During the last few years, the cluster tilting theory in 2- CY categories has been rapidly developed, which provides a categorification of cluster algebras (see an expository paper [Ke3]). More generally, it has been recently recognized that n-cy categories have several nice properties together with many applications, for instance [IYo, Ke2, KR, KR2, IYa]. Therefore, from the viewpoint of homological algebras, it is quite natural to study Calabi-Yau algebras, which provide CY categories as (subcategories of) derived categories, and, indeed, their constructions have been extensively investigated, for example, by [AIR, BSW, Bro, Boc, G, TV, Vdb]. One of the aim of this paper is to give a new method to construct a family of CY algebras via tilting modules. For this purpose, we apply higher dimensional Auslander-Reiten theory, which was introduced in [I, I2, I3] and has been developed, for example, in [HI, HI2, IO, IO2, HIO]. Recently it has turned out that (n + )-CY algebras have a deep connection with the notion of n-representation infinite algebras and we have the following one-to-one correspondence (see Definition 2.6 and Theorem 2.7) { n-representation infinite algebras } (n + )-preprojective { } algebras bimodule (n+)-calabi-yau algebras of G. P. In this paper, through the connection, we study tilting modules for n-representation infinite algebras and, at the same time, for CY algebras. The key tool is the notion of m-apr tilting modules (Definition 2.), which is a generalization of classical reflection functors. In [IO, HIO], it is shown that n-apr tilting modules preserve n-representation finiteness (n-representation infiniteness) for n. Our first result is that, even for m with m n, m-apr tilting modules preserve n-representation infiniteness. By this fact, we obtain a large family of n-representation infinite algebras. Our second result is that these modules lift to tilting modules over the corresponding (n + )-preprojective algebras. Moreover, we show that the (n + )-preprojective algebra of an m-apr tilted algebra is isomorphic to the endomorphism algebra of the corresponding tilting module induced by the m-apr tilting module. { n-representation infinite algebras } higher APR tilting { (Theorem 3.) n-representation infinite algebras } (n + )-preprojective algebras (n + )-preprojective algebras { bimodule (n+)-calabi-yau algebras of G. P. } { bimodule (n+)-calabi-yau algebras of G. P. corresponding tilting (Theorem 3.5) } This also implies that we obtain a family of (n+)-cy algebras, which are derived equivalent to each other. As an application, we prove that n-representation tameness is also preserved under m-apr tilting (Corollary 3.).

2 2 MIZUNO AND YAMAURA Notations. Let K be an algebraically closed field. We denote by D := Hom K (,K) the K-dual. An algebra means a K-algebra which is indecomposable as a ring. For an algebra, we denote by Mod the category of right -modules and by mod the category of finitely generated -modules. If is Z-graded, we denote bymod Z the categoryofz-graded-modules and bymod Z the categoryoffinitely generated Z-graded -modules. Acknowledgements. The authors thank Osamu Iyama for his support and kind advice. They are grateful to Hiroyuki Minamoto for useful discussion. Part of this work was done while they visited Trondheim. They thank all the people at NTNU for their hospitality. The first author thanks the Institute Mittag- Leffler for the support and warm hospitality during the preparation of this paper. The first author is supported by JSPS Grant-in-Aid for Scientific Research and the second author is supported by JSPS Grant-in-Aid for Scientific Research Preliminaries In this section, we recall basic notions and notations appearing in this paper. 2.. n-representation infinite algebras. Let be a finite dimensional algebra of global dimension at most n. We let D b () := D b (mod) and denote the Nakayama functor by ν := L D DRHom (,) : D b () D b (). Then ν gives a Serre functor, i.e. there exists a functorial isomorphism Hom Db ()(X,Y) DHom Db ()(Y,νX) for any X,Y D b (). A quasi-inverse of ν is given by We let ν := RHom (D, ) L RHom (D,) : D b () D b (). ν n := ν [ n] and ν n := ν [n]. By uniqueness of the Serre functor, we have the following property. Lemma 2.. Let Γ be a finite dimensional algebra. If there is a triangle-equivalence F : D b () D b (Γ), then the following diagram commutes up to isomorphisms of functors. D b () ν n D b () F F D b (Γ) ν n D b (Γ). Next we define the n-auslander-reiten translations τ n = DExt n (,) : mod mod and τ n = Extn (D, ) Ext n (D,) : mod mod. These functors play an important role in higher dimensional Auslander-Reiten theory [I, I2, I3]. Note that, since gl.dim n, we have τ n = H 0 (ν n ) and τ n = H0 (ν n ). We consider the following full subcategories N := add{x mod ν i n (X) mod for any i 0}, N + := add{x mod νi n(x) mod for any i 0} of mod. We often use the fact that X N if and only if Hj (νn i (X)) = 0 for any j 0 and i 0. Now we recall the definition of n-representation infinite algebras as follows. Definition 2.2. [HIO] A finite dimensional algebra is called n-representation infinite if it satisfies gl.dim n and N +, which is equivalent to say that gl.dim n and D N. We remark that -representation infinite algebras are nothing but hereditary representation infinite algebras. Thus n-representation infinite algebras can be regarded as a generalization of them. Moreover, by the definition, we have the following property, which will be used later. Lemma 2.3. Let be an n-representation infinite algebra. Let X N and Y N +. Then there exist isomorphisms νn i (X) τn i (X) and νn(y) i τn(y) i for any i 0.

3 HIGHER APR TILTING PRESERVES n-representation INFINITENESS m-apr tilting modules. Let be an algebra. A -module T is called tilting if it satisfies the following conditions. (T) There exists an exact sequence 0 P m P P 0 T 0 where each P i is a finitely generated projective -module. (T2) Ext i (T,T) = 0 for any i > 0. (T3) There exists an exact sequence where each T i belongs to addt. 0 T 0 T T m 0 In this case, there exists a triangle-equivalence between D b () and D b (End (T)) [H, Ric]. The following tilting modules play a central role in this paper. Definition 2.. Let be a finite dimensional algebra of global dimension at most n. We assume that there is a simple projective -module S satisfying Ext i (D,S) = 0 for any 0 i < n. Take a direct sum decomposition = S Q as a -module. In [IO, Proposition 3.2] (and its proof), it was shown that there exists a minimal projective resolution 0 S a0 a P a n a n Pn τn (S) 0 of τ n (S) such that each P i belongs to addq. Let K m := Ima m for 0 m n. Note that K 0 = S and K n = τ n (S). Then it was shown that Q K m is a tilting module with projective dimension m. Following [IO], we call it the m-apr (=Auslander-Platzeck-Reiten) tilting module with respect to S. If is an n-representation infinite algebra with a simple projective module S, then the above condition Ext i (D,S) = 0 (0 i < n) is automatically satisfied. Thus any simple projective module gives an m-apr tilting module for n-representation infinite algebras (n + )-preprojective algebras. Next we recall the definition of (n + )-preprojective algebras and their properties. In the case of n =, the algebras coincide with the (classical) preprojective algebras [GP, BGL, Rin]. Definition 2.5. [IO2] Let be a finite dimensional algebra. The (n+)-preprojective algebra for is a tensor algebra := T (Ext n (D,)) of op K -module Ext n (D,). This algebra can be regarded as a positively graded algebra by i = Ext n (D,) i = i {}}{ Ext n (D,) Ext n (D,). We remark that the (n + )-preprojective algebra is the 0-th homology of Keller s derived (n + )- preprojective DG algebra [Ke2]. Moreover, we recall the following definition, which is a graded analog of Ginzburg s Calabi-Yau algebras [G]. Definition 2.6. Let A = i 0 A i be a positively graded algebra such that dim K A i < for any i 0. We denote by A e := A op K A. We call A bimodule n-calabi-yau of Gorenstein parameter if it satisfies the following conditions. () A K b (proj Z A e ). (2) RHom A e(a,a e )[n]( ) A in D(Mod Z A e ). Then n-representation infinite algebras and bimodule CY algebras have a close relationship as follows (see [HIO, Theorem.35]). Theorem 2.7. [AIR, Ke2, MM] There is a one-to-one correspondence between isomorphism classes of n-representation infinite algebras and isomorphism classes of graded bimodule (n + )-CY algebras A of Gorenstein parameter. The correspondence is given by and A A 0.

4 MIZUNO AND YAMAURA We remark that the geometric rolled-up helix algebra on a smooth projective Fano variety is given as the (n + )-preprojective algebra of an n-representation infinite algebra (see [BS, TV] and Example 3.3 (2)). The following result implies that bimodule n-cy algebras provide n-cy triangulated categories. Theorem 2.8. [Ke, Lemma.][G, Proposition 3.2.] Let A be a bimodule n-cy algebra. Then there exists a functorial isomorphism Hom D(ModA) (M,N) DHom D(ModA) (N,M[n]) for any N D(ModA) whose total homology is finite dimensional and any M D(ModA). 3. Main result Throughout this section, let be an n-representation infinite algebra. Assume that there exists a simple projective -module S and take a direct sum decomposition = S Q as a -module. As Definition 2., we have a minimal projective resolution 0 S a0 a P a n a n Pn τn (S) 0 (3.) of τ n (S) such that each P i belongs to addq. Let K i := Ima i and we fix m with 0 m n. Then we denote, respectively, the m-apr tilting -module and the endomorphism algebra by T := Q K m and Γ := End (T). (3.2) 3.. m-apr tilting modules preserve n-representation infiniteness. The aim of this subsection is to show the following result, which is a generalization of [HIO, Theorem 2.3]. Theorem 3.. Under the above setting, the algebra Γ is n-representation infinite. To prove the above theorem, we first give the following lemma. Lemma 3.2. Let 0 X Y Z 0 be an exact sequence in mod. If X,Y N and Ext (Z,τi n (D)) = 0 holds for any i, then we have Z N. Proof. We show that νn i (Z) mod for any i 0 by induction on i. We have nothing to show in the case i = 0. Let i. We assume that νn i+ (Z) mod and prove that H j (νn i (Z)) = 0 for j 0. The exact sequence gives rise to the triangle X Y Z X[] in D b (). By applying the functor νn i to this triangle, we have the triangle νn i (X) νn i (Y) νn i (Z) νn i (X[]) in D b (). Then, by taking the homology, we have the following long exact sequence H j (ν i n (Z)) H j (ν i n (X)) H j (ν i n (Y)) H j (ν i n (Z)) H j+ (ν i n (X)). By this exact sequence, we have H j (νn i (Z)) = 0 for j 0, because we have H j (νn i (X)) = 0 = H j (νn i (Y)) for any j 0. Moreover, using [ASS, Appendix. Proposition.], we have (D,)) (ν i+ H (νn i (Z)) Tor (τ i+ n (Z),Ext n DExt (τn i+ (Z),DExt n (D,)) DExt (τ i+ n (Z) τn i+ (Z)) n (Z),τ n (D)) (D(τn ) τ n(d)) DExt (Z,τi n (D)) = 0. (Lemma 2.3) Therefore, we have H j (ν i n (Z)) = 0 for j 0 and hence ν i n (Z) mod. Then we obtain the following consequence. Proposition 3.3. For any 0 l n, we have K l N. In particular, we have T N. Proof. We prove the assertion by induction on l. In the case l = 0, we have K 0 = S N since is n-representation infinite. Assume that K l N. Since is n-representation infinite, we have P l+ N. Moreover we have Ext (K l+,τn(d)) i Ext n l (τ n (S),τn(D)) i Ext n l (S,τi+ n (D)) = 0 (Lemma 2.3) for any i. Thus we can apply Lemma 3.2 to the exact sequence 0 K l P l+ K l+ 0 and hence we have K l+ N.

5 HIGHER APR TILTING PRESERVES n-representation INFINITENESS 5 Moreover we show the following lemma. Lemma 3.. We have Ext j (T,τ i n (T)) = 0 for any j > 0 and i 0. Proof. Since T is a tilting module, we have Ext j (T,T) = 0 for any j > 0. Assume that i. Then we have Thus we have the assertion. Ext j (T,τ i n (T)) = Ext j (K m,τ i n (T)) = Ext j+n m Now we are ready to prove Theorem 3.. (τ n (S),τ i n (T)) (τ n (S) = K n ) = Ext j+n m (S,τn i+ (T)) = 0. (S N, Lemma 2.3) Proof of Theorem 3.. First we show that gl.dimγ n. We have gl.dim n by definition. On the other hand, and Γ are derived equivalent. Therefore, we have gl.dimγ <. Then we have Moreover, we have for any l > n. Thus we have gl.dimγ n. Furthermore, for any i 0, we obtain gl.dimγ = max{l Ext l Γ(DΓ,Γ) 0} = max{l Hom Db (Γ)(ν(Γ),Γ[l]) 0} = max{l Hom D b ()(ν(t),t[l]) 0}. Hom D b ()(ν(t),t[l]) Hom D b ()(T,ν (T)[l]) Hom D b ()(T,ν n (T)[l n]) Ext l n (T,ν n (T)) = 0. (Lemma 3.) νn i (Γ) νn i Hom (T,T) νn i RHom (T,T) (Lemma 3.) RHom (T,νn i (T)) (Lemma 2.) Hom (T,τn i (T)). (Lemmas 2.3,3.,Proposition 3.3) Thus we have Γ N Γ. Consequently Γ is n-representation infinite m-apr tilting modules induce tilting modules over higher preprojective algebras. In this subsection, we show that m-apr tilting modules over n-representation infinite algebras lift to tilting modules over the corresponding (n + )-preprojective algebras. We also study a relationship of the endomorphism algebras of these two tilting modules. Let be an n-representation infinite algebra and we keep the notation given in the beginning of this section. Let := i 0 i and D( ) := D(Mod ). For a Z-graded -module X, we write X l the degree l-th part of X. For a Z-graded finitely generated -module X, the algebra End (X) can be regarded as a Z-graded algebra by End (X) i = Hom (X,X(i)) 0, where (i) is a graded shift functor and Hom (X,X) 0 := {f Hom (X,X) f(x i ) X i for any i}. Moreover, the algebra op K can be regarded as a Z-graded algebra by ( op K )i := op K ( ) i. Thus we regard as a Z-graded ( op K )-module and we have a functor ( ) := : mod mod Z. Note that we have { 0 (i < 0) X i = τn i (X) (i 0) for any X mod. Then the aim of this subsection is to prove the following result. Theorem 3.5. Under the above setting, the following assertions hold. () T is a tilting -module of projective dimension m.

6 6 MIZUNO AND YAMAURA (2) End ( T) is isomorphic to the (n+)-preprojective algebra Γ of Γ as Z-graded algebras. In particular, End ( T) is a graded bimodule (n+)-cy algebra of Gorenstein parameter. First we show Theorem 3.5 (). We need the following observation. Lemma 3.6. Let 0 X Y Z 0 be an exact sequence in mod such that X,Y,Z N. Then, we have an exact sequence 0 X Ŷ Ẑ 0 in mod Z. Proof. The exact sequence gives rise to a triangle X Y Z X[] in D b (). By applying νn i to this triangle, we have a triangle νn i (X) ν i n (Y) ν i n (Z) ν i n (X[]) in Db (). Then, by taking the homology, we have a long exact sequence H j (νn i (Z)) Hj (νn i (X)) Hj (νn i (Y)) Hj (νn i (Z)) Hj+ (ν i (X)). Because X,Y,Z N, we have an exact sequence 0 H 0 (νn i (X)) H0 (νn i (Y)) H0 (νn i (Z)) 0. Since H 0 (νn i ) τn i ( ), we have the exact sequence 0 τn i (X) τn i (Y) τn i (Z) 0. Because τn i (X) = X i, we obtain the exact sequence 0 X Ŷ Ẑ 0 in modz. Next we show that the exact sequence (3.) induces a projective resolution of a simple -module S, and K m is the (n m+)-th syzygy of S. This fact plays an important role in the proof of Theorem 3.5 (). Proposition 3.7. We regard S as a Z-graded simple -module concentrated in degree 0. Then there exists a projective resolution 0 Ŝ â0 P â â n â n Pn Ŝ() S() 0 (3.3) of S() in mod Z such that Pl add Q and Imâ l K l for any l n. Proof. By applying Proposition 3.3 and Lemma 3.6 to the exact sequence (3.), we have an exact sequence 0 Ŝ â0 P â â n â n Pn τ n (S) 0 in mod Z, where Imâi = K i. Moreover, there exists an exact sequence n 0 τ n (S) Ŝ() S() 0 in mod Z. By combining these exact sequences, we have the required resolution. We remark that the above resolution can be understood as a graded version of the resolution investigated in [IR, Section ]. Next we give a proof of Theorem 3.5 (). Proof of Theorem 3.5 (). We prove that T is a tilting -module. By Proposition 3.7, we have an exact sequence 0 Ŝ P P m K m 0 (3.) in mod. Therefore, T satisfies (T) and (T3). Next we prove that T satisfies (T2), that is, Ext i ( T, T) = 0 for any i. By Proposition 3.7, we have the following exact sequence 0 K m P m+ P n Ŝ S 0 in mod. Thus we have Ext i ( K m, T) Ext n+i m+ (S, T) for any i. Moreover, we have for any i. Ext n+i m+ (S, T) Hom D( ) (S, T[n+i m+]) DHom D( ) ( T[n+i m+],s[n+]) (Theorem 2.8) DHom D( ) ( T,S[m i])

7 HIGHER APR TILTING PRESERVES n-representation INFINITENESS 7 Since S is a simple projective -modules, we get Hom ( Q,S) Hom (Q,S) = 0. Then, using the sequence (3.), we have Hom D( ) ( T,S[m i]) = 0 because P l add Q for l m. Therefore we have Ext i ( K m, T) = 0 and hence Ext i ( T, T) = 0 for any i. Next we show the isomorphism of Z-graded algebras in Theorem 3.5 (2). For this purpose, we introduce the following terminology. Definition 3.8. Let X N. We consider an algebra whose multiplication is defined by Υ(X) := Υ (X) = i 0 Hom D b ()(X,ν i n (X)) Hom Db ()(X,νn i (X)) Hom D ()(X,ν j b n (X)) (g,f) ν j n (g) f Hom D ()(X,ν i j b n (X)). This algebra can be regarded as a Z-graded algebra by Υ(X) i = Hom Db ()(X,ν i n (X)). Then the following isomorphism holds (cf. [Am, Proposition.7][IO, Proposition 2.2]). Lemma 3.9. Let X N. Then there exists an isomorphism End ( X) Υ (X) of Z-graded algebras. Proof. First we claim that the map ρ : Hom ( X, X(i)) 0 f f X0 Hom (X,τ i n (X)) is an isomorphism of groups for any i 0. We prove ρ is monic. We take f Hom ( X, X(i)) 0 such that ρ(f) = 0. Then since X is generated by the 0-th part X 0, we have f( X) = f( X 0 ) = f( X 0 ) = 0. So we have f = 0. We prove ρ is epic. We take g Hom (X,τn i (X)). Let ι : τ n i (X) X(i) be a natural embedding of Z-graded -modules. We consider a composition ιg Hom ( X, X(i)) 0. Then we have ρ(ιg) = g. Thus the claim holds. By the above claim and X N, we have an isomorphism End ( X) = i 0 Hom ( X, X(i)) 0 i 0 Hom (X,τn i (X)) Hom D ()(X,ν b n i (X)) Υ (X) i 0 of Z-graded algebras. By Lemma 2., there exists an isomorphism ϕ ( ) : RHom (T,ν n ( )) ν n RHom (T, ) of functors. For i 0, we define a map ϕ (i) : Hom Db ()(T,νn i T) ν i n Hom D ()(T,T) by { b ϕ (i) (i = 0) = νn i+ (ϕ T ) νn i+2 (ϕ ν n T ) ν n (ϕ νn i+2 T ) ϕ νn i+ T (i ). Then one can check the following result. Lemma 3.0. The following assertions hold. () For i 0, we have an isomorphism of groups : Φ i = ϕ (i) Hom (T, ) : Hom Db ()(T,ν i n (T)) Hom Db (Γ)(Γ,ν i n (Γ)) (2) We have an isomorphism of Z-graded algebras : Φ = i Z Φ i : Υ (T) Υ Γ (Γ). Proof. The first assertion is obvious. Moreover, one can check that the following diagram commutes : Hom Db ()(T,ν i n (T)) Hom Db ()(T,ν j n (T)) mult. Hom Db ()(T,νn i j (T)) Φ i Φ j Hom D b (Γ)(Γ,ν i n (Γ)) Hom D b (Γ)(Γ,ν j n (Γ)) Thus, Φ is an isomorphism as Z-graded algebras. mult. Φ i+j Hom D b (Γ)(Γ,ν i j n (Γ)).

8 8 MIZUNO AND YAMAURA Now we are ready to finish the proof of Theorem 3.5. Proof of Theorem 3.5 (2). By Lemma 3.9 and 3.0, we have isomorphisms End ( T) Υ (T) Υ Γ (Γ) End Γ( Γ) = Γ. of Z-graded algebras. Then the second statement immediately follows from Theorem 3.. As a corollary of Theorem 3.5, we show that m-apr tilting modules preserve n-representation tameness. Recall that an n-representation infinite algebra is called n-representation tame if the center Z( ) of is noetherian and is finitely generated as a Z( )-module. In particular, -representation tame algebras are hereditary representation tame algebras and hence n-representation tame algebras can be regarded as a generalization of them. Corollary 3.. is an n-representation tame if and only if so is Γ. Proof. By Theorem 3.5 (2), and Γ are derived equivalent. Then the assertion follows from [Ric, Proposition 9.]. For the case of m = n, m-apr tilting modules have a particularly nice property as stated below. It can be regarded as a generalization of [BIRSc, Proposition II...], and will be proved by the same argument and Proposition 3.7. Proposition 3.2. Assume that T is an n-apr tilting -module. Then there exists an isomorphism Γ of algebras. Proof. By T = Q τn (S) and Proposition 3.7, we have an exact sequence 0 T f S 0 (3.5) in mod. First, by applying the functor Hom ( T, ) to the exact sequence (3.5), we have the following exact sequence 0 Hom ( T, T) Hom ( T,f) Hom ( T, ) Hom ( T,S). By Hom ( T,S) = 0, the map Hom ( T,f) is an isomorphism. Next, by applying the functor Hom (, ) to the exact sequence (3.5), we have the following exact sequence Hom (S, ) Hom (, ) Hom (f, ) Hom ( T, ) Ext (S, ). Then, by Theorem 2.8, we have Hom D( ) (S, [i]) DHom D( ) (,S[n i+]) = 0 for i = 0,. Thus the map Hom (f, ) is an isomorphism. Therefore we have an isomorphism of groups Hom ( T,f) Hom (f, ) : Hom (, ) Hom ( T, T). One can easily check that this gives an isomorphism of algebras. At the end of this paper, we give some examples of Theorem 3., 3.5 and Proposition 3.2 in the case of n 2. In this case, we can explicitly describe quivers of relations of the algebras as below. Example 3.3. () First we give an example for the classical case, namely the case of n = m =. Let Q be the following quiver. 3 2 We consider the path algebra := KQ of Q, which is -representation infinite (cf. [ASS, VII. Theorem 5.0]), and the -APR tilting -module T associated with vertex. Then Γ := End (T) is also a -representation infinite algebra, which is the path algebra of the quiver obtained from Q by reversing the arrows ending at the vertex [BGP, APR]. It is known that the 2-preprojetivealgebras and Γ are given by the double quiver of the quiver of and Γ with some relations respectively (see [Rin]). Moreover T induces a tilting -module T with Γ End ( T) by Theorem 3.5 and Proposition 3.2.

9 HIGHER APR TILTING PRESERVES n-representation INFINITENESS 9 These results imply the compatibility of the following diagram of quivers, where horizontal arrows indicate tilts of T and T, respectively, and vertical arrows indicate taking 2-preprojective algebras. 3 2 = = 3. 2 (2) Next we give an example for the case m = < 2 = n. We note that the structure of 3-CY algebras has been extensively studied (for example [AIR, Bro, Boc, G, TV]) and it is known that they have a close relationship with quivers with potentials (QPs) in the sense of [DWZ]. Let Q be a quiver y x y 3 x 3 x y 3 x 2 y 2 2, and W := x x 2 x 3 x y y 2 y 3 y + x y 2 x 3 y y x 2 y 3 x a potential on Q and C := {x,y } a cut (see [HI2] for the terminology). Then the truncated Jacobian algebra of (Q,W,C) is a 2- representation infinite algebra (see [AIR, section 6]), whose quiver is the left upper one in the picture below. We can consider the -APR tilting -module T associated with vertex. By Theorem 3., Γ := End (T) is also a 2-representation infinite algebra. Moreover T induces a tilting -module T with Γ End ( T). In this example, we can understand the change of quivers with relations of tilts and the 3- preprojective algebras. Indeed, it is known that the quiver with relations of Γ can be calculated by applying mutation of graded QPs [M]. On the other hand, the 3-preprojective algebra is given as the Jacobian algebra of (Q,W) (see [Ke2]), and End ( T) is given as the Jacobian algebra of the QP obtained by mutating (Q,W) [BIRSm, KY]. Therefore, we have the following diagram of quivers, where horizontal arrows indicate tilts of T and T, respectively, and vertical arrows indicate taking 3-preprojective algebras. 3 2 = = 3 2. Note that the algebra arises from as a rolled-up helix on a del Pezzo surface [BS] and, from a result of [TV], the QP is non-degenerate. Thus, we can apply mutation of QPs repeatedly and obtain a large family of these algebras.

10 0 MIZUNO AND YAMAURA (3) Finally we give an example for the case n = m = 2. Let Q be a quiver x y 2 r 2 y 3 x 3 r y r x 2 3 r 3 y 2 and W := (x x x 2 x 3 )r + (x y y 2 x 3 )r 2 + (y x x 2 y 3 )r 3 + (y y y 2 y 3 )r a potential on Q and C := {r,r 2,r 3,r } a cut. Then the truncated Jacobian algebra of (Q,W,C) is a 2-representation infinite algebra given in [HIO, Example 2.], whose quiver is the left upper one in the picture below. We can consider the 2-APR tilting -module T associated with vertex 2. By Theorem 3., Γ := End (T) is a 2-representation infinite algebra (this also follows from [HIO, Theorem 2.3]). Moreover T induces a tilting -module T with Γ End ( T). In this example, the quiver of Γ can be calculated by the same argument of [IO, Theorem 3.], and the 3-preprojective alegbra is given as the Jacobian algebra of (Q,W). Thus, we have the following diagram of quivers, where horizontal arrows indicate tilts of T and T, respectively, and vertical arrows indicate taking 3-preprojective algebras. x 3 2 = = 3 2 References [Am] C. Amiot, Cluster categories for algebras of global dimension 2 and quivers with potential, Ann. Inst. Fourier 59 (2009), no. 6, [AIR] C. Amiot, O. Iyama, I. Reiten, Stable categories of Cohen-Macaulay modules and cluster categories, arxiv:0.3658, to appear in Amer. J. Math. [ASS] I. Assem, D. Simson, A. Skowroński, Elements of the representation theory of associative algebras. Vol.. Techniques of representation theory, London Mathematical Society Student Texts, 65. Cambridge University Press, Cambridge, [Au] M. Auslander, Functors and morphisms determined by objects, Representation theory of algebras (Proc. Conf., Temple Univ., Philadelphia, Pa., 976), pp. 2. Lecture Notes in Pure Appl. Math., Vol. 37, Dekker, New York, 978. [APR] M. Auslander, M. I. Platzeck, I. Reiten, Coxeter functors without diagrams, Trans. Amer. Math. Soc. 250 (979), 6. [BGL] D. Baer, W. Geigle, H. Lenzing, The preprojective algebra of a tame hereditary Artin algebra, Comm. Algebra 5 (987), no. -2, [BGP] I. N. Bernstein, I. M. Gelfand, V. A. Ponomarev, Coxeter functors and Gabriel s theorem, Uspehi Mat. Nauk 28 (973), no. 2(70), [Boc] R. Bocklandt, Graded Calabi-Yau algebras of dimension 3, J. Pure Appl. Algebra 22 (2008), no., 32. [BSW] R. Bocklandt, T. Schedler, M. Wemyss, Superpotentials and Higher Order Derivations, J. Pure Appl. Algebra 2 (200), no. 9, [Bro] N. Broomhead, Dimer models and Calabi-Yau algebras, Mem. Amer. Math. Soc. 25 (202), no. 0, viii+86 pp. [BS] T. Bridgeland, D. Stern, Helices on del Pezzo surfaces and tilting Calabi-Yau algebras, Adv. Math. 22 (200), no., [BIRSc] A. B. Buan, O. Iyama, I. Reiten, J. Scott, Cluster structures for 2-Calabi-Yau categories and unipotent groups, Compos. Math. 5 (2009), [BIRSm] A. B. Buan, O. Iyama, I. Reiten, D. Smith, Mutation of cluster-tilting objects and potentials, Amer. J. Math. 33 (20), no., [DWZ] H. Derksen, J. Weyman, A. Zelevinsky, Quivers with potentials and their representations. I. Mutations, Selecta Math. (N.S.) (2008), no., [GP] I. M. Gelfand, V. A. Ponomarev, Model algebras and representations of graphs, (Russian) Funktsional. Anal. i Prilozhen. 3 (979), no. 3, 2.

11 HIGHER APR TILTING PRESERVES n-representation INFINITENESS [G] V. Ginzburg, Calabi-Yau algebras, arxiv:math/ [H] D. Happel, Triangulated categories in the representation theory of finite-dimensional algebras, London Mathematical Society Lecture Note Series, 9. Cambridge University Press, Cambridge, 988. [HI] M. Herschend, O. Iyama, n-representation-finite algebras and twisted fractionally Calabi-Yau algebras, Bull. Lond. Math. Soc. 3 (20), no. 3, [HI2] M. Herschend, O. Iyama, Selfinjective quivers with potential and 2-representation-finite algebras, Compos. Math. 7 (20), no. 6, [HIO] M. Herschend, O. Iyama, S. Oppermann, n-representation infinite algebras, Adv. Math. 252 (20), [I] O. Iyama, Higher-dimensional Auslander-Reiten theory on maximal orthogonal subcategories, Adv. Math. 20 (2007), no., [I2] O. Iyama, Auslander correspondence, Adv. Math. 20 (2007), no., [I3] O. Iyama, Cluster tilting for higher Auslander algebras, Adv. Math. 226 (20), no., 6. [IO] O. Iyama, S. Oppermann, n-representation-finite algebras and n-apr tilting, Trans. Amer. Math. Soc. 363 (20), no. 2, [IO2] O. Iyama, S. Oppermann, Stable categories of higher preprojective algebras, Adv. Math. 2 (203), [IR] O. Iyama, I. Reiten, Fomin-Zelevinsky mutation and tilting modules over Calabi-Yau algebras, Amer. J. Math. 30 (2008), no., [IYa] O. Iyama, D. Yang, Silting reduction and Calabi Yau reduction of triangulated categories, arxiv: [IYo] O. Iyama, Y. Yoshino, Mutation in triangulated categories and rigid Cohen-Macaulay modules, Invent. Math. 72 (2008), no., [Ke] B. Keller, Calabi-Yau triangulated categories, Trends in representation theory of algebras and related topics, 67 89, EMS Ser. Congr. Rep., Eur. Math. Soc., Zurich, [Ke2] B. Keller, Deformed Calabi-Yau completions. With an appendix by Michel Van den Bergh, J. Reine Angew. Math. 65 (20), [Ke3] B. Keller, Cluster algebras and derived categories, Proceedings of the GCOE conference, Derived categories 20 Tokyo. [KR] B. Keller, I. Reiten, Cluster tilted algebras are Gorenstein and stably Calabi-Yau, Adv. Math. 2 (2007), [KR2] B. Keller, I. Reiten, Acyclic Calabi-Yau categories are cluster categories, Compositio Mathematica, 2008, [KY] B. Keller, D. Yang, Derived equivalences from mutations of quivers with potential, Adv. Math. 226 (20), no. 3, [M] Y. Mizuno, APR tilting modules and graded quivers with potential, Int. Math. Res. Not. 20 (3): [MM] Y. Minamoto, I. Mori, Structures of AS-regular algebras, Adv. Math. 226 (20) [Ric] J. Rickard, Morita theory for derived categories, J. London Math. Soc. (2) 39 (989), no. 3, [Rin] C. M. Ringel, The preprojective algebra of a quiver. Algebras and modules, II, 67 80, CMS Conf. Proc., 2, Amer. Math. Soc., Providence, RI, 998. [TV] L. de Thanhoffer de Völcsey, M. Van den Bergh, Some new examples of non-degenerate quiver potentials, Int. Math. Res. Not. IMRN 203, no. 20, [Vdb] M. Van den Bergh, Calabi-Yau algebras and superpotentials, to appear in Selecta Mathematica. Y. Mizuno: Graduate School of Mathematics, Nagoya University, Chikusa-ku Nagoya Japan address: yuya.mizuno@math.nagoya-u.ac.jp K. Yamaura: Department of Research Interdisciplinary Graduate School of Medicine and Engineering, University of Yamanashi, --37 Takeda Kofu Yamanashi Japan address: kyamaura@yamanashi.ac.jp