Вы находитесь на странице: 1из 26

HOCHSCHILD (CO)HOMOLOGY

OF HOPF CROSSED PRODUCTS

Jorge A. Guccione and Juan J. Guccione

Abstract. For a general crossed product E = A # f H , of an algebra A by a Hopf al- gebra H , we obtain complexes simpler than the canonical ones, givin g the Hochschild homology and cohomology of E . These complexes are equipped with natural filtra- tions. The spectral sequences associated to them is a natura l generalization of the one obtained in [H-S] by the direct method. We also get that if the 2-cocycle f takes its values in a separable subalgebra of A , then the Hochschild (co)homology of E with coefficients in M is the (co)homology of H with coefficients in a (co)chain complex.

Introduction

Let G be a group, S = S g a strongly G-graded algebra and V an S -bimodule. In [L] was shown that there is a convergent spectral sequence

2

E rs = H r (G, H s (S e , V )) H r + s (S, V ),

where e denotes the identity of G. In [S] was shown that this result remains valid for H -Galois extensions (in his paper the author deals with both the homology and the cohomology of these algebras). An important particular type of H -Galois ex- tensions are the crossed products with convolution invertible cocycle E = A# f H , of an algebra A by a Hopf algebra H (for the definition see Section one). The pur- pose of our paper is to construct complexes simpler than the c anonical ones, given the Hochschild (co)homology of E with coefficients in an arbitrary E -bimodule. These complexes are equipped with canonical filtrations. We show that the spec- tral sequences associated to them coincide with the ones obtained using a natural generalization of the direct method introduced in [H-S], and with the ones con- structed in [S] (when these are specialize to crossed produc ts). In the case of group extensions these results were proved in [E] and [B].

This paper is organized as follows: in Section 1 a resolution (X ,d ) of a crossed product E = A# f H is given. To accomplish this construction we do not use the fa ct that the cocycle is convolution invertible. Moreover, we give a recursive construction of morphisms φ : (X ,d ) (E E E, b ) and ψ : (E E E, b ) (X ,d ),

that ψ φ = id

where (E E E, b ) is the normalized Hochschild resolution, such

and we show that φ ψ is homotopically equivalent to the identity map. Conse- quently our resolution is a direct sum of the normalized Hochschild resolution. We

2000 Mathematics Subject Classification. Primary 16E40; Secondary 16W30. Key words and phrases. Hopf algebra, Hochschild homology. Supported by UBACYT 01/TW79 and CONICET

1

Typeset by A M S -T E X

2

JORGE A. GUCCIONE AND JUAN J. GUCCIONE

also recursively construct an homotopy φ ψ −−−→ id . Both, the canonical nor- malized resolution and (X ,d ) are equipped with natural filtrations, which are preserved by the maps φ , ψ and ω +1 .

M , we get complexes X (E, M ) and X (E, M ),

giving the Hochschild homology and cohomology of E with coefficients in M respec- tively. The filtration of (X ,d ) induces filtrations on X (E, M ) and X (E, M ).

So, we obtain converging spectral sequences E rs = H r (A, M H s ) H r + s (E, M )

= H r (A, Hom k (H s , M )) H r + s (E, M ). Using the results of Section 1,

and E

we get that these spectral sequences are the ones associated to suitable filtra- tions of the Hochschild normalized chain and cochain complexes (M E ,b ) and (Hom k (E ,M ),b ). This allows us to give very simple proofs of the main results of [H-S] and [G]. In Section 3, we show that, if the cocycle is convolution invertible, then the complexes X (E, M ) and X (E, M ) are isomorphic to simpler complexes X (E, M )

of the spectral

sequences obtained in Section 2. Moreover, using the above mentioned filtrations, we prove that if the 2-cocycle f takes its values in a separable subalgebra of A, then the Hochschild (co)homology of E with coefficients in M is the (co)homology

of H with coefficients in a (co)chain complex. Finally, as an application we obtain

some results about the Tor E and Ext E functors and an upper bound for the global dimension of E (for group crossed products this bound was obtained in [A-R]). In addition to the direct method developed in [H-S], there ar e another two clas- sical methods to obtain spectral sequences converging to H (E, M ) and with E 2 - term H (H, H (A, M )). Namely the Cartan-Leray and the Grothendieck spectral sequences of a crossed product. In Section 4, we recall these constructions and we prove that these spectral sequences are isomorphic to the one obtained in Section 2. This generalizes the main results of [B]. In a first appendix we give a method to construct (under suitable hypothesis)

and X (E, M ) respectively. Then, we compute the term E rs and E

ω

+1

In Section

2, for an E -bimodule

1

rs

1

2

rs

2

a projective resolution of the k -algebra E as E e = E E op -bimodule, simpler than the canonical one of Hochschild. This method, which can be considered as a variant of the perturbation lemma, is used to prove the main r esult of Section 1. The boundary maps of the resolution (X ,d ) are recursively defined in Section 1. In a second appendix we give closed formulas for these maps.

1. A resolution for a crossed product

Let A be a k -algebra and H a Hopf algebra. We will use the Sweedler notation

∆(h ) = h (1) h (2) , with the summation understood and superindices instead of subindices. Recall some definitions of [B-C-M] and [D-T]. A weak action of H on

A is a bilinear map (h, a ) a h from H × A to A such that,

for h H , a, b A

1)

2)

3)

(ab ) h = a h (1) b h (2) , 1 h = ǫ (h )1, a 1 = a .

( ab ) h = a h ( 1 ) b h ( 2 ) ,
( ab ) h = a h ( 1 ) b h ( 2 ) ,

Let A be a k -algebra and H a Hopf algebra with a weak action on A. Given a k -linear map f : H H A, let A# f H be the k -algebra (in general non associative and without 1) with underlying vector space A H and multiplication map

(a h )(b l ) = ab h (1) f (h (2) ,l (1) ) h (3) l (2) ,

HOCHSCHILD (CO)HOMOLOGY OF HOPF CROSSED PRODUCTS

3

for all a, b A, h, l H . The element a h of A# f H will usually be written a #h to remind us H is weakly acting on A. The algebra A# f H is called a crossed product if it is associative with 1#1 as identity element. It is easy to check that this happens if and only if f and the weak action satisfy the following conditions:

i) (Normality of f ) for all h

H , we have f (h, 1) = f (1 , h ) = ǫ (h )1 A ,

ii) (Cocycle condition) for all h, l, m H , we have

f l (1) ,m (1) h (1) f h (2) ,l (2) m (2) = f h (1) ,l (1) f h (2) l (2) ,m ,

iii) (Twisted module condition) for all h, l H , a A we have

a l (1) h (1) f h (2) ,l (2) = f h (1) ,l (1) a h (2) l (2) .

In this section we obtain a resolution (X ,d ) of a crossed product E = A# f H as an E -bimodule, which is simpler than the canonical one of Hochschild. To begin, we fix some notations:

For each k -algebra B , we put B = B/k . Moreover, given b B we also let b denote the class of b in B .

We write B l = B ⊗ · · · ⊗ B , B l = B ⊗ · · · ⊗ B (l times) and B l (B ) = B B l B , for each natural number l . Given a 0 ⊗· · ·⊗ a r A r +1 and 0 i < j r , we write a ij = a i ⊗· · ·⊗ a j A j i+1 .

we write h ij = h i ⊗ · · · ⊗ h j and

1)

2)

3)

4) Given h 0 ⊗ · · · ⊗ h s H s+1 and 0 i < j s ,

h ij = h i · · · h j H .

Given h = h 0 ⊗ · · · ⊗ h s H s+1 , we let h (1) h (2) denote the comultiplication

of h in H s+1 . So, h (1) h (2) = (h

a r A r and h = h 0 ⊗ · · · ⊗ h s H s+1 , we write

a h =

5)

(1)

0

⊗ · · · ⊗ h

(1)

s

) (h

(2)

0

⊗ · · · ⊗ h

h

r

(r)

0s

.

(2)

s

).

6) Given a A, a = a 1 ⊗ · · · ⊗

(((a h s ) h s 1 ) h s 2 ) h s 3

) h 0 and a h = a h

1

(1)

0s

⊗ · · · ⊗ a

1.1. The resolution (X ,d )

Let Y s = E H s H (s 0) and X rs = E H s A r E (r, s 0). The groups X rs are E -bimodules in an obvious way and the groups Y s are E -bimodules via the left canonical action and the right action

(a 0 h)(a #h ) = a 0 a h (1) f (h

(2)

s+1 ,h (1) ) h

(2)

0s

h

(3)

0s

h

(3)

s+1 h (2) ,

where h = h 0 ⊗ · · · ⊗ E -bimodule maps

h s+1 . Let us consider the diagram of E -bimodules and

.

.

.

2

Y 1

1

Y 0

d

0

11

←−−−− X 01 ←−−−− X 11 ←−−−−

µ

1

d

0

21

d

0

10

0

20

←−−−− X 00 ←−−−− X 10 ←−−−−

µ

0

d

,

4

JORGE A. GUCCIONE AND JUAN J. GUCCIONE

where µ : X 0 Y , d 0 : X X 1, and : Y Y 1 are defined by:

µ s (a 0 h 0s a 1 h s+1 ) = a 0 a h

1

(1)

0s

d rs (a 0 h 0s a h s+1 ) = a 0 a h

0

1

(1)

0s

h

(2)

0s

h s+1 ,

(2)

a 2,r +1 h s+1

h

0s

+

r

i=1

(1) i a 0 h 0s a 1,i1 a i a i+1 a i+2,r +1 h s+1 ,

s (a h) =

s

i=0

(1) i+1 af (h

(1)

i

,h

(1)

i+1 ) h

(1)

i

1 h

(2)

0,i1 h i

(2)

h

(2)

i+1 h i+2,s+1 ,

where a = a 1 ⊗ · · · ⊗ a r +1 and h = h 0 ⊗ · · · ⊗ h s+1 . We have left E -module maps σ 0 : Y X 0 and σ +1, : X X +1, , given by σ +1,s (a 0 h 0s a h s+1 ) =

(1) r +1 a 0 h 0s a 1#h s+1 for r ≥ − 1. is a contracting homotopy of

0

0

0

r

Clearly (Y ,∂ ) is a complex and σ

0

+1,s

Y s

d

0

1s

0

2s

0

4s

←− X 0s ←−− X 1s ←−− X 2s ←−− X 3s ←−− X 4s ←−− X 5s ←−−

µ

s

d

0

2s

d

d

0

3s

d

d

0

5s

So, we are in the situation considered in Appendix A. We define E -bimodule maps d rs : X rs X r + l 1,s l (r 0 and 1 l s ) recursively, by:

l

l

d rs (x) =

σ 0,s 1 s µ s (x)

0

if r = 0 and l = 1,

if

l 1

j =1 σ l 1,sl d j 1,sj d j

l 1

j =0 σ r + l 1,sl d r + j 1,sj d j

l

0

0

j

l

j

0s (x)

r = 0

r > 0,

and 1 < l s ,

rs (x) if

for x k H s A r k .

Theorem 1.1.1. There is a relative projective resolution

(1)

µ

d

1

E ←−− X 0 ←− X 1 ←− X 2 ←− X 3 ←− X 4 ←− X 5 ←− X 6 ←−

d

2

d

3

d

4

d

5

d

6

d

7

where X n = X rs , µ is the multiplication map and d n =

r

+ s= n

r+s=n

r+l>0

s

l

=0

d

,

l

rs .

Proof. Let µ

: Y 0 E be the map µ

(a (h 0 h 1 )) = af (h

complex of E -bimodules

(1)

0

,h

(1)

1

E ←− Y 0 ←− Y 1 ←− Y 2 ←− Y 3 ←− Y 4 ←− Y 5 ←− Y 6 ←−

µ

1

2

3

4

5

6

7

)#h

(2)

0

h

(2)

1

. The

is contractible as a complex of left E -modules. A chain contracting homotopy

1

σ 0

Hence, the theorem follows from Corollary A.2 of Appendix A

Remark 1.1.2. Let σ

maps recursively defined by

1

1

: E Y 0 and σ s+1 : Y s Y s+1

(s 0) is given by σ s+1 (x) = (1) s x 1 H .

l r + l +1,s l : X rs X r + l +1,sl be the

l,s l l : Y s X l,s l and σ

σ

l

r + l +1,sl =

l 1

i=0

σ

0

r + l +1,sl d r + i+1,si σ r + i+1,s i

l

i

i

(0 < l s and r ≥ − 1).

We will prove, in Corollary A.2, that the family σ 0 : E X 0 , σ n+1 : X n X n+1 ,

defined by σ 0 = σ

0

00 σ 0

1

and

σ n+1 =

n+1

l

=0

σ

l

l,n l +1 σ n+1 µ n +

1

s

r + s= n l =0

σ

l

r + l +1,sl

(n 0),

is a contracting homotopy of the resolution (1) introduced in Theorem 1.1.1.

HOCHSCHILD (CO)HOMOLOGY OF HOPF CROSSED PRODUCTS

5

Theorem

h = h 0 ⊗ · · · ⊗ h s H H s . We

1.1.3. Let x = a 0 h a 1 E , with a = a 1 ⊗ · · · ⊗ a r A r and

have:

1

1) d rs is the map given by

1

d rs (x) =

s1

i=0

(1) i+ r a 0 f (h

(1)

i

,h

(1)

i+1 ) h

(1)

0,i1 h

(2)

0,i1 h i

(2)

+ (1) r + s a 0 h 0,s 1 a h

(1)

s

1#h

(2)

s

,

h

(2)

i+1 h i+2,s a 1 E

(

0

2) For each l 2 , there are maps F

l )

:

H l A l 1 and F

(

r

l )

:

H l A r A r + l 1

( r 1 ), whose image is included in the k -submodule of A r + l 1 generated by all

the elementary tensors a 1 ⊗ · · · ⊗ a r + l 1 with l 1 coordinates in the image of

f , such that for 2 l s ,

d

l

rs (x) = (1) l ( r + s) a 0 h 0,s l F

(

r

l )

(h

(1)

s

l +1,s a) 1#h

(2)

sl +1,s ,

(

l )

where F r (h

(1)

sl +1,s a) = F 0

(

l )

(h s l +1,s ) if r = 0 .

1

Proof. The computation of d rs can be obtained easily by induction on r , using that

d 0s = σ

with l 2, follows easily by induction on l and r , using the recursive definition of

d

In Appendix B we will give more precise formulas for the maps F the computation of the d rs ’s.

completing

1

l

rs

0

0,s1 s µ s 0

1

and d rs = σ

0

r,s1 d r 1,s d

1

rs for r 1. The assertion for d l

0

rs ,

( l )

r

l

1.2. Comparison with the canonical resolution

Let (B (E ),b ) be the normalized Hochschild resolution of E . As it is well known, the complex

E

1

2

3

4

←− E E ←− B 1 (E ) ←− B 2 (E ) ←− B 3 (E ) ←−

µ

b

b

b

b

is contractible as a complex of left E -modules, with contracting homotopy ξ n (x)= (1) n x 1. Let σ be the contracting homotopy of (1) introduced in Remark 1.1.2. Let φ : (X ,d ) (B (E ),b ) and ψ : (B (E ),b ) (X ,d ) be the morphisms of E -bimodule complexes, recursively defined by φ 0 = id, ψ 0 = id, φ n+1 (x 1) = ξ n+1 φ n d n+1 (x 1) and ψ n+1 (y 1) = σ n+1 ψ n b n+1 (y 1).

Proposition 1.2.1. ψ φ = id and φ ψ is homotopically equivalent to the iden- tity map. An homotopy φ ψ −−−→ id is recursively defined by ω 1 = 0 and ω n+1 (x) = ξ n+1 (φ n ψ n id ω n b n )(x), for x E E n k .

Proof. We prove both assertions by induction. Let U n = φ n ψ n id n and T n =

ω

+1

U n ω n b n . Assuming that b

n ω n + ω n1 b

n 1 = U n 1 , we get that on E E n k ,

b

n+1 ω n+1 + ω n b

n = b

n+1 ξ n+1 T n + ω n b

n

= T n ξ n b n T n + ω n b

n

= U n ξ n U n 1 b n + ξ n b n ω n b

= U n ξ n U n 1 b

n

n + ξ n T n1 b

n

= U n .

6

JORGE A. GUCCIONE AND JUAN J. GUCCIONE

Hence, b

clear that ψ 0 φ 0 = id 0 . Assume that ψ n φ n = id n . Since φ n+1 (E H s A r k )

n = U n on B n (E ). Next, we prove that ψ φ = id . It is

n+1 ω n+1 + ω n b

E E n+1 k , we

have that, on k H s A n+1 s k ,

ψ n+1 φ n+1 = σ n+1 ψ n b

= σ n+1 ψ n b

n+1 φ n+1

n+1 ξ n+1 φ n d n+1

= σ n+1 ψ n φ n d n+1 σ n+1 ψ n ξ n b n φ n d n+1

= σ n+1 d n+1 = id n+2 d n+2 σ n+2 .

So, to finish the proof it suffices to check that σ n+2 (k H s A n+1 s k ) = 0, which follows easily from the definition of σ

F i (B n (E )) be the sub-bimodule

of B n (E ) generated by the tensors 1 x 1 ⊗ · · · ⊗ x n 1 such that at least n i

of the x j ’s belong to A. The normalized Hochschild resolution (B (E ),b ) and the resolution (X ,d ) are filtered by F 0 (B (E )) F 1 (B (E )) F 2 (B (E ))

and F 0 (X ) F 1 (X ) F 2 (X )

Proposition 1.2.2. The maps φ , ψ and ω +1 preserve filtrations.

Proof. Let Q j = E H i A n j k . We claim that

Let F i (X n ) = 0 s i E H s A n s E and let

i

, respectively

a) σ n+1 (F i (X n )) F i (X n+1 ) for all 0 i < n ,

b)

σ n+1 (E H i A n i A)

Q i i 1 + F i 1 (X n+1 ) for all 0 i n ,

c) σ

n+1 (E

H n E ) E H n+1 k + F n (X n+1 ) for all n 0,

d) ψ n (F i (B n (E )) E E n k ) Q i i + F i 1 (X n ). In fact a), b) and c) follow immediately from the definition of σ n+1 . Suppose d)

is valid for n . Let x = x 0 ⊗ · · · ⊗ x n+1 1 F i (B n+1 (E )) E E n+1 k . Using

a) and b), we get that for 1 j n ,

σ n+1 (ψ n (x 0,j 1 x j x j +1 x j +2,n+1 1)) σ n+1 (Q i

i + F i 1 (X n )) Q i

i 1 + F i 1 (X n ).

Since ψ n+1 (x) = σ n+1 ψ n b n+1 (x), to prove d) for n + 1 we only must check that

σ n+1 (ψ n (x 0,n+1 )) Q i

i 1 + F i 1 (X n ). If x n+1 A, then using a) and b), we get

σ n+1 (ψ n (x 0,n+1 )) =

σ n+1 (ψ n (x 0n 1 E )x n+1 )

σ n+1 (E H i A n i A + F i 1 (X n ))

i 1 + F i 1 (X n ),

Q i

and if x n+1 / A, then x 0,n+1 F i 1 (B n (E )), which together a) and c), implies that

σ n+1 (ψ n (x 0,n+1 )) σ n+1 (F i 1 (X n )) Q i

i 1 + F i 1 (X n+1 ).

From d) follows immediately that ψ preserves filtrations. Next, assuming that φ n

preserve filtrations, we prove that φ n+1 does it. Let x F i (X n+1 ) Q i

φ n+1 (x) = ξ n+1 φ n d n (x) and

i 1 . Since

ξ n+1 (φ n (d rs (x))) ξ n+1 (φ n (F i l (X n ))) ξ n+1 (F i l (B n (E ))) F i l +1 (B n+1 (E )),

l

HOCHSCHILD (CO)HOMOLOGY OF HOPF CROSSED PRODUCTS

7

it suffices to see that ξ n+1 (φ n (d rs (x))) F i (B n+1 (E )) for x = 1 h a 1, with

h = h 1 ⊗ · · · ⊗ h i and a =

φ n (Q i i ) E E n k , we have

0

a 1 ⊗ · · · ⊗ a n+1 i . Since

ξ n+1 φ n d

rs 0 (x) = (1) r ξ n+1 φ n (1 h a)

= (1) r ξ n+1 (φ n (1 h a 1,n i 1)a n+1 i )

ξ n+1 (F i (B n (E )) E E n A)

F i (B n+1 (E )).

Next, we prove that ω preserves filtrations. Assume that ω n does it. Let x = x 0 ⊗ · · · ⊗ x n 1 F i (B n (E )) E E n k . It is evident that ω n+1 (x) = ξ n+1 φ n ψ n (x) ξ n+1 ω n b n (x). Since ξ n+1 (φ n (Q i i )) ξ n+1 (E E n k ) = 0, from d) we get

ξ n+1 φ n ψ n (x) ξ n+1 φ n Q i i + F i 1 (X n ) ξ n+1 (F i 1 (B n (E ))) F i (B n (E )).

It remains to check that ξ n+1 ω n b n (x) F i (B n (E )). Since ω n (E E n 1 k ) E E n k , we have ξ n+1 ω n b n (x) = (1) n 1 ξ n+1 ω n (x 0n ). Hence, if x n A, then

ξ n+1 ω n b

n (x) = (1) n 1 ξ n+1 (ω n (x 0,n 1 1)x n )

ξ n+1 (F i (B n (E )) E E n A)

F i (B n+1 (E )),

and if x n / A, then x F i 1 (B n 1 (E )), and so

ξ n+1 ω n b

n (x) = (1) n 1 ξ n+1 ω n (x 0n ) ξ n+1 (F i 1 (B n (E ))) F i (B n+1 E )

2. The Hochschild (co)homology of a crossed product

Let E = A# f H and M an E -bimodule. In this section we use Theorem 1.1.1 in

X (E, M ), simpler than the canonical

ones, giving the Hochschild homology and cohomology of A with coefficients in M respectively. These complexes have natural filtrations tha t allow us to obtain

order to construct complexes X (E, M ) and

spectral sequences converging to H (E, M ) and

H (E, M ) respectively.

2.1. Hochschild homology

Let rs : M H s A r M H s l A r + l 1

d