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

Renormalization as a functor on bialgebras

The Hopf algebra of renormalization in quantum field theory is described at a general level. The products of fields at a point are assumed to form a bialgebra B and renormalization endows T(T(B)⁺), the double tensor algebra of B, with the structure of a noncommutative bialgebra. When the bialgebra B is commutative, renormalization turns S(S(B)⁺), the double symmetric algebra of B, into a commutative bialgebra. The usual Hopf algebra of renormalization is recovered when the elements of S¹(B) are not renormalized, i.e., when Feynman diagrams containing one single vertex are not renormalized. When B is the Hopf algebra of a commutative group, a homomorphism is established between the bialgebra S(S(B)⁺) and the Faà di Bruno bialgebra of composition of series. The relation with the Connes-Moscovici Hopf algebra is given. Finally, the bialgebra S(S(B)⁺) is shown to give the same results as the standard renormalization procedure for the scalar field.     

Semi-invariants of actions of multiplier hopf algebras

Let A be a multiplier Hopf algebra which acts on an algebra R. In this paper we study semi-invariants of this action. This idea has proved interesting in the case thatA is a Hopf algebra.     

Triangular braidings and pointed Hopf algebras

We consider an interesting class of braidings defined in [S. Ufer, PBW bases for a class of braided Hopf algebras, J. Algebra 280 (2004) 84-119] by a combinatorial property. We show that it consists exactly of those braidings that come from certain Yetter-Drinfeld module structures over pointed Hopf algebras with abelian coradical.As a tool we define a reduced version of the FRT construction. For braidings induced by U_q(g)-modules the reduced FRT construction is calculated explicitly.     

The asymptotic behaviour of the number of three-connected triangulations of the disk,with a reflective symmetry in a line

We consider the enumeration of the three-connected triangulations of the disk, with a reflective symmetry about a line. The asymptotic behavior is unlike that observed for rooted maps or for maps having rotational symmetry.     

Random walks on quasisymmetric functions

Conditions are provided under which an endomorphism on quasisymmetric functions gives rise to a left random walk on the descent algebra which is also a lumping of a left random walk on permutations. Spectral results are also obtained. Several important random walks are now realized this way: Stanley's QS-distribution results from endomorphisms given by evaluation maps, a-shuffles result from the ath convolution power of the universal character, and the Tchebyshev operator of the second kind introduced recently by Ehrenborg and Readdy yields traditional riffle shuffles. A conjecture of Ehrenborg regarding the spectra for a family of random walks on ab-words is proven. A theorem of Stembridge from the theory of enriched P-partitions is also recovered as a special case.     

Constructions of stable equivalences of Morita type for finite dimensional algebras II

Suppose k is a field. Let A and B be two finite dimensional k-algebras such that there is a stable equivalence of Morita type between A and B. In this paper, we prove that (1) if A and B are representation-finite then their Auslander algebras are stably equivalent of Morita type; (2) The n-th Hochschild homology groups of A and B are isomorphic for all n≥1. A new proof is also provided for Hochschild cohomology groups of self-injective algebras under a stable equivalence of Morita type.     

On the relation between cluster and classical tilting

Let be a triangulated category with a cluster tilting subcategory U. The quotient category is abelian; suppose that it has finite global dimension.We show that projection from to sends cluster tilting subcategories of to support tilting subcategories of , and that, in turn, support tilting subcategories of can be lifted uniquely to weak cluster tilting subcategories of .     

On the direct image of intersections in exact homological categories

Given a regular epimorphism f:X?Y in an exact homological category C, and a pair (U,V) of kernel subobjects of X, we show that the quotient (f(U)∩f(V))/f(U∩V) is always abelian. When C is nonpointed, i.e. only exact protomodular, the translation of the previous result is that, given any pair (R,S) of equivalence relations on X, the difference mappingδ:Y/f(R∩S)?Y/(f(R)∩f(S)) has an abelian kernel relation. This last result actually holds true in any exact Mal'cev category. Setting Y=X/T, this result says that the difference mapping determined by the inclusion T∪(R∩S)?(T∪R)∩(T∪S) has an abelian kernel relation, which casts a new light on the congruence distributive property.     

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.     

Central bialgebras in braided categories and coquasitriangular structures

Central bialgebras in a braided category are algebras in the center of the category of coalgebras in . On these bialgebras another product can be defined, which plays the role of the opposite product. Hence, coquasitriangular structures on central bialgebras can be defined. We prove some properties of the antipode on coquasitriangular central Hopf algebras and give a characterization of central bialgebras.     

Homology rings of homotopy associative H-spaces

Let X be a homotopy associative mod p H-space for p an odd prime. The homology H_*(X;Fp) is an associative ring, but not necessarily commutative. We study conditions when for elements of H_*(X;Fp). Under certain conditions imply for l=p−2 or p−1. These methods can be used to prove results about homology commutators that were previously obtained using the adjoint action [H. Hamanaka, S. Hara, A. Kono, Adjoint action of Lie groups on the loop spaces and cohomology of exceptional Lie groups, Transform. Group Theory (1996) 44-50, Korea Adv. Inst. Sci. Tech.; A. Kono, K. Kozima, The adjoint action of a Lie group on the space of loops, J. Math. Soc. Japan 45 (3) (1993) 495-509; A. Kono, J. Lin, O. Nishimura, Characterization of the mod 3 cohomology of E₇, Proc. Amer. Math. Soc. 131 (10) (2003) 3289-3295]. We also generalize results of Kane [R. Kane, Torsion in homotopy associative H-spaces, Illinois J. Math. 20 (1976) 476-485] to nonfinite mod p homotopy associative H-spaces.     

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 monads

We introduce and study Hopf monads on autonomous categories (i.e., monoidal categories with duals). Hopf monads generalize Hopf algebras to a non-braided (and non-linear) setting. In particular, any monoidal adjunction between autonomous categories gives rise to a Hopf monad. We extend many fundamental results of the theory of Hopf algebras (such as the decomposition of Hopf modules, the existence of integrals, Maschke's criterium of semisimplicity, etc.) to Hopf monads. We also introduce and study quasitriangular and ribbon Hopf monads (again defined in a non-braided setting).     

On the characterization of radical and semisimple classes in categories

We define and characterize radical and semisimple classes in a category K which satisfies certain conditions. These conditions are such that K could be any of the categories of associative rings, groupsR-modules, topological spaces or graphs. Among others, the following is proved:.

A class of objects R in K is a radical class if and only if K is a cohereditary component class which is closed under extensions and with T ? R. A class of objects S in K is a semisimple class if and only if S is a hereditary class which is closed under subdirect embed-dings and extensions with T ? S.     

Tame concealed algebras and cluster quivers of minimal infinite type

The well-known list of Happel-Vossieck of tame concealed algebras in terms of quivers with relations, and the list of A. Seven of minimal infinite cluster quivers are compared. There is a 1-1 correspondence between the items in these lists, and we explain how an item in one list naturally corresponds to an item in the other list. A central tool for understanding this correspondence is the theory of cluster-tilted algebras.