Hopf algebras, cyclic cohomology and the transverse index theorem

In this paper we solve a longstanding internal problem of noncommutative geometry, namely the computation of the index of transversally elliptic operators on foliations, We show that the computation of the local index formula for transversally hypoelliptic operators can be settled thanks to a very specific Hopf algebra H-n, associated to each integer codimension, This Hopf algebra reduces transverse geometry, to a universal geometry of affine nature. The structure of this Hopf algebra, its relation with the Lie algebra of formal vector fields as well as the computation of its cyclic cohomology are done in the present paper, in which we also show that under a suitable unimodularity condition the cosimplicial space underlying the Hochschild cohomology of a Hopf algebra carries a highly nontrivial cyclic structure.