Bialgebras overs another bialgebras and quasishuffle double bialgebras

TL;DR

This paper generalizes quasishuffle Hopf algebras to a broader class called double bialgebras over a bialgebra V, establishing a universal property and applying it to V-decorated graphs.

Contribution

It introduces the concept of double bialgebras over V and proves that quasishuffle bialgebras are examples, extending the universal property of QSym.

Findings

QSh(V) is a double bialgebra over V.

Universal property for bialgebras over V is established.

Application to V-decorated graphs demonstrates the framework.

Abstract

Quasishuffle Hopf algebras, usually defined on a commutative monoid, can be more generally defined on any associative algebra V. If V is a commutative and cocommutative bialgebra, the associated quasishuffle bialgebra QSh(V) inherits a second coproduct $\delta$ of contraction and extraction of words, cointeracting with the deconcatenation coproduct $\Delta$, making QSh(V) a double bialgebra. In order to generalize the universal property of the Hopf algebra of quasisymmetric functions QSym (a particular case of quasishuffle Hopf algebra) as exposed by Aguiar, Bergeron and Sottile, we introduce the notion of double bialgebra over V. A bialgebra over V is a bialgebra in the category of right V-comodules and an extra condition is required on the second coproduct for double bialgebras over V. We prove that the quasishuffle bialgebra QSh(V) is a double bialgebra over V , and that it satisfies a universal property: for any bialgebra B over V and for any character $\lambda$ of B, under a connectedness condition, there exists a unique morphism $\phi$ of bialgebras over V from B to QSh(V) such that $\epsilon_\delta \circ \phi=\lambda$. When V is a double bialgebra over V , we obtain a unique morphism of double bialgebras over V from B to QSh(V), and show that this morphism $\phi_1$ allows to obtain any morphism of bialgebra over V from B to QSh(V) thanks to an action of a monoid of characters. This formalism is applied to a double bialgebra of V-decorated graphs.