Let H be a bialgebra and let A be an associative algebra. The algebra A is said to be an H-module-algebra if there is an H-module structure on A such that the multiplication on A becomes an H-module morphism. For example, if S denotes the Landweber-Novikov algebra [15, 21], then the complex cobordism MU(X) of a topological space X is an S module-algebra. Likewise, the singular mod p cohomology ...

A C∞-Hopf algebra is a C∞-algebra which is also a convenient Hopf algebra with respect to the structure induced by the evaluations of smooth functions. We characterize those C∞-Hopf algebras which are given by the algebra C∞(G) of smooth functions on some compact Lie group G, thus obtaining an anti-isomorphism of the category of compact Lie groups with a subcategory of convenient Hopf algebras.

We prove the quasi-Hopf algebra version of the Nichols-Zoeller theorem: A finite-dimensional quasi-Hopf algebra is free over any quasi-Hopf subalgebra.

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

We investigate a generalization of Hopf algebra slq (2) by weakening the invertibility of the generator K, i.e. exchanging its invertibility KK = 1 to the regularity KKK = K. This leads to a weak Hopf algebra wslq (2) and a J-weak Hopf algebra vslq (2) which are studied in detail. It is shown that the monoids of group-like elements of wslq (2) and vslq (2) are regular monoids, which supports th...

The final goal of this paper is to introduce certain finite dimensional Hopf algebras associated with restricted Frobenius Lie algebras over a field of characteristic p > 0. The antipodes of these Hopf algebras have order either 2p or 2, and in the minimal dimension p there exists just one Hopf algebra in this class which coincides with an example due to Radford [35] of a Hopf algebra with a no...

Integrals in Hopf algebras are an essential tool in studying finite dimensional Hopf algebras and their action on rings. Over fields it has been shown by Sweedler that the existence of integrals in a Hopf algebra is equivalent to the Hopf algebra being finite dimensional. In this paper we examine how much of this is true for Hopf algebras over rings. We show that over any commutative ring R tha...

The center Z(C) of an autonomous category C is monadic over C (if certain coends exist in C). The notion of Hopf monad naturally arises if one tries to reconstruct the structure of Z(C) in terms of its monad Z: we show that Z is a quasitriangular Hopf monad on C and Z(C) is isomorphic to the braided category ZC of Z-modules. More generally, let T be a Hopf monad on an autonomous category C. We ...

We give an introductory survey to the use of Hopf algebras in several problems of noncommutative geometry. The main example, the Hopf algebra of rooted trees, is a graded, connected Hopf algebra arising from a universal construction. We show its relation to the algebra of transverse differential operators introduced by Connes and Moscovici in order to compute a local index formula in cyclic coh...