Hopf algebras of primitive Lie pseudogroups and Hopf cyclic cohomology

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 allows to express its Hopf cyclic cohomology in terms of a bicocyclic bicomplex analogous to the Chevalley-Eilenberg complex. As an application, we compute the relative Hopf cyclic cohomology modulo the linear isotropy for the Hopf algebra of the general pseudogroup, and find explicit cocycle representatives for the universal Chern classes in Hopf cyclic cohomology. As another application, we determine all Hopf cyclic cohomology groups for the Hopf algebra associated to the pseudogroup of local diffeomorphisms of the line.     

Cyclic cohomology of Hopf algebras of transverse symmetries in codimension 1

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 transverse symmetry for non-orientable foliations.The method for calculating their Hopf cyclic cohomology is based on two computational devices, which work in tandem and complement each other: one is a spectral sequence for bicrossed product Hopf algebras and the other a Cartan-type homotopy formula in Hopf cyclic cohomology.     

G-structure on the cohomology of Hopf algebras

We prove that is a Gerstenhaber algebra, where is a Hopf algebra. In case is the Drinfeld double of a finite-dimensional Hopf algebra , our results imply the existence of a Gerstenhaber bracket on . This fact was conjectured by R. Taillefer. The method consists of identifying as a Gerstenhaber subalgebra of (the Hochschild cohomology of ).

     

New coefficients for Hopf Cyclic Cohomology

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.     

Cohomology Theories of Hopf Bimodules and Cup-Product

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 all 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.     

Cyclic Homology of Hopf Comodule Algebras and Hopf Module Coalgebras

Abstract

In this paper we construct a cylindrical module A ? ? for an ?-comodule algebra A, where the antipode of the Hopf algebra ? is bijective. We show that the cyclic module associated to the diagonal of A ? ? is isomorphic with the cyclic module of the crossed product algebra A ? ?. This enables us to derive a spectral sequence for the cyclic homology of the crossed product algebra. We also construct a cocylindrical module for Hopf module coalgebras and establish a similar spectral sequence to compute the cyclic cohomology of crossed product coalgebras.     

Hopf cyclic cohomology and Hodge theory for proper actions on complex manifolds

We introduce two Hopf algebroids associated to a proper and holomorphic Lie group action on a complex manifold. We prove that the cyclic cohomology of each Hopf algebroid is equal to the Dolbeault cohomology of invariant differential forms. When the action is cocompact, we develop a generalized complex Hodge theory for the Dolbeault cohomology of invariant differential forms. We prove that every cyclic cohomology class of these two Hopf algebroids can be represented by a generalized harmonic form. This implies that the space of cyclic cohomology of each Hopf algebroid is finite dimensional. As an application of the techniques developed in this paper, we generalize the Serre duality and prove a Kodaira type vanishing theorem.     

The cohomology of certain Hopf algebras associated with -groups

We study the cohomology of a locally finite, connected, cocommutative Hopf algebra over . Specifically, we are interested in those algebras for which is generated as an algebra by and . We shall call such algebras semi-Koszul. Given a central extension of Hopf algebras with monogenic and semi-Koszul, we use the Cartan-Eilenberg spectral sequence and algebraic Steenrod operations to determine conditions for to be semi-Koszul. Special attention is given to the case in which is the restricted universal enveloping algebra of the Lie algebra obtained from the mod- lower central series of a -group. We show that the algebras arising in this way from extensions by of an abelian -group are semi-Koszul. Explicit calculations are carried out for algebras arising from rank 2 -groups, and it is shown that these are all semi-Koszul for .

     

Chern character in equivariant entire cyclic cohomology

We construct the Chern character in the equivariant entire cyclic cohomology. We prove a general index theorem for theG-invariant Dirac operator.Supported in part by the Department of Energy under Grant DE-FG02-88ER25065.     

Cyclic cohomology of etale groupoids

We extend Connes's computation of the cyclic cohomology groups of smooth algebras arising from foliations with separated graphs. We find that the characteristic classes of foliations factor through these groups. Our results also explain some results of Atiyah and Segal on orbifold Euler characteristic in the setting of cyclic homology.Partially supported by NSF grants DMS 92-03517 and DMS 89-03248.Partially supported by NSF grant DMS 92-05548.     

Equivariant entire cyclic cohomology: I. Finite groups

We extend the framework of entire cyclic cohomology to the equivariant context.Supported in part by the Department of Energy under Grant DE-FG02-88ER25065.     

Hopf subalgebras of pointed Hopf algebras and applications

In this paper we construct certain Hopf subalgebras of a pointed Hopf algebra over a field of characteristic 0. Some applications are given in the case of Hopf algebras of dimension 6, and , where and are different prime numbers.

     

Primitively generated Hopf orders in characteristic p

Let R be a characteristic p discrete valuation ring with field of fractions K. Let H be a commutative, cocommutative K-Hopf algebra of p-power rank which is generated as a K-algebra by primitive elements. We construct all of the R-Hopf orders of H in K; each Hopf order corresponds to a solution to a single matrix equation. For R complete, we greatly simplify the matrix equation and give explicit examples of Hopf orders in some rank p² K-Hopf algebras.     

Hopf Algebras of Dimension 12

We conclude the classification of Hopf algebras of dimension 12 over an algebraically closed field of characteristic zero.     

Generalized cyclic cohomology associated with deformed commutators

The generalized cyclic cohomology is introduced which is associated with -deformed commutators . Some formulas related to the trace of the product of -deformed commutators are established. The Chern character of odd dimension associated with -deformed commutators is studied.

     

A Characterization of Quasitriangular Hopf Algebras

In this paper,we show that if H is a finite dimensional Hopf algebra then H is quasitri-angular if and only if H is coquasi-triangular. As a consequentility ,we obtain a generalized result of Sauchenburg.     

Interpolation of characteristic classes of singular hypersurfaces

We show that the Chern–Schwartz–MacPherson class of a hypersurface X in a nonsingular variety M ‘interpolates’ between two other notions of characteristic classes for singular varieties, provided that the singular locus of X is smooth and that certain numerical invariants of X are constant along this locus. This allows us to define a lift of the Chern–Schwartz–MacPherson class of such ‘nice’ hypersurfaces to intersection homology. As another application, the interpolation result leads to an explicit formula for the Chern–Schwartz–MacPherson class of X in terms of its polar classes.     

On tertiary exotic characteristic classes

We prove the existence and nontriviality of tertiary exotic characteristic classes extending the results of Peterson and Ravenel for secondary exotic classes.

     

Bivariant Hopf Cyclic Cohomology

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.