arxiv: v1 [math.ra] 19 Oct 2017

Transcription

1 FINITE GENERATION OF SOME COHOMOLOGY RINGS VIA TWISTED TENSOR PRODUCT AND ANICK RESOLUTIONS VAN C. NGUYEN, XINGTING WANG, AND SARAH WITHERSPOON arxiv: v1 [math.ra] 19 Oct 2017 Abstract. Over a field of prime characteristic p > 2, we prove that the cohomology rings of some pointed Hopf algebras of dimension p 3 are finitely generated. These are Hopf algebras arising in the ongoing classification of finite dimensional Hopf algebras in positive characteristic, and include bosonizations of Nichols algebras of Jordan type in a general setting as well as their liftings when p = 3. Our techniques are applications of twisted tensor product resolutions and Anick resolutions in combination with May spectral sequences. Contents 1. Introduction 1 2. Settings Pointed Hopf algebras Our setting: Rank two Nichols algebra and its bosonization Our setting: A class of 27-dimensional pointed Hopf algebras 4 3. Twisted tensor product resolutions The resolution construction Resolution over the Nichols algebra R Resolution over the bosonization R# G Anick resolutions The resolution construction A truncated polynomial ring Finite generation of some cohomology rings Cohomology of the Nichols algebra and its bosonization Cohomology of some pointed Hopf algebras of dimension References Introduction The cohomology ring of a finite dimensional Hopf algebra is conjectured to be finitely generated. Friedlander and Suslin [8] proved this for cocommutative Hopf algebras, generalizing earlier results of Evens [6], Golod [10], and Venkov [24] for finite group algebras and of Friedlander and Parshall [7] for restricted Lie algebras. There are many finite generation results as well for various types of noncocommutative Hopf algebras (see, e.g., [3, 9, 11, 14, 22]). Date: October 18, Mathematics Subject Classification. 16E05, 16E40, 16T05. Key words and phrases. cohomology, positive characteristic, (pointed) Hopf algebras, Anick resolutions, twisted tensor products. The third author was partially supported by NSF grant DMS

2 2 VAN C. NGUYEN, XINGTING WANG, AND SARAH WITHERSPOON Most of these results are in characteristic 0. In this paper, we prove finite generation for classes of noncocommutative Hopf algebras in prime characteristic p > 2. These are some of the pointed Hopf algebras arising in classification work of the first two authors. Our main result is the following combination of Theorems and below: Theorem. Let be an algebraically closed field of prime characteristic p > 2. Consider the following Hopf algebras over : (1) the p 2 q-dimensional bosonization R# G of a rank two Nichols algebra R of Jordan type over a cyclic group G of order q, where q is divisible by p; and (2) a lifting H of R# G when p = q = 3. Then the cohomology rings of R# G and of H are finitely generated. Our theorem is exclusively an odd characteristic result since the Nichols algebra of Jordan type does not appear in characteristic 2. Instead there is another related Nichols algebra [4] that will require different techniques. Part (2) of our main theorem above is only stated for characteristic 3; this is because we use the classification of such Hopf algebras from [18], and liftings are only known completely in this case. We expect our homological techniques will be able to handle liftings when p > 3 once more is known about their structure. More specifically, we let R# G be a p 2 q-dimensional Hopf algebra given by the bosonization of a Jordan plane as introduced in [4] (see Section 2.2 below). We prove in Theorem that the cohomology ring of such a Hopf algebra R#G, that is H (R#G, ) := Ext R#G (, ), is finitely generated. We also consider liftings H of R#G in the special case p = q = 3 (see Section 2.3 below). We prove in Theorem that the cohomology ring H (H, ) is finitely generated. Our techniques for proving the main theorem above rely on the May spectral sequence for the cohomology of a filtered algebra. In either setting, (1) or (2), we may choose a filtration for which the associated graded algebra is a truncated polynomial ring whose cohomology is straightforward. The hard work is in finding some permanent cycles as required to use a spectral sequence lemma that goes back to Friedlander and Suslin [8]. This we do in two ways, by constructing two types of resolutions which should be of independent interest. The general definitions of the resolutions are not new, but we provide here some nontrivial examples, with our main theorem as an application. The first resolution is the twisted tensor product resolution of [20], recalled in Section 3.1, used in Section 3.2, and iterated in Section 3.3, to obtain a resolution over the bosonization R#G of the Nichols algebra R. This is used in Section 5.1 to prove finite generation of its cohomology. The second resolution is the Anick resolution [1], explained in Section 4.1, with a general result for the Anick resolution of a truncated polynomial ring in Section 4.2. This Anick resolution is used in Section 5.2 to prove finite generation of the cohomology of the liftings H. We could have chosen to work with just one type of resolution, either Anick or twisted tensor product, for proofs of both parts (1) and (2) of our main theorem above. We instead chose to work with both resolutions to illustrate a wider variety of techniques available, each having its own advantages. 2. Settings Throughout, let be a field. For our main results we will assume that is algebraically closed field of prime characteristic p > 2 since we work with Hopf algebrasfound in classification work under this assumption. The tensor product is unless specified otherwise. In

3 COHOMOLOGY OF POINTED HOPF ALGEBRAS 3 this section we will define the Nichols algebras and pointed Hopf algebras that are featured in this paper, and summarize some structural results that will be needed Pointed Hopf algebras. Let H be any finite dimensional pointed Hopf algebra over. The coradical (the sum of all simple subcoalgebras) of H is H 0 = G, a Hopf subalgebra of H generated by the grouplike elements G := {g H (g) = g g}, where is the coproduct on H. Let H 0 H 1 H 2 H be the coradical filtration of H, where H n = 1 (H H n 1 +H 0 H) inductively, see [17, Chapter 5]. Consider the associated graded Hopf algebra grh = n 0 H n/h n 1, with the convention H 1 = 0. Note that the zero term of grh equals its coradical, i.e., (grh) 0 = H 0. There is a projection π : grh H 0 and an inclusion ι : H 0 grh such that πι = 1 (the identity map on H 0 ). Let R be the algebra of coinvariants of π: R := (grh) coπ = {h grh : (1 H π) (h) = h 1}, where 1 H denotes the identity map on H. By results of Radford [23] and Majid [15], R is a Hopf algebra in the braided category G G YD of left Yetter-Drinfeld modules over H 0 = G. Moreover, grh is the bosonization (or Radford biproduct) of R and H 0 so that grh = R#H 0 with the Hopf structure given in [17, Theorem ]. As an algebra, it is simply the smash product of H 0 with R, analogous to a semidirect product of groups Our setting: Rank two Nichols algebra and its bosonization. For Sections 3 and 5.1, we use the following setup. Let be a field of prime characteristic p > 2. Let G := g = Z/qZ be a cyclic group whose order q is divisible by p. Consider / ( R := x,y x p, y p, yx xy 1 ) 2 x2, which is a p 2 -dimensional algebra as described in [4, Theorem 3.5], with a vector space basis {x i y j 0 i,j p 1}. Observe that R is the Nichols algebra of a rank two Yetter-Drinfeld module V = x+y over G, where the G-action on V is given by g x = x and g y = x+y, (here the left superscript indicates group action), and the G-gradings of x and y are both given by g. Let R# G be the bosonization of R and G. It is the corresponding p 2 q-dimensional pointed Hopf algebra as studied in [4, Corollary 3.14], [18, 3 (Case B)], and [19, 4]. Its Hopf structure is given by: (x) = x 1+g x, (y) = y 1+g y, (g) = g g, ε(x) = 0, ε(y) = 0, ε(g) = 1, S(x) = g 1 x, S(y) = g 1 y, S(g) = g 1, where is the coproduct, ε is the counit, and S is the antipode map of R# G. Remark We remark the following: (1) These R,G,R# G appear in [4, 18, 19] for various purposes. In their settings, G is a cyclic group of order p. Here, we consider a more general setting with G being cyclic of order q divisible by p.

4 4 VAN C. NGUYEN, XINGTING WANG, AND SARAH WITHERSPOON (2) In [18], the first two authors classified p 3 -dimensional pointed Hopf algebra over prime characteristic p. In their classification work, this p 2 -dimensional Nichols algebra R of Jordan type is unique, up to isomorphism, and only occurs when p > 2. (3) The authors of [4] used right modules in their settings, whereas left modules were used in the classification work in [18], thus inducing a sign difference in the relation yx xy 1 2 x2 of R there. Here, we adopt the relation described in [4]. In Section 5.2, when we study the cohomology of pointed Hopf algebras H lifted from the associated graded algebras grh = R# G, we modify the relations of the lifting structure given in [18] accordingly, see the next Section Our setting: A class of 27-dimensional pointed Hopf algebras. Let be a field of characteristic p = 3 and consider Hopf algebras H(ǫ,µ,τ) defined from three scalar parameters ǫ,µ,τ as in [18]. These are pointed Hopf algebras of dimension 27 whose associated graded algebra is grh(ǫ,µ,τ) = R# G, the Hopf algebra described in Section 2.2, in this case p = q = 3. As an algebra, H(ǫ,µ,τ) is generated by g,x,y with relations g 3 = 1, x 3 = ǫx, y 3 = ǫy 2 (µǫ τ µ 2 )y, yg gy = xg +µ(g g 2 ), xg gx = ǫ(g g 2 ), yx xy = x 2 +(µ+ǫ)x+ǫy +τ(1 g 2 ), where ǫ {0,1} and τ,µ are arbitrary scalars. The coalgebra structure is the same as that of R#G described in Section 2.2. By setting w = g 1, we get a new presentation in which the generators are w,x,y and the relations are: w 3 = 0, x 3 = ǫx, y 3 = ǫy 2 (µǫ τ µ 2 )y, yw wy = wx+x (µ ǫ)(w 2 +w), xw wx = ǫ(w 2 +w), yx xy = x 2 +(µ+ǫ)x+ǫy τ(w 2 w). This choice of generating set will be convenient for our homological arguments later. As shown in [18], H(ǫ,µ,τ) has dimension 27, with vector space basis {w i x j y k 0 i,j,k 2}. 3. Twisted tensor product resolutions In this section, we apply the construction of twisted tensor product resolutions introduced in [20] to our Nichols algebra R and its bosonization R# G that was defined in Section The resolution construction. Let A and B be associative algebras over with multiplication maps m A : A A A and m B : B B B, and multiplicative identities 1 A and 1 B, respectively. We write 1 for the identity map on any set. A twisting map τ : B A A B is a bijective -linear map for which τ(1 B a) = a 1 B and τ(b 1 A ) = 1 A b, for all a A and b B, and (3.1.1) τ (m B m A ) = (m A m B ) (1 τ 1) (τ τ) (1 τ 1) as maps B B A A A B. The twisted tensor product algebra A τ B is the vector space A B together with multiplication m τ given by such a twisting map τ, that is, m τ : (A B) (A B) A B is given by m τ = (m A m B ) (1 τ 1).

5 COHOMOLOGY OF POINTED HOPF ALGEBRAS 5 Definition [20, Definition 5.1] Let M be an A-module with module structure map ρ A,M : A M M. We say M is compatible with the twisting map τ if there is a bijective -linear map τ B,M : B M M B such that (3.1.3) (3.1.4) τ B,M (m B 1) = (1 m B ) (τ B,M 1) (1 τ B,M ), and τ B,M (1 ρ A,M ) = (ρ A,M 1) (1 τ B,M ) (τ 1) as maps on B B M and on B A M, respectively. LetM beana-modulethatiscompatiblewithτ. Wesayaprojective A-moduleresolution P(M) of M is compatible with the twisting map τ if each module P i (M) is compatible with τ via maps τ B,i for which τ B, : B P(M) P(M) B is a -linear chain map lifting τ B,M : B M M B. Let N be a B-module and let P(N) be a projective resolution of N over B. We put an A τ B-module structure on the bicomplex P(M) P(N) by using maps τ B,. Under such compatibility conditions, the twisted tensor product resolutions for left modules over A τ B were constructed in [20] satisfying the following theorem. Theorem [20, Theorem 5.12] Let A and B be -algebras with twisting map τ : B A A B. Let P(M) be an A-projective resolution of M and P(N) be a B-projective resolution of N. Assume (a) M and P(M) are compatible with τ, and (b) Y i,j = P i (M) P j (N) is a projective A τ B-module, for all i,j. Then the twisted tensor product complex Y = Tot(P(M) P(N)) with Y n = P i (M) P j (N) i+j=n is a projective resolution of M N as a module over the twisted tensor product A τ B. By Tot(P(M) P(N)) we mean the total complex of the bicomplex P(M) P(N), that is the complex whose nth component is Y n = i+j=n (P i (M) P j (N)) and differential is d n = i+j=n d ij where d ij = d i 1+( 1) i 1 d j. In the statement of [20, Theorem 5.12], we have replaced one of the hypotheses by our hypothesis (b) above, and in this case the proof is given by [20, Lemmas 5.8 and 5.9]. In some contexts, such as ours here, the hypothesis (b) can be checked directly, in which case this version of the theorem is sufficient. For the rest of this section, let R,G be as defined in Section 2.2. Let also denote the trivial(left)r-or(r# G)-module,thatis, thefield withactiongivenbytheaugmentation ε(x) = 0, ε(y) = 0, ε(g) = 1. Wewill constructaresolutionof asanr-moduleviaatwisted tensor product, and as an (R# G)-module by iterating the twisted product construction Resolution over the Nichols algebra R. Let be a field of characteristic p > 2, and let R be the Nichols algebra described in Section 2.2. Let be the R-module on which x and y both act as 0. We start with a construction of a resolution of as an R-module. Using the relation (3.9) in [4, Lemma 3.8], we can view R as the twisted tensor product / ( R = x,y x p, y p, yx xy 1 ) 2 x2 = A τ B,

6 6 VAN C. NGUYEN, XINGTING WANG, AND SARAH WITHERSPOON where A := [x]/(x p ), B := [y]/(y p ). The twisting map τ : B A A B is defined by r ( )( ) t r 1 τ(y r x l ) = [l] [t] x l+t y r t, t 2 where we use the convention: [l] [t] = l(l+1)(l+2) (l+t 1), with [l] [0] = 1, for any l. Consider the following free resolutions of as A-module and as B-module, respectively: P(A) : xp 1 A x A xp 1 A x A ε 0 P(B) : yp 1 B y B yp 1 B y B ε 0. The map ε on A (respectively, on B) takes x to 0 (respectively, y to 0). Consider the tensor product P(A) P(B) as a graded vector space. The total complex is a complex of vector spaces with differential in degree n given by d n = (d i 1+( 1) i d j ). i+j=n We will put the structure of an R-module on each P i (A) P j (B) so that this tensor product complex is an R-projective resolution of as an R-module. This will follow from [20, Lemmas 5.8 and 5.9] once we define a chain map as in Definition and check that the resulting R-modules are indeed projective. That is, as in Definition 3.1.2, there are bijective -linear maps τ B,i that we abbreviate here as τ i, for which the diagram 1 x p 1 B A 1 x B A 1 x p 1 B A 1 x B A 1 ε B 0 τ 3 τ 2 τ 1 x p 1 1 A B x 1 A B xp 1 1 A B x 1 A B ε 1 B 0 τ 0 = commutes and conditions (3.1.3) and (3.1.4) hold. We claim that the following maps τ i satisfy the above conditions. Lemma For any integer i 0, let τ i : B A A B be defined as follows: τ(y r x l ), i is even τ i (y r x l ) = ) t [l+1] [t] x l+t y r t, i is odd. Then r ( r )( 1 t 2 (a) τ i is a bijective -linear map whose inverse is r ( r )( τi 1 (x l y r t 1 t 2) [l] [t] y r t x l+t, i is even ) = r ( r )( t 1 t 2) [l+1] [t] y r t x l+t, i is odd.

7 COHOMOLOGY OF POINTED HOPF ALGEBRAS 7 (b) τ i satisfies conditions (3.1.3) and (3.1.4). In particular, τ i (m B 1) = (1 m B ) (τ i 1) (1 τ i ) and τ i (1 m A ) = (m A 1) (1 τ i ) (τ 1), as maps on B B A and on B A A, respectively. (c) Each square in the above diagram commutes. Consequently, and its resolution P(A) are compatible with τ. Proof. Let τ i be defined as in the lemma. (a)bijection: Toshow τ i isbijective withthegiven inverse, it suffices toshow thatτ i τ 1 i = 1 A B and τ 1 i τ i = 1 B A. Here, we will check τ i τ 1 i = 1 A B for the case when i is odd; the remaining case is similar. ( r ( )( r τ i τ 1 i (x l y r ) = τ i 1 ) ) k [l+1] [k] y r k x l+k k 2 = = = r ( )( r 1 ) k r k ( )( ) s r k 1 [l+1] [k] [l+k +1] [s] x l+k+s y r k s k 2 s 2 r r k ( )( )( r r k 1 ) k ( ) s 1 [l+1] [k] [l+k +1] [s] x l+k+s y r k s k s 2 2 ( r It suffices to show ( )( r r k k s k+s=t k+s=t ( r k )( r k s ) ( 1) k ( 1 2 ) ( 1) k ( 1 2) k+s [l+1] [k] [l+k +1] [s] = ) k+s [l+1] [k] [l+k +1] [s] ) { 1, if t = 0 0, if t 0. The case t = 0 is clear, as k = s = 0, all coefficients become 1. For t > 0, t ( )( ) ( ) t r r k 1 ( 1) k [l+1] [k] [l+k +1] [t k] k t k 2 Therefore, τ i τ 1 i = (l+t)! l! = (l+t)! l! = (l+t)! l! = 1 A B. Similarly, τ 1 i ( ) ( t t ( )( ) ) 1 r r k ( 1) k 2 k t k ( ) ( t t ( )( ) ) 1 r t ( 1) k 2 t k ( ) t ( ) ( 1 r t ( t ( 1) k 2 t k) ) = 0. τ i = 1 B A and hence τ i is bijective. x l+t y r t. (b) Compatible conditions: To show that the maps τ i satisfy conditions (3.1.3) and (3.1.4), observe that if i is 0 or even, then both conditions hold from the definition of τ, as τ i = τ in this case and satisfies (3.1.1). It remains to check the case when i is odd.

8 8 VAN C. NGUYEN, XINGTING WANG, AND SARAH WITHERSPOON Let us verify (3.1.3) first. On B B A, the left hand side is r 1 +r 2 ( )( ) t τ i (m B 1)(y r 1 y r 2 x l ) = τ i (y r 1+r 2 x l r1 +r 2 1 ) = [l+1] [t] x l+t y r 1+r 2 t, t 2 while the right hand side is (1 m B ) (τ i 1) (1 τ i )(y r 1 y r 2 x l ) ( r 2 ( )( ) k = (1 m B ) (τ i 1) y r r2 1 1 [l+1] [k] x l+k y 2 k) r k 2 [ r2 ( )( ) ( k r2 1 r1 ( )( ) s = (1 m B ) [l+1] [k] r1 1 [l+k +1] [s] x l+k+s y 1 s) r k 2 s 2 = r 1 +r 2 ( k+s=t ( r2 k )( r1 s )( 1 2 ) t [l+1] [k] [l+k +1] [s] ) x l+t y r 1+r 2 t. It is straightforward to check that [l+1] [k] [l+k +1] [s] = [l+1] [k+s], and t ( )( ) ( ) r2 r1 r1 +r 2 =. k t k t This gives us the equality (3.1.3) as desired. For (3.1.4), on B A A, the left hand side is τ i (1 m A )(y r x l 1 x l 2 ) = τ i (y r x l 1+l 2 ) = while the right hand side is k+s=t r y r 2 k ( )( ) t r 1 [l 1 +l 2 +1] [t] x l 1+l 2 +t y r t, t 2 (m A 1) (1 τ i ) (τ 1)(y r x l 1 x l 2 ) [( r ( )( ) ) ] k r 1 = (m A 1) (1 τ i ) [l 1 ] [k] x l1+k y r k x l 2 k 2 [ r ( )( ) k r 1 r k ( )( ) )] s r k 1 = (m A 1) [l 1 ] [k] x ( l1+k [l 2 +1] [s] x l2+s y r k s k 2 s 2 r r k ( )( )( ) k+s r r k 1 = [l 1 ] [k] [l 2 +1] [s] x (l 1+l 2 )+(k+s) y r (k+s) k s 2 ( r ( )( )( ) ) t r r k 1 = [l 1 ] [k] [l 2 +1] [s] x (l 1+l 2 )+t y r t. k s 2 To show the left hand side of (3.1.4) is equal to its right hand side, it suffices to show ( ) r t ( )( ) r r k [l 1 +l 2 +1] [t] = [l 1 ] [k] [l 2 +1] [t k]. t k t k ]

9 COHOMOLOGY OF POINTED HOPF ALGEBRAS 9 Using binomial identity in [4, p. 4038], [l 1 +l 2 +1] [t] = t t ( k) [l1 ] [k] [l 2 +1] [t k], we have ( ) r t ( )( ) r t [l 1 +l 2 +1] [t] = [l 1 ] [k] [l 2 +1] [t k] t t k t ( )( ) r r k = [l 1 ] [k] [l 2 +1] [t k], k t k where the last equality is due to ( )( ) r t = t k = r! (r t)!t! r! k!(r k)! This gives us the equality (3.1.4) as desired. t! (t k)!k! = r! (r k)! (t k)!(r t)! = (r t)!(t k)!k! ( )( r r k k t k (c) Commutativity of diagram: We need to check that the following diagrams commute: B A τ odd 1 x B A τ even A B x 1 A B For the first diagram, we have: and B A τ even ). 1 x p 1 B A τ odd A B xp 1 1 A B. τ even (1 x )(y r x l ) = τ(y r x l+1 ) r ( )( ) t r 1 = [l+1] [t] x l+1+t y r t, t 2 ( r ( )( ) ) t r 1 (x 1) τ odd (y r x l ) = (x 1) [l+1] [t] x l+t y r t t 2 r ( )( ) t r 1 = [l+1] [t] x l+1+t y r t. t 2 Similarly, for the second diagram: τ odd (1 x p 1 )(y r x l ) = τ odd (y r x l+p 1 ) { 0 if l > 0 = τ odd (y r x p 1 ) if l = 0 { 0 if l > 0 = r ( r )( 1 ) t[p] [t] x p 1+t y r t if l = 0 t 2 { 0 if l > 0 = x p 1 y r if l = 0 ( r ( )( ) ) t r 1 (x p 1 1) τ even (y r x l ) = (x p 1 1) [l] [t] x l+t y r t t 2

10 10 VAN C. NGUYEN, XINGTING WANG, AND SARAH WITHERSPOON = = r ( r t )( 1 2 { 0 if l > 0 x p 1 y r if l = 0. ) t [l] [t] x l+t+p 1 y r t For each i, the map τ i is used to give P i (A) P j (B) = A B the structure of a left (A τ B)-module. In the case when i is even, this is the usual (A τ B)-module structure. In the case when i is odd, the (A τ B)-module structure via τ i is given by (A τ B) (A B) 1 τ i 1 A A B B m A m B A B. Lemma Retaining the above module structure, P i (A) P j (B) = A B is a free (A τ B)-module of rank one, generated by 1 1, via the (A τ B)-module isomorphism ϕ : A τ B A B given by { ϕ(x l y r x l y r, i is even ) = r ( r ) t! x l+t y r t, i is odd, t 2 t whose inverse is given by { ϕ 1 (x l y r x l y r, i is even ) = x l y r r 2 xl+1 y r 1, i is odd. Proof. When i is even, ϕ is clearly bijective. We check that ϕ is a bijection with the given inverse when i is odd: ϕ ϕ 1 (x l y r ) = ϕ (x l y r r ) 2 xl+1 y r 1 r ( ) r t! = t 2 t xl+t y r t r r 1 ( ) r 1 k! 2 k 2 k xl+1+k y r 1 k r ( ) r t! r ( ) r 1 (t 1)! = x l y r + t 2 t xl+t y r t r x l+t y r t t 1 2 t t=1 t=1 r (( ) ( )) r r 1 (t 1)! = x l y r + t r x l+t y r t t t 1 2 t t=1 r = x l y r + (0) (t 1)! x l+t y r t = x l y r. 2 t t=1 By (3.1.4), ϕ is a module isomorphism. Therefore A B is free as an (A τ B)-module. In particular, the following is useful for our computations later: { ϕ 1 1 y, i is even (1 y) = 1 y 1x 1, i is odd, 2 (3.2.3) { ϕ 1 (1 y p 1 1 y p 1, i is even ) = 1 y p x yp 2, i is odd.

11 COHOMOLOGY OF POINTED HOPF ALGEBRAS 11 By Theorem 3.1.5, the total complex K := Tot(P(A) P(B)) is a free resolution of as A τ B-module. For each i,j 0, let φ i,j denote the free generator 1 1 of P i (A) P j (B) as an A τ B-module. Then as an R-module: K n = Rφ i,j. i+j=n Recall that the differentials of this total complex are d n = i+j=n (d i 1+( 1) i d j ). As P i (A) P j (B) is free as an A τ B-module with generator φ i,j, we can write the image of φ i,j under the differential map as the action of A τ B on φ i,j, using values of the inverse map ϕ 1 defined in (3.2.3) where needed. We express the differential on elements via this notation: x p 1 φ i 1,j +y p 1 φ i,j 1 if i,j are even, x p 1 φ i 1,j +yφ i,j 1 if i is even and j is odd, d(φ i,j ) = xφ i 1,j (y p xyp 2 )φ i,j 1 if i is odd and j is even, xφ i 1,j (y 1x)φ 2 i,j 1 if i,j are odd. We interpret φ i,j to be 0 if either i or j is negative Resolution over the bosonization R# G. Again we take to be a field of characteristic p > 2 and R, G as described in Section 2.2. For the group G = g = Z/qZ, where q is divisible by p, we define an action of G on the R-complex K constructed in Section 3.2, for the purpose of forming a twisted tensor product resolution of K with a resolution of as G-module. The group action will give us a twisting map on the complex K analogous to the twisting map defining a skew group algebra. The resulting complex will give us a resolution of over the bosonization R# G. Let R = A τ B be the twisted tensor product with A := [x]/(x p ), B := [y]/(y p ) and τ : B A A B as defined before. Under our setting in characteristic p > 2 and relation yx = xy+ 1 2 x2 in R, we obtain the following relations in R (here, we drop the tensor symbols and write xy in place of x y in R): Proposition The following relations hold in R: (1) For any integer l 0, yx l = x l y + l 2 xl+1. n ( ) n (i+1)! (2) For any integer n 1, (x+y) n = x i y n i. i 2 i i=0 Proof. (1) This was shown right after [4, Lemma 3.8]; we provide the proof here for completeness. We proceed by induction on l. Case l = 0 is trivial. Case l = 1 is from the relation yx = xy+ 1 2 x2. Now assume the statement holds up to l 1. Then by the induction hypothesis, we have: yx l = (yx l 1 )x = (x l 1 y + l 1 2 xl )x = x l 1 yx+ l 1 2 xl+1 = x l 1 (xy x2 )+ l 1 2 xl+1 = x l y xl+1 + l 1 2 xl+1 = x l y + l 2 xl+1.

12 12 VAN C. NGUYEN, XINGTING WANG, AND SARAH WITHERSPOON (2) We proceed by induction on n. Case n = 1 is trivial. Assume the assertion is true for up to n 1. Then by part (1), we have: ( n 1 ( ) ) n 1 (i+1)! (x+y) n = (x+y)(x+y) n 1 = (x+y) x i y n 1 i i 2 i i=0 n 1 ( ) n 1 (i+1)! n 1 ( ) n 1 (i+1)! = x i+1 y n 1 i + (yx i )y n 1 i i 2 i i 2 i i=0 i=0 n 1 ( ) n 1 (i+1)! n 1 ( ) n 1 (i+1)! = x i+1 y n 1 i + (x i y + i i 2 i i 2 i 2 xi+1 )y n 1 i i=0 i=0 n 1 ( ) n 1 (i+1)! n 1 ( ) n 1 (i+1)! = x i+1 y n 1 i + x i y n i i 2 i i 2 i i=0 i=0 n 1 ( ) n 1 (i+1)! i + i 2 i 2 xi+1 y n 1 i i=0 n 1 ( ) n 1 (i+2)! n 1 ( ) n 1 (i+1)! = x i+1 y n 1 i + x i y n i i 2 i+1 i 2 i i=0 i=0 n ( ) n 1 (i+1)! n 1 ( ) n 1 (i+1)! = x i y n i + x i y n i +y n i 1 2 i i 2 i n ( ) n (i+1)! = x i y n i, i 2 i i=0 where the last equality is due to the recursive formula of the binomial coefficients ( ) ( ) ( ) n n 1 n 1 = +, for all 1 i n 1. i i 1 i Lemma Set an element Then α satisfies the following: p 2 α := y p 2 + ( 1) i+1(i+1)! x i y p 2 i R. 2 i+1 (a) xα = (x+y) p 1 y p x[(x+y)p 2 y p 2 ], (b) (x+y)α = y p xyp 2, (c) αx = (x+y) p 1 y p 1, (d) α(y 1 2 x) = (x+y)p 1. Proof. (a): By Proposition (2), we have (x+y) p 1 y p x[(x+y)p 2 y p 2 ]

13 COHOMOLOGY OF POINTED HOPF ALGEBRAS 13 p 1 ( ) p 1 (i+1)! = x i y p 1 i + 1 p 2 i 2 i 2 x ( ) p 2 (i+1)! x i y p 2 i i 2 i p 2 ( ) p 2 p 1 (i+2)! ( ) p 2 (i+1)! = x i+1 y p 2 i + x i+1 y p 2 i i+1 2 i+1 i 2 i+1 i=0 ( ) p 2 p 1 (( ) ( ) ) p 1 (i+2)! p 2 (i+1)! = xy p i+1 2 i+1 i 2 i+1 [ p 2 ( = x y p 2 + (p 1)! (i+1)!(p i 2)! (i+2)! 2 i+1 + (p 2)! i!(p i 2)! x i+1 y p 2 i ) (i+1)! 2 i+1 x i y p 2 i ] [ ] p 2 = x y p [(i+2)(p i 1) (p 1)+(i+1)(p i 1) (p 2)] 2 i+1 xi y p 2 i [ ] p 2 = x y p 2 + [( 1) i (i+2)+( 1) i (i+1)(i+1)] 2 i+1 xi y p 2 i [ ] p 2 = x y p 2 ( 1) i+1 (i+1)! + (i+2 i 1) x i y p 2 i = xα. 2 i+1 (b): By Proposition (2), we have ( (x+y)α = (x+y) = xy p = xy p y p 2 + p 2 p 2 p 1 i=2 p 1 i=2 = xy p 2 y p 1 + p 2 ( 1) i+1 (i+1)! 2 i+1 x i y p 2 i ( 1) i+1 (i+1)! 2 i+1 x i+1 y p 2 i y p 1 ) ( 1) i+1 (i+1)! 2 i+1 (x i y + i 2 xi+1 )y p 2 i ( 1) i p 2 i! x i y p 1 i y p i ( 1) i i! 2 i i 1 2 xi y p 1 i p 2 = xy p 2 y p 1 + 2! p xyp 2 ( 1) i+1 p 1 (i+1)! x i y p 1 i + 2 i+1 i=2 + ( 1)p 1 p! 2 p x p y p 1 (p 1) ( 1) i+1 (i+1)! 2 i+1 x i y p 1 i i=2 ( 1) i i! i+1 2 i 2 ( ( 1) i+1 (i+1)! + ( 1)i (i+1)! 2 i+1 2 i+1 x i y p 1 i ) x i y p 1 i

14 14 VAN C. NGUYEN, XINGTING WANG, AND SARAH WITHERSPOON = y p xyp 2. We are going to check for identities (c) and (d) in the domain x,y /(yx xy 1 2 x2 ). (c): Since (x + y) is a regular element in this domain, to check (c) it suffices to show (x + y)αx = (x + y)[(x + y) p 1 y p 1 ]. As identity (b) holds in the domain and by the relation (3.9) in [4, Lemma 3.8], we have: (x+y)αx = ( y p xyp 2 )x = y p 1 x 1 2 xyp 2 x and p 1 ( )( ) t p 1 1 = [1] [t] x 1+t y p 1 t 1 p 2 t 2 2 x ( )( ) s p 2 1 [1] [s] x 1+s y p 2 s s 2 p 1 ( )( ) t p 2 p 1 1 ( )( ) s+1 p 2 1 = t!x 1+t y p 1 t s!x 2+s y p 2 s t 2 s 2 p ( )( ) i 1 p 1 1 p ( )( ) i 1 p 2 1 = (i 1)!x i y p i (i 2)!x i y p i i 1 2 i 2 2 i=2 p ( )( ) i 1 = xy p 1 (p 1)! (i 1)!(p i)! (i 1)!+ (p 2)! 1 (i 2)!(p i)! (i 2)! x i y p i 2 = xy p 1, i=2 (x+y)[(x+y) p 1 y p 1 ] = (x+y) p xy p 1 y p = p i=0 = y p xy p 1 y p = xy p 1. ( ) p (i+1)! x i y p i xy p 1 y p i 2 i Thus, as (x+y)αx = (x+y)[(x+y) p 1 y p 1 ], we have identity (c) as claimed. (d): By a similar technique as in (c), to check (d) it suffices to show (x+y)α(y 1 2 x) = (x+y)[ (x+y)p 1 ]. As we showed identities (b) and (x+y)αx = xy p 1 hold above, we have (x+y)α(y 1 2 x) = ( y p xyp 2 )y 1 2 (x+y)αx = y p 1 2 xyp ( xyp 1 ) = y p = (x+y) p = (x+y)[ (x+y) p 1 ]. Thus, identity (d) holds.

15 COHOMOLOGY OF POINTED HOPF ALGEBRAS 15 Recall that G = g = Z/qZ acts on R by g x = x and g y = x+y. We define an action of G on the complex K, constructed in Section 3.2, as follows: φ i,j, if i is odd g φ i,j = φ i,j +φ i+1,j 1, if i is even and j is odd φ i,j +αφ i+1,j 1, if i,j are even, and in general for all 0 s q 1 φ i,j, if i is odd g s φ i,j = φ i,j +sφ i+1,j 1, if i is even and j is odd φ i,j +( (gs 1 + +g+1) α)φ i+1,j 1, if i,j are even. Moreover, it is not hard to figure out the following for all 1 s q φ i,j, if i is odd g (3.3.3) s φ i,j = φ i,j sφ i+1,j 1, if i is even and j is odd φ i,j ( (g s + +g 1) α)φ i+1,j 1, if i,j are even. Lemma With the above G-action, the complex K is G-equivariant. Proof. We first show that this G-action is well-defined, that is, gq φ i,j = φ i,j. It is clear that when i is odd, or when i is even and j is odd that gq φ i,j = φ i,j, as q is divisible by the characteristic p of the field. When i,j are both even, we need to show g q φ i,j = φ i,j +( (gq 1 + +g+1) α)φ i+1,j 1 = φ i,j, that is, we need to show (gq 1 + +g+1) α = 0. From Lemma (c), we have αx = (x + y) p 1 y p 1. Now apply g s -action on both sides, we have: g s α gs x = ( gs x+ gs y) p 1 ( gs y) p 1 g s α x = (x+y +sx) p 1 (y +sx) p 1. Thus, summing over all 0 s q 1: ( q 1 ) q 1 ( g s α x = [y +(s+1)x] p 1 (y +sx) p 1) = (y +qx) p 1 y p 1 = 0. So q 1 gs α = 0 in the domain x,y /(yx xy 1 2 x2 ) and hence is also 0 in R. Therefore, in all cases, we have gq φ i,j = φ i,j and the above G-action is well-defined. To check that complex K is G-equivariant, we need to check such G-action is compatible with the differential maps in each degree, that is, d( g φ i,j ) = g d(φ i,j ), for all i,j 0. When i,j are even: d( g φ i,j ) = d(φ i,j +αφ i+1,j 1 ) = x p 1 φ i 1,j +y p 1 φ i,j 1 +α g d(φ i,j ) = g x p 1 g φ i 1,j + g y p 1 g φ i,j 1 = x p 1 φ i 1,j +(x+y) p 1 (φ i,j 1 +φ i+1,j 2 ). ( xφ i,j 1 (y 1 ) 2 x)φ i+1,j 2,

16 16 VAN C. NGUYEN, XINGTING WANG, AND SARAH WITHERSPOON By comparing the coefficients, we see that coefficients for the terms φ i,j 1 and φ i+1,j 2 are exactly identities (c) and (d) in Lemma 3.3.2, respectively. When i is even and j is odd: d( g φ i,j ) = d(φ i,j +φ i+1,j 1 ) = x p 1 φ i 1,j +yφ i,j 1 +xφ i,j 1 (y p xyp 2 )φ i+1,j 2, g d(φ i,j ) = g x p 1 g φ i 1,j + g y g φ i,j 1 = x p 1 φ i 1,j +(x+y)(φ i,j 1 +αφ i+1,j 2 ). The coefficient for the term φ i+1,j 2 is exactly the identity (b) in Lemma When i is odd and j is even: d( g φ i,j ) = d(φ i,j ) = xφ i 1,j (y p xyp 2 )φ i,j 1, g d(φ i,j ) = g x g φ i 1,j ( g y p g x g y p 2 ) g φ i,j 1 2 = x[φ i 1,j +αφ i,j 1 ] [(x+y) p x(x+y)p 2 ]φ i,j 1. The coefficient for the term φ i,j 1 is exactly the identity (a) in Lemma When i,j are odd: d( g φ i,j ) = d(φ i,j ) = xφ i 1,j (y 1 2 x)φ i,j 1, g d(φ i,j ) = g x g φ i 1,j ( g y 1 2 g x) g φ i,j 1 = x(φ i 1,j +φ i,j 1 ) (x+y 1 2 x)φ i,j 1. In all cases, we have d( g φ i,j ) = g d(φ i,j ). Thus, complex K is G-equivariant. We use this G-action next to form a twisted tensor product resolution of as an R# Gmodule. Let the twisting map τ n : G K n K n G be given by the action of G on K n, so that φ i,j g if i is odd τ i+j (g φ i,j) = (φ i,j +φ i+1,j 1 ) g if i is even and j is odd (φ i,j +αφ i+1,j 1 ) g if i,j are even. Then K is compatible with τ (giving the twisting that governs the smash product construction) via the maps τ n. Let P(G) be the following free resolution of the trivial G-module : P(G) : ( q 1 gs ) G (g 1) G ( q 1 gs ) G (g 1) G ε 0, where ε takes g to 1. Let Y := Tot(K P(G)). By [20, Lemma 5.9], Y is exact. The modules are free (R# G)-modules by a similar argument to what we used earlier: In each degree we have a direct sum of modules of the form R G. Each such is freely generated by some φ i,j φ k, where φ k denotes the free generator for P k (G) = G. So by Theorem 3.1.5, Y is a free resolution of the (R# G)-module.

17 COHOMOLOGY OF POINTED HOPF ALGEBRAS 17 For each i,j,k 0, let φ i,j,k denote the free generator φ i,j φ k of K i+j P k (G) as an (R# G)-module. We set φ i,j,k = 0 if one of i,j,k is negative. Then, for all n 0, as an (R# G)-module, Y n = (R# G)φ i,j,k. i+j+k=n We express the differentials on elements via this notation. d(φ i,j,k ) = d(φ i,j ) φ k (g 1)φ i,j,k 1, if i,k are odd +( 1) i+j (g 1)φ i,j,k 1 gφ i+1,j 1,k 1, if i is even and j,k are odd (g 1)φ i,j,k 1 αgφ i+1,j 1,k 1, if i,j are even and k is odd ( q 1 gs) φ i,j,k 1, if i is odd and k is even ( q 1 gs) φ i,j,k 1 ( q 1 sgs) φ i+1,j 1,k 1, if i,k are even and j is odd ( q 1 gs) φ i,j,k 1 q 1 s=1 + +g+1) α)g s φ ((gs 1 i+1,j 1,k 1, if i,j,k are even. We will give partial verification to the above differentials in view of (3.3.3). The case for i,k are even and j is odd. ( q 1 d(φ i,j,k ) = d(φ i,j ) φ k +( 1) i+j φ i,j d(φ k ) = d(φ i,j ) φ k +( 1) i+j φ i,j g ) φ s k 1 q 1 ( ) = d(φ i,j ) φ k +( 1) i+j g s g s φ i,j φ k 1 q 1 = d(φ i,j ) φ k +( 1) i+j g s (φ i,j sφ i+1,j 1 ) φ k 1 [( q 1 = d(φ i,j ) φ k +( 1) i+j g )φ s i,j,k 1 ( q 1 ) ] sg s φ i+1,j 1,k 1 The case for i,j,k are even. ( q 1 d(φ i,j,k ) = d(φ i,j ) φ k +( 1) i+j φ i,j d(φ k ) = d(φ i,j ) φ k +( 1) i+j φ i,j g ) φ s k 1 q 1 = d(φ i,j ) φ k +( 1) i+j g s ( g s φ i,j ) φ k 1 ] q 1 = d(φ i,j ) φ k +( 1) [(φ i+j i,j + g s (φ i,j (g 1 + +g s) αφ i+1,j 1 ) ) φ k 1 s=1

18 18 VAN C. NGUYEN, XINGTING WANG, AND SARAH WITHERSPOON ( q 1 [( q 1 = d(φ i,j ) φ k +( 1) i+j g )φ s i,j,k 1 [( q 1 = d(φ i,j ) φ k +( 1) i+j g )φ s i,j,k 1 ] g s ( (g 1 + +g s) α) )φ i+1,j 1,k 1 s=1 ( q 1 ) ] (g s 1 + +g+1) αg s φ i+1,j 1,k 1. Notethatintheaboveformulasforthedifferentials, wehaveε ( q 1 gs) = 0 = ε ( q 1 sgs) in characteristic p, since p divides q. Among these differentials of free R# G-module basis elements, the only terms in the outcomes d(φ i,j,k ) that do not have coefficients in the augmentation ideal Ker(ε) are the terms gφ i+1,j 1,k 1, occurring when i is even and j,k are odd. Consequently, letting n = i+j +k and φ i,j,k be the dual basis vector to φ i,j,k in ( ) Hom i +j +k =n φ i,j,k, = HomR# G (Y n, ), we have { φ d (φ i,j,k) = i 1,j+1,k+1, if i is odd and j,k are even 0, otherwise. The cocycles are thus all the φ i,j,k except those for which i is odd and j,k are even. The coboundaries are the φ i,j,k for which i is even and j,k are odd. Therefore, for all n 0, as a vector space, Span {φ i,j,k i+j +k = n} H n (R# G, ) Span {φ i,j,k i is even and j,k are odd}, if n is even = Span {φ i,j,k i+j +k = n} Span {φ i,j,k i is odd and j,k are even}, if n is odd. s=1 4. Anick resolutions In this section, we recall the Anick resolution and make some additional observations about it in our setting. We will use the Anick resolution in Section The resolution construction. We generally construct the Anick resolution [1] as envisioned by Cojocaru and Ufnarovski [5], adapted here to left modules under some conditions. An algorithmic description using Gröbner bases is given by Green and Solberg [12]. The construction of the resolution also serves as a proof of exactness, since the differentials are defined recursively in each degree, making use of a contracting homotopy in the previous degree that is constructed recursively as well. See Theorem below, due to Anick. We include a proof in our setting because we will use the construction in Sections 4.2 and 5.2. Let A = T(V)/(I) where V is a finite dimensional vector space, T(V) = T (V) is the tensor algebra on V over, and I is a set of relations generating an ideal (I). We denote the image of an element v of V in A also by v when it will cause no confusion. We assume that A is augmented by an algebra homomorphism ε : A with ε(v) = 0 for all v V. Fix a totally ordered basis v 1,...,v n of V (say v 1 < < v n ) and consider the degree lexicographic ordering on words in v 1,...,v n. That is, we give each v i the degree 1, and monomials (words) are ordered first according to total degree, then monomials having the same degree (i.e. word length) are ordered as in a dictionary. A normal word (called an element of an order ideal of monomials, or o.i.m. in [1]) is a monomial (considered as an element of T(V)) that cannot be written as a linear combination

19 COHOMOLOGY OF POINTED HOPF ALGEBRAS 19 of smaller words in A. As a vector space, A has a basis in one-to-one correspondence with the set of normal words. A tip (called an obstruction in [1]) is a word (considered as an element in T(V)) that is not normal but for which any proper subword is normal. It follows that the tips correspond to the relations: Let u be a tip and write the image of u in A as a linear combination u = a i t i, where each t i is a normal word and a i is a scalar. Then, viewed as an element of T(V), u a i t i is in the ideal of relations, (I). It also follows that the tips are in one-to-one correspondence with a Gröbner basis of (I) [12]. We construct the Anick resolution from the chosen sets of generators and relations in A as follows. We reindex in comparison to [1] so that indices for spaces correspond to homological degrees, and indices for functions correspond to homological degrees of their domains. The Anick resolution is a free resolution of considered to be an A-module under the augmentation ε. We will first describe a free basis C n in each homological degree n of the resolution. We will write the resolution as: d 3 A C 2 d 2 A C 1 d 1 A ε 0, where C n denotes the vector space with basis C n. We adapt the degree lexicographic ordering on monomials in T(V) to each A-module A C n by giving an element s t, where s is a normal word and t C n, the degree of st viewed as an element of T(V). Let C 1 = {v 1,...,v n }, that is, C 1 is the chosen set of generators. Let C 2 be the set of tips (or obstructions). The remaining sets C n will be defined as sets of paths of length n in a directed graph (or quiver) associated to the generators and tips as follows [5]. The graph will have at most one directed arrow joining two vertices, and paths will be denoted by the product of their vertices in T(V), written from right to left, for example, if f,g are vertices and there is an arrow from f to g, we denote the arrow by gf, and if there is a further arrow from g to h, then hgf denotes the path f g h starting at f, passing through g, and ending at h. Let B = {v 1,...,v n } be a basis of V, equipped with the ordering v 1 < < v n as above, so that we may identify B with C 1. Let T be the set of tips. Let R be the set of all proper prefixes (that is, left factors) of the tips considered as elements of T(V). (Note that B R.) Let Q = Q(B,T ) be the following quiver. The vertex set is {1} R. The arrows are all 1 v i for v i B and all f g for which the word gf (viewed as an element of T(V)) uniquely contains a tip, and that tip is a prefix (possibly coinciding with gf). The set C n consists of all paths of length n starting from 1 in the quiver. In this context, the path 1 f g is identified with the product gf. (Note that f g does not occur on its own as an element of any C i if f 1, so for our purposes there will be no confusion in denoting paths this way.) For use in constructing the chains C n, we observe that we only use the vertices that are in the connected component of Q containing 1. Let Q = Q(B,T ) be the connected component of 1 in Q, called the reduced quiver of B and T.

20 20 VAN C. NGUYEN, XINGTING WANG, AND SARAH WITHERSPOON The differentials d are defined recursively, with a simultaneous recursive definition of a -linear contracting homotopy s: (4.1.1) d 3 s 2 A C 2 d 2 s 1 A C 1 d 1 s 0 ε A 0, where η is the unit map (taking the multiplicative identity of to the multiplicative identity of A). We give these definitions next in our setting, simultaneously proving the following theorem. Examples are given in [1, 5] and below in Sections 4.2 and 5.2. Theorem [1, Theorem 1.4] There are maps d n,s n for which (A C,d) is a free resolution of as an A-module and s is a contracting homotopy. Proof. We first define the maps d n,s n 1 for n = 1,2 to illustrate the general method. We then use induction on n. Degree 1: We take n = 1 and let d 1 (1 v i ) = v i for all v i in B and extend d 1 so that it is a left A-module homomorphism. To define the -linear map s 0 : A A C 1, first write elements of A as -linear combinations of normal words (which form the chosen vector space basis of A). Define s 0 on A via its values on all normal words, which are as follows. Set s 0 (1) = 0 and s 0 (uv i ) = u v i for all normal words of the form uv i for some word u and v i in B. Extend s 0 so that it is a -linear map on A, and note that it will not be an A-module homomorphism in general. We now see that by construction, a = (d 1 s 0 +ηε)(a) for all a A. It also follows that A C 1 = Ker(d 1 ) Im(s 0 ). To see this, let b A C 1 and write b = (b s 0 d 1 (b))+s 0 d 1 (b). One checks that b s 0 d 1 (b) Ker(d 1 ); by definition, s 0 d 1 (b) Im(s 0 ). The intersection of these two spaces is 0 by the above equation and definitions: If b Ker(d 1 ) Im(s 0 ), write b = s 0 (c). Then which implies c so that b = s 0 (c) = 0. c = (d 1 s 0 +ηε)(c) = ηε(c), Degree 2: We take n = 2 and define d 2 (1 u) for u in C 2 as follows. By definition of C 2, we may write u = rv i uniquely in T(V) for a word r in R and v i C 1. Consider r v i as an element of A C 1, and further take its image under the A-module homomorphism d 1 : Define d 1 (r v i ) = rd 1 (1 v i ) = rv i. d 2 (1 u) = r v i s 0 (d 1 (r v i )) = r v i s 0 (rv i ), and extend d 2 so that it is an A-module homomorphism on A C 2. By its definition, rv i when considered as an element of T(V) is a tip (not a normal word), and considered here as an element of A, it must be rewritten as a -linear combination of normal words before applying s 0 (since s 0 is a -linear map but not an A-module homomorphism). Now the definitions of d 1 and s 0 imply d 1 s 0 Ker(ε) = 1 Ker(ε), the identity map on Ker(ε). It also follows that d 1 d 2 = 0. We wish to define s 1 so that d 2 s 1 Ker(d1 ) = 1 Ker(d1 ) and more generally so that d 2 s 1 +s 0 d 1 = 1 A C1. η

21 COHOMOLOGY OF POINTED HOPF ALGEBRAS 21 First define s 1 on elements in Ker(d 1 ) by induction on their degrees, starting with those that are least in the ordering, which are elements of A C 1 corresponding to relations: Ordering the elements of C 2 as u 1,...,u l, with u 1 least, we define s 1 (d 2 (1 u 1 )) = 1 u 1. Recall that we have chosen a total order on a vector space basis of A C 1, given by elements r v i where r is a normal word and v i B, to coincide with the order on the corresponding words rv i in T(V). Assume s 1 has been defined on elements of Ker(d 1 ) with highest term of degree (i.e. position in the total order) less than n. Let m j=1 a i j r ij v ij Ker(d 1 ) for some nonzero a ij, r ij A, with v i1,...,v im distinct elements of B, and terms ordered so that r i1 v i1 is greatest and has degree n. Since d 1 ( a ij r ij v ij ) = 0 in A by assumption, and r i1 v i1 is greatest, the monomial r i1 v i1 in T(V) must contain a tip. Since r i1 is a nonzero normal word, the tip must be a suffix (that is, right factor) of r i1 v i1, say r i1 v i1 = v u in T(V) with u a tip. Since u is a tip, there is an element in the ideal (I) of the form u + l k=1 b kt k for some normal words t k and scalars b k. Write each t k = t k v i k for words t k. Set α = l k=1 a i 1 b k v t k v i k + m j=2 a i j r ij v ij and ( m ) s 1 a ij r ij v ij = a i1 v u +s 1 (α). j=1 Note that α consists of terms of lower degree than r i1 v i1, and α Ker(d 1 ) by construction, so we may now apply the induction hypothesis to define s 1 (α). Recall that A C 1 = Ker(d 1 ) Im(s 0 ). We define s 1 on Im(s 0 ) to be 0. We claim that by these definitions, d 2 s 1 +s 0 d 1 = 1 A C1. To see this, we check separately for elements of Ker(d 1 ) and of Im(s 0 ). If x = m j=1 a i j r ij v ij Ker(d 1 ) as above, then by the inductive definition of s 1, we have If x Im(s 0 ) then (d 2 s 1 +s 0 d 1 )(x) = d 2 s 1 (x) = x. (d 2 s 1 +s 0 d 1 )(x) = s 0 d 1 (x) = x since d 1 s 0 + ηε = 1 A. It follows that A C 2 = Ker(d 2 ) Im(s 1 ): If b A C 2 then b = (b s 1 d 2 (b)) + s 1 d 2 (b), with b s 1 d 2 (b) in Ker(d 2 ) and s 1 d 2 (b) in Im(s 1 ). If b Ker(d 2 ) Im(s 1 ), write b = s 1 (c), and we have c = (d 2 s 1 + s 0 d 1 )(c) = s 0 d 1 (c). Then b = s 1 (c) = s 1 s 0 d 1 (c) = 0 since s 1 s 0 = 0 by definition of s 1. Degreeat least 3: Wetaken 3andassumethatA-modulehomomorphismsd 1,...,d n 1 and -linear maps s 0,...,s n 2 have been defined so that d i 1 d i = 0, s i 1 s i 2 = 0, and d i s i 1 + s i 2 d i 1 = 1 A Ci 1 for 1 i n 1. It follows by an argument similar to the above that A C i = Ker(d i ) Im(s i 1 ) for all 1 i n 1. In particular, A C n 1 = Ker(d n 1 ) Im(s n 2 ). We will define d n and s n 1. The map d n is defined first as follows. Let u C n. We may write uniquely u = ru for u C n 1 and r in R by construction of the quiver Q. Let (4.1.3) d n (1 u) = r u s n 2 d n 1 (r u ). Now d n 1 (r u ) = rd n 1 (1 u ) since d n 1 is an A-module homomorphism, and in order to apply s n 2 to this element of A C n 2, any elements of A will need to be rewritten as linear combinations of normal words before applying s n 2 (since s n 2 is -linear but not an

22 22 VAN C. NGUYEN, XINGTING WANG, AND SARAH WITHERSPOON A-module homomorphism in general). It follows directly from the definition of d n and the induction hypothesis that d n 1 d n = 0. We wish to define s n 1 so that d n s n 1 Ker(dn 1 ) = 1 Ker(dn 1 ) and more generally so that d n s n 1 +s n 2 d n 1 = 1 A Cn 1. The map s n 1 is defined inductively as follows. Let m a ir i u i Ker(d n 1 ) for some a i, normal words r i A, and u i C n 1. Recall that we have chosen a total order on a vector space basis of A C n 1, given by elements r u where r is a normal word and u C n 1, to coincide with the order on the corresponding words ru in T(V). We may assume r 1 u 1 is the highest term among all r i u i. Write u 1 = u u, uniquely, where u C n 2. Then by definition of d n 1 (replacing n by n 1 in equation (4.1.3)), we have ( m ) 0 = d n 1 a i r i u i = a 1 r 1 u u +β, whereβ = s n 3 d n 2 (a 1 r 1 u u )+d n 1 ( m i=2 a ir i u i ), andwhenthetermd n 1 ( a i r i u i ) is expanded, due to cancellation, the resulting expression for β consists of terms lower in the order than r 1 u 1. Since 0 = a 1 r 1 u u + β, considering r 1 u as a word in T(V), there is a tip v that is a factor of r 1 u in T(V). To make a unique choice of such a tip, write r 1 = v j1 v jl as a word in the letters in B. Now u is not a tip, but r 1 u contains a tip, and so there is a largest k (k l) for which v jk v jl u (uniquely) contains a tip, and by construction this tip will then be a prefix. Thus we may write, uniquely, r 1 u = v tu where t R and tu uniquely contains a tip that is a prefix. So there is an arrow u t in the reduced quiver Q by definition. Therefore tu 1 = tu u C n. We may thus set ( m ) (4.1.4) s n 1 a i r i u i = a 1 v tu 1 +s n 1 (γ), where γ = m a i r i u i d n (a 1 v tu 1 ) has highest term that is lower in the order than r 1 u 1. (To obtain the above expression, in the argument a i r i u i of s n 1, we have added and subtracted d n (a 1 v tu 1 ).) Now continue in the same fashion to obtain s n 1 (γ) in terms of elements lower in the total order, and so on. Since the chosen basis of A C n 1 is well-ordered, we will eventually reach an expression involving s n 1 (0) = 0. As before, we define s n 1 on Im(s n 2 ) to be 0, so that s n 1 s n 2 = 0. A calculation as before now shows that d n s n 1 +s n 2 d n 1 = 1 A Cn 1. Now by its definition and the above arguments, s is a contracting homotopy for the complex(4.1.1), implying thatthecomplexisexact, andtherefore(a C,d)isafreeresolution of as an A-module A truncated polynomial ring. In this section, we let be any field and m 1,m 2,m 3 be positive integers at least 2. We look closely at the Anick resolution for the algebra A = [w,x,y]/(w m 1,x m 2,y m 3 ) which will be used in the next section. For this purpose, choose generating set B = {w,x,y} and relations (4.2.1) I = {w m 1, x m 2, y m 3,wx xw, wy yw, xy yx}.

23 COHOMOLOGY OF POINTED HOPF ALGEBRAS 23 Then A has basis {w i x j y k 0 i m 1 1, 0 j m 2 1, 0 k m 3 1}. We choose the ordering w < x < y. So, for example, the degree lex ordering on basis elements in degrees 0, 1, 2 is 1 < w < x < y < w 2 < wx < wy < x 2 < xy < y 2. Note that xy is a normal word, while yx is a tip (or obstruction). Generally, the normal words correspond to the PBW basis of A, and the tips are The proper prefixes of the tips are T := {w m 1, x m 2, y m 3, xw, yw, yx}. R = {w i, x j, y k 0 i m 1 1, 0 j m 2 1, 0 k m 3 1}. The corresponding reduced quiver Q, as defined in Section 4.1, is as follows. (The nonreduced quiver Q contains additional vertices and arrows if m > 3, but we will not need this here.) If m 1 = 2, the vertices w and w m 1 1 are identified, and there is a loop at that vertex. Similarly for m 2, m 3. We have C 1 = {w, x, y}, 1 w x w m 1 1 C 2 = {w m 1, x m 2, y m 3, xw, yw, yx}, x m 2 1 y y m 3 1 C 3 = {w m 1+1, x m 2+1, y m 3+1,xw m 1, yw m 1, yx m 2, x m 2 w, y m 3 w, y m 3 x, yxw}, and similarly we may find C n for n > 3. A free basis of C n is all 1 u where u is a path of length n starting at 1 in the above reduced quiver Q. Fix such a free basis element 1 u. Suppose n = i+j +k and the first i vertices in the path u are in the set {w,w m 1 1 }, the second j vertices of u are in the set {x,x m 2 1 }, and the third k vertices are in the set {y,y m 3 1 }. Write u = u i,j,k and note that the triple of indices i,j,k uniquely determines the path. For convenience, we set C 0 = {1} and u 000 = 1, identifying A with A C 0. We set u ijk = 0 if i, j, or k is negative. Lemma Let A = [w,x,y]/(w m 1,x m 2,y m 3 ), and let P denote the Anick resolution of A with respect to the chosen generators w,x,y and relations (4.2.1). Then d n (1 u ijk ) = y σ3(k) u i,j,k 1 +( 1) k x σ2(j) u i,j 1,k +( 1) j+k w σ1(i) u i 1,j,k { 1, if l is odd, where n = i+j +k, and σ a (l) = m a 1, if l is even. Proof. We will prove the formula for d n by induction on n. By definition, d 1 (1 u 100 ) = w u 000, d 1 (1 u 010 ) = y u 000, and d 1 (1 u 001 ) = x u 000, and these values agree with the claimed formula for d 1.