HOCHSCHILD COHOMOLOGY AND HOMOLOGY OF ALGEBRAS ———————– EXERCISES PETTER ANDREAS BERGH Exercise 1. (a) Show that a sequence 0 /M f /N of abelian groups and homomorphisms is exact if and only if f is injective. (b) Show that a sequence f M /N /0 of abelian groups and homomorphisms is exact if and only if f is surjective. Exercise 2. Recall that a chain complex (or just “complex” for short) of abelian groups is a sequence M: ··· d3 / M2 d2 / M1 d1 d0 / M0 / M°1 d °1 / ··· of groups and homomorphisms satisfying d n ± d n+1 = 0 for all n 2 Z. The nth homology group of this complex is defined as def Hn (M) = Ker d n / Im d n+1 , which makes sense because Im d n+1 is a subgroup of Ker d n . Show that M is exact (acyclic) if and only if Hn (M) = 0 for all n 2 Z. Exercise 3. (a) Let p be a prime number. Compute the homology of the complex ··· ·p / Z/(p 2 ) ·p / Z/(p 2 ) ·p / Z/(p 2 ) ·p / Z/(p 2 ) ·p / ··· Try to generalize this to the case when p is not necessarily a prime number. (b) Compute the homology of the complex ··· ·4 / Z/(16) ·8 / Z/(16) where dn = Ω ·4 ·8 ·4 / Z/(16) if n is odd, if n is even. 1 ·8 / Z/(16) ·4 / ··· 2 PETTER ANDREAS BERGH Exercise 4. Recall that a chain map f : M ! L between two complexes is a collection { f n : M n ! L n | n 2 Z} of group homomorphisms such that the diagram M: ··· d3 d2 / M2 f f2 ✏ L: ··· / M°1 f0 ✏ ±2 / L2 d0 / M0 f1 ✏ ±3 d1 / M1 ±1 / L1 ✏ ±0 / L0 ✏ d °1 / ··· f °1 / L °1 ±°1 / ··· commutes: ±n ± f n = f n°1 ± d 0 for all n 2 Z. The chain map is an isomorphism if all the homomorphisms f n are isomorphisms. (a) Show that f n (Ker d n ) f n (Im d n+1 ) µ µ Ker ±n Im ±n+1 for all n 2 Z. (b) Show that such a chain map induces a well defined homomorphism Hn ( f ) : Hn (M) ! m + Im d n+1 7! Hn (L) f n (m) + Im ±n+1 for all n 2 Z. (c) Show that if the chain map f is an isomorphism, then Hn ( f ) is an isomorphism for all n 2 Z. Exercise 5. Let k be a commutative ring and A a k-algebra. Recall that the opposite algebra A op of A has the same underlying set and group structure as A, but with multiplication reversed: a1 · a2 = a2 a1 . The enveloping algebra of A is defined as A e = A ≠k A op . Show that a k-module B is a bimodule over A if and only if it is a left A e -module (and if and only if it is a right A e -module). Exercise 6. Take a commutative ring k, a k-algebra A and a bimodule B . (a) Recall that we used the sequence HB : 0 d 1 =0 /B d0 / Homk (A, B ) d °1 / Homk (A ≠2 , B ) d °2 / Homk (A ≠3 , B ) d °3 / ··· to define Hochschild cohomology: the nth Hochschild cohomology group of A, with coefficients in B , is defined as def HHn (A, B ) = Ker d °n / Im d 1°n . The maps in HB are given by (d 0 b)(a) = ab ° ba EXERCISES 3 and (d °n f )(a 1 ≠ · · · ≠ a n+1 ) = a 1 f (a 2 ≠ · · · ≠ a n+1 ) n X + (°1)i f (a 1 ≠ · · · ≠ a i a i +1 ≠ · · · ≠ a n+1 ) i =1 +(°1)n+1 f (a 1 ≠ · · · ≠ a n )a n+1 for n ∏ 1. Show that HB is a complex. (b) Now recall that we used the sequence d4 HB : · · · / B ≠k A ≠3 d3 / B ≠k A ≠2 d2 / B ≠k A d1 /B d 0 =0 /0 to define Hochschild homology: the nth Hochschild homology group of A, with coefficients in B , is defined as def HHn (A, B ) = Ker d n / Im d n+1 . The maps in HB are given by d n (b ≠ a 1 ≠ · · · ≠ a n ) ba 1 ≠ a 2 ≠ · · · ≠ a n n°1 X + (°1)i b ≠ a 1 ≠ · · · ≠ a i a i +1 ≠ · · · ≠ a n = i =1 +(°1)n a n b ≠ a 1 ≠ · · · ≠ a n°1 for n ∏ 1. Show that HB is a complex. Exercise 7. Take a commutative ring k, a k-algebra A and a bimodule B . (a) Show that HH0 (A, B ) ' {b 2 B | ab = ba for all a 2 A} and HH0 (A, B ) ' B /K , where K is the k-submodule of B generated by the set {ab ° ba | a 2 A, b 2 B }. (b) Define the k-module of derivations of A on B as def Derk (A, B ) = {d 2 Homk (A, B ) | d (a 1 a 2 ) = a 1 d (a 2 ) + d (a 1 )a 2 for all a 1 , a 2 2 A}, and the k-module of inner derivations as def Derik (A, B ) = {d 2 Derk (A, B ) | there exists b 2 B with d (a) = ab ° ba for all a 2 A}. Show that HH1 (A, B ) ' Derk (A, B )/ Derik (A, B ). 4 PETTER ANDREAS BERGH Exercise 8. Let k be a commutative ring and A = k[x] the polynomial ring in one variable. Since this is a commutative ring, there are no inner derivations on A except the trivial one: Derik (A, A) = 0. Therefore HH1 (A, A is isomorphic to Derk (A, A) by Exercise 7(b). (a) Let d 2 Derk (A, A). Show that ° ¢ d f (x) = f 0 (x) · d (x) for all f (x) 2 A, where f 0 (x) denotes the ordinary derivative of the polynomial f (x). Note the familiar “illegal formula” ° ¢ d f (x) = f 0 (x). d (x) (b) For a polynomial p(x) 2 A, define a map d p : A ! A by ° ¢ d p f (x) = f 0 (x) · p(x). Show that d p 2 Derk (A, A). (c) Define a map √ : A ! Derk (A, A) by ° ¢ √ p(x) = d p . Show that this is a k-module isomorphism, and that consequently HH1 (A, A) ' A. Exercise 9. Let k be a field, Q the quiver 4O ∞ 1 Æ /2 Ø /3 and A = kQ its path algebra. Show that HH1 (A, A) = 0. Exercise 10. Read Dieter Happel’s paper Hochschild cohomology of finite-dimensional algebras, in Séminaire d’Algèbre Paul Dubreil et Marie-Paul Malliavin, 39ème Année (Paris, 1987/1988), 108–126, Lecture Notes in Math., 1404, Springer, Berlin, 1989. You can find the paper below. Hochschild c o h o m o l o g y o f finite-dimensional algebras DIETER HAPPEL [ This paper is in final form, and no version of it will be submitted for publication elsewhere] . The aim of this article is to report on some recent results on computing Hochschild cohomology groups of finite-dimensional algebras. For this let k be an algebraically closed field and A a finite-dimensional k-algebra (associative, with unit). By modA we denote the category of finitely generated left A-modules. Let A X A be a finitely generated A-bimodule. The Hochschild cohomology groups H i ( A , X ) (i > 0) were introduced by Hochschild [Ho] (for a definition see section 1). The lowdimensional groups (i _< 2) have a very concrete interpretation of classical algebraic structures such as derivations and extensions. It was observed by Gerstenhaber [Ge] that there are also connections to algebraic geometry. In fact, H2(A, A) controls the deformation theory of A. And it was shown that the algebras A which satisfy H2(A, A) = 0 are rigid. For a similar approach we also mention an article of Gabriel [Ga 1]. Despite this very little was done in actual computations for particular classes of finitedimensional algebras. In section i we briefly review the fundamental definitions of Hochschild cohomology and include an alternative description which one often uses for direct computations. In section 2 we present some computations. This includes a report on results due to Cibils [C1], {C2], [C3] and Gerstenhaber and Schack [GS]. For some of these results we have included proofs and some examples. In section 3 we deal with deriwations. In the remaining two sections we outline how recently emerged methods in the representation theory of finite-dimensional algebras yield information on the Hochschild cohomology. 1. H o c h s c h i l d c o h o m o l o g y g r o u p s . This section contains the basic definitions of the Hochschild cohomology groups. We will also give an alternative description which one often uses for direct computations. Moreover this section contains some elementary examples. The exposition follows closely the original approach in [Ho] and [CE]. We omit the proofs of these standard results. 1.1. Let k be an algebraically closed field and A a basic and connected finite-dimensional k-algebra. Let A X A be an A-bimodule which is finite-dimensional over k. We define the Hochschild complex C" = (C i, di)i¢z associated with this data as follows: C i = O,d i = 0 f o r i < O , C ° = A X A , C i = Homk(A®~,X) for i > 0 (where A ®i denotes the /-fold tensor product over k of A with itself), d°: X ~ Homk(A, X) with (d°x)(a) = a x - x a for x E X and a E A, d i : C i ~ C i+l with (di f ) ( a l ® " " ® ai+l) = a l f ( a 2 @ . . . ® ai+l) i + ~-~(--1)Jf(al @...@ajaj+l j=l + ( - 1 ) i + l f ( a l ® " " @ ai)ai+l for f E C i and al . . . . ,ai+l E A. ®...®ai+l) 109 It is a direct verification that this indeed gives a complex. So we may define H i ( A , X ) = H i ( c °) = ker d i / i m d i-~ and we call it the i - t h cohomology group of A with coefficients in the bimodule X. Of particular interest to us is the example A X A : A A A . In this case H ~ ( A , A ) is simply denoted by H i ( A ) . 1.2. Let us pause for ~ moment to recall the interpretation of the low-dimensionM groups. Clearly H ° ( A , X ) = Z A = {x E Z I ax = z a Va • A}. In particular, H ° ( A ) coincides with the center of A. Let D e r ( A , X ) = {5 • H o m k ( A , Z ) I 5(ab) = aS(b) + 5(a)b}be the k-vectorspace of derivations of A on X. By D e r ° ( A , X ) we denote the subspace of inner derivations. Thus D e r ° ( A , X ) = {5, : A ---* X I 5,(a) = ax - xa, x • Z } . It follows immediately from the definition that H I ( A , X ) = D e r ( A , X ) / D e r ° ( A , X ) . Let 5 • D e r ( A , Z ) . Then 5 is called an outer derivation if the residue class of 5 in H I ( A , X ) is different from zero. For example let A = k[x]/(x 2) and A X A = AAA. Then 5 : A ~ A given by 5 ( , \ ' I A + # g ) = # g is an outer derivation. Let f • Homk(A ®2, X), then we may form A ~< X (the extension of A by X along f). As f a k-vectorspace this is simply A @ X. The multiplication is defined by (a, x) • (a', x') = (ha', ax' + xa' + f ( a ® a')). If f E ker d 2 then A ~< X is an associative algebra with unit. f The following is an easy verification. LEMMA. Let f , g • ker d 2. Then A ~<X - ~ A ~<X i f ] = y in H2(A, X ) . f g 1.3. A different way of approaching the cohomology groups is to consider the envelopping algebra A ~ = A ® A*, where A* is the opposite algebra. For a • A we denote by a' the k corresponding element in A*. An A-bimodule A X A c a n be considered as a left A¢-module b y ( a ® b I) . x = axb for a, b • A and x • X . In particular A is an A-bimodule and we will therefore consider A always as a left A~-module. We will now construct a projective resolution of A over A% For each integer i > - 1 , let Si(A) denote the (i + 2)-fold tensor product over k of A with itself. Then Si(A) becomes a left A~-module by setting (a ® b') • (ao ® ... ® hi+l) = a . ao ® al ® ... ® ai ® ai+ib for a, b • A and ao ® . . . ® ai+ ] • Si( A ). We define an A~-homomorphism 5i : Si(A) ~ Si-I ( A ) (for i _> 0) by i 5i(ao ® . . . ® ai+l) = ~~.(-1)J ao ® . . . ® ajaj+l ® " . ® hi+]. j=o Then So = (Si(A),hi)i>_o is a projective resolution of A over A% Note that S - I ( A ) = A and 5o : A ® A --* A is surjective. It is called the standard resolution [CE, p.174]. It is frequently convenient to write Si(A) in the form Si(A) = A ® Si(A) ® A = A ~ ® Si(A), where k k k SI(A) = A ®i. In computing the cohomology groups we use HomAo(Si(A),X) = HomA,(A¢~Si(A),X)= Homk(Si(A),X)= Homk(gi(A),X)= Ci 110 It is easy to see that the two complexes H o m k ( S . , X ) and C" can be identified• In particular we see that ExtiA,(A, X) = Hi(A, X). 1.4. The last observation can be used to define the cohomology algebra H ( A ) = (~ H~(A). iEl The multiplication is induced by the Yoneda product. In this way H(A) is a / - g r a d e d algebra. We will see in 1.6 below that H(A) is a finite--dimensional k-algebra if A has finite global dimension (gl. dim A < oo). The converse seems to be not known• 1.5. We want to construct a minimal projective resolution of A over A% For this let e l , . . . , e,~ be a complete set of primitive orthogonal idempotents in A. By P(i) we denote the indecomposable projective A-module Aei. Note that in this way we obtain a complete set of representatives from the isomorphism classes of indecomposable projective A-modules. We let S(i) = top P(i) be the corresponding simple A-module. Then ei ® e~ (1 _< i , j <_ n) is a complete set of primitive orthogonal idempotents in A ¢. We denote by P(i, f ) the indecomposable projective A~-module A~(ei ® e~). And we denote by S(i, j') = top P(i, j') the corresponding simple A ~-module• Observe that S ( i , j ' ) "~ Hom,(S(i), S(j)). LEMMA. Let ... R,~ --* R,,-1 ~ "" ----*R1 ~ Ro ~ A ---* 0 be a minimal projective resolution of A over A ~. Then R. = (~P(i,j') i,j PRooF: Let R,, = ~ . P ( i , f ) r o . dim ExtnA(S(1),S(j)). Then by definition we have that *J3 rlj = dim Ext~o(A, S ( i , j ' ) ) = dim Ext~°(A, Homk(S(i), S(j))) = dim g n ( A , Homk(S(i), S(j))) = dim Ext~(S(i), S(j)). The last equality follows from corollary 4.4, p.170 of [CE]. In particular we see that pdA, A = gl. dim A. We will use this projective resolution in section 2 for some direct computations• 1.6. As an illustration we will compute the cohomology groups of finite-dimensional heredi• ---+ tary k-algebras. Our assumptions imply that there exists a finite connected qmver A without oriented cycles such that A-~k--~, where k ~ denotes the path algebra of ~ . The set of vertices is denoted by Ao and the set of arrows is denoted by A 1. For an arrow a in ~ we denote by s(a) the starting point and by e(a) the end point of a. The vertices of ~ when considered as trivial paths form a complete set of primitive orthogonal idempotents in k ~ . 111 and let u(a) = dim~s(a)(k-~)e(a). Moreover let n be the number Let a be an arrow in of vertices in A. PROPOSITION. H°(k-~) = k, dim Hl(k-~) = 1 - n + ~ u(a),H'(k~) = 0 for i > 2. aE~ PROOF: Note that dim ExtZ_(S(i), S(j)) coincides with the number of arrows from i to j. kA Clearly H°(k--~) = k and Hi(k-~) -=- 0 for i _> 2, for gl. dim k ~ _< 1. Let 0 --* R1 --+ Ro --* k A --. 0 be the minimal projective resolution constructed above. Then Ro = ~]~ P(i,i') and R1 = ~ P(s(a),e(a)'). Applying H o m ( k x ) o ( - , k ~ ) to the above iEA° oeEAI exact sequence yields: 0 --* H o m ( k x ) , ( k - ~ , k ~ ) ~ -----+ Hom(kx)~(Ro , k ~ ) -~ Hom(kx),(R1 , k X ) ~ 0 ~ --4 Clearly HOm(k~)~(kA , k A ) - ~ k and Hom(kx)~)(Ro, k A ) - ~ k and S o m ( k - E ) , ( R l , k ~ ) = {~ k ~(~). Thus dim H l ( k ~ ) = oeEAi n 1 - n + ~ u(a). aEAi COROLLARY. Let -~ be a l~nite quiver without oriented cycle. Then Hl(k-~) --= 0 if and only if -~ is a tree. 1.7. There is the dual concept of Hochschild homology. Again let AXA be a finitelygenerated A-bimodule. Then the Hochschild homology groups H i ( A , X ) can be defined as Tor A" (X, A). We denote by D the standard duality on rood A. Then it is well-known that Hi(A, X) ~_ HI(A, D(X)) [CE]. Suppose that A is a factor-algebra of a finite-dimensional hereditary k-algebra. Then it is an easy consequence from 1.5 that Hi(A, A) = 0 for / > 0. This was first shown in [C4]. 2. Survey of results. In this section we report on some results on computing the Hochschild cohomology groups for particular classes of algebras. Some proofs are given. 2.1 Incidence algebras [C3], [GS]. Let P = ( P , < ) be a finite partially ordered set. We may assume that P = 1 , 2 , . . . , n is a labelling of the vertices. With P we may associate its incidence algebra I(P). This is by definition the subalgebra of the algebra of (n x n)-matrices over k with elements (X~j) E Mn(k) satisfying Xij = 0 if i ~ j. An equivalent definition is given as follows. Let ~ be the 112 following quiver attached to P. ~ has n vertices and there is an arrow from s to t in A if t < s and there is no u E P with t < u < s. Let w,w ~ be two paths in ~ . We say that w,w' are parallel if w and w ~ have the same starting and endpoint. Let I be the two sided ideal in k ~ generated by the differences of parallel paths. Then it is easy to see that I ( P ) = k - ~ / I . With P we may associate a simplicial complex ~'~p : (Ci, dl), where Ci = {so > sl > ... > si 1~i 6 P } and di is the obvious boundary map. The cohomology of Ep with coefficients in k is the cohomology of the following complex: 0~ Hom(kCo, k) bl Hom(kCl,k) b2 Hom(kCi, k) ~-~ Hom(kCi+l, k) ----~ ... where i+1 ( b i + l f ) ( s o , ' " ,Si+l) = E ( - 1 ) J f(so, "'" ,g j , " " ,si+l). j=o THEOREM. H i (~p, k) ~ H'(I(P)) Moreover, let E be an arbitrary finite simplicial complex and Px: the corresponding partiMly ordered set. So the elements of P~ are the simplices of E and the partial order is defined by inclusion. Then Hi(E, k ) ~ Hi(I(P~)). This follows immediately from the theorem above and the observation that Ep~ is the barycentric subdivision of E. Example: Consider the following partially ordered set P p = Then the incidence algebra I ( P ) is given by: i(p)= Thus dim I ( P ) = 18. kkkk 0 0 0 0 k 0 0 0 0 k 0 0 k k k 0 113 And Ep is the octahedron which is displayed below. 2.2 N a r r o w q u i v e r s [C1]. In this subsection we give a slight generalisation of a result of Cibils [C1]. Let A be a finite connected quiver without oriented cycles. Let I be a two-sided ideal in k ~ generated by .____+ paths of length at least two. Let A = k A / I . We will further assume that A is schurian (i.e. dim H o m A ( P , P ' ) _< 1 for P, P ' indecomposable projective A-modules) and that A is semicommutative (i.e. if w , w r are parallel paths in A with w ~ I then w t C I). In 1.6 we have introduced a valuation v on the arrows of a quiver A . Note that our assumptions imply that v ( a ) = 1 for a E A1. Let IZXol (resp.lAll)denote the number of vertices of A (resp. the --~ ..._¢ number of arrows of A ). The Euler characteristic of A is defined by X ( X ) = 1 - I A ~ l+ IA11. ..-+ THEOREM. Let A = k ~ l Z Hi(A) = 0 for i > 2. 5e as above. T h e , H ° ( A ) = k, dim H i ( A ) = g ( - ~ ) and PROOF: Since ~ does not contain an oriented cycle we infer that H ° ( A ) = k. Also note that dimkExtl(S, T) < 1 for any pair S, T of simple A-modules and that E x t , ( S , T) ¢ 0 if ___+ .--+ and only if there is an arrow from the vertex of A corresponding to S to the vertex of A corresponding to T. Let "" Rn ~ Rn-1 --'* " " ~ R1 ~ Ro ~ A -* 0 be the minimal projective resolution of A over A e constructed in 1.5. Applying ( - , A) = HomA~(--, A) to this exact sequence yields: 0 ---* (A, A) ~ (Ro, A) ~ (.R1, A) ---¢ (R2, A) 4 . . . Clearly we have that (A, A) = k, (Ro, A) = klaol and by the considerations above we infer that ( R 1 , A ) = klzxll (note that A is supposed to be schurian). By the lemma below we infer that (Ri, A) = 0 for i _> 2). So the assertion follows. 114 LEMMA. Let A = k'-~/I be as above. Let ei, ej be primitive orthogoned idempotents corresponding to the vertices i, j • Ao. If EXttA ( S( i ), S(j ) ) ¢ 0 for t _> 2 then eiAej = O. PROOF: If Ext~(S(i), S(j)) 7~ 0 for t _> 2 then P(j) occurs in a minimal projective resolution of S(i), yielding w from i to j in A . It is a straightforward verification that our assumptions imply that w • I. Using again that A is semicommutative we infer that eiAej = O. We say that a finite connected quiver ~ is narrow if there is at most one path between any pair of vertices of ~ . For an arbitrary quiver ~ we denote by ~ + the two-sided ideal in k ' ~ generated by the arrows of A . Finally we recall that a two-sided ideal I in k-~ is said to be admissible if ( ~ + ) r n C I C ( A + ) 2 for some rn > 2. COROLLARY [C1]. Let --~ be a narrow quiver and I be an amissibie ideal in k--~. Then H ° ( k N / I ) = k, dimHl(k--~ /I) = X(--~) and H i ( k N ) = 0 for i _> 2. Remark: The class of narrow quivers clearly includes those quivers whose underlying graph is a tree. But it also contains for example the following quiver: C) 2.3 2-nilpotent algebras. Let A be a finite-dimensional k-algebra. The radical of A is denoted by radA. We say that A is t-nilpotent if (radA)* -- 0 but (radA) *-1 # O. If A is a basic, connected 2-nilpotent algebra, then there exists a finite and connected quiver ~ such that A-* k( "A- ~ ) / ( A" "++ ) 2 . .-.+ PROPOSITION. Let A = k-~ /(-~+ ) 2 with A connected. The following statements are equiv- alent: O) Hi( A ) = O fori > o (ii) H i ( A ) = 0 (iii) ~ is a tree. PROOF: (i) =~ (ii) trivial and (iii) ~ (i) follows from 2.2. So it remains to show (ii) (iii). Suppose ~ is not a tree and let a C A~ be an arrow belonging to a cycle of A (the underlying graph of ~ ) . We will construct 5 C Der(A) such that the residue class of ~ in H i ( A ) is different from zero. Since A is 2-nilpotent there exists a k-basis of A induced by the vertices and arrows of A . We denote this basis by e l , . . . , en (for the vertices) and a l , . . . , a t (for the arrows). We may assume that a = al. Define 5 : A ~ A by 5(ei) = 0 for 1 _< i _< n, 5 ( a l ) = a~ and 5(aj) = 0 for 2 _< j _< r. An easy computation shows 115 that $ E Der(A). Suppose that 6 = 8z for some x E A where ~, is the inner derivation associated with x. Then x = E'~=lAiei + E jr = l # j .a 3. for some Ai,#j E k. Since ~(al) = OL1 = 6 z ( O f l ) = XO/1 -- OLIX = As(al)• 1 - - )~e(al)O~l it follows that As(a1) - Ae(~l) = 1. Since 5(ai) = 0 = ~z(aj) = x a i - a j x = As(~,~)aj- A~(,~,)aj f o r j > 2 it follows that As(~) = A¢(a~). Since A \ { a l } is connected we infer that A1 . . . . . An. Thus the residue class of ~ in H~(A) is different from zero. This finishes the proof. ---4" THEOREM [C2]. Let A = k - ~ /(--~+ ) 2 with A connected. equivalent: The following statements are (i) H2(A) = 0 (ii) --~ does not contain a loop, --~ does not contain a triangle, and --~ is not O " Note that a loop is an arrow a with s(a) = e(a) and a triangle is a quiver of the following form z% We indicate the easy direction ((i) =~ (ii)) and refer for the converse to [C21. Suppose ~ contains a loop a. As above we may choose a basis of A induced by the vertices and arrows, say xl = a, x 2 , . . . ,xm. We define f E H o m k ( A ® A , A ) by f ( x i N x j ) - xl for i = 1 = j and zero otherwise. It is an easy verification to show that f E kerd 2 (compare 1.1) and that the residue class of f in H2(A) is different from zero. Suppose that ~ contains a triangle ,y Choose a basis X l , . . - , x m of A as above w i t h x l = a, x2 = fl, x3 = 7. So we may define f E Homk(A @ A , A ) by f(x~ ® xj) = x3 for i = 1 and j = 2 and equal to zero otherwise. Again f E kerd 2, but f {[ i m d 1. Finally suppose that A is the following quiver X2 Xl~[~X3 X4 Choose a basis of A as indicated. Define f E Homk(A®A, A) by f(x2@x4) = Xl, f ( x 4 Q x 2 ) = x3 and zero otherwise. Again f E ker d 2, but f ~_ im d 1. So in all three cases we see that H2(A) is different from zero. 116 3. D e r i v a t i o n s . In this section we will concentrate on computing derivations• Again let A be a finitedimensional k-algebra. For expository reasons we will assume that the characteristic of k is zero. Let e l , ' " , en be a complete set of primitive orthogonal idempotents in A. Let A = ~ e i A e i be the two-sided Pierce decomposition. Recall that we have denoted by %./ Der(A, A) = Der(A) the vectorspace of derivations of A. We denote by Der°(A) the vectorspace of i n n e r derivations. 3.1. LEMMA. Let ~ E Der(A). T h e n there exists ~5' E D e r ° ( A ) such that 8(ei) - ¢5'(e,) = 0 forl <i <n. PROOF: Since ,5(ei) = ~5(e~) = ei~5(ei) + ~5(ei)ei, we infer that ei~5(ei)ei = O. Thus ei~5(ei) C eiA(1 - el) a n d ~5(ei)ei E (1 - ei)Aei. Moreover we have for i # j that 0 = ~5(eiej) = eia(ej) + a(ei)ej. Thus there exists rij E eiAey, rii = 0 s u c h that eia(ei) = E]=I rij and ,5(ei)ei = - P']=I rji, thus ~5(ei) = 2jn_l rij -- rji. Let r = Ei,j ri,j and let ~' = ~_~ the inner derivation attached to - r . Thus (5_r = - r e i + ei r = _~nl=l rli + 2nl=l ril = (5(ei). We denote by Der'~(A) = {~ E Der(A) J $(ei) = 0) the subspace of normalized derivations. Let $ E Der"(A) be a normalized derivation. T h e n * respects the two-sided Pierce decomposition. In fact, let a E e i A e j , then 5(a) = 5(eic~ej) = c i S ( a e j ) = ciS(a)ej E eiAe i. By Der "'° we denote the subspace Der~(A) Cl Der°(A). It is now an immediate consequence of the l e m m a above that Dern(A)/Der'~,°(A)-:+HI(A). ----4 ----} ---4 3.2. Let A be a finite quiver and k A the corresponding path algebra. We will consider k A as a graded algebra, where the grading is induced by assigning to a path w in LX as degree the length of w. THEOREM. Let I be an admissible ideal in k A which is h o m o g e n e o u s with respect to the ---4 grading. Let A = k A / I . I f H 1 (A) = 0 then -~ is directed. PROOF: F o r w e k Z ~ we denote by I(w) the length of w. We define fi : k ~ --* k ~ by 6(w) = l ( w ) w . T h e n ~ E D e r n ( k ~ ) . Since I is homogeneous, we infer that ~ induces a normalized derivation on A again denoted by ~. By assumtion there exists a E A such that 6 = ~a. Since ~ E Dern(A) we must have that a = Ein=l#iei -]-y for #i E k and --.+ y E ~ e i ( r a d A ) e i . Let a be an arrow in A and ~- the residue class of a in A. s T h e n ~ = fi(~) = ~ ( ~ ) = aa - aa =/*s(~)N - #~(~)~ + z , where z E rad2A. Thus/*s(a) - #e(a) = 1. Now suppose that 1-2-!+2 a2~ 3 . - . r - 1 - - - - ~ r = l is an oriented cycle in "~. T h e n we must have that # i - #i+1 = 1 for 1 < i < n and #n - #1 = 1. It is easily seen that in char k = 0 this system of linear equations has no solution, a contradiction. 117 3.3. Recall that in 2.3 we have defined t-nilpotent algebras. COROLLARY. Let A = rected. kXIS be 3-nilpotent and suppose that H i ( A ) -~ O, then -~ is di- PROOF: It is well-known and easy to see that a 3-nilpotent algebra k - A / I is isomorphic to its associated graded algebra. With I we have denoted an admissible ideal in k A. 3.4. For the next corollary we need some additional terminology. Let A be a representationfinite algebra (i.e. up to isomorphism there exist only finitely many indecomposable Amodules.) Let X 1 , - " , X r be a list of representatives from the isomorphism classes of indecomposable A-modules and let X = ~)Xi. Then A = End X is called the Auslander-algebra i of A [Ga2]. Recall that A is said to be standard if A is isomorphic to its associated graded ---4 algebra. For different characterizations we refer to [BrG]. Let A -- k A / I , then A is called representation-directed if ~ is directed. For an equivalent definition we refer to [Ri]. (Note that ~ is the Auslander-Reiten quiver of A and I is the mesh-ideal.) COROLLARY. Let A be a representation-t~nite, standard k-algebra and A be the Auslander algebra of A. If H i ( A ) = 0 then A is representation-directed. We will come back to the computation of the Hochschild cohomology of Auslander algebras in a subsequent publication. We conclude this section by some examples. We leave out the rather elementary computations. a) Let A -- klx]f(x" ) and A be the Auslander algebra of A. Then d i m H ° ( A ) = n, dim H i ( A ) -- n - 1 and d i m H 2 ( h ) = n - 1. (Note that g / . d i m h _< 2, so Hi(A) = 0 for i > 2.) b) Let A = kR/swith ~ =aQ ~ ~ ) 7 and I = < a2,afl, flT,7 2 >. Let A be the Auslander algebra of A. Then the Auslander-Reiten quiver of A is given by: I I I I I I I I I I The identification is along the vertical dotted lines and the horizontal dotted lines indicate the Auslander-Reiten translation. Then dim H°(A) = 2,dimHl(A) = 2 and H2(A) = 0. 118 4.Tilting invariance. 4.1. Let A be a finite-dimensional k-algebra. An A - m o d u l e A M is called an r-tilting module if (i) p d A M < r, (ii) Ext/a(M, M ) = 0 for 1 < i < r, (iii) there exists an exact sequence 0 ~A A--* M ° ~ M 1 ~ " " "--* M r -'* 0 W i t h a d d M we have denoted the additive category generated by M. For some information about tilting modules as well as for the proofs of the results we will use here we refer to [ C P S I , [ H a l l , [ H a 2 ] . We say that a finite-dimensional k-algebra B is tiltable to A if there exists a family ( A i , M i, Ai+l = End Mi)o_<i<m such that A o = B,A,-,, = A and M i is an r-tilting module over Ai. Let us give an easy example. Let A = k ~ , where /~ = 0 ( 1 0 2 +----- O " 3 •• 0 n--I +----- 0 n Note that A is just the algebra of all n × n - u p p e r triangular matrices over k. Let B = k ' - ~ / I . Then B is tiltable to A if and only if ~ is a full and connected subquiver of the infinite quiver "~ defined below having n vertices containing the central vertex and I is generated by all possible paths c~/3 and/3~. Below we have defined the infinite quiver -~. The arrows on the diagonals pointing down are labelled with ~ and those on the diagonals pointing upwards are labelled with/3. 119 Let Db(A) be the derived category of bounded complexes over mod A [V]. Recall that mod A is fully embedded into Db(A) by sending a module A X to a complex which is concentrated in degree zero. We will identify rood A with its image in Db(A). Let T be the translation functor on Db(A). Then HomD,(A)(X, T i Y ) ~_ EXtiA(X,Y)forX, Y 6 m o d A and i 6 Z. Let B M be an r-tilting module and A = E n d B M . Then there exists a triangle-equivalence F : Db(A) ~ Db(B) such that F ( B M ) = AA. In fact F is the right derived functor of HomB(M, -). 4.2. In the following result we show that Hochschild cohomology is invariant under tilting. THEOREM. Let A and B be flnite-dimensional k-algebras. If B is tiltable to A then H(B) and H ( A ) are isomorphic as Z-graded algebras. PROOF: Let B M be an r-tilting module and A -- E n d B M . Clearly it is enough to show that H ( B ) and H ( A ) are isomorphic as ][-graded algebras. We will construct below a triangle-equivalence F : Db(B ~) , Db(A e) such that F ( B , B ) = A*A. From this the assertion follows immediately. In fact, Hi(A) = E x t ~ , ( A , A ) = HomDb(A~)(A,T'A) ~-- HomD~(B~)(B, TiB) = Hi(B). Since _~ preserves the composition of morphisms, we see that F induces an isomorphism of the ][-graded algebras H ( A ) and H ( B ). We now turn to the construction of /~. Recall that A ~ = A ® A*,B e = B ® B*. Let k k C = B ® A*. Note that BMA is a left C-module. It is easily checked that X = M ® A* is k k an r-tilting module over C such that E n d c X = A% Thus we obtain a triangle-equivalence F : Db(c) --, Db(A e) such that F ( c X ) = A,A e. It follows from the description above that F ( c M ) = A,A. Similarly, let Y = B ® M. Then Y is an r-tilting module over C such k that E n d c Y = B e. Thus we obtain a triangle-equivalence G : Db(C) --* Db(B ~) such that G ( c Y ) = B,B e. Moreover it follows that G ( c M ) = BoB. Now let G' be a quasi-inverse to G. Then F = FG' is the required triangle-equivalence from Db(B e) to Db(A~). 4.3. COROLLARY. Let -~ be a finite quiver without oriented cycle and let B be a finite- dimensional k-algebra which is tiltable to k-~. Then Hi(B) = O, for i >_ 2,H°(B) = k and dimHl(B) = dimHl(k-~). In particular B is rigid. II A is not a tree and B = k-~ /I, then F is not a tree. PROOF: The first assertions follow from 4.2 and 1.6. The second statement follows from this and 2.2. 4.4. Exaznples: 1) Let B = k'-~/I where F'~ and I are given as follows: F= o; I = <~f16-~6e> 120 T h e n B is tiltable to k ~ (in one step) where A___ In p a r t i c u l a r H i ( B ) = O. Let A I -- so A I = k A-~ is a factor algebra of B generated by a primitive idempotent. By 1.6 we infer t h a t d i r n H l ( A ~) = k. This shows t h a t even for well-behaved factors it is not always possible to extend n o n - t r i v i a l o u t e r derivations. 2) Let A = k--~/I where a~d I = ( ~ + ) ~ . T h e n A satisfies the assumptions of 2.2, so H°(A) = k, HI(A) = k a n d Hi(A) = 0 for i > 2. We choose as indecomposable s u m m a n d s of a 1-tilting module AM the indecomposable modules which correspond to the vertices marked with • in the A u s l a n d e r - R e i t e n quiver of A Then B = EndAM = k-~/I where e l"= 3' and I = <o~7, flS, T e > . 121 So in particular we see that H2(B) = 0 despite the fact that B admits a factor algebra C by an ideal generated by primitive idempotents such that H2(C) ~ O. 4.5. In the final part of this section we want to report'on some joint work with M. Schaps [HS] which is related to the theorem above. The proof of the theorem below will be omitted. Let Algd be the affine variety of algebra structures (associative, with unit) on a vector space V of dimension d over the field k. This variety is the set of bilinear maps from V × V to V that are associative and admit a unit; for a formal definition and some of its properties the reader is referred to [Gal]. To a point p of Algd we associate the finite-dimensional k-algebra Ap. Let G = Gl(V). The canonical linear operation of G on V induces an operation of G on Algd. For p E Algd we denote by Op the orbit of p under G. Let p, q E Algd. We say that Aq deforms to Ap (or Ap degenerates to Aq) if q E Op, the Zariski-closure of Op. The algebra Ap is then called an algebra deformation of Aq. For example M2(k) (the matrix algebra of (2 × 2)-matrices over k) is an algebra deformation of k--~/I where O~ -~-= ~ and I-= < aj3,~o~ > . Z If Ap is a non-trivial algebra deformation of Aq (i.e. gp ~ dq), then H2(dq) ~ 0 [Ge]. 4.6. THEOREM. Let A be a finite-dimensional basic k-algebra and let .4 be an algebra deformation of A. Let A M be a 1-tilting module with endomorphism a/gebra E n d A M = B. Then there exists a 1-tilting module il~f such that B = End i M is an algebra deformation of B. We point out that even in the case where A M is multiplicity-free (i.e. each indecomposable direct summand of A M occurs with multiplicity one) the tilting module AJl~/will usually not be multiplicity-free. In other words, /~ will usually not be a basic k-algebra. An example for this will be given below. 4.7. Examples: 1) Let A = k A / I , where A= and I = < a~ > . Then A admits a non-trivial deformation ft. = k--~/I ~ where I ~ = < aft - 75 >. We choose as indecomposable summands of a 1-tilting module A M the indecomposable modules which correspond to the vertices marked with • in the Auslander-Reiten quiver of A (the identification is along the vertical dotted lines). 122 i I I t * t Then EndAM = k'-~/J where and J = < oLj3 > . P= Then AM of the theorem above corresponds to the vertices marked with • in the AuslanderReiten quiver of A: So End ~.~/= k ~ where < which clearly degenerates to EndAM. 2) Let A = k ~ / I , where ~ = 0~ and I = < c~2, c~fl >. Then A admits a non-trivial deformation A = kA --~ where ol 3ex 02 123 (note that A t is not connected). We choose as indecomposable summands of a 1-tilting module AM the indecomposable modules which correspond to the vertices marked with * in the Auslander-Reiten quiver of A (the identification is along the vertical dotted lines). | t Then EndAM = k--~/J where O~ "-~= ~ and J = < aria > and ~i~/of the theorem above is P(1)@P(1)@P(2)@P(3). So E n d 2 . ~ / = M2(k)x ( ~ 5. ~). One-point extensions. 5.1. In this section we present for a special class of algebras a way of computing the Hochschild cohomology of a given algebra by knowing the cohomology of a particular factor algebra. To be more precise we have to recall the definition of a one-point extension algebra. For more details and the representation-theoretic tools available in this context we refer to [Ri]. Let A be a finite--dimensional k-algebra and M E mod A. The one-point extension algebra A[M] of A by M is by definition the finite-dimensional k-algebra AIM] = (A M with multiplication m t where a, a t E A, m, rn I e M and •, A' E k. For example let Tr,(k) be the algebra of n x n - upper triangular matrices over k. Then T,(k) operates on an n-dimensional k-vector space by left multiplication. We denote this T,(k)-module by M. Then an easy verification shows that T,(k)[M] ~- T,,+](k). From the definition of the one-point extension we see that a necessary condition for an algebra B to be of the form AIM] for some algebra A and an A-module M is that there is a simple injective B-module. This clearly is sufficient. Indeed, if an algebra B admits a simple injective module S. Let P(S) be a projective cover of S and let e e B be an idempotent such that P(S) = Be. Let A = B/(e) (where (e) denotes the two-sided ideal in B generated by 124 the idempotent e) and let M = radP(S). Then M is an A-module and it is easily checked that B "~ A[M]. There is the dual concept of a one-point coextension. We denote by M* the k-dual of M. Then the one-point coextension [M]A of A by M is by definition the finite-dimensional k-algebra with the obvious multiplication. We will state our results for one-point extensions and leave it to the reader to derive the corresponding statements for one-point coextensions. 5.2. Let A be a finite-dimensional k-algebra and let M E modA. We denote by B the one-point extension of A by M. Let e E B be a primitive idempotent such that M -- tad Be. Further let I = (e) be the two-sided ideal generated by e. Then we have that A = B / I . In the following lemma we have collected some useful homological information about this data. As the proofs are easy we omit them. LEMMA. With the above notation we have: (i) (ii) (iii) (iv) (v) B,I ~-- P(e, e') ~_ Homk(S(e), P(e)) ExtJA~(A,A) ~_ ExtJ~(B,B) Ext~(S(e), P(e)) _~ E x t y ~ ( M , M) for i _> 2 ExtlB(S(e), P(e)) _ H o m A ( M , M ) / k HomB(S(e),P(e)) = 0 5.3 THEOREM. Let B = A[M] be as above. Then there exists the following long exact sequence connecting the Hoehschild cohomotogy of A and B. 0 ~ H°(B) ~ H°(A) ~ HomA(M,M)/k ~ H i ( B ) ~ H i ( A ) --* EXtlA(M,M) 4 . . . • .. ~ ExtiA(M, M) ~ H'+I(B) ~ Hi+I(A) --* EXtiA+l(M, M ) 4 . . . PROOF: (*) O ~ I ~ B ~ A ~ O By construction and 5.2(i) we infer that E x t ~ ( I , A) = 0 for i > 0. Applying H o m E . ( - , A) to (*) then yields E x t , . (A, A)-~ E x t , , (B, A) for i > 0. Note that E x t , , (B, I ) = H ' ( B , I) = Hi(B, Homk(S(e), P(e))) = Ext~(S(e), P(e)) which can be computed by 5.2 (iii),(iv) and (v). Apply H o m B , ( B , - ) to (*). This yields the long exact sequence 0--~ HomBo(B,B) --. H o m B , ( B , A ) ~ E x t ~ . ( B , I ) ~ Ext]~.(B,B) -~ E x t ~ , ( B , A ) 4 . . . which by the identifications above gives the assertion. 5.4. For the next corollaries we have to recall the definition of the S-condition [BrG],[BLS]. Let B = k - ~ / Y with ~ directed. An indecomposable projective B-module P(i) for i E A0 is said to have a separated radical if distinct indecomposable summands of radP(i) have 125 ----+ support on different connected components of Ai, where ~ is the full subquiver of A with vertices j such that there is no path from j to i. Finally we say that B satisfies the S-condition if all indecomposable projective B - m o d u l e s have separated radical. COROLLARY. If B is representation-directed then H I ( B ) = 0 for i > 2. PROOF: We proceed by induction on the number of distinct simple B-modules. We may assume that B = A[M] and A = A1 x -.. x An with Ai being representation-directed for r 1 < i < r. Since B is representation-directed we infer that M = ]-L=z Mi, with Mi E m o d A i satisfies E x t J ( M i , M i ) = 0 for j > 1. By induction we have that H J ( A i ) = 0 for j > 2 and 1 < i < r. The assertion now follows from 5.3. ,.5.5. COROLLARY. Let B be representation-directed. and only if H 1( B ) = O. Then B satisfies the S-condition if PROOF: Suppose that B = A[M] and A -- A1 x ... x An, M = I_[i~=zMi with Mi E m o d A i . If B satisfies the S-condition so do A 1 , - . . ,An. By induction we infer that H i ( A ) = O. Moreover we see that iV// is indecomposable. As Ai is representation-directed we have that E n d M i = k. Clearly H ° ( B ) = k, H ° ( A ) = k ~ and dim H o m A ( M , M ) / k = r - 1, so H i ( B ) = O. Conversely, if H i ( B ) = 0 and B = A[M] we see as above that E x t ~ ( M , M ) -- 0, for B is representation-directed. By induction we infer that A satisfies the S-condition. As above let A = A1 x .-. x An and M = H ir= l M~. If H i ( B ) = 0 then dim HomA(M, M ) / ' k = r - 1. Thus dim E n d Mi = 1 and in particular we see that the Mi are indecomposable. Hence B satisfies the S-condition. 5.6. COROLLARY. Let A be a connected finite-dimensional k-algebra with H ° ( A ) = k and H i ( A ) = 0 for i > 0. Let M E m o d A and B = A[M] the corresponding one-point extension. Then H ° ( B ) = k, H Z ( B ) ~_ H o m A ( M , M ) / k and H I ( B ) ~_ EXtiA-Z(M,M) for i > 1. We conclude by giving some examples. Let A = k ~ and A a Dynkin diagram of type ~ n , D , , E 6 , E T , E a and let M E m o d A be indecomposable. Then ttI(A[M]) = 0 for i >__1. Let A = k ~ and A an a ~ n e diagram of type Dn,I~6, ET, E8 and let M C m o d A be indecomposable such that E x t ~ ( M , M ) ___ k. Then H I ( A [ M ] ) = 0 and H2(A[M]) ~- k. Note that such modules exist. This example includes the canonical tubular algebras of type I)4,~ of Ringel [Ri]. 126 REFERENCES [BLS] Bautista, R.; Larrion, F.; Salmeron, L., On simply connected algebras,, J. London Math. Soc. 27 (1983), 212-220. [BrG] Bretscher, O.; Gabriel, P., The standard form of a representation-finite algebra, Bull. Soc. Math. France 111 (1983), 21-40. [C1] Cibils, C., Cohomologie de Hochschild d'alg~bres de dimension finie, preprint. [C2] Cibils, C., $~nilpotent and rigidfinite-dimensional algebras, J. London Math. Soc. 36 (1987), 211-218. [C3] Cibils, C., Cohomology of incidence algebras and simplicial complexes, preprint. [C4] Cibils, C., Hochschild homology of an algebra whose quiver has no oriented cycles, Springer Lecture Notes, Heidelberg 1177 (1986), 55-59. ICE] Cartan, H.; Eilenberg, S., Homological Algebra, Princeton University Press (1956). [CPS] Cline, E.; Parshall, B.; Scott, L., Derived categories and Morita theory, 3. Algebra 104 (1986), 397-409. [Gal] Gabriel, P., Finite representation type is open, Springer Lecture Notes, Heidelberg 488 (1975), 132-155. [Ga2] Gabriel, P., Auslander-Reiten sequences and representation-finite algebras, Springer Lecture Notes, Heidelberg 831 (1980), 1-71. [Gel Gerstenhaber, M., On the deformations of rings and algebras, Ann. of Math. 79 (1964), 59-103. [GS] Gerstenhaber, M.; Schack, S.P., Simplieial homology is Hochschild cohomology, J. Pure and Appl. algebra 30 (1983), 143-156. [Half Happel, D., On the derived category oI a finite-dimensional algebra, Comment. Math. Helv. 62 (1987), 339-389. [Ha2] Happel, D., LMS, Cambridge University Press 119 (1988), "Triangulated categories in the representation theory of finite--dimensionalalgebras,". [HS] Happel, D.; Schaps, M., Deformations of tilting modules, preprint. [Ho] Hochschild, G., On the cohomology groups of an associative algebra, Ann. of Math. 46 (1946), 58-67. [Ri] Ringel, C.M., Tame algebras and integral quadratic forms, Springer Lecture Notes, Heidelberg 1099 (1984). [V] Verdier, J.L., CatEgories d~riv~es, ~ta~ O, Springer Lecture Notes, Heidelberg 569 (1977), 262-311. Fakult£t f/ir Mathematik, Universit~.t Bielefeld, Postfach 8640, 4800 Bielefeld 1, FRG
© Copyright 2024 Paperzz