This masters thesis reviews the algebraic formulation of renormalization using Hopf algebras as pioneered by Dirk Kreimer and applies it to a toy model of quantum field theory given through iterated insertions of a single primitive divergence into itself. Using this example in a subtraction scheme, we exhibit the renormalized Feynman rules to yield Hopf algebra morphisms into the Hopf algebra of polynomials and as a consequence study the emergence of the renormalization group in connection with combinatorial Dyson-Schwinger equations. In particular we relate the perturbative expansion of the anomalous dimension to the coefficients of the Mellin transform of the integral kernel specifying the primitve divergence. A theorem on the Hopf algebra of rooted trees relates different Mellin transforms by automorphisms of this Hopf algebra.
We demonstrate that the fundamental algebraic structure underlying the Connes-Kreimer Hopf algebra -- the insertion pre-Lie structure on graphs -- corresponds directly to the canonical pre-Lie structure of polynomial vector fields. Using this fact, we construct a Hopf algebra built from tensors that is isomorphic to a version of the Connes-Kreimer Hopf algebra that first appeared in the perturbative renormalization of quantum field theories.
``Bonsai'' Hopf algebras, introduced here, are generalizations of Connes-Kreimer Hopf algebras, which are motivated by Feynman diagrams and renormalization. We show that we can find operad structure on the set of bonsais. We introduce a new differential on these bonsai Hopf algebras, which is inspired by the tree differential. The cohomologies of these are computed here, and the relationship of this differential with the appending operation $*$ of Connes-Kreimer Hopf algebras is investigated.
We give a universal construction of families of Hopf $P$-algebras for any Hopf operad $P$. As a special case, we recover the Connes-Kreimer Hopf algebra of rooted trees.
We find a relation between two Hopf algebras built on rooted trees. The first is the Connes-Kreimer Hopf algebra H_R which describes a certain type of renormalization in quantum field theory; the second is the Grossman-Larson Hopf algebra A introduced ten years ago by some "differential" and combinatorial reasons. Roughly, the relation is the following: there exists a duality between these two Hopf algebras. We study then two natural operators on A, inspired by similar ones introduced by Connes and Kreimer for H_R.
Using a cell model for the little discs operad in terms of spineless cacti we give a minimal common topological operadic formalism for three a priori disparate algebraic structures: (1) a solution to Deligne's conjecture on the Hochschild complex, (2) the Hopf algebra of Connes and Kreimer, and (3) the string topology of Chas and Sullivan.
The aim of this paper is an algebraic study of the Hopf algebra H_R of rooted trees, which was introduced in \cite{Kreimer1,Connes,Broadhurst,Kreimer2}. We first construct comodules over H_R from finite families of primitive elements. Furthermore, we classify these comodules by restricting the possible families of primitive elements, and taking the quotient by the action of certain groups. In the next section, we give a formula about primitive elements of the subalgebra of ladders, and construct a projection operator on the space of primitive elements. It allows us to obtain a basis of the pri…
We give a natural monomorphism from the necklace Lie coalgebra, defined for any quiver, to Connes and Kreimer's Lie coalgebra of trees, and extend this to a map from a certain quiver-theoretic Hopf algebra to Connes and Kreimer's renormalization Hopf algebra, as well as to pre-Lie versions. These results are direct analogues of Turaev's results in 2004, by replacing algebras of loops on surfaces with algebras of paths on quivers. We also factor the morphism through an algebra of chord diagrams and explain the geometric version. We then explain how all of the Hopf algebras are uniquely determin…
This paper generalizes the operadic construction of the Connes-Kreimer Hopf algebra of rooted trees by Moerdijk. Examples of Hopf algebras obtained in this way include the Loday-Ronco Hopf algebra of planar binary trees and the Brouder-Frabetti pruning Hopf algebra. In some examples we obtain a natural pre-Lie or dendriform algebra structure on the dual Hopf algebra. v2: Proof in section 8 corrected. v3: more corrections.
We study a noncommutative deformation of the commutative Hopf algebra of rooted trees which was shown by Connes and Kreimer to be related to the mathematical structure of renormalization in quantum field theories. The requirement of the existence of an antipode for the noncommutative deformation leads to a natural extension of the algebra. Noncommutative deformations of the Connes-Kreimer algebra might be relevant for renormalization of field theories on noncommutative spaces and there are indications that in this case the extension of the algebra might be linked to a mixing of infrared and ul…
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.
The Connes-Kreimer renormalization Hopf algebras are examples of a canonical quantization procedure for pre-Lie algebras. We give a simple construction of this quantization using the universal enveloping algebra for so-called twisted Lie algebras (Lie algebras in the category of symmetric sequences of k-modules). As an application, we obtain a simple proof of the (quantized) PBW theorem for Lie algebras which come from a pre-Lie product (over an arbitrary commutative ring). More generally, we observe that the quantization and the PBW theorem extend to pre-Lie algebras in arbitrary abelian symm…
We begin by considering the graded vector space with a basis consisting of rooted trees, graded 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. We define an inner product with respect to which the growth and pruning operators are adjoint, and obtain several results about the multiplicities associated with each operator. The symmetric algebra on the vector space of rooted trees (after a deg…
We study the renormalization of massless QED from the point of view of the Hopf algebra discovered by D. Kreimer. For QED, we describe a Hopf algebra of renormalization which is neither commutative nor cocommutative. We obtain explicit renormalization formulas for the electron and photon propagators, for the vacuum polarization and the electron self-energy, which are equivalent to Zimmermann's forest formula for the sum of all Feynman diagrams at a given order of interaction. Then we extend to QED the Connes-Kreimer map defined by the coupling constant of the theory (i.e. the homomorphism betw…
Recent work on perturbative quantum field theory has led to much study of the Connes-Kreimer Hopf algebra. Its (graded) dual, the Grossman-Larson Hopf algebra of rooted trees, had already been studied by algebraists. L. Foissy introduced a noncommutative version of the Connes-Kreimer Hopf algebra, which turns out to be self-dual. Using some homomorphisms defined by the author and W. Zhao, we describe a commutative diagram that relates the aforementioned Hopf algebras to each other and to the Hopf algebras of symmetric functions, noncommutative symmetric functions, and quasi-symmetric functions…
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 t…
We introduce normal coordinates on the infinite dimensional group $G$ introduced by Connes and Kreimer in their analysis of the Hopf algebra of rooted trees. We study the primitive elements of the algebra and show that they are generated by a simple application of the inverse Poincaré lemma, given a closed left invariant 1-form on $G$. For the special case of the ladder primitives, we find a second description that relates them to the Hopf algebra of functionals on power series with the usual product. Either approach shows that the ladder primitives are given by the Schur polynomials. The rele…
An extended version of a series of lectures given at Bogota in december 2002. It consists in a presentation of some aspects of Connes' and Kreimer's work on renormalization in the context of general connected Hopf algebras, in particular Birkhoff decomposition and, in the graded case, the scattering-type formula.
Graph cocycles for star-products are investigated from the combinatorial point of view, using Connes-Kreimer renormalization techniques. The Hochschild complex, controlling the deformation theory of associative algebras, is the ``Kontsevich representation'' of a DGLA of graphs coming from a pre-Lie algebra structure defined by graph insertions. Properties of the dual of its UEA (an odd parity analog of Connes-Kreimer Hopf algebra), are investigated in order to find solutions of the deformation equation. The solution of the initial value deformation problem, at tree-level, is unique. For linear…
This paper introduces the braidings of dendriform algebras and tridendriform algebras. By studying free braided dendriform algebras, we obtain braidings of the Hopf algebras of Loday and Ronco of planar binary rooted trees. We also give a variation of the braiding of Foissy for the noncommutative Connes-Kreimer (a.k.a the Foissy-Holtkamp) Hopf algebra of planar rooted forests so that the well-known isomorphism between this Hopf algebra and the Loday-Ronco Hopf algebra is extended to the braided context. As free braided tridendriform algebras, we also give braided extension of the Hopf algebra …
In \cite{Kreimer1,Connes,Broadhurst,Kreimer2}, a commutative, non cocommutative Hopf algebra H_R of (decorated) rooted trees was introduced. It is related to the Hopf algebra H_CM introduced in \cite{Moscovici}. Its dual Hopf algebra is the enveloping algebra of the Lie algebra of rooted trees L^1. In this paper, we introduce a non commutative, non cocommutative Hopf algebra H_PR of decorated planar rooted trees. We first show that H_PR is self dual. We then use this result to construct a non degenerate bilinear form (,) on H_PR, which respects the Hopf algebra structure of H_PR. Moreover, we …
We give an introductory survey to the use of Hopf algebras in several problems of noncommutative geometry. The main example, the Hopf algebra of rooted trees, is a graded, connected Hopf algebra arising from a universal construction. We show its relation to the algebra of transverse differential operators introduced by Connes and Moscovici in order to compute a local index formula in cyclic cohomology, and to the several Hopf algebras defined by Connes and Kreimer to simplify the combinatorics of perturbative renormalization. We explain how characteristic classes for a Hopf module algebra can …
We review the relation between the Hopf algebra QSym of quasi-symmetric functions and the multiple zeta values, and then discuss a commutative diagram involving the Hopf algebra Sym of symmetric functions, the Hopf algebra dual NSym of QSym, and the Hopf algebras of rooted trees and planar rooted trees as defined by Kreimer and Foissy respectively.
We observe that the Connes--Kreimer Hopf-algebraic approach to perturbative renormalisation works not just for Hopf algebras but more generally for filtered bialgebras $B$ with the property that $B_0$ is spanned by group-like elements (e.g. pointed bialgebras with the coradical filtration). Such bialgebras occur naturally both in Quantum Field Theory, where they have some attractive features, and elsewhere in Combinatorics, where they cover a comprehensive class of incidence bialgebras. In particular, the setting allows us to interpret Möbius inversion as an instance of renormalisation.
We define a "combinatorial Hopf algebra" as a Hopf algebra which is free (or cofree) and equipped with a given isomorphism to the free algebra over the indecomposables (resp. the cofree coalgebra over the primitives). The choice of such an isomorphism implies the existence a finer algebraic structure on the Hopf algebra and on the indecomposables (resp. the primitives). For instance a cofree-cocommutative right-sided combinatorial Hopf algebra is completely determined by its primitive part which is a pre-Lie algebra. The key example is the Connes-Kreimer Hopf algebra. The study of all these co…
We develop an algebraic theory of colored, semigrouplike-flavored and pathlike co-, bi- and Hopf algebras. This is the right framework in which to discuss antipodes for bialgebras naturally appearing in combinatorics, topology, number theory and physics. In particular, we can precisely give conditions for the invertibility of characters that is needed for renormalization in the formulation of Connes and Kreimer. These are met in the relevant examples. In order to construct antipodes, we discuss formal localization constructions and quantum deformations. These allow to define and explain the ap…
We develop intrinsic tools for computing the periodic Hopf cyclic cohomology of Hopf algebras related to transverse symmetry in codimension 1. Besides the Hopf algebra found by Connes and the first author in their work on the local index formula for transversely hypoelliptic operators on foliations, this family includes its `Schwarzian' quotient, on which the Rankin-Cohen universal deformation formula is based, the extended Connes-Kreimer Hopf algebra related to renormalization of divergences in QFT, as well as a series of cyclic coverings of these Hopf algebras, motivated by the treatment of …
We construct a Hopf algebra structure on the space of specified Feynman graphs of a quantum field theory. We introduce a convolution product and a semigroup of characters of this Hopf algebra with values in some suitable commutative algebra taking momenta into account. We then implement the renormalization described by A. Connes and D. Kreimer and the Birkhoff decomposition for two renormalization schemes: the minimal subtraction scheme and the Taylor expansion scheme.
In this paper, we construct explicitly a noncommutative symmetric (${\mathcal N}$CS) system over the Grossman-Larson Hopf algebra of labeled rooted trees. By the universal property of the ${\mathcal N}$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 coefficient…
We exhibit a monoidal structure on the category of finite sets indexed by P-trees for a finitary polynomial endofunctor P. This structure categorifies the monoid scheme (over Spec N) whose semiring of functions is (a P-version of) the Connes--Kreimer bialgebra H of rooted trees (a Hopf algebra after base change to Z and collapsing H_0). The monoidal structure is itself given by a polynomial functor, represented by three easily described set maps; we show that these maps are the same as those occurring in the polynomial representation of the free monad on P.
Let $\CRF_S$ denote the category of $S$-colored rooted forests, and $\H_{\CRF_S}$ denote its Ringel-Hall algebra as introduced in \cite{KS}. We construct a homomorphism from a $K^+_0 (\CRF_S)$--graded version of the Hopf algebra of noncommutative symmetric functions to $\H_{\CRF_S}$. Dualizing, we obtain a homomorphism from the Connes-Kreimer Hopf algebra to a $K^+_0 (\CRF_S)$--graded version of the algebra of quasisymmetric functions. This homomorphism is a refinement of one considered by W. Zhao in \cite{Z}.
We study Galois extensions Coinv(M)<M for M an H-comodule algebra and H a Frobenius Hopf algebroid. We obtain generalizations of various theorems in Hopf-Galois theory by Kreimer-Takeuchi, Doi-Takeuchi and Cohen-Fischman-Montgomery. An algebra extension is Galois precisely if it is balanced, depth 2, and Frobenius. Then we show that Yetter-Drinfeld categories over H are always braided and their braided commutative algebras play the role of noncommutative scalar extensions by the Brzezinski-Militaru Theorem. Contravariant "fiber functors" are used to prove an analogue of Ulbrich's Theorem and t…
A set-operad is a monoid in the category of combinatorial species with respect to the operation of substitution. From a set-operad, we give here a simple construction of a Hopf algebra that we call {\em the natural Hopf algebra} of the operad. We obtain a combinatorial formula for its antipode in terms of Shröder trees, generalizing the Hayman-Schmitt formula for the Faá di Bruno Hopf algebra. From there we derive more readable formulas for specific operads. The classical Lagrange inversion formula is obtained in this way from the set-operad of pointed sets. We also derive antipodes formulas f…
We define motivic iterated integrals on the affine line, and give a simple proof of the formula for the coproduct in the Hopf algebra of they make. We show that it encodes the group law in the automorphism group of certain non-commutative variety. We relate the coproduct with the coproduct in the Hopf algebra of decorated rooted planar trivalent trees - a planar decorated version of the Hopf algebra defined by Connes and Kreimer. As an application we derive explicit formulas for the coproduct in the motivic multiple polylogarithm Hopf algebra. We give a criteria for a motivic iterated integral…
As a natural basis of the Hopf algebra of quasisymmetric functions, monomial quasisymmetric functions are formal power series defined from compositions. The same definition applies to left weak compositions, while leads to divergence for other weak compositions. We adapt the method of renormalization in quantum field theory, in the framework of Connes and Kreimer, to deal with such divergency. This approach defines monomial quasisymmetric functions for any weak composition as power series while extending the quasi-shuffle (stuffle) relation satisfied by the usual quasisymmetric functions. The …
An extension B\subset A of algebras over a commutative ring k is an H-extension for an L-bialgebroid H if A is an H-comodule algebra and B is the subalgebra of its coinvariants. It is H-Galois if the canonical map A\otimes_B A\to A\otimes_L H is an isomorphism or, equivalently, if the canonical coring (A\otimes_L H:A) is a Galois coring. In the case of a Hopf algebroid H=(H_L,H_R,S) any H_R-extension is shown to be also an H_L-extension. If the antipode is bijective then also the notions of H_R-Galois extensions and of H_L-Galois extensions are proven to coincide. Results about bijective entwi…
We prove that there is an isomorphism between the Hopf Algebra of Feynman diagrams and the Hopf algebra corresponding to the Homogenous Multiple Zeta Value ring H in C<<X,Y>> . In other words, Feynman diagrams evaluate to Multiple Zeta Values in all cases. This proves a recent conjecture of Connes-Kreimer, and others including Broadhurst and Kontsevich. The key step of our theorem is to present the Selberg integral as discussed in Terasoma [22] as a Functional from the Rooted Trees Operad to the Hopf algebra of Multiple Zeta Values. This is a new construction which provides illumination to the…
We first explain our joint work with Dirk Kreimer on the Hopf and Lie algebras of Feynman graphs. The conceptual meaning of the concrete computations of perturbative renormalisation is obtained from the Birkhoff decomposition in the Riemann-Hilbert problem. The relation of the Hopf algebra of graphs with the group of formal diffeomorphisms of complexified coupling constants allows for a geometric interpretation of the renormalisation procedure. We then discuss the relation between the above occurrence of the Riemann-Hilbert problem, the interpretation of the renormalisation group as a group of…
We show that the crossed modules and bicovariant different calculi on two Hopf algebras related by a cocycle twist are in 1-1 correspondence. In particular, for quantum groups which are cocycle deformation-quantisations of classical groups the calculi are obtained as deformation-quantisation of the classical ones. As an application, we classify all bicovariant differential calculi on the Planck scale Hopf algebra $\C[x]\bicross_{\hbar,\grav}\C[p]$. This is a quantum group which has an $\hbar\to 0$ limit as the functions on a classical but non-Abelian group and a $\grav\to 0$ limit as flat spac…
We propose a nonstandard approach to solving the apparent incompatibility between the coalgebra structure of some inhomogeneous quantum groups and their natural complex conjugation. In this work we sketch the general idea and develop the method in detail on a toy-model; the latter is a q-deformation of the Hopf algebra of 1-dim translations + dilatations. We show how to get all Hilbert space representations of the latter from tensor products of the fundamental ones; physically, this corresponds to constructing composite systems of many free distinct q-particles in terms of the basic one-partic…
Within the framework of the discrete Wess-Zumino-Novikov-Witten theory we analyze the structure of vertex operators on a lattice. In particular, the lattice analogues of operator product expansions and braid relations are discussed. As the main physical application, a rigorous construction for the discrete counterpart g_n of the group valued field g(x) is provided. We study several automorphisms of the lattice algebras including discretizations of the evolution in the WZNW model. Our analysis is based on the theory of modular Hopf algebras and its formulation in terms of universal elements. Al…
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 compatib…
