Ideals of Quasi-Symmetric Functions and Super-Covariant Polynomials for S_n

Abstract

The aim of this work is to study the quotient ring R_n of the ring Q[x_1,...,x_n] over the ideal J_n generated by non-constant homogeneous quasi-symmetric functions. We prove here that the dimension of R_n is given by C_n, the n-th Catalan number. This is also the dimension of the space SH_n of super-covariant polynomials, that is defined as the orthogonal complement of J_n with respect to a given scalar product. We construct a basis for R_n whose elements are naturally indexed by Dyck paths. This allows us to understand the Hilbert series of SH_n in terms of number of Dyck paths with a given number of factors.

LaTeX, 3 figures, 12 pages

References in corpus (1)

• Catalan paths, Quasi-symmetric functions and Super-Harmonic Spaces

Cited by in corpus (9)

• Equidistribution and Sign-Balance on 321-Avoiding Permutations
• Categorification of some level two representations of sl(n)
• Diagonal Temperley-Lieb Invariants and Harmonics
• A $q$-deformation of an algebra of Klyachko and Macdonald's reduced word formula
• The Algebra of Binary Search Trees
• Non-commutative Combinatorial Inverse Systems
• The excedance quotient of the Bruhat order, Quasisymmetric Varieties and Temperley-Lieb algebras
• Algèbre combinatoire et effective: des graphes aux algèbres de Kac, via l'exploration informatique
• Co-quasi-invariant spaces for finite complex reflection groups