arxiv: v1 [math.rt] 20 Jan 2011

Transcription

1 MONOMORPHISM CATEGORIES, COTILTING THEORY, AND GORENSTEIN-PROJECTIVE MODULES arxiv: v1 [mathrt] 2 Jan 211 PU ZHANG Dedicated to Claus Michael Ringel on the occasion of his 65 th birthday Department of Mathematics, Shanghai Jiao Tong University Shanghai 224, P R China Abstract The monomorphism category S n(x is introduced, where X is a full subcategory of the module category A-mod of Artin algebra A The key result is a reciprocity of the monomorphism operator S n and the left perpendicular operator : for a cotilting A-module T, there is a canonical construction of a cotilting T n(a-module m(t, such that S n( T = m(t As applications, S n(x is a resolving contravariantly finite subcategory in T n(a-mod with S n(x = T n(a-mod if and only if X is a resolving contravariantly finite subcategory in A- mod with X = A-mod For a Gorenstein algebra A, the category T n(a-gproj of Gorensteinprojective T n(a-modules can be explicitly determined as S n( A Also, self-injective algebras A can be characterized by the property T n(a-gproj = S n(a Using S n(a = m(d(a A, a characterization of S n(a of finite type is obtained Key words and phrases Monomorphism category, cotilting modules, Gorenstein-projective modules Introduction Throughout A is an Artin algebra, and n 2 an integer Let A-mod be the category of finitely generated left A-modules, and X a full subcategory of A-mod Denote by Mor n (A the morphism category, which is equivalent to T n (A-mod, where T n (A is the upper triangular matrix algebra of A Let S n (A denote the full subcategory of Mor n (A given by S n (A = {X (φi Mor n (A all φ i are monomorphisms} G Birkhoff [Bir] initiated to classify the indecomposable objects of S 2 (Z/ p t In [RW] the indecomposable objects of S 2 (Z/ p t with t 5 were determined In [Ar] S n (R was denoted by C(n,R, where R is a commutative uniserial artinian ring; and the complete lists of C(n,R of finite type, and of the representation types of C(n,k[x]/ x t, have been given by D Simson [S] (see also [SW] C M Ringel and M Schmidmeier ([RS1] - [RS3] have intensively studied the monomorphism category S 2 (A According to [RS2], S n (A is a functorially finite subcategory in T n (A-mod; and hence S n (A has Auslander-Reiten sequences For more recent work related to the monomorphism categories we refer to [C], [IKM] and [KLM] 21 Mathematical Subject Classification 16G1, 16E65, 16G5 Supported by the NSF of China (172514, and STCSM (9XD1425 pzhang@sjtueducn 1

2 2 PU ZHANG On the other hand, M Auslander and I Reiten [AR] have established a relation between resolving contravariantly finite subcategories and cotilting theory, by asserting that X is resolving and contravariantly finite with X = A-mod if and only if X = T for some cotilting A-module T ([AR], Theorem 55(a, where T is the left perpendicular category of T Define S n (X to be the full subcategory of Mor n (A of all the objects X (φi, where all X i X, all φ i are monomorphisms, and all Cokerφ i X A main problem we concern is: when is S n (X contravariantly finite in T n (A-mod? This leads to the following reciprocity of the monomorphism operator S n and the leftperpendicular operator : given a cotilting A-module T, then m(t = T T T T T Ṭ T is a cotilting T n (A-module, such that S n ( T = m(t See Theorem 31 The proof needs the contravariantly finiteness of S n (A in T n (A-mod, and the six adjoint pairs between A-mod and T n (A-mod We illustrate this reciprocity with several applications First, we have a solution to the main problem: S n (X is a resolving contravariantly finite subcategory in T n (A-mod with Ŝn(X = T n (A-mod if and only if X is a resolving contravariantlyfinite subcategory in A-mod with X = A- mod (Theorem 39 As another application, taking T = A A for Gorenstein algebra A, the category T n (A-Gproj of Gorenstein-projective T n (A-modules, can be determined explicitly as S n ( A (Corollary 41 By D Happel s triangle-equivalence D b (A/K b (P(A = A for Gorenstein algebra A, one has D b (T n (A/K b (P(T n (A = S n ( A (Corollary 43 Also, self-injective algebras A can be characterized by the property S n (A = T n (A-Gproj (Theorem 44 TherepresentationtypeofS n (AisquitedifferentfromtheonesofAandofT n (A Forexample, k[x]/ x t is of finite type, T 2 (k[x]/ x t is of finite type if and only if t 3, but S 2 (k[x]/ x t is of finite type if and only if t 5, where k is an algebraically closed field If t > 6 then S 2 (k[x]/ x t is of wild type, while S 2 (k[x]/ x 6 is of tame type ([S], Theorems 52 and 55 A complete classification of indecomposable objects of S 2 (k[x]/ x 6 is exhibited in [RS3] Inspired by Auslander s classical result: A is of finite type if and only if there is an A-generator-cogenerator M such that gldimend A (M 2 ([Au], Chapter III, by using S n (A = m(d(a A, we prove that S n (A is of finite type if and only if there is a bi-generator M of S n (A such that gldimend Tn(A(M 2 (Theorem 51 As a corollary, for a self-injective algebra A, T n (A is CM-finite if and only if there is a T n (A-generator M which is Gorenstein-projective, such that gldimend Tn(A(M 2 (Corollary 52 1 Monomorphism categories We will define the monomorphism category S n (X and give its basic properties needed later 11 An object of the morphism category Mor n (A is X (φi = ( X1 X n (φ i, where φ i : X i+1 X i

3 MONOMORPHISM CATEGORIES AND COTILTING THEORY 3 ( f1 is an A-map, 1 i n 1; and a morphism X (φi Y (θi is f =, where f i : X i Y i is an A-map, 1 i n, such that every square in the following diagram commutes f n X n φ n 1 φ n 2 X n 1 φ 1 X 1 (11 f n f n 1 f 1 Y n θ n 1 Y n 1 θ n 2 θ 1 Y 1 Note that Mor n (A is again an abelian category, and that a sequence Z (ψi f g Y (θi X (φi in f i g i Mor n (A is exact if and only if Z i Yi Xi is exact in A-mod for each 1 i n 12 We define S n (X to be the full subcategory of Mor n (A consisting of all the objects X (φi, where X i X for 1 i n, φ i : X i+1 X i is a monomorphism and Cokerφ i X for 1 i n 1 In particular, we have S n (A-mod = {X (φi Mor n (A φ i is monic, 1 i n 1}, which will be denoted by S n (A Dually, F n (X is the full subcategory of Mor n (A consisting of all the objects X (φi, where X i X, 1 i n, φ i : X i+1 X i is an epimorphism and Kerφ i X for 1 i n 1 We call S n (X and F n (X the monomorphism category and the epimorphism category of X, respectively Lemma 11 Let A be an Artin algebra and X a full subcategory of A-mod (i Let Z (ψi Y (θi X (φi be an exact sequence in Mor n (A Then the following induced sequences are exact for each 1 i n 1 Ker(ψ 1 ψ i Ker(θ 1 θ i Ker(φ 1 φ i Coker(ψ 1 ψ i Coker(θ 1 θ i Coker(φ 1 φ i, and Kerψ i Kerθ i Kerφ i Cokerψ i Cokerθ i Cokerφ i (ii S n (X is closed under extensions (resp, kernels of epimorphisms, direct summands if and only if X is closed under extensions (resp, kernels of epimorphisms, direct summands (iii S n (A is closed under subobjects (iv If X is closed under extensions, then there is an equivalence of categories S n (X = F n (X given by S n (X X 1 X 2 X n 1 X n (φ i Cokerφ 1 Coker(φ 1φ 2 Coker(φ 1 φ n 1 X 1 where φ i : Coker(φ 1 φ i+1 Coker(φ 1 φ i, 1 i n 2, andφ n 1 : X 1 Coker(φ 1 φ n 1, are the canonical epimorphisms, with a quasi-inverse F n (X X 1 X 2 X n 1 X n (φ i X n Ker(φ 1 φ n 1 Ker(φ n 2φ n 1 Kerφ n 1 (φ i (φ i,

4 4 PU ZHANG where φ i : Ker(φ i φ n 1 Ker(φ i 1 φ n 1, 2 i n 1, and φ 1 : Ker(φ 1 φ n 1 X n, are the canonical monomorphisms Proof Applying Snake Lemma to the following commutative diagram with exact rows Z i+1 Y i+1 X i+1 ψ 1 ψ i θ 1 θ i φ 1 φ i Z 1 Y 1 X 1 we get the first exact sequence in (i; and the second one can be similarly obtained (ii follows from (i; (iii can seen from (11, and (iv is clear 13 Let X = ( X1 Mor n (A We call X i the i-th branch of X, and φ i the i-th morphism X n (φ i of X For each 1 i n, we define a functor m i : A-mod S n (A as follows For M A-mod, the j-th branch of m i (M is M if j i, and if j > i; and the j-th morphism of m i (M is id M if j < i, and if j i For each A-map f : M N, we define Ṃ Ṇ f m i (f = f : m i(m = M m i(n = N Note that the restriction of m i to X gives a functor X S n (X A functor p i : A-mod F n (A is dually defined, 1 i n The j-th branch of p i (M is M if j n i+1, and if j < n i+1; and the j-th morphism of p i (M is id M if j n i+1, and if j < n i+1 Also we define p i (f = f : p i(m = Ṃ p i(n = Ṇ f The restriction of p i to X gives a functor X F n (X We have m n (M = p n (M, M A-mod The following facts imply that in fact there are six adjoint pairs between A-mod and Mor n (A Lemma 12 Let A be an Artin algebra Then for each object X = X (φi Mor n (A and each A-module M, we have isomorphisms of abelian groups, which are natural in both positions M Hom Morn(A(m i (M,X = Hom A (M,X i, 1 i n, (12 Hom Morn(A(X,m i (M = Hom A (Coker(φ 1 φ i,m, 1 i n 1, (13 Hom Morn (A(X,m n (M = Hom A (X 1,M, (14 Hom Morn(A(X,p i (M = Hom A (X n i+1,m, 1 i n, (15 Hom Morn(A(p i (M,X = Hom A (M,Ker(φ n i φ n 1, 1 i n 1, (16 Hom Morn(A(p n (M,X = Hom A (M,X n (17 N

5 MONOMORPHISM CATEGORIES AND COTILTING THEORY 5 Proof We justify (13 Let π i : X 1 Coker(φ 1 φ i be the canonical epimorphism, 1 i n 1 Consider the homomorphism of abelian groups Hom A (Coker(φ 1 φ i,m Hom Morn(A(X,m i (M given by g gπ i gπ iφ 1 gπ iφ 1 φ i 1 M Ṃ : X M, g Hom A(Coker(φ 1 φ i,m By (11 we infer that it is surjective, and it is injective since π is epic It is clear that the isomorphisms are natural in both positions 14 Let P(A (resp I(A be the full subcategory of A-mod of projective (resp injective A-modules, and IndP(A (resp IndI(A be the set of pairwise non-isomorphic indecomposable projective (resp injective A-modules Lemma 13 Let A be an Artin algebra Then (i There is an equivalence of categories Mor n (A = T n (A-mod, which preserves the exact A A A A A structures, where T n (A is the n n upper triangular matrix algebra (ii Under this equivalence, we have A IndP(T n (A = {m 1 (P,, m n (P P IndP(A} S n (A, (18 IndI(T n (A = {p 1 (I,, p n (I I IndI(A} F n (A (19 Proof (i This is well-known, at least for n = 2 (see [ARS], p71 For convenience we include a short justification For 1 i j n, let e ij T n (A be the matrix with 1 in the (i,j-entry, and elsewhere ForaT n (A-moduleM wehavem = e 11 M e nn M asa-modules,andforana-map f : M N, the restriction f i of f to e ii M gives an A-map f i : e ii M e ii N Consider a functor F : T n (A-mod Mor n (A defined by F(M = ( e11m e nnm (φ M,i, where φ M,i : e i+1i+1 M e ii M is the A-map given by φ M,i (e i+1i+1 x = e ii e ii+1 e i+1i+1 x e ii M, 1 i n 1, and ( f1 ( e11m ( e11n F(f = : Then F is fully faithful For each object element of X as ( x1 x n f n e nnm ( X1 X n (φ M,i (φ i e nnn (φ N,i Mor n (A, put X = with x i X i With a T n (A-action on X defined by a 11 a 12 a 1n a 22 a 2n a nn x 1 x 2 x n = a 11x 1+ a 1jφ 1 φ j 1(x j j>1 a iix i+ j>ia ijφ i φ j 1(x j a nnx n 1 i n, X i, and write an

6 6 PU ZHANG X is a T n (A-module such that F(X = ( X1 X n (φ i, ie, F is dense (ii Since End Tn(A(m i (M = End A (M = End Tn(A(p i (M, M A-mod, it follows that if M is indecomposable then m i (M and p i (M are indecomposable Since m i and p i are additive functors, (18 follows from the decomposition T n (A = m i (A as left T n (A- 1 i n modules By (15 we see that p i (I, 1 i n, are indecomposable injective T n (A-modules, where I IndI(A, and then we infer (19, by comparing the number of pairwise non-isomorphic indecomposable injective T n (A-modules From now on we identify T n (A-mod with Mor n (A 15 A full subcategory X of A-mod is resolving if X contains all projective A-modules, X is closed under extensions, kernels of epimorphisms, and direct summands By Lemmas 13(ii and 11(ii, and using functor m 1 : X S n (X we get Corollary 14 Let A be an Artin algebra and X a full subcategory of A-mod Then S n (X is a resolving subcategory of Mor n (A if and only if X is a resolving subcategory of A-mod 2 Functorially finiteness of S n (A in Mor n (A The idea of the following result comes from [RS2] for S 2 (A Theorem 21 (Ringel - Schmidmeier Let A be an Artin algebra Then S n (A is a functorially finite subcategory in Mor n (A and has Auslander-Reiten sequences 21 Let X (φi Mor n (A Fix an injective envelope e i : Kerφ i IKerφ i Define object rmon(x S n (A as follows We have an A-map e i : X i+1 IKerφ i such that the following diagram commutes for each 1 i n 1 Kerφ i X i+1 (21 e i e i IKerφ i Of course e 1,,e n 1 are not unique However we choose and fix them, and then define θ i : X i+1 IKerφ i+1 IKerφ n 1 X i IKerφ i IKerφ i+1 IKerφ n 1 to be and define φ i e i 1 1 θ i = 1 (n i+1 (n i X 1 IKerφ 1 IKerφ n 1 X 2 IKerφ 2 IKerφ n 1 rmon(x = X n 1 IKerφ n 1 X n By construction all θ i s are monomorphisms, and hence rmon(x S n (A, (22 (θ i (23

7 MONOMORPHISM CATEGORIES AND COTILTING THEORY 7 Remark 22 By definition rmon(x seems to be of dependent on the choices of e 1,,e n 1 However, for an arbitrary choice of e 1,,e n 1, rmon(x will be proved to be a right minimal approximation of X in S n (A Thus, by the uniqueness of a right minimal approximation, rmon(x is in fact independent of the choices of e 1,,e n 1, up to isomorphism in Mor n (A 22 Denote by X the full subcategory of A-mod given by ([AR] X = {X A-mod an exact sequence X m X X withx i X, i m} A morphism f : X M is right minimal, if every endomorphism g of X with fg = f is an isomorphism A right approximation of M in X is a morphism f : X M with X X, such that the induced homomorphism Hom A (X,X Hom A (X,M is surjective for each X X A right approximationf : X M is a right minimal approximation if f is right minimal If every objet M admits a right minimal approximation in X, then X is called a contravariantly finite subcategory in A-mod Dually we have a covariantly finite subcategory in A-mod If X is both contravariantly and covariantly finite in A-mod, then X is a functorially finite subcategory in A-mod Lemma 23 Let A be an Artin algebra Then S n (A is a contravariantly finite subcategory in Mor n (A with Ŝn(A = Mor n (A Explicitly, for each object X (φi of Mor n (A, the epimorphism (1,,, : rmon(x X (24 (1, 1 is a right minimal approximation of X in S n (A Proof By (22and (23 it is easyto see that (24 is anepimorphism ( ofmor n (A Since S n (A is f1 closed under subobjects, it follows that Ŝn(A = Mor n (A Let : Y (ψi X be a morphism f n ( g1 of Mor n (A with Y = Y (ψi S n (A We need to find a morphism g = : Y rmon(x such that (1,,, (1, 1 g 1 g n 1 g n = f 1 f n 1 f n g n (25 f i α ii We will inductively construct g i = : Y i X i IKerφ i IKerφ n 1, 1 i n 1, α in 1 such that g : Y rmon(x is a morphism of Mor n (A, ie, θ i g i+1 = g i ψ i, or explicitly, such that φ if i+1 e if i+1 α i+1i+1 α i+1n 1 = f iψ i α iiψ i α ii+1ψ i α in 1ψ i (26 Clearly g n = f n Since ψ n 1 : Y n Y n 1 is monic and IKerφ n 1 is an injective object, it f n e n 1 follows that the composition Y n Xn IKerφn 1 extends to a morphism α n 1n 1 : Y n 1 IKerφ n 1 Define g n 1 = ( f n 1 ( φn 1f α n 1 n 1 Then we have n = Assume that we have constructed g n 1,,g t (t 2, such that (26 holds for t i n 1 Since e n 1f n ( fn 1ψ n 1 α n 1n 1ψ n 1

8 8 PU ZHANG ψ t 1 : Y t Y t 1 is monic and IKerφ t 1 is an injective object, it follows that the composition f t e t 1 Y t Xt IKerφt 1 extends to a morphism α t 1t 1 : Y t 1 IKerφ t 1 Similarly, for t j n 1, α tj : Y t IKerφ j extends to a morphism α t 1j : Y t 1 IKerφ j Define g t 1 = f t 1 α t 1t 1 α t 1t α t 1n 1 By construction (26 holds for i = t 1, and then (25 is clearly satisfied This proves that (24 is a right approximation of X in S n (A Now we prove that (24 is right minimal Assume that (1,,, such that (1, 1 h 1 h n 1 h n = (1,,, (1, 1 ( h1 h n is an endomorphism of rmon(x Weneed toproveallh i s areisomorphisms Write h n i+1 : X n i+1 IKerφ n i+1 IKerφ n 1 X n i+1 IKerφ n i+1 IKerφ n 1 as h 11 n i+1 h1i n i+1 h i1 n i+1 hii n i+1 Then h n i+1 is of the form h n i+1 = 1 h 21 n i+1 h22 n i+1 h2i n i+1 h i1 n i+1 hi2 n i+1 hii n i+1 It suffices to prove that all h n i+1 are lower triangular matrices with diagonal elements being isomorphisms We do this by induction Clearly h n = 1 From the commutative diagram X n θ n 1 X n 1 IKerφ n 1 h n 1 X n θ n 1 X n 1 IKerφ n 1 we have ( 1 h 21 n 1 h22 n 1 (φn 1 e n 1 = ( φn 1 e n 1, ie, h 21 n 1 φ n 1 +h 22 n 1 e n 1 = e n 1 : X n IKerφ n 1 h 1 Restricting the both sides to Kerφ n 1 we get h 22 n 1e n 1 = e n 1 : Kerφ n 1 IKerφ n 1 (see (21 Since e n 1 is an injective envelope, by definition h22 n 1 is an isomorphism Assume that h n t+1 (t 2 is a lower triangular matrix with diagonal elements being isomorphisms Since : rmon(x rmon(x is a morphism, we have φ n t e n t h n (t+1 t 1 h 21 n t+1 h22 n t+1 h2t n t+1 h t1 n t+1 ht2 n t+1 htt n t+1 = 1 h 21 n t h22 n t h2t+1 n t h t+11 n t ht+12 n t ht+1t+1 n t φ n t e n t 1 1 1,

9 MONOMORPHISM CATEGORIES AND COTILTING THEORY 9 ie, φ n t e n t h 21 n t+1 h22 n t+1 h23 n t+1 h2t n t+1 h t1 n t+1 ht2 n t+1 ht3 n t+1 htt n t+1 (t+1 t = Comparing the second row of the both sides we see φ n t h 21 n t φn t+h22 n ten t h23 n t h24 n t h2t+1 n t h 31 n t φn t+h32 n ten t h33 n t h34 n t h3t+1 n t h t+11 n t φn t+ht+12 n t en t ht+13 n t ht+14 n t ht+1t+1 n t (t+1 t h 23 n t =, h24 n t =,,h2t+1 n t = (27 For 3 i t+1, 2 j t, comparing the (i,j-entries in both sides we have h ij+1 n t = hi 1j n t+1 (28 Since h ij n t+1 = for j > i and h22 n t+1,,htt n t+1 are isomorphisms, it follows from (27 and (28 that h ij n t = h i 1j 1 n t+1 =, j > i, and that hss n t = hn t+1 s 1s 1 for s = 3,,t+1 It remains to prove that h 22 n t is an isomorphism Comparing the (2,1-entries we have h 21 n t φ n t +h 22 n t e n t = e n t : X n t+1 IKerφ n t Again restricting the both sides to Kerφ n t and by a same argument we see that h 22 n t is an isomorphism This completes the proof 23 Proof of Theorem 21 By Corollary 14 and Lemma 23 S n (A is a resolving contravariantly finite subcategory in T n (A-mod Then by Corollary 3 of [KS] (which asserts that a resolving contravariantly finite subcategory in A-mod is also covariantly finite in A-mod S n (A is a functorially finite subcategory in T n (A-mod Thus S n (A has Auslander-Reiten sequences, by Theorem 24 of [AS] 24 For a later use we write down the dual of Theorem 21 Theorem 21 Let A be an Artin algebra Then F n (A is a functorially finite subcategory in Mor n (A and has Auslander-Reiten sequences 3 Monomorphism categories and cotilting theory The promised reciprocity will be proved, and some consequences will be given 31 Let D be the duality A op -mod A-mod For M A-mod, denote by add(m the full subcategory of A-mod consisting of all the direct summands of finite direct sums of copies of M, and by M the full subcategory of A-mod given by {X A-mod Ext i A(X,M =, i 1} An A-module T is an r-cotilting module if the following three conditions are satisfied (i injdimt r; (ii Ext i A(T,T = for i 1; and (iii there is an exact sequence T s T D(A A with T i add(t, i s We refer to [HR] and [AR] for the tilting theory

10 1 PU ZHANG Given an A-module M, using functor m i : A-mod T n (A-mod we have a T n (A-module m(m = M M M M m i (M = M Ṃ (31 1 i n The key result of this paper is as follows Theorem 31 Let A be an Artin algebra, and T an A-module (i If there is an exact sequence T s T D(A A with T i add(t, i s, then S n ( T = m(t (ii If T is a cotilting A-module, then m(t is a unique cotilting T n (A-module, up to multiplicities of indecomposable direct summands, such that S n ( T = m(t M Taking T = D(A A in Theorem 31(ii we have Corollary 32 Let A be an Artin algebra Then S n (A = m(d(a A In fact, m(d(a A is the unique cotilting T n (A-module, up to multiplicities of indecomposable direct summands, such that S n (A = m(d(a A ; moreover, injdim m(d(a A = 1, and End Tn(A(m(D(A A = (T n (A op Note that the unique existence of a cotilting T n (A- module C such that S n (A = C is also guaranteed by Theorem 55(a in [AR]: since by Lemma 23 and Corollary 14 S n (A is a resolving contravariantly finite subcategory in T n (A-mod with Ŝ n (A = T n (A-mod If injdima A <, we can take T = A A in Theorem 31(i to get Corollary 33 Let A be an Artin algebra with injdima A < Then S n ( A = m(a 32 The proof of Theorem 31 needs Theorem 21 and the six adjoint pairs between A-mod and T n (A-mod, which were implied by Lemma 12 and will be further explored in the following Lemma 34 Let A be an Artin algebra and M an arbitrary A-module Then (i For each X T n (A-mod, we have isomorphisms of abelian groups, which are natural in both positions Ext j T n(a (m i(m,x = Ext j A (M,X i, j, 1 i n, (32 Ext j T n(a (X,m n(m = Ext j A (X 1,M, j, (33 Ext j T n(a (X,p i(m = Ext j A (X n i+1,m, j, 1 i n, (34 Ext j T n(a (p n(m,x = Ext j A (M,X n, j (35 (ii For each X = X (φi S n (A, we have isomorphisms of abelian groups, which are natural in both positions Ext j T n(a (X,m i(m = Ext j A (Coker(φ 1 φ i,m, j, 1 i n 1 (36

11 MONOMORPHISM CATEGORIES AND COTILTING THEORY 11 (ii For each X = X (φi F n (A, we have isomorphisms of abelian groups, which are natural in both positions Ext j T n(a (p i(m,x = Ext j A (M,Ker(φ n i φ n 1, j, 1 i n 1 (37 Proof (i We justify (33 Taking the 1-st branch of a projective resolution P 1 (ψ 1 i P (ψ i X (φ i ( of X = X (φi, by (18 we get a projective resolution P 1 1 P 1 X 1 of X 1 On the other hand, by (14 we get the following isomorphic complexes (for saving the space I omit Hom, and same convention below This implies (33 (X,m n (M (P,m n (M (P 1,m n (M (X 1,M (P 1,M (P 1 1,M (ii By Corollary 14 S n (A is a resolving subcategory of T n (A-mod, hence by Lemma 11(i we deduce from ( that Coker(ψ 1 1 ψ1 i Coker(ψ 1 ψ i Coker(φ 1 φ i isalsoexact(itishereweneedtheassumptionx (φi S n (A By(18weseethatCoker(ψ j 1 ψj i is again a projective A-module for every j (it suffices to see this for indecomposable projective T n (A-modules, which is of the form m i (P, it follows that this exact sequence turns out to be a projective resolution of Coker(φ 1 φ i On the other hand, for each 1 i n 1, by (13 we get the following two isomorphic complexes (X,m i (M (P,m i (M (P 1,m i (M (Coker(φ 1 φ i,m (Coker(ψ 1 ψ i,m (Coker(ψ 1 1 ψ 1 i,m This implies (36 33 The proof of the following lemma needs Ringel - Schmidmeier s theorem Lemma 35 Let A be an Artin algebra and X (φi a T n (A-module If X (φi m(d(a A, then φ i is monic, 1 j n 1 Proof Taking a right minimal approximation of X (φi in S n (A, by (24 we have an exact sequence K (θ i (rmon(x (θi X (φi ( Applying Hom Tn(A(,m i (D(A A to ( we get an exact sequence, and by (13 this exact sequence is (Coker(φ 1 φ i,d(a A (Coker(θ 1 θ i,d(a A (Coker(θ 1 θ i,d(a A,

12 12 PU ZHANG and hence we get the following exact sequence, which is induced by ( Coker(θ 1 θ i Coker(θ 1 θ i Coker(φ 1 φ i On the other hand, since θ 1 θ i is monic, by Lemma 11(i we get the following exact sequence, which is again induced by ( Ker(φ 1 φ i Coker(θ 1 θ i Coker(θ 1 θ i Coker(φ 1 φ i Thus Ker(φ 1 φ i =, and hence φ i is monic for 1 i n 1 Given an A-module M, using functor p i : A-mod T n (A-mod we get a T n (A-module p(m = 1 i n p i (M = M M M M M Ṃ M Proposition 36 Let A be an Artin algebra and T an arbitrary A-module Then S n ( T = m(t p(t m(d(a A Proof By (34 we have S n ( T p(t By (33 and (36 we have S n ( T m(d(a A Let X (φi S n ( T By definition φ i : X i+1 X i is monic and Cokerφ i T, 1 i n 1 By the exact sequence Cokerφ i Coker(φ 1 φ i Coker(φ 1 φ i 1 we inductively see Coker(φ 1 φ i T for 1 i n 1, and then by (36 and (33 this means X (φi m(t This proves S n ( T m(t p(t m(d(a A Conversely, let X (φi m(t p(t m(d(a A Then by (34 we have X i T, 1 i n, and by Lemma 35 φ i : X i+1 X i is monic, 1 i n 1 By (36 we know Coker(φ 1 φ i T for 1 i n 1, and from the exact sequence Cokerφ i Coker(φ 1 φ i Coker(φ 1 φ i 1 we know Cokerφ i T, 1 i n 1 This proves X (φi S n ( T and completes the proof 34 Now we deal with cotilting modules Lemma 37 Let A be an Artin algebra and T an r-cotilting A-module Then m(t is an (r+1- cotilting T n (A-module with End Tn(A(m(T = (T n (End A (T op Proof By (12 we have Hom Tn(A(m i (T,m j (T, i > j, = End A (T, i j, we infer that End Tn(A(m(T = (T n (End A (T op Assume that injdimt = r with a minimal injective resolution T I I r Since m n : A-mod T n (A-mod is an exact functor and m n (I j = p n (I j is an injective T n (A-module for each j, it follows that injdim m n (T = r Similarly, injdim p n i (T = r for

13 MONOMORPHISM CATEGORIES AND COTILTING THEORY 13 1 i n 1, and then by the following exact sequence Ṭ Ṭ m i (T = T m n(t = T Ṭ p n i(t = Ṭ T T we see injdim m i (T r +1 Thus injdim m(t r+1 By (32 we have Ext j T (m n(a i(t,m(t = Ext j A (T,(m(T i = Ext j A (T,T T =, j 1, 1 i n }{{} n i+1 This proves Ext j T n(a (m(t,m(t = for j 1 Since T is a cotilting A-module, we have an exact sequence d T s T s 1 T 2 d 2 1 d T1 T D(AA with every T j add(t Clearly we have an exact sequence m n (T s m n (T 1 mn(d1 m n (T mn(d m n (D(A A = p n (D(A A with every m n (T j add(m n (T add(m(t For 1 i n 1, we have the following exact sequence of T n (A-modules T T Kerd Kerd (φ j 1 1 ạ a m n (T = T T T T d d p i (D(A A = D(A D(A, where id T, 1 j n i 1, φ j = a, j = n i, id Kerd, n i+1 j n 1, and a : Kerd T is the embedding Consider the following sequence of T n (A-modules T 1 T 1 Kerd 1 Kerd 1 (φ 1 j f T 1 T 1 T 1 T 1 T T d 1 ( d 1 1 d 1, 1 d 1 T T Kerd Kerd (φ j, (38

14 14 PU ZHANG where f = ( 1 d 1 ( 1 d 1 ạ a : T 1 T 1 Kerd 1 Kerd 1 T 1 T T 1 T It is routine to see that f and all other maps in (38 are T n (A-maps (ie, (11 is satisfied for ( 1 d 1 (d 1,1 a d each map Since both T 1 T 1 T T and Kerd 1 1 T1 Kerd are exact, it follows that (38 is exact T 1 T 1 Repeating this process we get the following exact sequence of T n (A-modules m n i (T s m n (T s m n i (T s 1 m n (T 2 m n i (T 1 m n (T 1 m n i (T m n (T p i (D(A A By definition m(t is a cotilting T n (A-module 35 Proof of Theorem 31 (i By Proposition 36 we have S n ( T m(t Let X = X (φi m(t By the assumption on T we have an exact sequence m i (T s m i (T m i (D(A A, 1 i n, with m i (T j add(m i (T, j s It follows from X (φj m i (T that X (φj m i (D(A A, and hence by Lemma 35 φ i is monic for 1 i n 1 Now we can use (36 to get Coker(φ 1 φ i T for 1 i n 1, and by (33 we have X 1 T From the φ 1 φ i exact sequence X i+1 X 1 Coker(φ 1 φ i we know X i+1 T, 1 i n 1 From the exact sequence Cokerφ i Coker(φ 1 φ i Coker(φ 1 φ i 1 we know Cokerφ i T, 1 i n 1 This proves X (φi S n ( T and hence S n ( T = m(t (ii It follows from (i and Lemma 37 that m(t is a cotilting T n (A-module with S n ( T = m(t The remaining uniqueness follows from D Happel s result on the number of pairwise non-isomorphic direct summands of a cotilting module ([H1] This completes the proof 36 With the similar arguments one can prove Proposition 38 Let A be an Artin algebra and T an arbitrary A-module Then S n (T = m(t m(d(a A Moreover, if there is an exact sequence T s T D(A A with T i add(t, i s, then S n ( T T = m(t m(t As an application of Theorem 31, we get an answer to the main problem in Introduction Theorem 39 Let A be an Artin algebra and X a full subcategory of A-mod Then S n (X is a resolving contravariantly finite subcategory in T n (A-mod with Ŝn(X = T n (A-mod if and only if X is a resolving contravariantly finite subcategory in A-mod with X = A-mod

15 MONOMORPHISM CATEGORIES AND COTILTING THEORY 15 Proof If X is a resolving contravariantly finite subcategory in A-mod with X = A-mod, then by Theorem 55(a of Auslander-Reiten [AR] there is a cotilting A-module T such that X = T By Theorem 31(ii m(t is a cotilting T n (A-module such that S n (X = m(t Again by Theorem 55(a in [AR] we know that S n (X is a resolving contravariantly finite subcategory in T n (A- mod with Ŝn(X = T n (A-mod Conversely, assume that S n (X is a resolving contravariantly finite subcategory in T n (A-mod with Ŝn(X = T n (A-mod By Corollary 14 X is a resolving subcategory of A-mod Since S n (X is contravariantly finite in T n (A-mod with Ŝn(X = T n (A- mod, by using functor m 1 : A-mod S n (A, which induces a functor m 1 : X S n (X, we infer that X is contravariantly finite subcategory in A-mod with X = A-mod 37 For a later use we write down the dual versions of Theorem 31, Corollaries 32 and 33, Propositions 36 and 38 Theorem 31 Let A be an Artin algebra and T an arbitrary A-module (i We have F n (T = p(t m(t p(a (ii If there is an exact sequence A T T s with T i add(t, i s, then F n (T = p(t (iii If T is a tilting A-module, then p(t is a unique tilting T n (A-module, up to multiplicities of indecomposable direct summands, such that F n (T = p(t (iv p(a is the unique tilting T n (A-module, up to multiplicities of indecomposable direct summands, such that F n (A = p(a Moreover, projdim p(a = 1, and End Tn(A(p(A = (T n (A op (v If injdim A A <, then F n (D(A A = p(d(a A (vi We have F n ( T = p(t p(a (vii If there is an exact sequence A T T s with T i add(t, i s, then F n (T T = p(t p(t 38 We have the following Remark 31 (i The converse of Theorem 31(i is not true For example, let k be a field and A be the path k-algebra of the quiver 1 2 Then T 2 (A is the algebra given by the quiver α β γ δ with relation βα δγ The Auslander-Reiten quiver of T 2 (A is

16 16 PU ZHANG ( S(2 ( P(1 ( S(2 S(2 ( P(1 S(2 σ ( S(2 ( P(1 P(1 ( S(1 ( S(1 P(1 p ( S(1 S(1 ( P(1 ( S(1 Let T = S(1 S(2 Then S 2 ( T = S 2 ( S(2 = S 2 (add(a, and m(t = ( ( ( S(1 S(2 S(1 S(2 S(1 S(2 = ( S(1 It is clear that S 2 ( T = S 2 (add(a = add( ( S(2 ( P(1 but T does not satisfy the condition in Theorem 31(i ( S(2 ( S(2 S(2 ( S(2 S(2 ( P(1 P(1 = m(t, Nevertheless, even in this example, for many A-modules T not satisfying the condition in Theorem 31(i, we have S n ( T m(t For examples, this is the case when T = S(1, or T = S(2, or T = P(1 (ii Many cotilting T n (A-modules are not of the form m(t, where T is a cotilting A-module For example, if k is a field, then T 3 (k is the path k-algebra of the quiver There two basic cotilting T 3 (k-modules having the simple module S(2 as a direct summand, which are not of the form m(t, where T k-mod 4 Application to Gorenstein algebras Applying Theorem 31 to Gorenstein algebras, we explicitly determine all the Gorensteinprojective T n (A-modules We characterize self-injective algebras by monomorphism categories 41 Modules in ( A A are called Cohen-Macaulay A-modules Denote A by CM(A An A-module G is Gorenstein-projective, if there is an exact sequence P 1 P d P 1 of projective A-modules, which stays exact under Hom A (,A, and such that G = Kerd Let A-Gproj be the full subcategory of A-mod of Gorenstein-projective modules Then A-Gproj CM(A; and if A is a Gorenstein algebra (ie, injdim A A < and injdim A A <, then A-Gproj = CM(A (Enochs- Jenda [EJ2], Corollary 1153 Determining all the Cohen-Macaulay A-modules and all the Gorenstein-projective A-modules in explicit way, is a basic requirement in applications (see eg [AM], [B], [BGS], [CPST], [EJ2], [GZ], [K] Corollary 41 (i Let A be an Artin algebra with injdima A < Then CM(T n (A = S n (CM(A (ii Let A be a Gorenstein algebra Then T n (A-Gproj = S n (A-Gproj

17 MONOMORPHISM CATEGORIES AND COTILTING THEORY 17 Proof (i is a reformulation of Corollary 33 since m( A A = Tn(AT n (A If A is Gorenstein, then it is well-known that T n (A is again Gorenstein (for n = 2 see eg [FGR] or [H2]; in general see eg [XZ], Lemma 41(i, and hence (ii follows from (i Corollary 41(ii was obtained for n = 2 in Theorem 11(i of [LZ2] (see also Proposition 36(i of [IKM] 42 Dually, denote D(A A by CoCM(A An A-module G is Gorenstein-injective ([EJ1], if there is an exact sequence I 1 I d I 1 of injective A-modules, which stays exact under Hom A (D(A A,, and such that G = Kerd Let A-Ginj be the full subcategory of A-mod of Gorenstein-injective modules Then A-Ginj CoCM(A; and if A is Gorenstein then A-Ginj = CoCM(A By Theorem 31 (v and Corollary 41 we have Corollary 42 (i Let A be an Artin algebra with injdim A A < Then CoCM(T n (A = F n (CoCM(A (ii Let A be a Gorenstein algebra Then T n (A-Ginj = F n (A-Ginj, and the set of T n (A- modules which are simultaneously Gorenstein-projective and Gorenstein-injective is {m n (M M is simultaneously a Gorenstein-projective and Gorenstein-injective A-module} 43 Let D b (A be the bounded derived category of A, and K b (P(A the bounded homotopy category of P(A The singularity category D b sg(a of A is defined to be the Verdier quotient D b (A/K b (P(A If A is Gorenstein, then there is a triangle-equivalence D b sg (A = CM(A, where CM(A is the stable category of CM(A modulo P(A ([H2], Theorem 46; see also [Buc], Theorem 441 Thus by Corollary 41 we have Corollary 43 Let A be a Gorenstein algebra Then there is a triangle-equivalence D b sg(t n (A = S n (CM(A In particular, if A is a self-injective algebra, then D b sg (T n(a = S n (A 44 We have the following characterization of self-injective algebras Theorem 44 Let A be an Artin algebra Then A is a self-injective algebra if and only if T n (A-Gproj = S n (A Proof The only if part follows from Corollary 41(ii Conversely, by assumption D(A A S n (A is a Gorenstein-projective T n (A-module Thenthere isan exact sequence P 1 D(A A P d P 1 of projective T n (A-modules with = Kerd By taking the 1-st branch we get an exact sequence P1 1 P1 d 1 P1 1 of projective A-modules with Kerd 1 = D(A A This implies that D(A A is a projective module, ie, A is self-injective

18 18 PU ZHANG 5 Finiteness of monomorphism categories This section is to characterize S n (A which is of finite type 51 An additive full subcategory X of A-mod, which is closed under direct summands, is of finite type if there are only finitely many isomorphism classes of indecomposable A-modules in X If A-Gproj is of finite type, then A is said to be CM-finite An A-module M is an A-generator if each projective A-module is in addm A T n (A-generator M is a bi-generator of S n (A if M S n (A and m(d(a A add(m Theorem 51 Let A be an Artin algebra Then S n (A is of finite type if and only if there is a bi-generator M of S n (A such that gldimend Tn(A(M 2 If A is self-injective, then m(d(a A is a projective T n (A-module, and hence in add(m for each T n (A-generator M Combining Theorems 51 and 44 we have Corollary 52 Let A be a self-injective algebra Then T n (A is CM-finite if and only if there is a T n (A-generator M which is Gorenstein-projective, such that gldimend Tn(A(M 2 Corollary 52 also simplifies the result in [LZ1] in this special case 52 The proof of Theorem 51 will use Corollary 32, and Auslander s idea in proving his classical result cited in Introduction Given modules M,X A-mod, denote by Ω M (X the kernel of a minimal right approximation M X of X in add(m Define Ω M (X = X, and Ωi M (X = Ω M (Ω i 1 M (X for i 1 Define reldim MX to be the minimal non-negative integer d such that (X add(m, or if otherwise The following fact is well-known Ω d M Lemma 53 (M Auslander Let A be an Artin algebra and M be an A-module, and Γ = (End A (M op Then projdim Γ Hom A (M,X reldim M X for all A-modules X If M is a generator, then equality holds For an A-module T, denote by X T the full subcategory of A-mod given by d {X an exact sequence X T d 1 T1,with Ti add(t, Kerd i T, i } Note that X T T, and X T = T if T is a cotilting module ([AR], Theorem 54(b Lemma 54 Let A be an Artin algebra and M be an A-generator with Γ = (End A (M op, and T add(m Then for every A-module X X T and X / add(t, there is a Γ-module Y such that projdim Γ Y = 2+projdim Γ Hom A (M,X Proof By X X T there is an exact sequence X u T v T1 with T, T 1 add(t add(m This yields an exact sequence Hom A (M,X u Hom A (M,T v Hom A (M,T 1 Cokerv

19 MONOMORPHISM CATEGORIES AND COTILTING THEORY 19 Sincetheimageofv isnotprojective(otherwise, u splits, andthen onecandeduceacontradiction X add(t, putting Y = Cokerv we have projdim Γ Y = 2+projdim Γ Hom A (M,X 53 Proof of Theorem 51 Assume that S n (A is of finite type Then there is a T n (A-module M such that S n (A = add(m Since m(d(a A S n (A = add(m and S n (A contains all the projective T n (A-modules, by definition M is a bi-generator of S n (A Put Γ = (End Tn(A(M op For every Γ-module Y, take a projective presentation Hom Tn(A(M,M 1 f Hom Tn(A(M,M Y ofy, where M 1,M add(m, and f : M 1 M is a T n (A-map Since injdim m(d(a A = 1 (Lemma 37 and M 1 S n (A = m(d(a A (Corollary 32, it follows that Kerf (m(d(a A = add(m Thus Hom Tn(A(M,Kerf Hom Tn(A(M,M 1 Hom Tn(A(M,M Y is a projective resolution of Γ-module Y, ie, projdim Γ Y 2 This proves gldimγ 2 Since A is an Artin algebra, we have gldimend Tn(A(M = gldimγ 2 Conversely, assume that there is a bi-generator M of S n (A such that gldimend Tn(A(M 2 Put Γ = (End Tn(A(M op Then gldimγ 2 We claim that add(m = m(d(a A, and hence by Corollary 32 S n (A is of finite type In fact, since M S n (A = m(d(a A, it follows that add(m m(d(a A On the other hand, let X m(d(a A By Corollary 32 m(d(a A is a cotilting T n (A-module, and hence m(d(a A = X m(d(aa, by Theorem 54(b in [AR] If X add(m(d(a A, then X add(m since by assumption m(d(a A add(m If X / add(m(d(a A, then by Lemma 54 there is a Γ-module Y such that projdim Γ Y = 2+projdim Γ Hom Tn(A(M,X Now by Lemma 53 we have reldim M X = projdim Γ Hom Tn(A(M,X = projdim Γ Y 2 gldimγ 2, this means X add(m This proves the claim and completes the proof References [Ar] D M Arnold, Abelian groups and representations of finite partially ordered sets, Canad Math Soc Books in Math, Springer-Verlag, New York, 2 [Au] M Auslander, Representation dimension of artin algebras, Queen Mary College Math Notes, London, 1971 Also in: Selected works of Maurice Auslander, Part 1 (II, Edited by I Reiten, S Smalø, Ø Solberg, Amer Math Soc (1999, [AR] M Auslander, I Reiten, Applications of contravariantly finite subcategories, Adv Math 86(1991, [ARS] M Auslander, I Reiten, S O Smalø, Representation Theory of Artin Algebras, Cambridge Studies in Adv Math 36, Cambridge Univ Press, 1995 [AS] M Auslander, S O Smalø, Almost split sequences in subcategories, J Algebra 69(1981, [AM] L L Avramov, A Martsinkovsky, Absolute, relative, and Tate cohomology of modules of finite Gorenstein dimension, Proc London Math Soc 85(3(22, [B] A Beligiannis, Cohen-Macaulay modules, (cotosion pairs and virtually Gorenstein algebras, J Algebra 288(1(25, [Bir] G Birkhoff, Subgroups of abelian groups, Proc Lond Math Soc II, Ser 38(1934, [Buc] R-O Buchweitz, Maximal Cohen-Macaulay modules and Tate cohomology over Gorenstein rings, Unpublished manuscript, Hamburg (1987, 155pp [BGS] R-O Buchweitz, G-M Greuel, F-O Schreyer, Cohen-Macaulay modules on hypersurface singularities II, Invent Math 88(1(1987, [C] X W Chen, Stable monomorphism category of Frobenius category, avaible in arxiv:

20 2 PU ZHANG [CPST] L W Christensen, G Piepmeyer, J Striuli, R Takahashi, Finite Gorenstein representation type implies simple singularity, Adv Math 218(28, [EJ1] E E Enochs, O M G Jenda, Gorenstein injective and projective modules, Math Z 22(4(1995, [EJ2] E E Enochs, O M G Jenda, Relative homological algebra, De Gruyter Exp Math 3 Walter De Gruyter Co, 2 [FGR] R Fossum, P Griffith, I Reiten, Trivial extensions of abelian categories, Lecture Notes in Math 456, Springer-Verlag, 1975 [GZ] N Gao, P Zhang, Gorenstein derived categories, J Algebra 323(21, [H1] D Happel, Triangulated categories in representation theory of finite dimensional algebras, London Math Soc Lecture Notes Ser 119, Cambridge Uni Press, 1988 [H2] D Happel, On Gorenstein algebras, in: Representation theory of finite groups and finite-dimensional algebras, Prog Math 95, , Birkhüser, Basel, 1991 [HR] D Happel, C M Ringel, Tilted algebras, Trans Amer Math Soc 274(2(1982, [IKM] O Iyama, K Kato, J I Miyachi, Recollement on homotopy categories and Cohen-Macaulay modules, avaible in arxiv: math RA [K] H Knörrer, Cohen-Macaulay modules on hypersurface singularities I, Invent Math 88(1(1987, [KS] H Krause, Ø Solberg, Applications of cotorsion pairs, J London Math Soc 68(3(23, [KLM] D Kussin, H Lenzing, H Meltzer, Nilpotent operators and weighted projective lines, avaible in arxiv: math RT [LZ1] Z W Li, P Zhang, Gorenstein algebras of finite Cohen-Macaulay type, Adv Math 223(21, [LZ2] Z W Li, P Zhang, A construction of Gorenstein-projective modules, J Algebra 323(21, [RW] F Richman, E A Walker, Subgroups of p 5 -bounded groups, in: Abelian groups and modules, Trends Math, Birkhäuser, Basel, 1999, [RS1] C M Ringel, M Schmidmeier, Submodules categories of wild representation type, J Pure Appl Algebra 25(2(26, [RS2] C M Ringel, M Schmidmeier, The Auslander-Reiten translation in submodule categories, Trans Amer Math Soc 36(2(28, [RS3] C M Ringel, M Schmidmeier, Invariant subspaces of nilpotent operators I, J rein angew Math 614 (28, 1-52 [S] D Simson, Representation types of the category of subprojective representations of a finite poset over K[t]/(t m and a solution of a Birkhoff type problem, J Algebra 311(27, 1-3 [SW] D Simson, M Wojewodzki, An algorithmic solution of a Birkhoff type problem, Fundamenta Informaticae 83(28, [XZ] B L Xiong, P Zhang, Cohen-Macaulay modules over triangular matrix Artin algebras, preprint (29