arxiv:math/ v2 [math.rt] 28 Nov 2006

Transcription

1 GENERALIZED SERRE DUALITY XIAO-WU CHEN arxiv:math/ v2 [math.rt] 28 Nov 2006 Department of Mathematics University of Science and Technology of China Hefei , P. R. China Abstract. We introduce the generalized Serre functor S on a skeletally-small Hom-finite Krull-Schmidt triangulated category C. We prove that its domain C r and range C l are thick triangulated subcategories. Moreover, the subcategory C r (resp. C l ) is the smallest additive subcategory containing all the objects in C which appears as the third term (resp. the first term) of some Aulsander-Reiten triangle in C, and the functor S is a triangle equivalence between C r and C l. We also compute explicitly the generalized Serre structures on the bounded derived categories of finite-dimensional algebras and certain noncommutative projective schemes. As a byproduct, a characterization of Gorenstein algebras is given: a finite-dimensional algebra A is Gorenstein if and only if the bounded homotopy category K b (A-proj) of finitely-generated projective A-modules has Serre duality. 1. Introduction Let K beafield, C a Hom-finite category over K. For any two objects X,Y in C, we write (X,Y) for Hom C (X,Y), and (X, ) for the functor Hom C (X, ) from C to the category of finite-dimensional K-spaces. Denote by D the duality functor on finitedimensional K-spaces. Thus by D(X,Y) (resp. D(X, )) we mean DHom C (X,Y) (resp. the functor DHom C (X, )). Define two full categories by C r = {X C D(X, ) is representable} and C l = {X C D(,X) is representable}. Then there is a unique functor (up to isomorphisms) S : C r C l such that there is a bi-natural isomorphism φ X,Y : D(X,Y) (Y,S(X)) for each X C r and Y C. In fact, S is an equivalence of categories, see Appendix, A.1. We call the functor S the generalized Serre functor on C, and we refer to C r as its domain and C l as its range. Combining Proposition 2.5, 2.7, 2.8 and A.1 together, we have the following main result. Theorem. Let C be a skeletally-small Hom-finite Krull-Schmidt triangulated category with its shift functor [1]. Denote by S : C r C l its generalized Serre functor. Then both C r and C l are thick triangulated categories. Moreover we have (1). There is a natural isomorphism η X : S(X[1]) S(X)[1] for each X C r such that the pair (S,η) is a triangle equivalence between C r and C l. (2). An indecomposable object X in C belongs to C l (resp. C r ) if and only if there Partly supported by the National Natural Science Foundation of China (Grant No and ). xwchen@mail.ustc.edu.cn. 1

2 2 X. W. CHEN is an Auslander-Reiten triangle in C containing X as the first term (resp. the third term). Let us remark that the statement (1) is a generalization of a result due to Bondal- Kapranov [BK, Proposition 3.3] and Van den Bergh [Bo, Theorem A.4.4], while the statement (2) is also a slight generalization of a result due to Reiten-Van den Bergh [RV, Proposition I.2.3]. The note is organized as follows: in section 2, we divide the proof of Theorem into proving several propositions; section 3 is devoted to computing some generalized Serre structures explicitly, see Theorem 3.5 and Theorem As a byproduct, we obtain a seemingly new characterization of Gorenstein algebras: a finite-dimensional algebra A is Gorenstein if and only if the bounded homotopy category K b (A-proj) of finitely-generated projective A-modules has Serre duality. See Corollary 3.9. We include an appendix on some notation in the theory of generalized Serre duality. For triangulated categories, we refer to [H1], [Har] and [Ne]. For the notion of Auslander-Reiten triangles, we refer to [H1, Chap. I] and [H2]. Acknowledgement: I would like to thank Prof. Pu Zhang for his interest and guidance in this paper. I am very grateful to Prof. Michel Van den Bergh for pointing outtheorem3.10tome. AlsoIwouldliketothankProf. BinZhuforsomecomments. 2. Proof of Theorem In this section, we divide the proof into proving several propositions Let C be a skeletally-small additive category. Denote by (C op,ab) the category of additive contravariant functors form C to the category of abelian groups. Recall the functor p : C (C op,ab) defined by p(c) = (,C), where (,C) denotes the representable functor Hom C (,C). Thus Yoneda s Lemma implies that p is fullyfaithful. Recall that a functor F (C op,ab) is said to be coherent provided that there exists an exact sequence of functors (,C 0 ) (,C 1 ) F 0, where C 0,C 1 C. Denote by Ĉ the subcategory of (Cop,Ab) consisting of coherent functors on C. Recall that a pseudokernel of a morphism f : C 0 C 1 in C is morphism k : K C 0 such that f k = 0 and each morphism k : K C 0 with f k = 0 factors through k, in other words, the morphism k makes the sequence (,K) (,k) (,C 0 ) (,f) (,C 1 ) exact. We say that C has pseudokernels provided that each morphism has a pseudokernel. Dually, one defines pseudocokernels. For any functors F and G, write Ext i (F,G) for the i-th extension group taken in (C op,ab) (note that the category (C op,ab) has enough projectives). Let us recall a basic result on coherent functors ([Au1], [Au2]). Lemma 2.1. Let C be a skeletally-small additive category. Then Ĉ is closed under cokernels and extensions in (C op,ab). In particular, Ĉ is closed under taking direct summands. Moreover, Ĉ is an abelian subcategory if and only if C has pseudokernels. In this case, Ext i (F,G) = Ext i C b(f,g), for i 0 and F,G coherent. Note that the last statement follows from the fact that the functor F has the same projective resolution both in (C op,ab) and Ĉ.

3 GENERALIZED SERRE DUALITY 3 Lemma 2.2. Let C be a triangulated category. Then C has pseudokernels and pseudocokernels. Proof. Given a morphism v : Y Z in C, we take a distinguished triangle X u Y v Z w X[1]. Since for any C C, the functors (C, ) and (,C) are cohomological (see [Har, p.23]), thus one easily checks that u and w are a pseudokernel and a pseudocokernel of v, respectively. From now on, C will be a skeletally-small triangulated category. We will introduce a two-sided resolution for any coherent functor on C. Given F Ĉ, we have a presentation Take a distinguished triangle X u Y sequence of functors (,Y) (,v) (,Z) F 0. v Z w X[1]. So we have a long exact (,Z[ 1]) (,w[ 1]) (,X) (,u) (,Y) (,v) (,Z) (,w) (,X[1]) and Note that F Coker(,v). Hence we have the following two exact sequences (,Z[ 1]) (,w[ 1]) (,X) (,u) (,Y) (,v) (,Z) F 0, 0 F (,X[1]) (,u[1]) (,Y[1]) (,v[1]) (,Z[1]) (,w[1]) (,X[2]) Denote by Coho(C) the full subcategory of (C op,ab) consisting of cohomological functors. The next lemma is well-known (cf. [Ne, p.258]). Lemma 2.3. Let H (C op,ab). Then we have H Coho(C) if and only if Ext i (F,H) = 0 for all i 1 and F Ĉ. Proof. Assume that F Ĉ. Note that we just obtained a projective resolution for F. Take the resolution to compute Ext i (F,H). Use the Yoneda s Lemma ((,C),H) H(C). We obtain that Ext i (F,H) is just the i-th cohomology group of the following complex 0 H(Z) H(Y) H(X) H(Z[ 1]) Now if H is cohomological, the above complex is exact at all positions other than the 0-th (where H(Z) sits), hence Ext i (F,H) = 0, i 1. On the other hand, assume that Ext i (F,H) = 0. To see that H is cohomological, take a distinguished triangle X u Y v Z w X[1]. Take F = Cok(,v), which is clearly coherent. As in the above discussion, Ext i (F,H) = 0 will implies that the complex 0 H(Z) H(Y) H(X) H(Z[ 1]) is exact at all positions other than the 0-th. This implies that H is cohomological. Denote by add(p(c)) the full subcategory of (C op,ab) consisting of direct summands of representable functors. Clearly, we have add(p(c)) Coho(C) Ĉ. The following result is due to Freyd and Verdier independently, which can be found in [Fr], [V], [Ne, p.169] and [Kr] (in a slightly different form).

4 4 X. W. CHEN Proposition 2.4. Let C be a skeletally-small triangulated category. Then the category Ĉ is a Frobenius abelian category with the projective-injective objects are exactly contained in Coho(C) Ĉ = add(p(c)). Proof. It is direct to see that Ĉ has enough projectives which are exactly contained in add(p(c)). By Lemma 2.1 and2.2, Ĉ (C op,ab) is an abelian subcategory, and for any F,G Ĉ, we have Exti C b(f,g) Ext i (F,G). Note that (,C) is a cohomological functor. By Lemma 2.3, we have, for each F Ĉ and C C, Ext i b C (F,(,C)) Ext i (F,(,C)) = 0, i 1. Therefore the functor (,C) is an injective object in Ĉ, hence we have shown that Ĉ has enough projectives and that every projective object in Ĉ is injective. We claim now that Ĉ has enough injectives and every injective object is projective. To see this, assume that F is a coherent functor, and take a presentation (,Y) (,v) (,Z) F 0. Thus we have seen that there is a monomorphism F (,X[1]) via the two-sided resolution of F. By the above proof, the functor (,X[1]) is injective. Thus Ĉ has enough injectives. Assume further that F is a injective object in Ĉ. Thus the monomorphism F (,X[1]) splits, and hence F is projective. This proves the claim, and thus we have shown that Ĉ is a Frobenius category with projective-injective objects are exactly contained in add(p(c)). Finally, notethatcoho(c) Ĉ = add(p(c)). Wehavealreadyseenthatadd(p(C)) Coho(C) Ĉ. Let H Coho(C) Ĉ. By Lemma 2.1, 2.2 and 2.3, Exti C b(f,h) = Ext i (F,H) = 0 for all F Ĉ and i 0. Thus H is an injective object in Ĉ, and hence H lies in add(p(c)) In what follows, C will be a skeletally-small Hom-finite Krull-Schmidt triangulated category over the field K. Proposition 2.5. The subcategories C r and C l are thick triangulated subcategories of C. Proof. WeonlyprovetheresultonC r. FirstweclaimthatC r = {X C D(X, ) Ĉ}. To see this, note C is Krull-Schmidt, hence it is idempotent-split (cf. [CYZ, Theorem A.1]). Thus we have add(p(c)) = p(c). Note that the functor D(X, ) is always cohomological. So if D(X, ) is coherent, then by Proposition 2.4, D(X, ) Coho(C) Ĉ = add(p(c)) = p(c), that is, D(X, ) is representable. Hence, the functor D(X, ) is coherent if and only if it is representable. Now the claim follows. Note that D(X[n], ) D(X, ) [ n]. Thus C r is closed under the shifts. Let X X X X [1] be an distinguished triangle with X,X C r. Thus we have an exact sequence of functors (X [1], ) (X, ) (X, ) (X, ) (X [ 1], ), and hence the following sequence D(X [ 1], ) D(X, ) D(X, ) D(X, ) D(X [1], ) is also exact. Since X,X C r, the four terms other than D(X, ) in the above sequence lie in Ĉ. By Lemma 2.1 and 2.2 Ĉ (Cop,Ab) is an abelian subcategory

5 GENERALIZED SERRE DUALITY 5 which is closed under extensions. Hence we infer that D(X, ) Ĉ, and thus by the claim, we have X C r. Thus we have shown that C r is a triangulated subcategory. Finally C r is thick, that is, it is closed under taking direct summands, since direct summands of a coherent functor are still coherent. Thus we are done. Let C be a skeletally-small Hom-finite Krull-Schmidt additive category. Consider the full subcategory (C op,k-mod) of (C op,ab) consisting of functors taking values as finite-dimensional K-spaces. Thus we have the standard duality of categories D : (C op,k-mod) (C,K-mod) and D : (C op,k-mod) (C,K-mod). The category C is called a dualizing K-variety [AR] if the two duality functors D preserve coherent functors. It is easy to see that C is a dualizing K-variety if and only if C has pseudokernels and pseudocokernels, and D(X, ) Ĉ and D(,X) Ĉop. Recall from Appendix A.1 that a Hom-finite category C is said to have Serre duality, if C r = C = C l. Hence, combining Lemma 2.1 with the claim (and its dual) in the above proof, we get Corollary 2.6. ([IY, Proposition 2.11]) Let C be a skeletally-small Hom-finite Krull- Schmidt triangulated category.. Then C has Serre duality if and only if C is a dualizing K-variety The following result is essentially due to Bondal-Kapranov and Van den Bergh. Let us stress that the tricky proof is due to Van den Bergh, which makes use of the generalized Serre duality and trace functions (see Appendix, A.1). Proposition 2.7. Let C be as above. There is a natural isomorphism η X : S(X[1]) S(X)[1] for each X C r such that the pair (S,η) is an exact functor between the triangulated categories C r and C l. Proof. Recall fromproposition 2.5 that bothc r andc l aretriangulated categories. We will construct a natural isomorphism η X : S(X[1]) S(X)[1] for each X C r, such that the pair (S,η) is an exact functor. Let X C r and Y C. Consider the following composite of bi-natural isomorphisms Ψ X,Y : (Y,S(X[1])) φ 1 X[1],Y D(X[1],Y) D [ 1] D(X,Y[ 1]) φ Y [ 1],X (Y[ 1],S(X)) [1] (Y,S(X)[1]), where φ is the bi-natural isomorphism in Proposition A.1. By following the composite carefully, we obtain that, for each f (X,Y[ 1]) and g (Y,S(X[1])), (f, Ψ X,Y (g)[ 1]) X,Y [ 1] = (f[1], g) X[1],Y. Note that Ψ defines an isomorphism Ψ X : (,S(X[1])) (,S(X)[1]) of functors. By Yoneda s Lemma, there is a unique isomorphism η X : S(X[1]) S(X)[1] such that Ψ X = (,η X ), in other words, Ψ X,Y (g) = η X g. Consequently, we have (2.1) (f,(η X g)[ 1]) X,Y [ 1] = (f[1],g) X[1],Y. Next we show that the pair (S,η) is an exact functor. Given a distinguished triangle X u Y v Z w X[1] in C r. We have to show that the following triangle

6 6 X. W. CHEN is also distinguished (in C l or in C) S(X) S(u) S(Y) S(v) S(Z) η X S(w) S(X)[1]. First we claim that the following sequence of functors is exact (,S(Y)) (,S(Z)) (,S(X)[1]) (,S(Y)[1]) (,S(Z)[1]). In fact, from the distinguished triangle X u Y v Z w X[1], we infer that the following sequence is exact (Z[1], ) (Y[1], ) (X[1], ) (Z, ) (Y, ), and hence the following sequence is also exact D(Y, ) D(Z, ) D(X[1], ) D(Y[1], ) D(Z[1], ). Note the following commutative diagram of functors with vertical morphisms are isomorphisms D(Y, ) D(Z, ) D(X[1], ) D(Y[1], ) D(Z[1], ) φ Y φ Z Ψ X φ X[1] Ψ Y φ Y [1] Ψ Z φ Z[1] (,S(Y)) (,S(Z)) (,S(X)[1]) (,S(Y)[1]) (,S(Z)[1]), where φ X[1], φ Y[1] and φ Z[1] are the natural isomorphisms of functors induced by φ in Proposition A.1. This proves the claim. Take a distinguished triangle S(X) S(u) α S(Y) W β S(X)[1]. We claim that to prove the result, it suffices to show that there is a morphism δ : W S(Z) such that the following diagram commutes. S(X) S(u) S(Y) α W β S(X)[1] δ S(X) S(u) S(Y) S(v) S(Z) η X S(w) S(X)[1] In fact, assume that we already have the above commutative diagram. Thus we have the following commutative diagram of functors (,S(X)) (,S(Y)) (,W) (,δ) (,S(X)[1]) (,S(Y)[1]) (,S(X)) (,S(Y)) (,S(Z)) (,S(X)[1]) (,S(Y)[1]) Note the the rows are exact (see the previous claim). Thus five lemma implies that (,δ) is an isomorphism, and hence by Yoneda s Lemma δ is an isomorphism. Thus we are done. To complete the proof, we just need to find δ. To find such a morphism δ (W,S(Z)) is to solve the following equations δ α = S(v) and η X S(w) δ = β. Moreover by (2.1) we have (2.2) Tr X ((η X f)[ 1]) = Tr X[1] (f), f (X[1],S(X[1])). For the definition of Tr and bilinear form (, ), see Appendix A.1. By the nondegeneratedness of the bilinear form (, ), we infer that δ α = S(v) is equivalent

7 GENERALIZED SERRE DUALITY 7 to the equation Tr Z (S(v) x) = Tr Z (δ α x) for any x (Z,S(Y)); and that η X S(w) δ = β is equivalent to the equation Tr X ((η X S(w) δ)[ 1] y) = Tr X (β[ 1] y) for any y (X,W[ 1]). Note that we have Tr X ((η X S(w) δ)[ 1] y) = Tr X[1] (S(w) δ y[1]) = Tr Z (δ y[1] w), where the first equality uses (2.2) and the second uses (A.4). Hence it suffices to find δ (W,S(Z)) such that Tr Z (δ α x) = Tr Z (S(v) x), x (Z,S(Y)), Tr Z (δ y[1] w) = Tr X (β[ 1] y), y (X,W[ 1]). Recall from Proposition A.1 and its proof that we have the isomorphism φ W,Z : (W,S(Z)) D(Z,W) and φ W,Z (δ) = Tr Z (δ ). Hence to complete the proof, it suffices to find a linear function F on (Z,W) such that F(α x) = Tr Z (S(v) x), x (Z,S(Y)), F(y[1] w) = Tr X (β[ 1] y), y (X,W[ 1]). By knowledge of linear algebras, it is not hard to see that such a function F exists provided that whenever α x = y[1] w, then Tr Z (S(v) x) = Tr X (β[ 1] y). Now assume that α x = y[1] w. Thus one may have the following morphism of distinguished triangles. Y v w X[1] u[1] Y[1] Therefore we have φ 0 Zx S(X) S(u) S(Y) α y[1] Tr Z (S(v) x) = Tr Y (x v) φ 0 [1] W β S(X)[1] = Tr Y (S(u) φ 0 ) = Tr X (φ 0 u) = Tr X ( β[ 1] y) = Tr X (β[ 1] y), where the first and third equality use (A.4) and the second and fourth uses the commutativity of the diagram above. This completes the proof Let C be as above. Recall from [H1] and [H2, 1.2] that an Auslander-Reiten triangle in C is a distinguished triangle X u v Y Z w X[1] such that both X and Z are indecomposable, and w 0 satisfies that for each non-retraction γ : Y Z in C we have w γ=0. By [H1, p.31], the morphism u is left almost-split, i.e., any non-section h : X Y factors through u. The following result is essentially due to Reiten-Van den Bergh (in a different terminology), and the proof is borrowed from [RV].

8 8 X. W. CHEN Proposition 2.8. Let C be as above and let X C be an indecomposable object. Then (1). X C r if and only if there is an Auslander-Reiten triangle with X as the third term. (2). X C l if and only if there is an Auslander-Reiten triangle with X as the first term. Proof. We only prove the first statement. For the second one, one just needs to apply the first statement to the opposite category. For the only if part, assume that X C r is indecomposable. Then that there is an additive equivalence S : C r C l. Therefore S(X) is also indecomposable. For each X C r and Y C there is a non-degenerated bilinear form (, ) X,Y : (X,Y) (Y,S(X)) K, seetheproofofproposition A.1. Take anonzeromorphism w : X S(X) such that (radend C (X),w) X,X = 0. Thus we form a distinguished u triangle S(X)[ 1] Y v X w S(X). We claim that it is an Aulsander-Reiten triangle. Then we are done. In fact, it suffices to show that for each morphism γ : X X which is not split-epi, then w γ = 0. To see this, for any x (X,X ), consider (x,w γ) X,X = (γ x,w) X,X. Since γ is a not split-epi, then γ x radend C (X), and thus (γ x,w) X,X = 0. Therefore (x,w γ) X,X = 0. By the non-degeneratedness of the bilinear form, we have w γ = 0. For the if part, assume that we have an Auslander-Reiten triangle Z u Y v X w Z[1]. Take any linear function Tr : (X,Z[1]) K such that Tr(w) 0. We claim that for each X C the pairing (, ) : (X,X ) (X,Z[1]) K given by (f, g) = Tr(g f) is non-degenerated. Ifso, we have an inducedisomorphism of functors D(X, ) (,Z[1]). Hence X C r, and thus we are done. To prove the claim, let X C. Let f : X X be a nonzero morphism, and let X s X f X X [1] be a distinguished triangle. Since f 0, then s is not split-epi. Thus by the properties of Auslander-Reiten triangle, we have w s = 0. This implies that w factors through f, that is, there is a morphism g : X Z[1] such that w = g f, and hence (f, g) 0. On the other hand, let g : X Z[1] be nonzero, and let Z u X X g Z[1]. Since g 0, then u is not splitmono. Then by the properties of Auslander-Reiten triangle, we deducethat u factors thorough u, and thus we have the following morphisms of distinguished triangles Z u Y v X w Z[1] Z u X X g Z[1] Hence g f = w and thus (f, g) 0. This completes the proof. f 3. Computing generalized Serre structures In this section, we will study the generalized Serre structures and then compute them explicitly for some important bounded derived categories, see Theorem 3.5 and Theorem 3.10.

9 GENERALIZED SERRE DUALITY Let A be an additive Hom-finite category over K with S A : A r A l its generalized Serre functor. Denote by (, ) X,Y : (X,Y) (Y,S A (X)) K the associated bilinear form, X A r and Y C. See Appendix A.1. Let K b (A) be the homotopy category of bounded complexes over A. Note that K b (A) is Hom-finite. Denote its generalized Serre functor by S : K(A) r K(A) l. Proposition 3.1. (cf. [H1, p.37]) Use the notation as above. Then we have K b (A r ) K b (A) r, K b (A l ) K b (A) l and S K b (A r) = S A, where S A is viewed as a functor on complexes between K b (A r ) and K b (A l ). Proof. To prove the result, it suffices to build up a bi-natural non-degenerate bilinear form (, ) X,Y : Hom K b (A) (X,Y ) Hom K b (A) (Y,S A (X )) K for each X K b (A r ) and Y K b (A). We define (f,g ) X,Y = i Z( 1) i (f i,g i ) X i,y i, where f = (f i ) and g = (g i ) are chain morphisms. Note that the bilinear form is well-defined, e.g., if f is homotopic to 0, then (f,g ) X,Y = 0. Assume that fi = d i 1 Y h i +h i+1 d i X, i Z. Then we have (f, g ) X,Y = i Z = i Z = i Z = 0. ( 1) i (d i 1 Y h i, g i ) X i,y i +( 1)i (h i+1 d i X, gi ) X i,y i ( 1) i (h i, g i d i 1 Y ) X i,y i 1 +( 1)i (h i+1, S A (d i X ) gi ) X i+1,y i ( 1) i (h i, g i d i 1 Y d i 1 S A (X) gi 1 ) X i,y i 1 The last equality follows from the fact that g : Y S A (X ) is a chain morphism. To prove bi-natural property of the bilinear form is just to verify the following two identities (f θ, g ) X,Y = (f, S A (θ ) g ) X,Y (γ f, g ) X,Y = (f, g γ ) X,Y, however, they can easily derived from the identities (A.1) and (A.2) (in Appendix A.1) for the category A and the definition of the bilinear form. Finally, we will prove the non-degeneratedness. For this, for any fixed X K b (A r ), denote by φ : DHom K b (A)(X, ) Hom K b (A)(,S A (X )) the natural transformation induced by the above bilinear form. We claim that φ is a natural isomorphism. Then we are done. In fact, since φ is a natural transformation between two cohomological functors, so bydevissage, itsufficestoprovethatφ Y : DHom K b (A)(X,Y ) Hom K b (A)(Y,S A (X )) is an isomorphism for each stalk complex Y. Without loss of generality, assume that

10 10 X. W. CHEN Y = Y for somey A. ThenDHom K b (A)(X,Y) is justthe0-th cohomology group of the following complex D(X 1,Y) D(X 0,Y) D(X 1,Y) which is, by the generalized Serre duality of A, isomorphic to the complex (Y,S A (X 1 )) (Y,S A (X 0 )) (Y,S A (X 1 )) Whilethe0-thcohomology groupofthiscomplexisnothingbuthom K b (A)(Y,S A (X )). This proves that φ Y is an isomorphism and therefore the result holds Let A be an abelian category such that its bounded derived category D b (A) is Hom-finite. Such an abelian category is said to be Ext-finite. Certainly, Ext-finite abelian category is Hom-finite. By [BS, Corollary 2.10], D b (A) is idempotent-split, hence by [CYZ, Corollary A.2] D b (A) is Krull-Schmidt (also see [LC, Corollary B]). Denote by P and I the full subcategory of A consisting of projective objects and injective objects, respectively. Let S A : A r A l be the generalized Serre funtor on A. We claim that A r P and A l A. In fact, assume X A r, then we have an isomorphism of functors (X, ) D(,S A (X)), hence the functor (,X) is right exact, and thus X is a projective object. Similarly, every object in A l is injective. Note that we have natural isomorphism Hom D b (A)(P,X ) Hom K b (A)(P,X ), Hom D b (A)(X,I ) Hom K b (A)(X,I ), for any P K b (P), X K b (A) and I K b (I). So it is not hard to see the following direct consequence of Proposition 3.1. Corollary 3.2. Let A be an Ext-finite abelian category. Then K b (A r ) D b (A) r, K b (A l ) D b (A) l and S K b (A r) = S A, where S denotes the generalized Serre functor on D b (A). Following [NV, Appendix], a complex X in D b (A) is said to have finite projective dimension, if there exists some integer number N such that Hom D b (A) (X,M[n]) = 0 for any M A and n N. Set D b (A) fpd to be the full subcategory consisting of complexes of finite projective dimension. It is a thick triangulated subcategory. The following is well-known (cf. the proof of [Ri, Proposition 6.2]). Lemma 3.3. We have K b (P) D b (A) fpd. On the other hand, if the category A has enough projectives, then K b (P) = D b (A) fpd. Dually one defines a complex of finite injective dimension and introduces the full subcategory D b (A) fid. A similar result as the above lemma holds. Proposition 3.4. Let A be an Ext-finite abelian category. Then we have D b (A) r D b (A) fpd and D b (A) l D b (A) fid. Proof. Let X D b (A) r. Thus we have an isomorphism of functors over D b (A): Hom D b (A)(X, ) DHom D b (A)(,S(X )), where S is the generalized Serre functor on D b (A). Take a positive number N such that H n (S(X )) = 0 for any n N. Let M A, n N. Then Hom D b (A) (X,M[n]) DHom D b (A) (M[n],S(X )) = 0. Hence X has finite projective dimension, and thus we get the first inclusion. The second can be proved dually.

11 GENERALIZED SERRE DUALITY 11 We have our first explicit result on the generalized Serre structure. Theorem 3.5. Let A be a Hom-finite abelian subcategory with enough projectives and injectives. Assume that A r = P and A l = I and the generalized Serre functor S A is denoted by ν (called the Nakayama functor). Then we have D b (A) r = K b (P), D b (A) l = K b (I) and the generalized Serre functor is given by ν (operating on complexes). Proof. Note that under the assumption, A is Ext-finite. Using Corollary 3.2, Lemma 3.3 and Proposition 3.4, one proves the result. Remark 3.6. Let us remark that the above result is inspired directly by a result of Happel [H2, Theorem 1.4]. In fact, the category A = A-mod for a finite-dimensional algebra A clearly satisfies the assumption of Theorem 3.5 with ν = DHom A (,A). Applying Theorem 3.5 and then combining it with Theorem (2), one sees Happel s result immediately. Let us consider the conditions (C) and (C ) introduced in Appendix A.2. Then we have Lemma 3.7. Let A be a Hom-finite abelian category. Then if D b (A) has enough projectives, then A satisfies condition (C). Dually, if A has enough injectives, then D b (A) satisfies condition (C ). Proof. By duality, we only prove the first statement. Given any X,X C r and Z C. Since A has enough projectives, we can assume P Z is a quasiisomorphism, where P K,b (A-proj). Take n >> 0. Take Z = σ n P, the brutal trunction, and take s be the composite Z P Z, where Z P is the natural chain map. Then it is direct to check the condition (C). We call an abelian category A a Gorenstein category, if D b (A) fpd coincides with D b (A) fid (cf. [H3]). By combining Theorem 3.5, Lemma 3.7 and Proposition A.4 together, we get Proposition 3.8. Let A be a Hom-finite abelian subcategory with enough projectives and injectives. Assume that A r = P and A l = I and the generalized Serre functor S A is denoted by ν (called the Nakayama functor). The following are equivalent: (1) The category K b (P) has Serre duality. (2) The category A is Gorenstein. (3) The category K b (I) has Serre duality. The following immediate consequence gives a new characterization of Gorenstein algebras, which is of independent interest (cf. [H3, Theorem 3.4]). Corollary 3.9. Let A be a finite-dimensional algebra. Then the following are equivalent: (1) The category K b (A-proj) has Serre duality. (2) The algebra A is a Gorenstein algebra. (3) The category K b (A-inj) has Serre duality We will consider the generalized Serre structure of the bounded derived categories of coherent sheaves on certain noncommutative projective schemes (in the sense of [AZ]).

12 12 X. W. CHEN We will follow [NV, Sec.2 and Appendix] closely. Recall some standard notation. Let A = n 0 A n be a connected left noetherian algebra over K. Denote by A-Gr (resp. A-gr)the category of graded left A-modules(resp. finitely-generated graded left A-modules) with morphisms preserves degrees. Denote by (d) be the shift functor on A-Gr and A-gr, d Z. For j 0, denote By Ext j A-Gr (, ) and Extj (, ) the Ext functors in the category A-Gr and the associated graded Ext functors, respectively. Thus Ext j (M,N) = d Z Ext j A-Gr (M,N(d)) for graded modules M,N. We will view K as a graded A-module concentrated at the 0-th degree. Denote by τ : A-Gr A-Gr the functor such that τ(m) is the sum of all finitedimensional graded submodules of the module M. A graded module is called a torsion module if τ(m) = M. Denote by A-Tor (resp. A-tor) the full subcategories of A-Gr (resp. A-gr) consisting of torsion modules. Note the both of them are Serre subcategories. One can define the quotient abelian categories Tails(A) = A-Gr/A-Tor and tails(a) = A-gr/A-tor, which are called the category of the quasi-cohenrent and coherent sheaves on the noncommutative projective schemes Proj(A), respectively. A connected left noetherian graded algebra A is said to satisfies the condition χ if for each M A-gr, the space Ext j (K,M) is finite-dimensional, j 1 (cf. [AZ, Definition 3.2]). In this case, the category tails(a) is an Ext-finite abelian category ([NV, Proposition 2.2.1]). We have our second explicit result on the generalized Serre structure, which is somehow a restatement of a result by de Naeghel-Van den Bergh [NV, Theorem A.4] (cf. [Ro, Proposition 7.48]). Theorem Let A be a connected graded (two-sided) noetherian algebra over K. Assume that (1) A satisfies χ and the functor τ is of finite cohomological dimension. (2) A op satisfies χ and the functor τ op is of finite cohomological dimension. Then D b (tails(a)) r = D b (tails(a)) fpd, D b (tails(a)) l = D b (tails(a)) fid and the generalized Serre functor is given S = L R[ 1]. Proof. By the assumption, we have a balanced dualized complex R in the sense of [Y]. And the functor L R is induced by the functor L R, for details, see [RV, Appendix]. Note tails(a) is Ext-finite. By Proposition 3.4, we have D b (tails(a)) r D b (tails(a)) fpd and D b (tails(a)) l D b (tails(a)) fid. By [NV, Theorem A.4], we obtain that D b (tails(a)) r D b (tails(a)) fpd, and S D b (tails(a)) fpd = L R[ 1] is an equivalence between D b (tails(a)) fpd and D b (tails(a)) fid (here we implicitly use [AZ,Proposition2.3]and[NV,Lemma2.2]). ThisresultimpliesthatD b (tails(a)) fid D b (tails(a)) l. So we finish the proof Final remarks. We end this note with one proposal: inspired by Theorem 3.5 and Theorem 3.10 and [CZ, Introduction], one may define the abstract singularity categories associated toc: thequotient triangulated categories C/C r andc/c l, which seems to measure how far C is from being smooth. It will be very interesting to study them.

13 GENERALIZED SERRE DUALITY 13 Appendix A. Generalized Serre duality Throughout this appendix, C is an arbitrary pre-additive Hom-finite category over the field K. Use the notation as in the Introduction. For example, (X,Y) stands for Hom C (X,Y), D is the standard dual of finite-dimensional K-spaces. A.1. In this subsection, we include a rather well-known result on the generalized Serre duality. Compare[BK, Proposition 3.4] and[rv, p.301]. Note that the notation in the proof is frequently used in the above context. Proposition A.1. Let C be as above. Define C r and C l as in the Introduction. Then there is a unique functor (up to isomorphism) S : C r C l such that for each X C r and Y C, there is a bi-natural isomorphism φ X,Y : D(X,Y) (Y,S(X)). Moreover, the functor S is an additive equivalence between C r and C l. Proof. First we will construct the functor S. For each X C r, there is a unique (up to isomorphisms) S(X) C such that there is an isomorphism of functors φ X : D(X, ) (,S(X)). Given any morphism f : X Y in C r, define the morphism S(f) : S(X) S(Y) such that the following diagram commutes D(X, ) D(f, ) φ X (,S(X)) (,S(f)) D(Y, ) φ Y (,S(Y)) Here we apply Yoneda s lemma, and moreover, the morphism S(f) is uniquely determined by the above commutative diagram. One can check directly that S : C r C is an additive functor. Note that for each X C r, we have an isomorphism of functor D(,S(X)) (X, ), and thus we obtain that S(X) C l. In other words, we have obtained an additive functor S : C r C l. By the definition of S, we observe that there is a bi-natural isomorphism φ X,Y : D(X,Y) (Y,S(X)) for each X C r and Y C. (Here φ X,Y = φ X (Y). The naturalness of φ X,Y in Y is obvious; while the naturalness in X is a direct consequence of the definition of the functor S on morphisms.) For the uniqueness of the functor S, assume that there is another functor S : C r C l such that there is a bi-natural isomorphism φ X,Y : D(X,Y) (Y,S (X)). In particular, there is an isomorphism of functors D(X, ) (,S (X)). However by the above proof, we have seen φ X : D(X, ) (,S(X)). Therefore (,S(X)) (,S (X)), and hence Yoneda s Lemma implies that there is a unique isomorphism S(X) S (X). It is not hard to check that this gives a natural isomorphism between the functors S and S. We will have to show that the functor S : C r C l is fully-faithful and dense, i.e., it is an equivalence of categories. For this end, we need introduce some notation. For any X C r and Y C, define a non-degenerated bilinear form (, ) X,Y : (X,Y) (Y,S(X)) K

14 14 X. W. CHEN such that (f, g) X,Y = φ 1 X,Y (g)(f). By the bi-naturalness of φ X,Y, we have (A.1) (A.2) (f θ, g) X,Y = (f, S(θ) g) X,Y (f, g γ) X,Y = (γ f, g) X,Y, where θ : X X and γ : Y Y are arbitrary morphisms. (Note that: in (A.1), X,X C r, f : X Y and g : Y S(X ); in (A.2), X C r, f : X Y and g : Y S(X).) We will call the bilinear form (, ) defined above the associated bilinear form with S. Note that the following direct consequence of the above definition: F(f) = (f,φ X,Y (F)) X,Y for each F D(X,Y) and f (X,Y). Let X,Y C r. We claim that for each morphism f (X,Y) and g (Y,S(X)) (A.3) (f, g) X,Y = (g, S(f)) Y,S(X). In fact, we have (f, g) X,Y = (f Id X, g) X,Y use (A.1) = (Id X, S(f) g) X,X use (A.2) = (g, S(f)) Y,S(X). Consider the following composite of isomorphisms Φ : (X,Y) D(φ X,Y) 1 D(Y,S(X)) φ Y,S(X) (S(X),S(Y)). Note that D(φ X,Y ) 1 (f)(g) = (f,g) X,Y and F(g) = (g,φ Y,S(X) (F)) Y,S(X) for all F D(Y,S(X)). Thusit is direct to see that (f,g) X,Y = (g,φ(f)) Y,S(X). Compareit with(a.3)(andnotethebilinearformisnon-degenerated), weinferthats(f) = Φ(f). Consequently, the functor S is fully-faithful. To see that S is dense, let X C l, hence the functor D(,X ) is representable. Assume that D(,X ) (X, ). Thus D(X, ) (,X ), and hence X C r. Therefore we have (,S(X)) φ 1 X D(X, ) (,X ). So by Yoneda s Lemma S(X) X. Thus S is dense, and we have completed the proof. Let us introduce the notion of trace function [RV]: for each X C r, define a trace function Tr X : (X,S(X)) K by Tr X (f) = (Id X,f) X,X. Then by (A.2), we have (f,g) X,Y = Tr X (g f). Thus by (A.3), we get (A.4) Tr X (g f) = Tr Y (S(f) g). Let C be as above. We call the sextuple {S, C r, C l, φ, (, ), Tr} (appearing in the above) the generalized Serre structure on the category C, and S is called the generalized Serre functor with domain C r and range C l. We say that C has right Serre duality, if C r = C, and in this case, we call S the right Serre functor. Similarly, we define the left Serre duality. Finally, we say that the category C has Serre duality, if C has right Serre duality and left Serre duality, or equivalently, C r = C = C l.

15 GENERALIZED SERRE DUALITY 15 A.2. Let C be as above. Let C r and C l be the domain and range of its generalized Serre functor, respectively. We will consider the generalized Serre structure on C r and C l. Let us introduce two conditions on the category C: (C) For each X,X C r and Z C, there exists a morphism s : Z Z with Z C r such that (X,Z ) (X,s) (X,Z) and (Z,X ) (s,x ) (Z,X ). (C ) For each Y,Y C l and Z C, there exists a morphism s : Z Z with Z C l such that (Y,Z) (Y,s) (Y,Z ) and (Z,Y ) (s,y ) (Z,Y ). We have Lemma A.2. Let C be as above. Then we have (1) If C l C r, then (C r ) r = C r. (2) Conversely, if (C r ) r = C r and the category C satisfies the condition (C), then C l C r. Proof. (1) is obvious from the definition. To see (2), let X C r. Since (C r ) r = C r, then we have an isomorphism of functors onc r : D(X, ) (,X ), wherex C r. WeclaimthattheisomorphismD(X, ) (,X ) can be extended to C. Thus S(X) = X, where S is the generalized Serre functor on C. By Proposition A.1, C l = S(C r ). Thus we conclude that C l C r. In fact, for each Z C, take s : Z Z as in the condition (C). Thus we have a sequence of isomorphisms D(X,Z) D(X,s) D(X,Z ) (Z,X ) (s,x ) (Z,X ). Note that this composite isomorphism is given by the trace function on X, more precisely, the inverse of the isomorphism is given by f (g Tr X (f g)) (here Tr is the trace function given by the generalized Serre structure on C r.) Thus we get a natural isomorphism of functors on C: D(X, ) (,X ). Thus we are done. Dually, we have Lemma A.3. Let C be as above. Then we have (1) If C r C l, then (C l ) l = C l. (2) Conversely, if (C l ) l = C l and the category C satisfies the condition (C ), then C r C l. We end the appendix with the following interesting observation. Proposition A.4. Let C be a pre-additive Hom-finite category over K. Let C r and C l be as in the Introduction. Assume that the category C satisfies the condition (C) and (C ). Then the following statements are equivalent (1) C r has Serre duality. (2) C r = C l. (3) C l has Serre duality. Proof. The implications of (2) (1) and (1) (3) follow from Lemma A.2(1) and Lemma A.3(1), respectively.

16 16 X. W. CHEN To see (1) (2), first applying Lemma A.2(2), we get C l C r, therefore (C l ) l C l (C r ) l (here we use an easy fact that for any full subcategory D of any category C, one has D l C l D). However by (1), (C r ) l = C r. Hence (C l ) l = C l. Now applying Lemma A.3(2), we get C r C l. Thus we are done. Similarly, we prove that (2) (3). References [AZ] M. Artin and J.J. Zhang, Noncommutative projective schemes, Adv. Math. 109 (1994), [Au1] M. Auslander, Coherent functors, in Proc. Conf. Categorical Algebra, La Jolla 1965, , Springer-Verlag, [Au2] M. Auslander, Representation dimension of artin algebras. Lecture notes, Queen Mary College, London, [AR] M. Auslander and I. Reiten, Stable equivalence of dualizing R-varieties, Adv. Math. 12 (1974), [Bo] R. Bocklandt, Graded Calabi-Yau algebras of dimension 3, with an appendix by M. Van den Bergh, math.ra/ [BK] A. I. Bondal and M. M. Kapranov, Representable Functors, Serre Functors, and Reconstructions. Izv. Akad. Nauk SSSR Ser. Mat. 53 (1989), [BS] P. Balmer and M. Schlichting, Idempotent completion of triangulated categories, J. Algebra 236(2) (2001), [CYZ] X. W. Chen, Y. Ye and P.Zhang, Algebras of derived dimension zero, Commu. Algebra, to appear. math.rt/ [CZ] X. W. Chen and P. Zhang, Quotient triangulated categories, submitted. math.rt/ [Fr] P. Freyd, Stable homotopy, in Proc. Conf. Categorical Algebra, La Jolla 1965, , Springer-Verlag, [H1] D. Happel, Triangulated categories in representation theory of finite dimensional algebras. London Math. Soc. Lecture Notes Ser. 119, Cambridege Uni. Press, [H2] D. Happel, Auslander-Reiten triangles in derived categories of finite-dimensional algebras, Proc. Amer. Math. Soc. 112(3)(1991), [H3] D.Happel, On Gorenstein algebras, Progress in Math., Vol.95, , Birkhäuser Verlag, Basel [Har] R. Hartshorne, Residue and duality. Lecture Notes in Math. 20, Springer-Verlag, [IY] O. Iyama and Y. Yoshino, Mutations in triangulated categories and rigid Cohen-Macaulay modules, math.rt/ , v1, 28 July [Kr] H. Krause, Derived categories, resolutions, and Brown representability. Summer School Chicago, [LC] J. Le and X. W. Chen, Karoubianness of a triangulated category, J. Algebra, to appear. [Ne] A. Neeman, Triangulated Categories. Annals of Math. Studies 148, Princeton Uni. Press, [NV] K. de Naeghel and M. Van den Bergh, Ideal classes of three-dimensional Sklyanin algebras, J. Algebra 276 (2004), [RV] I. Reiten and M. Van den Bergh, Noetherian hereditary abelian categories satisfying Serre duality, J. Amer. Math. Soc. 15 (2002), [Ri] J. Rickard, Morita theory for derived categories, J. London Math. Soc. 39(2)(1989), [Ro] R. Rouquier, Dimensions of triangulated categories, math.ct/ , v3, 16 Sep [V] J. L. Verdier, Des categories derivees des categories abeliennes, Asterisque, vol. 239, Soc. Math. France, [Y] A. Yekutieli, Dualizing complexes over noncommutative graded algebras, J. Algebra 153 (1992),