Related papers: Generalized bialgebras and triples of operads
Jean-Louis Loday has defined generalised bialgebras and proved structure theorems in this setting which can be seen as general forms of the Poincar\'e-Birkhoff-Witt and the Cartier-Milnor-Moore theorems. It was observed by the present…
We develop versions of the Poincar\'e-Birkhoff-Witt and Cartier-Milnor-Moore theorems in the setting of braided Hopf algebras. To do so, we introduce new analogues of a Lie algebra in the setting of a braided monoidal category, using the…
A braided bialgebra is called primitively generated if it is generated as an algebra by its space of primitive elements. We prove that any primitively generated braided bialgebra is isomorphic to the universal enveloping algebra of its…
We extend the classical Poincar\'e-Birkhoff-Witt theorem to higher algebra by establishing a version that applies to spectral Lie algebras. We deduce this statement from a basic relation between operads in spectra: the commutative operad is…
The operad Lie can be constructed as the operad of primitives Prim As from the operad As of associative algebras. This is reflected by the theorems of Friedrichs, Poincare'-Birkhoff-Witt and Cartier-Milnor-Moore. We replace As by families…
We study different algebraic structures associated to an operad and their relations: to any operad $\mathbf{P}$ is attached a bialgebra,the monoid of characters of this bialgebra, the underlying pre-Lie algebra and its enveloping algebra;…
We prove an analogue of the Poincare'-Birkhoff-Witt theorem and of the Cartier-Milnor-Moore theorem for non-cocommutative Hopf algebras. The primitive part of a cofree Hopf algebra is a B-infini-algebra. We construct a universal enveloping…
Over fields of characteristic zero, we construct equivalences between certain categories of bialgebras which are generated by grouplikes and generalized primitives, and certain categories of structured Lie algebras. The relevant families of…
We review the extent to which the universal enveloping algebra of a Lie-Rinehart algebra resembles a Hopf algebra, and refer to this structure as a Rinehart bialgebra. We then prove a Cartier-Milnor-Moore type theorem for such Rinehart…
We construct an universal enveloping algebra associated to the ternary extension of Lie (super)algebras called Lie algebra of order three. A Poincar\'e-Birkhoff-Witt theorem is proven is this context. It this then shown that this universal…
We introduce bidendriform bialgebras, which are bialgebras such that both product and coproduct can be split into two parts satisfying good compatibilities. For example, the Malvenuto-Reutenauer Hopf algebra and the non-commutative…
For a Poisson algebra $A$, by exploring its relation with Lie-Rinehart algebras, we prove a Poincar\'e-Birkoff-Witt theorem for its universal enveloping algebra $A^e$. Some general properties of the universal enveloping algebras of Poisson…
Functors from (co)operads to bialgebras relate Hopf algebras that occur in renormalisation to operads, which simplifies the proof of the Hopf algebra axioms, and induces a characterisation of the corresponding group of characters and Lie…
We introduce the bicategory of bialgebras with coverings (which can be thought of as coalgebra-indexed families of morphisms), and provide a motivating application to the transfer of formulas for primitives and antipode. Additionally, we…
Poincare-Birkhoff-Witt (PBW) Theorems have attracted significant attention since the work of Drinfeld (1986), Lusztig (1989), and Etingof-Ginzburg (2002) on deformations of skew group algebras $H \ltimes {\rm Sym}(V)$, as well as for other…
We define a "combinatorial Hopf algebra" as a Hopf algebra which is free (or cofree) and equipped with a given isomorphism to the free algebra over the indecomposables (resp. the cofree coalgebra over the primitives). The choice of such an…
We give a new syntax independent definition of the notion of a generalized algebraic theory as an initial object in a category of categories with families (cwfs) with extra structure. To this end we define inductively how to build a valid…
Brugui\`eres, Lack and Virelizier have recently obtained a vast generalization of Sweedler's Fundamental Theorem of Hopf modules, in which the role of the Hopf algebra is played by a bimonad. We present an extension of this result which…
We prove that the Lie algebra of primitive elements of a graded and connected bialgebra, free as an associative algebra, over a eld of characteristic zero, is a free Lie algebra. The main tool is a ltration, which allows to embed the…
Rota-Baxter associative algebras and Rota-Baxter Lie algebras are both important in mathematics and mathematical physics, with the former a basic structure in quantum field renormalization and the latter a operator form of the classical…