arxiv:math/ v2 [math.ra] 12 Jan 2001

INTRODUCTION TO A-INFINITY ALGEBRAS AND MODULES arxiv:math/9910179v2 [math.ra] 12 Jan 2001 BERNHARD KELLER Dedicated to H. Keller on the occasion o his seventy ith birthday Abstract. These are expanded notes o our introductory talks on A -algebras, their modules and their derived categories. Contents 1. Introduction 1 2. Motivation and topological origin 2 3. A -algebras and their morphisms 5 4. A -modules and the derived category 12 5. Triangulated structure 15 6. Standard unctors 16 7. Twisted objects 19 8. On the proos 26 Reerences 29 1. Introduction 1.1. These notes. These are expanded notes o a minicourse o three lectures given at the Euroconerence Homological Invariants in Representation Theory in Ioannina, Greece, March 16 to 21, 1999, and o a talk at the Instituto de Matemáticas, UNAM, México, on April 28, 1999. They present basic results on A -algebras, their modules and their derived categories. 1.2. History. A -spaces and A -algebras (= sha algebras = strongly homotopy associative algebras) were invented at the beginning o the sixties by J. Stashe [45] [46] as a tool in the study o group-like topological spaces. In the subsequent two decades, A -structures ound applications and developments [30] [3] [1] in homotopy theory; their use remained essentially conined to this subject (c. however [34], [42]). This changed at the beginning o the nineties when the relevance o A -structures in algebra, geometry and mathematical physics became more and more apparent (c. e.g. [11], [48], [31]). O special inluence was M. Kontsevich s talk [23] at the International Congress in 1994: Inspired by K. Fukaya s preprint [8] Kontsevich gave a conjectural interpretation o mirror symmetry as the shadow o Date: May 23, 1999, last modiied on January 10, 2001. 1991 Mathematics Subject Classiication. 18E30, 16D90, 18G40, 18G10, 55U35. Key words and phrases. A-ininity algebra, Derived category. Partially supported by the European Network Algebraic Lie Representations, Contract ERB- FMRX-CT97-0100. 1

2 BERNHARD KELLER an equivalence between two triangulated categories associated with A -categories. His conjecture was proved in the case o elliptic curves by A. Polishchuk and E. Zaslow [37]. 1.3. Scope and sources. In these notes, we aim at presenting some basic theorems on A -algebras, their modules and their derived categories. The notes may serve as an introduction to a (very) small part o Kontsevich s lectures [25]. Besides these, our main sources were [38], [46], [43], [15], [16], [18]. Some o the results we state are not proved in this orm in the literature. Complete proos will be given in [28]. 1.4. Contents. In section 2, we motivate the introduction o A -algebras and modules by two basic problems rom homological algebra: 1. the reconstruction o a complex rom its homology, 2. the reconstruction o the category o iterated selextensions o a module rom its extension algebra. Then we briely present the topological origin o A -structures. Section 3 is devoted to A -algebras and their morphisms. The central result is the theorem on the existence o minimal models. In sections 4 and 5, we introduce the derived category o an A -algebra and we present the natural ramework or the solution o problem 1. In section 6, we sketch the ormalism o standard unctors and arrive at the solution o problem 2. Section 7 presents the category o twisted objects, which is o importance because it is computable. 1.5. Omissions. The links with Morita theory or derived categories [39] or dg categories [21] have not been made explicit, c. however [22]. The relevance o A -algebras to boxes and matrix problems was discovered by S. Ovsienko [34] (c. also [35]). We only give a hint o this important development in example 7.9. The notions o A -equivalence and o A -enhanced triangulated categories, crucial or [25], will be treated in [28]. Acknowledgments. The author is grateul to N. Marmaridis and C. M. Ringel or the organization o the Euroconerence in Ioannina, Greece, where the material o sections 2 to 6 was irst presented. He expresses his sincere thanks to J. A. de la Peña and C. Geiss or the hospitality he enjoyed at the Instituto de Matemáticas, UNAM, México, where the material o section 7 was irst presented and a irst drat o these notes completed. 2. Motivation and topological origin 2.1. Motivation. Let k be a ield. The ollowing two problems will guide us in our exploration o the world o A -algebras and modules. Problem 1. Let A be an associative k-algebra with 1, let M = (... M p d p M p+1... ) be a complex o (unital right) A-modules and let H M = kerd / imd, Z, be its homology. It is a naive but natural question to ask whether, up to quasiisomorphism, we can reconstruct the complex M rom its homology H M. This is o course impossible, except under very restrictive hypotheses, or example when

INTRODUCTION TO A-INFINITY ALGEBRAS AND MODULES 3 A is an hereditary algebra (i.e. an algebra such that submodules o projective A- modules are projective, see [6]). So we ask what additional structure is needed i we want to reconstruct M rom its homology. The answer is that H M carries a unique (up to isomorphism) A -module structure over A (viewed as an A -algebra) which encodes exactly the additional inormation needed or this task. Problem 2. Let B be an associative k-algebra with 1, let M 1,..., M n be B-modules and let ilt(m i ) denote the ull subcategory o the category o right B- modules whose objects admit inite iltrations with subquotients among the M i. In other words, ilt(m i ) is the closure under extensions o the M i. A natural question to ask is whether ilt(m i ) is determined by the extension algebra Ext B (M, M), where M = M i, together with its idempotents corresponding to the M i. Again, the answer is no. This time, it is no even i we assume that B is hereditary. Again, we ask what additional structure on the extension algebra is needed to reconstruct the category o iterated extensions. The answer is that the extension algebra admits an A - structure which encodes the additional inormation needed or this task. The aim o these lectures is to explain the answers to the two problems and to show how they it into a general theory. 2.2. Topological origin. At the beginning o the sixties, J. Stashe invented A - spaces and A -algebras [45], [46] as a tool in the study o group-like spaces. Let us consider the basic example: Let (X, ) be a topological space with a base point and let ΩX denote the space o based loops in X: a point o ΩX is thus a continuous map : S 1 X taking the base point o the circle to the base point. We have the composition map m 2 : ΩX ΩX ΩX sending a pair o loops ( 1, 2 ) to the loop 1 2 = m 2 ( 1, 2 ) obtained by running through 1 on the irst hal o the circle and through 2 on the second hal 1 1 2 2 This composition is non associative: or three loops 1, 2, 3, the composition ( 1 2 ) 3 runs through 1 on the irst quarter o the circle whereas the composition 1 ( 2 3 ) runs through 1 on the irst hal o the circle. We symbolize the two

4 BERNHARD KELLER possibilities by the two binary trees with three leaves 2 1 1 2 3 ( 1 2 ) 3 3 1 1 2 3 1 ( 2 3 ) 2 3 Clearly, there is an homotopy m 3 : [0, 1] ΩX ΩX ΩX. joining the two possibilities o composing three loops. When we want to compose 4 actors, there are 5 possibilities corresponding to the 5 binary trees with 4 leaves. Using m 3, we obtain two paths o homotopies joining the composition ( 1, 2, 3, 4 ) (( 1 2 ) 3 ) 4 to the composition ( 1, 2, 3, 4 ) 1 ( 2 ( 3 4 )). K 4

INTRODUCTION TO A-INFINITY ALGEBRAS AND MODULES 5 These two paths are clearly homotopic. Let us denote an homotopy by m 4 : K 4 (ΩX) 4 ΩX where K 4 denotes the pentagon bounded by the two paths. When we want to compose 5 actors, there are 14 possibilities corresponding to the 14 binary trees with 5 leaves. Using m 4 and m 3, we obtain paths linking the compositions and aces linking the paths. The resulting sphere is the boundary o the polytope K 5 depicted [48] below. The pentagonal aces are copies o K 4. More generally, Stashe [45] deined polytopes K n o dimension n 2 or all n 2 (we have K 2 =, K 3 = [0, 1]) and he deined an A -space to be a topological space Y endowed with maps m n : K n Y n Y, n 2, satisying suitable compatibility conditions and admitting a strict unit. The loop space ΩX is the prime example o such a space Y. Conversely [1, 2.2], a topological space that admits the structure o an A -space and whose connected components orm a group is homotopy equivalent to a loop space. I Y is an A -space, the singular chain complex o Y is the paradigmatic example o an A -algebra [46]. 3. A -algebras and their morphisms 3.1. Deinition o an A -algebra. Let k be a ield. An A -algebra over k (also called a strongly homotopy associative algebra or an sha algebra ) is a Z-graded vector space A = p Z A p endowed with graded maps (=homogeneous k-linear maps) m n : A n A, n 1, o degree 2 n satisying the ollowing relations We have m 1 m 1 = 0, i.e. (A, m 1 ) is a dierential complex.

6 BERNHARD KELLER We have m 1 m 2 = m 2 (m 1 1 + 1 m 1 ) as maps A 2 A. Here 1 denotes the identity map o the space A. So m 1 is a (graded) derivation with respect to the multiplication m 2. We have m 2 (1 m 2 m 2 1) = m 1 m 3 + m 3 (m 1 1 1 + 1 m 1 1 + 1 1 m 1 ) as maps A 3 A. Note that the let hand side is the associator or m 2 and that the right hand side may be viewed as the boundary o m 3 in the morphism complex Hom k (A 3, A) (the deinition o the morphism complex is recalled below). This implies that m 2 is associative up to homotopy. More generally, or n 1, we have ( 1) r+st m u (1 r m s 1 t ) = 0 where the sum runs over all decompositions n = r + s + t and we put u = r + 1 + t. We have adopted the sign conventions o Getzler-Jones [11]. Note that when these ormulas are applied to elements, additional signs appear because o the Koszul sign rule: ( g)(x y) = ( 1) g x (x) g(y) where, g are graded maps, x,y homogeneous elements and the vertical bars denote the degree. For example, we have (m 1 1 + 1 m 1 )(x y) = m 1 (x) y + ( 1) x x m 1 (y) so that m 1 1+1 m 1 is the usual dierential on the tensor product. The deining identities are pictorially represented [25] by a_3 ± a_1 a_2 m_j = 0. m_l We note three immediate consequences o the deinition: (1) In general, an A -algebra A is not associative but its homology H A = H (A, m 1 ) is an associative graded algebra or the multiplication induced by m 2. (2) I A p = 0 or all p 0, then A = A 0 is an ordinary associative algebra. Indeed, since m n is o degree 2 n, all m n other than m 2 have to vanish. (3) I m n vanishes or all n 3, then A is an associative dg (=dierential Z- graded) algebra and conversely each dg algebra yields an A -algebra with m n = 0 or all n 3.

INTRODUCTION TO A-INFINITY ALGEBRAS AND MODULES 7 Note that we have not deined unitality or A -algebras. C. however 3.5 below. 3.2. Link with deormation theory. The ollowing class o examples, due to Penkava-Schwarz [36], shows the close link between deormation theory and A - algebras (c. also [26]): Let B be an ordinary associative algebra, n 1 an integer and ε an indeterminate o degree 2 n and with ε 2 = 0. An ininitesimal n- deormation o B is a k[ε]-multilinear A -algebra structure on B k[ε] which lits the multiplication o B. Thus an ininitesimal 2-deormation is just an algebra deormation o B. It is well-known and easy to check that ininitesimal 2-deormations are in natural bijection with Hochschild 2-cocycles c : B 2 B. Analogously, ininitesimal n-deormations are in natural bijection with Hochschild n-cocycles. Thus, by working in the class o A -algebras, we may interpret Hochschild cocycles o arbitrary degree 1 as deormations. 3.3. Minimal models. Let us recall the dg algebra which is implicit in problem 2: Let B be an ordinary associative k-algebra with 1 and and M a B-module. Choose an injective resolution o M and denote by I the complex 0 M I 0 I 1... 0 I 0 I 1.... Let Hom B (I, I) be the morphism complex: recall that its nth component is the group o graded B-linear maps : I I o degree n (no compatibility with d I ) and its dierential is deined by d() = d I ( 1) n d I. Then A = Hom B (I, I) endowed with its dierential becomes a dg algebra or the natural composition o graded maps and its homology algebra is the extension algebra o M: H A = Ext B (M, M). We claim that this has a canonical (up to equivalence) structure o A -algebra with m 1 = 0 and m 2 the usual multiplication. Indeed, more generally, we have the Theorem (Kadeishvili [15], see also [14], [43], [38], [12], [13], [32]). Let A be an A - algebra. Then the homology H A has an A -algebra structure such that 1) we have m 1 = 0 and m 2 is induced by m A 2 and 2) there is a quasi-isomorphism o A -algebras H A A liting the identity o H A. Moreover, this structure is unique up to (non unique) isomorphism o A -algebras. The notion o morphism and quasi-isomorphism o A -algebras will be deined below (3.4). The most explicit construction o the A -structure on H A can be ound in Merkulov s [32]. His construction is explained in terms o trees in [27, 6.4]. Let us introduce some terminology: An A -algebra with vanishing m 1 is called minimal. In the situation o the theorem, the A -algebra H A is called a minimal model or A. The A -algebra A is called ormal i its minimal model can be chosen to be an ordinary associative graded algebra, i.e. such that m n = 0 or all n 3. A graded algebra B is intrinsically ormal i each A -algebra A whose homology is isomorphic to B is ormal. A suicient condition or B to be intrinsically ormal in terms o its Hochschild homology is given in [19], c. also [41, 4.7].

8 BERNHARD KELLER It was shown in [7] that the dg algebra o smooth real orms on a compact Kähler maniold is ormal. In particular, this holds or smooth, complex projective maniolds. In contrast to the statement o the above theorem, one can also show that each A -algebra A admits an anti-minimal model, i.e. there is a dg algebra C and a quasi-isomorphism o A -algebras A C. Thus, passing rom dg algebras to A -algebras does not yield new quasi-isomorphism classes. What it does yield is a new description o these classes by minimal models. I, in the above example, we choose B to be a inite-dimensional algebra and M to be the sum o the simple B-modules, one can show that the dg algebra A is ormal i B is a Koszul algebra. The smallest examples where A is not ormal is the algebra B deined by the quiver with relations (c. [40], [9], [2]) α β γ, γ β α = 0. Here the extension algebra H A is given by the quiver with relations a b c e, ab = 0, bc = 0, where the arrows a, b, c are o degree 1 and the arrow e is o degree 2. We have m n = 0 or n 2, 3, m 3 (a, b, c) = e and all other products vanish (the method or computing this is given at the end o section 3.4). This example illustrates the act that the higher products o the A -algebra H A lit the Massey products [46] whenever these are deined. 3.4. Morphisms o A -algebras. A morphism o A -algebras : A B is a amily n : A n B o graded maps o degree 1 n such that we have 1 m 1 = m 1 1, i.e. 1 is a morphism o complexes, we have 1 m 2 = m 2 ( 1 1 ) + m 1 2 + 2 (m 1 1 + 1 m 1 ), which means that 1 commutes with the multiplication m 2 up to a homotopy given by 2, more generally, or n 1, we have ( 1) r+st u (1 r m s 1 t ) = ( 1) s m r ( i1 i2... ir ) where the irst sum runs over all decompositions n = r + s + t, we put u = r + 1 + t, and the second sum runs over all 1 r n and all decompositions n = i 1 + + i r ; the sign on the right hand side is given by s = (r 1)(i 1 1) + (r 2)(i 2 1) + + 2(i r 2 1) + (i r 1 1). The morphism is a quasi-isomorphism i 1 is a quasi-isomorphism. It is strict i i = 0 or all i 1. The identity morphism is the strict morphism such that 1

INTRODUCTION TO A-INFINITY ALGEBRAS AND MODULES 9 is the identity o A. The composition o two morphisms : B C and g : A B is given by ( g) n = ( 1) s r (g i1 g ir ) where the sum and the sign are as in the deining identity. Here is a (slightly stylized) pictorial representation o the deining identity or a morphism o A - algebras ± m = ±. m A -algebras may be viewed as algebras over an operad (c. e.g. [29]). However, only strict morphisms o A -algebras may then be viewed as morphisms o algebras. As an illustration o the notion o morphism, suppose that A is a dg algebra and let us construct the multiplication m 3 on H A and, at the same time, the irst three terms o a quasi-isomorphism : H A A liting the identity o H A. For this, we view H A as a complex with zero dierential and we choose a morphism o complexes 1 : H A A inducing the identity in homology. Then 1 commutes with the multiplication up to boundaries, i.e. there exists a graded map 2 : H A H A A degree 1 such that Now we look or 3 and m 3 such that 1 m 2 = m 2 ( 1 1 ) + m 1 2. 1 m 3 + 2 (m 2 1 1 m 2 ) + 3 (m 1 1 2 + 1 m 1 1 + 1 2 m 1 ) = m 3 ( 1 1 1 ) + m 2 ( 1 2 2 1 ) + m 1 3. In our situation, this simpliies into 1 m 3 = m 2 ( 1 2 2 1 ) + m 1 3. Now it is easy to check that the map m 2 ( 1 2 2 1 ) has its image in the cycles o A. So there is indeed a map 3 : (H A) 3 A o degree 2 and a map m 3 : (H A) 3 H A o degree 1 such that the identity holds. 3.5. Augmented A -algebras. I an A -algebra A has a unital homology algebra H A, one can oten simpliy the computation o the minimal model or A by passing to the category o augmented A -algebras. Here are the relevant deinitions: A strictly unital A -algebra is an A -algebra A endowed with an element 1 A o degree 0 such that we have m 1 (1 A ) = 0, m 2 (1 A, a) = a = m 2 (a, 1 A ) or all a A and such that, or all i > 2, and all a 1,..., a i in A, the product m i (a 1,..., a i ) vanishes i one o the a j equals 1 A. I A and B are strictly unital A -algebras, a morphism o A -algebras : A B is strictly unital i we have 1 (1 A ) = 1 B and i or all i > 1 and all a 1,..., a i, the element i (a 1,..., a i ) vanishes i one o the a j equals 1. Each strictly unital A -algebra is canonically endowed with a strict (hence strictly unital) morphism η : k A mapping 1 k to 1 A. It is augmented i it is moreover endowed with a strictly unital morphism ε : A k such that

10 BERNHARD KELLER ε η = 1 k. A morphism o augmented A -algebras is a strictly unital morphism : A B such that ε B = ε A. It is then easy to check that the unctor A ker ε is an equivalence rom the category o augmented A -algebras to the category o A -algebras. The quasi-inverse unctor sends an A -algebra B to k B endowed with the unique strictly unital structure extending the structure o B. Let A be an augmented A -algebra and let A = kerε. Clearly we obtain a minimal model or A by taking k A, where A is a minimal model or A in the category o A -algebras. The computation o the minimal model or A is simpler than that o A, because we do not have to deal with the loop 1. The construction o minimal models and the above discussion extend to the case where the ground ring k is no longer a ield but a semi-simple ring R, or example a product o ields. We then consider A -algebras in the monoidal category o R-R-bimodules. For example, suppose that A is an ordinary algebra augmented over a semisimple ring R, say A = R A. Then the standard complex computing Ext A (R, R) is o the orm 0 R 0 Hom R (A, A) Hom R (A R A, A)... It has a canonical structure o dg algebra augmented over R. Thus the A -algebra Ext A (R, R) may be chosen to be augmented over R and, in particular, strictly unital. Let us consider another example: Suppose that k is a ield and that A is a unital dg k-algebra endowed with a decomposition 1 A = e 1 +... + e N o 1 A into idempotents e i = e 2 i such that the complexes e jae i are acyclic or i < j and that e i Ae i is quasi-isomorphic to k e i. Clearly A is isomorphic to the matrix algebra N e j Ae i i,j=1 and this algebra is quasi-isomorphic to its subalgebra o upper triangular matrices B = ke 1... ke N i<j e j Ae i. Clearly B is an augmented algebra over R = k... k (N actors). So we obtain a minimal model or A as the sum o R with a minimal model or B = i<j e j Ae i. viewed as an A -algebra over R. Let B be this minimal model. Then we have a decomposition B = i<j H (e j Ae i ) = i<j e j H (A)e i o R-R-bimodules and the tensor power B R B R... R B (n actors)

INTRODUCTION TO A-INFINITY ALGEBRAS AND MODULES 11 is isomorphic to the sum o the e in+1 H (A)e in k e in H (A)e in 1... k e i2 H (A)e i1 taken over all sequences i 1 < i 2 <... < i n+1. These spaces vanish or n N so that in the minimal model we automatically have m n = 0 or n N. For example, i N = 3, i.e. i the unit o A decomposes into 1 = e 1 + e 2 + e 3, then B is automatically ormal. Hence B and A are also ormal in this case. The ollowing lemma presents another case where the passage to the category o augmented A -algebras is easy. A subalgebra o an A -algebra A is a graded subspace B such that m i maps B i to B or all i 1. Lemma. Let A be a strictly unital A -algebra (or example a unital dg algebra). Suppose that H i A = 0 or i < 0 and that H 0 A = k. Then there is a subalgebra B A whose inclusion is a quasi-isomorphism and which is augmented. 3.6. The bar construction. Following [46] and [16] we will restate the deinitions o A -algebras and their morphisms in a more eicient way. Let V be a Z-graded vector space and let TV = V V 2 be the reduced tensor algebra (in the category o graded spaces). We make TV into a graded coalgebra via the comultiplication deined by (v 1,..., v n ) = : TV TV TV 1 i n (v 1,..., v i ) (v i+1,..., v n ). Note that (v) = 0 and (v 1, v 2 ) = v 1 v 2. It is then easy to see that each graded map b : TV V o degree 1 uniquely lits to a graded coderivation b : TV TV o degree 1, where coderivation means that we have b = (b 1 + 1 b). To see that this is plausible, one should remember that algebra derivations TV TV are in bijection with maps V TV. The component o b that maps V n to V u is 1 r b s 1 t where r + 1 + t = u. Thus we have a bijection between coderivations b : TV TV o degree 1 and amilies o maps b n : V n V, n 1, o degree 1. Now let A be another Z-graded space and let SA be its suspension: (SA) p = A p+1. Deine a bijection between the amilies o maps b n : (SA) n SA o degree 1 and maps m n : A n A, n 1, by the commutative square, (SA) n b n SA s n s m n A A n where s : A SA is the canonical map a a o degree 1. Note that m n is o degree n + 1 ( 1) = 2 n. Then we have the ollowing easy Lemma. The ollowing are equivalent (i) The maps m n : A n A yield an A -algebra structure on A.

12 BERNHARD KELLER (ii) The coderivation b : TSA TSA satisies b 2 = 0. (iii) For each n 1, we have bu (1 r b s 1 t ) = 0, where the sum runs over all decompositions n = r + s + t and we put u = r + 1 + t. Note that no signs appear in the last ormula. The lemma yields a bijection between A -algebra structures on A and coalgebra dierentials on TSA. It is also easy to check that i A and B are A -algebras, then morphisms o A -algebras : A B are in bijection with morphisms o dg coalgebras TSA TSB. 3.7. Homotopy equivalences and quasi-isomorphisms. Let A and B be A - algebras and, g morphisms rom A to B. Let F, G denote the corresponding morphisms o dg coalgebras T SA T SB. One deines and g to be homotopic i there is a homogeneous map H : TSA TSB o degree 1 such that H = F H + H G and F G = b H + H b. It is easy to translate this into the existence o a amily o maps h n : A n B satisying suitable conditions. Theorem (Prouté [38], c. also [18]). (a) Homotopy is an equivalence relation on the set o morphisms o A -algebras A B. (b) A morphism o A -algebras s : A B is a quasi-isomorphism i it is an homotopy equivalence (i.e. it becomes an isomorphism in the category obtained by dividing the category o A -algebras by the homotopy relation). 4. A -modules and the derived category 4.1. Reminder on the derived category. We reer to [20, Ch. I] or a concise presentation o derived categories and to [51] and [10] or more leisurely introductions. We reer to [44] or oundational material on resolutions o unbounded complexes. Let A be an associative k-algebra with 1 and denote by Mod A the category o unital right A-modules. The derived category DA is classically constructed [49] [50] in three steps: 1st step: We deine the category CA to be the category o complexes... M p M p+1... with morphisms o complexes as morphisms. 2nd step: We deine the homotopy category HA. Its objects are the same as those o CA. The group o morphisms M N in HA is the group o morphisms o complexes divided by the subgroup o null homotopic morphisms. 3rd step: We deine the derived category DA to be the localization o the homotopy category HA with respect to all quasi-isomorphisms. Thus the objects o DA are the same as those o HA and its morphisms are obtained rom morphisms in the homotopy category by ormally inverting all quasi-isomorphisms.

INTRODUCTION TO A-INFINITY ALGEBRAS AND MODULES 13 To get an idea o what the morphisms in the derived category are it is helpul to consider the ollowing special case: Let M and N be two A-modules. Identiy M with the complex... 0 M 0... concentrated in degree 0. For any complex K and any n Z, denote by K[n] the complex K shited by n degrees to the let: K[n] p = K n+p and d K[n] = ( 1) n d K. Then there is a canonical quasi-isomorphism Hom DA (M, N[n]) = Ext n A (M, N) valid or any n Z i we take the right hand side to vanish or negative n. 4.2. Generalization to A -algebras. Let A be an A -algebra. We generalize the above step by step. 1st step: An A -module over A (c. [17]) is a Z-graded space M endowed with maps m M n : M A n 1 M, n 1, o degree 2 n such that an identity o the same orm as the one in the deinition (3.1) o an A -algebra holds. However, the term has to be interpreted as i r > 0 and as m u (1 r m s 1 t ) m M u (1 r m s 1 t ) m M u (mm s 1 t ) i r = 0. Equivalently, the datum o an A -structure on a graded space M is the datum o a dierential m M 1 on M and o a morphism o A -algebras rom A to the opposite o the dg algebra Hom k(m, M) (c. 3.3). A morphism o A -modules : L M is a sequence o graded morphisms (4.1) n : L A n 1 M o degree 1 n such that or each n 1, we have ( 1) r+st u (1 r m s 1 t ) = ( 1) (r+1)s m u ( r 1 s ), (4.2) where the let hand sum is taken over all decompositions n = r+s+t, r, t 0, s 1 and we put u = r + 1 + t; and the right hand sum is taken over all decompositions n = r + s, r 1, s 0 and we put u = 1 + s. The morphism is a quasiisomorphism i 1 is a quasi-isomorphism. The identical morphism : M M is given by 1 = 1 M, i = 0, or all i > 0. The composition g is given by (g) n = ( 1) (r 1) s u (g r 1 s ) where the sum runs over all decompositions n = r + s and we put u = 1 + s. In analogy with (3.6), one can easily check that A -structures on a graded space M are in bijection with comodule dierentials on SM TSA, where TSA is the coaugmented tensor coalgebra on SA : TSA = k TSA.

14 BERNHARD KELLER The comultiplication on TSA is given by (x) = 1 x + TSA (x) + x 1. The dierential o TSA is induced by b on TSA and maps k to zero. The comodule structure on SM TSA is induced rom the coalgebra structure on TSA. Morphisms o A -modules then correspond bijectively to morphisms o dg comodules. We deine C A to be the category o A -modules. I A is an ordinary associative algebra, we have a aithul unctor CA C A but C A has more objects and more morphisms than CA. A typical example o an A -module over A is obtained as ollows: Suppose that A is the endomorphism algebra o a module M over an ordinary algebra B and let M be a projective resolution o M over B. Then it is well-known that each element o A lits to an endomorphism o the complex M and this endomorphism is unique up to homotopy. The resulting action up to homotopy o A on M may be shown to arise rom a structure o A -module, c. [22, 6.1]. 2nd step: By deinition, a morphism : L M o A -modules is nullhomotopic i there is a amily o graded maps homogeneous o degree n such that h n : L A n 1 M, n 1, n = ( 1) rs m 1+s (h r 1 s ) + ( 1) r+st h u (1 r m s 1 t ), where the irst sum runs over all decompositions n = r + s, r 1, s 0 and the second sum over all decompositions n = r + s + t, r, t 0, s 1 and we put u = r + 1 + t. The homotopy category H A has the same objects as C A and morphisms rom L to M are morphisms o A -modules modulo nullhomotopic morphisms. 3rd step: To deine the derived category, we should ormally invert all quasiisomorphisms. This turns out not to be necessary: Theorem. Each quasi-isomorphism o A -modules is an homotopy equivalence. We thereore deine the derived category D A to be equal to the homotopy category H A. I k is only assumed to be a commutative ring, the assertion o the theorem is no longer true in general and the derived category is dierent rom the homotopy category. 4.3. Solution o problem 1. Theorem. Let A be an A -algebra. a) I A is an ordinary associative algebra with 1, the canonical unctor DA D A is an equivalence onto the ull subcategory o homologically unital A -modules, i.e. A -modules M such that 1 A acts by the identity on H M.

INTRODUCTION TO A-INFINITY ALGEBRAS AND MODULES 15 b) For each A -module M, the graded space H M admits an A -module structure such that m 1 = 0 and M is isomorphic to H M in D A. It is unique up to (non unique, non strict) isomorphism o A -modules. The A -module H M o b) is called the minimal model o M. The theorem explains the answer to problem 1: Indeed, i M is a complex over an algebra A as in (2.1), then we may view it as an A -module, or, in other words, consider its image in D A. By b), the image is isomorphic to H M endowed with its canonical A - structure m 1 = 0, m 2, m 3,.... The ull aithulness o the unctor DA D A then shows that (H M, m 1 = 0, m 2,...) determines the complex M up to isomorphism in the derived category DA. In act the theorem tells us more: I we also use the essential surjectivity o the unctor DA D A onto its image, we see that i V is a graded vector space, then we have a bijection between complexes o A-modules M with H M V (as graded vector spaces) up to isomorphism in DA, and homologically unital A -structures m 1 = 0, m 2, m 3, m 4,... on V up to isomorphism o such structures in C A. Note that the latter set is naturally the set o orbits under the action o a group, namely the group o amilies i, i 1, as in (4.1) acting on the set o homologically unital module structures by a conjugation action deduced rom (4.2). I the total dimensions o V and A are inite, we even obtain an algebraic group acting on an algebraic variety. 5. Triangulated structure 5.1. Towards problem 2. Consider problem 2 o (2.1) or the special case n = 1: We then have an ordinary associative algebra B with 1 and a B-module M and we wish to reconstruct the category iltm Mod B o iterated extensions o M by itsel rom the extension algebra E = Ext B (M, M) with its canonical A -structure. The basic idea is to realize iltm as a subcategory o the derived category o E. In act, this subcategory will simply be the subcategory o iterated extensions o the ree E-module o rank one by itsel. Now the derived category is not abelian in general so that a priori it makes no sense to speak o extensions. However, like the derived category o an ordinary associative algebra, the derived category o an A -algebra does admit a triangulated structure and this suices or our purposes. 5.2. Triangulated structure on D A. Recall that a triangulated category is an additive category T endowed with an additive endounctor S : T T called its suspension (or shit) and with a class o sequences o the orm X Y Z SX called triangles (or distinguished triangles). These have to satisy a number o axioms (see the reerences at the beginning o 4.1). I Y occurs in a triangle ( ), it is called an extension o Z by X. For example, i A is an ordinary associative algebra with 1, the derived category DA is triangulated: The suspension o a complex K is deined by ( ) (SK) p = K p+1, d SK = d K.

16 BERNHARD KELLER Each short exact sequence o complexes gives rise to a canonical triangle 0 K L M 0 K L M SK and (up to isomorphism) all triangles are obtained in this way. This generalizes to A -algebras as ollows Proposition. Let A be an A -algebra. Then the derived category D A admits a triangulated structure with suspension unctor S deined by (SM) p = M p+1, m SM n and such that each short exact sequence 0 K i L p M 0 = ( 1) n m M n o A -modules with strict morphisms i and p gives rise to a canonical triangle. Up to isomorphism in D A, all triangles are obtained in this way. 6. Standard unctors 6.1. More on problem 2. I T is a triangulated category and M an object o T, we denote by iltm = ilt T M the ull subcategory o T whose objects are iterated extensions o M by itsel. We denote by tria M the closure o M under suspension, desuspension and orming extensions. Thus tria M is the smallest triangulated subcategory o T containing M and ilt M is a ull subcategory o tria M. I S and T are triangulated categories a triangle unctor S T is an additive unctor F : S T together with an isomorphism o unctors ϕ : FS SF such that or each triangle (X, u, Y, v, Zw) o S, the sequence FX Fu FY Fv FZ (ϕx)(fw) SFX is a triangle o T. I M is an object o T and F a triangle unctor then clearly F tria M triafm and similarly or iltm. In the situation o (5.1), consider the subcategory ilt E D E obtained by taking the closure under extensions o the ree E-module o rank one (also denoted by E). We would like to show that the subcategory ilt E is equivalent to ilt Mod B M. For this, we irst observe that the inclusion induces an equivalence ModB DB ilt Mod B M ilt DB M. It will thus suice to construct a triangle unctor DB D E inducing an equivalence rom iltm onto ilte. The ollowing diagram summarizes the setup: ModB DB D E ilt M ilt DB M ilte The triangle unctor DB D E is constructed as a composition o standard unctors.

INTRODUCTION TO A-INFINITY ALGEBRAS AND MODULES 17 6.2. Restriction. Let : A B be a morphism o A -algebras and let M be a module over B. Deine by m A n : M A n 1 M, n 1, m A n = ( 1) s m r+1 (1 i1 ir ) where the sum runs over all 1 r n 1 and all decompositions n 1 = i 1 + +i r and the sign is like in (3.4). Then it is not hard to check that the m A n deine an A -module M over A. The assignment M M becomes a unctor and induces a triangle unctor which will still be denoted by. C B C A D B D A Proposition. The unctor : D A D B is an equivalence i is a quasiisomorphism. 6.3. Hom and Tensor. Let B be an A -algebra and X and M two B-modules. For n Z, let Hom n B (X, M) be the space o graded comodule maps : SX TSB SM TSB o degree n and deine d() = b ( 1) n b. Then Hom B(X, M) is a complex which is biunctorial in X and M. I B is an ordinary algebra and X, M are ordinary modules, then Hom B(X, M) computes Ext B (X, M). Now suppose that A is another A -algebra and that the B-module structure on X comes rom an A-B-bimodule structure, i.e. X is endowed with graded maps m t,u : A t 1 X B u 1 X, t, u 1, o degree 3 t u such that we have the associativity identity o (3.1), where the terms 1 r m s 1 t have to be interpreted according to the type o their arguments. Then Hom B (X, M) becomes a (right) A -module over A and we have the Hom-unctor Hom B (X,?) : C B C A Proposition. The Hom-unctor admits a let adjoint? A X : C A C B. We have an induced pair o adjoint triangle unctors D A? A X D B Hom B(X,?). It is not hard to make L A X explicit. Its underlying graded space is L k TSA k X. I A is an ordinary associative algebra with 1 and L, X are ordinary modules, then L A X is a complex computing Tor A (L, X).

18 BERNHARD KELLER 6.4. Application to problem 2. Let B be an A -algebra and M a B-module. Then A = Hom B (M, M) is a dg algebra and in particular an A -algebra. The module M becomes an A-Bbimodule. Proposition. The unctor induces a triangle equivalence F = Hom B (M,?) : D B D A triam tria A taking M to A and thus an equivalence iltm ilta. Now consider the situation o (5.1). In this case, A is a dg algebra whose homology is the extension algebra o M. Let us simply write E = Ext B (M, M) or the extension algebra endowed with its canonical structure o A -algebra. Then we know by Theorem 3.3 that we have a quasi-isomorphism E A. This yields the restriction unctor res : D A D E which is an equivalence by Proposition 6.2. Consider the square D B Hom B (M,?) D A can res DB D E The let vertical arrow induces an equivalence onto its image and maps M to M. By the above proposition, the top horizontal arrow induces an equivalence iltm ilta. The right vertical arrow is an equivalence mapping the ree module A to the ree module E and hence induces an equivalence ilt A ilte. It ollows that the bottom arrow induces an equivalence ilt DB M ilte. Finally, we know that ilt DB M is equivalent to iltm ModB so that we do obtain the required equivalence between ilte D E and iltm ModB. 6.5. Solution o the original problem 2. In order to treat problem 2 as it is stated in (2.1) with n modules M 1,..., M n, let e i be the idempotent o E corresponding to the direct actor M i o M = M i. There is a canonical isomorphism E 0 Hom D E (E, E) and thus e i yields an idempotent endomorphism o E in the derived category. Now the derived category is a triangulated category with ininite sums so that by a wellknown trick [4], the idempotent e i splits in D E. Let X i denote its image. We have E X i in D E. The unctor constructed in 6.4 sends X i to M i and thus induces an equivalence iltx i iltm i.

INTRODUCTION TO A-INFINITY ALGEBRAS AND MODULES 19 7. Twisted objects 7.1. Motivation. Let A be an associative algebra with 1 and tria A the triangulated subcategory o DA generated by the ree A-module o rank one (as in 6.1). Up to isomorphism, the objects o tria A are the bounded complexes o initely generated ree A-modules and the morphisms between two such complexes are in bijection with the homotopy classes o morphisms o complexes. In other words, tria A is triangle equivalent to the bounded homotopy category o initely generated ree A-modules. The advantage o this description o tria A is that morphisms and objects are readily computable. The aim o this section is to generalize this description to any A -algebra A with a strict unit (c. below). The generalization will be o the orm tria A H 0 tw A where tw A is the A -category o twisted objects over A. An A -category is an A -algebra with several objects analogous to a ring with several objects [33]. The above equivalence illustrates the general act that working with several objects is natural and useul. From the outset, we will thereore replace the A -algebra A by an A -category with strict identities A. We will then have more generally tria A H 0 tw A. The material in this section is adapted rom [23], [25]. The special case o dg categories goes back to Bondal-Kapranov s article [5]. 7.2. A -categories. Let k be a ield. An A -category A is the datum o a class o objects obj(a), or all A, B A (we write A A instead o A obj(a)), a Z-graded vector space Hom A (A, B), oten denoted by (A, B), or all n 1 and all A 0,..., A n A, a graded map m n : (A n 1, A n ) (A n 2, A n 1 ) (A 0, A 1 ) (A 0, A n ) o degree 2 n such that or each n 1 and all A 0,..., A n A, we have the identity ( 1) r+st m u (1 r m s 1 t ) = 0 o maps (A n 1, A n ) (A n 2, A n 1 ) (A 0, A 1 ) (A 0, A n ), where the sum runs over all decompositions n = r + s + t and we put u = r +1+t. For example, the datum o an A -category A with one object is equivalent to the datum o the endomorphism A -algebra Hom A (, ). Another class o examples is provided by dg categories : these are exactly the A -categories whose composition maps m n vanish or all n 3. Note that or two reasons, an A -category is not a category in general : irstly, the composition m 2 may not be associative; secondly, there may not be identity morphisms. Let A be an A -category and A A. A morphism e A Hom 0 A (A, A) is a strict identity i we have m 2 (, e A ) =, m 2 (e A, g) = g

20 BERNHARD KELLER whenever these make sense and m n (..., e A,... ) = 0 or all n 2. In particular, e A is then a cycle o the complex (Hom A (A, A), m 1 ). Clearly, i e A exists, it is unique. The A -category A has strict identities i there is a strict identity e A or each object A A. 7.3. A -unctors. Let A, B be two A -categories. An A -unctor F : A B is the datum o a map F : obj(a) obj(b), or all n 1 and all A 0,..., A n A a graded map F n : (A n 1, A n ) (A n 2, A n 1 ) (A 0, A 1 ) Hom B (FA 0, FA n ) o degree 1 n such that conditions analogous to those o (3.4) hold. The A -unctor F is strict i we have F n = 0 or all n 2. This implies that F 1 commutes with all compositions. 7.4. Modules. We leave it as an exercise to the reader to generalize (4.2) to A - categories. In particular, i A is an A -category, he may deine the category C A o A-modules deine the derived category D A deine a structure o dg category on C A as in 6.3 deine the Yoneda unctor Hom(L, M), L, M C A Y : A C A, A A(?, A). Here we view C A as a dg category (and hence an A -category) and the Yoneda unctor is to be an A -unctor. 7.5. Factorization o the Yoneda unctor. Let A be an A -category and let tria A denote the triangulated subcategory o D A generated by the image o the Yoneda unctor. Theorem. Suppose that A has strict identities. Then there is an A -category tw A and a actorization A Y1 tw A Y Y 2 C A o the Yoneda unctor Y such that Y 1 is a strict ully aithul A -unctor and Y 2 is an A -unctor inducing an equivalence H 0 tw A tria A D A. The theorem may be enhanced so as to characterize the category tw A o twisted objects by a universal property.

INTRODUCTION TO A-INFINITY ALGEBRAS AND MODULES 21 7.6. Explicit description o tw A. Let A be an A -category with strict identities. We will explicitly construct the category o twisted objects tw A in two steps. First, we construct the A -category ZA, which is the closure under shits o A: the objects o ZA are the pairs (A, n) o an object A A and an integer n Z. The morphisms rom (A, n) to (A, n ) are in bijection with the elements o the graded space Hom A (A, A )[n n]. We will identiy A with the ull sub-a -category o ZA on the objects (A, 0). The compositions o ZA are obtained by shiting the compositions o A. The reader is invited to write down an explicit ormula with correct signs. In a second step, we construct tw A as the closure under extensions o ZA: Objects o tw A are pairs (B, δ), where B is a sequence (A 1,..., A r ) o objects o ZA, and δ = (δ ij ) a matrix o morphisms o degree 1 δ ij Hom 1 ZA (A j, A i ) such that we have δ ij = 0 or all i j and (7.1) t=1 ( 1) t(t 1) 2 m t (δ, δ,..., δ) = 0. Here we denote by m n the extension o m ZA n to matrices. Note that since δ is strictly upper triangular, the sum contains only initely many non zero terms. The strange sign in the ormula disappears in the b n -language (3.6). Alternatively, we can view an object (B, δ) as the datum o an object B o the additive hull o ZA endowed with a inite split iltration and with an endomorphism δ o degree 1 which strictly decreases the iltration. The space o morphisms rom (B, δ) to (B, δ ) is deined as Hom ZA (A i, A j). i,j Let n 1 and let (B 0, δ 0 ),..., (B n, δ n ) be objects o tw A. We will deine the composition map (where the δ i are suppressed rom the notation) m n : (B n 1, B n ) (B 0, B 1 ) (B 0, B n ). In the ollowing ormula, we write δ or all δ i m tw A n = t=0 ±m ZA n+t (1 i1 δ j1 1 i2 δ j2... 1 ir δ jr ). Here the terms o the second sum are in bijection with the non-commutative monomials X i1 Y j1...x ir Y jr o degree n in X and degree t in Y and the sign is given by the identity (SX) i1 (SY ) j1... (SX) ir (SY ) jr = ±S n+t X i1 Y j1... X ir Y jr

22 BERNHARD KELLER in the algebra k < X, Y, S > /(SX XS, SY + Y S). The pictorial version o the ormula is m tw A n = ±. Here the at edges symbolize tensor powers o δ s to be inserted in all possible places and in any number. The concatenation o the thin edges represents a given tensor n n 1 1. It is worthwile to make the ormula explicit or m 1. I is a morphism o even degree rom (B, δ) to (B, δ ), we have m tw A 1 () = m 1 () m 2 (δ, ) + m 2 (, δ) m m 3 (δ, δ, ) + m 3 (δ,, δ) m 3 (, δ, δ) + m 4 (δ, δ, δ, ) m 4 (δ, δ,, δ) + m 4 (δ,, δ, δ) m 4 (, δ, δ, δ) +... I is o odd degree, we have m tw A 1 () = m 1 () m 2 (δ, ) m 2 (, δ) m 3 (δ, δ, ) m 3 (δ,, δ) m 3 (, δ, δ) + m 4 (δ, δ, δ, ) + m 4 (δ, δ,, δ) + m 4 (δ,, δ, δ) + m 4 (, δ, δ, δ) +... In the sequel, we identiy A with the subcategory o the objects (A, 0) o ZA. With this convention, the unctor Y 1 o (7.5) sends an object A A to (A, δ = 0). The unctor Y 2 sends B = (A 1,..., A n ) to Y A 1 Y A n (where Y denotes the canonical extension o the Yoneda unctor to ZA) endowed with the multiplications m n = 2 m n+t (δ t 1 n ), n 1, t=0 ( 1) t(t 1) where the m n+t on the right hand side denote the multiplications o the direct sum o the Y A i. 7.7. Description o iltered modules by twisted objects. Let B be an associative k-algebra with 1, let M 1,..., M n be B-modules and let ilt(m i ) denote the ull subcategory o the category o right B-modules whose objects admit inite iltrations with subquotients among the M i. Let A be the A -category with objects 1,..., n and with morphism spaces A(i, j) = Ext B (M i, M j ). The composition maps o A are deined as ollows: The dierential m 1 vanishes, the composition m 2 is the Yoneda composition, and the m i, i > 3, are the canonical higher compositions constructed as in (3.3, 3.4). We assume that these may be chosen so as to make A strictly unital. For example, this holds i Ext B (M i, M i ) is one-dimensional and Ext B (M i, M j ) = 0 or i > j (c. 3.5) or i the M i are the simple modules over a inite-dimensional basic algebra B. Indeed, in the latter case, both B and the dg algebra computing the extensions are augmented over a product o ields (c. 3.5).

INTRODUCTION TO A-INFINITY ALGEBRAS AND MODULES 23 Let ilt A denote the ull subcategory o H 0 tw A whose objects are the (B, δ) such that B is a iltered direct sum o (non shited) copies o objects o A (we use the alternative description o tw A and identiy A with a subcategory o ZA). Theorem. There is an equivalence o categories ilt A ilt(m i ). Although the category ilt A H 0 tw A looks complicated, it is oten quite easy to describe in practice. We illustrate this in two examples below. The theorem is a consequence o (7.5) and (6.5). Indeed, by its construction, the category A is the A -Ext-category o the B-modules M 1,..., M n in the sense o problem 2 o (2.1). So by (6.4) and (6.5), there is a triangle unctor inducing an equivalence F : D A DB tria(y 1,..., Y n) tria(m 1,..., M n ). By (7.5), the Yoneda unctor induces an equivalence Thus we get an equivalence H 0 tw A tria(y 1,..., Y n). H 0 tw A tria(m 1,..., M n ) which takes the object i to the corresponding module M i and thereore induces an equivalence ilt A ilt(m i ). 7.8. Example: Reconstruction rom simple modules. Let B be a initedimensional basic algebra. Theorem 7.7 allows us in particular to reconstruct the category mod B o inite-dimensional B-modules rom the A -Ext-category o the simple B-modules. We illustrate this by an example. Let B be the algebra given by the quiver with relations x α y β z γ t, γ β α = 0 and let M 1 = S x,..., M 4 = S t be the our simple B-modules. The A -category A o (7.7) is then given by the quiver with relations x a y b z c t e where the arrows a, b, c are o degree 1, the arrow e is o degree 2, and all compositions other than m 3 (a, b, c) = e are deined to be zero (this example has already appeared in 3.3). We would like to determine the subcategory ilt A o H 0 tw A whose objects are the (A, δ) where A is a iltered sum o objects o A (we use the alternative description and identiy A with a subcategory o ZA). By an obvious abuse o notation, we have A = V x x... V t t

24 BERNHARD KELLER where V x,..., V t are inite-dimensional vector spaces and the datum o δ Hom 1 ZA (A, A) corresponds to the datum o three linear maps V a, V b, V c : The condition V x V a Vy V b Vz V c Vt. m 1 (δ) + m 2 (δ, δ) m 3 (δ, δ, δ)... = 0 translates into V a V b V c = 0. By deinition, morphisms rom (A, δ) to (A, δ ) are in bijection with H 0 Hom tw A ((A, δ), (A, δ )). Now Hom 1 A and hence Hom 1 tw A ((A, δ), (A, δ )) vanishes so that the homology classes in degree zero are exactly the zero cycles. Now it is easy to see that the elements o Hom 0 tw A ((A, δ), (A, δ )) correspond exactly to the quadruples o linear maps and the condition translates into x : V x V x,..., t : V t V t m 1 () m 2 (δ, ) + m 2 (, δ) m 3 (... ) +... = 0 x V a = V a y,..., z V c = V c t. Hence, as expected, the category ilt A is equivalent to the category o contravariant representations o the quiver with relations x α y β z γ t, γ β α = 0, i.e. to the category mod B o inite-dimensional right modules over the algebra B. This conirms theorem 7.7 in this example. 7.9. Example: Classiying iltered modules. This example arose rom an email exchange with T. Brüstle. Consider the ollowing quiver Q o type D 4 2 3 1 4

INTRODUCTION TO A-INFINITY ALGEBRAS AND MODULES 25 Denote by S i its simple (covariant) representation associated with the point i, 1 i 4. Let 1 = S 1, 2 = S 2, 4 = S 4 and let 3 be the ollowing indecomposable representation k k k. We are interested in the category ilt( 1,..., 4 ) o representations o Q admitting a iltration with subquotients among the i. The A -Ext-category A o the i is given by the quiver a b 1 2 3 4 0 c where a, b, c are o degree 1, is o degree 0 and all multiplications other than m 3 (b,, a) = c are deined to be zero. As in example 7.8, the subcategory ilt A o H 0 tw A can be described as ollows: Its objects are the inite-dimensional (covariant) representations V o the quiver 2 a 1 c 4 b 3 o type A 4. Its morphisms : V V are the quintuples o linear maps i : V i V i and ϕ : V 2 V 3 satisying V a V c V 2 V 1 V 4 V 3 V b ϕ 2 1 4 3 V 2 V 1 V V a V 4 V 3 c V b 0 = V a 1 2 V a, 0 = V b 3 4 V b 0 = V c 1 4 V c + V b ϕv a ( ) Thanks to theorem 7.7, we have an equivalence ilt A ilt( 1,..., 4 ). The term V b ϕv a in ( ) is essential: I it is omitted, the problem is that o classiying the representations o the quiver o type A 4 above. Then we ind 10 isoclasses o indecomposables instead o the 9 isoclasses present on the right hand side.