Qsym over Sym is free

  • Authors:

  • A. M. Garsia;N. Wallach

  • Affiliations:

  • Department of Mathematics, UCSD, La Jolla, CA;Department of Mathematics, UCSD, La Jolla, CA

  • Venue:
  • Journal of Combinatorial Theory Series A
  • Year:
  • 2003

Quantified Score

Hi-index 0.00

Visualization

Abstract

We study here the ring 2Jn of Quasi-symmetric functions in the variables x1, x2,..., xn. Bergeron and Reutenauer (personal communication) formulated a number of conjectures about this ring; in particular, they conjectured that it is free over the ring Λn of symmetric functions in x1, x2,..., xn. We present here an algorithm that recursively constructs a Λn-module basis for 2Jn thereby proving one of the Bergeron-Reutenauer conjectures. This result also implies that the quotient of 2Jn by the ideal generated by the elementary symmetric functions has dimension n!. Surprisingly, to show the validity of our algorithm we were led to a truly remarkable connection between 2Jn and the harmonics of Sn.