arxiv: v1 [math.rt] 1 Oct 2017

Transcription

1 BIMODULE MONOMORPHISM CATEGORIES AND RSS EQUIVALENCES VIA COTILTING MODULES BAO-LIN XIONG PU ZHANG UE-HUI ZHANG arxiv:7.34v math.rt Oct 27 Abstract. The monomorphism category S(A,M,B) induced by a bimodule A M B is the subcategory of Λ-mod consisting of X φ such that φ : M B X is a monic A-map, where Λ = A M B. In general, it is not the monomorphism categories induced by quivers. It could describe the Gorenstein-projective Λ- modules. This monomorphism category is a resolving subcategory of Λ-mod if and only if M B is projective. In this case, it has enough injective objects and Auslander-Reiten sequences, and can be also described as the left perpendicular category of a unique basic cotilting Λ-module. If M satisfies the condition (IP), then the stable category of S(A,M,B) admits a recollement of additive categories, which is in fact a recollement of singularity categories if S(A,M,B) is a Frobenius category. Ringel-Schmidmeier-Simson equivalence between S(A,M,B) and its dual is introduced. If M is an exchangeable bimodule, then an RSS equivalence isgiven by aλ-λbimodule which isatwo-sided cotilting Λ-modulewith a specialproperty; and the Nakayama functor N Λ gives an RSS equivalence if and only if both A and B are Frobenius algebras. Keywords: monomorphism category induced by bimodule, Auslander-Reiten sequence, cotilting module, recollement of additive categories, exchangeable bimodule, RSS equivalence, Frobenius algebra, Nakayama functor. Introduction and preliminaries.. Throughout, algebras mean Artin algebras, modules are finitely generated, and a subcategory is a full subcategory closed under isomorphisms. For an algebra A, let A-mod (resp. moda) be the category of left (resp. right) A-modules. So there is a duality D : A-mod moda. This paper is to draw attention to the monomorphism category S(A,M,B) induced by an A-B-bimodule M. It is defined to be the subcategory of Λ-mod consisting of left Λ-modules X φ such that φ : M B X is a monic A-map, where Λ is the triangular matrix algebra A M B. When AM B = A A A, it is the classical submodule category S(A) in RS-RS3. This submodule category is initiated in Bir. C. Ringel and M. Schmidmeier RS2 establish its Auslander-Reiten theory; and D. Simson (S-S3) studies its representation type. By D. Kussin, H. Lenzing and H. Meltzer (KLM, KLM2; see also C), it is related to the singularity theory. It has been generalized via quivers to the filtered chain category and the separated monomorphism category (S-S3, Z, LZ, ZX). However, all these generalizations can not include monomorphism categories induced by bimodules (this will be clarified in Example 5.8). Another motivation is that S(A, M, B) can describe the Gorenstein-projective Λ-modules (Z2, Thms..4., 2.2)..2. To study S(A,M,B), first, we need it to be a resolving subcategory of Λ-mod. So we work under the condition that M B is projective: this is a necessary and sufficient condition such that S(A,M,B) is a resolving subcategory. Then S(A, M, B) has enough projective objects and enough injective objects, and it Supported by the NSF of China (43, 39, 2725). 2 Mathematics Subject Classification. Primary 6G7; Secondary 6D4; 6E3 The corresponding author.

2 2 BAO-LIN XIONG PU ZHANG UE-HUI ZHANG is a Frobenius categoryif and only if Aand B are selfinjective and A M and M B areprojective (Corollary2.3). This monomorphism category S(A, M, B) enjoys the functorially finiteness and Auslander-Reiten sequences, and it closely relates to the tilting theory. Here we use the classical cotilting modules of injective dimension at most (HR, R, p.67, AR, ASS, p.242). For a left Λ-module Z, let Z denote the subcategory {L Λ-mod Ext m Λ(L,Z) =, m }. Theorem.. Let M be an A-B-bimodule. Then () The following are equivalent: (i) M B is projective; (ii) S(A,M,B) is a resolving subcategory of Λ-mod; (iii) ΛT := D(A A) ED(BB ) D(B B) is a unique cotilting left Λ-module, up to multiplicities of indecomposable direct summands, such that S(A,M,B) = T, where E D(BB) is an injective envelope of the e left A-module A M B D(B B ) with inclusion e : M B D(B B ) E D(BB). (2) S(A,M,B) is a contravariantly finite subcategory of Λ-mod. Moreover, if M B is projective, then S(A, M, B) is a functorially finite subcategory of Λ-mod, and has Auslander-Reiten sequences. Corollary.2. If A M B satisfies the condition (IP), then Λ T = D(A A) M BD(B) D(B B) is a unique cotilting Id left Λ-module, up to multiplicities of indecomposable direct summands, such that S(A,M,B) = T..3. A recollement is first introduced for triangulated categories (BBD), and then for abelian categories (MV, PS, Ku). It becomes a powerful tool in triangulated categories and in abelian categories (see e.g. Kö, H2, IKM, FP, PV, FZ). One can also consider recollements of additive categories in the similar way. For a subcategory X of an additive category A, recall that the objects of the stable category A/X are the objects of A, and Hom A/X (M,N) := Hom A (M,N)/(M, X,N), where (M, X,N) is the subgroup consisting of those morphisms factoring through objects of X. For an algebra A, denote A-mod/inj(A) by A-mod, where inj(a) is the subcategory of the injective A-modules. Similarly, S(A, M, B) is the stable category of S(A,M,B) respect to the subcategory of the injective objects of S(A,M,B). Theorem.3. An A-B-bimodule satisfying the condition (IP) induces a recollement of additive categories A-mod i i i! S(A,M,B) j! j j B-mod. (.) If in addition A and B are selfinjective algebras, then it is in fact a recollement of singularity categories. Here the singularity category Dsg b (Λ) of an algebra Λ is defined to be the Verdier quotient Db sg (Λ) := D b (Λ-mod)/K b (proj(λ)), whered b (Λ-mod) isthe boundedderivedcategory,andk b (proj(λ))is thebounded homotopy category. See R. Buchweitz Buch and D. Orlov O..4. The dual of S(A,M,B) is the epimorphism category F(A,M,B). The right module version of S(A,M,B) is S(A,M,B) r, and S(A,M,B) r is a resolving subcategory if and only if A M is projective; in this case, there is a unique basic cotilting right Λ-module U such that S(A,M,B) r = (U Λ ). Then F(A,M,B) canbealsodescribedasds(a,m,b) r. Ringel-Schmidmeier-Simsonequivalence S(A,M,B) =

3 BIMODULE MONOMORPHISM CATEGORIES AND RSS EQUIVALENCES 3 F(A,M,B) is studied. Such an equivalence implies a strong symmetry, and was first observed by C. Ringel and M. Schidmeier RS2 for the case of A M B = A A A, and by D. Simson S for a chain without relations, and then developed to acyclic quivers with monomial relations in ZX. We introduce exchangeable bimodules. If A M B is exchangeable, then the unique left cotilting Λ-module T with S(A,M,B) = T (cf. Corollary.2) can be endowed with a Λ-Λ-bimodule structure via the exchangeable bimodule isomorphism, such that the right module T Λ coincides with the unique right cotilting Λ-module U with S(A,M,B) r = (U Λ ). This two-sided cotilting Λ-module Λ T Λ enjoys a good property in the sense that End Λ ( Λ T) op = Λ as algebras, and under this isomorphism of algebras, T EndΛ( ΛT) op coincides with T Λ. These good properties of T induce an RSS equivalence: Theorem.4. Let A M B be an exchangeable bimodule. Then T = D(A) M BD(B) D(B) can be endowed Id with a Λ-Λ-bimodule such that DHom Λ (,T) : S(A,M,B) = F(A,M,B) is an RSS equivalence. The Nakayama functor N Λ gives an RSS equivalence if and only if both A and B are Frobenius algebras (Proposition 5.5). Examples show that if A M B is not exchangeable, then an RSS equivalence can not be guaranteed. Examples also show that the monomorphism category S(A, M, B) is not the separated monomorphism category of the corresponding quiver in the sense of ZX, in general (see Example 5.8). However, we do not know a sufficient and necessary condition and the uniqueness of an RSS equivalence. See Subsection Let M be an A-B-bimodule. The multiplication of the associated matrix algebra Λ = A M B is given by a m b a m b = aa am +mb. Eachleft Λ-moduleisidentifiedwith atriple X bb φ, wherex A-mod, B- mod, and φ : M B X is an A-map; and a Λ-map is identified with a pair f f 2 : X X 2 φ 2, φ 2 where f : X X 2 is an A-map, and f 2 : 2 a B-map, such that the diagram M B f 2 M B 2 φ X f X 2 commutes. Underthisidentification,theindecomposableprojectiveΛ-modulesareexactly P and M BQ Q, Id where P and Q run over the indecomposable projective A-modules and B-modules, respectively. The indecomposable injective Λ-modules are I Hom and A(M,I) ϕ J, where I and J run over the indecomposable injective A-modules and B-modules, respectively (ARS, p.73). Throughout, for any left A-module X, we denote by ϕ = ϕ X the left A-map M B Hom A (M,X) X given by ϕ(m f) = f(m), i.e., the adjunction isomorphism Hom A (M B Hom A (M,X),X) = Hom B (Hom A (M,X),Hom A (M,X)) sends ϕ to Id HomA(M,X). We will call ϕ the involution map. φ 2.6. Conditions on a bimodule. A bimodule A M B satisfies the condition (IP), if M B D(B B ) is an injective left A-module and M B is projective. A bimodule A M B is exchangeable, if both A M and M B are projective and there is an A-B-bimodule isomorphism D( A A A ) A M = M B D( B B B ), which is called an exchangeable bimodule isomorphism.

4 4 BAO-LIN XIONG PU ZHANG UE-HUI ZHANG By adjunction isomorphisms we have A-B-bimodule isomorphisms D(DA A M) = Hom A (M,A), D(M B DB) = Hom B (M,B). Thus A M B isexchangeableifandonlyifthereisana-b-bimoduleisomorphismhom A (M,A) = Hom B (M,B); and if and only if there is an A-B-bimodule isomorphism N A ( A M) = N B (M B ), where N A denotes the Nakayama functor DHom A (,A). For A N, let add(n) be the subcategory of A-mod of direct summands of finite direct sums of N. Example.5. () An exchangeable bimodule A M B satisfies the condition (IP), and D( A A) A M is an injective right B-module. In fact, since A M is projective, D( A A A ) A M add(d( A A A ) A A) = add(d(a A )), so D( A A A ) A M is an injective left A-module. Thus M B D( B B B ) = D( A A A ) A M is an injective left A-module. Similarly, one can prove that D( A A) A M is an injective right B-module. (2) If B = A and M = A A, then A M A is an exchangeable bimodule. (3) For an algebra A, let B := A A, and A M B := A B B. Then A M B is an exchangeable bimodule. (4) For an algebra B, let A := B B, and A M B := A A B. Then A M B is an exchangeable bimodule. (5) An algebra A over field k is symmetric, if D( A A A ) = A A A as A-A-bimodules. If both A and B are symmetric algebras and M = A P k Q B, where A P and Q B are projective, then A M B is an exchangeable bimodule. (6) An algebra B is Frobenius, if D(B B ) = B B as left B-modules. If B is a Frobenius algebra and A M B is a bimodule with A M injective and M B projective, then A M B satisfies the condition (IP). (7) Let B be a selfinjective algebra, and A M B a bimodule with M B projective. Then A M B satisfies the condition (IP) if and only if A M is injective. In particular, if both A and B are selfinjective k-algebras and M = A P k Q B, where A P and Q B are projective, then A M B satisfies the condition (IP). In fact, since B is a selfinjective algebra, D(B B ) add( B B), and hence A M B D(B B ) add( A M). So M B D(B B ) is an injective A-module if and only if A M is injective. 2. Monomorphism categories induced by bimodules 2.. Recall that the monomorphism category S(A,M,B) induced by bimodule A M B is the subcategory of Λ-mod consisting of X φ such that φ : M B X is a monic A-map. So it contains all the projective Λ-modules and is closed under direct sums and direct summands. Lemma 2.. Let A M B be a bimodule. Then S(A,M,B) is closed under extensions. Thus S(A,M,B) is an exact category with the canonical exact structure, and hence a Krull-Schmidt category.

5 Proof. For an exact sequence X φ BIMODULE MONOMORPHISM CATEGORIES AND RSS EQUIVALENCES 5 and X 2 2 φ 2 S(A,M,B), we get a commutative diagram f f2 g X g 2 X 2 φ 2 in Λ-mod with X φ 2 S(A,M,B) φ g M B M B φ X f X φ g 2 M B 2 φ 2 f 2 2 with exact rows. It follows from the Snake Lemma that φ is monic, i.e., X φ S(A,M,B). Proposition 2.2. Let A M B be a bimodule such that M B is projective. Then () S(A,M,B) has enough projective objects; and the indecomposable projective objects of S(A,M,B) are exactly the indecomposable projective Λ-modules. (2) S(A,M,B) has enough injective objects; and the indecomposable injective objects are exactly I and EJ J e, where I (resp. J) runs over indecomposable injective left A-modules (resp. B-modules), and E J is an injective envelope of the left A-module M B J with inclusion e : M B J E J. In particular, if M satisfies the condition (IP), then the indecomposable injective objects of S(A, M, B) are exactly I and M BJ J Id. Proof. () Projective Λ-modules are clearly projective objects of S(A,M,B). For any object X φ S(A,M,B), taknig projective covers π : BQ B and π C : AP A Coker(φ), we get exact sequences Ker(π ) i Q π and Ker(π C ) ic P πc Coker(φ). Consider the exact sequence M B φ X π Coker(φ). We get an A-map θ : P X such that π C = πθ, and hence the commutative diagram in A-mod with exact rows M B Q (M B Q) P, P π M B φ( π ),θ φ X π π C Coker(φ). Since M B is projective, M B Ker(π ) i M B Q π M B is an exact sequence of A-module. By the Snake Lemma we get the commutative diagram in A-mod with exact rows and columns ψ M B Ker(π ) N Ker(π C ) i i C M B Q, (M B Q) P P π M B φ( π ),θ φ X π π C Coker(φ)

6 6 BAO-LIN XIONG PU ZHANG UE-HUI ZHANG So the left and middle columns give the exact sequence N Ker(π ) ψ P M BQ Q Id X φ ( ) in S(A,M,B). This shows that S(A,M,B) has enough projective objects. Let X be an indecomposable projective object of S(A,M,B). Then the exact sequence ( ) splits and φ X φ is a direct summand of P M BQ Q. By Lemma 2., S(A,M,B) is a Krull-Schimdt category, so Id X φ is isomorphic to P or M BQ Q Id, where P (resp. Q ) is an indecomposable projective A-module (resp. B-module). Thus X φ is a projective Λ-module. (2) It is clear that I and E J J are indecomposable objects of S(A,M,B). We show that they are e injective objects of S(A,M,B). Put W V φ to be I or E J J. For an exact sequence in S(A,M,B) e X φ f g X2 2 φ 2 f2 g 2 X3 3 φ 3 with α β Hom Λ ( X, W φ V φ ), we need looking for γ δ Hom Λ( X 2, W φ 2 V φ ) such that α β = γ δ f g. Since B V is an injective module and g : 2 is monic, there is a B-map δ : 2 V such that β = δg. Consider the A-map φ( δ) : M B 2 W. Since A W is an injective module and φ 2 : M B 2 X 2 is monic, thereis an A-map γ : X 2 W such that φ( δ) = γ φ 2. Since αφ = φ( β) and f φ = φ 2 ( g ), we have 2 αφ = φ( β) = φ( δ)( g ) = γ φ 2 ( g ) = γ f φ. So α γ f = ηπ for some η : Coker(φ ) W. Since h : Coker(φ ) Coker(φ 2 ) is monic and W is injective, there is an A-map η : Coker(φ 2 ) W such that η = η h. We present the process as the diagram with exact rows and columns: g g M B 2 M B 2 M B 3 β δ M B V φ 2 φ 3 φ f φ X α γ π W η η h Coker(φ ) Put γ := γ +η π 2 Hom A (X 2,W). Then and f 2 X 2 X 3 π 2 Coker(φ 2 ) h 2 π 3 Coker(φ 3 ) γφ 2 = (γ +η π 2 )φ 2 = γ φ 2 = φ( δ) γf = (γ +η π 2 )f = γ f +η π 2 f = γ f +η h π = γ f +ηπ = α. This shows γ δ Hom Λ( X 2 2, W φ 2 V φ ) and α β = γ δ f g.

7 BIMODULE MONOMORPHISM CATEGORIES AND RSS EQUIVALENCES 7 Next, we show that S(A,M,B) has enough injective objects. For X φ S(A,M,B), taking injective envelopes ι : J and ι C : Coker(φ) I, we get exact sequences ι J p Coker(ι ) and Coker(φ) ιc I pc Coker(ι C ). We take an injective envelope of the left A-module M B J with inclusion e : M B J E J. Since φ : M B X is monic and E J is an injective module, there is an A-map α : X E J satisfying αφ = e( ι ), and hence we get a commutative diagram with exact rows: M B ι M B J φ X π Coker(φ) α e E J f β Coker(e) Since M B is projective, we have a commutative diagram with exact rows and columns: M B ι M B J p M B Coker(ι ) φ e ψ X π α ιc π E J I f L Coker(φ) β ιc Coker(e) I C (since ι C is monic, applying the Snake Lemma to the upper two rows we see that ψ is monic). The left and middle columns give a short exact sequence in S(A,M,B) X φ I E J J e This shows that S(A,M,B) has enough injective objects. L Coker(ι ) ψ Finally, if X φ is an indecomposable injective object of S(A,M,B), then ( ) splits. By Lemma 2., S(A,M,B) is a Krull-Schimdt category. So X φ is either of the form I or of the form E J J e. Corollary 2.3. Let A M B be a bimodule with M B projective. Then S(A,M,B) is a Frobenius category (with the canonical exact structure) if and only if both A and B are selfinjective algebras and A M is projective. Proof. By Proposition 2.2, S(A,M,B) is a Frobenius category if and only if add( A M B Id ) = add( D(A A) ED(BB ) D(B ), B) e where E D(BB) is an injective envelope of the A-module M B D(B B ) with embedding e : M B D(B B ) E D(BB). Thus, if S(A,M,B) is Frobenius, then A A is injective (thus add(d(a A )) = add( A A)), A M is injective (thus A M add(d(a A )) = add( A A), hence A M is projective), and B B is injective. Conversely, if A and B are selfinjective and A M is projective, then add( B B) = add(d(b B )), hence M B D(B B ) add(m B B) = add( A M), so M B D(B B ) is a projective left A-module, and hence an injective left A- ED(BB ) module. Thus M B D(B B ) = E D(BB). So add( D(B ) = add( M BD(B B) B) e D(B ) = B) Id add(m B Id ), thus add( A M B Id ) = add( D(A A) ED(BB ) D(B B) ). Hence S(A,M,B) is a Frobenius category. e. ( )

8 8 BAO-LIN XIONG PU ZHANG UE-HUI ZHANG 2.2. To prove Theorem. we need some preparations. A subcategory is a resolving subcategory of Λ-mod, if it contains all the projective Λ-modules and is closed under extensions, kernels of epimorphisms and direct summands (AR). Lemma 2.4. Let A M B be a bimodule. Then S(A,M,B) is a resolving subcategory of Λ-mod if and only if M B is projective. Proof. By Lemma 2. it suffices to provethat S(A,M,B) is closed under kernelsof epimorphisms if and only if M B is projective. Suppose that M B is projective. Let f = f f 2 : X X 2 φ 2 be an epimorphism in φ 2 Λ-mod with both X and X 2 f f 2 φ 2 in S(A,M,B). So X φ X2 and 2 are epic with Ker(f ) i X 2 and Ker(f 2 ) j. Since M B is projective, we get the commutative diagram with exact rows: M B Ker(f 2 ) j M B f 2 M B 2 Ker(f ) φ i X f X 2. φ 2 Thus there is a unique A-map φ : M B Ker(f 2 ) Ker(f ) such that iφ = φ ( j). It is clearly that φ is monic, and hence Ker(f) = Ker(f) Ker(f S(A,M,B). 2) φ Conversely, suppose that S(A,M,B) is closed under kernels of epimorphisms. We claim that M B is an exact functor. In fact, let K j f 2 be an arbitrary exact sequence of B-modules. Then f f : M B M B 2 Id is an epimorphism in Λ-mod with M B i 2 Id i S(A,M,B) (i =,2) Id and Ker f f = Ker( f) K φ, where M BK φ Ker( f) is the unique A-map such that σφ = j, and σ : Ker( f) M B is the embedding. Since S(A,M,B) is closed under kernels of epimorphisms, Ker( f) S(A,M,B), i.e., φ is monic, and thus j is monic. This proves the claim and hence M K φ B is flat. Since B is an Artin algebra and M B is finitely generated, it follows that M B is projective. Lemma 2.5. (XZ, Lemma.2) For X A-mod and B-mod, we have () Ext Λ (,X ) = Hom A (M B,X). (2) If A I is an injective A-module, then Ext i+ Λ (,I ) = Ext i B (,Hom A(M,I)) for i. Proof. For the convenience we include a short justification. () Let K i Q p be an exact sequence with Q a projective left B-module. Then M Q i p M Q K i Q is an exact sequence with M Q Q a projective left Λ-module. Id Id Applying Hom Λ (, X ), since Hom M Q Λ( ) =, we see Q Id,X Ext Λ(,X ) = Hom A ( M Q K i,x ) = {f Hom A(M B Q,X) f( i) = } = Hom A (M B,X). (2) If i = then the assertion follows from () and the Tensor-Hom adjunction isomorphism. Let i. Using the abbreviation (M,I) = Hom A (M,I), by the exact sequence I I (M,I) ϕ (M,I),

9 BIMODULE MONOMORPHISM CATEGORIES AND RSS EQUIVALENCES 9 we get the exact sequence Ext i Λ(, I (M,I) ϕ ) Exti Λ(, (M,I) ) Ext i+ Λ (,I ) Exti+ Λ (, I (M,I) ). ϕ Since I (M,I) ϕ is an injective Λ-module, we have Exti+ Λ (,I ) = Ext i Λ(,( (M,I) ), and then the assertion follows from Ext i Λ(, (M,I) ) = Ext i B (,Hom A (M,I)), by using the injective resolution of Hom A (M,I). Lemma 2.6. If M B projective, then S(A,M,B) = D(A A). Proof. We need to prove that X φ D(A A) if and only if X φ S(A,M,B). Since M B is projective, Hom A (M,D(A A )) = DM is an injective left B-module, and hence Ext i B (,Hom A(M,D(A A ))) = for all i. Applying Hom Λ (, D(A A) get the commutative diagram with the upper row being exact Hom Λ ( X, D(A A) = Hom A (X,D(A A )) ) to the exact sequence X X φ, by Lemma 2.5 we ) and the following exact sequence for i Ext i Λ( X φ,da ) Ext i Λ( X,DA ) = Ext Λ (, D(A A) φ Hom A (M B,D(A A )), = ) Ext i+ Λ (,DA ) = Ext i A(X,DA) Ext i B(,Hom(M,DA)) =. = Ext Λ (X φ, D(A A) ) Ext i+ Λ (X φ,da ) So X φ D(A A) if and only if φ : Hom A (X,D(A A )) Hom A (M B,D(A A )) is an epimorphism, and if and only if φ : M B X is monic Proof of Theorem.. () By Lemma 2.4 we have the implications (i) (ii). (iii) = (ii) : Since S(A,M,B) = T, it is clear that S(A,M,B) is a resolving subcategory of Λ-mod. (i) = (iii) : Since M B is projective, Hom A (M,D(A A )) = DM is an injective left B-module, and hence Hom A(M,D(A A)) is an injective left Λ-module. By the exact sequence in Λ-mod D(AA) we see that inj.dim D(AA) Λ. D(A A) Hom A(M,D(A A)) ϕ Hom A(M,D(A A)) Let α : D(B B ) Hom A (M,E D(BB)) be the image of e Hom A (M B D(B B ),E D(BB)) under the adjunction isomorphism Hom A (M B D(B B ),E D(BB)) = Hom B (D(B B ),Hom A (M,E D(BB))). By the naturalness of the adjunction isomorphisms we have the commutative diagram Hom A (M B Hom A (M,E D(BB)),E D(BB)) = Hom B (Hom A (M,E D(BB)),Hom A (M,E D(BB))) (Id Bα,E D(BB )) Hom A (M B D(B B ),E D(BB)) = (α, (M,E D(BB ))) Hom B (D(B B ),Hom A (M,E D(BB))).

10 BAO-LIN XIONG PU ZHANG UE-HUI ZHANG Let ϕ : Hom A (M B Hom A (M,E D(BB)),D(B B )) be the involution map. By the above commutative diagram we can get ϕ( B α) = e. So we get a Λ-map α : ED(BB ) D(B B) e E D(BB ) Hom A(M,E D(BB, and we have the )) ϕ exact sequence in Λ-mod ED(BB ) D(B B) e ( ) α E D(BB ) Hom A(M,E D(BB )) (, α ) D(B B) ϕ Hom A(M,E D(BB )) Since E D(BB) is an injective left A-module, it follows that Hom A (M,E D(BB)) add(hom A (M,D(A A ))), so Hom A (M,E D(BB)) is an injective left B-module, and hence Hom A(M,E D(BB )) is an injective Λ-module. This ED(BB ) shows inj.dim Λ D(B. Thus inj.dim B) Λ T = inj.dim Λ ( D(A A) ED(BB e ) D(B ). B) e By Proposition 2.2(2), T is an injective object of S(A,M,B), so Ext Λ(T,T) =. It is clear that the number of the pairwise non-isomorphic indecomposable direct summands of T is the number of the simple Λ-modules. So Λ T is a cotilting Λ-module. Since T is an injective object of S(A,M,B) and inj.dim Λ T, we have S(A,M,B) T. By Lemma 2.6, S(A,M,B) = D(A A) T. Thus S(A,M,B) = T. If there is another cotilting Λ-module L such that S(A,M,B) = L. Then T L is also a cotilting Λ-module. By comparing the number of pairwise non-isomorphic indecomposable direct summands of T L and T, we see the uniqueness of T, up to the multiplicities of indecomposable direc summands. (2) The following construction is from C. Ringel and M. Schmidmeier RS2. Let X φ Λ-mod. Define Mimo(φ) to be the Λ-module X IKer(φ) φ e, where e : M B IKer(φ) is an extension of the injective envelope Ker(φ) IKer(φ). Then it is clear that Mimo(φ) is well-defined (i.e., independent of the choice of e) and it is in S(A,M,B). For any X Λ-mod, by the similar argument as in RS2, Prop. 2.4, one φ can see that (,) : Mimo(φ) = X IKer(φ) φ e X φ is a minimal right S(A,M,B)-approximation of X φ. Thus S(A,M,B) is a contravariantly finite subcategory of Λ-mod. By KS, Corol..3, a resolving contravariantly finite subcategory of Λ-mod is functorially finite, and by AS, Thm. 2.4, an extension-closed functorially finite subcategory of Λ-mod has Auslander-Reiten sequences. Thus, if M B is projective, then by (), S(A,M,B) is functorially finite in Λ-mod, and hence S(A,M,B) has Auslander-Reiten sequences Recall that each right Λ-module is identified with a triple (X,) φ, where X moda, modb, and φ : X A M is a right B-map; and a right Λ-map is identified with a pair (f,f 2 ) : (X, ) φ (X 2, 2 ) φ2, where f : X X 2 is an A-map and f 2 : 2 a B-map, such that f 2 φ = φ 2 (f ). The injective right Λ-modules are exactly (I,) and (Hom B (M,J),J) ϕ, where I (resp. J) runs over the injective right A-modules (resp. B-modules), and ϕ : Hom B (M,J) A M J is the involution map given by ϕ(f m) = f(m). See ARS, p.73. All the results obtained so far have the right module versions. We only write down what is needed later. The right module version of S(A,M,B) is S(A,M,B) r, which is the subcategory of modλ consisting of the triple (U,V) φ, where X moda, modb, and φ : X A M is a monic right B-map. Then S(A,M,B) r is a resolving subcategory of Λ-mod if and only if A M projective, and if and only if.

11 BIMODULE MONOMORPHISM CATEGORIES AND RSS EQUIVALENCES S(A,M,B) r = (D( A A),). The following result is only a part of the right module version of Theorem., which is what we will need later. A right module version of Theorem.. Let A M B be a bimodule with A M projective. Then U Λ := (D( A A),E D(AA)) e (,D( B B)) is a unique cotilting right Λ-module, up to multiplicities of indecomposable direct summands, such that S(A,M,B) r = (U Λ ), where E D(AA) is an injective envelope of D( A A) A M with embedding e : D( A A) A M E D(AA). In particular, if D( A A) A M is an injective right B-module, then U Λ = (D( A A),D( A A) A M) Id (,D( B B)) is a unique cotilting right Λ-module, up to multiplicities of indecomposable direct summands, such that S(A,M,B) r = (U Λ ). 3. Proof of Theorem Let A, B, C be additive categories. The diagram of functors i j! i B j A C i! j is a recollement of A relative to B and C, if the conditions (R),(R2),(R3) are satisfied: (R) (i,i ), (i,i! ), (j!,j ) and (j,j ) are adjoint pairs; (R2) i, j! and j are fully faithful; (R3) Imi = Kerj. Since the functors in an adjoint pair between additive categories are additive functors, all the six functors in a recollement of additive categories are additive The following fact is easy. Lemma 3.. Let A and B be additive categories with subcategories X and, respectively, (F, G) an adjoint pair with F : A B and G : B A. If FX and G X, then there is an induced adjoint pair (F,G) with F : A/X B/ and G : B/ A/X. Let Λ = A M B be an Artin algebra. Define five functors as follows. i : S(A,M,B) A-mod, X φ Coker(φ); j! : B-mod S(A,M,B), M B i : A-mod S(A,M,B), X X ; j : S(A,M,B) B-mod, X φ ; i! : S(A,M,B) A-mod, X φ X. Lemma 3.2. Let Λ = A M B be an Artin algebra. Then () (i,i ), (i,i! ), and (j!,j ) are adjoint pairs; (2) i and j! are fully faithful; (3) Imi = Kerj. Id ;

12 2 BAO-LIN XIONG PU ZHANG UE-HUI ZHANG Proof. () For any X φ S(A,M,B), W A-mod and V B-mod, we have the isomorphisms: Hom A (i ( X φ ),W) = Hom A(Coker(φ),W) = Hom Λ ( X φ,w ) = Hom Λ( X φ,i (W)); Hom Λ (i (W), X φ ) = Hom Λ( W,X φ ) = Hom A (W,X) = Hom A (W,i! ( X φ )); Hom Λ (j! (V), X φ ) = Hom Λ( M BV V,X φ ) = Hom B (V,) = Hom B (V,j ( X φ )). These show that (i,i ), (i,i! ), and (j!,j ) are adjoint pairs. (2) For any X,X 2 A-mod and, 2 B-mod, we have the isomorphisms: Hom Λ (i (X ),i (X 2 )) = Hom Λ ( X, X2 ) = HomA (X,X 2 ); Hom Λ (j! ( ),j! ( 2 )) = Hom Λ ( M B, M B 2 Id 2 Id ) = Hom B (, 2 ). These show that i and j! are fully faithful. (3) This is clear. Suppose that A M B satisfies the condition (IP). By Proposition 2.2, the injective objects of S(A,M,B) are exactly I and M BJ J, where I runs over injective A-modules, and J runs over injective B-modules. Thus, by the constructions all the functors i, i, i!, j! and j preserve injective objects. It follows from Lemmas 3. and 3.2 that there are the induced functors: i : S(A,M,B) A-mod, X φ Coker(φ); j! : B-mod S(A,M,B), M B i : A-mod S(A,M,B), X X ; j : S(A,M,B) B-mod, X φ ; i! : S(A,M,B) A-mod, X φ X such that the following fact holds: Lemma 3.3. If A M B satisfies the condition (IP), then (i, i ), (i, i! ) and (j!, j ) are adjoint pairs. Moreover, if in addition both A and B are selfinjective algebras, then all the functors i, i, i!, j!, j are triangle functors between triangulated categories. Proof. We only need to justify the last assertion. In this case, both A-mod and B-mod are triangulated categories. By Example.5(7), A M is projective; and then by Corollary 2.3, S(A,M,B) is a Frobenius category, hence S(A, M, B) is also a triangulated category. See H, p.6. Recall the distinguished triangles in the stable category of a Frobenius category. Each exact sequence X u X2 v X3 in A-mod gives rise to a distinguished triangle X u X2 v X3 X of A-mod, and conversely, each distinguished triangle of A-mod is of this form up to an isomorphism of triangles (see H, Chap., Sect. 2; also CZ, Lemma.2). Since the functor i : A-mod S(A,M,B) given by X X preserves exact sequences, i : A-mod S(A,M,B) preserves the distinguished triangles, i.e., i is a triangle functor. Note that in an adjoint pair (F,G) between triangulated categories, F is a triangle functor if and only if so is G (Ke, 6.7, N, p.79). Thus, i and i! are triangle functors. Id ; Similarly, j : S(A,M,B) B-mod is a triangle functor, and then so is j!. The following lemma is crucial in the proof of Theorem.3. Lemma 3.4. Assume that A M B satisfies the condition (IP). Then there exists a fully faithful functor j : B-mod S(A,M,B) such that (j,j ) is an adjoint pair.

13 BIMODULE MONOMORPHISM CATEGORIES AND RSS EQUIVALENCES 3 Proof. The following construction is similar as Z2, Thm Define a functor j : B-mod S(A,M,B) as follows. For B-mod, define j () := E ψ, where E is an injective envelope of the A-module M B with embedding ψ : M B E. (This is clearly well-defined. One can see this also from the argument below, by taking h = Id.) For h :, there is a commutative diagram with exact rows M B ψ π E Coker(ψ) h f M B ψ E Coker(ψ ) and we define j (h) := f h : E ψ E ψ. We claim that j (h) is well-defined, and hence the functor j : B-mod S(A,M,B) is well-defined. In fact, if there is another A-map f : E E such that f ψ = ψ ( h), then f ψ = fψ, i.e., (f f )ψ = and hence f f : E E factors through Coker(ψ). Furthermore, f f factors through an injective envelope I of Coker(ψ). Then it is clear that f h f = f f h : E E factors ψ ψ through the injective object I of S(A,M,B). So f h = f in S(A,M,B). Next, we claim that the functor j : B-mod S(A,M,B) induces a functor j : B-mod S(A,M,B). For this, assume that h : factors through an injective B-module J via h = h 2 h with some h Hom B (,J) and some h 2 Hom B (J, ). Taking an injective envelope E J of the A-module M B J with embedding η : M B J E J, then there are σ Hom A (E,E J ) and δ Hom A (E J,E ), such that η( h ) = σψ and ψ ( h 2 ) = δη. Thus fψ = ψ ( h) = ψ ( h 2 )( h ) = δη( h ) = δσψ, i.e., (f δσ)ψ =. Hence f δσ factors through Coker(ψ) via f δσ = γπ with some γ Hom A (Coker(ψ),E ). Consider an injective envelope I of Coker(ψ) with embedding α : Coker(ψ) I. Then there is a β Hom A (I,E ) such that γ = βα, and then we have f = δσ +βαπ. We present this process as the diagram: ψ π M B E Coker(ψ) h σ α γ h f η M B J E J h 2 β I δ M B ψ E Coker(ψ ). Now, we get a Λ-map with composition h ( ) σ h απ : E ψ E J J η I and a Λ-map ( δ h2, β ) : EJ J η I E ψ ( ( ) δ h2, β σ ) h απ = δσ h 2h + βαπ = δσ+βαπ h 2h = f h. This shows that f h : E E factors through the injective object E J ψ ψ J η I of S(A,M,B), and hence j (h) = f h = in S(A,M,B). Thus j induces a functor given by j () := E ψ and j (h) := f h. j : B-mod S(A,M,B)

14 4 BAO-LIN XIONG PU ZHANG UE-HUI ZHANG By construction it is clear that j is full. For h :, assume that j (h) = f h =. Then f h : E ψ E factorsthroughaninjectiveobject E J ψ J η I of S(A,M,B), andhenceh : factors through the injective B-module J. So j is also faithful. It remains to prove that (j,j ) is an adjoint pair. Thus, for X φ S(A,M,B) and B-mod, we need to show that there is a bi-functorial isomorphism Hom B (j ( X φ ), ) = Hom Λ ( X φ,j ( )), i.e. Hom B (, ) = Hom Λ ( X φ, E ) ψ where ψ : M B E is an injective envelope of M B. We claim that the map h f h gives such an isomorphism, where f : X E is an A-map such that fφ = ψ ( h). In fact, a Λ- E map f h : X φ factors through an injective object I ψ E J J of S(A,M,B) if and only if ψ h : factors through the injective B-module J. This shows that the given map above is well-defined and injective; and by the construction it is clearly surjective. This completes the proof Proof of Theorem.3. To see the diagram(.) forms a recollement of additive categories, by Lemmas 3.3 and 3.4 it remains to prove that i and j! are fully faithful, and that Imi = Kerj. Since A M B satisfies the condition (IP), by Proposition 2.2(2), I and M BJ J are injective objects of Id S(A,M,B), where I is an injective A-module and J is an injective B-module. Recall that i : A-mod S(A,M,B) is given by X X and f f, and j! : B-mod S(A,M,B) is given by M B Id and h h h. It is easy to see that i and j! are fully faithful. It is clear that Ker(j ) = { X φ S(A,M,B) B injective}. For any X φ Ker(j ), by the condition (IP), M B is an injective A-module, and hence the exact sequence M B φ X Coker(φ) splits. So X φ = M B Id Coker(φ). Since M B Id is an injective object of S(A,M,B), X φ = in S(A,M,B). Thus Kerj Imi, and Imi = Kerj. Coker(φ) IfbothAandB areselfinjective, thenbylemma3.3, allthefunctorsi,i,i!,j! andj aretrianglefunctors, and hence j is also a triangle functor. So (.) is a recollement of triangulated categories. In this case Λ is a Gorenstein algebra and S(A, M, B) is exactly the category of Gorenstein-projective Λ-modules (Z2, Lemma 2., Thm. 2.2), thus S(A,M,B) is exactly the singularity category D b sg(λ) := D b (Λ-mod)/K b (proj(λ)) (see R. Buchweitz Buch, Thm. 4.4.; see also O). Similarly, A-mod = D b sg (A) and B-mod = D b sg (B). 4. The dual version: the epimorphism category induced by a bimodule 4.. We briefly state the dual version for the next section. The epimorphism category F(A,M,B) induced by a bimodule A M B is the subcategory of Λ-mod consisting of X φ such that η,x(φ) : Hom A (M,X) is an epic left B-map, where η,x : Hom A (M B,X) = Hom B (,Hom A (M,X)) is the adjunction isomorphism. Then F(A, M, B) contains all the injective Λ-modules and is closed under direct sums, direct summands and extensions. Thus F(A, M, B) is a Krull-Schmidt exact category with the canonical exact structure. Proposition 2.3 Let A M B be a bimodule with A M projective. Then

15 BIMODULE MONOMORPHISM CATEGORIES AND RSS EQUIVALENCES 5 () F(A, M, B) has enough injective objects, which are exactly injective Λ-modules. (2) F(A, M, B) has enough projective objects; and the projective objects of F(A, M, B) are exactly C P η C,P (θ) and Q, where P (resp. Q) runs over projective A-modules (resp. B-modules), and θ : C Hom A (M,P) is aprojective cover of the left B-module Hom A (M,P). In particular, if in addition Hom A (M,A) is a projective left B-module, then the projective objects of F(A,M,B) are exactly P Hom and A(M,P) ϕ Q. Corollary 2.4 Let A M B be a bimodule with A M projective. Then F(A,M,B) is a Frobenius category (with the canonical exact structure) if and only if A and B are selfinjective algebras and M B is projective. Theorem. Let M be an A-B-bimodule. Then () The following are equivalent: (i) A M is projective; (ii) F(A,M,B) is a coresolving subcategory of Λ-mod; (iii) L := A C η C,A (θ) B is the unique tilting left Λ-module, up to multiplicities of indecomposable direct summands, such that F(A,M,B) = L, where C is a projective cover of the B-module Hom A (M,A) with projection θ : C Hom A (M,A). (2) F(A,M,B) is a covariantly finite subcategory of Λ-mod. Moreover, if A M is projective, then F(A, M, B) is a functorially finite subcategory of Λ-mod, and has Auslander-Reiten sequences. Corollary.2 If A M is projective and Hom A (M,A) is a projective left B-module, then L = B Id is a cotilting left Λ-module such that F(A,M,B) = L. A Hom A(M,A) ϕ Theorem.3. Let A M B be a bimodule such that A M is a projective A-module and Hom A (M,A) is a projective left B-module. Then there is a recollement of additive categories B-mod F(A,M,B) A-mod. If in addition A and B are selfinjective algebras, then it is in fact a recollement of singularity categories. Note that if A M B is an exchangeable bimodule then Hom A (M,A) is a projective left B-module Another description of the epimorphism category induced by a bimodule. Recall that the right module version of S(A,M,B) is S(A,M,B) r, which is the subcategory of modλ consisting of the triple (U,V) ψ, where U moda, V modb, and ψ : U A M V is a monic B-map. Proposition 4.. The restriction of D : modλ Λ-mod gives a duality D : S(A,M,B) r F(A,M,B). Proof. For a right A-module U, denote by α U the adjunction isomorphism D(U A M) = Hom R (U A M,J) = Hom A (M,Hom R (U,J)) = Hom A (M,DU) where D = Hom R (,J) is the duality. For a left A-module X and a left B-module, denote by η,x the adjunction isomorphism Hom A (M B,X) = Hom B (,Hom A (M,X)). For a right Λ-module (U,V) ψ with a right B-map ψ : U A M V, we have DV D(ψ) D(U A M) α U Hom A (M,DU), and η DV,DU : Hom B(DV,Hom A (M,DU)) Hom A (M B DV,DU). Then D : modλ Λ-mod, (U,V) ψ DU DV η DV,DU (α U D(ψ))

16 6 BAO-LIN XIONG PU ZHANG UE-HUI ZHANG with η DV,DU (α U D(ψ)) : M B DV DU. For a left Λ-module X φ with a left A-map φ : M B X, we have η,x (φ) Hom A (M,X) α DX D(DX A M). Then a quasi-inverse of D : modλ Λ-mod is with D(α DX η,x(φ)) : DX A M D. In fact, D : Λ-mod modλ, X φ (DX,D) D(α DX η,x (φ)) DD(U,V) ψ = D DU DV η DV,DU (α U D(ψ)) = (U,V) D(α U η DV,DU (η D V,DU (α U D(ψ)))) = (U,V) ψ and DD X φ = D(DX,D) D(α DX η,x (φ)) = X η,x (α DX DD(α DX η,x (φ))) = X φ. If a right Λ-module (U,V) ψ S(A,M,B) r, i.e., ψ : U A M V is a monic right B-map, then D(U,V) ψ = DV DU η (α F(A,M,B), D(ψ)) DV,DU U since η DV,DU (η D V,DU (α U D(ψ))) = α U D(ψ) : DV Hom A(M,DU) is an epic left B-map. If a left Λ-module X φ F(A,M,B), i.e., η,x(φ) : Hom A (M,X) is an epic left B-map, then D X φ = (DX,D) D(α DX η,x (φ)) S(A,M,B) r, since D(α DX η,x (φ)) : DX A M D is monic. 5. Ringel-Schmidmeier-Simson equivalences via cotilting modules Definition 5.. A Ringel-Schmidmeier-Simson equivalence, in short, an RSS equivalence, induced by a bimodule A M B is an equivalence F : S(A,M,B) = F(A,M,B) of categories, such that F X = X Hom, X A-mod, and F M B A(M,X) ϕ Id =, B-mod, where ϕ : M B Hom A (M,X) X is the involution map. An RSS equivalence implies a strong symmetry. It was first observed by C. Ringel and M. Schimdmeier RS2 for A M B = A A A. For an RSS equivalence induced by a chain without relations we refer to D. Simson S-S3, and for RSS equivalences induced by acyclic quivers with monomial relations we refer to ZX. 5.. Special cotilting modules induced by exchangeable bimodules. Let M be an A-B-bimodule. If M B DB is an injective left A-module, then by Corollary.2, Λ T = D(A A) M BD(B) D(B B) is a cotilting Id left Λ-module with S(A,M,B) = T. If D(A) A M is an injective right B-module, then by a right module version of Theorem. (cf. Subsection 2.4), U Λ = (D( A A),D( A A) A M) Id (,D( B B)) is a cotilting right Λ-module with S(A,M,B) r = (U Λ ). If A M B is exchangeable, then both the conditions are satisfied; and by D( A A A ) A M = M B D( B B B ), we can regard that T and U have the same underlying abelian group DA (M B DB) DB. The following lemma claims that in this case T (and U) can be endowed with a Λ-Λ-bimodule structure such that S(A,M,B) = ( Λ T) and S(A,M,B) r = (T Λ ) (thus T Λ = UΛ ). Lemma 5.2. Let A M B be an exchangeable bimodule with an A-B-bimodule isomorphism g : D( A A A ) A M = M B D( B B B ), and Λ T = DA M BDB DB. Then T has a Λ-Λ-bimodule structure such that both Id ΛT and T Λ are cotilting modules, T Λ = (D(A A),DA A M) Id (,D( B B)) as right Λ-modules, S(A,M,B) = ( Λ T) and S(A,M,B) r = (T Λ ). Write T = D(AA) M BD(B B) D(B B). Then the right Λ-action is given by ( ) α m Bβ ( a m β b ) = ( αa g(α Am)+m Bβb β b ).

17 BIMODULE MONOMORPHISM CATEGORIES AND RSS EQUIVALENCES 7 Proof. By Example.5(), A M B satisfies the condition (IP). It follows from Corollary.2 that Λ T is a cotilting left Λ-module with S(A,M,B) = ( Λ T). Since g is a right B-isomorphism, we get a right Λ-isomorphism (Id D(AA),g ) : (D( A A),M B DB) g = (D(A A),DA A M) Id. We endow the abelian group T = DA (M B DB) DB with a right Λ-module structure via g, i.e., T Λ = (D( A A),M B DB) g (,D( B B)). Then we get a right Λ-isomorphism: T Λ = (D( A A),M B DB) g (,D( B B)) = (D( A A),DA A M) Id (,D( B B)). since g is also a left A-map, one can easily verify that T is a Λ-Λ-bimodule. We omit the details. By Example.5(), D( A A A ) A M is an injective right B-module. It follows from the right module version oftheorem.(cf. Subsection2.4)that T Λ = (D(A A),DA A M) Id (,D( B B)) is acotiltingrightλ-module with S(A,M,B) r = (T Λ ). The following fact will play a crucial role in proving the existence of an RSS equivalence. Lemma 5.3. Let A M B be an exchangeable bimodule, and Λ T Λ the Λ-Λ-bimodule T given in Lemma 5.2. Then there is an algebra isomorphism ρ : End Λ ( Λ T) op = Λ, such that under ρ, the right module T EndΛ( ΛT) op coincides with the right module T Λ ; and there is an algebra isomorphism End Λ (T Λ ) = Λ, such that under this algebra isomorphism, the left module EndΛ(T Λ)T coincides with the left module Λ T. Proof. Since T Λ is a right Λ-module, we get the canonical algebra homomorphism ρ : Λ End Λ ( Λ T) op, λ t tλ. By Lemma 5.2, T Λ is cotilting, so T Λ is faithful (Suppose Tλ = for λ Λ. By a surjective Λ-map T DΛ with T addt, we see (DΛ)λ =, i.e., D(λΛ) =. So λ = ). Thus ρ is an injective map. On the other hand, we have algebra isomorphisms End Λ ( Λ T) op End Λ( DA = Hom Λ( DA, M BDB DB = A op M B op op = A M B = Λ. op ) HomΛ( M BDB, DB DA Id ) ) End M BDB Λ( ) Id DB Id Denote this algebra isomorphism End Λ ( Λ T) op = Λ by h. Since Λ is an Artin R-algebra, where R is a commutative artinian ring, hρ : Λ Λ is an R-endomorphism of artinian R-module Λ. Since hρ is an injective map, it follows that hρ is surjective, and hence ρ is surjective (since h is an R-module isomorphism). Thus ρ is an algebra isomorphism. By the construction of ρ, T EndΛ( ΛT) op is exactly T Λ. Since ρ : End Λ ( Λ T) op = Λ as algebras, and under ρ, T EndΛ( ΛT) op is exactly T Λ. By the tilting theory, the homomorphism Λ End Λ (T Λ ) given by λ t λt is an algebra isomorphism (HR, p.49), and hence End Λ(T Λ)T is exactly Λ T (one can also prove this by the same argument as above) Existence of RSS equivalences. For any left Γ-module L, following AR, let X Γ L be the subcategory of Γ-mod consisting of Γ-modules Γ X such that there is an exact sequence f f j X L L L j Lj+ with L j add( Γ L) and Imf j ( Γ L) for j. The following fact is in T. Wakamatsu W, Prop..

18 8 BAO-LIN XIONG PU ZHANG UE-HUI ZHANG Lemma 5.4. (W) For any Γ-module Γ L with C := End Γ (L) op, we have a contravariant functor Hom Γ (, Γ L) : X Γ L (L C ), such that if Γ X X Γ L, then the canonical Γ-map Γ X Hom C (Hom Γ ( Γ X, Γ L), L C ) is an isomorphism. Proof of Theorem.4. Step. We first prove that DHom Λ (, ΛT Λ ) : S(A,M,B) F(A,M,B) is an equivalence of categories. By Proposition 4., D : S(A,M,B) r F(A,M,B) is a duality. So, it suffices to prove that Hom Λ (, Λ T Λ ) : S(A,M,B) S(A,M,B) r is a duality. By Lemma 5.2, T is a Λ-Λ-bimodule such that S(A,M,B) = ( Λ T) and S(A,M,B) r = (T Λ ). Since ΛT is cotilting, it follows from M. Auslander and I. Reiten AR, Thm. 5.4(b) that X Λ T = ( Λ T). Thus S(A,M,B) = ( Λ T) = X Λ T. By Lemma 5.3, there is an algebra isomorphism ρ : End Λ ( Λ T) op = Λ, such that T EndΛ( ΛT) op = T Λ under ρ. So we can apply Lemma 5.4 to Λ T to get a contravariant functor: Hom Λ (, Λ T) : X Λ T = S(A,M,B) S(A,M,B) r = (T Λ ) such that for X S(A,M,B) = X Λ T, the canonical left Λ-map Λ X Hom Λ (Hom Λ ( Λ X, Λ T), T Λ ) is an isomorphism. Similarly, T Λ is a cotilting module and S(A,M,B) r = (T Λ ) = X TΛ (AR, Thm. 5.4(b)). By Lemma 5.3, there is an algebra isomorphism End Λ (T Λ ) = Λ, such that EndΛ(T Λ)T = Λ T under this isomorphism. So we can apply the right module version of Lemma 5.4 to T Λ to get a contravariant functor Hom Λ (,T Λ ) : X TΛ = S(A,M,B) r S(A,M,B) = ( Λ T) such that for each S(A,M,B) r = X TΛ, the canonical left Λ-map Λ Hom Λ (Hom Λ ( Λ, T Λ ), ΛT) is an isomorphism. Thus Hom Λ (, Λ T) : S(A,M,B) S(A,M,B) r is a duality with a quasi-inverse Hom Λ (,T Λ ) : S(A,M,B) r S(A,M,B). Step 2. Put F := DHom Λ (, Λ T Λ ) : S(A,M,B) = F(A,M,B) (cf. Proposition 4.). It remains to prove F( X ) = X Hom and F( M B A(M,X) ϕ Id ) = for X A-mod and B-mod. This is true by direct computations, which are included as an Appendix at the end of this paper RSS equivalences and the Nakayama functors. It is natural to ask when the Nakayama functor N A = DHom A (, A A A ) : A-mod A-mod induces an RSS equivalence S(A,M,B) = F(A,M,B). Denote by GP(Λ)(resp. GI(Λ)) the subcategory of Λ-mod consisting of Gorenstein-projective(resp. Gorensteininjective) modules (EJ). Proposition 5.5. Let A M B be an exchangeable A-B-bimodule. Then the restriction of the Nakayama functor N Λ gives an RSS equivalence S(A,M,B) = F(A,M,B) if and only if both A and B are Frobenius algebras. If this is the case, we have S(A,M,B) = GP(Λ) and F(A,M,B) = GI(Λ). Proof. IftherestrictionofN Λ givesanrssequivalence,thenwehaven Λ A = BB. However AA Hom A(M,A) N Λ A = DHom Λ( A,Λ) = DHom Λ( A,A M B Id ) = D(A,M) Id = D(A A) DM Id andn Λ M B Id = Id,

19 BIMODULE MONOMORPHISM CATEGORIES AND RSS EQUIVALENCES 9 and N Λ M B Id = DHom Λ( M B Id,Λ) = DHom Λ( M B Id,A M B Id ) = D(,B) = D(B B). So D(A A ) = A A and D(B B ) = B B, i.e., A and B are Frobenius algebras. Conversely, if both A and B are Frobenius algebras, then replacing Λ T Λ by Λ Λ Λ and using the same arguments as in the proofs of Lemmas 5.2 and 5.3 and Theorem.4, we get an RSS equivalence N Λ = DHom Λ (, Λ Λ Λ ) : S(A,M,B) F(A,M,B). IfbothAandB arefrobeniusalgebrasandboth A M andm B areprojective,thenλisagorensteinalgebra (cf. Z2, Lemma 2.), and then by Z2, Thm. 2.2 and its dual, S(A,M,B) = GP(Λ) and F(A,M,B) = GI(Λ). This completes the proof. Remark. For any algebra Γ, the Nakayama functor always gives an equivalence N Γ : GP(Γ) = GI(Γ) (see Bel, Prop. 3.4). Also, if A and B are Frobenius, then there is a left A-isomorphism f : D(A A ) = A A and a left B-isomorphism g : D(B B ) = B B, so Λ T = D(A A) M BD(B B) D(B B) = AA AM Id B Id = ΛΛ. By the symmetry a Frobenius algebra, there is a right A-isomorphism f 2 : D( A A) = A A and a right B-isomorphism g 2 : D( B B) = B B. So T Λ = (D(A A),D( A A) A M) Id (,D( B B)) = (A A,M B ) Id (,B B ) = Λ Λ. But T Λ as Λ-Λ-modules in general, since a Frobenius algebra is not necessarily a symmetric algebra. Thus, the if part of Proposition 5.5 is not a corollary of Theorem We illustrate Theorem.4 and Proposition 5.5. The conjunction of paths of a quiver is from the right to the left. Example 5.6. Let B be the path algebra k(b a). We write the indecomposable B-modules as = S(a) = P(a), = P(b) = I(a), = S(b) = I(b). Let A := B B and AM B := A A B. So A M B is an exchangeable bimodule, and Λ := A M B = B B B B = B k kq, where Q is the quiver α 3 β 2. Thus Λ is given by B the quiver 4 α 6 β 5 γ α 3 γ 3 β 2 γ 2 with relations γ α αγ 3, βγ 3 γ 2 β. We will write a Λ-module as a representation of Q over algebra B X (see e.g. ZX, LZ). Thus a Λ-module is written as X α X β X3 X2, where X,X 2,X 3 B-mod, and X α and X β are B-maps. For example, the indecomposable projective Λ-module P(6) = at vertex 6 is ( Id Id Id ) = (P(b) P(b) Id P(b))

20 2 BAO-LIN XIONG PU ZHANG UE-HUI ZHANG With this notation, the Auslander-Reiten quiver of Λ is Since Λ is of the form A M B, a Λ-module X X α X β X3 X2 is also written as a triple X X 2 X 3 φ, where X X 2 A-mod and φ : M B X 3 X X 2 is exactly the A-map ( ) Xα X β : X 3 X 3 X X 2. Thus it is in S(A,M,B) if and only if X α and X β are monic. So the Auslander-Reiten quiver of S(A,M,B) is: X 3 X α X β Note that (X 2 X և X 3 ) = X X 2 F(A,M,B) if and only if ( X α ) φ X β : X3 X X 2 is an epic B-map (in particular, X α and X β are epic; but this is not sufficient). So the Auslander-Reiten quiver of F(A,M,B) is: 2 There is a unique RSS equivalence, sending an indecomposable object in S(A,M,B) to the one in F(A,M,B), in the same positions of the Auslander-Reiten quivers. Note that this RSS equivalence is not given by the Nakayama functor N Λ, since it does not send projective Λ-modules to injective Λ-modules. β Example 5.7. Let Λ be the algebra given by the quiver 2 α with relation α 2. Then Λ := A M B, where A := kα/ α 2, B := e 2 Λe 2 = k, and A M k = e Λe 2 = kβ kαβ = A A k. Then A M k is an exchangeable

21 BIMODULE MONOMORPHISM CATEGORIES AND RSS EQUIVALENCES 2 bimodule. The Auslander-Reiten quiver of Λ is where the two s represents the same module, and the two 2 s also represents the same module. To compute S(A,M,B) and F(A,M,B), we need to write a Λ-module N as the form e N e, where φ : M 2N φ ke 2 N e N is the A-map given by the Λ-actions: β k e 2 n βe 2 n, αβ k e 2 n αβe 2 n, n N. 2 For example, the Λ-module 2 2 has a basis e,α,u,v with the Λ-actions e α u v e e α e 2 u v α α β α e αβ α it follows that 2 2 = ke kα ku kv with the A-map φ given by the Λ-actions: φ β k u βu = α, β k v βv = e, αβ k u αβu =, αβ k v αβv = α. So φ is not monic and hence 2 2 / S(A,M,B). Also, since the Λ-module 2 has a basis e,α,u with the Λ-actions given by the table above, it follows that 2 = ke kα with the A-map φ given as above. ku φ So φ is not monic and hence 2 objects:,, 2. / S(A,M,B). In this way we see that S(A,M,B) has 3 indecomposable Similarly a Λ-module N = e N e F(A,M,B) if and only if ϕ : e 2N φ 2N Hom A (M,e N) = e N is epic, where ϕ is the image of φ : M k e 2 N e N under the adjunction isomorphism. Note that ϕ : e 2 N e N is exactly given by the actions of β. For example, since the Λ-module 2 has a basis α,u with the Λ-actions given by the table above, it follows that 2 = kα ku with ϕ : ku kα given by φ u βu = α. So 2 F(A,M,B). In this way we see that F(A,M,B) has 3 indecomposable objects: 2, 2 2,2. There is a unique RSS equivalence given by 2, 2 2 2, 2. Note that S(A,M,B) = GP(Λ) and F(A,M,B) = GI(Λ), and this RSS equivalence is given by the Nakayama functor N Λ.