Un théorème de Cartier-Milnor-Moore-Quillen pour les bigèbres dendriformes et les algèbres braces

The classical theorem of Cartier-Milnor-Moore-Quillen gives an equivalence between the category of connected cocommutative bialgebras and the category of Lie algebras. We establish an analogous equivalence between the category of connected dendriform bialegebras and the category of brace algebras. It is given by the primitive elements functor and the “enveloping dendriform algebra” of a brace algebra.     

Character tables and normal left coideal subalgebras

We continue studying properties of semisimple Hopf algebras H over algebraically closed fields of characteristic 0 resulting from their generalized character tables. We show that the generalized character table of H reflects normal left coideal subalgebras of H. These are the Hopf analogues of normal subgroups in the sense that they arise from Hopf quotients. We apply these ideas to prove Hopf analogues of known results in group theory. Among the rest we prove that columns of the character table are orthogonal and that all entries are algebraic integers. We analyze ‘semi-kernels’ and their relations to the character table. We prove a full analogue of the Burnside–Brauer theorem for almost cocommutative H. We also prove the Hopf algebras analogue of the following (Burnside) theorem: If G is a non-abelian simple group then {1} is the only conjugacy class of G which has prime power order.     

Hopf monads on monoidal categories

We define Hopf monads on an arbitrary monoidal category, extending the definition given in Bruguières and Virelizier (2007) [5] for monoidal categories with duals. A Hopf monad is a bimonad (or opmonoidal monad) whose fusion operators are invertible. This definition can be formulated in terms of Hopf adjunctions, which are comonoidal adjunctions with an invertibility condition. On a monoidal category with internal Homs, a Hopf monad is a bimonad admitting a left and a right antipode.Hopf monads generalize Hopf algebras to the non-braided setting. They also generalize Hopf algebroids (which are linear Hopf monads on a category of bimodules admitting a right adjoint). We show that any finite tensor category is the category of finite-dimensional modules over a Hopf algebroid.Any Hopf algebra in the center of a monoidal category C gives rise to a Hopf monad on C. The Hopf monads so obtained are exactly the augmented Hopf monads. More generally if a Hopf monad T is a retract of a Hopf monad P, then P is a cross product of T by a Hopf algebra of the center of the category of T-modules (generalizing the Radford–Majid bosonization of Hopf algebras).We show that the comonoidal comonad of a Hopf adjunction is canonically represented by a cocommutative central coalgebra. As a corollary, we obtain an extension of Sweedler?s Hopf module decomposition theorem to Hopf monads (in fact to the weaker notion of pre-Hopf monad).     

The category of commutative HopfC *-algebras

In this paper, we first continue our study of group duality, and prove that the duality we established earlier is natural. Then we use this naturality to study the category of commutative, cocommutative HopfC ^*-algebras, and show that the category of compact Abelian semigroups and the category of commutative, cocommutative HopfC ^*-algebras with units are isomorphic. By using this result, we show that the category of commutative, cocommutative quantum groups is Abelian. This is a generalization of a result of Grothendieck about the catrgory of finite-dimensional commutative, cocommutative Hopf algebras with antipodes.     

Universal constructions for Hopf algebras

The category of Hopf monoids over an arbitrary symmetric monoidal category as well as its subcategories of commutative and cocommutative objects respectively are studied, where attention is paid in particular to the following questions: (a) When are the canonical forgetful functors of these categories into the categories of monoids and comonoids respectively part of an adjunction? (b) When are the various subcategory-embeddings arsing naturally in this context reflexive or coreflexive? (c) When does a category of Hopf monoids have all limits or colimits? These problems are also shown to be intimately related. Particular emphasis is given to the case of Hopf algebras, i.e., when the chosen symmetric monoidal category is the category of modules over a commutative unital ring.     

Pseudosymmetric braidings, twines and twisted algebras

A laycle is the categorical analogue of a lazy cocycle. Twines (introduced by Bruguières) and strong twines (as introduced by the authors) are laycles satisfying some extra conditions. If c is a braiding, the double braiding c² is always a twine; we prove that it is a strong twine if and only if c satisfies a sort of modified braid relation (we call such cpseudosymmetric, as any symmetric braiding satisfies this relation). It is known that the category of Yetter-Drinfeld modules over a Hopf algebra H is symmetric if and only if H is trivial; we prove that the Yetter-Drinfeld category _HYD^H over a Hopf algebra H is pseudosymmetric if and only if H is commutative and cocommutative. We introduce as well the Hopf algebraic counterpart of pseudosymmetric braidings under the name pseudotriangular structures and prove that all quasitriangular structures on the 2ⁿ⁺¹-dimensional pointed Hopf algebras E(n) are pseudotriangular. We observe that a laycle on a monoidal category induces a so-called pseudotwistor on every algebra in the category, and we obtain some general results (and give some examples) concerning pseudotwistors, inspired by the properties of laycles and twines.     

On the Hopf–Schur group of a field

Let k be any field. We consider the Hopf–Schur group of k, defined as the subgroup of the Brauer group of k consisting of classes that may be represented by homomorphic images of finite-dimensional Hopf algebras over k. We show here that twisted group algebras and abelian extensions of k are quotients of cocommutative and commutative finite-dimensional Hopf algebras over k, respectively. As a consequence we prove that any tensor product of cyclic algebras over k is a quotient of a finite-dimensional Hopf algebra over k, revealing so that the Hopf–Schur group can be much larger than the Schur group of k.     

Quillen-Barr-Beck (co-) homology for restricted Lie algebras

In this paper we use Quillen-Barr-Beck's theory of (co-) homology of algebras in order to define (co-) homology for the category RLie of restricted Lie algebras over a field k of characteristic p≠0. In contrast with the cases of groups, associative algebras and Lie algebras we do not obtain Hochschild (co-) homology shifted by 1.Precisely, we determine for L∈RLie the category of Beck L-modules and the group of Beck derivations of g∈RLie/L to a Beck L-module M. Moreover, we prove a classification theorem which gives a one-to-one correspondence between the one cohomology and the set of equivalent classes of p-extensions. Finally, a universal coefficient theorem is proved, relating the homology to the Hochschild homology via a short exact sequence. This shows that the new homology determines the Hochschild homology.     

Geometric partial comodules over flat coalgebras in Abelian categories are globalizable

The aim of this paper is to prove the statement in the title. As a by-product, we obtain new globalization results in cases never considered before, such as partial corepresentations of Hopf algebras. Moreover, we show that for partial representations of groups and Hopf algebras, our globalization coincides with those described earlier in literature. Finally, we introduce Hopf partial comodules over a bialgebra as geometric partial comodules in the monoidal category of (global) modules. By applying our globalization theorem we obtain an analogue of the fundamental theorem for Hopf modules in this partial setting.     

The wedderburn-malcev theorem for comodule algebras

Let H be a Hopf algebra over a field k. Under some assumptions on H we state and prove a generalization of the Wedderburn-Malcev theorem for i7-comodule algebras. We show that our version of this theorem holds for a large enough class of Hopf algebras, such as coordinate rings of completely reducible affine algebraic groups, finite dimensional Hopf algebras over fields of characteristic 0 and group algebras. Some dual results are also included.     

A resolution (minimal model) of the PROP for bialgebras

This paper is concerned with a minimal resolution of the PROP for bialgebras (Hopf algebras without unit, counit and antipode). We prove a theorem about the form of this resolution (Theorem 15) and give, in Section 5, a lot of explicit formulas for the differential.     

Finitely semisimple spherical categories and modular categories are self-dual

We show that every essentially small finitely semisimple k-linear additive spherical category for which k=End(1) is a field, is equivalent to its dual over the long canonical forgetful functor. This includes the special case of modular categories. In order to prove this result, we show that the universal coend of the spherical category, with respect to the long forgetful functor, is self-dual as a Weak Hopf Algebra.     

A Characterization of Group Rings

In this paper we prove that every coseparable involutory Hopf algebra over the ring of integers Z which is a free Z-module is the group ring of some group. This result was proved independently for Hopf algebras which are finitely generated Z-modules by H.-J. Schneider [6], using similar techniques. We then give some examples of coseparable Hopf algebras over number rings which are not group algebras, and give an example of a cocommutative coseparable coalgebra over a number ring which cannot be given a multiplicative structure making it into a Hopf algebra. The Hopf algebra structure theory required for this paper is found in [1], [4], and [5]. For completeness we give proofs here of the coalgebra analogues to some “well-known” facts about separable algebras.     

Braided bosonization and inhomogeneous quantum groups

We consider quasitriangular Hopf algebras in braided tensor categories introduced by Majid. It is known that a quasitriangular Hopf algebra H in a braided monoidal category C induces a braiding in a full monoidal subcategory of the category of H-modules in C. Within this subcategory, a braided version of the bosonization theorem with respect to the category C will be proved. An example of braided monoidal categories with quasitriangular structure deviating from the ordinary case of symmetric tensor categories of vector spaces is provided by certain braided supersymmetric tensor categories. Braided inhomogeneous quantum groups like the dilaton free q-Poincaré group are explicit applications.Supported in part by the Deutsche Forschungsgemeinschaft (DFG) through a research fellowship.     

Subcoalgebras and endomorphisms of free Hopf algebras

For a matrix coalgebra C over some field, we determine all small subcoalgebras of the free Hopf algebra on C, the free Hopf algebra with a bijective antipode on C, and the free Hopf algebra with antipode S satisfying on C for some fixed d. We use this information to find the endomorphisms of these free Hopf algebras, and to determine the centers of the categories of Hopf algebras, Hopf algebras with bijective antipode, and Hopf algebras with antipode of order dividing 2d.     

A New Cyclic Module for Hopf Algebras

We define a new cyclic module, dual to the Connes–Moscovici cocyclic module, for Hopf algebras, and give a characteristic map for coactions of Hopf algebras. We also compute the resulting cyclic homology for cocommutative Hopf algebras, and some quantum groups.     

A Torsion Theory in the Category of Cocommutative Hopf Algebras

The purpose of this article is to prove that the category of cocommutative Hopf K-algebras, over a field K of characteristic zero, is a semi-abelian category. Moreover, we show that this category is action representable, and that it contains a torsion theory whose torsion-free and torsion parts are given by the category of groups and by the category of Lie K-algebras, respectively.