arxiv: v1 [math.rt] 19 Jan 2012

Transcription

1 1-quasi-hereditary algebras: Examples and invariant submodules of projectives Daiva Pučinskaitė arxiv: v1 [math.rt] 19 Jan 2012 Abstract In [8] it was shown that every 1-quasi-hereditary algebra A affords a particular basis which is related to the partial order on the set of simple A-modules. In this paper we show that the modules generated by these basis-elements are also modules over the endomorphism algebra of some projective indecomposable modules. In case the Ringel-dual of 1-quasi-hereditary algebra is also 1-quasi-hereditary, all local - good submodules of projective indecomposable modules are also End A P op -modules for the projective-injective indecomposable module P. Introduction The class of basic 1-quasi-hereditary algebras, introduced in [8] is characterized by the fact that all possible non-zero Jordan-Hölder multiplicities of standard modules as well as -good multiplicities of indecomposable projectives are equal to 1. Many factor algebras related to a saturated subsets of an algebra A associated to a block of category Og of a semisimple C-Lie algebra g are 1-quasi-hereditary. The class of 1-quasi-hereditary algebras has a non-empty intersection with some other subclasses of quasi-hereditary algebras: BGG-algebras [12], quasi-hereditary algebras having Borel subalgebras [6], Ringel self-dual algebras etc.. However, 1-quasi-hereditary algebras are in general not BGG-algebras and the class of 1-quasi-hereditary algebras is not closed under Ringel duality. The selected examples in this paper serve to illustrate this. Several properties of 1-quasi-hereditary algebras only depend on the related partial order Ext-quiver, good-filtrations, etc. see [8]. In particular, a 1-quasi-hereditary algebra A, has a K-basis BA = j Q 0 A B ja containing distinguished paths, which are linked only to. The paths in B j A form a K-basis of the projective indecomposable A-module P A j for any i Q 0 see [8, Theorem 3.2]. This basis plays an important role for the structure of the endomorphism algebras of the projective A-modules. Theorem A. Let A, be a 1-quasi-hereditary algebra and j Q 0 A. The submodules of P A j generated by the paths in B j A are End A P A j op -modules. Any 1-quasi-hereditary algebra A has up to isomorphism a unique projective-injective indecomposable module PA see [8, Lemma 2.1]. In case the Ringel-dual RA of A is also 1-quasi-hereditary, there exist elements in PA which generate modules satisfying remarkable properties. Theorem B. Let A, and RA, be 1-quasi-hereditary algebras. There exists a K- basis B of the projective-injective indecomposable A-module PA, such that 1 The set A b b B is the set of local, -good submodules of all projective indecomposable A-modules. Partly supported by the D.F.G. priority program SPP 1388 Darstellungstheorie. 1

2 2 For every b B the space A b is an End A PA op -submodule of PA. The paper is organised in the following way: In Section 1, the definition of 1-quasihereditary algebra is recalled, and we present some examples of 1-quasi-hereditary algebras. In particular, we define a 1-quasi-hereditary algebras A n C for some C GL n 2 K for n 3. We show that these algebras are not BGG-algebras in general and that the Ringeldual of A n C is 1-quasi-hereditary, namely RA n C = A n C 1. Moreover, we give an example of a 1-quasi-hereditary algebra, whose Ringel-dual is not 1-quasi-hereditary. Using this algebra we illustrate the connection between the Jordan-Hölder-filtrations of standard resp. costandard and good-filtrations of injectives resp. projectives indecomposable modules described in [8, Sec. 4]. Section 2 and 3 is devoted to the proof of Theorems A and B respectively. These are based on order reversing and preserving bijections between certain subsets of Q 0 A with respect to and the lattice of modules generated by p BA. The connections between the modules and the partial order given in Theorem A and B will be illustrated using the algebra associated to the regular block of category Osl 3 C. 1. Preliminaries and examples of 1-quasi-hereditary algebras Throughout the paper, any algebra A is a finite dimensional, basic K-algebra over an algebraically closed field K given by a quiver QA and relations IA. The vertices of QA are parameterized by the natural numbers. Any A-module is a finite dimensional left module and for any i Q 0 A we denote by Pi, Ii and Si corresponding projective, injective and simple A-module, respectively. The product of arrows i j and k i is given by k i j = i j k i. If i α j α Q 1 A 1 for all i,j Q0 A, then a path p = i 1 i 2 i m in QA and also in A we denote by i 1 i 2...i m. For the corresponding A-map f p : Pi m Pi 1 given by fe im = p holds f p = f i1 i 2 f i2 i 3 f im 1 i m. The A-module generated by p we denote by p, i.e. p = A p = imf p. By [M : Si] = dim K M i we denote the Jordan-Hölder multiplicity of Si in an A-module M. The equivalent definition of quasi-hereditary algebras introduced by Cline-Parshall-Scott [3] is given by Dlab and Ringel in [5]. The following is a brief review of relevant terminology and notations: Let Q 0 A, be a partially ordered set. For every i Q 0 the standard module i is the largest factor module of Pi such that [ i : Sk] = 0 for all k Q 0 with k i, resp. the costandard module i is the largest submodule of Ii such that [ i : Sk] = 0 for all k Q 0 with k i. We denote by F the full subcategory of mod A consisting of the modules having a filtration such that each subquotient is isomorphic to a standard module. The modules in F are called -good and these filtrations are - good filtrations resp. -good modules have -good filtrations and belongs to F. For M F we denote by M : i the well-defined number of subquotients isomorphic to i in some -good filtration of M resp. i appears M : i times in some -good filtration of M F. The algebra A = KQ/I, is quasi-hereditary if for all i,k Q 0 the following holds: [ i : Si] = 1, Pi is a -good module with Pi : k = 0 for all k i and Pi : i = 1. 2

3 1.1 Definition. A quasi-hereditary algebra A = KQ/I, is called 1-quasi-hereditary if for all i,j Q 0 = 1,...,n the following conditions are satisfied: 1 There is a smallest and a largest element with respect to, without loss of generality we will assume them to be 1 resp. n, 2 [ i : Sj] = Pj : i = 1 for j i, 3 socpi = topii = S1, 4 i n and n i. The projective indecomposable module of a 1-quasi-hereditary algebra A which corresponds to the minimal vertex 1 is also injective with P1 = I1 see [8, Lemma 2.1]. Axiom 3 shows that any projective indecomposable A-module can be considered as a submodule of P1. Axiom 2 implies that for any i Q 0 A there exist a uniquely determined submodule Mi of P1 with Mi = Pi. Consequently, for all i,j Q 0 with j i there exists a uniquely determined submodule of Pj isomorphic to Pi see [8, Lemma 2.2]. We will often make use of this fact in the following. Example 1. LetAbe an algebra associated to a block of the categoryog of a complex semisimple Lie algebra g defined in [2]. Then A is 1-quasi-hereditary if rankg 2. The quivers and relations of these algebras are to be found in [11]. To illustrate some statements we use the algebra corresponding to a regular block of category Osl 3 C see also [7]: = = = = = = = = = = = = = = = = = = = = = = The quiver and relations of the algebra A corresponding to a regular block of Osl 4 C are calculated in [11] in this notations we have 24 i 1 for all i Q 0 A. The algebra A is not 1-quasi-hereditary, since [ 3 : S16] = 2. However, the factor algebra A/AǫjA withǫj = i j e i is 1-quasi-hereditary for everyj i Q 0 i x for some x = 5,6,7,9. Example 2. Dlab, Heath and Marko described in [4] quasi-hereditary algebras which are obtained in the following way: Let B be a commutative local self-injective K-algebra, dim K B = n. Let X = Xλ λ Λ be a set of local ideals of B with B = Xλ 1 X indexed by a finite partially ordered set Λ reflecting inclusions: Xλ Xλ if and only if λ > λ. Then A = End B λ Λ Xλ is a quasi-hereditary algebra with respect to Λ, if and only if Λ = n and radxλ = λ<µ Xµ for every Xλ X. Quasi-hereditary algebras obtained in this way satisfy all axioms for 1-quasi-hereditary algebra see [4, Section 4]. The algebras in the examples 1 and 2 are BGG-algebras: A quasi-hereditary algebra A = KQ/I, with a duality functor δ on moda [δ is a contravariant, exact, additive functor such that δ δ is the identity on moda and δ induces a K-map on the K-spaces 3

4 Hom A M,N for all M,N moda] is called a BGG-algebra if δpi = Ii for all i Q 0 A see [12, Remark 1.4]. The functor δ for an algebra A in the previous examples is induced by the anti-automorphism defined by ǫ : A A via ǫe i = e i and ǫi j = j i for all i j Q 1. The next example shows that 1-quasi-hereditary algebras are in general not BGG-algebras. Example 3. Let A n C for n 3 be the algebra given by the following quiver and relations: For all i,j 2,...,n 1 the following holds: n n i n = 0, c 22 c 2,n 1 n i 1 = n j 1, 2 3 i n 1 1 i n = 1 j n, C = GL n 2 K c c ij i n j = i 1 j, n 1,2 c n 1,n 1 1 The order is given by 1 < i < n for all i 2,...,n 1, thus axiom 1 of 1.1 holds. It s easy to verify that the set Bi forms a K-basis of Pi for any k Q 0, where B1 := e 1, 1 2 n i 1 2 i n 1 1 i, 1 2 n i 2 i n n P1 1 P1 i P1 n Bi := i 1, i n i 1, e i, i n i i n j 2 j n 1, j i i n, 2 i n 1, Pi 1 Pi i Pi j Pi n Bn := n 2 1 n i 2 i n 1 e n. Pn 1 Pn i Pn n Axiom 2: The A-map f jk : Pk Pj with fe k = j k is injective for j,k i,n,1,i 1 < i < n. Moreover we have Hom A Pn,Pj = span K fjn and Hom A Pi,Pj = span K fjn f ni for all 1 < i j < n. The definition of j and imf jn f ni imf jn implies j = Pj/ j i f Hom A Pi,Pj imf = Pj/imf jn = span K e j,j1 for 1 < j < n as well as 1 = S1, n = Pn. For all i,j Q 0 with i j we have [ j : Si] = 1. The filtration 0 M 1 M 2 M n 1 P1 with M 1 = imf 12 f 2n = n and M k = k i=2 imf 1i is -good, since P1/M n 1 = S1 = 1 and Mk /M k 1 = imf 1k / imf 1k k 1 m=2 1m imf = Pk/imfkn = k for any 2 k n 1. The filtration 0 imf jn Pj is -good for any 1 < j < n. Thus Pj : i = 1 for all i,j Q 0 with j i. Axiom 3: Since soc i = S1 for all i Q 0 and P1 F, we have socp1 = S1 m for m N. A simple submodule of P1 is generated by some non zero element q P1 1 with 1 j q = 0 for all 2 j n 1. The basis B1 of P1 shows q = λ 1 e 1 + n 1 i=2 λ i1 i 1+λ n 1 2 n 2 1 with λ i K. If λ 1 0, then q = A q = P1 socp1. Let λ 1 = 0, for every j 2,...,n 1 it is 0 = 1 j q = = λ i 1 i 1 j+λ n 1 2 n 2 1 j i=2 n 1 i=2 λ i c ij 1 i n j+λ n c 2j 1 2 n 2 n =0 4 j = λ i c ij 1 j n j i=2

5 if and only if n 1 i=2 λ ic ij = 0. Since det C 0, we obtain λ i = 0 for all 2 i n 1. Hence, q P1 1 generates a simple module if q = λ12n21 for some λ K\0. For all λ,µ K\0 we have λ12n21 = µ12n21. Thus 12n21 = socp1 = S1. Since f 1i : Pi P1, we obtain socpi = S1 for all i Q 0. The algebra A n C op is defined by the quiver and relations of A n C tr. Using the same procedure we obtain socp opi AnC = S1 and the standard duality implies topii = S1 for all i Q 0. Axiom 4: For any 1 < i < n we have ker f ni : Pi Pn = im f in : Pn Pi, therefore i = Pi/imf in = imf ni Pn = n. Since 1 = soc n, we obtain i n, for all i Q 0. Using the same procedure we obtain also A opi A opn. The standard duality provides n i for every i Q 0. The algebra A n C is 1-quasi-hereditary. For the algebra A := A 4 C with C = 1 q 0 1 and q 0 the submodules of P3 and of P A op3 are represented in the submodule diagrams here p = A p resp. p = A op p: e 3 = P A e 3 = P A op By duality, the number of factor modules of P A op3 is the number of submodules of I A 3: 10 = submodules of P3 9 = submodules of I3 Therefore on moda there can not exist a duality functor δ with δp3 = I3. The 1-quasi-hereditary algebra A 1 q with q 0 is not a BGG-algebra. If q = 0 then A 4 C is a BGG-algebra with the duality induced by an anti-automorphism. Specific for the class of quasi-hereditary algebras is the concept of Ringel-duality: Let A be a quasi-hereditary algebra. For any i Q 0 A there exists up to isomorphism an unique indecomposable A-module Ti having a -good and -good filtration with Ti : i = Ti : i = [Ti : Si] = 1 and Ti : j = Ti : j = [Ti : Sj] = 0 for all j i, moreover there exists a submodule Yi F of Ti with Ti/Yi = i and a factor module Xi F with kerti Xi = i. The algebra RA := End A i Q 0 Ti op with the opposite order is also quasi-hereditary, where T = i Q 0 Ti is the characteristic tilting module of A. In particular, F F = addt and A is isomorphic to RRA as a quasi-hereditary algebra see [9]. The algebra RA is called Ringel-dual of A. Some properties of the characteristic tilting module and the Ringel-dual of a 1-quasihereditary algebra are considered in section 5 and 6 in [8]. According to [8, Remark 5.3] for the direct summands of the characteristic tilting A n C-module we obtain T1 = S1, = n 1 Tn = P1 andti = P1/ j=2 j i Pj j=2 j i kerp1 Ij for all2 i n 1, since any vertex i Q 0 \1,n is a neighbor of 1. Consequently, Ti is a submodule and a factor module of P1, thus there exists some element in P1 1, which generates Ti. In particular, the Ringel-dual of A n C is also 1-quasi-hereditary see [8, Theorem 6.1]. 1.2 Lemma. Let C = c ij 2 i,j n 1 GL n 2 K, the algebra A n C given in Example 3 and C 1 = d ij 2 i,j n 1. Then the following hold: 5

6 1 ti := d ij 1 j 1 generates Tj for 2 i n 1. j=2 Moreover, t1 := 12n21 generates T1 and tn := e 1 generates Tn. 2 RA n C = A n C 1. Proof. 1 The A n C-module ti is local with top ti = S1 = 1 since ti P1 1 for all i Q 0. Using the calculations in Example 3, we obtain T1 = 12n21 and Tn = e 1, since T1 = socp1 and Tn = P1. For all i,k 2,...,n 1 we have 1 k ti = = d ij 1 j 1 k = d ij c jk 1 j n k j=2 n 1 j=2 d ij c jk 1 k n k = j=2 1 i n i if k = i, 0 else. Consequently, rad ti = 1 i n i = i and 0 soc ti = t1 rad ti ti is the unique Jordan-Hölder-filtration of ti. The filtration 0 rad ti ti resp. 0 soc ti ti is -good resp. -good with the properties of Ti, thus ti = Ti for every 2 i n 1. 2 We consider Ti as a submodule of P1. Since RA n C = End AnCT op is 1- quasi-hereditary, the quivers of A n C, and RA n C, have the same shape see [8, Theorem 2.7]. The vertex i in Q 0 RA n C corresponds to the direct summand Ti of T = i Q 0 Ti. For l,m 1,j,j,1,n,j,j,n 2 j n 1 we denote by τ l,m the following maps: τ 1,j : T1 Tj with τ 1,j t1 = t1 and τ j,1 : Tj T1 with τ j,1 tj = t1 τ j,n : Tj Tn with τ j,n tj = tj and τ n,j : Tn Tj with τ n,j tn = tj. It is easy to compute that the space of maps in Hom AnCTl,Tm which do not factors through addt is spanned by τ l,m, thus τ l,m corresponds to the arrow l m for any l,m. We can compute the relations: For all2 i,j n 1 we haveτ i,n τ 1,i = τ j,n τ 1,j and τ i,1 τ n,i = τ j,1 τ n,j, thus 1 j n = 1 i n and n j 1 = n i 1. Moreover, τ1,j τ i,1 ti = t1 and τn,j τ i,n ti = ti tj with ti tj = = d il 1 l 1 n 1 l=2 d il l=2 k=2 d jk 1 k 1 = n 1 d il n 1 k=2 l=2 k=2 d jk c kl 1 k n l 1 = d ij t1 d jk 1 k 1 l 1 We obtain τ n,j τ i,n = d ij τ1,j τ i,1, thus i n j = dij i 1 j. The map τ j,1 τ 1,j is zero-map, thus 1 j 1 = 0 for any j Q 0 \1,n. There are no relations between paths starting and ending in n, since the set τ j,n τ n,j tn = tj 2 j n 1 t1 is linearly independent. By interchanging the notations 1 n and n 1 we obtain that the quiver and relations of RA n C are those of the algebra A n C 1. The class of 1-quasi-hereditary algebras is not closed under Ringel-duality. According to [8, Theorem 6.1] the algebra RA is 1-quasi-hereditary if and only if the factor algebra 6

7 Ai = A/ A j i e j A is 1-quasi-hereditary for every i Q 0 see [8, Section 5]. The next example presents a 1-quasi-hereditary algebra A such that there exists i Q 0 A with Ai not being 1-quasi-hereditary. Example 4. The algebra A given by the following quiver and relations is 1-quasihereditary with the partial order 1 < 2 < 3 < 5 < 6 and 1 < 4 < 5. A = = = = = = = = = q 45654, q = 4532 The Auslander-algebra A m of K[x]/ x m is obtained by the construction in Example 2 with B = K[x]/ x m and the set of ideals X = Xi := x i 1 i m. For i Q 0 with i = 1,2,3 the algebra Ai is isomorph to the Auslander-algebra A i and A4 = A 2. Thus Ai is 1-quasi-hereditary for i = 1,2,3,4,6 and we can compute an element ti P1 1 which generates Ti: t1 = , t3 = q , t6 = e 1. t2 = 14541, t4 = A = = = = = = = = = = 4532 The elements p 1 := and p 2 := in P A5 1 1 are linear independent with 12 p 1 = 14 p 1 = 0 and 12 p 2 = 14 p 2 = 0. The submodules of P A5 1 generated by p 1 and p 2 are simples. Hence socp A5 1 = S1, thus the algebra A5 is not 1-quasi-hereditary. The A-module T5 is a submodule of P1 P1 generated by 121, and 141,0. The quiver of a 1-quasi-hereditary algebra A depends only on Q 0 A, : If i α j Q 1 A, then i j resp. i j and α Q 1 A i α j = α Q 1 A j i α = 1 see [8, Theorem 2.7]. All Jordan-Hölder-filtrations of i and i as well as good filtrations of Pi and Ii are connected to the sequences from Ti resp. Li which also depend only on the structure of for every i Q 0 see [8, Propositions 4.1 and 4.2]. Each of these sequences can be completed to some sequence from T n = L1 = i = i 1,i 2,...,i n Q 0 A n i k i t, 1 k < t n, thus we have Jordan-Hölder Jordan-Hölder. -good filtr. -good filtr. L1 filtr. of n filtr. of n of P1 of I1 Si Si Di Ni The sequence of indices of the simple factors in Si and -good factors in Di are the same and in the same order. The same holds for the indices of factors in Si andni. Furthermore the indices of simple factors of Si and Si are the same, but in reversed order. Since n resp. n has finitely many submodules, all filtrations of n can by represented in the submodule diagram of n, i.e. the Hasse diagram of submodules of n,. The last observation shows that -good filtrations of I1 can be represented in a diagram we will call it -good diagram of I1 whose shape coincides with the submodule diagram of n. By standard duality, the submodule diagram of n and the -good diagram of P1 have the same shape. Moreover, the shape of the diagram of n is obtained from the diagram of n by turning it upside down. In particular, all -good filtrations 7

8 of Ii are parts of -diagram of I1 resp. the -good diagram of Pi is a -subdiagram of P1 for any i Q 0. We illustrate this using Example 4. The set L1 = 1,2,3,4,5,6, 1,2,4,3,5,6, 1,4,2,3,5,6 shows that there exist three Jordan-Hölder filtrations of 6 resp. 6 and three good filtrations of P1 resp. I1. All Jordan-Hölder filtrations of j resp. j are subfiltrations of 6 resp. factor filtrations of 6 in the picture Kj = ker n j. Similar -good filtrations of Pj are subfiltrations of P1 and -good filtrations of I1 are factor filtrations of those of I1 here Kj = keri1 Ij for all j Q 0. submodule diagram of 6 submodule diagram of 6 -good diagram of P1 = I1 -good diagram of P1 = I1 S6 S5 S S3 2 S2 S S1 S4 K4 S2 6 K1 K2 K2 K4 S3 K3 K4 S5 S6 K5 K3 K6 = P2+P4 P2 2 P1 P3+P4 P P5 P6 0 P4 P1 = I K4 3 K6 K5 K3 K3 K4 K2 2 K2 K4 1 K1 = 0 The subquotients are illustrated as follows: The module N pointing to the line which connects the modules M and M such that M M has the meaning M /M = N. 2. Modules generated by the paths pj,i,k In this section A, is a 1-quasi-hereditary algebra. In the following we use some notations introduced in [8]: For any i Q 0 we have the sets Λ i := j Q 0 j i and Λ i := j Q 0 j i. If i is a small resp. large neighbor of j w.r.t., we write i j resp. i j. Recall that p = A p. We recall the definition ofpj,i,k from [8, Sec. 3]: Letj,i,k be inq 0 withi Λ j Λ k. There exist λ 0,...,λ r Λ j and µ 0,...,µ m Λ k with j = λ 0 λ 1 λ r = i and i = µ 0 µ 1 µ m = k giving a path n pj,i,k := j λ 1 λ r 1 i µ 1 µ m 1 k λ r = i = µ 0 λ r 1 µ 2 a path pj,i,k [black] resp. pk,i,j [gray] is visualised in the picture to λ 2 µ m 1 the right. We fix a path of the formpj,i,i andpi,i,k, we obviously have pj,i,k = pi,i,k pj,i,i. We denoted byf j,i,k thea-map corresponding λ 1 j = λ 0 to pj,i,k, i.e. f j,i,k : Pk Pj with f j,i,k a e k = a pj,i,k for all a A. We obtain f j,i,k = f j,i,i f i,i,k. A path pj,i,i resp. pi,i,k is 1 increasing resp. declining and e i = pi,i,i is the trivial path e j. In the following, we point out of some facts which are presented in [8]: k = µ m 8

9 1 The set pj,i,k i Λ j Λ k is a K-basis of Pj k for all j,k Q 0 see [8, Theorem 3.2]. 2 The module generated by pj,i,i is the unique submodule of Pj isomorphic to Pi for any i Λ j. The map f j,i,i : Pi Pj is an inclusion, thus pj,i,k = im Pk f i,i,k Pi f j,i,i Pj is a submodule of Pi Pj see [8, Remark 3.1]. 3 We have im Pk f i,i,k Pi f i,i,i Pi f j,i,i Pj Pi Pi Pj for i,i Λ j Λ k with i i, thus pj,i,k Pi k Pj k. We obtain that the set pj,i,k i Λ i is a K-basis of the space Pi k of the submodule Pi of Pj, since dim K Pi k = [Pi : Sk] = Λ i Λ k k i = Λ i see [8, Lemma 2.1]. We now consider the A-modules generated by pj,i,k for all i,j,k Q 0 with i Λ j Λ k. We show that the submodule pj,i,k ofpj isf-invariant for anyf End A Pj, i.e. F pj,i,k pj,i,k. Thus pj,i,k is an End A Pj op -module. 2.1 Theorem. Let A = KQ/I, be a 1-quasi-hereditary algebra and j,k Q 0. For any i Λ j Λ k the module generated by pj,i,k is F-invariant for every F End A Pj. The proof of this Theorem follows from some properties of the lattice of submodules of Pj generated by pj,i,k. They provide a relationship between the Hasse diagrams for the posets pj,i,k i Λ j Λ k, and Λ j Λ k, as well as pj,i,k k Λi, and Λi,. 2.2 Lemma. Let A = KQ/I, be a 1-quasi-hereditary algebra and j Q 0. For all i Λ j and k Λ i the following holds: a pj,i,k pj,i,k if and only if i > i. b pj,i,k pj,i,k if and only if k < k. The picture to the right visualizes the presentation of P1 over the 1-quasi-hereditary algebra A given by the quiver and relations in Example 1 this algebra corresponds to a regular block of Osl 3 C: The circles represents the spaces P1 k for any k Q 0 which is spanned by pi,k i Λ k see1, where pi,k := p1,i,k. Presentation of P1 with the basis p1,i,k i,k Q 0, i Λ k P1 4 p4,4 p6,4 p6,6 P1 6 p6,5 p5,5 P1 5 The meaning of the arrows p q and p q, is p q they illustrate Lemma 2.2 a and b respectively. The set pi,k i Λ j, k Λ i is a K-basis of the submodule Pj of P1 which is generated by pj,j. The set p6,k k Λ j is a K-basis of the submodule j of P1 which is generated by p6,j see [8, Remark 3.1]. P1 2 p6,2 p4,2 p5,2 p2,2 p6,1 p4,1 p5,1 p2,1 p3,1 p1,1 p6,3 p5,3 p4,3 P1 1 p3,3 P1 3 9

10 2.3 Remark. General theory of modules over basic algebras says that an A-module M has finitely many local submodule with top isomorphic to Sk if and only if there exist a K-basis of x 1,x 2,...,x m of M k with x 1 x 2 x m. If M k has such a K-basis for any k Q 0 A then the number of submodules of M is finite. Lemma 2.2 implies that a projective indecomposable A-module Pj over 1-quasi-hereditary algebra A has finitely many submodules if and only if the set Λ j, totally ordered. Let A be an algebra given in Example 4, then the A-module Pi has finitely many submodules for every i Q 0 \1. The proof of Lemma 2.2 is based on some properties of the factor algebras Al := A/A j Q 0 \Λ e l j A of A considered in [8, Sect. 5]: Any Al-module is an A-module M with [M : St] = 0 for all t Q 0 \Λ l. The algebra Al is quasi-hereditary with l k = k for all k Λ l the quiver of Al is the full subquiver of Q containing the vertices of Λ l. Let p be a path of A passing through the vertices in Λ l, then this path is also a path of Al which we denote by p l. The Al-module generated by p l [also denoted by p l ] is the largest factor module M of the A-module p with the property [M : St] = 0 for all t Q 0 \Λ l. In particular, p l ql implies p q. For any i Λ l a path of the form pj,i,k runs over the vertices of Λ l and the set pl j,i,k j,i,k Λ l, j,k Λ i is a K-basis of Al see [8, Lemma 5.2a]. Proof of Lemma 2.2. a " " The property 2 shows that pj,i,k Pi k can be considered as an element of a K-basis pj,l,k l Λ i of Pi k we consider Pi as a submodule of Pj. Thus i Λ i and i i, since pj,i,k pj,i,k. " " Let i l i. We consider the algebra Al and show p l j,l,k p l j,i,k. This implies pj,l,k pj,i,k and iteratively we have pj,i,k pj,l,k pj,i,k. Since l is maximal in Λ l, we obtain P l l = l l = l. The equality [P l v : Sl] = P l v : l l = 1 implies that l l is an unique submodule of P l v with top isomorphic to Sl for any v Λ l see [8, Lemma 5.2]. Moreover, it is a fact that a local submodule M of l l with topm = St is unique and isomorphic to l t see [8, Lemma 2.5]. For the Al-map f j,l,k corresponding to p l j,l,k we have f j,l,k : P l k f l,l,k l l f j,l,l P l j and f j,l,l 0, since p l j,l,k 0. Thus f j,l,l is injective and imf j,l,k = p l j,l,k is a submodule of l l P l j with top isomorphic to Sk. We obtain p l j,l,k = l k and p l j,i,k P l i\ l l because p l j,i,k and p l j,l,k are linearly independent. Let W := l l p l j,i,k. We show now existence of t Λ l with t k such that St is a direct summand of topw. This implies an existence of a local submodule L of l l with topl = St such that L p l j,i,k. The fact provides L = l t and consequently p l j,l,k = l k l t p l j,i,k see [8, Remark 2.6]: The filtration 0 l l P l i is -good, since P l i : l j = 1 for j = i,l see [8, Lemma 5.2]. Since p l j,i,k /W P l i/ l l = l i, we have p l j,i,k /W = l k see. For the A-module p l j,i,k there exists a surjective map F : Pk p l j,i,k. According to [8, Lemma 2.4] we have Pk/ k t Pt = k, thus F k tpt = W. Since W is an Al-module we obtain topw addtop k t Pt add t Λ l St = add t Λ l St see [1, k t 10

11 Corollary 3.9]. b It is pj,l,k pj,l,k if and only if p l j,l,k p l j,l,k. We have p l j,l,k = l k = k and p l j,l,k = l k = k. According to [8, Lemma 2.5] we obtain k k if and only if k < k. Proof of Theorem. Let F End A Pj. The submodule Pi of Pj is F-invariant according to [8, Remark 2.3]. Since pj,i,k Pi Pj, we have F pj,i,k = span K pj,i,k i Λ i. Lemma 2.2 a implies Fpj,i,k pj,i,k, thus F pj,i,k pj,i,k. Pi k 3 3. Generators of the characteristic tilting module In this section we consider a 1-quasi-hereditary algebra A = KQ/I for which the corresponding Ringel-dual RA is also 1-quasi-hereditary. [ According to [8, Theorem 6.1] this is ] exactly the case if the factor algebra Ai := A/ A t Q 0 \Λ e i t A is 1-quasi-hereditary for every i Q 0 for Ai-modules we use the index i. The properties of a 1-quasi-hereditary algebraa, with1 = minq 0 A, yields the following: If x A generates P A 1, then p1,k,k x generates the submodule P A k of P A 1 for any increasing path p1,k,k from 1 to k see [8, Remark 3.1]. Let Ai be 1-quasi-hereditary for all i Q 0. The direct summand Ti of the characteristic tilting A-module T is a local submodule of P1 with topti = S1 see [8, Theorem 5.1]. There exists ti,1 P1 1 which generates Ti for all i Q 0. Because i Q 0 Ai = Λ i is maximal, for Ai-module Ti we have P i 1 = I i 1 = Ti = T i i see [8, Lemma 5.2]. Since P i 1 = ti,1, for any k Λ i we obtain that ti,k := p1,k,k ti,1 generates the submodule P i k of P i 1. Since ti,k P1 k, we have ti,k = l Λ k c l p1,l,k for some c l K see Section 2 1. In particular, for any j Λ i the algebra Ai is a factor algebra of Aj, namely Ai = Aj i, thus Ti is a direct summand of the characteristic tilting Aj-module T j = k Λ j T j k with Ti = T j i. The next Theorem shows particular features of ti,k and of A-modules generated by ti,k. 3.1 Theorem. Let A and RA be 1-quasi-hereditary and ti,k be an element defined as above. Then the following hold: 1 The set ti,k i Q 0, k Λ i is a K-basis of P1. 2 ti,k i Q 0, k Λ i = local submodules of P1 in F. Let j Q 0, then a local submodule of Pj in F is isomorphic to some ti,k. 3 Let F End A P1, then ti,k is F-invariant for all i,k Q 0 with k Λ i. Proof. 1 Obviously, ti,k belongs to P1 k for all i Λ k. Let r = Λ k and Lk := i 1,i 2,...,i r i l Λ k, i v i t, 1 v < t r and i 1,...,i t,...,i r Lk. By induction on t we show that ti 1,k,...,ti r,k are linearly independent. This implies that the set ti,k i Λ k is a K-basis of P1 k, since dim K Pi k = r see [8, Lemma 11

12 2.1]: For t = 1 we have i 1 = k, thus ti 1,i 1 0 is linearly independent. By definition of Lk we have i l i t+1, thus [ ti l,k : Si t+1 ] = [P il k : Si t+1 ] = 0 for all 1 l t, however [ ti t+1,k : Si t+1 ] = [P it+1 k : Si t+1 ] = 1, since Ai t+1 is 1-quasi-hereditary. Hence ti t+1,k t l=1 ti l,k and consequently ti t+1,k span K ti 1,k,...,ti t,k. 2 Let M F with M P1 and topm = Sk. Then M = Pk/M with M = Dt+1 = r m=t+1 Pi m for some i = i 1,...,i t,i t+1,...,i r Lk see [8, Proposition 4.2]. The -good filtration Di of Pk induces the -good filtration 0 Dt/M D2/M D1/M = Pk/M = M with Dt/M = it and M/D2/M = k = i 1. Since socm and topm are simple, any -good filtration starts with i t 1 if l i1,...,i and the top quotient is i 1, moreover M : l = t, Definition 0 if l i t+1,...,i r. of Lk implies i 1 l i t for any l i 1,...,i t and Λ it i t+1,...,i r =. Thus i 1,...,i t = Λ k Λ it and i t+1,...,i r = Λ k \Λ it. According to [8, Lemma 5.2] we have M = Pk/ l Λ k \Λ Pl = it Pitk, thus M = ti t,k. Since F it F, we have. Any submodule of Pj is isomorphic to a submodule of P1, since Pj P1 for all j Q 0. Thus any local submodule of Pj in F is a submodule of P1 in F. 3 First, we show that any Ai-submodule M of P1 is contained in ti,1 = P i 1 = Ti: Let i n. We have P1/Ti F, since the category F is closed under cokernels of injective maps see [9]. If P1/Ti : t 0, then t Q 0 \Λ i because P1 : t = 1 for all t Q 0 and Ti : t = I i 1 : t = 1 for all t Λ i. Thus socp1/ti add St. Consequently, for any submodule t Q0\Λi N of P1 with ti,1 = Ti N we have [N : St] 0 for some t Q 0 \Λ i, i.e. N is not a Ai-module. Thus ti,1 is the largest Ai-submodule of P1. Let M be a submodule of P1 with [M : St] = 0 for all t Q 0 \Λ i, then for any F End A P1 it is [FM : St] = 0 for t Q 0 \Λ i. We have FM ti,1. Since Ai is 1-quasi-hereditary, any submodule L of P i 1 with topl = Sk is contained in P i k = ti,k see [8, Lemma 2.2]. Thus F ti,k ti,k for every F End A P1, since F ti,k is a submodule of P i 1 with topf ti,k = Sk. A similar relationship to that between the modules generated by p1, i, k and the posets Λ i, as well as Λ k, in Lemma 2.2 exists also between the submodules generated by ti,k and Λ k, as well as Λ i, : The Hasse diagrams of the sets ti,k i Λ k, and Λ k, as well as the diagrams of ti,k k Λ i, and Λ i, coincide. 3.2 Lemma. Let A and RA be 1-quasi-hereditary and ti,k be an element defined as above. Then for all i,i,k,k Q 0 it is a ti,k ti,k if and only if i < i. b ti,k ti,k if and only if k > k. Proof. a If ti,k ti,k, then [ P i k : Si ] 0. Thus [ P i k : Si ] 0 P i k P i k so we get i Λ i see [8, Lemma 5.2 c]. Since ti,k ti,k, we obtain i i. 12

13 On the other hand, if i < i, then Ti is the direct summand T i i of the characteristic tilting Ai-module and therefore a submodule of P i 1, since Ai = Ai i is 1-quasihereditary see [8, Theorem 5.1]. We have P i k P i 1 = Ti = T i i P i 1, thus P i k is a local submodule of P i 1 with top isomorphic to Sk. According to [8, Lemma 2.2], we obtain P i k P i k. Since i < i we have [ P i k : Si ] [ = 0 and Pi k : Si ] = 1. Therefore P i k P i k and consequently ti,k ti,k. b According to [8, Lemma 2.2] we have P i k P i k if and only if k > k. Algebras associated to the blocks of category Og are Ringel self-dual see [10]. The 1-quasi-hereditary algebra A given by quiver and relations in the Example 1 corresponds to the regular block of Osl 3 C, thus the Ringel-dual of A is also 1-quasi-hereditary. Analogously to the previous picture we can give the inclusion diagram of the submodules P i k = ti,k of P1, in view of Lemma 3.2. The meaning of circles and arrows is the same as in the last picture the arrows p q and p q illustrates Lemma 3.2a and b respectively. We additionally pointed out the elements which generates the direct summands of the characteristic tilting module, projective and standard submodules of P1. The notation M p resp. p M means M = p. These dim K P1 = 19 submodules of P1 are the local submodules of P1 from F. The element ti, k is the following linear combination of pl,k := p1,l,k l Λ k : t2,1 = p5,1, t3,1 = p4,1, t4,1 = p3,1, t5,1 = p2,1, ti,i = p6,i, t6,i = pi,i t4,3 = p5,3, t5,3 = p4,3+p5,3, t4,2 = p4,2+p5,2, t5,2 = p4,2, for every i Q 0. Presentation of P1 with the basis ti,k i,k Q 0, i Λ k P1 4 4 t4,4 P1 2 2 t2,2 6 = P6 t6,6 t6,4 P4 t6,2 P2 t4,2 t5,2 P1 t6,1 T4 t4,1 T2 t2,1 1 t1,1 P1 6 P5 t6,5 P3 t6,3 t5,3 t4,3 t5,1 T5 t3,1 T3 P1 1 P1 5 t5,5 5 P1 3 t3,3 3 Acknowledgments. I would like to thank Julia Worch for comments and remarks. References [1] I. Assem, D. Simson, A. Skowronski, Elements of the Representation Theory of Associative Algebras 1. Techniques of Representation Theory, London Mathematical Society Student Texts 65, Cambridge University [2] I.N. Bernstein, I.M. Gelfand and S.I. Gelfand, A certain category of g-modules, Funkcional. Anal. i Priložen. 10, [3] E. Cline, B. Parshall and L. Scott, Finite dimensional algebras and highest weight categories, J. Reine Angew. Math. 391, Math., 82, Amer. Math. Soc [4] V. Dlab, P. Heath and F. Marko, Quasi-hereditary endomorphism algebras, Canad. Math. Bull. 38,

14 [5] V. Dlab and C.M. Ringel, The module theoretic approach to quasi-hereditary algebras, Representations of algebras and related topics Kyoto, 1990, , London Math. Soc. Lecture Note Ser. 168, Cambridge Univ. Press, Cambridge [6] S. König, Exact Borel subalgebras of quasi-hereditary algebras, I, Math. Z. 220, no.3, [7] F. Marko, Algebra associated with the regular block of category O for sl 3 C, Algebras, rings and their representations, , World Sci. Publ., Hackensack, NJ [8] D. Pucinskaite, 1-quasi-hereditary algebras, [9] C.M. Ringel, The category of modules with good filtrations over a quasi-hereditary algebra has almost split sequences, Math. Z. 208, [10] W. Soergel, Character formulas for tilting modules over Kac-Moody algebras. Represent. Theory 2, [11] C. Stroppel, Category O: Quivers and Endomorphism Rings of Projectives, Represent. Theory 7, [12] C. Xi, Quasi-Hereditary algebras with a duality, J. Reine angew. Math. 449,