arXiv++ Combinatorics

We describe a presentation for the descent algebra of the symmetric group $\sym{n}$ as a quiver with relations. This presentation arises from a new construction of the descent algebra as a homomorphic image of an algebra of forests of binary trees which can be identified with a subspace of the free Lie algebra. In this setting, we provide a new short proof of the known fact that the quiver of the descent algebra of $\sym{n}$ is given by restricted partition refinement. Moreover, we describe certain families of relations and conjecture that for fixed $n\in\mathbb{N}$, the finite set of relations from these families that are relevant for the descent algebra of $\sym{n}$ generates the ideal of relations, and hence yields an explicit presentation by generators and relations of the algebra.

In recent papers we have refined a conjecture of Lehrer and Solomon expressing the character of a finite Coxeter group $W$ acting on the $p$th graded component of its Orlik-Solomon algebra as a sum of characters induced from linear characters of centralizers of elements of $W$. Our refined conjecture relates the character above to a component of a decomposition of the regular character of $W$ related to Solomon's descent algebra of $W$. The refined conjecture has been proved for symmetric and dihedral groups, as well as finite Coxeter groups of rank three and four. In this paper, the second in a series of three dealing with groups of rank up to eight (and in particular, all exceptional Coxeter groups), we prove the conjecture for finite Coxeter groups of rank five and six, further developing the algorithmic tools described in the previous article. The techniques developed and implemented in this paper provide previously unknown decompositions of the regular and Orlik-Solomon characters of the groups considered.

In recent papers we have refined a conjecture of Lehrer and Solomon expressing the characters of a finite Coxeter group $W$ afforded by the homogeneous components of its Orlik-Solomon algebra as sums of characters induced from linear characters of centralizers of elements of $W$. Our refined conjecture also relates the Orlik-Solomon characters above to the terms of a decomposition of the regular character of $W$ related to the descent algebra of $W$. A consequence of our conjecture is that both the regular character of $W$ and the character of the Orlik-Solomon algebra have parallel, graded decompositions as sums of characters induced from linear characters of centralizers of elements of $W$, one for each conjugacy class of elements of $W$. The refined conjecture has been proved for symmetric and dihedral groups. In this paper we develop algorithmic tools to prove the conjecture computationally for a given finite Coxeter group. We use these tools to verify the conjecture for all finite Coxeter groups of rank three and four, thus providing previously unknown decompositions of the regular characters and the Orlik-Solomon characters of these groups.