Let (H, σ) be a coquasitriangular Hopf algebra, not necessarily finite dimensional. Following methods of Doi and Takeuchi, which parallel the constructions of Radford in the case of finite dimensional quasitriangular Hopf algebras, we define Hσ , a sub-Hopf algebra of H, the finite dual of H. Using the generalized quantum double construction and the theory of Hopf algebras with a projection, we...

The category of Yetter-Drinfeld modules YD K over a Hopf algebra K (with bijektive antipode over a field k) is a braided monoidal category. If H is a Hopf algebra in this category then the primitive elements of H do not form an ordinary Lie algebra anymore. We introduce the notion of a (generalized) Lie algebra in YD K such that the set of primitive elements P (H) is a Lie algebra in this sense...

Let H be a bialgebra. An H-module-algebra is an associative algebra A that is also an H-module such that the multiplication map on A becomes an H-module morphism. This algebraic structure arises often in algebraic topology, quantum groups [11, Chapter V.6], Lie and Hopf algebras theory [3, 16, 19], and group representations [1, Chapter 3]. For example, in algebraic topology, the complex cobordi...

The research presented in this paper was motivated by our aim to study a problem due to J. Bourgain [3]. The problem in question concerns the uniform boundedness of the classical separation rank of the elements of a separable compact set of the first Baire class. In the sequel we shall refer to these sets (separable or non-separable) as Rosenthal compacta and we shall denote by α(f) the separat...

In the present paper, among other results, a decomposition formula is given for the w-bounded continuous negative definite functions of a topological *-semigroup S with a weight function w into a proper H*-algebra A in terms of w-bounded continuous positive definite A-valued functions on S. A generalization of a well-known result of K. Harzallah is obtained. An earlier conjecture of the author ...

Let g be a complex semisimple Lie algebra, and let G be a complex semisimple group with trivial center whose root system is dual to that of g. We establish a graded algebra isomorphism H q (Xλ,C) ∼= Sg e/Iλ, where Xλ is an arbitrary spherical Schubert variety in the loop Grassmannian for G, and Iλ is an appropriate ideal in the symmetric algebra of g, the centralizer of a principal nilpotent in...