Bidendriform bialgebras, trees, and free quasi-symmetric functions

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 Connes-Kreimer Hopf algebras of planar decorated rooted trees are bidendriform bialgebras. We prove that all connected bidendriform bialgebras are generated by their primitive elements as a dendriform algebra (bidendriform Milnor-Moore theorem) and then is isomorphic to a Connes-Kreimer Hopf algebra. As a corollary, the Hopf algebra of Malvenuto-Reutenauer is isomorphic to the Connes-Kreimer Hopf algebra of planar rooted trees decorated by a certain set. We deduce that the Lie algebra of its primitive elements is free in characteristic zero (G. Duchamp, F. Hivert and J.-Y. Thibon conjecture).     

A noncommutative symmetric system over the Grossman-Larson Hopf algebra of labeled rooted trees

In this paper, we construct explicitly a noncommutative symmetric ( CS) system over the Grossman-Larson Hopf algebra of labeled rooted trees. By the universal property of the CS system formed by the generating functions of certain noncommutative symmetric functions, we obtain a specialization of noncommutative symmetric functions by labeled rooted trees. Taking the graded duals, we also get a graded Hopf algebra homomorphism from the Connes-Kreimer Hopf algebra of labeled rooted forests to the Hopf algebra of quasi-symmetric functions. A connection of the coefficients of the third generating function of the constructed CS system with the order polynomials of rooted trees is also given and proved.     

The Hopf Algebra of Rooted Trees in Epstein-Glaser Renormalization

We show how the Hopf algebra of rooted trees encodes the combinatorics of Epstein-Glaser renormalization and coordinate space renormalization in general. In particular, we prove that the Epstein-Glaser time-ordered products can be obtained from the Hopf algebra by suitable Feynman rules, mapping trees to operator-valued distributions. Twisting the antipode with a renormalization map formally solves the Epstein-Glaser recursion and provides local counterterms due to the Hochschild 1-closedness of the grafting operator B₊.submitted 29/03/04, accepted 01/06/04     

Faà di Bruno subalgebras of the Hopf algebra of planar trees from combinatorial Dyson-Schwinger equations

We consider the combinatorial Dyson-Schwinger equation X=B⁺(P(X)) in the non-commutative Connes-Kreimer Hopf algebra of planar rooted trees HNCK, where B⁺ is the operator of grafting on a root, and P a formal series. The unique solution X of this equation generates a graded subalgebra AN,P of HNCK. We describe all the formal series P such that AN,P is a Hopf subalgebra. We obtain in this way a 2-parameters family of Hopf subalgebras of HNCK, organized into three isomorphism classes: a first one, restricted to a polynomial ring in one variable; a second one, restricted to the Hopf subalgebra of ladders, isomorphic to the Hopf algebra of quasi-symmetric functions; a last (infinite) one, which gives a non-commutative version of the Faà di Bruno Hopf algebra. By taking the quotient, the last class gives an infinite set of embeddings of the Faà di Bruno algebra into the Connes-Kreimer Hopf algebra of rooted trees. Moreover, we give an embedding of the free Faà di Bruno Hopf algebra on D variables into a Hopf algebra of decorated rooted trees, together with a non-commutative version of this embedding.     

Combinatorics of rooted trees and Hopf algebras

We begin by considering the graded vector space with a basis consisting of rooted trees, with grading given by the count of non-root vertices. We define two linear operators on this vector space, the growth and pruning operators, which respectively raise and lower grading; their commutator is the operator that multiplies a rooted tree by its number of vertices, and each operator naturally associates a multiplicity to each pair of rooted trees. By using symmetry groups of trees we define an inner product with respect to which the growth and pruning operators are adjoint, and obtain several results about the associated multiplicities.

Now the symmetric algebra on the vector space of rooted trees (after a degree shift) can be endowed with a coproduct to make a Hopf algebra; this was defined by Kreimer in connection with renormalization. We extend the growth and pruning operators, as well as the inner product mentioned above, to Kreimer's Hopf algebra. On the other hand, the vector space of rooted trees itself can be given a noncommutative multiplication: with an appropriate coproduct, this leads to the Hopf algebra of Grossman and Larson. We show that the inner product on rooted trees leads to an isomorphism of the Grossman-Larson Hopf algebra with the graded dual of Kreimer's Hopf algebra, correcting an earlier result of Panaite.

     

Sur l'algèbre enveloppante d'une algèbre pré-Lie

We construct an associative product on the symmetric module $S(L)$ of any pre-Lie algebra L. It turns $S(L)$ into a Hopf algebra which is isomorphic to the envelopping algebra of $L_{\mathrm{Lie}}$. Then we prove that in the case of rooted trees our construction is dual to that of Connes and Kreimer. We also show that symmetric brace algebras and pre-Lie algebras are the same. Finally, we give a similar interpretation of the Hopf algebra of planar rooted trees. To cite this article: J.-M. Oudom, D. Guin, C. R. Acad. Sci. Paris, Ser. I 340 (2005).     

自由Rota-Baxter代数的因子分解

近年来,Rota-Baxter代数在数学和物理学中有着广泛的应用,受到越来越多的关注,自由Rota-Baxter代数分别用括号字,根树以及Motzkin路径得到了构造.因子分解在代数学中是一个很重要的问题.本文主要考虑用括号字构造的自由RotaBaxter代数,得到了自由Rota-Baxter代数中基元素的因子分解.     

On the operad of bigraft algebras

In this paper, we study the notion of a bigraft algebra, generalizing the notions of left and right graft algebras. We construct the free bigraft algebra on one generator in terms of certain planar rooted trees with decorated edges, and therefore describe explicitly the bigraft operad. We then compute its Koszul dual and show that the bigraft operad is Koszul. Moreover, we endow the free bigraft algebra on one generator with a universal Hopf algebra structure and a pairing. Finally, we prove an analogue of the Poincaré–Birkhoff–Witt and Cartier–Milnor–Moore theorems. For this, we define the notion of infinitesimal bigraft bialgebras and we prove the existence of a new good triple of operads.     

Construction of Rota-Baxter algebras via Hopf module algebras

We propose the notion of Hopf module algebra and show that the projection onto the subspace of coinvariants is an idempotent Rota-Baxter operator of weight-1. We also provide a construction of Hopf module algebras by using Yetter-Drinfeld module algebras. As an application,we prove that the positive part of a quantum group admits idempotent Rota-Baxter algebra structures.     

Sweedler 4维Hopf代数的Rota-Baxter代数结构

设H_4是Sweedler4维Hopf代数.本文根据Rota-Baxter算子的定义和性质,建立H_4的权为λ的Rota-Baxter算子在选定基下的矩阵元素满足的二次方程组.通过求解权λ=0时的二次齐次方程组和权λ=1时的二次非齐次方程组,给出了Rota-Baxter算子相应的矩阵形式.     

Quasitriangular Hopf algebras whose group-like elements form an abelian group

In this paper we prove some properties of the set of group-like elements of , , for a pointed minimal quasitriangular Hopf algebra over a field of characteristic 0, and for a pointed quasitriangular Hopf algebra which is indecomposable as a coalgebra. We first show that over a field of characteristic 0, for any pointed minimal quasitriangular Hopf algebra , is abelian. We show further that if is a quasitriangular Hopf algebra which is indecomposable as a coalgebra, then is contained in , the minimal quasitriangular Hopf algebra contained in . As a result, one gets that over a field of characteristic 0, a pointed indecomposable quasitriangular Hopf algebra has a finite abelian group of group-like elements.

     

Noncommutative symmetric systems over associative algebras

This paper is the first of a sequence of papers [W. Zhao, Differential operator specializations of noncommutative symmetric functions (submitted for publication). math.CO/0509134; W. Zhao, Noncommutative symmetric functions and the inversion problem (submitted for publication). math.CV/0509135; W. Zhao, A system over the Grossman-Larson Hopf algebra of labeled rooted trees (submitted for publication). math.CO/0509136; W. Zhao, systems over differential operator algebras and the Grossman-Larson Hopf algebra of labeled rooted trees (submitted for publication). math.CO/0509138. preprint] on the (noncommutative symmetric) systems over differential operator algebras in commutative or noncommutative variables [W. Zhao, Differential operator specializations of noncommutative symmetric functions (submitted for publication). math.CO/0509134]; the systems over the Grossman-Larson Hopf algebras [R. Grossman, R.G. Larson, Hopf-algebraic structure of families of trees, J. Algebra 126 (1) (1989) 184-210. [MR1023294]; L. Foissy, Les algèbres de Hopf des arbres enracinés décorés I, II, Bull. Sci. Math. 126 (3) (2002) 193-239; (4) 249-288. See also math.QA/0105212. [MR1909461]] of labeled rooted trees [W. Zhao, A system over the Grossman-Larson Hopf algebra of labeled rooted trees (submitted for publication). math.CO/0509136]; as well as their connections and applications to the inversion problem [H. Bass, E. Connell, D. Wright, The Jacobian conjecture, reduction of degree and formal expansion of the inverse, Bull. Amer. Math. Soc. 7 (1982) 287-330. [MR 83k:14028]; A. van den Essen, Polynomial automorphisms and the Jacobian conjecture, in: Progress in Mathematics, vol. 190, Birkhäuser Verlag, Basel, 2000. [MR1790619]] and specializations of NCSFs [W. Zhao, Noncommutative symmetric functions and the inversion problem (submitted for publication). math.CV/0509135; W. Zhao, systems over differential operator algebras and the Grossman-Larson Hopf algebra of labeled rooted trees (submitted for publication). math.CO/0509138. preprint]. In this paper, inspired by the seminal work [I.M. Gelfand, D. Krob, A. Lascoux, B. Leclerc, V.S. Retakh, J.-Y. Thibon, Noncommutative symmetric functions, Adv. Math. 112 (2) (1995) 218-348. See also hep-th/9407124. [MR1327096]] on NCSFs (noncommutative symmetric functions), we first formulate the notion of systems over associative Q-algebras. We then prove some results for systems in general; the systems over bialgebras or Hopf algebras; and the universal system formed by the generating functions of certain NCSFs in [I.M. Gelfand, D. Krob, A. Lascoux, B. Leclerc, V.S. Retakh, J.-Y. Thibon, Noncommutative symmetric functions, Adv. Math. 112 (2) (1995) 218-348. See also hep-th/9407124. [MR1327096]]. Finally, we review some of the main results that will be proved in the following papers [W. Zhao, Differential operator specializations of noncommutative symmetric functions (submitted for publication). math.CO/0509134; W. Zhao, A system over the Grossman-Larson Hopf algebra of labeled rooted trees (submitted for publication). math.CO/0509136; W. Zhao, systems over differential operator algebras and the Grossman-Larson Hopf algebra of labeled rooted trees (submitted for publication). math.CO/0509138. preprint] as some supporting examples for the general discussions given in this paper.     

Trees, Renormalization and Differential Equations

The Butcher group and its underlying Hopf algebra of rooted trees were originally formulated to describe Runge–Kutta methods in numerical analysis. In the past few years, these concepts turned out to have far-reaching applications in several areas of mathematics and physics: they were rediscovered in noncommutative geometry, they describe the combinatorics of renormalization in quantum field theory. The concept of Hopf algebra is introduced using a familiar example and the Hopf algebra of rooted trees is defined. Its role in Runge–Kutta methods, renormalization theory and noncommutative geometry is described.     

On differential Rota-Baxter algebras

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.     

A rough path over multidimensional fractional Brownian motion with arbitrary Hurst index by Fourier normal ordering

Fourier normal ordering (Unterberger, 2009) [34] is a new algorithm to construct explicit rough paths over arbitrary Hölder-continuous multidimensional paths. We apply in this article the Fourier normal ordering algorithm to the construction of an explicit rough path over multi-dimensional fractional Brownian motion B$B$ with arbitrary Hurst index α$\alpha$ (in particular, for α≤1/4$\alpha \le 1/4$, which was till now an open problem) by regularizing the iterated integrals of the analytic approximation of B$B$ defined in Unterberger (2009) [32]. The regularization procedure is applied to ‘Fourier normal ordered’ iterated integrals obtained by permuting the order of integration so that innermost integrals have highest Fourier modes. The algebraic properties of this rough path are best understood using two Hopf algebras: the Hopf algebra of decorated rooted trees (Connes and Kreimer, 1998) [6] for the multiplicative or Chen property, and the shuffle algebra for the geometric or shuffle property. The rough path lives in Gaussian chaos of integer orders and is shown to have finite moments.     

Corrigendum to: Free Rota-Baxter systems and a Hopf algebra structure

Abstract

In this corrigendum, we give a correction that a free Rota-Baxter system is a left counital Hopf algebra but not a Hopf algebra.     

On the Hopf Algebraic Structure of Lie Group Integrators

A commutative but not cocommutative graded Hopf algebra H_N, based on ordered (planar) rooted trees, is studied. This Hopf algebra is a generalization of the Hopf algebraic structure of unordered rooted trees H_C, developed by Butcher in his study of Runge-Kutta methods and later rediscovered by Connes and Moscovici in the context of noncommutative geometry and by Kreimer where it is used to describe renormalization in quantum field theory. It is shown that H_N is naturally obtained from a universal object in a category of noncommutative derivations and, in particular, it forms a foundation for the study of numerical integrators based on noncommutative Lie group actions on a manifold. Recursive and nonrecursive definitions of the coproduct and the antipode are derived. The relationship between H_N and four other Hopf algebras is discussed. The dual of H_N is a Hopf algebra of Grossman and Larson based on ordered rooted trees. The Hopf algebra H_C of Butcher, Connes, and Kreimer is identified as a proper Hopf subalgebra of H_N using the image of a tree symmetrization operator. The Hopf algebraic structure of the shuffle algebra H_Sh is obtained from H_N by a quotient construction. The Hopf algebra H_P of ordered trees by Foissy differs from H_N in the definition of the product (noncommutative concatenation for H_P and shuffle for H_N) and the definitions of the coproduct and the antipode, however, these are related through the tree symmetrization operator.     

Central invariants and higher indicators for semisimple quasi-Hopf algebras

In this paper, we define the higher Frobenius-Schur (FS-)indicators for finite-dimensional modules of a semisimple quasi-Hopf algebra via the categorical counterpart developed in a 2005 preprint. When is an ordinary Hopf algebra, we show that our definition coincides with that introduced by Kashina, Sommerhäuser, and Zhu. We find a sequence of gauge invariant central elements of such that the higher FS-indicators of a module are obtained by applying its character to these elements. As an application, we show that FS-indicators are sufficient to distinguish the four gauge equivalence classes of semisimple quasi-Hopf algebras of dimension eight corresponding to the four fusion categories with certain fusion rules classified by Tambara and Yamagami. Three of these categories correspond to well-known Hopf algebras, and we explicitly construct a quasi-Hopf algebra corresponding to the fourth one using the Kac algebra. We also derive explicit formulae for FS-indicators for some quasi-Hopf algebras associated to group cocycles.