A note on cohomology for multiplier Hopf algebras
aa r X i v : . [ m a t h . QA ] A ug A NOTE ON COHOMOLOGY FOR MULTIPLIER HOPF ALGEBRAS
ANDRZEJ SITARZ AND DANIEL WYSOCKIA
BSTRACT . In this note we discuss the possibility of constructing the cosimplicial complexfor the multiplier Hopf algebras and extending the cyclicity operator to obtain the Hopf-cycliccohomology for them. We show that the definition of modular pairs in involution for multiplierHopf algebras and provide the definition of Hopf-cyclic cohomology for algebras of functionsover discrete groups.
1. I
NTRODUCTION
Hopf-cyclic cohomology of Connes and Moscovici [1, 2] has been the first example of cycliccohomology with coefficients. Generalized later [8, 9, 12] to coefficients valued in certaintypes of modules (stable anti-Yetter-Drinfeld modules) it became an effective tool in the studiesof Hopf algebras.In this note we address the problem whether the construction can be extended to the multiplierHopf algebras, which are natural generalization of Hopf algebras. We aim to define the respec-tive cosimplicial objects in the setup of multiplier Hopf algebras following the definitions of[4, 5, 6, 3, 7].The note is organized as follows, first we recall basic definitions, then we define the modularpair in involution for multiplier Hopf algebras and the cosimplicial objects. Finally, we discussthe cyclicity operator and define the Hopf-cyclic cohomology for commutative multiplier Hopfalgebras of functions over discrete groups. For simplicity we consider algebras over the field ofcomplex numbers (generalization to arbitrary field is in many steps straightforward). Note thatin [11] a dual point of view has been presented, with the cyclic module and cyclic homologyin the place of cohomology. The difference, however, is that the simplicial object is the usualone, as it involves only the algebra structure, whereas for the multiplier Hopf algebras, thecosimplicial object requires more attention as the coproduct is not valued in H ⊗ H .2. M ULTIPLIER H OPF ALGEBRAS .Let us recall some basic definitions of multiplier Hopf algebras. A left multiplier α of an algebra A is a linear map α L : A → A such that α L ( ab ) = α L ( a ) b for all a, b ∈ A . Similarly, a right multiplier α R satisfies α R ( ab ) = aα R ( b ) . A multiplier is a pair ( α L , α R ) of a left and rightmultipliers, respectively, such that aα L ( b ) = α R ( a ) b for all a, b ∈ A . There is a canonicalinclusion ι of A in M L ( A ) : ι ( a )( b ) = ab (and similarly for M R ( A ) and M ( A ) ).We define [5] a multiplier Hopf algebra H as a an algebra, which is equipped with a comulti-plication ∆ : H → M ( H ⊗ H ) such that the following maps (understood as a composition of Mathematics Subject Classification.
Key words and phrases. multiplier Hopf algebra, Hopf-cyclic, modular pair in involution. ∗ Partially supported by NCN grant 2015/19/B/ST1/03098. the elements in the multiplier), W R : H ⊗ H ∋ ( a, b ) ∆( a )(1 ⊗ b ) ∈ H ⊗ H,W L : H ⊗ H ∋ ( a, b ) ( a ⊗ b ) ∈ H ⊗ H (2.1)are well defined bijective map, which are coassociative (we refer to [5] for details) and ∆ is analgebra morphism in the following sense,(2.2) W R ( ab, c ) = W ′ R ( a, W R ( b, c )) , where W ′ R ( a, b ⊗ c ) = W R ( a, c )( b ⊗ . We call a multiplier Hopf algebra regular if σ ◦ ∆ , where σ : H ⊗ H → H ⊗ H is the flipoperation, makes H a multiplier Hopf algebra again.A multiplier Hopf algebra has the counit ǫ : H → C , which is a homomorphism and the antipode S : H → M ( H ) . If H is regular, then S is bijective and thus the image of the antipode is in H .Finally, let us state the extension property (cf. [5] Proposition A5). Lemma 2.1.
We call a map φ : A → M ( B ) non-degenerate if B is generated by φ ( a ) b and bφ ( a ) . A non-degenerate homomorphism φ : A → M ( B ) has a unique extension ˜ φ : M ( A ) → M ( B ) , which is defined by (2.3) ˜ φ ( α ) x := φ ( αg ) h, ∀ α ∈ M ( A ) , ∀ x ∈ B, where x = φ ( g ) h , g ∈ A , h ∈ B , by the non-degeneracy of φ . We shall also use a mode advanced version of the extension property for the regular multiplierHopf algebras that was proven in [4].
Lemma 2.2.
Let H be a regular multiplier Hopf algebra. Then the maps ∆ ⊗ id and id ⊗ ∆ defined on H ⊗ H have natural extension to maps from M ( H ⊗ H ) to M ( H ⊗ H ⊗ H ) . For the rest of the paper we restrict ourselves to regular multiplier Hopf algebras only.2.1.
Modules over multiplier Hopf algebras.
We define a module, M (left module, rightmodule, bimodule) over a multiplier Hopf algebra in the usual sense (see [3] for details).Each multiplier Hopf algebra is a bimodule over itself with left and right multiplication. Ad-ditionally, since the adjoint action makes sense for the multiplier Hopf algebras we have thefollowing left module structure of H :Ad : a ⊗ x → a (1) xS ( a (2) ) , a ∈ H, (2.4)and makes H again a left H -module algebra.We want to remark, however, that it might be reasonable to consider extended modules in thesense of van Daele [4]: Definition 2.3.
Let M be a left module over H , which is non-degenerate in the sense that if ax = 0 for x ∈ M and all a ∈ H then x = 0 Consider a space M ′ of all linear maps ρ : H toM such that ρ ( ab ) = aρ ( b ) , for all a, b ∈ H . Then M ′ has a natural left-module structure over H and x → ρ x , where ρ x ( a ) = ax is an injective embedding of m in M ′ . NOTE ON COHOMOLOGY FOR MULTIPLIER HOPF ALGEBRAS 3
Comodules over multiplier Hopf algebras.
We follow the definitions of [6, 7]. Let M bea vector space. We call M a right comodule and u a RR-corepresentation of H if u is injectivemap u : M ⊗ H → M ⊗ H that satisfies u u W R = W R u , (2.5)where u , for example, denotes the application of the u map on the respective first and secondcomponent of the tensor product. Similarly, M is a right comodule with a RL-corepresentation if an injective map v : M ⊗ H → M ⊗ H satisfies v v W L = W L v . (2.6)For simplicity we shall use name of RR and RL-comodules. If u ( v ) are bijective then thecorepresentation is called regular . Finally, we say M is a right comodule if it is RR- and RL-comodule, and (1 ⊗ a ) u ( m, b ) = v ( m, a )(1 ⊗ b ) , ∀ a, b ∈ H. For regular multiplier Hopf algebras every right comodule has necessarily regular RR and RLcorepresentation and, conversely, every regular RR (RL) corepresentation gives rise to a rightcomodule (proposition 2.0 [6]).2.3.
One-dimensional comodules.
A special and relevant example is given by a H -comodulegiven by a base field, C of the Hopf algebra H . Then, the coactions reduce to the maps H → H with certain properties. Lemma 2.4.
Let H be a multiplier Hopf algebra. If ( C , u ) , where u : H → H , is a RR-comodule over H , then u is a left multiplier of H . Analogously, if ( C , v ) is a RL -comoduleover H , then v is a right multiplier of H .Proof. Using (2.5) and the fact that ∆ is an algebra homomorphism we have for arbitrary a, b, c ∈ H : W R ( u ( ab ) , c ) = ( u ⊗ u ) W R ( ab, c ) = ( u ⊗ u ) W ′ R ( a, W R ( b, c ))= W ′ R ( u ( a ) , W R ( b, c )) = W R ( u ( a ) b, c ) , and since W R is bijective then u ( ab ) = u ( a ) b, ∀ a, b ∈ H. Similarly from (2.6) and coassociativity we have: W L ( c, v ( ab )) = ( v ⊗ v ) W L ( c, ab ) = ( v ⊗ v ) W ′ L ( W L ( c, a ) , b )= W ′ L ( W L ( c, a ) , v ( b )) = W L ( c, av ( b )) , and as a consequence v ( ab ) = av ( b ) , ∀ a, b, ∈ H. (cid:3) Hereafter, we will call such a comodule a one-dimensional comodule. Observe that a general-ization to an arbitrary field is straightforward.
Corollary 2.5.
Let H be a multiplier Hopf algebra over C . The one-dimensional right comoduleover H is given by a multiplier u of H . A. SITARZ AND D. WYSOCKI
Notice that for regular multiplier Hopf algebras the extension property (2.3) allows us to extendthe coproduct to ∆ : M ( H ) → M ( H ⊗ H ) (respectively one can use one-sided multipliersinstead). Thus, in case of a one-dimensional right-right (right-left) comodule we have the fol-lowing property. Lemma 2.6.
A one-dimensional right-right (left-right) comodule over a MHA is determined bya group like left (right) multiplier u ( v ) : ∆ u = u ⊗ u. Proof.
Since the maps W R and W L are bijective then H ⊗ H is spanned by ∆( a )( b ⊗ c ) and ( a ⊗ b )∆( c ) . Therefore from the extension property we see that ∆ extends as a linear map from L ( H ) ( R ( H ) ) to L ( H ⊗ H ) ( R ( H ⊗ H ) ). As in both cases the tensor product of the multipliersis included in the multiplier of the tensor product we see that the expressions like ∆( u ) = u ⊗ u makes sense. Let us compute it (for the left multiplier alone). First of all, by definition: W R ( ua, b ) = ∆( ua )(1 ⊗ b ) = ∆( u ) W R ( a, b ) . Rewriting the condition (2.5) we have: W R ( ua, b ) = ( u ⊗ u ) W R ( a, b ) . Therefore ∆( u ) = u ⊗ u, in the sense of the unique extension of ∆ map to the (left) multiplier (cid:3) Remark 2.7.
The above construction extends nicely to the finite-dimensional case. Any finite-dimensional right comodule over a multiplier Hopf algebra (of dimension N ) is a matrix ofmultipliers u ij , i, j = 1 , . . . , N which satisfies: ∆( u ij ) = N X k =1 u ik ⊗ u kj . Example 2.8.
Consider an algebra of complex valued functions with finite support over a dis-crete group G , which is a typical simplest example of a regular commutative multiplier Hopfalgebra. We have for the generating functions e p , e h , p, h ∈ G : W R ( e p , e h ) = e ph − ⊗ e h , W L ( e p , e h ) = e p ⊗ e p − h . If we set the multiplier u by defining it as: u ( e g ) = f ( g ) e g . then we see that the condition that u defines a coassociative right comodule becomes: f ( gh ) = f ( g ) f ( h ) . Observe that since the algebra of functions is commutative then we necessarily have for anonzero functions: f ( ghg − h − ) = f ( e ) = 1 , where e is the neutral element of G . A typical case is G = Z where the group-like multipliersare given by exponential function: u α ( e m ) = e αm e m , which satisfies the equation (2.5). NOTE ON COHOMOLOGY FOR MULTIPLIER HOPF ALGEBRAS 5
3. M
ODULAR PAIR IN INVOLUTION FOR MULTIPLIER H OPF ALGEBRAS
Let us recall that a modular pair in involution [1] for a Hopf algebra H is a pair ( δ, σ ) , where δ : H → C is a character on H and σ ∈ H is a group-like element, i.e. ∆( σ ) = σ ⊗ σ , satisfying δ ( σ ) = 1 , such that S δ,σ ) ( h ) = σhσ − for every h ∈ H , where S ( δ,σ ) ( h ) := δ ( h (1) ) S ( h (2) ) isthe twisted antipode.For a multiplier Hopf algebra we propose the following definition. Definition 3.1.
Let H be a regular multiplier Hopf algebra. We say that ( δ, σ ) is a modular pairin involution if δ is a character of H , σ ∈ M ( H ) is group-like, so that ∆( σ ) = σ ⊗ σ , δ ( σ ) = 1 and the map S ( δ,σ ) is defined on H in the following way,(3.1) δ ( a ) S ( δ,σ ) ( h ) := ( δ ⊗ S ) W L ( a, h ) , a, h ∈ H, and satisfies(3.2) S δ,σ ) ( h ) = σhσ − . Note, that S ( δ,σ ) does not depend on a and σ − is a unique element of the multiplier, in fact: σ − = S ( σ ) . First of all we need to show that the definition is self-consistent. Due to the extension property δ extends to M ( H ) so we can require that δ ( σ ) is . Further, as the multiplier Hopf algebra isassumed to be regular we know that by construction S ( δ,σ ) ( h ) ∈ H . It remain only to verify thatthe definition of S ( δ,σ ) ( h ) does not depend on a .We use here the property of regular multiplier Hopf algebras, which guarantees that for everyfinite set of elements a i there exists a common local unit (left and right), that is an element e such that a i e = a i (respectively, a i = ea i ) for each i . (see [3] Proposition 2.2). Using this andthe identity: W L ( ae, b ) = ( a ⊗ W L ( e, b ) , we immediately have that for any two different a and a (such that δ ( a ) δ ( a ) = 0 ) choosinga suitable e we have the right-hand side of (3.1): S ( δ,σ ) ( h ) = 1 δ ( a ) ( δ ⊗ S ) W L ( a , h ) = ( δ ⊗ S )( a ⊗ W L ( e, h )= δ ( a ) δ ( a ) ( δ ⊗ S ) W L ( e, h ) = δ ( a ) δ ( a ) ( δ ⊗ S ) W L ( e, h )= 1 δ ( a ) ( δ ⊗ S )( a ⊗ W L ( e, h ) = 1 δ ( a ) ( δ ⊗ S ) W L ( a , h ) . Example 3.2.
Consider again a canonical example of the algebra of functions with finite sup-port on a discrete group G . As the algebra is commutative a character of the algebra is given byan element of the group g , δ g . A group-like multiplier σ (which we have studied in the previousexample) is defined by a multiplicative morphism f from G to the field, here additionally weneed to add the condition that f ( g ) = 1 .Using the basis of the generating functions, we have: δ g ( e h ) = δ gh , σe h = f ( h ) e h . A. SITARZ AND D. WYSOCKI
The twisted antipode becomes: S ( δ,σ ) e h = ( e h − g ) . Let us note, however, that the twisted antipode will satisfy the condition S δ,σ ) = id , only if G is abelian or if g = e , in the latter case δ is the counit and the twisted antipode is just S . Example 3.3.
We shall consider a genuine noncommutative and noncocommutative examplebased on the multiplier Hopf algebra acting on the double noncommutative torus [10] . Theexplicit description through the generators and relations and W L , W R maps was provided in [13] , were we provide a slightly different approach and start already with the multiplier algebraand the extension of the coproduct map. Let A = C ( Z ) , and G = Z with generator x , x = 1 .Consider the algebra A ⊗ C G , however, with a slightly modified product between A and x andcoproduct of x : (3.3) f x = x ˆ f , ∆( x ) = e iθ ( i,j ) x ⊗ x, where ˆ f ( i , i ) = f ( i , i ) and θ is a cocycle on Z θ ( i , i , j , j ) = i j − i j , with the coproduct on A arising from the abelian group structure of Z and the usual producton A and C G .The above coalgebra is an example of a regular multiplier Hopf algebra, which, as an algebrais, in fact, a crossed product of the algebra of functions of the discrete group Z by the group Z .First of all, we shall determine a group-like multiplier. If σ = f + hx is a group-like element itshall satisfy, f, h ∈ C ( Z ) , ∆( f ) + ∆( h )∆( x ) = ( f + hx ) ⊗ ( f + gx ) . and this can be true only if h = 0 and σ is group-like for C ( Z ) , which means that σ ( i , i ) = e α i + α i .A character of the algebra, δ must satisfy δ ( x ) = ± and δ ( f ) = f ( i, i ) for some ( i, i ) ∈ Z .The associated twisted antipode is: ( S ( δ,σ ) f )( j , j ) = f ( i − j , i − j ) , ( S ( δ,σ ) x ) = ± x. One can easily check that only the character δ ( f ) = f (0 , is possible for a modular pair ininvolution, and σ, δ is a modular pair in involution iff σ satisfies σ ( i, j ) = σ ( j, i ) .
4. C
OSIMPLICIAL MODULES FOR MULTIPLIER H OPF ALGEBRAS .Let us recall here the core definition of a cosimplicial module for a Hopf algebra H . Note thatthis uses, of course, only the coproduct (for the pre-cosimplicial structure, coface maps) and thecounit (to define codegeneracy maps). Although our motivation for the choice follows from themodule over cyclic category for Hopf algebras, as proposed by Connes-Moscovici [1], yet weuse only the cosimplicial part in this section. NOTE ON COHOMOLOGY FOR MULTIPLIER HOPF ALGEBRAS 7
Lemma 4.1 ([1]) . Let H be a Hopf algebra with a modular pair in involution. Then, with E n = H ⊗ n , and the following linear maps, (4.1) δ i : H ⊗ n → H ⊗ n +1 , σ i : H ⊗ n → H ⊗ n − , defined as (4.2) δ i ( h ⊗ . . . ⊗ h n ) := h ⊗ . . . ⊗ h i − ⊗ ∆( h i ) ⊗ h i +1 ⊗ . . . ⊗ h n ,δ ( h ⊗ . . . ⊗ h n ) := 1 ⊗ h ⊗ . . . ⊗ . . . ⊗ h n ,δ n +1 ( h ⊗ . . . ⊗ h n ) := h ⊗ . . . ⊗ . . . ⊗ h n ⊗ σ,σ i ( h ⊗ . . . ⊗ h n ) := ǫ ( h i ) h ⊗ . . . ⊗ h i − ⊗ h i +1 ⊗ . . . ⊗ h n ,τ n ( h ⊗ . . . ⊗ h n ) := (cid:0) ∆ n − S ( δ,σ ) ( h ) (cid:1) (cid:0) h ⊗ . . . ⊗ h n ⊗ σ (cid:1) , { E n , δ i , σ j , ≤ i ≤ n +1 , < j < n +1 , } n ≥ is a cosimplicial module. Of course, for the multiplier Hopf algebras this does not work directly as the maps lead out ofthe space H ⊗ n . However, using the standard tools we might be able to extend them and proposetwo possible versions for the multiplier Hopf algebras.Let us denote by M n ( H ) the multiplier algebra of M ( H ⊗ n ) and by N ( H ) the algebra spannedby H, , σ , which can be understood as a subalgebra of M ( H ) . Definition 4.2.
Let us define by M n ( H ) a subspace of M n ( H ) , which consists of all elements z in the multiplier algebra of H ⊗ n , such that for every w i = a ⊗ a ⊗· · · i · · ·⊗ a n , i = 1 , , . . . n we have, zw i ∈ H ⊗ H ⊗ · · · N i ( H ) · · · ⊗ H ∋ w i z, where N i ( H ) is on the i -th place. Remark 4.3.
Observe that for regular multiplier Hopf algebras ∆( H ) ⊂ M ( H ) and that M n ( H ) , in fact, is an algebra.We have: Proposition 4.4.
Each of the maps δ i , extends as a map between M n ( H ) and M n +10 ( H ) , simi-larly, maps σ i extend to maps between M n +10 ( H ) and M n ( H ) .Proof. First, observe that the first part of the statement is trivial for the maps δ and δ n +1 as theymap, respectively, M n to N ( H ) ⊗ M n ( H ) ⊂ M n +10 ( H ) (and M n ( H ) ⊗ N ( H ) ⊂ M n +10 ( H ) ,respectively). The inclusions are obvious.To see that maps δ i extend we repeat the arguing that is used in [4], Proposition 1.10. Let y ∈ M n ( H ) , which means that for any a , a , . . . , a n ∈ H , we have: y ( a ⊗ a ⊗ · · · ⊗ a n ) ∈ H ⊗ n ∋ ( a ⊗ a ⊗ · · · ⊗ a n ) y. For a fixed y let us define an element z ∈ M n +1 L ( H ) in the following way:(4.3) z ( a ⊗ a ⊗ · · · ⊗ a n ) = X i δ ( y ( r i ⊗ a ⊗ · · · ⊗ a n )) ( s i ⊗ ⊗ · · · ⊗ , where we use the fact that for a regular multiplier Hopf algebra there exists r i , s i ∈ H such that a ⊗ a = X j ∆( r j )( s j ⊗ . A. SITARZ AND D. WYSOCKI
Then, the same arguments as in the above mentioned proposition ensure that z is a well definedelement of M n +1 L ( H ) , so setting z = δ ( y ) shows that δ has an extension as a map M nL ( H ) → M n +1 L ( H ) . Next we need to demonstrate that it maps M n ( H ) to M n +10 ( H ) . To prove it weneed to consider three cases. First, if one of the elements a , . . . , a n is equal to we use theassumption that y ∈ M n ( H ) and as a consequence the argument of δ on the right-hand side of(4.3) is in tensor product H ⊗ H ⊗ · · · N ( H ) · · · ⊗ H , where a single N ( H ) is in the same placeas . Since δ acts as ∆ on the first element of the tensor product we see that the right-hand sideis again in the same target space. If a = 1 then we check that z (1 ⊗ a ⊗ · · · ⊗ a n ) = X i δ ( y (1 ⊗ a ⊗ · · · ⊗ a n )) (1 ⊗ a ⊗ · · · ⊗ , is in N ( H ) ⊗ H · · · ⊗ H . Indeed by definition, the first element of the tensor product in theargument of δ on the right-hand side is in N ( H ) , and then we know that for any x ∈ N ( H ) wehave ∆( x )(1 ⊗ a ) ∈ N ( H ) ⊗ H, ∆( x )( a ⊗ ∈ H ⊗ N ( H ) , which is sufficient to show the desired result. Similarly, if a = 1 , we take (4.3) with r =1 , s = a and use the same argument as above. To extend the maps σ i we use an analogousconstruction. Let us take y ∈ M n ( H ) . We define z = σ i ( y ) ∈ M n − L ( H ) in the following way,for all a , a , . . . , a n ∈ H , we put: ǫ ( a i ) z ( a ⊗ a i − ⊗ a i +1 · · · ⊗ a n ) = σ i ( y ( a ⊗ · · · ⊗ a n )) . The above proof demonstrates that δ i ( y ) and σ j ( y ) are well-defined left multipliers, however,repeating analogous arguments we can show that they are also right-multipliers obeying alsothe second identity from definition 4.2 and hence they are indeed in the respective M ∗ ( H ) modules. (cid:3) Remark 4.5.
The above construction uses only the extension of the coproduct to the multi-plier algebra and the coassociativity as well as compatibility of the compatibility of the counitwith the coproduct for the multiplier Hopf algebras. Note that if the arguments of δ i , σ j are in M n ( H ) , the definition still holds (though of course the value is only in the respective multiplierand not in its restricted version).Summarizing we have, Proposition 4.6.
With the maps δ i , σ j defined as before, { M n ( H ) } ∞ n ≥ as well as { M n ( H ) } n ≥ are cosimplicial modules.Proof. It remains to prove the rules for the composition of maps. First let us check the compo-sition of maps δ i satisfies δ i δ j = δ j +1 δ i , i ≤ j . We skip the trivial case when i = 0 or j = n + 1 (then it is straightforward) and concentrate on the nontrivial case < i ≤ j < n + 1 . First,we consider i < j , for simplicity fixing i = 1 , j = 2 (all other cases will be analogous). Letus write the element in the left multiplier, z defined through in (4.3), for the product of δ , δ NOTE ON COHOMOLOGY FOR MULTIPLIER HOPF ALGEBRAS 9 acting on y ∈ M n ( H ) ,(4.4) δ ( δ ( y ))( a ⊗ a ⊗ · · · ⊗ a n ⊗ a n +1 ) == X i δ ( δ ( y )( r i ⊗ a ⊗ a ⊗ · · · ⊗ a n +1 )) ( s i ⊗ ⊗ · · · ⊗ X i,j δ ( δ ( y ( r i ⊗ p j ⊗ · · · ⊗ a n )) (1 ⊗ ⊗ q j ⊗ · · · ⊗ s i ⊗ ⊗ · · · ⊗ . where we use a ⊗ a = X j ∆( r j )( s j ⊗ , a ⊗ a = X j ∆( p j )( q j ⊗ . On the other hand(4.5) δ ( δ ( y ))( a ⊗ a ⊗ · · · ⊗ a n ⊗ a n +1 ) == X j δ ( δ ( y )( a ⊗ a ⊗ p j ⊗ · · · ⊗ a n +1 )) (1 ⊗ ⊗ q j ⊗ · · · ⊗ X i,j δ ( δ ( y ( r i ⊗ p j ⊗ · · · ⊗ a n )) ( s i ⊗ ⊗ · · · ⊗ ⊗ ⊗ q j ⊗ · · · ⊗ . To see that both expressions are identical it is sufficient to use the fact that for the multiplierHopf algebras we have: ((id ⊗ ∆)( a ⊗ a )) ( h ⊗ ⊗
1) = (id ⊗ ∆)( a h ⊗ a ) , where the equality makes sense in the respective multiplier.Similar arguments, which are di-rectly based on the coassociativity of the coaction for the multiplier Hopf algebras can be ap-plied in the case i = j .Finally observe that the relations between the coface maps and codegeneracy operators againfollow directly from the properties of the counit extended to the respective multiplier. (cid:3) Definition 4.7.
We define a full Hochschild Hopf-cohomology of a multiplier Hopf algebrawith respect to modular element σ as: HH nσ ( H ) := ker b M n ( H ) / Im b M n − ( H ) , where b = δ − δ + · · · + ( − n +1 δ n +1 .Since we know that coface maps and in consequence, the coboundary b restricts to the restrictedmultiplier, we can equally define the minimal Hochschild Hopf-cohomology of a multiplierHopf algebra,with respect to modular element σ , as: HH nσ, ( H ) := ker b M n ( H ) n / Im b M n − ( H ) . Observe that out of the modular pair it is only σ that enters the definition of the coboundary.Although the cochains start with n = 0 , with M ( H ) = C , the first nontrivial cohomology groupis HH σ . Indeed, the coboundary b acting on c ∈ C gives bc = c (1 − σ ) ∈ M ( H ) ⊂ M ( H ) , andits kernel is trivial (unless σ = 1 ). Before we proceed with the further restrictions of the module,let us look at the motivating example. The discrete group G . Let H = C ( G ) be an algebra of functions with finite support overa discrete group with the standard basis e g and let us fix a multiplicative morphism σ : G → C .The multiplier of M n ( C ( G )) is a space of all functions over G × n whereas M n ( C ( G )) is thespace of functions such that when evaluated on n − points give a linear combination of afunction with finite support, identity and σ in the remaining variable. Lemma 4.8.
Taking a function F ∈ M n ( C ( G )) we have: (4.6) bF ( g , g , . . . , g n +1 ) = F ( g , . . . , g n +1 ) + ( − i X i F ( g , . . . g i g i +1 , . . . , g n +1 )+ ( − n +1 F ( g , g , . . . , g n ) σ ( g n +1 ) , and we immediately see that it also maps elements of M n ( C ( G )) to M n +1 ( C ( G )) .Proof. Any function F of n variables over a discrete group G can be understood as an ele-ment of the multiplier M (( C ( G )) ⊗ n ) and thus, the evaluation of the multiplier on elements of ( C ( G )) ⊗ n corresponds to pointwise multiplication, i.e. (cid:2) F (cid:0) e g ⊗ e g ⊗ · · · ⊗ e g n (cid:1)(cid:3) ( g ⊗ . . . ⊗ g n ) = F ( g , g , . . . , g n ) , where each e h are the basis functions over G . We can then compute the explicit actions of δ i following the definitions from Proposition 4.4 and (4.3). For example, ( δ F ) (cid:0) e g ⊗ e g ⊗ · · · ⊗ e g n ⊗ e g n +1 (cid:1) = δ (cid:0) F (cid:0) e g g ⊗ e g ⊗ · · · ⊗ e g n +1 (cid:1)(cid:1)(cid:0) e g ⊗ · · · ⊗ (cid:1) , where we have used e g ⊗ e g = ∆( e g g )( e g ⊗ . Evaluating this expression on g ⊗ . . . ⊗ g n +1 , we get ( δ F )( g ⊗ . . . ⊗ g n +1 ) = δ (cid:0) F (cid:0) e g g ⊗ e g ⊗ · · · ⊗ e g n +1 (cid:1)(cid:1) ( g ⊗ . . . ⊗ g n +1 )= (cid:0) F (cid:0) e g g ⊗ e g ⊗ · · · ⊗ e g n +1 (cid:1)(cid:1) ( g g ⊗ g ⊗ . . . ⊗ g n +1 )= F ( g g ⊗ g ⊗ . . . ⊗ g n +1 ) . Computing in a similar way the action of other δ maps we obtain the formula (4.6). (cid:3) As we can easily see we have,
Proposition 4.9.
The Hochschild Hopf-cohomology of C ( G ) is equal to the cohomology ofgroup G with values in C , with the module structure of C set by σ − .Proof. The definition of the group cohomology uses cochains complex, with n -cochains definedas G -module valued functions and the coboundary, dφ ( g , g , . . . , g n +1 ) = g φ ( g , . . . , g n +1 ) − φ ( g g , . . . , g n +1 ) + · · · + ( − i φ ( g , . . . , g i g i +1 , . . . , g n ) + · · · + ( − n +1 φ ( g , g , . . . , g n ) . It is easy to see that the map Ξ : Ξ( F )( g , . . . , g n ) = F ( g − n , . . . , g − ) , is a morphism of cochain complexes ( C ( G n ) , σ, b ) and ( C ( G n ) , σ − , d ) . (cid:3) NOTE ON COHOMOLOGY FOR MULTIPLIER HOPF ALGEBRAS 11
The restriction of the cochains to the subspace denoted M n ( C ( G )) is interesting from the pointof view of restrictions of cohomology. The usually considered restriction is to the boundedfunctions yet the above construction yields a different version. We shall illustrate it with anexample of G = Z . Example 4.10.
Let us consider G = Z and the first cohomology group HH σ ( C ( Z )) . Thegroup-like element in the multiplier is an exponential function σ ( n ) = e αn . First, the -thcochains are identified with C itself and their image under map b are functions of the type: f ( n ) = β ( e αn − . The condition that a function F : G → C is in the kernel of b reads, F ( n + m ) = F ( m ) + F ( n ) e αm , and, as this is an easy recurrence relation, it can be explicitly solved to give exactly F ( n ) = β ( e αn − , which is the image of b , hence we conclude that HH σ ( C ( Z )) = 0 . Observe that the abovefunction is also in the restricted cochain complex (as it is a linear combination of a constantfunction and σ ) so, we also have HH σ, ( C ( Z )) = 0 .
5. T HE C ONNES -M OSCOVICI H OPF - CYCLIC COHOMOLOGY FOR FUNCTIONS OVERDISCRETE GROUPS .The Hopf-cyclic cohomology of Hopf algebra has been constructed by Connes and Moscovici[1] on the basis of the cosimplicial module 4.2 using the nontrivial cyclicity operator τ n :(5.1) τ n ( h ⊗ . . . ⊗ h n ) := (cid:0) ∆ n − S ( δ,σ ) ( h ) (cid:1) (cid:0) h ⊗ . . . ⊗ h n ⊗ σ (cid:1) . First of all, observe that both the maps S δ,σ (acting is does in (5.1)) as well as the coproductdo extend to the multiplier M n ( H ) . The problem, however, is with the extension of the actionof the resulting tensor product (in the Hopf algebra case) to the multiplier. In other words, theproblem is to generalize the multiplication map µ : a ⊗ b → ab to M ( H ⊗ H ) → M ( H ) . Weleave the question, whether this problem can be circumvented to future work, and concentratehere on the easy case when this is possible, namely on commutative regular multiplier Hopfalgebras. Lemma 5.1.
Let H be a commutative regular multiplier Hopf algebra. Then for any elementsof the algebra, a , a , . . . , a n ∈ H and any y ∈ M n ( H ) the definition, (5.2) τ n ( y ) (cid:0) ∆ n − ( S δ,σ a )( a ⊗ · · · ⊗ a n ) (cid:1) = τ n (cid:0) y ( a ⊗ a · · · ⊗ a n − ) (cid:1) (1 ⊗ · · · ⊗ ⊗ a n ) , gives a well defined map from M n ( H ) into itself. Observe that the map τ n in (5.2) is defined on an element of the multiplier y in principle gives aleft multiplier only, however, as H is commutative it is equal to the right multiplier. Moreover,the arguments of τ n ( y ) are elements of the tensor product H ⊗ n that are of very special form,however, the regularity of H will ensure that this plays no role and the definition is valid.As the typical case of a commutative multiplier Hopf algebra is that of H = C ( G ) , where G isa discrete group, we shall omit the abstract proof of lemma 5.1 and provide an explicit formulafor τ n in that case. Fixing the notations as before with the modular element σ and a character δ (which we choose, motivated by Example 3.2 to be the counit, δ = ε ), we have. Proposition 5.2.
Let F : G n → C be an element of the multiplier M n ( C ( G )) . Then thecyclicity operator τ n acts in the following way: (5.3) τ n ( F )( g , g , . . . , g n ) = F (cid:0) ( g g · · · g n ) − , g , . . . , g n − (cid:1) σ ( g n ) . and τ n satisfies the same identities as the cyclicity operator for the cosimplicial module, that is δ p − τ n = τ n +1 δ p , ∀ p = { , . . . , n } ; τ n +1 δ = δ n σ p − τ n = τ n +1 σ p , ∀ p = { , . . . , n } ; τ n σ = σ n τ n +1 , τ n +1 n = id, Proof.
The formula (5.3) is a straightforward implementation of (5.2). Let us compute it ex-plicitly, using the following identity: e g ⊗ e g · · · e g n = (cid:0) ∆ n − Se ( g g ··· g n ) − (cid:1)(cid:0) e g ⊗ e g · · · ⊗ e g n (cid:1) . Then, ( τ n F ) (cid:0) e g ⊗ e g ⊗ · · · ⊗ e g n (cid:1) = τ n (cid:0) F ( e ( g g ··· g n ) − ⊗ e g ⊗ · · · ⊗ e g n − ) (cid:1) (1 ⊗ ⊗ · · · ⊗ e g n ) . Evaluating this expression on g ⊗ . . . ⊗ g n , we get ( τ n F )( g ⊗ . . . ⊗ g n )= τ n (cid:0) F ( e ( g g ··· g n ) − ⊗ e g ⊗ · · · ⊗ e g n − ) (cid:1) ( g ⊗ . . . ⊗ g n )= (cid:0) F ( e ( g g ··· g n ) − ⊗ e g ⊗ · · · ⊗ e g n − ) (cid:1) (( g . . . g n ) − ⊗ g ⊗ . . . ⊗ g n − ) σ ( g n )= F (( g . . . g n ) − , g , . . . , g n − ) σ ( g n ) . The only nontrivial identity of the relations above is the cyclicity of τ n , which we prove explic-itly by direct computation, (cid:0) ( τ n ) k F (cid:1) ( g , . . . , g n ) = (cid:0) ( τ n ) k − F (cid:1) ( (cid:0) ( g · · · g n ) − , g , . . . , g n − (cid:1) σ ( g n )= (cid:0) ( τ n ) k − F (cid:1) ( (cid:0) g n , ( g · · · g n ) − , g , . . . , g n − (cid:1) σ ( g n − ) σ ( g n )= . . . = F ( g n − k +2 , g g − k +3 , . . . , ( g · · · g n ) − , . . . , g n − k ) σ ( g n − k +1 ) · · · σ ( g n ) , for k = 1 , . . . n − . For k = n we have: (cid:0) ( τ n ) n F (cid:1) ( g , . . . , g n ) = F ( g , g , . . . , g n , ( g · · · g n ) − ) σ ( g ) · · · σ ( g n ) , and it is easy to see that ( τ n ) n +1 = id. (cid:3) As a consequence we may restrict the coboundary operator to the subcomplex of cyclic cochainsin the cosimplicial complex. Therefore we obtain,
Lemma 5.3.
Let { M ( C ( G )) n , δ i , σ j } be the cosimplicial module of Lemma 4.1, then with theabove defined τ n it becomes a cocyclic module and we can restrict the coboundary map to M ( C ( G ) nτ , which are cochains z that satisfy ( − n τ n ( x ) = x . The resulting Hopf-cyclic cohomology of C ( G ) is an interesting object which leave for futurestudy. Let us finish this section with an important remark. NOTE ON COHOMOLOGY FOR MULTIPLIER HOPF ALGEBRAS 13
Remark 5.4. If F is in M n ( C ( G )) , that is evaluated on arbitrary n − arguments, it is a finitesupport function of the remaining argument then τ n ( F ) is not necessarily in M n ( C ( G )) .To see the counterexample take G = Z and F ( m, n ) = q ( n ) δ − m,n for any function q . Itcertainly satisfies the assumptions, yet as we compute τ ( F )( m, n ) = F ( − m − n, m ) σ ( n ) = q ( − m − n ) δ m + n,m σ ( n ) , we see that at m = 0 it is a function q ( − n ) σ (0) = q ( − n ) , which is not finitely supported andnot necessarily in the algebra generated by C ( G ) and σ .The above observation is very significant, as it demonstrates that the cyclicity operator τ cannotbe restricted to the minimal cosimplicial complex that we studied in the previous section, as itfails to be so in the simplest case of discrete groups. Remark 5.5.
The image of the coboundary b in the space of 1-cochains is cyclic. Indeed, thecyclicity condition for 1-cochains is F ( g − ) σ ( g ) = − F ( g ) and the function f c ( g ) = c (1 − σ ( g )) satisfies it, since σ is a group morphism.6. C ONCLUSIONS AND OPEN PROBLEMS
In this short note we have demonstrated that the extension of the modular pairs in involution andthe Connes-Moscovici Hopf-cyclic cohomology is possible for commutative multiplier Hopfalgebras with the cocyclic object based on the space of all bounded functions. We provide acounterexample showing that the restricted multiplier cannot be invariant under the cyclicityoperator. The question, whether similar construction is possible for arbitrary regular multiplierHopf algebras is still an open problem.The definition of the modular pairs of involution for the algebra of functions over discrete groupsand the related cohomology groups leads to the problem of relating the presented cohomologytheory to the already existing ones. In particular, it will be interesting to compute the relevantcohomology for the examples of multiplier Hopf algebras as the one discussed in the example3.3. We leave that for future work. R
EFERENCES [1] Connes, A., Moscovici, H.: Hopf algebras, cyclic cohomology and the transverse index theorem. Commun.Math. Phys. 198(1), 199–246 (1998).[2] Connes, A. and Moscovici, H.: Cyclic cohomology and Hopf algebras, Lett. Math. Phys. 48, 96–108, (1999).[3] Drabant, B., Van Daele, A., Zhang, Y.: Actions of multiplier Hopf algebras. Comm. Algebra, 27(9), 4117–4172(1999).[4] A. van Daele,
Tools for working with multiplier Hopf algebras , arXiv:0806.2089.[5] A. van Daele,
Multiplier Hopf algebras
Trans. Amer. Math. Soc., 342, 917–932 (1994).[6] A. Van Daele, Y. Zhang,
Corepresention theory of multiplier Hopf algebras I.
Intern. J. Math., 10(4), 503–530(1999).[7] H. Kurose, A. Van Daele, Y. Zhang,
Corepresention theory of multiplier Hopf algebras II.
Intern. J. Math.,11(2), 233–278 (2000).[8] P.M. Hajac, M. Khalkhali, B. Rangipour and Y. Sommerhäuser,
Stable anti-Yetter-Drinfeld modules , C. R.Math. Acad. Sci. Paris 338, 587–590, (2004).[9] P.M. Hajac, M. Khalkhali, B. Rangipour and Y. Sommerhäuser,
Hopf-cyclic homology and cohomology withcoefficients , C. R. Math. Acad. Sci. Paris 338, 667–672, (2004).[10] P. M. Hajac and T. Masuda, Quantum double-torus, C. R. Acad. Sci. Paris Ser. I Math. 327, 553–558, (1998) [11] G. Haghighatdoost, H.A. Makrani, R. Mahjoubi,
On the cyclic homology of multiplier Hopf algebras
SahandCommunications in Mathematical Analysis (SCMA) Vol. 9 No. 1, 113-128, (2018).[12] P. Jara, D. Stefan,
Cyclic homology of Hopf-Galois extensions and Hopf algebras , Proc. London Math. Soc.(3) 93, 138–174, (2006).[13] A. Sitarz,
Equivariant spectral triples , Banach Center Publ., 61,231–263, (2003)I
NSTITUTE OF P HYSICS , J
AGIELLONIAN U NIVERSITY , PROF . S
TANISŁAWA Ł OJASIEWICZA
11, 30-348 K
RAKÓW ,P OLAND .I NSTITUTE OF M ATHEMATICS OF THE P OLISH A CADEMY OF S CIENCES , ´S
NIADECKICH
8, 00-950 W
ARSZAWA ,P OLAND . E-mail address : [email protected] (b) D EPARTMENT OF M ATHEMATICAL M ETHODS IN P HYSICS , F
ACULTY OF P HYSICS , U
NIVERSITY OF W AR - SAW , P
ASTEURA
5, 02-093 W
ARSZAWA , P
OLAND
E-mail address ::