arxiv:math/ v3 [math.rt] 16 May 2007

Transcription

1 Fomn-Zelevnsky mutaton and tltng modules over Calab-Yau algebras Osamu Iyama and Idun Reten arxv:math/ v3 [math.rt] 16 May 2007 Abstract. We say that an algebra Λ over a commutatve noetheran rng R s Calab-Yau of dmenson d (d-cy) f the shft functor [d] gves a Serre functor on the bounded derved category of the fnte length Λ-modules. We show that when R s d-dmensonal local Gorensten the d-cy algebras are exactly the symmetrc R-orders of global dmenson d. We gve a complete descrpton of all tltng modules of proectve dmenson at most one for 2-CY algebras, and show that they are n becton wth elements of affne Weyl groups, preservng varous natural partal orders. We show that there s a close connecton between tltng theory for 3-CY algebras and the Fomn-Zelevnsky mutaton of quvers (or matrces). We prove a conecture of Van den Bergh on derved equvalence of non-commutatve crepant resolutons. 0. Introducton 1. Cluster algebras and Calab-Yau condtons 2. Prelmnares on module-fnte algebras 3. Calab-Yau algebras and symmetrc orders 4. Constructon of tltng modules 5. Mutaton on tltng modules 6. 2-Calab-Yau algebras and affne Weyl groups 7. 3-Calab-Yau algebras and cluster algebras 8. Non-commutatve crepant resolutons 0. Introducton Let Λ be an algebra over a commutatve noetheran rng R, whch s fntely generated as an R-module. Sometmes we assume that R n addton satsfes one or more of the followng condtons: local, complete, Gorensten, normal. Ths paper deals manly wth algebras Λ whch are Calab-Yau of dmenson d, called d-cy algebras for short. Ths means that the shft functor [d] gves a Serre functor on the bounded derved category of the fnte length Λ-modules. The man aspects of d-cy algebras whch we nvestgate are the followng. We deduce nterestng propertes of d-cy algebras of a rng theoretc and module theoretc nature. In partcular, we show that when R s d-dmensonal local Gorensten, the d-cy algebras are exactly the symmetrc R-orders of global dmenson d. A central part of our nvestgatons deals wth tltng modules, manly those of proectve dmenson at most one. We gve a complete descrpton of all such tltng modules for 2-CY algebras, and show that they are n becton wth elements of affne Weyl groups, preservng varous natural partal orders. We also nvestgate tltng theory for 3-CY algebras, where we show that there s a close connecton wth the Fomn-Zelevnsky mutaton of quvers (or matrces), whch they ntroduced n connecton wth ther defnton of cluster algebras. Tltng theory for 3-CY algebras also turns out to have a close connecton wth the theory of non-commutatve crepant resolutons of Van den Bergh, and we prove some of our results n ths more general settng (actually for a generalzaton of the defnton 1

2 of Van den Bergh). In partcular, we prove a conecture of Van den Bergh on derved equvalence of non-commutatve crepant resolutons n 8.8. Man examples of d-cy algebras are skew group algebras S G, where S s the formal power seres rng n d varables over a feld K of characterstc zero and G s a fnte subgroup of SL d (K). For the 2-dmensonal case, these algebras have been a maor obect n several branches of mathematcs. The nvarant rng S G has only fntely many ndecomposable (maxmal) CM (=Cohen-Macaulay) modules, and S G s the endomorphsm rng of an addtve generator S of the category CMS G of (maxmal) CM S G -modules satsfyng gl.dm S G = 2 [He][A3]. Consequently, the Auslander-Reten quver of S G concdes wth the quver of S G, and also wth the McKay quver of G, and they are the double of an extended Dynkn dagram [A3]. Ths s closely related to the mnmal resoluton X of the quotent sngularty S G. A one-one correspondence between ndecomposable nonfree CM S G -modules and rreducble exceptonal curves of X was constructed n [AV]. More strongly, by the McKay correspondence [Mc] explaned geometrcally by Gonzalez- Sprnberg and Verder [GV], the McKay graph of G concdes wth the dual graph of rreducble exceptonal curves of X. Later, Kapranov and Vasserot [KV] reformulated McKay correspondence n terms of derved equvalences between S G and X. The tltng modules we construct for 2-CY algebras, and hence for the algebras S G n dmenson 2, gve autoequvalences of D b (mod(s G)), and correspond to twst functors on D b (Coh X) constructed by Sedel-Thomas [ST] under McKay correspondence. It s natural to ask about the geometrc meanng of the tltng modules for arbtrary d-cy algebras (ncludng S G) whch we construct n secton 4. Also the category CMS G for the case d > 2 s studed n [I3,4][IY]. Although our study of Calab-Yau algebras n ths paper s done from a purely algebrac vewpont, t s closely related to the study of the usual geometrc Calab-Yau varetes. By usng the method of Fourer-Muka transformatons, Brdgeland [Br1] proved a conecture of Bondal and Orlov [BO], whch states that any bratonal 3-dmensonal Calab-Yau varetes are derved equvalent. It was motvated by Brdgeland s proof and also by the 3-dmensonal McKay correspondence due to Brdgeland-Kng-Red [BKR] that Van den Bergh [Va1,2] ntroduced the concept of non-commutatve crepant resolutons (NCCR for short), and gave a new proof of Brdgeland s theorem. A typcal example of NCCR s gven agan by skew group rngs. It was n ths connecton that Van den Bergh proposed an analogue of a conecture of Bondal and Orlov,.e. all crepant resolutons (ncludng NCCR) of a normal Gorensten doman are derved equvalent, and proved ths conecture for 3-dmensonal termnal sngulartes. In secton 8, we prove the non-commutatve part of ths conecture for the 3-dmensonal case n a more general form,.e. all NCCR of a module-fnte algebra over a 3-dmensonal normal Gorensten doman are derved equvalent. Our method usng tltng modules s surprsngly smple. There are here also nterestng relatonshps wth the maxmal 1-orthogonal modules of [I3,4] and the maxmal rgd modules of [GLS]. In the phlosophy of non-commutatve algebrac geometry, we regard algebras wth fnte global dmenson as an algebrac/non-commutatve analogue of smooth varetes. Although there s a classcal Cohen s structure theorem for regular algebras n the commutatve stuaton, fnteness of global dmenson seems not to be suffcent n the non-commutatve stuaton. Known successful theory of algebras wth low global dmenson s obtaned by 2

3 Reten and Van den Bergh [RV1,2], Artn and Schelter [AS], and Rump [Rum1,2] by gvng addtonal assumptons, e.g. order, Auslander condton, and so on. We hope that our CY algebras wll provde a source of non-commutatve regular algebras. The theory of tltng modules orgnated n the representaton theory of fnte dmensonal algebras, where a substantal theory has been developed around ths concept. There have also been generalzatons to other classes of algebras, but not many concrete examples of tltng modules beyond the fnte dmensonal case. When T s an almost complete tltng Λ-module, then there are up to somorphsm at most two complements [RS]. For a fnte dmensonal algebra t s never the case that there are always two complements. However, ths holds for d-cy algebras for d = 2, 3, and consttutes an mportant part of our nvestgatons. In partcular, t s an essental property for tryng to model the Fomn- Zelevnsky mutaton of quvers of 3-CY algebras usng tltng Λ-modules. A smlar type of program was carred out for acyclc cluster algebras, leadng to the notons of cluster categores and cluster tlted algebras [BMRRT][BMR1] (see [CCS] for the A n case), along wth related work n [GLS]. Actually, possble connectons wth cluster algebras was one of the motvatons for nvestgatng tltng theory for 3-CY algebras. Another nterestng property of tltng theory for 3-CY algebras s that an equvalence of derved categores nduced by a sequence of equvalences determned by tltng modules s actually nduced by a tltng module. Ths s usually not the case for fnte dmensonal algebras. The tltng theory for 2-CY algebras s also qute nterestng from a very dfferent pont of vew. We gve a descrpton of the tltng modules (of proectve dmenson at most 1), whch all turn out to be deals. The 2-CY algebras have valued quvers whch are gven by generalzed extended Dynkn dagrams. We establsh a becton between the tltng modules and the elements of the assocated affne Weyl groups. There s n general a partal order on the tltng modules [RS], and n addton there s n ths case the reverse ncluson order of deals. Under our becton they correspond to the rght order and the Bruhat order on the affne Weyl group. We now descrbe the content of each secton. We start wth some background materal and motvaton n secton 1, wth partcular emphass on the mportance of 2-dmensonal and 3-dmensonal Calab-Yau propertes for modellng quver mutaton and other essental ngredents n the defnton of cluster algebras. In secton 2 we collect basc results on some central concepts from commutatve algebra, lke dmenson and depth, along wth propertes of reflexve and derved equvalences. We characterze the d-cy algebras as symmetrc orders of global dmenson d n secton 3, and nvestgate a related class whch we call d-cy algebras, whch concdes wth the class of symmetrc orders. In secton 4 we start wth the tltng Λ-module Λ = n =1 P, where the P are non-somorphc ndecomposable proectve Λ-modules. We descrbe the ndecomposable obects n the bounded derved category whch can replace P to gve a tltng complex, and n partcular a tltng module. Our emphass s on CY algebras. In secton 5 we gve some basc propertes of tltng theory for module-fnte algebras, most of whch are analogs of propertes of fnte dmensonal algebras, and gve stronger results for complements of almost complete tltng modules over CY algebras. In secton 6 we nvestgate the structure of tltng modules for 2-CY algebras and ther connecton wth affne Weyl groups. In secton 7 we specalze to 3-CY algebras, and nvestgate the connecton between Fomn-Zelevnsky mutaton and tltng theory. The connecton between tltng modules, reflexve modules and the 3

4 non-commutatve crepant resolutons of Van den Bergh s dscussed n secton 8. Parts of the results n ths paper have been presented at conferences n Beng, Banff, Tokushma, Hanamako, Treste, Hannover and Oberwolfach. There s related work on varous aspects on CY algebras by for example Berger-Tallefer [BT], Bocklandt [Boc], Braun [Bra], Brown-Gordon-Stroppel [BGS], Chuang-Rouquer [CRo], Gnzburg [G], Rckard, Van den Bergh [Va3]. Notaton For a noetheran rng Λ, we denote by J Λ the Jacobson radcal of Λ. By a module we mean a left module. We denote by Mod Λ the category of Λ-modules, by mod Λ the category of fntely generated Λ-modules, and by flλ the category of Λ-modules of fnte length. These categores are abelan. Moreover, we denote by Pr Λ the category of proectve Λ-modules, and by pr Λ the category of fntely generated proectve Λ-modules. For an addtve category C, we denote by J C the Jacobson radcal of C. For a commutatve noetheran rng R we denote by Spec R the set of prme deals of R, and by MaxR the set of maxmal deals of R. For p Spec R, we denote by R p the localzaton of R at p, and by R p the completon of R at p. For X ModR, we put X p := X R R p and X p := X R R p. We denote by Supp R X the support of X. When R s a local rng the maxmal deal p, we often wrte X := X p. We denote by ( ) the functor Hom R (, R) : mod R mod R. Acknowledgements In addton to the work of Iyama [I1,2] and Van den Bergh [Va1,2], some of ths work was nspred by the 2004 Ednburgh meetng on derved categores, quvers and strngs organzed by A. Kng and M. Douglas. The second author would lke to thank the partcpants of the conference, n partcular D. Berensten, T. Brdgeland, J. Chuang, B. Keller, A. Kng, J. Rckard, R. Rouquer and M. Van den Bergh for nterestng conversatons. A maor part of ths work was done whle the frst author vsted Trondhem n February 2005, wth mprovements durng hs vst n March He would lke to thank the people at NTNU for hosptalty and stmulatng dscussons. He also would lke to thank R.-O. Buchwetz, A. Ish, B. Keller, H. Krause, J. Myach, R. Takahash, J. Rckard, R. Rouquer, W. Rump, T, Sho, K. Yoshda and Y. Yoshno for valuable comments. 1. Cluster algebras and Calab-Yau condtons In ths secton we recall some basc facts on cluster algebras, and dscuss the relevance of Calab-Yau type condtons for beng able to model some of the concepts from the defnton of a cluster algebra n a categorcal/module theoretcal way. We recall the basc defntons from [FZ1] n a generalty sutable for our purpose. We gve the defntons n terms of quvers rather than matrces. Let Q be a fnte quver wth no loops. If Q has orented cycles of length two, we can assocate wth Q a quver Q obtaned by removng all pars. Let F = Q(x 1,, x n ) where Q denotes the ratonal numbers and x 1,, x n are ndetermnates, and let Q be a fnte quver wth n vertces and no orented cycles of length at most two. The par (x, Q) where x = {x 1,, x n } s called a seed. Let b denote the number of arrows from to n Q, nterpreted as mnus the number of arrows from to n Q f b < 0. For each k = 1,, n, the mutated quver Q = µ k (Q) s defned as follows, where now b denotes the number of arrows from to 4

5 n Q : b k = b k and b k = b k. If b k, b k > 0 (resp. b k, b k < 0), then b = b + b k b k (resp. b = b b k b k ). b = b otherwse. There s also defned a mutaton µ k (x, Q) = (x, Q ) of seeds, where x = {x 1,, x k,, x n} and x k x k = b k >0 x b k + b k <0 x b k Startng wth a seed (x, Q) and applyng sequences of mutatons n all drectons, we obtan a collecton of seeds. The clusters are by defnton the n element subsets x, x,, and the cluster varables are the unon of the elements n the clusters. The assocated cluster algebra s the subrng of F generated by the cluster varables. Mutaton of quvers s defned wthout reference to any clusters or cluster varables. It s an nterestng problem to dentfy classes of quvers where we can lft mutaton of quvers to mutaton of algebras assocated wth the quvers. Secondly, we would want a more global model, by fndng some category C wth a specal type of obects beng the anolog of clusters, and where the ndecomposable summands are the anolog of cluster varables. The relevant obects T n C should have a drect sum decomposton T = n =1 T nto n non-somorphc ndecomposable summands, where n s the number of vertces n the quver. For each k = 1,, n there should be a unque ndecomposable obect Ťk T k such that T = T/T k Ťk s an obect of the relevant type. Also there should be some nce way of connectng T k and Ťk, and the endomorphsm algebras End C (T) and End C (T ) should be related va mutaton of algebras. Inspred by the connecton wth quver representatons gven n [MRZ], such a program was carred out for acyclc cluster algebras n [BMRRT], [BMR1,2]. A cluster algebra s sad to be acyclc f the quver n some seed has no orented cycles. Here the global approach was done frst, and the crucal category was the cluster category C Q assocated wth a fnte quver Q wthout orented cycles, va the path algebra KQ for a feld K. The central obects T n C Q, called (cluster-)tltng obects, are nduced by tltng modules over fnte dmensonal heredtary algebras n the derved equvalence class of KQ. The assocated endomorphsm algebras End CQ (T) are called cluster-tlted algebras [BMR1], and t was shown later that the passage from End CQ (T) to End CQ (T ) provdes a lftng of the correspondng quver mutaton [BMR2]. In addton to provdng nterestng connectons wth cluster algebras, ncludng a framework for obtanng results on cluster algebras, the class of cluster-tlted algebras s also nterestng n tself. The cluster category C Q assocated to H = KQ s by defnton the factor category C Q = D b (H)/τ 1 [1], where D b (H) denotes the bounded derved category of the category of fntely generated H-modules, τ the AR- translaton on D b (H) and [1] the shft functor. The category C Q s known to be trangulated [K3] and t has Serre functor [2], snce τ C = [1] s an AR translaton on C Q. Hence t s Calab-Yau of dmenson 2, that s, there s for M and N n C Q a functoral somorphsm D(Hom(M, N)) Hom(N, M[2]), where D s the ordnary dualty. That the (cluster-)tltng theory n C Q works very ncely, ncludng unque exchange of an ndecomposable summand of a tltng obect n C Q to get another one gvng rse to a new tltng obect, s ntmately related to the 2-CY property. Actually t s a consequence of the 2-CY property [IY] (see also [I5]). 5

6 In order to prove lftng of the quver mutaton to the class of cluster-tlted algebras, an essental ngredent was provng reducton to three smple modules [BMR2]. To be able to lft quver mutaton n ths case has to do wth establshng a close relatonshp between arrows and relaton spaces, n other words, between Ext 1 - and Ext 2 -groups (see [Bon2]. Here a 3-CY type property of such cluster-tlted algebras would be useful, snce ths would mply D Ext 2 (S, S ) Ext 1 (S, S) for smple modules S and S. Actually, t has been shown n [KR] that the cluster-tlted algebra Γ = End CQ (T) s Gorensten of dmenson at most 1, wth the stable category CMΓ of CM modules beng 3-CY. There s a more general result startng wth C beng 2-CY [KR]. So we see that havng 2-CY and 3-CY type propertes around s useful for modellng some central ngredents of cluster algebra theory. The quvers we deal wth n ths paper are comng from algebras satsfyng some 3-CY condtons. They are certan algebras Λ whch are fntely generated as modules over a commutatve noetheran rng of Krull dmenson 3, such that the bounded derved category D b (fl Λ) s 3-CY. In ths settng we are able to lft mutatons of quvers to such 3-CY algebras. Also, under some addtonal assumptons, the relevant category C s mod Λ, or rather the subcategory ref Λ of reflexve Λ-modules wth the relevant obects beng the tltng Λ-modules of proectve dmenson at most one. In ths case there s some trace of a 2-CY property assocated wth the proectve resoluton of smple modules. So n ths case we have the opposte of the case of the categores assocated wth acyclc cluster algebras; that we have 3-CY and a trace of 2-CY. When we have the 3-CY algebra S G where S = K[[x, y, z]] wth the feld K of characterstc zero and G s a fnte subgroup of SL 3 (K) actng freely, there s here a close relatonshp to the stable category CMR of (maxmal) CM modules for R = K[[x, y, z]] G. The category CMR s 2-CY, as follows from work of Auslander [A2;III]. For f R s a commutatve complete local Gorensten solated sngularty of dmenson d, then the AR-translaton τ s Ω 2 d, whch s [d 2] n CMR, and hence CMR s (d 1)-CY. More generally, the stable category of lattces over symmetrc orders have the same property (see [A2] for defntons and results). Other classes of cluster algebras are nvestgated from the modellng pont of vew n [GLS]. Here they deal wth the case wth coeffcents. But at the same tme they obtan results on the no coeffcents case, whch s here natural to compare wth, from the pont of vew of CY-condtons. Let Λ be the preproectve algebra of a Dynkn dagram and modλ the stable category of the fntely generated Λ-modules. Here the AR-translaton τ s Ω 1 (see [AR2;3.1,1.2][K3;8.5]), so that modλ s 2-CY. When Λ s of fnte representaton type, modλ s equvalent to a cluster category [BMRRT]. The specal obects n modλ are, lke n the cluster category, obects C maxmal wth the property Ext 1 modλ(c, C) = 0. Then C can be lfted to Λ C n mod Λ, whch has a smlar property. In ths case one also has the algebras Γ = End Λ (Λ C), n addton to the factor algebras End(C). They have global dmenson 3, and have some trace of beng 3-CY, as shown n [GLS]; see also [KR]. There are also other smlartes between our work and that of [GLS], wth respect to the role of tltng modules. 2. Prelmnares on module-fnte algebras The man focus n ths paper s on d-cy algebras and related algebras, especally for 6

7 d = 2, 3. In ths secton we gve some useful background materal on the module theory for module-fnte R-algebras, for a noetheran commutatve rng R. Frst we dscuss dmenson, depth, global dmenson and ther relatonshps. Second, assumng that R s n addton a normal doman, we dscuss reflexve modules and reflexve equvalence of algebras, n partcular that beng a symmetrc algebra s preserved under reflexve equvalence. Fnally, we gve some results on derved categores needed n secton 3. Let Λ be a module-fnte R-algebra and M mod Λ. Put dm R M := dm(r/ ann R M) where ann R M s an annhlator of the R-module M. Snce the value of dm R M s ndependent of the choce of central subrng R of Λ, we denote t by dmm. Now assume that R s local. Put depth R M := nf{ 0 Ext R (R/J R, M) 0}. Then depth R M concdes wth the maxmal length of M-regular sequences [Ma;16.7]. By a result of Goto-Nshda [GN2;3.2], we have an equalty depth R M = nf{ 0 Ext Λ(Λ/J Λ, M) 0}. In partcular, the value of depth R M s ndependent of the choce of central subrng R of Λ. Thus we denote t by depth M. The followng results wll be qute useful. Proposton 2.1 [GN2;3.5] For any M modλ, we have depth M dm M d Λ M = sup{ Z Ext Λ(Λ/J Λ, M) 0}. In partcular, we have depth Λ dm Λ gl.dm Λ. Proposton 2.2 For Λ as above, we have gl.dm Λ = sup{pd Λ M M fl Λ}. Proof We put n := pd Λ (Λ/J Λ ), and can clearly assume that n <. We wll show that pd Λ M n holds for any M mod Λ by usng nducton on dmm. If dm M = 0, then M flλ holds, so we have pd Λ M n. Now assume that pd Λ M n holds for any M mod Λ wth dm M < m, where m > 0. Take any M mod Λ wth dm M = m. There s then an exact sequence 0 L M N 0 wth L fl Λ and depth N 1. Snce we have pd Λ L n by assumpton, we only have to show pd Λ N n. Take an N-regular element r R and consder the exact sequence 0 N r N N/rN 0. Snce dm(n/rn) < m holds, we have pd Λ (N/rN) n by the nducton assumpton. Applyng Nakayama s lemma to the exact sequence Ext n Λ (N, ) r Ext n Λ (N, ) 0, we have pd Λ N < n. We see that pd Λ M n. We call M mod Λ a Cohen-Macaulay (CM for short) Λ-module of dmenson n f depth M = dm M = n. We smply call a CM Λ-module of dmenson d(= dm R) a (maxmal) CM Λ-module. We denote by CM Λ the category of CM Λ-modules. We call Λ an R-order, or ust an order f Λ CM Λ. If R has a canoncal module ω R (e.g. R s Gorensten and ω R = R), then depth M = d sup{ 0 Ext R (M, ω R) 0} and dm M = d nf{ 0 Ext R (M, ω R) 0} [BH;3.5.11]. Thus M s CM of dmenson n f and only f Ext d R (M, ω R) = 0 for any n. 7

8 As 2.1 suggests, orders wth gl.dm Λ = d are very specal. For example, we have the followng Auslander-Buchsbaum type equalty. Proposton 2.3 Let Λ be an order wth gl.dm Λ = d. For any M modλ, we have pd Λ M + depth M = d. Proof Put n := pd Λ M and t := depth M. We have a proectve resoluton 0 f n f 1 f 0 P n P0 M 0. Put M := Im f for 0 n, then we have an exact sequence 0 M +1 P M 0 wth P CM Λ. Applyng Hom Λ (Λ/J Λ, ), we have depth M depth M Thus we have t = depth M 0 depth M n n = d n. On the other hand, take an M-regular sequence (x 1,, x t ). Put N := M/(x 1,, x )M x +1 for 0 t, then we have an exact sequence 0 N N N Applyng Hom Λ (Λ/J Λ, ), we have an exact sequence Ext Λ(Λ/J Λ, N ) x +1 Ext Λ(Λ/J Λ, N ) Ext +1 Λ (Λ/J Λ, N +1 ) Ext +1 Λ (Λ/J Λ, N +1 ) for any. Usng Nakayama s Lemma, we have pd Λ N +1 = pd Λ N + 1. Consequently, we have n = pd Λ N 0 = pd Λ N t t d t. Let R be an arbtrary commutatve noetheran rng. We call M modλ a CM Λ- module f M p CM Λ p for any p Spec R, and we denote by CM Λ the category of CM Λ-modules. We call Λ an R-order, or ust an order f Λ CM Λ. We call Λ a symmetrc R-algebra f Hom R (Λ, R) s somorphc to Λ as a (Λ, Λ)-module. Now assume that R s a normal doman. We want to nvestgate reflexve equvalence, especally n connecton wth symmetrc algebras. Recall that ( ) s the functor Hom R (, R) : mod R mod R. We call M mod Λ a reflexve Λ-module f the natural map M M (not Hom Λ op(hom Λ (M, Λ), Λ)!) s an somorphsm. It s well known that M mod Λ s reflexve f and only f M satsfes Serre s S 2 condton depth R p M p mn{2, ht p} for any p Spec R [EG;0.B,3.6]. We denote by ref Λ the category of reflexve Λ-modules. Usng the S 2 condton, one can easly check that ref Λ s closed under kernels and extensons. We have a functor ( ) = Hom R (Hom R (, R), R) : mod Λ ref Λ (e.g. 2.4(1) below). Ths gves a left adont of the ncluson functor ref Λ modλ. We say that two R-algebras Λ and Γ are reflexve equvalent f the addtve categores ref Λ and ref Γ are equvalent. We call M ref Λ a heght one generator (resp. progenerator, proectve) f M p s a generator (resp. a progenerator, proectve) over Λ p for any heght one prme deal p of R. The proposton below shows that many algebras whch are not Morta equvalent may be reflexve equvalent. Part (2) s used n [RV1]. Proposton 2.4 (1) Hom Λ (X, Y ) ref R for any X modλ and Y ref Λ. (2) Let Λ and Γ be R-algebras whch are reflexve R-modules. () For any heght one progenerator M ref Λ, we have an equvalence F := Hom Λ (M, ) : ref Λ ref End Λ (M). () Let F : ref Λ ref Γ be a categorcal equvalence. Then there exsts a heght one progenerator M ref Λ such that Γ End Λ (M) and F Hom Λ (M, ). (3) If Λ s a symmetrc R-algebra, then so s End Λ (M) for any heght one proectve M ref Λ. Thus symmetrc algebras are closed under reflexve equvalences. Proof (1) Take an exact sequence Λ n Λ m X 0 n mod Λ. Applyng Hom Λ (, Y ), we obtan an exact sequence 0 Hom Λ (X, Y ) Y m Y n. Snce ref R s closed under kernels, we have Hom Λ (X, Y ) ref R. 8

9 (2)() Let Γ := End Λ (M) and consder the functor G := Hom Γ (F(Λ), ) : ref Γ ref Λ. We have homomorphsms f : (F(Λ) Λ M) = (Hom Λ (M, Λ) Λ M) End Λ (M) = Γ = Γ and g : (M Γ F(Λ)) = (M Γ Hom Λ (M, Λ)) Λ = Λ. Snce M s a heght one progenerator, f p and g p are somorphsms for any heght one prme deal p of R. Snce f and g are homomorphsms between reflexve R-modules, they are somorphsms. Usng adontness propertes, we obtan F G = Hom Λ (M,Hom Γ (F(Λ), )) = Hom Γ (F(Λ) Λ M, ) = Hom Γ ((F(Λ) Λ M), ) = 1 G F = Hom Γ (F(Λ),Hom Λ (M, )) = Hom Λ (M Γ F(Λ), ) = Hom Λ ((M Γ F(Λ)), ) = 1. Hence F : ref Λ ref Γ s an equvalence. () Left to the reader. (3) See [I4;5.4.3(1)], for example. For completeness, we gve a proof here. By the same argument as n the proof of (2), we have an somorphsm f : (Hom Λ (M, Λ) Λ M) Γ. Thus we have somorphsms Γ f (Hom Λ (M,Λ) Λ M) (Hom Λ (M,Λ ) Λ M) (M Λ M) Hom Λ (M,M ) Γ of (Γ, Γ)-modules. We want to recall some results on derved categores whch wll be useful n the next secton. We start wth basc notaton and defntons. For the rest of the secton R s a commutatve noetheran rng and Λ s a module-fnte R-algebra. For an addtve category A, we denote by C(A) the category of complexes over A, by K(A) the homotopy category of A, and by D(A) the derved category of A provded A s abelan [Hap][Har1]. For = +, or b, we denote by C (A) (resp. K (A), D (A)) the full subcategory of C(A) (resp. K(A), D(A)) consstng of bounded below, bounded above or bounded complexes respectvely. Moreover, for a full subcategory B of A, we denote by CB ( A) (resp. KB ( A), DB ( A)) the full subcategory of C (A) (resp. K (A), D (A)) consstng of all obects X such that the -th homology H (X) belongs to B for any. We have natural equvalences K (PrΛ) D (ModΛ), K (pr Λ) D (modλ) and D b (modλ) Dmod b Λ (Mod Λ). The next two results were ponted out to us by Rckard [R2]. Lemma 2.5 For any X Cfl b Λ (mod Λ), there exsts a quas-somorphsm X Y wth Y C b (flλ). Thus we have equvalences D b (fl Λ) Dfl b Λ (modλ) Dfl b Λ (ModΛ). Proof It follows from [Ve;III.2] that we only have to check the condton: (E 2 ) op Let X mod Λ and Y flλ a submodule of X. Then there exsts a submodule Z of X such that Y Z = 0 and X/Z fl Λ. To see ths, let I be an arbtrary deal of R. Snce R s noetheran, there exsts c > 0 such that I n X Y = I n c (I c X Y ) holds for any n > c by the Artn-Rees Lemma [Ma;8.5]. Applyng ths to I := ann R Y, we have I c+1 X Y = I(I c X Y ) = 0. Snce R/I s an artn rng, Z := I c+1 X satsfes the desred condtons. In 3.1 we shall use the results below due to Rckard [R2]. We consder a descendng chan I 1 I 2 of deals of Λ such that Λ () := Λ/I fl R for any 0. Put Λ := lm 0 Λ (). Denote as usual by L (resp. RHom) the left (resp. rght) derved functor of (resp. Hom). 9

10 Proposton 2.6 Wth the above notaton, put P () := Λ () L Λ P and P := Λ L Λ P for P K b (pr Λ). (1) lm 0 Hom D(Mod Λ) (X, P () ) = Hom D(Mod Λ) (X, P) for any X D (mod Λ). (2) If I = J Λ, then lm 0 Hom D(Mod Λ) (P (), X) = Hom D(Mod Λ) (P, X) for any X D b (fl Λ). Proof Let P be a bounded complex P 1 P 0 P 1 n pr Λ. Then P () s gven by the bounded complex (P 1 ) () (P 0 ) () (P 1 ) () n prλ (). (1) We can assume that X s gven by the bounded above complex Q 1 Q 0 Q 1 n pr Λ. Snce lm Hom Λ (Q s, (P t ) () ) = Hom Λ (Q s, P t ) holds, we have an somorphsm of complexes lm s+t= 1 s+t= 1 Hom Λ (Q s,(p t ) () ) lm s+t=0 Hom Λ (Q s,(p t ) () ) lm s+t=1 Hom Λ (Q s,(p t ) () ) Hom Λ (Q s, P t ) Hom Λ (Q s, P t ) Hom Λ (Q s, P t ). s+t=0 s+t=1 Snce each nverse system ( s+t=n Hom Λ (Q s, (P t ) () )) conssts of fnte length R-modules, t satsfes the Mttag-Leffler condton (e.g. [Har2;II.9]). Thus the 0-th homology of the upper sequence n the dagram above s somorphc to lm Hom D(Mod Λ) (X, P () ), and we obtan the desred somorphsm. (2) We wll show that the natural map lm Hom D(Mod Λ) (P (), X) Hom D(Mod Λ) (P, X) s bectve. Fx any f Hom D(Mod Λ) (P, X). By 2.5, we can wrte f = gs 1 for g Hom K b(mod Λ)(P, X ) and a quas-somorphsm s Hom K b(fl Λ)(X, X ). It follows from X K b (flλ) that g factors through some P (), and hence f also factors through P (). Thus the above map s surectve. We now show nectvty. Let p : P P () be the natural map. Assume that f Hom D(Mod Λ) (P (), X) satsfes pf = 0. Agan we wrte f = gs 1 for g Hom K b(mod Λ)(P (), X ) and a quas-somorphsm s Hom K b(fl Λ)(X, X ). Snce pg s null-homotopc, we can take a homotopy a : P X [ 1]. It follows from X K b (flλ) that a factors through P () for some suffcently large. Then the composton of P () P () and g s null-homotopc. The concept of derved equvalence s central for our work. Recall that T K b (prλ) s a tltng complex f Hom D(Mod Λ) (T, T[]) = 0 for any 0 and T generates K b (prλ). If a Λ-module T s a tltng complex, t s called a tltng module. We wll mostly deal wth tltng modules T of proectve dmenson at most one. They satsfy the condtons () Ext 1 Λ (T, T) = 0 and () there exsts an exact sequence 0 Λ T 0 T 1 0 wth T add T. Rckard proved n [R1] that the followng condtons (1) (4) are equvalent. (1) (resp. (2), (3)) K b (prλ) and K b (prγ) (resp. D b (mod Λ) and D b (mod Γ), K (PrΛ) and K (Pr Γ)) are trangle equvalent. (4) There exsts a tltng complex T K b (pr Λ) such that Γ End D(Mod Λ) (T). If these condtons are satsfed, we call Λ and Γ derved equvalent. We call T n (4) above a two-sded tltng complex f T D b (modλ Z Γ op ). We have the followng relatonshp wth localzatons. 10

11 Lemma 2.7 Let T K b (prλ) be a tltng complex wth Γ := End D(Mod Λ) (T). For any p Spec R, we have a tltng complex T p K b (prλ p ) wth End D(Mod Λ p)(t p ) = Γ p. Recall that a Λ-module T s sad to be a partal tltng module f pd Λ T 1 and Ext 1 Λ (T, T) = 0. The followng proposton s a generalzaton of Bongartz s result [Bon1] for fnte dmensonal algebras. We sometmes call X a Bongartz complement of T. Lemma 2.8 For any partal tltng Λ-module T, there exsts X mod Λ such that T X s a tltng Λ-module. Moreover, f R s normal and T Λ ref Λ, then X ref Λ. Proof Let P f Ext 1 Λ(T, Λ) 0 be exact, wth P proectve n mod End Λ (T). We can wrte P = Hom Λ (T, T ) for T addt. It follows from Yoneda s lemma on addt that f s gven by σ Ext 1 Λ (T, Λ). Take an exact sequence 0 Λ X T 0 correspondng to σ. Then Hom Λ (T, T ) f=( σ) Ext 1 Λ (T, Λ) 0 s exact and pd Λ(T X) 1 holds. Applyng Hom Λ (T, ), we see that Ext 1 Λ(T, X) = 0. Applyng Hom Λ (, T X), we get Ext 1 Λ (T X, T X) = 0. Thus T X s a tltng Λ-module. If R s normal, then ref Λ s closed under extensons. Thus the second asserton follows. The followng easy lemma s useful (e.g. [HU2;1.2], [Ye2;2.3]). Lemma 2.9 Let T be a tltng Λ-module wth a mnmal proectve resoluton 0 P 1 P 0 T 0. Then add(p 0 P 1 ) = addλ and add P 0 addp 1 = 0. In partcular, f Λ s Morta equvalent to a local rng, then T s proectve. We wll use the followng canoncal somorphsms (e.g. [F;pp.153]), where we denote by Flat Γ the category of flat Γ-modules. Lemma 2.10(1) RHom Λ (Y L Γ X, Z) RHom Γ (X,RHom Λ (Y, Z)) for any X D (Mod Γ), Y D (ModΛ R Γ op ) and Z D + (ModΛ). (2) RHom Λ (X, Y ) L Γ Z RHom Λ (X, Y L Γ Z) for any X D (mod Λ), Y D b (Mod Λ R Γ op ) and Z D b (Mod Γ), provded X K b (prλ) or Z K b (FlatΓ). 3. Calab-Yau algebras and symmetrc orders Throughout ths secton, let R be a commutatve noetheran rng wth dmr = d and Λ a module-fnte R-algebra. We denote by E(X) the nectve hull of X modr and put E := p Max R E(R/p). Then E s an nectve R-module, and we have a dualty D := Hom R (,E) : fl R fl R (resp. flλ flλ op, D b (fl R) D b (fl R), D b (fl Λ) D b (fl Λ op )) called Matls dualty, such that D D s somorphc to the dentty functor [BH;3.1.3,3.2.13]. For example, f R s a polynomal or power seres rng over a feld K, then D s somorphc to Hom K (, K). Obvously, X ModΛ belongs to fl Λ f and only f t belongs to flr as an R-module. For X, Y D b (mod Λ), Hom D(Mod Λ) (X, Y ) belongs to fl R f X or Y s n D b (fl Λ). For an nteger n, we call Λ n-calab-yau (n-cy for short) f there exsts a functoral somorphsm Hom D(Mod Λ) (X, Y [n]) D Hom D(Mod Λ) (Y, X) ( ) for any X, Y D b (flλ). Smlarly, we call Λ n-calab-yau (n-cy for short) f there exsts a functoral somorphsm ( ) for any X D b (fl Λ) and Y K b (prλ). 11

12 In ths secton we frst gve some basc results for n-cy and n-cy algebras n 3.1. The man result s a characterzaton of these algebras n terms of symmetrc orders n 3.2. Obvously, n-cy (resp. n-cy ) algebras are closed under Morta equvalences. A fnte product Λ of algebras s n-cy (resp. n-cy ) f and only f so s each Λ. Part (1) and (7) n the followng theorem are due to Rckard [R2]. Theorem 3.1 (1) n-cy (resp. n-cy ) algebras are closed under derved equvalences. (2) Λ s n-cy f and only f so s Λ op (cf. 3.4(1)). (3)(localzaton) Λ s n-cy (resp. n-cy ) f and only f so s Λ p for any p Max R Supp R Λ. (4)(completon) If R s local, then Λ s n-cy f and only f so s Λ (cf. 3.4(2)). (5) Any n-cy algebra Λ satsfes gl.dm Λ = n. (6) Any n-cy algebra Λ satsfes depth R p Λ p = dm Λ = d Λ Λ = n for any p MaxR Supp R Λ. (7) Λ s n-cy f and only f t s n-cy and gl.dm Λ <. (8) If Λ s n-cy, then there exsts a functoral somorphsm Hom D(Mod Λ) (X, Y [n]) D Hom D(Mod Λ) (Y, X) for any X D b (fl Λ) and Y D b (modλ). Proof (1) By [Re;6.3], K b (pr Λ) conssts of the compact obects X of K (Pr Λ),.e. the functor Hom D(Mod Λ) (X, ) on K (PrΛ) commutes wth arbtrary drect sums. On the other hand, D b (fl Λ) conssts of all obects X K (PrΛ) such that Z Hom D(Mod Λ) (Y, X[]) has fnte length for any Y K b (pr Λ) (see 2.5). Thus any trangle equvalence K (Pr Λ) K (Pr Γ) nduces trangle equvalences K b (pr Λ) K b (prγ) and D b (fl Λ) D b (fl Γ). Thus the n-cy and n-cy propertes are preserved by derved equvalence. (2) Immedate from Matls dualty. (3)(4) Put S := R p for (3) and S := R for (4). Then S s a flat R-module. We have a functor ( R S) : D b (ModΛ) D b (Mod Λ R S) wth somorphsms RHom Λ R S(X R S,Y R S) RHom Λ (X,Y R S) RHom Λ (X,Y ) R S for any X, Y D b (modλ) by Applyng H 0, we have a functoral somorphsm Hom D(Mod Λ R S)(X R S,Y R S) Hom D(Mod Λ) (X,Y ) R S. If one of X, Y D b (mod Λ) s contaned n D b (fl Λ), we have functoral somorphsms Hom D(Mod Λ) (X,Y ) p Hom D(Mod Λ) (X,Y ) p p Hom D(Mod Λ p)(x p,y p ) for (3), Hom D(Mod Λ) (X,Y ) Hom D(Mod Λ) (X,Y ) Hom D(Mod Λ) ( X, Ŷ ) for (4), where the drect sum s fnte. Thus the f part follows. The only f part also follows snce the nduced functors D b (fl Λ) D b (flλ R S) and K b (prλ) K b (prλ p ) are dense. (5) We can assume that R s complete local by (3) and (4). For any X, Y fl Λ, we have Ext Λ(X,Y ) D Ext n Λ (Y,X) = { 0 ( > n), D Hom Λ (Y,X) ( = n). Consderng a mnmal proectve resoluton P 1 P 0 X 0 of X fl Λ, we have Hom Λ (P, Λ/J Λ ) = Ext Λ(X, Λ/J Λ ) = 0 for > n. Thus we see that P n+1 = 0 and pd Λ X n. Puttng Y := X, we see that pd Λ X = n. By 2.2, we have gl.dm Λ = n. 12

13 (6) We can assume that R s local by (3). For any X fl Λ, we have { Ext 0 ( n), Λ (X,Λ) D Extn Λ (Λ,X) = DX ( = n). Ths mples depth Λ = dm Λ = d Λ Λ = n by 2.1. (7) The f part holds snce gl.dm Λ < mples D b (fl Λ) D b (modλ) = K b (prλ). We now show the only f part. We can assume that R s local by (3). Then Λ () := Λ/J Λ satsfes Λ = lm 0Λ (). Take X D b (flλ) and Y K b (prλ). Then we have Y () D b (fl Λ). Snce Λ s n-cy, we have a functoral somorphsm D Hom D(Mod Λ) (Y (), X) Hom D(Mod Λ) (X, Y () [n]). Takng lm on both sdes and applyng 2.6, we obtan functoral somorphsms D Hom D(Mod Λ) (Y,X) Hom D(Mod Λ) (X, Ŷ [n]) = Hom D(Mod Λ)(X,Y [n]) = Hom D(Mod Λ) (X,Y [n]). (8) Λ s n-cy and D b (mod Λ) = K b (pr Λ) by (7). Thus the asserton follows. We now state our man theorems n ths secton, whch gve a characterzaton of n-cy and n-cy algebras. Theorem 3.2 Let R be a local Gorensten rng wth dm R = d and Λ a module-fnte R-algebra. Assume that the structure morphsm R Λ s nectve. (1) If Λ s n-cy or n-cy for some nteger n, then n = d. (2) Λ s d-cy f and only f Λ s a symmetrc R-order (n the sense of secton 2). (3) Λ s d-cy f and only f Λ s a symmetrc R-order wth gl.dm Λ = d. Theorem 3.3 Let R be a Gorensten rng wth dm R = d, Λ a module-fnte R-algebra and n an nteger. (1) The condtons () () are equvalent. () Λ s n-cy. ht p n () Λ p s a CM R p -module of dmenson n and Ext (Λ Rp p, R p ) Λ p as (Λ p, Λ p )- modules for any p MaxR Supp R Λ. () Λ p s a CM R ht p n p -module of dmenson n and Ext ( Λ p, R p ) Λ p as ( Λ p, Λ p )- modules for any p MaxR Supp R Λ. (2) The condtons () () are equvalent. () Λ s n-cy. () (1)() and gl.dm Λ p = n for any p MaxR Supp R Λ. () (1)() and gl.dm Λ p = n for any p MaxR Supp R Λ. We note that a d-cy algebra Λ over a non-local Gorensten rng R s not necessarly a symmetrc R-algebra even f the structure morphsm R Λ s nectve. 1 Before provng our man theorems, we state some easy consequences. 1 The followng example was ponted to us by J. Myach: Let R be a noetheran rng wth a non-trval Pcard group and I a non-free nvertble deal. Then Λ := R I s not a symmetrc R-algebra even though Λ p s a symmetrc R p -algebra for any p MaxR. If n addton R s Gorensten and htp = d for any p MaxR, then Λ s d-cy by 3.2. Rp 13

14 Corollary 3.4 Let R be a Gorensten rng wth dm R = d, Λ a module-fnte R-algebra and n an nteger. (1) Λ s n-cy f and only f so s Λ op (cf. 3.1(2)). (2) If R s local, then Λ s n-cy f and only f so s Λ (cf. 3.1(4)). (3) If Λ s n-cy (resp. n-cy ), then Λ p and Λ p are m-cy (resp. m-cy ) for any p Supp R Λ and m := dm R p Λ p. (4) If R s a normal doman and Λ s d-cy (d 1), then Λ s a reflexve R-module and a maxmal R-order. (5) If R s local and Λ s d-cy, then the followng assertons hold for any. () There exsts a functoral somorphsm Ext Λ(, Λ) Ext R(, R) on mod Λ. () depth M = d sup{ 0 Ext Λ(M, Λ) 0} and dm M = d nf{ 0 Ext Λ (M, Λ) 0} for any M mod Λ. () Ext d Λ (, Λ) gves a dualty between CM Λ-modules of dmenson and CM Λ op -modules of dmenson. (6) If R s local, then symmetrc R-orders (resp. symmetrc R-orders of global dmenson d) are closed under derved equvalences. Proof (1) follows from the left-rght symmetry of the condton 3.3(1)(), and (2) follows from the equvalence of 3.3(1)() and (). (3) By 3.1(7), we only have to show the asserton for CY. For any p Supp R Λ, take q Max R wth p q. Snce Ext Rq (Λ ht q n q, R q ) = 0 ( ht q n) and ExtRq (Λ q, R q ) Λ q as (Λ q, Λ q )-modules by 3.3(1), we have that Ext Rp (Λ p, R p ) = 0 ( ht q n) and ht q n Ext (Λ Rp p, R p ) Λ p as (Λ p, Λ p )-modules. Thus Λ p and Λ p are m-cy by 3.3(1). (4) Snce Λ s a Cohen-Macaulay R-module, t s reflexve. By (3), Λ p s 1-CY for any p Spec R wth ht p = 1. Thus Λ p s a maxmal R p -order (see 3.13). These condtons mply that Λ s a maxmal order by a result of Auslander-Goldman [Re;11.4,11.5]. (5) Λ Λ as (Λ, Λ)-modules by 3.2. Let P 0 M 0 be a proectve resoluton of a Λ-module M. Snce Λ CM R by 3.2, we have Ext R (P, R) = 0 for any > 0. Applyng Hom Λ (, Λ) Hom Λ (, Λ ) Hom R (, R), we see that Ext Λ(M, Λ) = Ext R(M, R). The other assertons follow mmedately. (6) Snce module-fnte R-algebras are closed under derved equvalences [R1], the asserton follows by 3.1(1) and 3.2. For provng our man result n ths secton, t wll be useful to nvestgate Nakayama functors n the context of derved categores. Now let R be a local Gorensten rng wth dm R = d and Λ a module-fnte R-algebra. Recall that R s a dualzng complex of R,.e. ( ) := RHom R (, R) : D(modR) D(modR) gves a dualty such that ( ) s somorphc to the dentty functor [Har1;V2.1]. Obvously ( ) nduces a dualty ( ) : D ± (mod Λ) D (modλ op ). Defne the Nakayama functor n the derved category by the composton ν : D (modλ) RHom Λ(,Λ) D + (mod Λ op ) ( ) D (modλ). 14

15 Proposton 3.5 (1) Wth the above notaton, we have the followng somorphsms of functors, ( ) RHom Λ (, Λ ) : D(modΛ) D(mod Λ op ) and ( ) RHom Λ op(, Λ ) : D(modΛ op ) D(modΛ). Thus Λ D b (modλ R Λ op ) s a dualzng complex of Λ n the sense of Yekutel [Ye1]. (2) There exsts an somorphsm ν Λ L Λ ( ) of functors on D (mod Λ). (3) There exsts a functoral somorphsm RHom Λ (X, ν(y )) RHom Λ (Y, X) for any X D b (modλ) and Y K b (prλ). Proof (1) RHom Λ (, Λ ) 2.10(1) (Λ L Λ ) ( ). (2) ν = RHom Λ (, Λ) RHom Λ (, Λ ) 2.10(1) (Λ L Λ ) Λ L Λ. (3) RHom Λ (X, ν(y )) = RHom Λ (X,RHom Λ (Y, Λ) ) 2.10(1) (RHom Λ (Y, Λ) L Λ X) 2.10(2) RHom Λ (Y, X). We need the followng specal case of the local dualty theorem [F][Har1]. Lemma 3.6 We have an somorphsm ( ) [ d] D of functors on D b (fl R). Proof We gve a proof for completeness. Fx X D b (flr). Consder the followng morphsm n D b (ModR) I I 0 I 1 I d 1 I d 0 a I d [ d] I d 0, where I s a mnmal nectve resoluton of the R-module R. Then I d = E. Take a a trangle E[ d] I I E[1 d]. Snce Hom R (X, I ) = 0 for any X fl R and for any wth 0 < d, we have RHom R (X, I ) = 0 for any X D b (fl R). Thus we have an somorphsm (DX)[ d] = RHom R (X, E[ d]) RHom R (X, I) = X. We have the followng Serre dualty theorem for arbtrary module-fnte R-algebras. Theorem 3.7 For any module-fnte R-algebra Λ, we have a functoral somorphsm for any X D b (fl Λ) and Y K b (pr Λ), Hom D(Mod Λ) (X, ν(y )[d]) D Hom D(Mod Λ) (Y, X) Proof Hom D(Mod Λ) (X, ν(y )[d]) = H d (RHom Λ (X, ν(y ))) 3.5(3) H d (RHom Λ (Y, X) ) 3.6 H 0 (D RHom Λ (Y, X)) = DH 0 (RHom Λ (Y, X)) = D Hom D(Mod Λ) (Y, X). We now obtan the followng crucal result to prove our man theorems 3.2 and 3.3. Theorem 3.8 Let R be a local Gorensten rng wth dm R = d, Λ a module-fnte R-algebra and n an nteger. Then the followng condtons are equvalent. (1) Λ s n-cy. (2) There exst somorphsms Ext n Λ(, Λ) D and Ext Λ(, Λ) = 0 ( n) of functors on fl Λ whch commute wth the rght acton of Λ. (3) Λ Λ[n d] n D b (modλ R Λ op ). 15

16 (4) There exsts an somorphsm ν [n d] of functors on K b (prλ). (5) Λ s a CM R-module of dmenson n, and Ext d n R (Λ, R) Λ as (Λ, Λ)-modules. (î) The condton () replacng (R, Λ) by ( R, Λ) (1 5). Proof (3) (4) (resp. ( 3) ( 4)) follows by 3.5(2). (4) (1) (resp. ( 4) ( 1)) follows by 3.7. (1) (2) (resp. ( 1) ( 2)) and (2) ( 2) are obvous. ( 2) ( 3) We put (R, Λ) := ( R, Λ) for smplcty. It follows from 2.1 that Λ s a CM R- module of dmenson n. Take a Λ-regular sequence a 1,, a n R, and put I := n =1 Ra and I := I Λ. Then Λ/I fl Λ and Λ = lm 0 Λ/I. Snce Λ L R R/I = Λ/I = R/I L R Λ holds, we have Λ L Λ Λ/I = Λ L R R/I = R/I L R Λ L = Λ/I Λ Λ. We have somorphsms Λ L Λ ( ) 3.5(2) ν = ( ) RHom Λ (, Λ) ( 2) ( ) [ n] D 3.6 [n d] of functors on flλ. Thus we have somorphsms Λ[n d] 2.6(1) = lm 0 Λ/I [n d] lm 0 Λ L Λ Λ/I lm 0 Λ/I L Λ Λ 2.6(1) = Λ. These somorphsms commute wth the rght multplcaton of Λ. Thus ( 3) holds. (4) (5) (resp. ( 4) ( 5)) We have H (Λ ) = Ext R (Λ, R). Thus H (Λ ) = 0 holds for any d n f and only f Λ s a CM R-module of dmenson n. In ths case, Λ Λ as (Λ, Λ)-modules f and only f Ext d n R (Λ, R) Λ as (Λ, Λ)-modules. (5) ( 5) Λ s a CM R-module of dmenson n f and only f Λ s a CM R-module of dmenson n. Snce (Λ R Λ op ) = Λ Λ R op holds, t follows from 3.9 below that Λ Hom R (Λ, R) as (Λ R Λ op )-modules f and only f Λ Hom R( Λ, R) as ( Λ Λ R op )- modules. Now one can easly check that all condtons are equvalent. Lemma 3.9 Let R be a local rng, Λ a module-fnte R-algebra and M, N modλ. If M N as Λ-modules, then M N as Λ-modules. Proof We modfy the proof of [CRe;30.17] where the case dmr = 1 s treated. Let f Hom Λ( M, N) be an somorphsm wth g := f 1. Snce Hom Λ( M, N) = Hom Λ (M, N), we can take f Hom Λ (M, N) and g Hom Λ (N, M) wth f f p Hom Λ (M, N) and g g p Hom Λ (N, M). Then g f 1 N = g f gf (p End Λ( N)) End Λ (N) = p End Λ (N). Thus we have N = g f (N) + pn. Usng Nakayama s lemma, we have g f Aut Λ (N). Smlarly, f g Aut Λ (M) holds, so f s an somorphsm. Usng 3.8 together wth 3.1(7), we have now completed the proof of 3.2 and 3.3. In the rest of ths secton, we gve some examples of n-cy algebras. Let us start wth consderng commutatve CY and CY algebras. Proposton 3.10 Let R be a commutatve noetheran rng and n an nteger. (1) R s n-cy f and only f R s Gorensten and dm R p = n for any p Max R. (2) R s n-cy f and only f R s regular and dm R p = n for any p MaxR. Proof The only f part follows from 3.1(3)(5) and (6). The f part follows from 3.1(3) and 3.2. Next we consder 0-CY algebras. 16

17 Proposton 3.11 A fnte dmensonal algebra over a feld s 0-CY f and only f t s a semsmple algebra. Proof Snce any 0-CY algebra has global dmenson zero, t s semsmple. Conversely, t s well-known that any semsmple algebra over a feld s symmetrc [CRe;9.8]. Now we consder 1-CY algebras over a complete dscrete valuaton rng R wth quotent feld K. Recall that an R-order Λ s called heredtary f gl.dm Λ = 1. Let us recall brefly the structure theory of maxmal and heredtary orders [Re][CRe]. For a rng and n > 0, we put Tn( ) := {(x ) 1, n Mn( ) x J f > }. The followng results are well-known. Proposton 3.12 (1) Any fnte dmensonal dvson K-algebra D contans a unque maxmal R-order D [Re;12.8]. (2) An R-order s maxmal f and only f t s Morta equvalent to D1 Dk for some fnte dmensonal dvson K-algebras D [Re;17,3]. (3) An R-order s heredtary f and only f t s Morta equvalent to Tn 1 ( D1 ) Tn k ( Dk ) for some fnte dmensonal dvson K-algebras D and n > 0 [Re;39.14]. We have the followng relatonshp between 1-CY algebras and maxmal orders. Proposton 3.13 Let R be a complete dscrete valuaton rng and Λ a module-fnte R-algebra. If Λ s 1-CY, then t s a maxmal R-order. Proof By 3.2, Λ s a symmetrc R-order wth gl.dm Λ = 1. Thus Λ s Morta equvalent to Tn 1 ( D1 ) Tn k ( Dk ) by 3.12(3). One can check that f Tn( ) s a symmetrc R-algebra, then n = 1 (e.g. [Hae;6.3]). Thus Λ s maxmal by 3.12(2). We note that a maxmal order s not necessarly symmetrc. Let D be a central dvson K-algebra wth dm K D = n 2. If the resdue feld of R s fnte, then Hom R ( D, R) s somorphc to J 1 n D as a ( D, D )-module [Re;14.9]. If n > 1, then J 1 n D s never somorphc to D by [Re;37.27]. We thank Wolfgang Rump for kndly explanng these results to us. We now gve other examples of d-cy algebras, where d 2. Let K be a feld of characterstc zero and G a fnte subgroup of SL d (K) actng on K d naturally. The acton of G naturally extends to S := K[[x 1,, x d ]]. We denote by S G the nvarant subrng, and by S G the skew group rng,.e. a free S-module wth a bass G, where the multplcaton s gven by (s 1 g 1 ) (s 2 g 2 ) = (s 1 g 1 (s 2 ))(g 1 g 2 ) for s S and g G. We have the followng result (c.f. [CRo]). Theorem 3.14 S G s d-cy and a symmetrc S G -order wth gl.dm S G = d. Proof Any fnte subgroup G of SL d (K) s small n the sense that any g G wth g 1 satsfes rank(g 1) > 1. Ths mples End S G(S) = S G by a result of Auslander. See [A3][Yo] for d = 2, and a smlar argument works for arbtrary d. Snce S G s a free S-module, S G s an S G -order. Snce S G = End S G(S) holds, S G s a symmetrc S G -order by 2.4(3). Moreover, Ext S G (X, Y ) = Ext S (X, Y )G holds for any X, Y mod S G and Z [A3][Yo]. Thus we obtan gl.dm S G = d by gl.dm S = d and 2.1 (see also [RR]). 17

18 For a fnte subgroup G of SL d (K), we can draw the quver of the algebra S G as the McKay quver of G [Mc] by usng rreducble representatons of G and tensor products (see [A3][Yo][I4]). Now we gve some examples. If G = dag(ζ, ζ,, ζ) SL d (K) wth ζ d = 1, then S G s the completon of the path algebra of the followng quver wth commutatve relatons x x = x x for any and. d x d... x2 x 1 x d x 2 x 1 d 1 xd x 2 x 1 d xd x 2 x x 1 x 2... xd 1 x 1 x 2 x d 2 x 1 x 2 x d 3 If d = 3 n the example above, then S G has the left quver below. If G = dag(ζ, ζ 2, ζ 2 ) SL 5 (K) wth ζ 5 = 1, then S G has the rght quver below. 1 x 1 x 2 x d 4. Constructon of tltng modules Let R be a complete local rng and Λ a rng-ndecomposable module-fnte R-algebra. A central theme n ths paper s the study of tltng modules for d-cy algebras for d = 2, 3, especally the tltng modules of proectve dmenson at most one. In partcular, we are nterested n the number of complements of almost complete tltng modules. A basc partal tltng Λ-module T s sad to be an almost complete tltng module f T has (n 1) non-somorphc ndecomposable drect summands, where n s the number of nonsomorphc smple Λ-modules. In ths case, X s called a complement of T f T X s a basc tltng Λ-module. For fnte dmensonal algebras t s known that there are at most two (and at least one) complements, n the case of proectve dmenson at most one, and t s never the case that all almost complete tltng modules have two complements. In the context of module-fnte R-algebras Λ, we see n secton 5 that the result on at most two complements stll holds, but now there are algebras Λ where all almost complete tltng modules have two complements, as we shall show n secton 5 for 2-CY and 3-CY algebras. In ths secton we treat the specal case of almost complete tltng modules whch are proectve. We show that for d-cy algebras wth no loops n the quver there are exactly two complements to tltng modules of proectve dmenson at most one, and gve an explct descrpton of the non-proectve one. Even though t wll not be used later n ths paper, we descrbe more generally all complements whch gve tltng complexes, n partcular those whch are tltng modules of proectve dmenson greater than one. In the frst part of ths secton we work n the general context of module-fnte R-algebras, and gve here necessary (and suffcent) condtons on what the complements are. Then we use ths to obtan a nce descrpton for d-cy algebras. Fx an ndecomposable obect P prλ, and let Q be a drect sum of all ndecomposable proectve Λ-modules whch are not somorphc to P. We want to fnd condtons for 18