The peak algebra and the descent algebras of types B and D
By Marcelo Aguiar, Nantel Bergeron, Kathryn L. Nyman. 2003
67 citations recorded by the source corpus.
We show the existence of a unital subalgebra β n 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 β n 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 algebra β n contains a two-sided ideal β n which is defined in terms of interior peaks. This object was introduced in previous work by Nyman (2003); we find that it is the image of certain ideals of the descent algebras of types B and D. We derive an exact sequence of the form 0 → β n → βn → β n-2 → 0. 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 (of dimensions n and [n/2]+1) 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 the spaces β n and β n over n > 0 and explain the connection with previous work of Stembridge (1997); we also obtain new properties of his descents-to-peaks map and construct a type B analog.
Subfields: Algebra and Number Theory, Discrete Mathematics and Combinatorics, Geometry and Topology
View Paper: https://www.semanticscholar.org/paper/189fa9c25b556486bbd4447f00470ba600f7c539
How researchers see this paper
The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.
In Algebra and Number Theory
In Discrete Mathematics and Combinatorics
In Geometry and Topology
Citations in the corpus
- Enriched P-partitions and peak algebras (2005, methodology): “In [1], the authors also examined commutative subalgebras of the peak algebras—the “Eulerian” peak algebras formed by sums of permutations with the same number of peaks—and showed how these subalgebras correspond to the Eulerian and cyclic Eulerian descent algebras for the hyperoctahedral group.”