文摘
The vector space spanned by rooted forests admits two graded bialgebra structures. The first is defined by Connes and Kreimer using admissible cuts, and the second is defined by Calaque, Ebrahimi-Fard and the second author using contraction of trees. In this article, we define the doubling of these two spaces. We construct two bialgebra structures on these spaces which are in interaction, as well as two related associative products obtained by dualization. We also show that these two bialgebras verify a commutative diagram similar to the diagram verified Calaque, Ebrahimi-Fard and the second author in the case of rooted trees Hopf algebra, and by the second author in the case of cycle-free oriented graphs.