arxiv: v1 [math.rt] 11 Mar 2019

Transcription

1 SYZYGY FILTRATIONS OF CYCLIC NAKAYAMA ALGEBRAS EMRE SEN arxiv: v1 [math.rt] 11 Mar 2019 To Professors Kiyoshi Igusa and Gordana Todorov in celebration of seventieth birthdays Abstract. We introduce a method syzygy filtration to give building blocks of syzygies appearing in projective resolutions of indecomposable Λ-modules where Λ is a cyclic Nakayama algebra. We interpret homological invariants of Λ including finitistic dimension, ϕ-dimension, Gorenstein dimension and their upper bounds in terms of this new filtration. We give a simpler proof of theorem relating Gorenstein dimension to ϕ-dimension. Moreover we show that (ϕdimλ fin.dimλ) 1. Contents 1. Introduction 1 2. ϕ-dimension for Artin algebras 2 3. Syzygy Filtered Algebras 3 4. Outcomes of Syzygy Filtrations Results about ϕ dim Results about finitistic dimension Results about Gorenstein Properties A Detailed Example Other Applications of Syzygy Filtrations 11 References Introduction For an artin algebra A, one of the major open question is the finitistic dimension conjecture. It states that supremum of finite projective dimensions of modules is finite i.e. where fin.dima < fin.dima := sup{pdimm M is A module with pdim(m) < } If representation dimension of A is less than or equal to 3 then the conjecture holds, proof was given by K. Igusa and G. Todorov in [3]. In the proof, they introduced a function for each module M and its value is always a finite number. Again one can consider supremum of those values and define: ϕdima := sup{ϕ(m) M is an A-mod} 1

2 2 EMRE SEN It turns out that this new homological definition has applications since an algebra is self injective if and only if ϕ-dimension of the algebra is zero [6]. Later A. Garcia and R. Schiffler proved that if algebra is Gorenstein than Gorenstein dimension is equal to ϕ-dimension of the algebra. We think that possible numerical values ϕ dim itself can be useful homological measure of artin algebras. In [7] it was shown that for a cyclic Nakayama algebra of infinite global dimension, ϕ-dimension is always an even number. And for small values of ϕdim, conditions on algebra were described. In the same work, to study ϕ-dimension, one important tool was filtration 1 : and its useful properties. In this work, we develop syzygy filtration method which is generalization of filtrations introduced at [7] and give some applications of it especially on homological invariants and their bounds for cyclic Nakayama algebras. We prove: Theorem Let Λ be a cyclic Nakayama algebra. Then the difference of ϕdimλ and fin.dimλ can be at most 1, i.e. ϕdimλ fin.dimλ 1. Theorem Let Λ be a cyclic Nakayama algebra. If Λ is Gorenstein, then Gorenstein dimension is equal to ϕ-dimension i.e. gor.dimλ = ϕdimλ. The second result appears in the literature[1], [6] etc. However we give an elementary proof in the case of Nakayama algebras by new methods. Briefly, we construct an algebra ε(λ) and its modules will be isomorphic to second syzygies of Λ. Regarding ε(λ) with gldimλ =, we have: Theorem 1.3. i) 3.11 Λ is self injective if and only if Λ = ε(λ). ii) 4.1 ϕdimλ = ϕdimε(λ)+2, when Λ ε(λ). iii) 4.9 If Λ is Gorenstein then ε(λ) is also. Another application is the following result of [5]: Corollary Let Λ be a Nakayama algebra of N nodes and with a simple module S of even projective dimension. Choose m minimal such that a simple Λ module S has projective dimension equal to 2m. Then the global dimension of Λ is bounded by N +m 1. The paper has the following structure: in the first section, we recall definition of ϕ-dimension. In the second section, we introduce algebra ε(λ) properly, and its properties. In the last two sections, we show applications of syzygy filtered algebras and give proofs of theorems above. 2. ϕ-dimension for Artin algebras Let A be artin algebra. let K 0 be the abelian group generated by all symbols [X], where X is a finitely generated A module, modulo the relations: i) [A 1 ] = [A 2 ]+[A 3 ] if A 1 = A2 A 3 ii) [P] = 0 if P is projective. Then K 0 is the free abelian group generated by the isomorphism classes of indecomposable finitely generated nonprojective A-modules. For any finitely generated A-module M letl[m] := [ΩM] whereωm isthefirstsyzygy ofm. Since Ωcommutes withdirect 1 Later author learnt that is already used in literature to denote very particular filtration. So we change it.

3 SYZYGY FILTRATIONS OF CYCLIC NAKAYAMA ALGEBRAS 3 sums and takes projective modules to zero this gives a homomorphism L : K 0 K 0. For every finitely generated Λ-module M let addm denote the subgroup of K 0 generated by all the indecomposable summands of M, which is a free abelian group since it is a subgroup of the free abelian group K 0. In other words, if M = m i=1m i n i then addm = {[M i ]} m i=1 and L t ( addm ) = {[Ω t M i ]} m i=1. Definition 2.1. For a given module M, let ϕ(m) be defined as: ϕ(m) := min{t rank ( L t addm ) = rank ( L t+j addm ) for j 1}. Notice that ϕ(m) is finite for each module M, since rank has to become stable at some step. For example, if projective dimension of M is finite, then ϕ(m) = pdim(m). Definition 2.2. Let A be artin algebra. We define: ϕdim(a) := sup{ϕ(m) M moda}. We will state few useful propositions about ϕ-dimension. Proofs and other properties can be found in [7]. Lemma 2.3. Let A be an artin algebra of finite representation type. Let {M 1,...,M m } be a complete set of representatives of isomorphism classes of indecomposable Λ-modules. Let M := m i=1 M i. Then ϕdim(a) = ϕ(m). Remark 2.4. Recallthatfin.dimA = sup{pdim(x) pdim(x) < }. Thenfin.dimA ϕdima. Since, ifpdimm isfinite, thenpdimm = ϕ(m)andbydefinitionϕdim(a) ϕ(m). 3. Syzygy Filtered Algebras Let Λ be a cyclic Nakayama algebra over N 2 nodes given by irredundant system of r-many relations. Let S(Λ) be the complete set of representatives of socles of projective modules over Λ. Let S (Λ) be the complete set of representatives of simple modules such that they are indexed by one cyclically larger indices of S(Λ). For example, in Λ, we can describe classes of projective modules via socles, hence S(Λ) = {S k2,s k4,...,s k2r } and S (Λ) = {S k2 +1,S k4 +1,...,S k2r +1}. Now we define the following base set B(Λ), its elements are nonzero and minimal traces of projectives in cyclic order and indexed by S (Λ) i.e. B(Λ) = {coker(hom Λ (P i,p j )) nonzero and length of it is minimal,i,j S (Λ),j > i} Remark 3.1. [7] Let M be an indecomposable nonprojective Λ module. Then Ω 2 (M) has unique filtration by B(Λ). Now we are ready to construct new algebra which is filtered by modules of B(Λ). Definition 3.2. Let ε(λ) be an endomorphism algebra of direct sum of projective modules over Λ indexed by S (Λ), i.e. (3.1) ε(λ) := End i S (Λ) P i

4 4 EMRE SEN Since ε(λ) has filtration given by B(Λ), we call it syzygy filtered algebra. We will prove that it is a Nakayama algebra. Lemma 3.3. Let P x,p y,p z be three indecomposable projective modules from S (Λ) and maps f,g,h satisfying f = h g: P x f P y Then, the sequence is exact. g h P z 0 cokerg cokerf cokerh 0 Proof. Observe that P x,p y,p z are uniserial. We have the following exact sequences: Now : Claim follows. 0 Imf P y cokerf 0 0 Imh P y cokerh 0 0 Im(hog) Imh cokerg 0 coker f cokerg = P y Imf Imh Im(hog) = P y Imh = cokerh Corollary 3.4. The map f from P k2i +1 to P k2i 2 +1 with cokerf B(Λ) is minimal for any i. Proof. Assume that there exist maps g,h and a projective module P S (Λ) such that f = hog. By lemma 3.3, we obtain the following the module structure: cokerf = cokerg coker h Tops of the modules cokerh, cokerg are in S (Λ). Similarly, socles of the modules cokerh, cokerg are in S(Λ). So they have unique B(Λ) filtration. This forces that coker f cannot be an element of B(Λ). Contradiction. So either cokerg = cokerf or cokerh = cokerf, so f can not be split. Proposition 3.5. ε(λ) is uniserial. Proof. By the corollary 3.4, nontrivial minimal maps between projectives of S (Λ) is given by :... P k2i +1 P k2i 2 +1 P k2i Since there are finitely many indecomposable modules, if we regard each projective a point, quiver is either direct sums of A type or cyclic quiver. In both cases, indecomposable modules are uniserial.

5 SYZYGY FILTRATIONS OF CYCLIC NAKAYAMA ALGEBRAS 5 Proposition 3.6. If global dimension of Λ is infinite, then ε(λ) is cyclic and its global dimension is infinite. Proof. There is Λ-module M with pdimm =. By remark 3.1, Ω 2 (M) has B(Λ) filtration. So, its projective cover is in S (Λ). This makes Ω 2 (M) ε(λ)-module. This implies, global dimension of ε(λ) is infinite, and by previous proposition, its quiver has to be cyclic. Since global dimension of A type quiver is always finite. Remark 3.7. If underlying quiver is of type A, then algebra is called linear Nakayama algebra. Proposition 3.8. ε(λ) is finite dimensional algebra. Proof. Consider the sequence of minimal maps:...p k2i +1 β k2i +1 P k2i 2 +1 β k2i 2 +1 P k2i 4 +1 β k2i P k2i 2t+2 +1 β k2i 2t+2 +1 P k2i 2t +1 β k2i 2t +1 P k2i 2t Any P S (Λ) has unique B(Λ) filtration. Arbitrary P from the above sequence of maps has the following B(Λ) structure: cokerβ k2i 2t +1 cokerβ k2i 2t cokerβ k2i +1 Im(β k2i 2t +1o...oβ k2i +1) Since projective modules are of finite Loewy length, for all i, there exists a t i such that β k2i 2ti +1o...oβ k2i +1 = 0. Hence modules over ε(λ) is finite dimensional. Theorem 3.9. ε(λ) is a Nakayama algebra. Defining relations of ε(λ) is determined by B(Λ). Proof. We have shown separately that ε(λ) is finite dimensional 3.8 and uniserial 3.5, so it is a Nakayama algebra. Moreover, if gldimλ =, it becomes cyclic Nakayama algebra by proposition 3.6. For the sequence we described in the proof of 3.8 there is a minimal t i such that: β k2i 2ti 2+1o...oβ k2i +1 = 0 β k2i 2ti +1o...oβ k2i +1 0 The second map is from P k2i +1 to P k2i 2ti +1. Therefore P k2i 2ti +1 has the following subquotients:

6 6 EMRE SEN cokerβ k2i 2ti +1 cokerβ k2i 2ti cokerβ k2i +1 Im(β k2i 2ti +1o...oβ k2i +1) β k2i 2ti 2+1 β k2i 2ti +1o...oβ k2i +1 = 0. So in ε(λ), projective module starting at β k2i 2ti has to satisfy conditions in 3.6, and immediately it appears in the B(Λ) 2 filtration of P βk2i 2ti +1. By the method we used in the above proof, we can identify simple modules β i s of ε(λ) with elements of B(Λ). Therefore: Corollary Elements of B(Λ) can be viewed as simple modules of Nakayama algebra ε(λ). In other words: Complete set of representatives of simple ε(λ) modules is B(Λ). Proposition For any cyclic Nakayama algebra Λ, Λ = ε(λ) if and only if Λ is self-injective. Proof. Assume that Λ is self-injective. Then: ε(λ) := End ( = End i S (Λ) P i 1 i N P i ) = Λ since, S (Λ) contains indices of all simples over Λ. For the other direction, assume that Λ = ε(λ). By theorem 3.9, ε(λ) is Nakayama algebra, this implies the following equality: (3.2) {k 1,...,k n } = {k 2 +1,k } up to cyclic permutation, since it is enough check indices by the following observation: two Nakayama algebras are isomorphic then number of simple modules are same. Now we can choose k 2 +1 = k 3, k 3 +1 = k 4 etc. So B(Λ) contains all simple modules, this is equivalent to selfinjectivity of Λ. For each different cyclic Nakayama algebras Λ, S(Λ) and S (Λ) and B(Λ) are well defined. By the above propositions, since ε(λ) is a Nakayama algebra, hence one can use the set S(ε(Λ)) etc. By the theorem 3.9 and proposition 3.11, we can construct higher syzygy filtrations: Definition Let Λ be a cyclic Nakayama algebra and ε(λ) is syzygy filtered algebra. nth syzygy filtered algebra ε n (Λ) is an endomorphism algebra of direct sum of projective modules which are indexed depending on (n 1)th syzygy algebra i.e. (3.3) ε n (Λ) := End i S (ε n 1 (Λ)) provided that ε n 1 (Λ) is cyclic non self-injective Nakayama algebra. P i

7 SYZYGY FILTRATIONS OF CYCLIC NAKAYAMA ALGEBRAS 7 Proposition3.13. Completesetofrepresentatives ofsimpleε n (Λ)modulesis B(ε n 1 (Λ)). Proof. Since ε n 1 (Λ) is cyclic Nakayama algebra and by recursive definition ε n (Λ) = ε(ε n 1 (Λ)). Hence simple ε n (Λ) modules are B(ε n 1 (Λ)). Remark Indecomposable modules over ε n (Λ) are nth syzygies of Λ-modules. 4. Outcomes of Syzygy Filtrations Here we give some results on Nakayama algebras by using syzygy filtrations Results about ϕ dim. Theorem 4.1. Assume that global dimension of cyclic Nakayama algebra Λ is infinite. Then ϕdimλ = ϕdimε(λ)+2. Proof. Since indecomposable modules over ε(λ) are second syzygies of modules over Λ, theorem follows. The following three theorems was proven in [7]. We state them in terms of syzygy filtered algebra. We give new proof of the second theorem by applying syzygy filtrations. Theorem 4.2. [7] Let Λ be a cylic Nakayama algebra of infinite global dimension. 1) ϕdimλ = 0 if and only if Λ is self-injective algebra. 2) ϕdimλ 1. 3) ϕdimλ = 2 if and only if ε(λ) is self-injective and Λ is not. Theorem 4.3. Assume that global dimension of cyclic Nakayama algebra Λ is infinite. Then ϕdimλ is even. Furthermore, the upper bound of ϕdimλ is 2r, where r = B(Λ). Proof. By the above theorem 4.1, in each step ϕ-dimension reduces by two. Assume to the contrary that there exists d such that ϕdimε d (Λ) = 1. But by above result 4.2, this is impossible. To prove the second part, observe that number of simple modules of ε i (Λ) is given by B(ε i 1 (Λ)). To get an upper bound, in each reduction 4.1, number of simple modules should decrease by one. Since B(Λ) = r, at most r-many reduction is possible. ε r (Λ) is self injective, hence upper bound for ϕdim is 2r. Indeed it is sharp bound by an example given in [7] Results about finitistic dimension. First we state and prove theorems regarding possible small values of finitistic dimension and ϕ-dimension. Then we will show reduction method for finitistic dimension as we did in theorem 4.1 for ϕ-dimension. We start with the following observation: Theorem 4.4. If ϕdimλ = 2, then fin.dimλ 1. Proof. By the conditional in the statement, ϕdim(λ) 0, so Λ is not self-injective by 4.2. This implies that there exist projectives P x, P y over Λ such that P y is proper submodule of P x. So there exists exact sequence: (4.1) 0 P y P x P x Py 0

8 8 EMRE SEN So pdim Λ ( Px Py ) = 1, this implies fin.dimλ 1. Moreover, by remark 2.4, we conclude that ϕdimλ fin.dimλ 1. Proposition 4.5. fin.dimλ = fin.dimε(λ)+2, provided that global dimension of Λ is greater than 2. Proof. Thereexists aλ-modulem suchthatpdimm = fin.dimλandeasilypdimm = pdimω 2 (M)+2. It is enough to show that Ω 2 (M) is nonprojective. This makes Ω 2 (M) an indecomposable nonprojective ε(λ) module. So fin.dim Λ fin.dim ε(λ) + 2 Choose ε(λ) module N, satisfying fin.dimε(λ) = pdimn. There exists module M such that Ω 2 (M) = N by remark 3.1. Equality follows. If we assume Ω 2 (M) projective for all Λ modules M, global dimension is 2, which we excluded. The only remaining case is: fin.dimλ = 2 and gldimλ =. We get fin.dim ε(λ) = 0. This forces that all simple ε(λ) modules have periodic resolution. Otherwise the following sequence is exact : 0 P x+1 P x S x 0, where S x is simple module. This occurs when ε(λ) is self-injective. That case was analyzed in Its finitistic dimension is 0, hence proposition holds. Theorem 4.6. If Λ is a cyclic Nakayama algebra then ϕdimλ fin.dimλ 1 Proof. If global dimension of Λ is finite, statement is true, since gldimλ = ϕdimλ = fin.dim Λ. So, we assume that global dimension is infinite. We can apply syzygy filtration algorithm recursively to reach a self injective algebra in finitely many steps which we assume d. Hence ε d (Λ) is a self injective algebra but ε d 1 (Λ) is not. This implies ϕdimλ = 2d, ϕdimε d (Λ) = 0 and ϕdimε d 1 (Λ) = 2. By theorem 4.4 we get (4.2) 1 fin.dimε d 1 (Λ) 2 On the other hand we have 2+fin.dimε k (Λ) = fin.dimε k 1 (Λ) for any 1 k d 1 given at 4.5. This implies: We get ϕdimλ fin.dimλ 1 1+2d 2 fin.dimλ 2+2d 2 ϕdimλ 1 fin.dimλ ϕdimλ 4.3. Results about Gorenstein Properties. We begin with definition of Gorenstein dimension. By using duality and representation type of Nakayama algebras, instead of injective dimension of Λ, we prefer to study projective dimensions of injective modules. Then we state and prove theorems regarding Gorenstein homological properties. Definition 4.7. If projective resolution of injective modules are finite, algebra is called Gorenstein. Supremum of projective dimensions of injective modules is called Gorenstein dimension, and denoted by gor.dim. First, we need possible small values of Gorenstein dimension. Then we apply reduction method as we did in ϕ-dimension and finitistic dimension. Lemma 4.8. Let Λ be cyclic Gorenstein Nakayama algebra, simple modules are not projective. Then gor.dim Λ 1.

9 SYZYGY FILTRATIONS OF CYCLIC NAKAYAMA ALGEBRAS 9 Proof. If Λ is self-injective, by definition, gor.dimλ = 0. If Λ is not self injective, there exists a projective-injective module P I such that its quotient is injective I and 0 soc(pi) PI I 0 Since simple modules are not projective, pdimi 2, so gor.dimλ 1. Proposition 4.9. The complete set of representatives of injective nonprojective ε(λ) modules is subset of the second syzygies of the complete set of injective Λ modules, Ω 2 (Λ.Inj) ε(λ).inj. In other words: for every nontrivial ε(λ) injective module εi, there exists Λ injective module I such that Ω 2 (I) = εi Proof. Assume that εi is a nontrivial nonprojective ε(λ) injective module. This implies that if εi has ε x and ε y as ε(λ)-top and ε(λ)-socle: ε(λ)-socle of projective cover of ε x in ε(λ) is ε y+1 or cyclically greater than ε y. ε(λ)-socle of projective cover of ε x 1 in ε(λ) is ε y 1 or cyclically less than ε y 1 The second item is crucial, otherwise εi is not ε(λ) injective module. Since ε(λ) socle of εi is ε y, there exists a Λ-projective module Pθ such that : (4.3) 0 εi Pθ Pθ εi 0 We denote the quotient by θ. Observe that θ does not have syzygy filtration because of the second item. But we have: soc(θ) = Λ soc(ε x 1 ). Moreover in Λ, there exists a projective-injective module P rinj such that θ is submodule of P rinj, since its socle is in S(Λ). Therefore we have another sequence: (4.4) 0 θ PrInj PrInj θ 0 We have the following consequences of the above resolution: 1-) First of all, PrInj θ cannot be projective Λ-module, since it is a quotient of a projective. 2-) Assumeforthemoment that PrInj θ isnot injective. Questionisthis: What is the structure of projective cover of injective envelope of PrInj θ? Since we assumed that PrInj θ is not injective, it is a proper submodule of its injective envelope Σ( PrInj ( θ ). Let s denote its projective cover by P Σ( PrInj ) θ ). Λ-socle of that projective cover cannot be Λ-socle of ε x 2, since it should contain ε x 1 θ as a submodule. Also Λ-socle of projective cover cannot be Λ-socle of ε x 1, since it violates projective-injectivity of P rinj, i.e. P rinj cannot be a submodule of an indecomposable projective. Both of the observations force that socle of projective cover is between socles of ε x 2 and ε x 1. However this is impossible since there is no gap between ε x 2 and ε x 1 as ε(λ) modules. Since they are consecutive simple modules of ε(λ). So PrInj θ is an injective Λ module. We can apply the above proposition to Gorenstein Nakayama algebra Λ. Every nonprojective injective Λ module has finite projective dimension, by remark 3.1 and proposition 4.9, every nonprojective injective ε(λ)-module has finite projective dimension. Moreover, gor.dimλ = gor.dimε(λ)+2. We put them together below:

10 10 EMRE SEN Corollary If Λ is Gorenstein, then ε(λ) is also Gorenstein. In other words, being Gorenstein is homological invariant with respect to syzygy filtrations Theorem Let Λ be Gorenstein and cyclic Nakayama algebra. Then ϕdimλ is equal to gor.dim Λ. Proof. If global dimension of Λ is finite, then it is equal to both ϕdimλ and gor.dimλ, it is trivial case. So, we analyze the case of infinite global dimension. There exists dsuch thatε d (Λ)isself-injective but ε d 1 (Λ)isnot. SinceΛisGorenstein, by proposition 4.9 and following corollary, ε k (Λ) is Gorenstein for 1 k d. In particular, ε d 1 (Λ) is of Gorenstein dimension 2. This implies that gor.dimε d (Λ) = 0 which makes ε d (Λ) self-injective. By proposition 3.11, ϕdimλ = 2. They are equal. By results 4.1, 4.9, ϕdimλ = gor.dimλ. In theorem 4.11, we showed the equality of ϕ-dimension and Gorenstein dimension of cyclic Nakayama algebras. We combine it with the result 4.3 to get: Corollary If Λ is Gorenstein with infinite global dimension, then gor.dim Λ is even A Detailed Example. Example We want to show reduction processes described in 4.1 and 4.9 on syzgy filtered algebras Let Λ be cyclic Nakayama algebra with N = 5 vertices and irredundant system of relations: α 5 α 4 α 3 α 2 α 1 = 0 α 1 α 5 α 4 α 3 α 2 = 0 α 3 α 2 α 1 α 5 α 4 α 3 = 0 α 4 α 3 α 2 α 1 α 5 α 4 = 0 The only injective but nonprojective Λ module is I 2 = is 6 by the projective resolution: S 3 S 4 S 5 S 1 S 2 P 5 P 5 P 4 P 4 P 3 P 1 S 5 radp 4 S 4 radp 3 S 3. Its projective dimension P 3 I 2 ItcanbeshownthatΩ 2 (I),Ω 4 (I)areinjectivenonprojectiveε(Λ)andε 2 (Λ)modules respectively. We get gor.dim Λ = 6. We present the results in the following tableaux. For notational simplicity, we used different letters to simple modules in the syzygy filtered algebras. The modules ω 1,ω 2 correspond to Λ modules S 1, radp 1. Notice that they are Ω-periodic Λ modules.

11 SYZYGY FILTRATIONS OF CYCLIC NAKAYAMA ALGEBRAS 11 Algebra Kupisch S( ) S ( ) B( ) Notes { } Λ (5,5,6,6,6) S 1,S 3,S 4,S 5 S 1,S 2,S 4,S 5 S 1, S 2, S 4, S 5 ϕdimλ = 6 S 3 { } ε(λ) (4,4,5,5) E 1,E 3,E 4 E 1,E 2,E 4 E 1, E 2, E 4 { } ε 2 (Λ) (3,3,4) δ 1,δ 3 δ 1,δ 2 δ 1, δ 2 E 3 δ 3 ϕdimε(λ) = 4 ϕdimε 2 (Λ) = 2 ε 3 (Λ) (2,2) ω 1,ω 2 ω 1,ω 2 { ω 1, ω 2 } ϕdimε 3 (Λ) = 0 5. Other Applications of Syzygy Filtrations We obtain the main result of [5] as a byproduct of syzygy filtration method. Theorem 5.1. [5] Let Λ be a Nakayama algebra with a simple module S of even projective dimension. Choose m minimal such that a simple Λ module has projective dimension equal to 2m. Then the global dimension of Λ is bounded by N+m 1 where N is the number of vertices of Λ To prove it, we need to analyze behavior of cyclic Nakayama algebras of finite global dimension under higher syzygy filtrations described in Before doing this, we state and prove all auxiliary results. Lemma 5.2. Auxiliary results: 1) Global dimension of linear Nakayama algebra which was defined in 3.7 is bounded by N 1, where N is the number of vertices. 2) For any connected linear Nakayama algebra of global dimension greater or equal than 2, there exists a simple module S, such that pdims = 2. 3) Consider the following projective resolution of indecomposable uniserial modules: Proof Ω 2 (X) PΩ(X) Ω(X) PX where Ω 2 (X) is projective module. If all submodules of Ω 2 (X) are projective then there exists a simple module S such that pdims = 2. 1-) We will prove it by induction. If N = 2, either algebra is hereditary or semisimple, in both cases global dimensions are smaller or equal than 1. X

12 12 EMRE SEN Inductive step is the following: assume that global dimension of oriented linear quiver of N nodes is bounded by N 1. Consider the oriented linear quiver we obtained by adding vertex x to the source vertex. We have: pdimm x = pdimω(m x )+1 where M x is any module with simple top x. The top of Ω(M x ) is different than x, hence it is a module over unextended quiver. Therefore its projective dimension is bounded by N 1. This forces that pdimm x N which we want to show. 2-) Let 1,2,...,x be indices of simple modules and α i denote path from vertex i to vertex i + 1. P x is simple projective module. Now P x 1 is not simple, since algebra is connected. Hence socle of P x 1 is P x. There exists a projective module P whose socle is x 1, by connectedness again. Now projective dimension of soc(coker(p x 1,P)) is 2. 3-) If X is simple module, choose S = X. Otherwise, pdimsoc(x) = 2. Proposition 5.3. Let Λ be cyclic Nakayama algebra with a simple module S satisfying pdims = 2. Then ε(λ) is linear Nakayama algebra. Proof. It is enough to show that B(Λ) contains a projective Λ-module. Without loss of a generality, let S = S k1. The second syzygy of S is isomorphic to coker(p k4 +1,P k2 +1). This is of minimal length by comparison of dimensions of modules in the resolution, which makes it an element of B(Λ). Lemma 5.4. Let m > 1 be minimal such that S is a simple module with pdims = 2m. Then ε m 1 (Λ) is cyclic Nakayama algebra. Proof. Existence of S with even projective dimension implies that global dimension of Λ is finite by a result of Madsen [4]. By theorem 3.9 and definition 3.12, it is enough to prove that ε m 1 (Λ) is cyclic. Assume that it is linear. By minimality of m, projective covers of Ω 2m 2 (S),Ω 2m 1 (S) and Ω 2m (S) are projective ε m 1 (Λ)-modules. Therefore global dimension of ε m 1 (Λ) is greater or equal than 2. We can take the connected subalgebra containing those projectives. Moreover, simple modules of ε m 1 (Λ) are in one to one correspondence with B(ε m 2 (Λ)). By part 2) of lemma 5.2, there exists a simple module whose projective dimension is 2, contadicting the minimality of m. Therefore B(ε m 2 (Λ)) cannot contain a projective module which implies cyclicity of ε m 1 (Λ). Since for any distinct projective modules of ε m 1 (Λ), cokernels are nontrivial. Lemma 5.5. Let m > 1 be minimal such that S is a simple module with pdims = 2m. Then ε m (Λ) is linear Nakayama algebra. Proof. Simple modules of ε m (Λ) are in one to one correspondence with B(ε m 1 (Λ)). It is enough to show that there exists a projective ε m (Λ)-module P in B(ε m 1 (Λ)). This implies there is no other projective P such that P P nontrivially. Otherwise, cokernel of that map would be in B(ε m 1 (Λ)) which contradicts minimality of P. We claim that Ω 2m (S) is in B(ε m 1 (Λ)). Assume that this is not the case. Notice that Ω 2m (S) has B(ε m 1 (Λ)) filtration. Simple ε m (Λ) modules appearing in the filtration

13 SYZYGY FILTRATIONS OF CYCLIC NAKAYAMA ALGEBRAS 13 of Ω 2m (S) cannot be projective, otherwise by part 3) of lemma 5.2, we get a simple module of projective dimension 2, contradicting with minimality of m. Since global dimension is finite, at some stage, any resolution has to stop. By part 3) of lemma 5.2, m > 1 cannot be minimal. As a result, Ω 2m (S) has to be a simple projective module in ε m (Λ), this implies linearity of Nakayama algebra. Here we give proof of result 5.1: Proof. By lemmas 5.4, 5.5, ε m (Λ) is linear Nakayama algebra and ε j (Λ) is cyclic Nakayama algebra for any 1 j m 1. Therefore, construction of ε m (Λ) is obtained by definition 3.12, and by reduction described in proposition 4.5 we get: gldimλ = 2m+gldimε m (Λ) Sinceε m (Λ)linearNakayamaalgebra, bypart1)inlemma5.2, itisboundedbynumber of vertices minus one. Indeed, number of its vertices is given by B(ε m 1 (Λ)) which is the number of irredundant system of relations defining ε m 1 (Λ). We denote it by r m 1. Therefore: (5.1) (5.2) gldimλ = 2m+gldimε m (Λ) gldimλ 2m+r m 1 1 Since we applied reduction m times, the maximum possible number of vertices r m 1 for ε m (Λ) is N m, hence we get: gldimλ 2m+r m 1 1 2m+N m 1 = N +m 1 Corollary 5.6. Let Λ be cyclic Nakayama algebra of finite global dimension. Then gldimλ 2N 2 where N is the number of vertices. Proof. We can apply construction described in 3.12 at most r times. By proposition 4.5 and inequality r N 1, gldimλ 2(N 1), which is the bound obtained by Gustafson in [2]. We want to emphasis that number of relations helps to lower the bound obtained in [5]. Notice that global dimension attains the bound if and only if r = N 1 and r i = r i 1 1 for all 1 i m 1. If we take r = N, Λ becomes self-injective algebra. Example 5.7. Let Λ be cyclic Nakayama algebra of N = 8 nodes with relations: (5.3) α 4 α 3 = 0, α 6 α 5 = 0, α 2 α 1 α 8 = 0 By simple computation, m = 1, and global dimension is 2. So it is smaller than r = 3. References [1] A. Elsener, R. Schiffler. On syzygies over 2-CalabiYau tilted algebras. Journal of Algebra, [2] W. Gustafson Global dimension in serial rings., Journal of Algebra, [3] K. Igusa, G. Todorov, On the finitistic global dimension conjecture for artin algebras., Representations of algebras and related topics, Fields Inst. Commun., Amer. Math. Soc., [4] D. Madsen, Projective dimensions and Nakayama algebras., Representations of algebras and related topics, [5] D. Madsen, R. Marczinzik, On bounds of homological dimensions in Nakayama algebras, Proceedings of the American Mathematical Society, Series B, volume 5, 2018.

14 14 EMRE SEN [6] G. Mata, M. Lanzilotta, Igusa Todorov functions for Artin algebras., Journal of Pure and Applied Algebra, [7] E. Sen, The ϕ dim of Cyclic Nakayama Algebras. arxiv: , Department of Mathematics, University of Iowa, Iowa City, IA address: