We show by a direct computation that, for any Hopf algebra with a modulus-like character, the formulas first introduced in [CM] in the context of characteristic classes for actions of Hopf algebras, do define a cyclic module. This provides a natural generalization of Lie algebra cohomology to the general framework of Noncommutative Geometry, which covers the case of the Hopf algebra associated to n-dimensional transverse geometry [CM] as well as the function algebras of the classical quantum groups.
We develop intrinsic tools for computing the periodic Hopf cyclic cohomology of Hopf algebras related to transverse symmetry in codimension 1. Besides the Hopf algebra found by Connes and the first author in their work on the local index formula for transversely hypoelliptic operators on foliations, this family includes its `Schwarzian' quotient, on which the Rankin-Cohen universal deformation formula is based, the extended Connes-Kreimer Hopf algebra related to renormalization of divergences in QFT, as well as a series of cyclic coverings of these Hopf algebras, motivated by the treatment of …
Cyclic cohomology has been recently adapted to the treatment of Hopf symmetry in noncommutative geometry. The resulting theory of characteristic classes for Hopf algebras and their actions on algebras allows to expand the range of applications of cyclic cohomology. It is the goal of the present paper to illustrate these recent developments, with special emphasis on the application to transverse index theory, and point towards future directions. In particular, we highlight the remarkable accord between our framework for cyclic cohomology of Hopf algebras on one hand and both the algebraic as we…
We associate canonically a cyclic module to any Hopf algebra endowed with a modular pair, consisting of a group-like element and a character, in involution. This provides the key construct allowing to extend cyclic cohomology to Hopf algebras in the non-unimodular case and further to develop a theory of characteristic classes for actions of Hopf algebras compatible not only with traces but also with the modular theory of weights. It applies to ribbon and to coribbon algebras, as well as to quantum groups and their duals.
In this article, we will define two canonical cohomology theories for Hopf $C^*$-algebras and for Hopf von Neumann algebras (with coefficients in their bicomodules). We will then study the situations when these cohomologies vanish. The cases of locally compact groups and compact quantum groups will be considered in more details.
We give a construction of cyclic cocycles representing the equivariant characteristic classes of equivariant bundles. Our formulas generalize Connes' Godbillon-Vey cyclic cocycle. An essential tool of our construction is Connes-Moscovici's theory of cyclic cohomology of Hopf algebras.
This paper is an introduction to Hopf cyclic cohomology with an emphasis on its most recent developments. We cover three major areas: the original definition of Hopf cyclic cohomology by Connes and Moscovici as an outgrowth of their study of transverse index theory on foliated manifolds, the introduction of Hopf cyclic cohomology with coefficients by Hajac-Khalkhali-Rangipour-Sommerhauser, and finally the latest episode on unifying the coefficients as well as extending the notion to more general settings beyond Hopf algebras. In particular, the last section discusses the relative Hopf cyclic t…
We refine the cyclic cohomological apparatus for computing the Hopf cyclic cohomology of the Hopf algebras associated to infinite primitive Cartan-Lie pseudogroups, and for the transfer of their characteristic classes to foliations. The main novel feature is the precise identification as a Hopf cyclic complex of the image of the canonical homomorphism from the Gelfand-Fuks complex to the Bott complex for equivariant cohomology. This provides a convenient new model for the Hopf cyclic cohomology of the geometric Hopf algebras, which allows for an efficient transport of the Hopf cyclic classes v…
We investigate the equivariant and Hopf-cyclic cohomology of module algebras over Hopf algebroids and derive their Morita invariance. For this, we use the tools developed by McCarthy for $k$-linear categories and subsequently by Kaygun and Khalkhali for a certain class of categories, called as $H$-categories, for a Hopf algebra $H$.
In this note we discuss the possibility of constructing the cosimplicial complex for the multiplier Hopf algebras and extending the cyclicity operator to obtain the Hopf-cyclic cohomology for them. We show that the definition of modular pairs in involution for multiplier Hopf algebras and provide the definition of Hopf-cyclic cohomology for algebras of functions over discrete groups.
We review recent progress in the study of cyclic cohomology of Hopf algebras, Hopf algebroids, and invariant cyclic homology starting with the pioneering work of Connes-Moscovici.
Let $m$ a positive integer, not divisible by 2,3,5,7. We generalize the classification of basic quasi-Hopf algebras over cyclic groups of prime order given in \cite{EG3} to the case of cyclic groups of order $m$. To this end, we introduce a family of non-semisimple radically graded quasi-Hopf algebras $A(H,s)$, constructed as subalgebras of Hopf algebras twisted by a quasi-Hopf twist, which are not twist equivalent to Hopf algebras. Any basic quasi-Hopf algebra over a cyclic group of order $m$ is either semisimple, or is twist equivalent to a Hopf algebra or a quasi-Hopf algebra of type $A(H,s…
A new quantization of groupoids under the name of \times-Hopf coalgebras is introduced. We develop a Hopf cyclic theory with coefficients in stable-anti-Yetter-Drinfeld modules for \times-Hopf coalgebras. We use \times-Hopf coalgebras to study coextensions of coalgebras. Finally, equivariant \times-Hopf coalgebra Galois coextensions are defined and applied as functors between categories of stable anti-Yetter-Drinfeld modules over \times-Hopf coalgebras involved in the coextension.
We associate to each infinite primitive Lie pseudogroup a Hopf algebra of `transverse symmetries', by refining a procedure due to Connes and the first author in the case of the general pseudogroup. The affiliated Hopf algebra can be viewed as a `quantum group' counterpart of the infinite-dimensional primitive Lie algebra of the pseudogroup. It is first constructed via its action on the étale groupoid associated to the pseudogroup, and then realized as a bicrossed product of a universal enveloping algebra by a Hopf algebra of regular functions on a formal group. The bicrossed product structure …
We present results relating the Hopf cyclic cohomology of the Hopf algebra of moving frames with that of the DG Hopf algebra of moving coframes, analogous to the van Est isomorphism between Lie algebra cohomology and continuous group cohomology.
We show that various cyclic and cocyclic modules attached to Hopf algebras and Hopf modules are related to each other via Connes' duality isomorphism for the cyclic category.
Various aspects of the de Rham cohomology of Hopf algebras are discussed. In particular, it is shown that the de Rham cohomology of an algebra with the differentiable coaction of a cosemisimple Hopf algebra with trivial 0-th cohomology group, reduces to the de Rham cohomology of (co)invariant forms. Spectral sequences are discussed and the van Est spectral sequence for Hopf algebras is introduced. A definition of Hopf-Lie algebra cohomology is also given.
A cyclic cohomology theory adapted to Hopf algebras has been introduced recently by Connes and Moscovici. In this paper, we consider this object in the homological framework, in the spirit of Loday-Quillen and Karoubi's work on the cyclic homology of associative algebras. In the case of group algebras, we interpret the decomposition of the classical cyclic homology of a group algebra in terms of this homology. We also compute both cyclic homologies for truncated quiver algebras.
We present a geometric approach, in the spirit of the Chern-Weil theory, for constructing cocycles representing the classes of the Hopf cyclic cohomology of the Hopf algebra H(n) relative to GL(n, R). This provides an explicit description of the universal Hopf cyclic Chern classes, which complements our earlier geometric realization of the Hopf cyclic characteristic classes of foliations.
This is primarily a survey of the way in which Hopf cyclic cohomology has emerged and evolved, in close relationship with the application of the noncommutative local index formula to transverse index theory on foliations. Being Diff-invariant, the geometric framework that allowed us to treat the `space of leaves' of a general foliation provides a `background independent' set-up for geometry that could be of relevance to the handling of the the background independence problem in quantum gravity. With this potential association in mind, we have added some new material, which complements the orig…
We introduce and study non-abelian cohomology sets of Hopf algebras with coefficients in Hopf comodule algebras. We prove that these sets generalize as well Serre's non-abelian group cohomology theory as the cohomological theory constructed by the authors in a previous article. We establish their functoriality and compute explicit examples. Further we classify Hopf torsors.
We study the non-abelian Hopf cohomology theory of Radford products with coefficients in a comodule algebra. We show that these sets can be expressed in terms of the non-abelian Hopf cohomology theory of each factor of the Radford product. We write down an exact sequence relating these objects. This allows to compute explicitly the non-abelian Hopf cohomology sets in large classes of examples.
We prove a cyclic cohomological analogue of Haefliger's van Est-type theorem for the groupoid of germs of diffeomorphisms of a manifold. The differentiable version of cyclic cohomology is associated to the algebra of transverse differential operators on that groupoid, which is shown to carry an intrinsic Hopf algebraic structure. We establish a canonical isomorphism between the periodic Hopf cyclic cohomology of this extended Hopf algebra and the Gelfand-Fuchs cohomology of the Lie algebra of formal vector fields. We then show that this isomorphism can be explicitly implemented at the cochain …
We construct a Hopf action, with an invariant trace, of a bicrossed product Hopf algebra $\cH=\big( \cU(\Fg_1) \acr \cR(G_2) \big)^{\cop}$ constructed from a matched pair of Lie groups $G_1$ and $G_2$, on a convolution algebra $\cA=C_c^{\ify}(G_1)\rtimes G_2^δ$. We give an explicit way to construct Hopf cyclic cohomology classes of our Hopf algebra $\cH$ and then realize these classes in terms of explicit representative cocycles in the cyclic cohomology of the convolution algebra $\cA$.
We construct cup products of two different kinds for Hopf-cyclic cohomology. When the Hopf algebra reduces to the ground field our first cup product reduces to Connes' cup product in ordinary cyclic cohomology. The second cup product generalizes Connes-Moscovici's characteristic map for actions of Hopf algebras on algebras.
In this paper, we compute the entire cyclic cohomology of noncommutative 3-spheres. First of all, we verify the Mayer-Vietoris exact sequence of entire cyclic cohomology in the framework of Fréchet $^*$-algebras. Applying it to their noncommutative Heegaard decomposition, we deduce that their entire cyclic cohomology is isomorphic to the d'Rham homology of the ordinary 3-sphere with the complex coefficients.
In this paper we propose still another approach to the Hopf-type cyclic homology of Hopf algebras, introduced by A. Connes and H. Moscovici. Our construction is based on the notion of "universal differential calculus" on an algebra. Few remarks, concerning the possible generalizations and applications of this approach are made. (This is only a preliminary version of the paper. Only outlines of some ideas are given.)
Let H be a Hopf algebra. By definition a modular crossed H-module is a vector space M on which H acts and coacts in a compatible way. To every modular crossed H-module M we associate a cyclic object Z(H,M). The cyclic homology of Z(H,M) extends the usual cyclic homology of the algebra structure of H, and the relative cyclic homology of an H-Galois extension. For a Hopf subalgebra K we compute, under some assumptions, the cyclic homology of an induced modular crossed module. As a direct application of this computation, we describe the relative cyclic homology of strongly graded algebras. In par…
Given a Hopf algebra A, there exist various cohomology theories for the category of Hopf bimodules over A, introduced by M. Gerstenhaber and S.D. Schack, and by C. Ospel. We prove, when A is finite dimensional, that they are equal to the Ext functor on the module category of an associative algebra associated to A, described by C. Cibils and M. Rosso. We also give an expression for a cup-product in the cohomology defined by C. Ospel, and prove that it corresponds to the Yoneda product of extensions.
We define the notion of equivariant Hopf Galois extension and apply it as a functor between category of SAYD modules of the Hopf algebras involving in the extension. This generalizes the result of Jara-Stefan and Böhm-Stefan on associating a SAYD modules to any ordinary Hopf Galois extension.
We give some general results on the ring structure of Hochschild cohomology of smash products of algebras with Hopf algebras. We compute this ring structure explicitly for a large class of finite dimensional Hopf algebras of rank one.
We give a systematic description of the cyclic cohomology theory of Hopf algebroids in terms of its associated category of modules. Then we introduce a dual cyclic homology theory by applying cyclic duality to the underlying cocyclic object. We derive general structure theorems for these theories in the special cases of commutative and cocommutative Hopf algebroids. Finally, we compute the cyclic theory in examples associated to Lie-Rinehart algebras and étale groupoids.
We construct several pairings in Hopf-cyclic cohomology of (co)module (co)algebras with arbitrary coefficients. The key ideas instrumental in constructing these pairings are the derived functor interpretation of Hopf-cyclic and equivariant cyclic (co)homology, and the Yoneda interpretation of Ext-groups. As a special case of one of these pairings, we recover the Connes-Moscovici characteristic map in Hopf-cyclic cohomology. We also prove that this particular pairing, along with few others, would stay the same if we replace the derived category of (co)cyclic modules with the homotopy category o…
In this paper we present the Sweedler cohomology for a cocommutative weak Hopf algebra H. We show that the second cohomology group classifies completely the weak crossed products, having a common preunit, of H with a commutative left H-module algebra A.
We show that the Connes-Moscovici cyclic cohomology of a Hopf algebra equipped with a character has a Lie bracket of degree -2. More generally, we show that a "cyclic operad with multiplication" is a cocyclic module whose cohomology is a Batalin-Vilkovisky algebra and whose cyclic cohomology is a graded Lie algebra of degree -2. This explain why the Hochschild cohomology algebra of a symmetric algebra is a Batalin-Vilkovisky algebra.
We propose a detailed systematic study of a group H^2_L(A) associated, by elementary means of lazy 2-cocycles, to any Hopf algebra A. This group was introduced by Schauenburg (with a different name) in order to generalize G.I. Kac's exact sequence. We study the various interplays of lazy cohomology in Hopf algebra theory: Galois and biGalois objects, Brauer groups and projective representations. We obtain a Kac-Schauenburg-type sequence for double crossed products of possibly infinite-dimensional Hopf algebras. Finally the explicit computation of H^2_L(A) for monomial Hopf algebras and for a c…
In this review we discuss the relevance of the Hochschild cohomology of renormalization Hopf algebras for local quantum field theories and their equations of motion.
By work of Farinati, Solberg, and Taillefer, it is known that the Hopf algebra cohomology of a quasi-triangular Hopf algebra, as a graded Lie algebra under the Gerstenhaber bracket, is abelian. Motivated by the question of whether this holds for nonquasi-triangular Hopf algebras, we show that Gerstenhaber brackets on Hopf algebra cohomology can be expressed via an arbitrary projective resolution using Volkov's homotopy liftings as generalized to some exact monoidal categories. This is a special case of our more general result that a bracket operation on cohomology is preserved under exact mono…
The correspondence between Lie algebras, Lie groups, and algebraic groups, on one side and commutative Hopf algebras on the other side are known for a long time by works of Hochschild-Mostow and others. We extend this correspondence by associating a noncommutative noncocommutative Hopf algebra to any matched pair of Lie algebras, Lie groups, and affine algebraic groups. We canonically associate a modular pair in involution to any of these Hopf algebras. More precisely, to any locally finite representation of a matched pair object as above we associate a SAYD module to the corresponding Hopf al…
We extend the formalism of Hopf cyclic cohomology to the context of braided categories. For a Hopf algebra in a braided monoidal abelian category we introduce the notion of stable anti-Yetter-Drinfeld module. We associate a para-cocyclic and a cocyclic object to a braided Hopf algebra endowed with a braided modular pair in involution in the sense of Connes and Moscovici. When the braiding is symmetric the full formalism of Hopf cyclic cohomology with coefficients can be extended to our categorical setting.
We apply categorical machinery to the problem of defining cyclic cohomology with coefficients in two particular cases, namely quasi-Hopf algebras and Hopf algebroids. In the case of the former, no definition was thus far available in the literature, and while a definition exists for the latter, we feel that our approach demystifies the seemingly arbitrary formulas present there. This paper emphasizes the importance of working with a biclosed monoidal category in order to obtain natural coefficients for a cyclic theory that are analogous to the stable anti-Yetter-Drinfeld contramodules for Hopf…
If A is a bialgebra over a field k and M, N are either left-right Yetter-Drinfel'd modules or left-right Hopf modules over A, we construct deformation cohomologies H^*(M,N) as total cohomologies of certain double complexes Y(M,N) and C(M,N), respectively. In both cases, H^1(M,N) is isomorphic to the group of equivalence classes of extensions of M by N in the corresponding category. In the Yetter-Drinfel'd case, H^*(k,k) is just the Gerstenhaber-Schack cohomology of the bialgebra A. If M, N are Hopf bimodules we construct a natural subbicomplex of the above C(M,N), yielding a cohomology theory …
In this dissertation we study the coefficients spaces (SAYD modules) of Hopf-cyclic cohomology theory over a certain family of bicrossed product Hopf algebras, and we compute the Hopf-cyclic cohomology of such Hopf algebras with coefficients. We associate a Hopf algebra, what we call a Lie-Hopf algebra, to any matched pair of Lie groups, Lie algebras and affine algebraic groups via the semi-dualization procedure of Majid. We then identify the SAYD modules over Lie-Hopf algebras with the representations and corepresentations of the total Lie group, Lie algebra or the affine algebraic group of t…
In earlier joint work with A. Connes on transverse index theory on foliations, cyclic cohomology adapted to Hopf algebras has emerged as a decisive tool in deciphering the total index class of the hypoelliptic signature operator. We have found a Hopf algebra H(n), playing the role of a `quantum structure group' for the `space of leaves' of a codimension n foliation, whose Hopf cyclic cohomology is canonically isomorphic to the Gelfand-Fuks cohomology of the Lie algebra of formal vector fields. However, with a few low-dimensional exceptions, no explicit construction was known for its Hopf cycli…
We use stable anti Yetter-Drinfeld contramodules to improve the cup products in Hopf cyclic cohomology. The improvement fixes the lack of functoriality of the cup products previously defined and show that the cup products are sensitive to the coefficients.
A category of coefficients for Hopf cyclic cohomology is defined. It is shown that this category has two proper subcategories of which the smallest one is the known category of stable anti Yetter-Drinfeld modules. The middle subcategory is comprised of those coefficients which satisfy a generalized SAYD condition depending on both the Hopf algebra and the (co)algebra in question. Some examples are introduced to show that these three categories are different. It is shown that all components of Hopf cyclic cohomology work well with the new coefficients we have defined.
In this paper we calculate both the periodic and non-periodic Hopf-cyclic cohomology of Drinfeld-Jimbo quantum enveloping algebra $U_q(\mathfrak{g})$ for an arbitrary semi-simple Lie algebra $\mathfrak{g}$ with coefficients in a modular pair in involution. We show that its Hochschild cohomology is concentrated in a single degree determined by the rank of the Lie algebra $\mathfrak{g}$.
In this work, the cohomology theory for partial actions of co-commutative Hopf algebras over commutative algebras is formulated. This theory generalizes the cohomology theory for Hopf algebras introduced by Sweedler and the cohomology theory for partial group actions, introduced by Dokuchaev and Khrypchenko. Some nontrivial examples, not coming from groups are constructed. Given a partial action of a co-commutative Hopf algebra $H$ over a commutative algebra $A$, we prove that there exists a new Hopf algebra $\widetilde{A}$, over a commutative ring $E(A)$, upon which $H$ still acts partially a…
We consider Hopf crossed products of the the type $A#_σ\mathcal{H}$, where $\mathcal{H}$ is a cocommutative Hopf algebra, $A$ is an $\mathcal{H}$-module algebra and $σ$ is a "numerical" convolution invertible 2-cocycle on $\mathcal{H}$. we give an spectral sequence that converges to the cyclic homology of $A#_σ\mathcal{H}$ and identify the $E^1$ and $E^2$ terms of the spectral sequence.
We construct, study, and apply a characteristic map from the relative periodic cyclic homology of the quotient map for a group action to the periodic Hopf-cyclic homology with coefficients associated with inertia of the action. This result admits, and in fact, comes from, its noncommutative-geometric, or quantized, counterpart. The crucial ingredient is the construction of the appropriate quantization of the cyclic nerve of the action groupoid, the cyclic object related to inertia, as the Connes-cyclic dual of a Hopf-cyclic object with coefficients in some stable anti-Yetter--Drinfeld module q…
We give explicit formulas for maps in a long exact sequence connecting bialgebra cohomology to Hochschild cohomology. We give a sufficient condition for the connecting homomorphism to be surjective. We apply these results to compute all bialgebra two-cocycles of certain Radford biproducts (bosonizations). These two-cocycles are precisely those associated to the finite dimensional pointed Hopf algebras in the recent classification of Andruskiewitsch and Schneider, in an interpretation of these Hopf algebras as graded bialgebra deformations of Radford biproducts.
In our previous work, Hopf cyclic cohomology in braided monoidal categories, we extended the formalism of Hopf cyclic cohomology due to Connes and Moscovici and the more general case of Hopf cyclic cohomology with coefficients to the context of abelian braided monoidal categories. In this paper we go one step further in reducing the restriction of the ambient category being symmetric. We let the ambient category to be non-symmetric but assume only the restriction on the braid map for the Hopf algebra object (in that category) which is the main player in the theory. In the case of Hopf cyclic c…
A cohomology theory of the adjoint of Hopf algebras, via deformations, is presented by means of diagrammatic techniques. Explicit calculations are provided in the cases of group algebras, function algebras on groups, and the bosonization of the super line. As applications, solutions to the YBE are given and quandle cocycles are constructed from groupoid cocycles.
In this note we prove that the constant and equivariant cyclic cohomology of algebras coincide. This shows that constant cyclic cohomology is rich and computable.
In this paper, we establish the invariance of cyclic (co)homology of left Hopf algebroids under the change of Morita equivalent base algebras. The classical result on Morita invariance for cyclic homology of associative algebras appears as a special example of this theory. In our main application we consider the Morita equivalence between the algebra of complex-valued smooth functions on the classical 2-torus and the coordinate algebra of the noncommutative 2-torus with rational parameter. We then construct a Morita base change left Hopf algebroid over this noncommutative 2-torus and show that…
