0 оценок0% нашли этот документ полезным (0 голосов)

8 просмотров26 страницk

Dec 15, 2016

© © All Rights Reserved

PDF, TXT или читайте онлайн в Scribd

k

© All Rights Reserved

0 оценок0% нашли этот документ полезным (0 голосов)

8 просмотров26 страницk

© All Rights Reserved

Вы находитесь на странице: 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 ﬁltra- 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 coeﬃcients in M is the (co)homology of H with coeﬃcients 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 _{r}_{s} = 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 deﬁnition 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 coeﬃcients in an arbitrary E -bimodule. These complexes are equipped with canonical ﬁltrations. 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 Classiﬁcation. 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 ﬁltrations, 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 coeﬃcients in M respec- tively. The ﬁltration of (X _{∗} ,d _{∗} ) induces ﬁltrations on X _{∗} (E, M ) and X ^{∗} (E, M ).

So, we obtain converging spectral sequences E _{r}_{s} = 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 ﬁltra- 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 ﬁltrations, 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 coeﬃcients in M is the (co)homology

of H with coeﬃcients 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 ﬁrst appendix we give a method to construct (under suitable hypothesis)

and X ^{∗} (E, M ) respectively. Then, we compute the term E _{r}_{s} 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 ^{o}^{p} -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 deﬁned 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 deﬁnitions 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 .

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 ﬁx 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 _{i}_{j} = a _{i} ⊗· · ·⊗ a _{j} ∈ A ^{j} ^{−} ^{i}^{+}^{1} .

we write h _{i}_{j} = h _{i} ⊗ · · · ⊗ h _{j} and

1)

2)

3)

4) Given h _{0} ⊗ · · · ⊗ h _{s} ∈ H ^{s}^{+}^{1} and 0 ≤ i < j ≤ s ,

h _{i}_{j} = 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 _{r}_{s} = E ⊗ H ^{s} ⊗ A ^{r} ⊗ E (r, s ≥ 0). The groups X _{r}_{s} 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 _{0}_{1} ←−−−− X _{1}_{1} ←−−−−

µ

1

d

^{0}

21

d

^{0}

10

^{0}

20

←−−−− X _{0}_{0} ←−−−− X _{1}_{0} ←−−−−

µ

0

d

,

4

JORGE A. GUCCIONE AND JUAN J. GUCCIONE

where µ _{∗} : X _{0}_{∗} → Y _{∗} , d _{∗}_{∗} ^{0} : X _{∗}_{∗} → X _{∗}_{−} _{1}_{,} _{∗} and ∂ _{∗} : Y _{∗} → Y _{∗}_{−} _{1} are deﬁned by:

µ _{s} (a _{0} ⊗ h _{0}_{s} ⊗ a _{1} ⊗ h _{s}_{+}_{1} ) = a _{0} a ^{h}

1

(1)

0s

d _{r}_{s} (a _{0} ⊗ h _{0}_{s} ⊗ 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,i− 1 ⊗ 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,i− 1 ^{⊗} ^{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 _{0}_{s} ⊗ a ⊗ h _{s}_{+}_{1} ) =

(− 1) ^{r} ^{+}^{1} a _{0} ⊗ h _{0}_{s} ⊗ 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 _{0}_{s} ←−− X _{1}_{s} ←−− X _{2}_{s} ←−− X _{3}_{s} ←−− X _{4}_{s} ←−− X _{5}_{s} ←−−

µ

s

d

^{0}

2s

d

d

^{0}

3s

d

d

^{0}

5s

So, we are in the situation considered in Appendix A. We deﬁne E -bimodule maps d _{r}_{s} : X _{r}_{s} → X _{r} _{+} _{l} _{−} _{1}_{,}_{s}_{−} _{l} (r ≥ 0 and 1 ≤ l ≤ s ) recursively, by:

l

l

d _{r}_{s} (x) =

− σ _{0}_{,}_{s}_{−} _{1} ∂ _{s} µ _{s} (x)

− ^{}

− ^{}

0

if r = 0 and l = 1,

if

l − 1

j =1 ^{σ} l − 1,s− l ^{d} j − 1,s− j ^{d} j

l − 1

j =0 ^{σ} r + l − 1,s− l ^{d} r + j − 1,s− j ^{d} ^{j}

l

0

0

− j

l

− j

_{0}_{s} (x)

r = 0

r > 0,

and 1 < l ≤ s ,

_{r}_{s} (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 _{r}_{s} , µ 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 deﬁned 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,s− l be the

_{l}_{,}_{s}_{−} l _{l} : Y _{s} → X _{l}_{,}_{s}_{−} _{l} and σ

σ

l

r + l +1,s− l ^{=} ^{−}

l − 1

i=0

σ

0

r + l +1,s− l ^{d} r + i+1,s− i ^{σ} _{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} ,

deﬁned 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,s− l

^{(}^{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 _{r}_{s} is the map given by

1

d _{r}_{s} (x) =

s− 1

i=0

(− 1) ^{i}^{+} ^{r} a _{0} f (h

(1)

i

,h

(1)

i+1 ^{)} ^{h}

(1)

0,i− 1 _{⊗} _{h}

(2)

0,i− 1 ^{⊗} ^{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

_{r}_{s} (x) = (− 1) ^{l} ^{(} ^{r} ^{+} ^{s}^{)} a _{0} ⊗ h _{0}_{,}_{s}_{−} _{l} ⊗ F

(

r

l )

(h

(1)

s−

_{l} _{+}_{1}_{,}_{s} ⊗ a) ⊗ 1#h

(2)

s− l +1,s ^{,}

(

l )

where F _{r} (h

(1)

s− l +1,s ^{⊗} ^{a}^{)} ^{=} ^{F} 0

(

l )

(h _{s}_{−} _{l} _{+}_{1}_{,}_{s} ) if r = 0 .

1

Proof. The computation of d _{r}_{s} can be obtained easily by induction on r , using that

d _{0}_{s} = − σ

with l ≥ 2, follows easily by induction on l and r , using the recursive deﬁnition of

d

In Appendix B we will give more precise formulas for the maps F the computation of the d _{r}_{s} ’s.

completing

1

l

rs

0

0,s− 1 ^{∂} s ^{µ} s ^{0}

1

and d _{r}_{s} = − σ

0

r,s− 1 ^{d} r − 1,s ^{d}

1

_{r}_{s} 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 deﬁned 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 deﬁned 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 + ω n− 1 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 n− 1 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 ﬁnish the proof it suﬃces to check that σ _{n}_{+}_{2} (k ⊗ H ^{s} ⊗ A ^{n}^{+}^{1}^{−} ^{s} ⊗ k ) = 0, which follows easily from the deﬁnition 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 ﬁltered 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 ﬁltrations.

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 deﬁnition 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 ﬁltrations. Next, assuming that φ _{n}

preserve ﬁltrations, 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 _{r}_{s} (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 suﬃces to see that ξ _{n}_{+}_{1} (φ _{n} (d _{r}_{s} (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

_{r}_{s} 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 ﬁltrations. 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 _{0}_{n} ). 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 _{0}_{n} ) ⊆ ξ _{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 coeﬃcients in M respectively. These complexes have natural ﬁltrations 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 _{r}_{s} : M ⊗ H ^{s} ⊗ A ^{r} → M ⊗ H ^{s}^{−} ^{l} ⊗ A ^{r} ^{+} ^{l} ^{−} ^{1}

d

## Гораздо больше, чем просто документы.

Откройте для себя все, что может предложить Scribd, включая книги и аудиокниги от крупных издательств.

Отменить можно в любой момент.