arXiv++ Combinatorics

The study of Reynolds algebras has its origin in the well-known work of O. Reynolds on fluid dynamics in 1895 and has since found broad applications. It also has close relationship with important linear operators such as algebra endomorphisms, derivations and Rota-Baxter operators. Many years ago G.~Birkhoff suggested an algebraic study of Reynolds operators, including the corresponding free algebras. We carry out such a study in this paper. We first provide examples and properties of Reynolds operators, including a multi-variant generalization of the Reynolds identity. We then construct the free Reynolds algebra on a set. For this purpose, we identify a set of bracketed words called Reynolds words which serves as the linear basis of the free Reynolds algebra. A combinatorial interpretation of Reynolds words is given in terms of rooted trees without super crowns. The closure of the Reynolds words under concatenation gives the algebra structure on the space spanned by Reynolds words. Then a linear operator is defined on this algebra such that the Reynolds identity and the desired universal property are satisfied.

The Hopf algebra and the Rota-Baxter algebra are the two algebraic structures underlying the algebraic approach of Connes and Kreimer to renormalization of perturbative quantum field theory. In particular the Hopf algebra of rooted trees serves as the "baby model" of Feynman graphs in their approach and can be characterized by certain universal properties involving a Hochschild 1-cocycle. Decorated rooted trees have also been applied to study Feynman graphs. We will continue the study of universal properties of various spaces of decorated rooted trees with such a 1-cocycle, leading to the concept of a cocycle Hopf algebra. We further apply the universal properties to equip a free Rota-Baxter algebra with the structure of a cocycle Hopf algebra or a cocycle bialgebra.