ORTHOGONAL IDEMPOTENTS IN THE DESCENT ALGEBRA OF B(N) AND APPLICATIONS

We begin by briefly recalling some of our previous results on thc descent algebra of the hyperoctahedral groups B(n). From this we construct a 'nice' expression for the generating function of a family of orthogonal idempotents rho(n)k. More precisely, [GRAPHICS] where d(pi) stands for the number of descents of pi and (x) up B(n) = (x + 1)(x + 3)(x + 5)...(x + 2n - 1). We show that the dimension of the right ideal Q[B(n)]rho(n)k is given by the number c(n, k) of elements of B(n) having k positive cycles. Thus the dimension is given by an analogue of the Stirling numbers of the first kind. We also show that the algebra A generated by the classes of elements of B(n) having equal numbers of descents is commutative. This relates to Loday's work on cyclic homology and Hochschild homology. In fact we show that we can define some lambda operators on LAMBDA which commute with the Hochschild boundary operator. This gives a decomposition for commutative hyperoctahedral algebra homology. We conclude our paper by presenting results about the hyperoctahedral shuffle algebra which are extensions of aspects of the work of Aldous, Bayer and Diaconis related to the shuffle algebra.