We give the explicit construction of the product of an arbitrary family of coalgebras, bialgebras and Hopf algebras: it turns out that the product of an arbitrary family of coalgebras (resp. bialgebras, Hopf algebras) is the sum of a family of coalgebras (resp. bialgebras, Hopf algebras). The equalizers of two morphisms of coalgebras (resp. bialgebras, Hopf algebras) are also described explicitly. As a consequence the categories of coalgebras, bialgebras and Hopf algebras are shown to be complete and a explicit description for limits in the above categories is given.
We investigate the notion of associated graded coalgebra (algebra) of a bialgebra with respect to a subbialgebra (quotient bialgebra) and characterize those which are bialgebras of type one in the framework of abelian braided monoidal categories.
We investigate cofree coalgebras, and limits and colimits of coalgebras in some abelian monoidal categories of interest, such as bimodules over a ring, and modules and comodules over a bialgebra or Hopf algebra. We find concrete generators for the categories of coalgebras in these monoidal categories, and explicitly construct cofree coalgebras, products and limits of coalgebras in each case. This answers an open question of A. Agore on the existence of a cofree coring, and constructs the cofree (co)module coalgebra on a $B$-(co)module, for a bialgebra $B$.
We study the bialgebra structures on quiver coalgebras and the monoidal structures on the categories of locally nilpotent and locally finite quiver representations. It is shown that the path coalgebra of an arbitrary quiver admits natural bialgebra structures. This endows the category of locally nilpotent and locally finite representations of an arbitrary quiver with natural monoidal structures from bialgebras. We also obtain theorems of Gabriel type for pointed bialgebras and hereditary finite pointed monoidal categories.
In this article an interpretation and a proof of some classical \\theorems in analysis on the integration of analytic vectors fields are derived from the algebraic method of realization of bialgebras which are constructed with the data of a linear application from a coalgebra into the algebra of right (or left) invariant operators on an approximated coalgebra. The results are obtained from these general algebraic construction and theorems by introducing the more restrictive notion of induced module. Then the associated envelopping bialgebra is defined and naturally belongs to the dual of the t…
This notes gives a proof that a connected coaugmented cofiltered coalgebra is a conilpotent coalgebra and thus a connected coaugmented cofiltered bialgebra is a Hopf algebra. This applies in particular to a connected coaugmented cograded coalgebra and a connected coaugmented cograded bialgebra.
Twisted homomorphisms of bialgebras are bialgebra homomorphisms from the first into Drinfeld twistings of the second. They possess a composition operation extending composition of bialgebra homomorphisms. Gauge transformations of twists, compatible with adjacent homomorphisms, give rise to gauge transformation of twisted homomorphisms, which behave nicely with respect to compositions. Here we study (gauge classes of) twisted automorphisms of cocommutative Hopf algebras. After revising well-known relations between twists, twisted forms of bialgebras and $R$-matrices (for commutative bialgebras)…
The paper presents a detailed description of duality for braided algebras, coalgebras, bialgebras, Hopf algebras and their modules and comodules in the infinite setting. Assuming that the dual objects exist, it is shown how a given braiding induces compatible braidings for the dual objects, and how actions (resp. coactions) can be turned into coactions (resp. actions) of the dual coalgebra (resp. algebra), with an emphasis on braided bialgebras and their braided (co)module algebras.
We consider the factorisation problem for bialgebras: when a bialgebra $K$ factorises as $K=HL$, where $H$ and $L$ are algebras and coalgebras (but not necessarly bialgebras). Given two maps $R: H\ot L\to L\ot H$ and $W:L\ot H\to H\ot L$, we introduce a product $L_W\bowtie_R H$ and give necessary and sufficient conditions for $L_W\bowtie_R H$ to be a bialgebra. It turns out that $K$ factorises as $K=HL$ if and only if $K\cong L_W\bowtie_R H$ for some maps $R$ and $W$. As examples of this product we recover constructions introduced by Majid and Radford. Also, some of the pointed Hopf algebras t…
We prove a number of results concerning monomorphisms, epimorphisms, dominions and codominions in categories of coalgebras. Examples include: (a) representation-theoretic characterizations of monomorphisms in all of these categories that when the Hopf algebras in question are commutative specialize back to the familiar necessary and sufficient conditions (due to Bien-Borel) that a linear algebraic subgroup be epimorphically embedded; (b) the fact that a morphism in the category of (cocommutative) coalgebras, (cocommutative) bialgebras, and a host of categories of Hopf algebras has the same cod…
Incidence coalgebras of categories in the sense of Joni and Rota are studied, specifically cases where a monoidal product on the category turns these into (weak) bialgebras. The overlap with the theory of combinatorial Hopf algebras and that of Hopf quivers is discussed, and examples including trees, skew shapes, Milner's bigraphs and crossed modules are considered.
We study algebraic properties of Hopf group-coalgebras, recently introduced by Turaev. We show the existence of integrals and traces for such coalgebras, and we generalize the main properties of quasitriangular and ribbon Hopf algebras to the setting of Hopf group-coalgebras.
The subject of this article are cross product bialgebras without co-cycles. We establish a theory characterizing cross product bialgebras universally in terms of projections and injections. Especially all known types of biproduct, double cross product and bicross product bialgebras can be described by this theory. Furthermore the theory provides new families of (co-cycle free) cross product bialgebras. Besides the universal characterization we find an equivalent (co-)modular description of certain types of cross product bialgebras in terms of so-called Hopf data. With the help of Hopf data con…
In a previous paper we proved a result of the type "invariance under twisting" for Brzezinski's crossed products. In this paper we prove a converse of this result, obtaining thus a characterization of what we call equivalent crossed products. As an application, we characterize cross product bialgebras (in the sense of Bespalov and Drabant) that are equivalent (in a certain sense) to a given cross product bialgebra in which one of the factors is a bialgebra and whose coalgebra structure is a tensor product coalgebra.
In this work we study the induction theory for Hopf group coalgebra. To reach this goal we define a substructure B of a Hopf group coalgebra $H$, called subHopf group coalgebra. Also, we introduced the definition of Hopf group suboalgebra and group coisotropic quantum subgroup of $H$.
We construct the analogue of Takeuchi's free Hopf algebra in the setting of Poisson Hopf algebras. More precisely, we prove that there exists a free Poisson Hopf algebra on any coalgebra or, equivalently that the forgetful functor from the category of Poisson Hopf algebras to the category of coalgebras has a left adjoint. In particular, we also prove that the category of Poisson Hopf algebras is a reflective subcategory of the category of Poisson bialgebras. Along the way, we describe coproducts and coequalizers in the category of Poisson Hopf algebras, therefore showing that the latter catego…
Let H be a finite-dimensional pivotal and unimodular Hopf algebra over a field k. It was shown in [BBGa] that the projective tensor ideal in H-mod admits a unique non-degenerate modified trace, a natural generalisation of the categorical trace. This paper provides an extension of this result to a much more general setting. We first extend the notion of the modified trace to the so-called module trace for a given k-linear module category M over a pivotal category C equipped with a module endofunctor. We provide a non-trivial class of examples of such module traces. In particular, we show that a…
We describe a new method of quantization of Lie bialgebras, based on a construction of Hopf algebras out of a cocommutative coalgebra and a braided comonoidal functor.
We provide an analog of the Drinfeld quantum double construction in the context of crossed Hopf group coalgebras introduced by Turaev. We prove that, provided the base group is finite, the double of a semisimple crossed Hopf group coalgebra is both modular and unimodular.
A new quantization of groupoids under the name of \times-Hopf coalgebras is introduced. We develop a Hopf cyclic theory with coefficients in stable-anti-Yetter-Drinfeld modules for \times-Hopf coalgebras. We use \times-Hopf coalgebras to study coextensions of coalgebras. Finally, equivariant \times-Hopf coalgebra Galois coextensions are defined and applied as functors between categories of stable anti-Yetter-Drinfeld modules over \times-Hopf coalgebras involved in the coextension.
The theories of (Hopf) bialgebras and weak (Hopf) bialgebras have been introduced for vector space categories over fields and make heavily use of the tensor product. As first generalisations, these notions were formulated for monoidal categories, with braidings if needed. The present authors developed a theory of bimonads and Hopf monads $H$ on arbitrary categories $\mathbb{A}$, employing distributive laws, allowing for a general form of the Fundamental Theorem for Hopf algebras. For $τ$-bimonads $H$, properties of braided (Hopf) bialgebras were captured by requiring a Yang-Baxter operator $τ:…
We study pseudoalgebras from the point of view of pseudo-dual of classical Lie coalgebra structures. We define the notions of Lie H-coalgebra and Lie pseudo-bialgebra. We obtain the analog of the CYBE, the Manin triples and Drinfeld's double for Lie pseudo-bialgebras. We also get a natural description of the annihilation algebra associated to a pseudoalgebra as a convolution algebra, clarifying this constructions in the theory of pseudoalgebras.
We provide an analog of Tannaka Theory for Hopf algebras in the context of crossed Hopf group coalgebras introduced by Turaev. Following Street and our previous work on the quantum double of crossed structures, we give a construction, via Tannaka Theory, of the quantum double of crossed Hopf group algebras (not necessarily of finite type).
In this paper, we give several necessary conditions for non-cosemisimple coalgebras being admissible. The implications simplify the classification problems for Hopf algebras of dimension 45, 105 and a few others.
We show that, under some mild conditions, a bialgebra in an abelian and coabelian braided monoidal category has a weak projection onto a formally smooth (as a coalgebra) sub-bialgebra with antipode; see Theorem 1.12. In the second part of the paper we prove that bialgebras with weak projections are cross product bialgebras; see Theorem 2.12. In the particular case when the bialgebra $A$ is cocommutative and a certain cocycle associated to the weak projection is trivial we prove that $A$ is a double cross product, or biproduct in Madjid's terminology. The last result is based on a universal pro…
We show that Turaev's group-coalgebras and Hopf group-coalgebras are coalgebras and Hopf algebras in a symmetric monoidal category, which we call the Turaev category. A similar result holds for group-algebras and Hopf group-algebras. As an application, we give an alternative approach to Virelizier's version of the Fundamental Theorem for Hopf algebras. We introduce Yetter-Drinfeld modules over Hopf group-coalgebras using the center construction.
In a recent paper the authors Beliakova, Blanchet and Gainutdinov have shown that the modified trace on the category $H$-pmod of the projective modules corresponds to the symmetrised integral on the finite dimensional pivotal Hopf algebra $H$. We generalize this fact to the context of $G$-graded categories and Hopf $G$-coalgebra studied by Turaev-Virelizier. We show that the symmetrised $G$-integral on a finite type pivotal Hopf $G$-coalgebra induces a modified trace in the associated $G$-graded category.
In this paper, we study weak bialgebras and weak Hopf algebras. These algebras form a class wider than bialgebras respectively Hopf algebras. The main results of this paper are Kaplansky's constructions type which lead to weak bialgebras or weak Hopf algebras starting from a regular algebra or a bialgebra. Also we provide a classification of 2-dimensional and 3-dimensional weak bialgebras and weak Hopf algebras. We determine then the stabilizer group and the representative of these classes, the action being that of the linear group.
New types of bialgebras arising from the Hopf equation (pentagonal equation) are introduced and studied. They will play from the Hopf equation the same role as the co-quasitriangular do from the quantum Yang Baxter equation.
Universal measuring coalgebras provide an enrichment of the category of algebras over the category of coalgebras. By considering the special case of the tensor algebra on a vector space V, the category of linear spaces itself becomes enriched over coalgebras, and the universal measuring coalgebra is the dual coalgebra of the tensor algebra T(V tensor V*). Given a braiding R on V the universal measuring coalgebra P_R(V) which preserves the grading is naturally dual to the Fadeev-Takhtadjhan-Reshitikin bialgebra A(R) and therefore provides a representation of the quantized universal enveloping a…
The aim of this paper is to generalize the concept of Lie-admissible coalgebra introduced by Goze and Remm to Hom-coalgebras and to introduce Hom-Hopf algebras with some properties. These structures are based on the Hom-algebra structures introduced by the authors.
In this paper we construct the Differential calculus on the Hopf Group Coalgebra introduced by Turaev [10]. We proved that the concepts introduced by S.L.Woronowicz in constructing Differential calculus on Hopf Compact Matrix Pseudogroups (Quantum Groups)[7] can be adapted to serve again in our construction.
The Multiplier Hopf Group Coalgebra was introduced by Hegazi in 2002 [7] as a generalization of Hope group caolgebra, introduced by Turaev in 2000 [5], in the non-unital case. We prove that the concepts introduced by A.Van Daele in constructing multiplier Hopf algebra \cite{4} can be adapted to serve again in our construction. A multiplier Hopf group coalgebra is a family of algebras $A=\{A_α\}_{α\in π}$, ($π$ is a discrete group) equipped with a family of homomorphisms $Δ=\{Δ_{α,β}:A_{αβ}\longrightarrow M(A_α\otimes A_β)\}_{α,β\in π}$ which is called a comultiplication under some conditions, …
In this work the notions of partial action of a weak Hopf algebra on a coalgebra and partial action of a groupoid on a coalgebra will be introduced, just as some important properties. An equivalence between these notions will be presented. Finally, a dual relation between the structures of partial action on a coalgebra and partial action on an algebra will be established, as well as a globalization theorem for partial module coalgebras will be presented.
Given a group G, we use involutary Hopf G-coalgebras to define a scalar invariant of flat G-bundles over 3-manifolds. When G=1, this invariant equals to the one of 3-manifolds constructed by Kuperberg from involutary Hopf algebras. We give examples which show that this invariant is not trivial.
We construct from coassociative coalgebras, bialgebras, Hopf algebras, new objects such as Poisson algebras, Leibniz algebras defined by J-L Loday and M. Ronco and explore the notion of coassociative manifolds.
We give explicit formulas for maps in a long exact sequence connecting bialgebra cohomology to Hochschild cohomology. We give a sufficient condition for the connecting homomorphism to be surjective. We apply these results to compute all bialgebra two-cocycles of certain Radford biproducts (bosonizations). These two-cocycles are precisely those associated to the finite dimensional pointed Hopf algebras in the recent classification of Andruskiewitsch and Schneider, in an interpretation of these Hopf algebras as graded bialgebra deformations of Radford biproducts.
Let $H$ be a Hopf algebra with bijective antipode over a field $k$ and suppose that $R{#}H$ is a bi-product. Then $R$ is a bialgebra in the Yetter--Drinfel'd category ${}_H^H{\mathcal YD}$. We describe the bialgebras $(R{#}H)^{op}$ and $(R{#}H)^o$ explicitly as bi-products $R^{\UOP}{#}H^{op}$ and $R^{\UO}{#}H^o$ respectively where $R^{\UOP}$ is a bialgebra in ${}^{H^{op}}_{H^{op}}{\mathcal YD}$ and $R^{\UO}$ is a bialgebra in ${}^{H^o}_{H^o}{\mathcal YD}$. We use our results to describe two-cocycle twist bialgebra structures on the tensor product of bi-products.
A non-unital generalization of weak bialgebra is proposed with a multiplier-valued comultiplication. Certain canonical subalgebras of the multiplier algebra (named the `base algebras') are shown to carry coseparable co-Frobenius coalgebra structures. Appropriate modules over a weak multiplier bialgebra are shown to constitute a monoidal category via the (co)module tensor product over the base algebra. The relation to Van Daele and Wang's (regular and arbitrary) weak multiplier Hopf algebra is discussed.
We introduce the notion of a partial corepresentation of a given Hopf algebra $H$ over a coalgebra $C$ and the closely related concept of a partial $H$-comodule. We prove that there exists a universal coalgebra $H^{par}$, associated to the original Hopf algebra $H$, such that the category of regular partial $H$-comodules is isomorphic to the category of $H^{par}$-comodules. We introduce the notion of a Hopf coalgebroid and show that the universal coalgebra $H^{par}$ has the structure of a Hopf coalgebroid over a suitable coalgebra.
In this paper, we obtain a canonical factorization of basis elements in free Rota-Baxter algebras built on bracketed words. This canonical factorization is applied to give a coalgebra structure on the free Rota-Baxter algebras. Together with the Rota-Baxter algebra multiplication, this coproduct gives a bialgebra structure on the free Rota-Baxter algebra of rooted forests. When the weight of the Rota-Baxter algebra is zero, we further obtain a Hopf algebra structure.
Weak (Hopf) bialgebras are described as (Hopf) bimonoids in appropriate duoidal (also known as 2-monoidal) categories. This interpretation is used to define a category wba of weak bialgebras over a given field. As an application, the "free vector space" functor from the category of small categories with finitely many objects to wba is shown to possess a right adjoint, given by taking (certain) group-like elements. This adjunction is proven to restrict to the full subcategories of groupoids and of weak Hopf algebras, respectively. As a corollary, we obtain equivalences between the category of s…
In this work we study the induction (induced and coinduced)theory for Hopf group coalgebra. We define a substructure B of a Hopf group coalgebra $H$, called subHopf group coalgebra. Also, we have introduced the definition of Hopf group suboalgebra and group coisotropic quantum subgroup of $H$. The properties of the algebraic structure of the induced and coinduced are given. Moreover, a framework of the geometric interperation and simplicity theory of such representation strructure are stuided.
Central bialgebras in a braided category $\C$ are algebras in the center of the category of coalgebras in $\C$. On these bialgebras another product can be defined, which plays the role of the opposite product. Hence, coquasitriangular structures on central bialgebras can be defined. We prove some properties of the antipode on coquasitriangular central Hopf algebras and give a characterization of central bialgebras.
Structures of Lie algebras, Lie coalgebras, Lie bialgebras and Lie quasibialgebras are presented as solutions of Maurer-Cartan equations on corresponding governing differential graded Lie algebras using the big bracket construction of Kosmann-Schwarzbach. This approach provides a definition of an $L_\infty$-(quasi)bialgebra (strongly homotopy Lie (quasi)bialgebra). We recover an $L_\infty$-algebra structure as a particular case of our construction. The formal geometry interpretation leads to a definition of an $L_\infty$ (quasi)bialgebra structure on $V$ as a differential operator $Q$ on $V,$ …
We give a detailed comparison between the notion of a weak Hopf algebra (also called a quantum groupoid by Nikshych and Vainerman), and that of a $\times_R$-bialgebra due to Takeuchi (and also called a bialgebroid or quantum (semi)groupoid by Lu and Xu). A weak bialgebra is the same thing as a $\times_R$-bialgebra in which $R$ is Frobenius-separable. We extend the comparison to cover module and comodule theory, duality, and the question when a bialgebroid should be called a Hopf algebroid.
Hom-bialgebras and Hom-Hopf algebras are generalizations of bialgebra and Hopf algebra structures, where associativity and coassociativity conditions are twisted by a homomorphism. The purpose of this paper is to define a Gerstenhaber-Schack cohomology complex for Hom-bialgebras and then study one parameter formal deformations.
The aim of this paper is to establish a contravariant adjunction between the category of quasi-bialgebras and a suitable full subcategory of dual quasi-bialgebras, adapting the notion of finite dual to this framework. Various functorial constructions involving non-associative algebras and non-coassociative coalgebras are then carried out. Several examples illustrating our methods are expounded as well.
The Structure Theorem for Hopf modules states that if a bialgebra $H$ is a Hopf algebra (i.e. it is endowed with a so-called antipode) then every Hopf module $M$ is of the form ${M}^{\mathrm{co}{H}}\otimes H$, where ${M}^{\mathrm{co}{H}}$ denotes the space of coinvariant elements in $M$. Actually, it has been shown that this result characterizes Hopf algebras: $H$ is a Hopf algebra if and only if every Hopf module $M$ can be decomposed in such a way. The main aim of this paper is to extend this characterization to the framework of quasi-bialgebras by introducing the notion of preantipode and b…
Let $G$ be a Poisson Lie group and $\g$ its Lie bialgebra. Suppose that $\g$ is a group Lie bialgebra. This means that there is an action of a discrete group $Γ$ on $G$ deforming the Poisson structure into coboundary equivalent ones. Starting from this we construct a non-trivial stack of Hopf-Poisson algebras and prove the existence of associated deformation quantizations. This non-trivial stack is a stack of functions on the formal Poisson group, dual of the starting $Γ$ Poisson-Lie group. To quantize this non-trivial stack we use quantization of a $Γ$ Lie bialgebra which is the infinitesimal…
This article introduces a method, which starting from simple and quite general mathematical data, allows to construct linear algebras of operators which are, each of them, endowed with a bialgebra structure (coproduct and counity). Moreover under some explicit and natural conditions on theses mathematical data we obtain linear algebras of operators with the following property: each of them, is either a Hopf algebra, or its bialgebra structure determines a more abstract Hopf algebra associated with it. Finally, we describe a more general abstract condition for theses bialgebras to admit a uniqu…
Let $H$ be a Hopf algebra over a field $K$ of characteristic $0$ and let $A$ be a bialgebra or Hopf algebra such that $H$ is isomorphic to a sub-Hopf algebra of $A$ and there is an $H$-bilinear coalgebra projection $π$ from $A$ to $H$ which splits the inclusion. Then $A \cong R \#_ξH$ where $R$ is the pre-bialgebra of coinvariants. In this paper we study the deformations of $A$ by an $H$-bilinear cocycle. If $γ$ is a cocycle for $A$, then $γ$ can be restricted to a cocycle $γ_R$ for $R$, and $A^γ\cong R^{γ_R} \#_{ξ_γ} H$. As examples, we consider liftings of $\mathcal{B}(V) \# K[Γ]$ where $Γ$ …
We construct a structure of a ring with local units on a co-Frobenius coalgebra. We study a special class of co-Frobenius coalgebras whose objects we call symmetric coalgebras. We prove that any semiperfect coalgebra can be embedded in a symmetric coalgebra. A dual version of Brauer's equivalence theorem is presented, allowing a characterization of symmetric coalgebras by comparing certain functors. We define an automorphism of the ring with local units constructed from a co-Frobenius coalgebra, which we call the Nakayama automorphism. This is used to give a new characterization to symmetric c…
We introduce braided Lie bialgebras as the infinitesimal version of braided groups. They are Lie algebras and Lie coalgebras with the coboundary of the Lie cobracket an infinitesimal braiding. We provide theorems of transmutation, Lie biproduct, bosonisation and double-bosonisation relating braided Lie bialgebras to usual Lie bialgebras. Among the results, the kernel of any split projection of Lie bialgebras is a braided-Lie bialgebra. The Kirillov-Kostant Lie cobracket provides a natural braided-Lie bialgebra on any complex simple Lie algebra $g$, as the transmutation of the Drinfeld-Sklyanin…
We develop an algebraic theory of colored, semigrouplike-flavored and pathlike co-, bi- and Hopf algebras. This is the right framework in which to discuss antipodes for bialgebras naturally appearing in combinatorics, topology, number theory and physics. In particular, we can precisely give conditions for the invertibility of characters that is needed for renormalization in the formulation of Connes and Kreimer. These are met in the relevant examples. In order to construct antipodes, we discuss formal localization constructions and quantum deformations. These allow to define and explain the ap…
