Structure of the Loday–Ronco Hopf algebra of trees

Loday and Ronco defined an interesting Hopf algebra structure on the linear span of the set of planar binary trees. They showed that the inclusion of the Hopf algebra of non-commutative symmetric functions in the Malvenuto–Reutenauer Hopf algebra of permutations factors through their Hopf algebra of trees, and these maps correspond to natural maps from the weak order on the symmetric group to the Tamari order on planar binary trees to the boolean algebra.We further study the structure of this Hopf algebra of trees using a new basis for it. We describe the product, coproduct, and antipode in terms of this basis and use these results to elucidate its Hopf-algebraic structure. In the dual basis for the graded dual Hopf algebra, our formula for the coproduct gives an explicit isomorphism with a free associative algebra. We also obtain a transparent proof of its isomorphism with the non-commutative Connes–Kreimer Hopf algebra of Foissy, and show that this algebra is related to non-commutative symmetric functions as the (commutative) Connes–Kreimer Hopf algebra is related to symmetric functions.     

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).     

Binary shuffle bases for quasi-symmetric functions

We construct bases of quasi-symmetric functions whose product rule is given by the shuffle of binary words, as for multiple zeta values in their integral representations, and then extend the construction to the algebra of free quasi-symmetric functions colored by positive integers. As a consequence, we show that the fractions introduced in Guo and Xie (Ramanujan J 25:307–317, 2011) provide a realization of this algebra by rational moulds extending that of free quasi-symmetric functions given in Chapoton et al. (Int Math Res Not IMRN 2008, no. 9, Art. ID rnn018, 2008).     

Twist积和Twist余积Hopf代数

设H,A是两个Hopf代数,构造了twist积A#_σH和twist余积A#~(?)H,证明了文[1]中的double twist和S.Majid构造的Bicrossproduct结构以及通常的smash积都是A#_σH的一种特殊情况;文[2,3]中的twist Hopf代数以及通常的smash余积是A#~(?)H的特殊情况,最后讨论了A#~(?)H上的拟三角结构.     

Free quasi-symmetric functions and descent algebras for wreath products, and noncommutative multi-symmetric functions

We introduce analogs of the Hopf algebra of Free quasi-symmetric functions with bases labeled by colored permutations. When the color set is a semigroup, an internal product can be introduced. This leads to the construction of generalized descent algebras associated with wreath products Γ?S_n and to the corresponding generalizations of quasi-symmetric functions. The associated Hopf algebras appear as natural analogs of McMahon’s multisymmetric functions. As a consequence, we obtain an internal product on ordinary multi-symmetric functions. We extend these constructions to Hopf algebras of colored parking functions, colored non-crossing partitions and parking functions of type B.     

Mould calculus,polyhedral cones,and characters of combinatorial Hopf algebras

We describe a method for constructing characters of combinatorial Hopf algebras by means of integrals over certain polyhedral cones. This is based on ideas from resurgence theory, in particular on the construction of well-behaved averages induced by diffusion processes on the real line. We give several interpretations and proofs of the main result in terms of noncommutative symmetric and quasi-symmetric functions, as well as generalizations involving matrix quasi-symmetric functions. The interpretation of noncommutative symmetric functions as alien operators in resurgence theory is also discussed, and a new family of Lie idempotents of descent algebras is derived from this interpretation.     

Radford's biproduct for quasi-Hopf algebras and bosonization

Let B be a braided Hopf algebra (with bijective antipode) in the category of left Yetter-Drinfeld modules over a quasi-Hopf algebra H. As in the case of Hopf algebras (J. Algebra 92 (1985) 322), the smash product B#H defined in (Comm. Algebra 28(2) (2000) 631) and a kind of smash coproduct afford a quasi-Hopf algebra structure on B⊗H. Using this, we obtain the structure of quasi-Hopf algebras with a projection. Further we will use this biproduct to describe the Majid bosonization (J. Algebra 163 (1994) 165) for quasi-Hopf algebras.     

The KP hierarchy, branched covers, and triangulations

The KP hierarchy is a completely integrable system of quadratic, partial differential equations that generalizes the KdV hierarchy. A linear combination of Schur functions is a solution to the KP hierarchy if and only if its coefficients satisfy the Plücker relations from geometry. We give a solution to the Plücker relations involving products of variables marking contents for a partition, and thus give a new proof of a content product solution to the KP hierarchy, previously given by Orlov and Shcherbin. In our main result, we specialize this content product solution to prove that the generating series for a general class of transitive ordered factorizations in the symmetric group satisfies the KP hierarchy. These factorizations appear in geometry as encodings of branched covers, and thus by specializing our transitive factorization result, we are able to prove that the generating series for two classes of branched covers satisfies the KP hierarchy. For the first of these, the double Hurwitz series, this result has been previously given by Okounkov. The second of these, that we call the m-hypermap series, contains the double Hurwitz series polynomially, as the leading coefficient in m. The m-hypermap series also specializes further, first to the series for hypermaps and then to the series for maps, both in an orientable surface. For the latter series, we apply one of the KP equations to obtain a new and remarkably simple recurrence for triangulations in a surface of given genus, with a given number of faces. This recurrence leads to explicit asymptotics for the number of triangulations with given genus and number of faces, in recent work by Bender, Gao and Richmond.     

Rota–Baxter algebras and left weak composition quasi-symmetric functions

Motivated by a question of Rota, this paper studies the relationship between Rota–Baxter algebras and symmetric-related functions. The starting point is the fact that the space of quasi-symmetric functions is spanned by monomial quasi-symmetric functions which are indexed by compositions. When composition is replaced by left weak composition (LWC), we obtain the concept of LWC monomial quasi-symmetric functions and the resulting space of LWC quasi-symmetric functions. In line with the question of Rota, the latter is shown to be isomorphic to the free commutative nonunitary Rota–Baxter algebra on one generator. The combinatorial interpretation of quasi-symmetric functions by P-partitions from compositions is extended to the context of left weak compositions, leading to the concept of LWC fundamental quasi-symmetric functions. The transformation formulas for LWC monomial and LWC fundamental quasi-symmetric functions are obtained, generalizing the corresponding results for quasi-symmetric functions. Extending the close relationship between quasi-symmetric functions and multiple zeta values, weighted multiple zeta values, and a q-analog of multiple zeta values are investigated, and a decomposition formula is established.     

Canonical characters on simple graphs

A multiplicative functional on a graded connected Hopf algebra is called the character. Every character decomposes uniquely as a product of an even character and an odd character. We apply the character theory of combinatorial Hopf algebras to the Hopf algebra of simple graphs. We derive explicit formulas for the canonical characters on simple graphs in terms of coefficients of the chromatic symmetric function of a graph and of canonical characters on quasi-symmetric functions. These formulas and properties of characters are used to derive some interesting numerical identities relating multinomial and central binomial coefficients.     

Twisted descent algebras and the Solomon-Tits algebra

The notion of descent algebra of a bialgebra is lifted to the Barratt-Joyal setting of twisted bialgebras. The new twisted descent algebras share many properties with their classical counterparts. For example, there are twisted analogs of classical Lie idempotents and of the peak algebra. Moreover, the universal twisted descent algebra is equipped with two products and a coproduct, and there is a fundamental rule linking all three. This algebra is shown to be naturally related to the geometry of the Coxeter complex of type A.     

交叉余积上的Hopf代数结构

本文给出了Ｓｍａｓｈ积代数结构和交叉余积余代数结构构成双代数的一个充分必要条件．另外,还给出了这一新的双代数成为Ｈｏｐｆ代数的一个充分条件．     

Hopf Algebra Structure Over Crossed Coproducts

The smash coproduct coalgebra has been generalized to crossed coproduct coalgebra in [3]. It is natural to replace the smash coproduct by the crossed coproduct and consider the conditions under which the smash product algebra structure and the crossed coproduct coalgebra structure will inherit a bialgebra structure or a Hopf algebra structure. We derive necessary and sufficient conditions for this problem. This generalizes the corresponding results in [7]. Finally, we characterize this new structure by introducing a concept of (H, )-comodule and prove that Heisenberg double [4] and smash coproduct do not make a bialgebra.AMS Subject Classification (1991): 16S40 16W30The first and second authors were partially supported by NNSF of China. The first author was also supported by the NSF of Henan Province and the second author by the YSF of Shandong Province (No. Q98A05113).     

The combinatorial Hopf algebra of motivic dissection polylogarithms

We introduce a family of periods of mixed Tate motives called dissection polylogarithms, that are indexed by combinatorial objects called dissection diagrams. The motivic coproduct on the former is encoded by a combinatorial Hopf algebra structure on the latter. This generalizes Goncharov's formula for the motivic coproduct on (generic) iterated integrals. Our main tool is the study of the relative cohomology group corresponding to a bi-arrangement of hyperplanes.     

A self paired Hopf algebra on double posets and a Littlewood-Richardson rule

Let D be the set of isomorphism types of finite double partially ordered sets, that is sets endowed with two partial orders. On ZD we define a product and a coproduct, together with an internal product, that is, degree-preserving. With these operations ZD is a Hopf algebra. We define a symmetric bilinear form on this Hopf algebra: it counts the number of pictures (in the sense of Zelevinsky) between two double posets. This form is a Hopf pairing, which means that product and coproduct are adjoint each to another. The product and coproduct correspond respectively to disjoint union of posets and to a natural decomposition of a poset into order ideals. Restricting to special double posets (meaning that the second order is total), we obtain a notion equivalent to Stanley's labelled posets, and a Hopf subalgebra already considered by Blessenohl and Schocker. The mapping which maps each double poset onto the sum of the linear extensions of its first order, identified via its second (total) order with permutations, is a Hopf algebra homomorphism, which is isometric and preserves the internal product, onto the Hopf algebra of permutations, previously considered by the two authors. Finally, the scalar product between any special double poset and double posets naturally associated to integer partitions is described by an extension of the Littlewood-Richardson rule.     

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.

     

Quasi-Shuffle Products

Given a locally finite graded set A and a commutative, associative operation on A that adds degrees, we construct a commutative multiplication * on the set of noncommutative polynomials in A which we call a quasi-shuffle product; it can be viewed as a generalization of the shuffle product III. We extend this commutative algebra structure to a Hopf algebra (U, *, ); in the case where A is the set of positive integers and the operation on A is addition, this gives the Hopf algebra of quasi-symmetric functions. If rational coefficients are allowed, the quasi-shuffle product is in fact no more general than the shuffle product; we give an isomorphism exp of the shuffle Hopf algebra (U, III, ) onto (U, *, ) the set L of Lyndon words on A and their images { exp(w) w L} freely generate the algebra (U, *). We also consider the graded dual of (U, *, ). We define a deformation *_q of * that coincides with * when q = 1 and is isomorphic to the concatenation product when q is not a root of unity. Finally, we discuss various examples, particularly the algebra of quasi-symmetric functions (dual to the noncommutative symmetric functions) and the algebra of Euler sums.     

(ω,σ)-Smash积积和和(ν,α)-Smash余余积积

设B,H是两个Hopf代数,构造了(ω,σ)-Smash积Bω#σH和(ν,α)-Smash余积Bν■αH,并给出了Bω#σH是Hopf代数和Bν■αH是双代数的充要条件,证明了许多已知的积和余积是它们的特殊情况.     

The Hecke group algebra of a Coxeter group and its representation theory

Let W be a finite Coxeter group. We define its Hecke-group algebra by gluing together appropriately its group algebra and its 0-Hecke algebra. We describe in detail this algebra (dimension, several bases, conjectural presentation, combinatorial construction of simple and indecomposable projective modules, Cartan map) and give several alternative equivalent definitions (as symmetry preserving operator algebra, as poset algebra, as commutant algebra, …).In type A, the Hecke-group algebra can be described as the algebra generated simultaneously by the elementary transpositions and the elementary sorting operators acting on permutations. It turns out to be closely related to the monoid algebras of respectively nondecreasing functions and nondecreasing parking functions, the representation theory of which we describe as well.This defines three towers of algebras, and we give explicitly the Grothendieck algebras and coalgebras given respectively by their induction products and their restriction coproducts. This yields some new interpretations of the classical bases of quasi-symmetric and noncommutative symmetric functions as well as some new bases.