We prove that Ext^*_A(k,k) is a Gerstenhaber algebra, where A is a Hopf algebra. In case A=D(H) is the Drinfeld double of a finite dimensional Hopf algebra H, our results implies the existence of a Gerstenhaber bracket on H^*_{GS}(H,H). This fact was conjectured by R. Taillefer in math.KT0207154. The method consists in identifying Ext^*_A(k,k) as a Gerstenhaber subalgebra of H^*(A,A) (the Hochschild cohomology of A).
A natural extension of the Hopf-cyclic cohomology, with coefficients, is introduced to encompass topological Hopf algebras. The topological theory allows to work with infinite dimensional Lie algebras. Furthermore, the category of coefficients (AYD modules) over a topological Lie algebra and those over its universal enveloping (Hopf) algebra are isomorphic. For topological Hopf algebras, the category of coefficients is identified with the representation category of a topological algebra called the anti-Drinfeld double. Finally, a topological van Est type isomorphism is detailed, connecting the…
In this paper we study the cyclic cohomology of certain x-Hopf algebras: universal enveloping algebras, quantum algebraic tori, the Connes-Moscovici x-Hopf algebroids and the Kadison bialgebroids. Introducing their stable anti Yetter-Drinfeld modules and cocyclic modules, we compute their cyclic cohomology. Furthermore, we provide a pairing for the cyclic cohomology of x-Hopf algebras which generalizes the Connes-Moscovici characteristic map to x-Hopf algebras. This enables us to transfer the x-Hopf algebra cyclic cocycles to algebra cyclic cocycles.
We show that all pairings defined in the literature extending Connes-Moscovici characteristic map in Hopf-cyclic cohomology are isomorphic as natural transformations of derived double functors.
We discuss a new strategy for the computation of the Hopf-cyclic cohomology of the Connes-Moscovici Hopf algebra $\mathcal{H}_n$. More precisely, we introduce a multiplicative structure on the Hopf-cyclic complex of $\mathcal{H}_n$, and we show that the van Est type characteristic homomorphism from the Hopf-cyclic complex of $\mathcal{H}_n$ to the Gelfand-Fuks cohomology of the Lie algebra $W_n$ of formal vector fields on $\mathbb{R}^n$ respects this multiplicative structure. We then illustrate the machinery for $n=1$.
We introduce the concept of {\it para-Hopf algebroid} and define their cyclic cohomology in the spirit of Connes-Moscovici cyclic cohomology for Hopf algebras. Para-Hopf algebroids are closely related to, but different from, Hopf algebroids. Their definition is motivated by attempting to define a cyclic cohomology theory for Hopf algebroids in general. We show that many of Hopf algebraic structures, including the Connes-Moscovici algebra $\mathcal{H}_{FM}$, are para-Hopf algebroids.
We define cup coproducts for Hopf cyclic cohomology of Hopf algebras and for its dual theory. We show that for universal enveloping algebras and group algebras our coproduct recovers the standard coproducts on Lie algebra homology and group homology, respectively.
In this note the categories of coefficients for Hopf cyclic cohomology of comodule algebras and comodule coalgebras are extended. We show that these new categories have two proper different subcategories where the smallest one is the known category of stable anti Yetter-Drinfeld modules. We prove that components of Hopf cyclic cohomology such as cup products work well with these new coefficients.
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.
We introduce non-abelian cohomology sets of Hopf algebras with coefficients in Hopf modules. We prove that these sets generalize Serre's non-abelian group cohomology theory. Using descent techniques, we establish that our construction enables to classify as well twisted forms for modules over Hopf-Galois extensions as torsors over Hopf-modules.
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 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.
For module algebras and module coalgebras over an arbitrary bialgebra, we define two types of bivariant cyclic cohomology groups called bivariant Hopf cyclic cohomology and bivariant equivariant cyclic cohomology. These groups are defined through an extension of Connes' cyclic category $Λ$. We show that, in the case of module coalgebras, bivariant Hopf cyclic cohomology specializes to Hopf cyclic cohomology of Connes and Moscovici and its dual version by fixing either one of the variables as the ground field. We also prove an appropriate version of Morita invariance for both of these theories.
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 introduce a Hopf algebroid associated to a proper Lie group action on a smooth manifold. We prove that the cyclic cohomology of this Hopf algebroid is equal to the de Rham cohomology of invariant differential forms. When the action is cocompact, we develop a generalized Hodge theory for the de Rham cohomology of invariant differential forms. We prove that every cyclic cohomology class of the Hopf algebroid is represented by a generalized harmonic form. This implies that the space of cyclic cohomology of the Hopf algebroid is finite dimensional. As an application of the techniques developed …
We define an equivariant $K_0$-theory for \textit{Yetter-Drinfeld} algebras over a Hopf algebra with an invertible antipode. We then show that this definition can be generalized to all Hopf-module algebras. We show that there exists a pairing, generalizing Connes' pairing, between this theory and a suitably defined Hopf algebra equivariant cyclic cohomology theory.
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.
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…
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}$.
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…
This is the first one in a series of two papers on the continuation of our study in cup products in Hopf cyclic cohomology. In this note we construct cyclic cocycles of algebras out of Hopf cyclic cocycles of algebras and coalgebras. In the next paper we consider producing Hopf cyclic cocycle from "equivariant" Hopf cyclic cocycles. Our approach in both situations is based on (co)cyclic modules and bi(co)cyclic modules together with Eilenberg-Zilber theorem which is different from the old definition of cup products defined via traces and cotraces on DG algebras and coalgebras.
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…
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 prove finite generation of the cohomology ring of any finite dimensional pointed Hopf algebra, having abelian group of grouplike elements, under some mild restrictions on the group order. The proof uses the recent classification by Andruskiewitsch and Schneider of such Hopf algebras. Examples include all of Lusztig's small quantum groups, whose cohomology was first computed explicitly by Ginzburg and Kumar, as well as many new pointed Hopf algebras. We also show that in general the cohomology ring of a Hopf algebra in a braided category is braided commutative. As a consequence we obtain som…
We extend the notion of monogenic extension to the noncommutative setting, and we study the Hochschild cohomology ring of such an extension. As an aplication we complete the computation of the cohomology ring of the rank one Hopf algebras beggined in [S. M. Burciu and S. J. Witherspoon, Hochschild cohomology of smash products and rank one Hopf algebras].
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 define cyclic cohomology of corings over not necessarily commutative algebras. We observe that the key fact which allows us to define this complex is that enveloping algebra of an algebra is a para Hopf algebroid. This observation enables us to define Hopf cyclic cohomology of corings on which para Hopf algebroids act.
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 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…
We show that the braided Hochschild cohomology, of an algebra in a suitably algebraic braided monoidal category, admits a graded ring structure under which it is braided commutative. We then give a canonical identification between the usual Hochschild cohomology ring of a smash product and the (derived) invariants of its braided Hochschild cohomology ring. We apply our results to identify the associative formal deformation theory of a smash product with its formal deformation theory as a module algebra over the given Hopf algebra (when the Hopf algebra is sufficiently semisimple). As a second …
This paper is concerned with the theory of cup-products in Hopf-type cyclic cohomology of algebras and coalgebras. Here we give detailed proofs of the statements, announced in our previous paper. We show that the cyclic cohomology of a coalgebra can be obtained from a construction involving noncommutative Weil algebra. Then we use a generalization of Quillen and Crainic's construction to define the cup-product. We discuss the relation of the introduced cup-product and $S$-operations on cyclic cohomology. After this we describe the relation of this type of product and bivariant cyclic cohomolog…
Let A be any finite dimensional Hopf algebra over a field k. We specify the Tate and Tate-Hochschild cohomology for A and introduce cup products that make them become graded rings. We establish the relationship between these rings. In particular, the Tate-Hochschild cohomology of A is isomorphic (as algebras) to its Tate cohomology with coefficients in an adjoint module. Consequently, the Tate cohomology ring of A is a direct summand of its Tate-Hochschild cohomology ring. As an example, we explicitly compute both the Tate and Tate-Hochschild cohomology for the Sweedler algebra H_4.
Following the idea of an invariant differential complex, we construct general-type cyclic modules that provide the common denominator of known cyclic theories. The cyclicity of these modules is governed by Hopf-algebraic structures. We prove that the existence of a cyclic operator forces a modification of the Yetter-Drinfeld compatibility condition leading to the concept of a stable anti-Yetter-Drinfeld module. This module plays the role of the space of coefficients in the thus obtained cyclic cohomology of module algebras and coalgebras, and the cyclic homology and cohomology of comodule alge…
We extend our work in~\cite{rm01} to the case of Hopf comodule coalgebras. We introduce the cocylindrical module $C \natural^{} \mathcal{H}$, where $\mathcal{H}$ is a Hopf algebra with bijective antipode and $C$ is a Hopf comodule coalgebra over $\mathcal{H}$. We show that there exists an isomorphism between the cocyclic module of the crossed coproduct coalgebra $C > \blacktriangleleft \mathcal{H} $ and $Δ(C \natural^{}\mathcal{H}) $, the cocyclic module related to the diagonal of $C \natural^{} \mathcal{H}$. We approximate $HC^{\bullet}(C > \blacktriangleleft \mathcal{H}) $ by a spectral sequ…
REVISED VERSION: We have re-organized the paper, and included some new results. Most important, we prove that the (truncated) Weil complexes compute the cyclic cohomology of the Hopf algebra (see the new Theorem 7.3). We also include a short discussion on the uni-modulare case, and the computation for $H= U_q(sl_2)$. THE OLD ABSTRACT: We give a construction of Connes-Moscovici's cyclic cohomology for any Hopf algebra equipped with a twisted antipode. Furthermore, we introduce a non-commutative Weil complex, which connects the work of Gelfand and Smirnov with cyclic cohomology. We show how the …
We compute the mod-2 cohomology of the collection of all symmetric groups as a Hopf ring, where the second product is the transfer product of Strickland and Turner. We first give examples of related Hopf rings from invariant theory and representation theory. In addition to a Hopf ring presentation, we give geometric cocycle representatives and explicitly determine the structure as an algebra over the Steenrod algebra. All calculations are explicit, with an additive basis which has a clean graphical representation. We also briefly develop related Hopf ring structures on rings of symmetric invar…
We show that the cohomology ring of a finite-dimensional complex pointed Hopf algebra with an abelian group of group-like elements is finitely generated. Our strategy has three major steps. We first reduce the problem to the finite generation of cohomology of finite dimensional Nichols algebras of diagonal type. For the Nichols algebras we do a detailed analysis of cohomology via the Anick resolution reducing the problem further to specific combinatorial properties. Finally, to check these properties we turn to the classification of Nichols algebras of diagonal type due to Heckenberger. In thi…
We calculate the Gerstenhaber bracket on Hopf algebra and Hochschild cohomologies of the Taft algebra $T_p$ for any integer $p>2$ which is a nonquasi-triangular Hopf algebra. We show that the bracket is indeed zero on Hopf algebra cohomology of $T_p$, as in all known quasi-triangular Hopf algebras. This example is the first known bracket computation for a nonquasi-triangular algebra. Also, we find a general formula for the bracket on Hopf algebra cohomology of any Hopf algebra with bijective antipode on the bar resolution that is reminiscent of Gerstenhaber's original formula for Hochschild co…
We define a version of Hochschild homology and cohomology suitable for a class of algebras admitting compatible actions of bialgebras, called module algebras. We show this (co)homology, called Hopf--Hochschild (co)homology, can also be defined as a derived functor on the category of representations of a crossed product algebra. We investigate the relationship of our theory with Hopf cyclic cohomology and also prove Morita invariance of the Hopf--Hochschild (co)homology.
We show that the Gerstenhaber-Schack cohomology of a Hopf algebra determines its Hochschild cohomology, and in particular its Gerstenhaber-Schack cohomological dimension bounds its Hochschild cohomological dimension, with equality of the dimensions when the Hopf algebra is cosemisimple of Kac type. Together with some general considerations on free Yetter-Drinfeld modules over adjoint Hopf subalgebras and the monoidal invariance of Gerstenhaber-Schack cohomology, this is used to show that both Gerstenhaber-Schack and Hochschild cohomological dimensions of the coordinate algebra of the quantum p…
The main goal of this paper is to investigate the structure of Hopf algebras with the property that either its Jacobson radical is a Hopf ideal or its coradical is a subalgebra. In order to do that we define the Hochschild cohomology of an algebra in an abelian monoidal category. Then we characterize those algebras which have dimension less than or equal to 1 with respect to Hochschild cohomology. Now let us consider a Hopf algebra A such that its Jacobson radical J is a nilpotent Hopf ideal and H:=A/J is a semisimple algebra. By using our homological results, we prove that the canonical proje…
We provide a new algebraic description of the structure on the set of all unstable cohomology operations for a suitable generalised cohomology theory, E^*. Our description is as a graded and completed version of a Tall-Wraith monoid. The E^*-cohomology of a space X is a module for this Tall-Wraith monoid. We also show that the corresponding Hopf ring of unstable co-operations is a module for the Tall-Wraith monoid of unstable operations. Further examples are provided by considering operations from one theory to another.
We examine Hopf cyclic cohomology in the same context as the analysis of the geometry of loop spaces $LX$ in derived algebraic geometry and the resulting close relationship between $S^1$-equivariant quasi-coherent sheaves on $LX$ and $D_X$-modules. Furthermore, the Hopf setting serves as a toy case for the categorification of Chern character theory. More precisely, this examination naturally leads to a definition of mixed anti-Yetter-Drinfeld contramodules which reduces to that of the usual mixed complexes for the trivial Hopf algebra and generalizes the notion of stable anti-Yetter-Drinfeld c…
In this paper a general van Est type isomorphism is established. The isomorphism is between the Lie algebra cohomology of a bicrossed sum Lie algebra and the Hopf cyclic cohomology of its Hopf algebra. We first prove a one to one correspondence between stable-anti-Yetter-Drinfeld (SAYD) modules over the total Lie algebra and SAYD modules over the associated Hopf algebra. In contrast to the non-general case done in our previous work, here the van Est isomorphism is found at the first level of a natural spectral sequence, rather than at the level of complexes. It is proved that the Connes-Moscov…
We show that the diagonal complex computing the Gerstenhaber-Schack cohomology of a bialgebra (that is, the cohomology theory governing bialgebra deformations) can be given the structure of an operad with multiplication if the bialgebra is a (not necessarily finite dimensional) Hopf algebra with invertible antipode; if the antipode is involutive, the operad is even cyclic. Therefore, the Gerstenhaber-Schack cohomology of any such Hopf algebra carries a Gerstenhaber resp. Batalin-Vilkovisky algebra structure; in particular, one obtains a cup product and a cyclic boundary B that generate the Ger…
A coring approach to non-Abelian descent cohomology of [P Nuss and M Wambst, Non-Abelian Hopf cohomology, Preprint arXiv:math.KT/0511712, (2005)] is described and a definition of a Galois cohomology for partial group actions is proposed.
On the finite generation of the cohomology of bosonizations
Universidad Nacional de Córdoba（科尔多瓦国立大学）；University of Oslo（奥斯陆大学）；United States Naval Academy（美国海军学院）；University of Washington（华盛顿大学）；Indiana University（印第安纳大学）；Vrije Universiteit Brussel（布鲁塞尔自由大学）；University of North Texas（北德克萨斯大学）；Louisiana State University（路易斯安那州立大学）
We define a family of Hopf algebra objects, $H$, in the braided category of $\mathbb{Z}_n$-modules (known as anyonic vector spaces), for which the property $ψ^2_{H\otimes H}=id_{H\otimes H}$ holds. We will show that these anyonic Hopf algebras are, in fact, the enveloping (Hopf) algebras of particular quantum Lie algebras, also with the property $ψ^2=id$. Then we compute the braided periodic Hopf cyclic cohomology of these Hopf algebras. For that, we will show the following fact: analogous to the non-super and the super case, the well known relation between the periodic Hopf cyclic cohomology …
We study a Hopf algebroid, $\calh$, naturally associated to the groupoid $U_n^δ\ltimes U_n$. We show that classes in the Hopf cyclic cohomology of $\calh$ can be used to define secondary characteristic classes of trivialized flat $U_n$-bundles. For example, there is a cyclic class which corresponds to the universal transgressed Chern character and which gives rise to the continuous part of the $ρ$-invariant of Atiyah-Patodi-Singer. Moreover, these cyclic classes are shown to extend to the K-theory of the associated $C^{*}$-algebra. This point of view gives leads to homotopy invariance results …
