We give a rigorous proof that the (codimension one) Connes-Moscovici Hopf algebra HCM is isomorphic to a bicrossproduct Hopf algebra linked to a group factorisation of the diffeomorphism group Diff(R). We construct a second bicrossproduct UCM equipped with a nondegenerate dual pairing with HCM. We give a natural quotient Hopf algebra kλ[Heis] of HCM and Hopf subalgebra Uλ(heis) of UCM which aga...

We show that semisimple Hopf algebras having a self-dual faithful irreducible comodule of dimension 2 are always obtained as abelian extensions with quotient Z2. We prove that nontrivial Hopf algebras arising in this way can be regarded as deformations of binary polyhedral groups and describe its category of representations. We also prove a strengthening of a result of Nichols and Richmond on c...

This is an introduction for algebraists to the theory of algebras and Hopf algebras in braided categories. Such objects generalise super-algebras and super-Hopf algebras, as well as colour-Lie algebras. Basic facts about braided categories C are recalled, the modules and comodules of Hopf algebras in such categories are studied, the notion of ‘braided-commutative’ or ‘braided-cocommutative’ Hop...

We define a semi-Hopf algebra which is more general than a Hopf algebra. Then we construct the supersymmetry algebra via the adjoint action on this semi-Hopf algebra. As a result we have a supersymmetry theory with quantum gauge group, i.e., quantised enveloping algebra of a simple Lie algebra. For the example, we construct the Lagrangian N =1 and N =2 supersymmetry. ∗email : [email protected] 1

This paper is the continuation of section 2 of the paper ”Floating bundles and their applications” [1]. Let (H, μ, η,∆, ε, S) be a commutative Hopf algebra over ring R without torsion and F(x ⊗ 1, 1⊗ x) be a formal group over Hopf algebra H. By HQ denote the Hopf algebra H⊗ Z Q over ring RQ = R⊗ Z Q. We shall write μ, η, . . . instead of μQ, ηQ, . . . . The aim of this paper is to prove the fol...

In the last lecture we have learned that the category of modules over a braided Hopf algebra H is a braided monoidal category. A braided Hopf algebra is a rather sophisticated algebraic object, it is not easy to give interesting nontrivial examples. In this text we develop a theory that will lead to a concrete recipe which produces a nontrivial braided Hopf algebra D(A) (called Drinfeld’s quant...

In previous joint work with Eli Aljadeff we attached a generic Hopf Galois extension A H to each twisted algebra H obtained from a Hopf algebra H by twisting its product with the help of a cocycle α. The algebra A H is a flat deformation of H over a “big” central subalgebra B H and can be viewed as the noncommutative analogue of a versal torsor in the sense of Serre. After surveying the results...

In 1999 A. Connes and D. Kreimer have discovered a Hopf algebra structure on the Feynman graphs of scalar field theory. They have found that the renormalization can be interpreted as a solving of some Riemann — Hilbert problem. In this work the generalization of their scheme to the case of nonabelian gauge theories is proposed. The action of the gauge group on the Hopf algebra of diagrams is de...

We discuss the prominence of Hopf algebras in recent progress in Quantum Field Theory. In particular, we will consider the Hopf algebra of renormalization, whose antipode turned out to be the key to a conceptual understanding of the subtraction procedure. We shall then describe several occurences of this, or closely related Hopf algebras, in other mathematical domains, such as foliations, Runge...