arxiv: v1 [math.rt] 29 Dec 2014

Transcription

1 GORENSTEIN TRIANGULAR MATRIX RINGS AND CATEGORY ALGEBRAS REN WANG arxiv: v1 [mathrt] 29 Dec 214 Abstract We give conditions on when a triangular matrix ring is Gorenstein of a given selfinjective dimension We apply the result to the category algebra of a finite EI category In particular, we prove that for a finite EI category, its category algebra is 1-Gorenstein if and only if the given category is free and projective 1 Introduction Let R be a ring with a unit Recall that R is Gorenstein if R is two-sided noetherian satisfying id R R < and idr R < Here, we use id to denote the injective dimension of a module It is well known that for a Gorenstein ring R we have id R R = idr R ; see [14, Lemma A] Let m A Gorenstein ring R is m-gorenstein if id R R = idr R m We observe that a -Gorenstein ring coincides with a quasi-frobenius ring R 1 M 12 M 1n R 2 M 2n Let n 2 Let Γ = be an upper triangular matrix ring of R n order n, where each R i is a ring and each M ij is an R i -R j -bimodule together with bimodule morphisms ψ ilj : M il Rl M lj M ij satisfying ψ ijt ψ ilj m il m lj m jt = ψ ilt m il ψ ljt m lj m jt for 1 i < l < j < t n R 1 M 12 M 1t R 2 M 2t For 1 t n 1,we denote by Γ t = the ringgiven by the t t R t leading principal submatrix of Γ Denote the natural left Γ t -module M t M 1,t+1 M t,t+1 by We will prove the following result, where the first statement is obtained by applying [3, Theorem 33] repeatedly We mention that the Gorensteinness of an upper triangular matrix ring is studied in [13] and [5] Proposition 11 Assume that R 1,R 2,,R n are quasi-frobenius rings Then Date: December 3, Mathematics Subject Classification Primary 16G1; Secondary 16D9, 18E3 Key words and phrases Gorenstein algebra, category algebra, matrix ring, finite EI category 1

2 2 REN WANG 1 The upper triangular matrix ring Γ is Gorenstein if and only if all the bimodules M ij are finitely generated projective on both sides; 2 The upper triangular matrix ring Γ is 1-Gorenstein if and only if all the bimodules M ij are finitely generated projective on both sides, and each left Γ t -module M t is projective for 1 t n 1 For the proof, 1 is a special case of Proposition 34 Thanks to 1, the only if part of 2 is a special case of Proposition 381, and the if part is a special case of Proposition 382 Here, we use the fact that a module over a quasi-frobenius ring is projective provided that it has finite projective dimension Let k be a field and let C be a finite EI category Here, the EI condition means that any endomorphism in C is an isomorphism For an object x, we denote by Aut C x and kaut C x the group of endomorphisms of x and the group algebra, respectively We observe that for any two objects x and y in C, khom C x,y is a kaut C y-kaut C x-bimodule We say that a finite EI category C is projective over k if each bimodule khom C x,y is projective on both sides We denote by kc the category algebra of C We mention that category algebras play an important role in the representation theory of finite groups; see [9, 1] The following result is an application of Proposition 111, where we use the fact that the category algebra is isomorphic to a certain upper triangular matrix algebra Proposition 12 Let k be a field and C be a finite EI category Then the category algebra kc is Gorenstein if and only if C is projective over k The concept of a finite free EI category is introduced in [8] It is due to [8, Theorem 53] that the category algebra kc is hereditary if and only if C is a finite free EI category satisfying that the endomorphism groups of all objects have orders invertible in k The following result is a Gorenstein analogue to [8, Theorem 53] Theorem 13 Let k be a field and C be a finite EI category Then the category algebra kc is 1-Gorenstein if and only if C is free and projective over k Indeed, we may deduce [8, Theorem 53] from Theorem 13, using the well-known fact that a finite dimensional algebra is hereditary if and only if it is 1-Gorenstein with finite global dimension; see Example 55 This paper is organized as follows In Section 2, we give an explicit description of projective modules and injective modules over an upper triangular matrix ring In Section 3, we give conditions on when a triangular matrix ring is Gorenstein of a given selfinjective dimension, and prove Proposition 11 In Section 4, we give a new characterization of finite free EI categories in terms of the corresponding triangular matrix algebras; see Proposition 45 In Section 5, we prove Proposition 12 and Theorem 13 2 Modules over triangular matrix rings In this section, we describe explicitly projective modules and injective modules over an upper triangular matrix ring Let R 1 and R 2 be two rings, M 12 an R 1 -R 2 -bimodule We consider the corresponding upper triangular matrix ring Γ = 12 R1 M R 2

3 GORENSTEIN TRIANGULAR MATRIX RINGS AND CATEGORY ALGEBRAS 3 Recall the description of left Γ-modules via column vectors Let X i be a left R i - module, i = 1,2, and let ϕ 12 : M 12 R2 X 1 be a morphism ofleft R 1 -modules We define the left Γ-module structure on X = by the following identity r1 m 12 x1 r1 x = 1 +ϕ 12 m 12 x 2 r 2 x 2 r 2 x 2 We mention that the left Γ-module structure on X = depends on the morphism ϕ 12 Indeed, every left Γ-module arises in this way; compare [1, III2, Propo- X sition 21] A morphism 1 f1 of Γ-modules is denoted by, where f 2 f i : X i X i is an R i-morphism satisfying f 1 ϕ 12 = ϕ 12 Id M 12 f 2 21 Dually, we have the description of right Γ-modules via row vectors Let M be a left module over a ring R We denote by pd R M and id R M the projective dimension and the injective dimension of M, respectively The following lemma is well-known; compare [1, III, Proposition 23 and 25] and [13, Lemma 12] R1 M Lemma 21 Let Γ = 12 be an upper triangular matrix ring, and let R 2 X = be a left Γ-module as above Then the following statements hold 1 pd R1 X 1 = pd Γ 2 pd R2 pd Γ and id R2 = id Γ and id R1 X 1 id Γ R1 M Let Γ = 12 be as above For each left R R 1 -module X 1, we associate 2 X two left Γ-modules i 1 X 1 = and j 1 X 1 = 1, where Hom R1 M 12,X 1 the Γ-module structure on j 1 X 1 is determined by the evaluation map M 12 R2 Hom R1 M 12,X 1 X 1 For each left R 2 -module, we associate two left Γ- M12 modules i 2 = R2 and j =, where the Γ-module 2 X2 structure on i 2 is determined by the identity map on M 12 R2 The following result seems to be well known; compare [1, III, Proposition 25] For completeness, we include a proof R1 M Lemma 22 Let Γ = 12 be an upper triangular matrix ring Then we R 2 have the following statements 1 A left Γ-module is projective if and only if it is isomorphic to i 1 P 1 i 2 P 2 for some projective left R 1 -module P 1 and projective left R 2 -module P 2 2 A left Γ-module is injective if and only if it is isomorphic to j 1 I 1 j 2 I 2 for some injective left R 1 -module I 1 and injective left R 2 -module I 2

4 4 REN WANG Proof We only prove 1 For the if part, we consider the subring Γ R1 = R 2 of Γ Then P P1 = is a projective left Γ P -module We observe that i 1 P 1 2 i 2 P 2 isomorphic to Γ Γ P It follows that the left Γ-module i 1 P 1 i 2 P 2 is projective For the only if part, let X = be a projective left Γ-module Then by Lemma 212 is a projective left R 2 -module, and by above i 2 is a projective left Γ-module Consider the nature projections i 2 π1 and X2 X π2 Since i X2 2 and X are projective left Γ-modules, we have two morphisms i 2 α X and X β i 2 satisfying π 1 = π 2 α and π 2 = π 1 β Therefore, π 1 β α = π 1 By 21, we observe that β α = Id i2 It follows that α is a split monomorphism In particular, X is isomorphic to i 2 Cokerα X We observe that Cokerα is of the form 1 = i 1 X 1 for some left R 1-module X 1 Since Cokerα is a projective left Γ-module, we have that X 1 is a projective left R 1 -module by Lemma 211 Then we are done Wenowextendtheaboveresultstoanuppertriangularmatrixringofanarbitrary order Let n 2 Let R i be a ring for 1 i n, and let M ij be an R i -R j -bimodule for 1 i < j n Let ψ ilj : M il Rl M lj M ij be morphisms of R i -R j -bimodules satisfying ψ ijt ψ ilj m il m lj m jt = ψ ilt m il ψ ljt m lj m jt for 1 i < l < j < t n Then we have the corresponding n n upper triangular R 1 M 12 M 1n R 2 M 2n matrix ring Γ = The elements of Γ, denoted by m ij, are R n n n upper triangular matrices, where m ij M ij for i < j and m ii R i The multiplication is induced by those morphisms ψ ilj We write ψ ilj m il m lj as m il m lj We describe left Γ-modules via column vectors Let X i be a left R i -module for 1 i n, and ϕ jl : M jl Rl X l X j be a morphism of left R j -modules satisfying ϕ ij Id Mij ϕ jl = ϕ il ψ ijl Id Xl X 1 for 1 i < j < l n Set X = Denote the elements of X by x i, where X n x i X i for 1 i n We write ϕ ij m ij x j as m ij x j Then we define the left Γ-module structure on X by the following identity n m ij x i = m il x l Indeed, every left Γ-module arises in this way Dually, we have the description of right Γ-modules via row vectors l=i

5 GORENSTEIN TRIANGULAR MATRIX RINGS AND CATEGORY ALGEBRAS 5 Let Γ be an upper triangular matrix ring of order n as above We consider the subringγ D =diagr 1, R n ofγconsistingofdiagonalmatrices Observethat Γ D is isomorphic to the direct product ring n i=1 R i We view an R i -module as a Γ D - module via the projection Γ D R i We denote the i-th column of Γ by C i which is a Γ-R i -bimodule, and denote the i-th row of Γ by H i which is an R i -Γ-bimodule Let 1 t n, and let A be a left R t -module We consider the Γ-module i t A = C t Rt A Observe an isomorphism Γ Γ D A i t A 22 M 1t Rt A of Γ-modules sending m ij a to m it a We describe i t A as R t Rt A, where the correspondingmorphismsϕ jl = ψ jlt Id A forl < t, ϕ jt : M jt Rt R t Rt A M jt Rt A is the canonical isomorphism, and ϕ jl = for l > t We consider the Γ-module j t A = Hom Rt H t,a Observe an isomorphism Hom Γ DΓ,A j t A 23 ofγ-modulessendingf toitsrestrictiononh t Wedescribej t Aas Hom Rt R t,a, Hom Rt M tn,a wherethecorrespondingmorphismsϕ jl : M jl Rl Hom Rt M tl,a Hom Rt M tj,a aregivenbyϕ jl m jl fm tj = fm tj m jl forj > t,ϕ tl : M tl Rl Hom Rt M tl,a Hom Rt R t,a is the evaluation map, and ϕ jl = for j < t The following results give an explicit description of projective modules and injective modules over an upper triangular matrix ring Proposition 23 Let Γ be an upper triangular matrix ring of order n Then we have the following statements 1 A left Γ-module is projective if and only if it is isomorphic to n i t P t for some projective left R t -module P t, 1 t n 2 A left Γ-module is injective if and only if it is isomorphic to n some injective left R t -module I t, 1 t n j t I t for Proof We only prove 1 The if part is obvious since i t preserves projective modules by the isomorphism 22 Forthe onlyif part,weuseinductiononn Ifn = 2,itisLemma221 Assume Γn 1 Mn 1 that n > 2 Write Γ =, where Γ R n 1 is the n 1 n 1 leading n principal submatrix of Γ and M n 1 = M 1n M n 1n is a Γ n 1 -R n -bimodule Assume

6 6 REN WANG X that X is a projective left Γ-module Write X =, where X = X n X 1 X n 1 is a left Γ n 1 -module By Lemma 221, X i 1X 1 i n P n, where X 1 is a projective left Γ n 1 -module and P n is a projective left R n -module By induction, we have an isomorphism X 1 n 1 i t P t of Γ n 1 -modules, where P t is a projective left R t -module, 1 t n 1 We identify i 1i t P t with i t P t This completes the proof 3 Gorenstein triangular matrix rings In this section, we study Gorenstein upper triangular matrix rings We give conditions such that the upper triangular matrix rings are Gorenstein with a prescribed selfinjective dimension Let R be a ring with a unit Recall that R is Gorenstein if R is two-sided noetherian satisfying id R R < and idr R < It is well known that for a Gorenstein ring R, id R R = idr R ; see [14, Lemma A] Let m A Gorenstein ring R is m-gorenstein if id R R = idr R m Recall that for any m-gorenstein ring R and any left or right R-module X, id R X < if and only if id R X m, if and only if pd R X <, if and only if pd R X m; see [7, Theorem 9] The following result generalizes [13, Lemma 26] with a different proof R1 M Lemma 31 Let Γ = 12 be a Gorenstein upper triangular matrix ring R 2 Then the following are equivalent 1 idr 1 R1 < 2 The ring R 1 is Gorenstein 3 pd R1 M 12 < 4 id R2 R 2 < 5 The ring R 2 is Gorenstein 6 pdm 12 R2 < Proof We observe that R 1 and R 2 are two-sided noetherian rings, since they are isomorphic to certain quotient rings of Γ R1 R1 1 2 We observe that id Γ <, since is a projective left Γ-module and Γ is Gorenstein Lemma 212 implies that id R1 R 1 < Hence R 1 is Gorenstein M12 M We observe that id Γ <, since is a projective left R 2 R 2 Γ-module and Γ is Gorenstein Lemma 212 implies that id R1 M 12 < Since R 1 is Gorenstein, we have pd R1 M 12 < M By Lemma 211, pd Γ = pd R1 M 12 < Since Γ is Gorenstein, we have id Γ < Recall from above that id M12 M12 Γ < The R 2

7 GORENSTEIN TRIANGULAR MATRIX RINGS AND CATEGORY ALGEBRAS 7 following exact sequence of Γ-modules M12 M12 R 2 R2 implies id Γ R 2 < By Lemma 211 id R2 R 2 < Then we are done We observe that the opposite ring Γ op of Γ is identified with the upper triangular R op matrix ring 2 M 12 R op Then 4 5 is similar to 1 2 ; 5 6 is 1 similar to 2 3 ; 6 1 is similar to 3 4 R1 M Lemma 32 [3, Thorem 33] Let Γ = 12 be an upper triangular matrix R 2 ring Assume that R 1 and R 2 are Gorenstein Then Γ is Gorenstein if and only if M 12 is finitely generated and has finite projective dimension on both sides R 1 M 12 M 1n R 2 M 2n Let n 2, and let Γ = be an upper triangular matrix ring of R n order n R 1 M 12 M 1t Notation 33 Set M 1: = R 2 M 2t M 12,,M 1n We denotebyγt = the ring given by the t t leading principal submatrix of Γ for 1 t n 1 We denote by Γ n 1 the ringgivenby the n 1 n 1principal submatrix ofγwhich leaves out the first row and the first column Denote the natural left Γ t -module M 1,t+1 M t,t+1 by M t R t The following result extends Lemma 32 Proposition 34 Let Γ be an upper triangular matrix ring of order n as above Assume that all R i are Gorenstein Then Γ is Gorenstein if and only if all bimodules M ij are finitely generated and have finite projective dimension on both sides Proof of the only if part Assume that Γ is Gorenstein We use induction on n The case n = 2 is due to Lemma 32 Assume that n > 2 Write Γ = Γn 1 Mn 1 R1 M = 1: R n Γ Then Γ n 1 and Γ n 1 are Gorenstein by Lemma 31, n 1 and Mn 1 and M 1: are finitely generated and have finite projective dimension on both sides by Lemma 32 By induction, all M ij possibly except for M 1n are finitely generated and have finite projective dimension on both sides Since M 1n is a direct summand of Mn 1 as a right R n-module, it is finitely generated as a right R n - module, and pdm 1n Rn < Since M 1n is a direct summand of M 1: as a left R 1 -module, it is finitely generated as a left R 1 -module, and pd R1 M 1n < We prove the if part of Proposition 34 together with the following lemma

8 8 REN WANG Lemma 35 Let Γ be an upper triangular matrix ring of order n Assume that all bimodules M ij are finitely generated and have finite projective dimension on both sides 1 Let X = X 1 X n be a left Γ-module If each X i is finitely generated as a left R i -module satisfying pd Ri X i <, then X is finitely generated as a left Γ-module satisfying pd Γ X < 2 Let Y = Y 1,,Y n be a right Γ-module If each Yi is finitely generated as a right R i -module satisfying pdy i Ri <, then Y is finitely generated as a right Γ-module satisfying pdy Γ < Proof of the if part of Proposition 34 and Lemma 35 We use induction on n If n = 2, Lemma 32 implies that Γ is Gorenstein Let X = be a left Γ-module The following exact sequence of Γ-modules X X2 implies that X is finitely generated, since and are finitely generated X2 We have id R2 <, since R 2 is Gorenstein and pd R2 < By Lemma 211, id Γ = id X R2 <, hence pd Γ < ByLemma 211, pd 2 X Γ = 2 pd R1 X 1 < Then by the above exact sequence, we have pd Γ X < The proof of Lemma 352 is similar Γn 1 Mn 1 Assume that n > 2 Write Γ = R1 M = 1: R n Γ Let X be a n 1 X left Γ-module and Y be a right Γ-module Write X = and Y = Y X 1,Y, n X 1 where X = and Y = Y 2,,Y n By induction, Γn 1 and Γ n 1 are X n 1 Gorenstein,X isfinitelygeneratedasaleft Γ n 1 -modulesatisfyingpd Γn 1 X <, and Y is finitely generated as a right Γ n 1 -module satisfying pdy Γ n 1 < We consider the left Γ n 1 -module Mn 1 By induction in Lemma 351, M n 1 is finitely generated as a left Γ n 1 -module satisfying pd Γn 1 Mn 1 < We observe that Mn 1 is finitely generated as a right R n-module satisfying pdmn 1 R n < By Lemma 32, Γ is Gorenstein This proves the if part of Proposition 34 in the general case X For Lemma 351, write X =, where by induction X X is finitely generated n as a left Γ n 1 -module satisfying pd Γn 1 X <, and X n is finitely generated as a left R n -module satisfying pd Rn X n < Then X is finitely generated as a left Γ-module satisfying pd Γ X < The proof of Lemma 352 in this general case is similar We give a characterization of left Γ-modules with finite projective dimension; compare [5, Proposition 281]

9 GORENSTEIN TRIANGULAR MATRIX RINGS AND CATEGORY ALGEBRAS 9 Corollary 36 Let Γ be a Gorenstein upper triangular matrix ring of order n with X 1 each R i Gorenstein Let X = be a finitely generated left Γ-module Then X n pd Γ X < if and only if pd Ri X i < for each 1 i n Proof The if part is due to Lemma 351 For the only if part, we only prove the case n = 2 The general case is proved by induction Let X = be a left Γ-module By Lemma 212, pd R2 pd Γ X < and id R1 X 1 id Γ X < Then pd R1 X 1 < since R 1 is Gorenstein The following results estimate the selfinjective dimension of an upper triangular matrix ring; compare [3, Remark 35] R1 M Proposition 37 Let Γ = 12 be an upper triangular matrix ring with R R 1 2 and R 2 Gorenstein Let m,d 1,d 2 1 If Γ is m-gorenstein, then both R 1 and R 2 are m-gorenstein Moreover, pd R1 M 12 m 1 if m 1 2 Assume that R i is d i -Gorenstein for i = 1,2 If M 12 is finitely generated and projective on both sides, then Γ is d-gorenstein, where d = max{d 1,d 2 } if d 1 d 2, and d = d 1 +1 if d 1 = d 2 R1 R1 Proof 1 We have id Γ m, since Γ is m-gorenstein and is a R1 projective Γ-module By Lemma 212, id R1 R 1 id Γ m Then R 1 is m-gorenstein Recall by Lemma 31, pd R1 M 12 < By Lemma 211, M12 pd Γ = pd R1 M 12 < Then the following exact sequence of Γ-modules M12 M12 R 2 R2 M12 implies pd Γ <, since is a projective Γ-module Then we have R 2 R 2 id Γ m since Γ is m-gorenstein By Lemma 211, id R R2 R 2 = id Γ 2 R 2 M12 m ThenR 2 ism-gorenstein Moreover,bytheaboveexactsequence,pd Γ = M12 or pd Γ = pd Γ 1 m 1 for m 1 Hence by Lemma 211, R2 pd R1 M 12 m 1 for m 1 2 By Lemma 32, Γ is Gorenstein By the following exact sequence of left Γ-modules R1 R j 1 R 1 = 1, Hom R1 M 12,R 1 Hom R1 M 12,R 1 we have R1 id Γ max {id Γ j 1 R 1,id Γ Hom R1 M 12,R 1 } +1

10 1 REN WANG Observe that for any left R 1 -module X, id R2 Hom R1 M 12,X id R1 X since R 1 M 12 R2 is projective on both sides Then we have id R2 Hom R1 M 12,R 1 id R1 R 1 d 1 We have id R2 Hom R1 M 12,R 1 d 2, since R 2 is d 2 -Gorenstein By Lemma 211, id Γ = id Hom R1 M 12,R 1 R2 Hom R1 M 12,R 1 min{d 1,d 2 } The exact functor j 1 preserves injective modules Then we have id Γ j 1 R 1 R1 id R1 R 1 d 1 Hence id Γ max{d 1,min{d 1,d 2 } + 1} d We have id Γ M12 d, since M 12 is a finitely generated projective left R 1 -module By Lemma 211, id Γ R 2 = id R2 R 2 d 2 d since R 2 is d 2 -Gorenstein Then the following exact sequence of Γ-modules M12 M12 R 2 M12 implies id Γ d Hence id R Γ Γ d since Γ = 2 modules Then Γ is d-gorenstein R2 R1 M12 as left Γ- R 2 The following results estimate the selfinjective dimension of an upper triangular matrix ring in general case Recall the Γ t -module Mt from Notation 33 Proposition 38 Let Γ be an upper triangular matrix ring of order n with each R i Gorenstein Let m and d i for each i 1 If Γ is m-gorenstein, then each R i is m-gorenstein Moreover, pd Γt M t m 1 if m 1 for 1 t n 1 2 Assume that R i is d i -Gorenstein for 1 i n If all bimodules M ij are finitely generated and projective on both sides, and each M t is a projective left Γ t -module for 1 t n 1, then Γ is d-gorenstein, where d = max{d 1,d 2,,d n }+1 Proof 1 We use induction on n The case n = 2 is due to Proposition 371 Γn 1 Mn 1 Assume that n > 2 Write Γ = By Lemma 31, Γ R n 1 is Gorenstein n Then by Proposition 371, we infer that Γ n 1 and R n are m-gorenstein, and pd Γn 1 Mn 1 m 1 if m 1 By induction, we are done 2 We use induction on n The case n = 2 is due to Proposition 372 Assume Γn 1 Mn 1 that n > 2 Write Γ = By induction, Γ R n 1 is d -Gorenstein, where n d = max{d 1,d 2,,d n 1 }+1 Since Mn 1 is a projective left Γ n 1-module and a projective right R n -module, we have that Γ is d -Gorenstein by Proposition 372, where d = max{d,d n } if d d n, and d = d + 1 if d = d n In particular, we observe that d max{d 1,d 2,,d n }+1 = d 4 Free EI categories In this section, we give a new characterization of finite free EI categories in terms of the corresponding triangular matrix algebras Let k be a field Let C be a finite category, that is, it has only finitely many morphisms, and consequently it has only finitely many objects Denote by MorC

11 GORENSTEIN TRIANGULAR MATRIX RINGS AND CATEGORY ALGEBRAS 11 the finite set of all morphisms in C The category algebra kc of C is defined as follows: kc = kα as a k-vector space and the product is given by the rule α MorC { α β, if α and β can be composed in C; α β =, otherwise The unit is given by 1 kc = Id x, where Id x is the identity endomorphism of an object x in C x ObjC Let C and D be finite categories If they are equivalent, then kc and kd are Morita equivalent; see [1, Proposition 22] In particular, kc is Morita equivalent to kc, where C is any skeleton of C So we may assume that C is skeletal, that is, for any two distinct objects x and y in C, x is not isomorphic to y The category C is called a finite EI category provided that all endomorphisms in C are isomorphisms In particular, Hom C x,x = Aut C x is a finite group for any object x in C In what follows, we assume that C is a finite EI category which is skeletal Let C have n objects with n 2 We assume that ObjC = {x 1,x 2,,x n } satisfying Hom C x i,x j = if i < j Let M ij = khom C x j,x i Write R i = M ii We observe that R i = Id xi kcid xi = kaut C x i is a group algebra Then M ij is naturally an R i -R j -bimodule, and we have a morphism of R i -R j -bimodules ψ ilj : M il Rl M lj M ij which is induced by the composition of morphisms in C Notation 41 The category algebra kc is isomorphic to the corresponding upper R 1 M 12 M 1n R 2 M 2n triangular matrix algebra Γ C = Let Γ t be the algebra given by the t t leading principal submatrix of Γ C Denote the left Γ t -module by Mt, for 1 t n 1 R n M 1,t+1 M t,t+1 Definition 42 Let C be a finite EI category with ObjC = {x 1,x 2,,x n } satisfying Hom C x i,x j = if i < j We say that C is projective over k if each M ij = khom C x j,x i is a projective left R i -module and a projective right R j - module for 1 i < j n Let G be a finite group We assume that G has a left action on a finite set X For any x X, denote its stabilizer by Stabx = {g G gx = x} The vector space kx is a natural kg-module The following result is well known, which can be deduced from [6, II5 Theorem 6] We give an elementary argument for completeness; compare the third paragraph of the proof of [9, Theorem 25] Lemma 43 The kg-module kx is projective if and only if the order of each stabilizer Stabx is invertible in k Proof WemayassumethattheactiononX istransitive Takex X, wehavex G/Stabx Then we have an isomorphism kx kg/stabx of kg-modules We observe the following Maschke-type result: for any subgroup H of G, the canonical

12 12 REN WANG projection kg kg/h of kg-modules splits if and only if the order of H is invertible in k Then the lemma follows immediately Let C be a finite EI category and α Hom C x,y We call L α = {g Aut C y g α = α} the left stabilizer of α, and R α = {h Aut C x α h = α} the right stabilizer of α Then we have the following immediate consequence of Lemma 43 Corollary 44 Let C be a finite EI category Then C is projective if and only if for any α MorC, the orders of L α and R α are invertible in k Let C be a finite EI category Recall from [8, Definition 23] that a morphism x α y in C is unfactorizable if α is not an isomorphism and whenever it has a factorization as a composite x β z γ y, then either β or γ is an isomorphism Let x α y in C be an unfactorizable morphism Then h α g is also unfactorizable for every h Aut C y and every g Aut C x; see [8, Proposition 25] Let x α y in α C be a morphism with x y Then it has a decomposition x = x 1 α 2 α x1 n x n = y with all α i unfactorizable; see [8, Proposition 26] Following [8, Definition 27], we say that a finite EI category C satisfies the Unique Factorization Property UFP, if whenever a non-isomorphism α has two decompositions into unfactorizable morphisms: α x = x 1 α 2 α x1 m x m = y and β 1 β 2 β n x = y y1 yn = y, then m = n, x i = y i, and there are h i Aut C x i, 1 i n 1 such that β 1 = h 1 α 1, β 2 = h 2 α 2 h1 1,, β n 1 = h n 1 α n 1 h 1 n 2, β n = α n h 1 n 1 Let C be a finite EI category Following [8], we say that C is a finite free EI category if it satisfies the UFP This is an equivalent characterization of finite free EI categories in [8, Proposition 28] Let Γ = Γ C be the correspondingupper triangularmatrix algebraof C We recall the Γ t -module Mt from Notation 41 for each 1 t n 1 We have the following characterization of finite free EI categories Proposition45 Let C be a finiteskeletal EI category with ObjC = {x 1,x 2,,x n } satisfying Hom C x i,x j = if i < j Assume that C is projective Then C is free if and only if each M t is a projective left Γ t -module for 1 t n 1 Before giving the proof of the proposition, we make some preparations Definition 46 Let C be a finite EI category and x ObjC We say that C is free from x if whenever an arbitrary non-isomorphism x α y in C has two decompositions x α1 α z 2 β 1 β 2 1 y and x z2 y with α1 and β 1 unfactorizable, then z 1 = z 2 and there is an endomorphism h Aut C z 1 such that β 1 = h α 1 and β 2 = α 2 h 1 Lemma 47 Let C be a finite EI category Then C is free if and only if C is free from any object Proof The only if part is trivial For the if part, assume that C is free from any object Let x α y be a non-isomorphism in C Assume that α has two decompositions into unfactorizable morphisms: α x = x 1 α 2 α x1 m x m = y

13 GORENSTEIN TRIANGULAR MATRIX RINGS AND CATEGORY ALGEBRAS 13 and β 1 β 2 β n x = y y1 yn = y Since C is free from x, we have x 1 = y 1, and there is an endomorphism h 1 Aut C x 1 such that β 1 = h 1 α 1 and α m α 2 = β n β 2 h 1 We continue this process We obtainthat m = n, x i = y i, andthere areh i Aut C x i, 1 i m 1 such that β 1 = h 1 α 1, β 2 = h 2 α 2 h 1 1,, β m 1 = h m 1 α m 1 h 1 m 2, β m = α m h 1 m 1 Then C is free Let W il Hom C x l,x i and T lj Hom C x j,x l be subsets Denote the subset W il T lj = {f g f W il and g T lj } Hom C x j,x i Notation 48 Set Hom Cx j,x i = {α Hom C x j,x i α is unfactorizable} Denote M ij = khom Cx j,x i Then M ij is an R i-r j -subbimodule of M ij Moreover, as an R i -R j -bimodule j 1 M ij = Mij l=i+1 khom C x l,x i Hom C x j,x l Lemma 49 Let C be a finite EI category with ObjC = {x 1,x 2,,x n } satisfying Hom C x i,x j = if i < j Assume that C is free from x j Then for any 1 i < j, we have j 1 Hom C x j,x i = Hom C x l,x i Hom C x j,x l, l=i where the right hand side is a disjoint union Proof Recall that the category C is free from x j Then we have Hom C x l1,x i Hom Cx j,x l1 Hom C x l2,x i Hom Cx j,x l2 = φ for l 1 l 2 Since every morphism can be decomposed as a composition of unfactorizable morphisms, we have the required equation We observe that there is a surjective morphism ξ ilj : M il Rl M lj khom Cx l,x i Hom C x j,x l 41 of R i -R j -bimodules sending β α to β α for i < l < j We recall the Γ n 1 -module i t A for each 1 t n 1 and each R t -module A; see 22 Then we have the following natural surjective morphisms n 1 Φ i : Min l=i+1 M il Rl M ln M in 42 of R i -R n -bimodules induced by ξ iln for 1 i < l n 1, and n 1 Φ : i t Mtn M n 1 43 of Γ n 1 -R n -bimodules induced by Φ i for 1 i n 1 Lemma 41 Let C be a finite EI category with ObjC = {x 1,x 2,,x n } satisfying Hom C x i,x j = if i < j Assume that C is projective Then the above surjective morphism Φ is a projective cover of the left Γ n 1 -module M n 1

14 14 REN WANG Proof Since the category C is projective, we have that M tn is a projective left R t - module for each 1 t n 1 Then each Mtn is a projective left R t-module, since it is a direct summand of M tn ; see Notation 48 By Proposition 231, n 1 i t Mtn is a projective left Γ n 1 -module To provethat Φ is a projectivecover, it suffices to show that top n 1 i t Mtn and topmn 1 are isomorphic Here, we write topx = X/radX for a module X, where radr 1 M 12 M 1,n 1 radr 2 M 2,n 1 radx denotestheradicalofx RecallradΓ n 1 = radr n 1 By rad n 1 i t Mtn = radγ n 1 n 1 i t Mtn, we compute that the i-th componentoftop n 1 i t MtnisisomorphictoM in /radr imin Byasimilarcalculation, we have that the i-th component of topmn 1 is isomorphic to M in /radr imin Then we have the required isomorphism Lemma 411 Let C be a finite EI category with ObjC = {x 1,x 2,,x n } satisfying Hom C x i,x j = if i < j Assume that C is projective Then the following are equivalent 1 The category C is free from x n 2 All the surjective morphisms Φ i are isomorphisms 3 The surjective morphism Φ is an isomorphism 4 The left Γ n 1 -module M n 1 is projective Proof 1 2 Sincethe category C isfreefromx n, bynotation48andlemma 49 we have n 1 M in = Min khom C x l,x i Hom C x n,x l l=i+1 Since Φ i is induced by ξ iln, we only need to prove that ξ iln is an isomorphism for each i < l < n Indeed, since C is free from x n, we have β α = β α in Hom C x l,x i Hom C x n,x l if and only if β = β g and α = g 1 α for some g Aut C x l Then we have a well-defined morphism η iln : khom C x l,x i Hom C x n,x l M il Rl M ln of R i -R n -bimodules sending β α to β α It is directly verify that ξ iln and η iln are mutually inverse Then we have the required isomorphisms 2 1 Since each Φ i is an isomorphism for 1 i n 1, we have Hom C x l1,x i Hom Cx n,x l1 Hom C x l2,x i Hom Cx n,x l2 = φ for i < l 1 l 2 < n, which implies that C is free from x n 2 3 It is obvious, since Φ is induced by Φ 1,,Φ n Apply Lemma 41 Proof of Proposition 45 Assume that C is projective For each 1 t n 1, we consider the full subcategory C t of C with ObjC t = {x 1,,x t } We observe that C t is free from x t if and only if C is free from x t Then by Lemma 411, we have

15 GORENSTEIN TRIANGULAR MATRIX RINGS AND CATEGORY ALGEBRAS 15 that C is free from x t if and only if M t is a projective left Γ t -module By Lemma 47, we are done 5 The main results In this section, we give a necessary and sufficient condition on when the category algebra kc of a finite EI category C is Gorenstein, and when kc is 1-Gorenstein Throughout this section, when the category C is skeletal, we assume that ObjC = {x 1,x 2,,x n } satisfying Hom C x i,x j = if i < j Proposition 51 Let k be a field and C be a finite EI category Then the category algebra kc is Gorenstein if and only if C is projective over k Proof Without loss of generality, we assume that C is skeletal Otherwise, we take its skeleton C, which is equivalent to C We observe that C is projective if and only if C is projective and that C is Gorenstein if and only if C is Gorenstein Let Γ = Γ C be the corresponding upper triangular matrix algebra of C Observe that R i = kaut C x i is a group algebra of a finite group In particular, it is a selfinjective algebra Then each R i -R j -bimodule M ij has finite projective dimension on both sides if and only if it is projective on both sides Consequently, the statement is immediately due to Proposition 34 Example 52 Let G be a finite group and P a finite poset We assume that P is a G-poset, that is, G acts on P by poset automorphisms We recall that the transporter category G P is defined as follows It has the same objects as P, that is, ObjG P = ObjP For x,y ObjG P, a morphism from x to y is an element g in G satisfying gx y The corresponding morphism is denoted by g;gx y The composition of morphisms is given by the multiplication in G We observe that G P is a finite EI category Here, we use the fact that gx x implies gx = x One can check directly that if Hom G P x,y φ, then both Aut G P x and Aut G P y act freely on Hom G P x,y, in particular, both the left and right stabilizers L α and R α of a morphism α are trivial; compare [11, Definition 21] By Corollary 44, G P is projective over k Then the category algebra kg P is Gorenstein by Proposition 51; compare[12, Lemma 232] Theorem 53 Let k be a field and C be a finite EI category Then the category algebra kc is 1-Gorenstein if and only if C is free and projective over k Proof We assume that C is skeletal The reason is similar to the first paragraph in the proof of Theorem 51 Let Γ = Γ C be the corresponding upper triangular matrix algebra of C As mentioned above, each R i = kaut C x i is a selfinjective algebra In particular, a module over R i having finite projective dimension is necessarily projective For the if part, assume that C is free and projective over k Then all bimodules M ij = khom C x j,x i are finitely generated and projective on both sides By Proposition 45, each M t is a projective left Γ t -module for 1 t n 1 Then Γ is 1-Gorenstein by Proposition 382 For the only if part, assume that Γ is 1-Gorenstein Then Proposition 381 implies that each Γ t is 1-Gorenstein and each M t is a projective left Γ t-module for 1 t n 1 By Corollary 36, pd Ri M i,t+1 < for 1 i < t + 1 n, and thus M i,t+1 is a projective left R i -module By Lemma 31, pdm t Rt+1 < for

16 16 REN WANG 1 t n 1, since Mt is a projective left Γ t -module Since each M ij is a direct summand of Mj 1 as R j-modules, we have pdm ij Rj < for 1 i < j n, and thus M ij is a projective right R j -module Then the category C is projective Since each Mt is a projective left Γ t -module for 1 t n 1, the category C is free by Proposition 45 Example 54 Let P be a finite poset For two elements x and y, we denote x < y if x y and x y By a chain, we mean a totally ordered set We observe that P is free as a category if and only if for any x y in P, the closed interval [x,y] is a chain Let G be a finite group and P a finite G-poset Consider the transporter category G P Recall that a morphism g;gx y in G P is an isomorphism if and only if gx = y We observe that a non-isomorphism g;gx < y in G P is unfactorizable if and only if there is no object z ObjP such that gx < z < y We infer by the UFP that the transporter category G P is free if and only if the category P is free By Example 52, we have that the transporter category G P is projective Then by Theorem 53, the category algebra kg P is 1-Gorenstein if and only if the poset P is free as a category We mention that this result can be obtained by combining [12, Lemma 232] and [2, Proposition 22] Example 55 [8, Thorem 53] Let C be a finite EI category Then the category algebra kc is hereditary if and only if C is free satisfying that the endomorphism groups of all objects have orders invertible in k We may assume that C is skeletal Let Γ = Γ C be the corresponding upper triangular matrix algebra of C We first claim that Γ has finite global dimension if and only if each Aut C x i has order invertible in k In this case, the category C is projective over k by Corollary 44 Indeed, by [4, Corollary 421 4], Γ has finite global dimension if and only if each R i = kaut C x i has finite global dimension, which is equivalent to that each R i = kaut C x i is semi-simple Then we have the claim We recall the well-known fact that a finite dimensional algebra is hereditary if and only if it is 1-Gorenstein with finite global dimension Then the required result follows from the above claim and Theorem 53 Acknowledgements The author is grateful to her supervisor Professor Xiao-Wu Chen for his guidance This work is supported by the National Natural Science Foundation of China No , the Fundamental Research Funds for the Central Universities WK139 and the Key Program of Excellent Youth Foundation of Colleges in Anhui Province 213SQRL71ZD References [1] M Auslander, I Reiten, S O Smalø, Representation theory of Artin algebras, Cambridge Studies in Advanced Mathematics, 36, Cambridge University Press, Cambridge, 1995 [2] M Auslander, I Reiten, Cohen-Macaulay and Gorenstein Artin algebras, in: Representation theory of finite groups and finite-dimensional algebras Bielefeld, 1991, , Progr Math, 95, Birkhäuser, Basel, 1991 [3] X-W Chen, Singularity categories, Schur functors and triangular matrix rings, Algebr Represent Theory 12 29, no 2-5, [4] R M Fossum, P A Griffith, I Reiten, Trivial extensions of abelian categories, Lecture Notes in Mathematics, Vol 456 Springer-Verlag, Berlin-New York, 1975

17 GORENSTEIN TRIANGULAR MATRIX RINGS AND CATEGORY ALGEBRAS 17 [5] E E Enochs, M Cortés-Izurdiaga, B Torrecillas, Gorenstein conditions over triangular matrix rings, J Pure Appl Algebra , no 8, [6] J L Alperin, Local representation theory, Cambridge Studies in Advanced Mathematics, 11 Cambridge University Press, Cambridge, 1986 [7] Y Iwanaga, On rings with finite self-injective dimension, Comm Algebra , no 4, [8] L P Li, A characterization of finite EI categories with hereditary category algebras, J Algebra , [9] P Webb, Standard stratifications of EI categories and Alperin s weight conjecture, J Algebra 32 28, no 12, [1] P Webb, An introduction to the representations and cohomology of categories, Group representation theory, , EPFL Press, Lausanne, 27 [11] F Xu, On local categories of finite groups, Math Z , no 3-4, [12] F Xu, Support varieties for transporter categories algebras, J Pure Appl Algebra , no 4, [13] B L Xiong, P Zhang, Gorenstein-projective modules over triangular matrix Artin algebras, J Algebra Appl , no 4, 12566, 14 pp [14] A Zaks, Injective dimensions of semi-primary rings, J Algebra , School of Mathematical Sciences, University of Science and Technology of China, Hefei, Anhui 2326, P R China address: renw@mailustceducn