arXiv++ Combinatorics

We put forward a proof of Solomon's rule, in terms of matrices, for multiplication in the descent algebra of the symmetric group. Our proof exploits the graphs that we can obtain from all the subsets of the set of transpositions, $\{(i,i+1)\}_{i=1}^{n-1}$.

Here we give a combinatorial interpretation of Solomon's rule for multiplication in the descent algebra of Weyl groups of type $D$, $ΣD_n$. From here we show that $ΣD_n$ is a homomorphic image of the descent algebra of the hyperoctahedral group, $ΣB_{n-2}$.

Motivated by recent work of Connes and Marcolli, based on the Connes-Kreimer approach to renormalization, we augment the latter by a combinatorial, Lie algebraic point of view. Our results rely both on the properties of the Dynkin idempotent, one of the fundamental Lie idempotents in the theory of free Lie algebras, and on properties of Hopf algebras encapsulated in the notion of associated descent algebras. Besides leading very directly to proofs of the main combinatorial aspects of the renormalization procedures, the new techniques give rise to an algebraic approach to the Galois theory of renormalization. In particular, they do not depend on the geometry underlying the case of dimensional regularization and the Riemann-Hilbert correspondence. This is illustrated with a discussion of the BPHZ renormalization scheme.

We generalize Stembridge's enriched $P$-partitions and use this theory to outline the structure of peak algebras for the symmetric group and the hyperoctahedral group. Whereas Stembridge's enriched $P$-partitions are related to quasisymmetric functions (the coalgebra dual to Solomon's type A descent algebra), our generalized enriched $P$-partitions are related to type B quasisymmetric functions (the coalgebra dual to Solomon's type B descent algebra). Using these functions, we explore three different peak algebras: the "interior" and "left" peak algebras of type A, and a new type B peak algebra. Our results specialize to results for commutative peak algebras as well.

We first show that increasing trees are in bijection with set compositions, extending simultaneously a recent result on trees due to Tonks and a classical result on increasing binary trees. We then consider algebraic structures on the linear span of set compositions (the twisted descent algebra). Among others, a number of enveloping algebra structures are introduced and studied in detail. For example, it is shown that the linear span of trees carries an enveloping algebra structure and embeds as such in an enveloping algebra of increasing trees. All our constructions arise naturally from the general theory of twisted Hopf algebras.

We introduce a graded Hopf algebra based on the set of parking functions (hence of dimension (n+1)^{n-1} in degree n). This algebra can be embedded into a noncommutative polynomial algebra in infinitely many variables. We determine its structure, and show that it admits natural quotients and subalgebras whose graded components have dimensions respectively given by the Schroder numbers (plane trees), the Catalan numbers, and powers of 3. These smaller algebras are always bialgebras and belong to some family of di- or tri-algebras occuring in the works of Loday and Ronco. Moreover, the fundamental notion of parkization allows one to endow the set of parking functions of fixed length with an associative multiplication (different from the one coming from the Shi arrangement), leading to a generalization of the internal product of symmetric functions. Several of the intermediate algebras are stable under this operation. Among them, one finds the Solomon descent algebra but also a new algebra based on a Catalan set, admitting the Solomon algebra as a left ideal.

In the context of generating functions for $P$-partitions, we revisit three flavors of quasisymmetric functions: Gessel's quasisymmetric functions, Chow's type B quasisymmetric functions, and Poirier's signed quasisymmetric functions. In each case we use the inner coproduct to give a combinatorial description (counting pairs of permutations) to the multiplication in: Solomon's type A descent algebra, Solomon's type B descent algebra, and the Mantaci-Reutenauer algebra, respectively. The presentation is brief and elementary, our main results coming as consequences of $P$-partition theorems already in the literature.

We develop a more general view of Stembridge's enriched $P$-partitions and use this theory to outline the structure of peak algebras for the symmetric group and the hyperoctahedral group. Initially we focus on commutative peak algebras, spanned by sums of permutations with the same number of peaks, where we consider several variations on the definition of "peak." Whereas Stembridge's enriched $P$-partitions are related to quasisymmetric functions (the dual coalgebra of Solomon's type A descent algebra), our generalized enriched $P$-partitions are related to type B quasisymmetric functions (the dual coalgebra of Solomon's type B descent algebra). Using these functions, we move on to explore (non-commutative) peak algebras spanned by sums of permutations with the same set of peaks. While some of these algebras have been studied before, our approach gives explicit structure constants with a combinatorial description.

After reformulating the representation theory of 0-Hecke algebras in an appropriate family of Yang-Baxter bases, we investigate certain specializations of the Ariki-Koike algebras, obtained by setting q=0 in a suitably normalized version of Shoji's presentation. We classify the simple and projective modules, and describe restrictions, induction products, Cartan invariants and decomposition matrices. This allows us to identify the Grothendieck rings of the towers of algebras in terms of certain graded Hopf algebras known as the Mantaci-Reutenauer descent algebras, and Poirier quasi-symmetric functions. We also describe the Ext-quivers, and conclude with numerical tables.

For $G$ a finite abelian group, we study the properties of general equivalence relations on $G_n=G^n\rtimes \SG_n$, the wreath product of $G$ with the symmetric group $\SG_n$, also known as the $G$-coloured symmetric group. We show that under certain conditions, some equivalence relations give rise to subalgebras of $\k G_n$ as well as graded connected Hopf subalgebras of $\bigoplus_{n\ge o} \k G_n$. In particular we construct a $G$-coloured peak subalgebra of the Mantaci-Reutenauer algebra (or $G$-coloured descent algebra). We show that the direct sum of the $G$-coloured peak algebras is a Hopf algebra. We also have similar results for a $G$-colouring of the Loday-Ronco Hopf algebras of planar binary trees. For many of the equivalence relations under study, we obtain a functor from the category of finite abelian groups to the category of graded connected Hopf algebras. We end our investigation by describing a Hopf endomorphism of the $G$-coloured descent Hopf algebra whose image is the $G$-coloured peak Hopf algebra. We outline a theory of combinatorial $G$-coloured Hopf algebra for which the $G$-coloured quasi-symmetric Hopf algebra and the graded dual to the $G$-coloured peak Hopf algebra are central objects.

If $A$ is a subset of the set of reflections of a finite Coxeter group $W$, we define a sub-${\mathbb{Z}}$-module ${\mathcal{D}}_A(W)$ of the group algebra ${\mathbb{Z}} W$. We provide examples where this submodule is a subalgebra. This family of subalgebras includes strictly the Solomon descent algebra and, if $W$ if of type $B$, the Mantaci-Reutenauer algebra.

We construct a new operation among representations of the symmetric group that interpolates between the classical internal and external products, which are defined in terms of tensor product and induction of representations. Following Malvenuto and Reutenauer, we pass from symmetric functions to non-commutative symmetric functions and from there to the algebra of permutations in order to relate the internal and external products to the composition and convolution of linear endomorphisms of the tensor algebra. The new product we construct corresponds to the smash product of endomorphisms of the tensor algebra. For symmetric functions, the smash product is given by a construction which combines induction and restriction of representations. For non-commutative symmetric functions, the structure constants of the smash product are given by an explicit combinatorial rule which extends a well-known result of Garsia, Remmel, Reutenauer, and Solomon for the descent algebra. We describe the dual operation among quasi-symmetric functions in terms of alphabets.

Using the theory of noncommutative symmetric functions, we introduce the higher order peak algebras, a sequence of graded Hopf algebras which contain the descent algebra and the usual peak algebra as initial cases (N = 1 and N = 2). We compute their Hilbert series, introduce and study several combinatorial bases, and establish various algebraic identities related to the multisection of formal power series with noncommutative coefficients.

We show that the notion of parkization of a word, a variant of the classical standardization, allows to introduce an internal product on the Hopf algebra of parking functions. Its Catalan subalgebra is stable under this operation and contains the descent algebra as a left ideal.

We construct a subalgebra of dimension $2.3^{n-1}$ of the group algebra of a Weyl group of type $B_n$ containing its Solomon descent's algebra but also the Solomon's descent algebra of the symmetric group. This lead us to a construction of the irreducible characters of the hyperoctahedral groups by using a generalized plactic equivalence.

We investigate the representation theory of certain specializations of the Ariki-Koike algebras, obtained by setting $q=0$ in a suitably normalized version of Shoji's presentation. We classify the simple and projective modules, and describe restrictions, induction products, Cartan invariants and decomposition matrices. This allows us to identify the Grothendieck rings of the towers of algebras in terms of certain graded Hopf algebras known as the Mantaci-Reutenauer descent algebras, and Poirier Quasi-symmetric functions.

We introduce analogues of the Hopf algebra of Free quasi-symmetric functions with bases labelled by colored permutations. As applications, we recover in a simple way the descent algebras associated with wreath products $Γ\wr\SG_n$ and the corresponding generalizations of quasi-symmetric functions. Also, we obtain Hopf algebras of colored parking functions, colored non-crossing partitions and parking functions of type $B$.

Louis Solomon showed that the group algebra of the symmetric group $\mathfrak{S}_{n}$ has a subalgebra called the descent algebra, generated by sums of permutations with a given descent set. In fact, he showed that every Coxeter group has something that can be called a descent algebra. There is also a commutative, semisimple subalgebra of Solomon's descent algebra generated by sums of permutations with the same number of descents: an "Eulerian" descent algebra. For any Coxeter group that is also a Weyl group, Paola Cellini proved the existence of a different Eulerian subalgebra based on a modified definition of descent. We derive the existence of Cellini's subalgebra for the case of the symmetric group and of the hyperoctahedral group using a variation on Richard Stanley's theory of $P$-partitions.

The purpose of the present article is to define and study a new class of descent algebras, called twisted descent algebras. These algebras are associated to the Barratt-Joyal theory of twisted bialgebras in the same way than classical descent algebras are associated to classical bialgebras. The formal properties of twisted descent algebras seem particularly meaningful in view of applications to discrete probabilities, to the geometry of Coxeter groups and buildings, and to symmetric group combinatorics.

We show the existence of a unital subalgebra of the symmetric group algebra linearly spanned by sums of permutations with a common peak set, which we call the peak algebra. We show that this algebra is the image of the descent algebra of type B under the map to the descent algebra of type A which forgets the signs, and also the image of the descent algebra of type D. The peak algebra contains a two sided ideal which is defined in terms of interior peaks. This object was introduced in previous work by Nyman; we find that it is the image of certain ideals of the descent algebras of types B and D introduced in previous work of N. Bergeron et al. We derive an exact sequence involving the peak ideal and the peak algebras of degrees $n$ and $n-2$. We obtain this and many other properties of the peak algebra and its peak ideal by first establishing analogous results for signed permutations and then forgetting the signs. In particular, we construct two new commutative semisimple subalgebras of the descent algebra by grouping permutations according to their number of peaks or interior peaks. We discuss the Hopf algebraic structures that exist on the direct sums of these spaces over $n\geq 0$ and explain the connection with previous work of Stembridge; we also obtain new properties of his descents-to-peaks map and construct a type B analog.