Hopf algebras of primitive Lie pseudogroups and Hopf cyclic cohomology (Q2519764): Difference between revisions

The authors construct a Hopf algebra of `transverse symmetries' associated to each infinite primitive Lie pseudogroup by refining a procedure due to Connes and the first author in the case of the general pseudogroup. It was 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 affiliated Hopf algebra can be viewed as a `quantum group' counterpart of the infinite-dimensional primitive Lie algebra of the pseudogroup. The bicrossed product structure allows one to express its Hopf cyclic cohomology in terms of a bicocyclic bicomplex analogous to the Chevalley-Eilenberg complex. As an application, the authors compute the relative Hopf cyclic cohomology modulo the linear isotropy for the Hopf algebra of the general pseudogroup, and obtain explicit cocycle representatives for the universal Chern classes in Hopf cyclic cohomology. As another application, the authors also determine all Hopf cyclic cohomology groups for the Hopf algebra associated to the pseudogroup of local diffeomorphisms of the line.