Bialgebras for Stanley symmetric functions

Abstract

We construct a non-commutative, non-cocommutative, graded bialgebra $\mathbf{\Pi }$ with a basis indexed by the permutations in all finite symmetric groups. Unlike the formally similar Malvenuto-Poirier-Reutenauer Hopf algebra, this bialgebra does not have finite graded dimension. After giving formulas for the product and coproduct, we show that there is a natural morphism from $\mathbf{\Pi }$ to the algebra of quasi-symmetric functions, under which the image of a permutation is its associated Stanley symmetric function. As an application, we use this morphism to derive some new enumerative identities. We also describe analogues of $\mathbf{\Pi }$ for the other classical types. In these cases, the relevant objects are module coalgebras rather than bialgebras, but there are again natural morphisms to the quasi-symmetric functions, under which the image of a signed permutation is the corresponding Stanley symmetric function of type B, C, or D.

24 pages; v2: fixed several typos; v3: minor corrections, updated references, final version

References in corpus (9)

• Combinatorial Hopf algebras and generalized Dehn-Sommerville relations
• Hopf Algebras in Combinatorics
• Polynomial realizations of some trialgebras
• Involution words: counting problems and connections to Schubert calculus for symmetric orbit closures
• Schur P-positivity and involution Stanley symmetric functions
• Combinatorial $B_n$-analogues of Schubert polynomials
• Hopf algebras of endomorphisms of Hopf algebras
• Strong forms of linearization for Hopf monoids in species
• Linear compactness and combinatorial bialgebras

Cited by in corpus (1)

• Linear compactness and combinatorial bialgebras