Bicrossproduct approach to the Connes-Moscovici Hopf algebra

We give a rigorous proof that the (codimension one) Connes-Moscovici Hopf algebra H_CM is isomorphic to a bicrossproduct Hopf algebra linked to a group factorisation of the group of positively-oriented diffeomorphisms of the real line. We construct a second bicrossproduct U_CM equipped with a nondegenerate dual pairing with H_CM. We give a natural quotient Hopf algebra of H_CM and Hopf subalgebra of U_CM which again are in duality. All these Hopf algebras arise as deformations of commutative or cocommutative Hopf algebras that we describe in each case. Finally we develop the noncommutative differential geometry of the quotient of H_CM by studying covariant first order differential calculi of small dimension over this algebra.