arXiv++ Combinatorics

A Rota-Baxter operator of weight $λ$ is an abstraction of both the integral operator (when $λ=0$) and the summation operator (when $λ=1$). We similarly define a differential operator of weight $λ$ that includes both the differential operator (when $λ=0$) and the difference operator (when $λ=1$). We further consider an algebraic structure with both a differential operator of weight $λ$ and a Rota-Baxter operator of weight $λ$ that are related in the same way that the differential operator and the integral operator are related by the First Fundamental Theorem of Calculus. We construct free objects in the corresponding categories. In the commutative case, the free objects are given in terms of generalized shuffles, called mixable shuffles. In the noncommutative case, the free objects are given in terms of angularly decorated rooted forests. As a byproduct, we obtain structures of a differential algebra on decorated and undecorated planar rooted forests.

By applying a recent construction of free Baxter algebras, we obtain a new class of Hopf algebras that generalizes the classical divided power Hopf algebra. We also study conditions under which these Hopf algebras are isomorphic.

In this paper we generalize the well-known construction of shuffle product algebras by using mixable shuffles, and prove that any free Baxter algebra is isomorphic to a mixable shuffle product algebra. This gives an explicit construction of the free Baxter algebra, extending the work of Rota and Cartier.

We continue the study of free Baxter algebras. There are two goals of this paper. The first goal is to extend the construction of shuffle Baxter algebras to completions of Baxter algebras. This process is motivated by a construction of Cartier and is analogous to the process of completing a polynomial algebra to obtain a power series algebra. However, as we will see later, unlike the close similarity of properties of a polynomial algebra and a power series algebra, properties of a shuffle Baxter algebra and its completion can be quite different.