Cyclotomic Solomon algebras

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.     

A Magnus- and Fer-Type Formula in Dendriform Algebras

We provide a refined approach to the classical Magnus (Commun. Pure Appl. Math. 7:649–673, [1954]) and Fer expansion (Bull. Classe Sci. Acad. R. Belg. 44:818–829, [1958]), unveiling a new structure by using the language of dendriform and pre-Lie algebras. The recursive formula for the logarithm of the solutions of the equations X=1+λ a ≺ X and Y=1−λ Y ≻ a in A[[λ]] is provided, where (A,≺,≻) is a dendriform algebra. Then we present the solutions to these equations as an infinite product expansion of exponentials. Both formulae involve the pre-Lie product naturally associated with the dendriform structure. Several applications are presented.      

Dendriform equations

We investigate solutions for a particular class of linear equations in dendriform algebras. Motivations as well as several applications are provided. The latter follow naturally from the intimate link between dendriform algebras and Rota–Baxter operators, e.g. the Riemann integral map or Jackson's q-integral.     

New higher order methods for solving nonlinear equations with multiple roots

For a nonlinear equation f(x)=0 having a multiple root we consider Steffensen’s transformation, T. Using the transformation, say, F_q(x)=T^qf(x) for integer q≥2, repeatedly, we develop higher order iterative methods which require neither derivatives of f(x) nor the multiplicity of the root. It is proved that the convergence order of the proposed iterative method is 1+2^q−2 for any equation having a multiple root of multiplicity m≥2. The efficiency of the new method is shown by the results for some numerical examples.     

Spin invariant theory for the symmetric group

We formulate a theory of invariants for the spin symmetric group in some suitable modules which involve the polynomial and exterior algebras. We solve the corresponding graded multiplicity problem in terms of specializations of the Schur Q-functions and a shifted q-hook formula. In addition, we provide a bijective proof for a formula of the principal specialization of the Schur Q-functions.     

Gerstenhaber structure and Deligne’s conjecture for Loday algebras

A method for establishing a Gerstenhaber algebra structure on the cohomology of Loday-type algebras is presented. This method is then applied to dendriform dialgebras and three types of trialgebras introduced by Loday and Ronco. Along the way, our results are combined with a result of McClure-Smith to prove an analogue of Deligne’s conjecture for Loday algebras.     

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 Magnus Expansion,Trees and Knuth’s Rotation Correspondence

W. Magnus introduced a particular differential equation characterizing the logarithm of the solution of linear initial value problems for linear operators. The recursive solution of this differential equation leads to a peculiar Lie series, which is known as Magnus expansion, and involves Bernoulli numbers, iterated Lie brackets and integrals. This paper aims at obtaining further insights into the fine structure of the Magnus expansion. By using basic combinatorics on planar rooted trees we prove a closed formula for the Magnus expansion in the context of free dendriform algebra. From this, by using a well-known dendriform algebra structure on the vector space generated by the disjoint union of the symmetric groups, we derive the Mielnik–Plebański–Strichartz formula for the continuous Baker–Campbell–Hausdorff series.     

Quantifications des algèbres de Hopf d'arbres plans décorés et lien avec les groupes quantiques

We introduce a functor from the category of braided spaces into the category of braided Hopf algebras which associates to a braided space V a braided Hopf algebra of planar rooted trees . We show that the Nichols algebra of V is a subquotient of . We construct a Hopf pairing between and , generalising one of the results of [Bull. Sci. Math. 126 (2002) 193-239]. When the braiding of c is given by c(v_i⊗v_j)=q_i,jv_j⊗v_i, we obtain a quantification of the Hopf algebras introduced in [Bull. Sci. Math. 126 (2002) 193-239; 126 (2002) 249-288]. When q_i,j=q^a_i,j, with q an indeterminate and (a_i,j)_i,j the Cartan matrix of a semi-simple Lie algebra , then is a subquotient of . In this case, we construct the crossed product of with a torus and then the Drinfel'd quantum double of this Hopf algebra. We show that is a subquotient of .     

Periodic resolutions and self-injective algebras of finite type

We say that an algebra A is periodic if it has a periodic projective resolution as an (A,A)-bimodule. We show that any self-injective algebra of finite representation type is periodic. To prove this, we first apply the theory of smash products to show that for a finite Galois covering B→A, B is periodic if and only if A is. In addition, when A has finite representation type, we build upon results of Buchweitz to show that periodicity passes between A and its stable Auslander algebra. Finally, we use Asashiba’s classification of the derived equivalence classes of self-injective algebras of finite type to compute bounds for the periods of these algebras, and give an application to stable Calabi-Yau dimensions.     

Pluriassociative algebras II: The polydendriform operad and related operads

Dendriform algebras form a category of algebras recently introduced by Loday. A dendriform algebra is a vector space endowed with two nonassociative binary operations satisfying some relations. Any dendriform algebra is an algebra over the dendriform operad, the Koszul dual of the diassociative operad. We introduce here, by adopting the point of view and the tools offered by the theory of operads, a generalization on a nonnegative integer parameter γ of dendriform algebras, called γ-polydendriform algebras, so that 1-polydendriform algebras are dendriform algebras. For that, we consider the operads obtained as the Koszul duals of the γ-pluriassociative operads introduced by the author in a previous work. In the same manner as dendriform algebras are suitable devices to split associative operations into two parts, γ-polydendriform algebras seem adapted structures to split associative operations into 2γ operation so that some partial sums of these operations are associative. We provide a complete study of the γ-polydendriform operads, the underlying operads of the category of γ-polydendriform algebras. We exhibit several presentations by generators and relations, compute their Hilbert series, and construct free objects in the corresponding categories. We also provide consistent generalizations on a nonnegative integer parameter of the duplicial, triassociative and tridendriform operads, and of some operads of the operadic butterfly.     

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

Centroids of Zinbiel Algebras

Zinbiel algebras were introduced by a way of Koszul dual to Leibniz algebras and connected with commutative associate algebras, pre-Lie algebras and dendriform algebras etc. In this article, the centroids of Zinbiel algebra are discussed. We study the proprieties of centroids and also determinate the centroids of Zinbiel algebras up to dimension ≤4. As consequent, we get the conclusion that the centroids of 2-dimensional Zinbiel algebras are not small and 3,4-dimensional Zinbiel algebras are almost small.     

Tame strongly simply connected algebras form an open scheme

Using van den Dries’s test and Brüstle, de la Peña and Skowroński’s characterization of tame strongly simply connected algebras we prove that such algebras of fixed dimension form an open Z-scheme. There is also an open Z-scheme of all strongly simply connected algebras.     

Multivariate Jackson Inequality

By known multivariate versions of the classical Jackson theorem, every compact cube P in R^N admits Jackson’s inequality. The purpose of this note is to deliver other examples of Jackson sets in R^N. We shall show that a finite union of disjoint Jackson compact sets in R^N is also a Jackson set and that this in general fails to hold for an infinite union of Jackson sets. We also give a characterization of Jackson sets in the family of Markov compact sets in R^N which together with a Bierstone result permits one to show that Whitney regular compact subsets of R^N are Jackson.     

Formal Hopf algebra theory I: Hopf modules for pseudomonoids

In this article we develop some of the basic constructions of the theory of Hopf algebras in the context of autonomous pseudomonoids in monoidal bicategories. We concentrate on the notion of Hopf modules. We study the existence and the internalisation of this notion, called the Hopf module construction. Our main result is the equivalence between the existence of a left dualization for A (i.e., A is left autonomous) and the validity of an analogue of the structure theorem of Hopf modules. In this case a Hopf module construction for A always exists. We recover from the general theory developed here results on coquasi-Hopf algebras.     

On Post-Lie Algebras, Lie–Butcher Series and Moving Frames

Pre-Lie (or Vinberg) algebras arise from flat and torsion-free connections on differential manifolds. These algebras have been extensively studied in recent years, both from algebraic operadic points of view and through numerous applications in numerical analysis, control theory, stochastic differential equations and renormalization. Butcher series are formal power series founded on pre-Lie algebras, used in numerical analysis to study geometric properties of flows on Euclidean spaces. Motivated by the analysis of flows on manifolds and homogeneous spaces, we investigate algebras arising from flat connections with constant torsion, leading to the definition of post-Lie algebras, a generalization of pre-Lie algebras. Whereas pre-Lie algebras are intimately associated with Euclidean geometry, post-Lie algebras occur naturally in the differential geometry of homogeneous spaces, and are also closely related to Cartan’s method of moving frames. Lie–Butcher series combine Butcher series with Lie series and are used to analyze flows on manifolds. In this paper we show that Lie–Butcher series are founded on post-Lie algebras. The functorial relations between post-Lie algebras and their enveloping algebras, called D-algebras, are explored. Furthermore, we develop new formulas for computations in free post-Lie algebras and D-algebras, based on recursions in a magma, and we show that Lie–Butcher series are related to invariants of curves described by moving frames.