arXiv++ Combinatorics

The works of Poincare, Birkhoff, Witt and Cartier, Milnor, Moore on the connected cocommutative Hopf algebras translated in the language of operads means that the triple of operads (Com, As, Lie) endowed with the Hopf compatiblity relation is good. In this paper, we focus on left dipterous (resp. right dipterous) algebras which are associative algebras with an extra left (resp. right) module on themselves and look for good triples were $As$ is replaced by the dipterous operad Dipt. Since the work of Loday and Ronco, the triple of operads (As, Dipt, B_\infty) endowed with the semi-Hopf compatibility relations is known to be good. In this paper, we prove that the triple of operads (As, Dipt, Grove) endowed with the so-called (nonunital) semi-infinitesimal compatibility relations is good. For that, explicit constructions of the free dipterous algebra and the free grove-algebra over a K-vector space V are given. These constructions turn out to be related to rooted planar trees and the little an large Schroeder numbers. Many examples of dipterous algebras are given, notably the free L-dipterous algebras. As a corollary of our results, we also recover that the triple of operads (2As, Dipt, Vect) endowed both with the unital semi-Hopf and with the unital semi-infinitesimal compatibility relations is good, where 2As denotes the operad of 2-associative algebras. We also open this paper on a good triple, related to the Connes-Kreimer Hopf algebra in quantum field theory, (Com, Dipt, Prim_{Com} Dipt) endowed with the Hopf compatibility relations and also present a general theorem giving good triples from entangled dipterous like operads named associative molecules.

This tutorial is intended to give an accessible introduction to Hopf algebras. The mathematical context is that of representation theory, and we also illustrate the structures with examples taken from combinatorics and quantum physics, showing that in this latter case the axioms of Hopf algebra arise naturally. The text contains many exercises, some taken from physics, aimed at expanding and exemplifying the concepts introduced.

The profile of a relational structure $R$ is the function $\varphi_R$ which counts for every integer $n$ the number, possibly infinite, $\varphi_R(n)$ of substructures of $R$ induced on the $n$-element subsets, isomorphic substructures being identified. If $\varphi_R$ takes only finite values, this is the Hilbert function of a graded algebra associated with $R$, the age algebra $A(R)$, introduced by P.~J.~Cameron. In a previous paper, we studied the relationship between the properties of a relational structure and those of their algebra, particularly when the relational structure $R$ admits a finite monomorphic decomposition. This setting still encompasses well-studied graded commutative algebras like invariant rings of finite permutation groups, or the rings of quasi-symmetric polynomials. In this paper, we investigate how far the well know algebraic properties of those rings extend to age algebras. The main result is a combinatorial characterization of when the age algebra is finitely generated. In the special case of tournaments, we show that the age algebra is finitely generated if and only if the profile is bounded. We explore the Cohen-Macaulay property in the special case of invariants of permutation groupoids. Finally, we exhibit sufficient conditions on the relational structure that make naturally the age algebra into a Hopf algebra.

This paper introduces an analogue of the Solomon descent algebra for the complex reflection groups of type $G(r,1,n)$. As with the Solomon descent algebra, our algebra has a basis given by sums of `distinguished' coset representatives for certain `reflection subgroups'. We explicitly describe the structure constants with respect to this basis and show that they are polynomials in $r$. This allows us to define a deformation, or $q$-analogue, of these algebras which depends on a parameter $q$. We determine the irreducible representations of all of these algebras and give a basis for their radicals. Finally, we show that the direct sum of cyclotomic Solomon algebras is canonically isomorphic to a concatenation Hopf algebra.

We describe the problem of Sweedler's duals for bialgebras as essentially characterizing the domain of the transpose of the multiplication. This domain is the set of what could be called ``representative linear forms'' which are the elements of the algebraic dual which are also representative on the multiplicative semigroup of the algebra. When the algebra is free, this notion is indeed equivalent to that of rational functions of automata theory. For the sake of applications, the range of coefficients has been considerably broadened, i.e. extended to semirings, so that the results could be specialized to the boolean and multiplicity cases. This requires some caution (use of ``positive formulas'', iteration replacing inversion, stable submodules replacing finite-rank families for instance). For the theory and its applications has been created a rational calculus which can, in return, be applied to harness Sweedler's duals. A new theorem of rational closure and application to Hopf algebras of use in Physics and Combinatorics is provided. The concrete use of this ``calculus'' is eventually illustrated on an example.

We provide an expository account of some of the Hopf algebras that can be defined using trees, labeled trees, ordered trees and heap ordered trees. We also describe some actions of these Hopf algebras on algebra of functions.

Description of cocommutative Hopf algebras associated with families of trees. Applications include Cayley's theorem on the number of rooted trees with n nodes, and Catalan's theorem on the number of rooted ordered trees with n nodes.

We investigate several Hopf algebras of diagrams related to Quantum Field Theory of Partitions and whose product comes from the Hopf algebras WSym or WQSym respectively built on integer set partitions and set compositions. Bases of these algebras are indexed either by bipartite graphs (labelled or unlabbeled) or by packed matrices (with integer or set coefficients). Realizations on biword are exhibited, and it is shown how these algebras fit into a commutative diagram. Hopf deformations and dendriform structures are also considered for some algebras in the picture.

We focus on the algorithm underlying the main result of [A. Mestre, R. Oeckl, Generating loop graphs via Hopf algebra in quantum field theory. J. Math. Phys., 47, 122302, 2006]. This is an algebraic formula to generate all connected graphs in a recursive and efficient manner. The key feature is that each graph carries a scalar factor given by the inverse of the order of its group of automorphisms. In the present paper, we revise that algorithm on the level of graphs. Moreover, we extend the result subsequently to further classes of connected graphs, namely, (edge) biconnected, simple and loopless graphs. Our method consists of basic graph transformations only.

This paper introduces a new Lie-theoretic approach to the computation of counterterms in perturbative renormalization. Contrary to the usual approach, the devised version of the Bogoliubov recursion does not follow a linear induction on the number of loops. It is well-behaved with respect to the Connes-Kreimer approach: that is, the recursion takes place inside the group of Hopf algebra characters with values in regularized Feynman amplitudes. (Paradigmatically, we use dimensional regularization in the minimal subtraction scheme, although our procedure is generalizable to other schemes.) The new method is related to Zassenhaus' approach to the Baker-Campbell-Hausdorff formula for computing products of exponentials. The decomposition of counterterms is parametrized by a family of Lie idempotents known as the Zassenhaus idempotents. It is shown, inter alia, that the corresponding Feynman rules generate the same algebra as the graded components of the Connes-Kreimer beta-function. This further extends previous work of ours (together with Jose M. Gracia-Bondia) on the connection between Lie idempotents and renormalization procedures, where we constructed the Connes-Kreimer beta-function by means of the classical Dynkin idempotent.

We associate a quasisymmetric function to any Bruhat interval in a general Coxeter group. This association can be seen to be a morphism of Hopf algebras to the subalgebra of all peak functions, leading to an extension of the cd-index of convex polytopes. We show how the Kazhdan-Lusztig polynomial of the Bruhat interval can be expressed in terms of this complete cd-index and otherwise explicit combinatorially defined polynomials. In particular, we obtain the simplest closed formula for the Kazhdan-Lusztig polynomials that holds in complete generality.

We describe various combinatorial aspects of the Birkhoff-Connes-Kreimer factorization in perturbative renormalisation. The analog of Bogoliubov's preparation map on the Lie algebra of Feynman graphs is identified with the pre-Lie Magnus expansion. Our results apply to any connected filtered Hopf algebra, based on the pro-nilpotency of the Lie algebra of infinitesimal characters.

Bergeron and Li have introduced a set of axioms which guarantee that the Grothendieck groups of a tower of algebras $\bigoplus_{n\ge0}A_n$ can be endowed with the structure of graded dual Hopf algebras. Hivert and Nzeutzhap, and independently Lam and Shimozono constructed dual graded graphs from primitive elements in Hopf algebras. In this paper we apply the composition of these constructions to towers of algebras. We show that if a tower $\bigoplus_{n\ge0}A_n$ gives rise to graded dual Hopf algebras then we must have $\dim(A_n)=r^nn!$ where $r = \dim(A_1)$.

The Connes-Kreimer Hopf algebra of rooted trees, its dual, and the Foissy Hopf algebra of of planar rooted trees are related to each other and to the well-known Hopf algebras of symmetric and quasi-symmetric functions via a pair of commutative diagrams. We show how this point of view can simplify computations in the Connes-Kreimer Hopf algebra and its dual, particularly for combinatorial Dyson-Schwinger equations.

We study the Schubert calculus of the affine Grassmannian Gr of the symplectic group. The integral homology and cohomology rings of Gr are identified with dual Hopf algebras of symmetric functions, defined in terms of Schur's P and Q-functions. An explicit combinatorial description is obtained for the Schubert basis of the cohomology of Gr, and this is extended to a definition of the affine type C Stanley symmetric functions. A homology Pieri rule is also given for the product of a special Schubert class with an arbitrary one.

In recent years, The BPHZ algorithm for renormalization in quantum field theory has been interpreted, after dimensional regularization, as the Birkhoff-(Rota-Baxter) decomposition (BRB) of characters on the Hopf algebra of Feynmann graphs, with values in a Rota-Baxter algebra. We give in this paper formulas for the BRB decomposition in the group $\mathcal{C}(H, A)$ of characters on a connected Hopf algebra $H$, with values in a Rota-Baxter (commutative) algebra $A$. To do so we first define the stuffle (or quasi-shuffle) Hopf algebra $A^{\tmop{st}}$ associated to an algebra $A$. We prove then that for any connected Hopf algebra $H = k 1_H \oplus H'$, there exists a canonical injective morphism from $H$ to $H'^{\tmop{st}}$. This morphism induces an action of $\mathcal{C}(A^{\tmop{st}}, A)$ on $\mathcal{C}(H, A)$ so that the BRB decomposition in $\mathcal{C}(H, A)$ is determined by the action of a unique (universal) element of $\mathcal{C}(A^{\tmop{st}}, A)$.

In the Hopf algebra approach of Connes and Kreimer on renormalization of quantum field theory, the renormalization process is views as a special case of the Algebraic Birkhoff Decomposition. We give a differential algebra variation of this decomposition and apply this to the study of multiple zeta values.

Starting from an operad, one can build a family of posets. From this family of posets, one can define an incidence Hopf algebra. By another construction, one can also build a group directly from the operad. We then consider its Hopf algebra of functions. We prove that there exists a surjective morphism from the latter Hopf algebra to the former one. This is illustrated by the case of an operad built on rooted trees, the $\NAP$ operad, where the incidence Hopf algebra is identified with the Connes-Kreimer Hopf algebra of rooted trees.

Via duality of Hopf algebras, there is a direct association between peak quasisymmetric functions and enumeration of chains in Eulerian posets. We study this association explicitly, showing that the notion of $\cd$-index, long studied in the context of convex polytopes and Eulerian posets, arises as the dual basis to a natural basis of peak quasisymmetric functions introduced by Stembridge. Thus Eulerian posets having a nonnegative $\cd$-index (for example, face lattices of convex polytopes) correspond to peak quasisymmetric functions having a nonnegative representation in terms of this basis. We diagonalize the operator that associates the basis of descent sets for all quasisymmetric functions to that of peak sets for the algebra of peak functions, and study the $g$-polynomial for Eulerian posets as an algebra homomorphism.

Motivated by work of Buch on set-valued tableaux in relation to the K-theory of the Grassmannian, we study six combinatorial Hopf algebras. These Hopf algebras can be thought of as K-theoretic analogues of the by now classical ``square'' of Hopf algebras consisting of symmetric functions, quasisymmetric functions, noncommutative symmetric functions and the Malvenuto-Reutenauer Hopf algebra of permutations. In addition, we develop a theory of set-valued P-partitions and study three new families of symmetric functions which are weight generating functions of reverse plane partitions, weak set-valued tableaux and valued-set tableaux.