nLab
noncommutative symmetric function

Noncommutative symmetric functions

Idea

Noncommutative symmetric functions are a generalisation of symmetric functions. Many concepts and ideas extend from symmetric functions to noncommutative symmetric functions and the way in which they extend sheds light on their behaviour for ordinary symmetric functions.

Noncommutative symmetric functions also arise in their own right as interesting objects of study.

Definition

Definition

The graded Hopf algebra of noncommutative symmetric functions, NSymm\NSymm, is defined in the following way.

  1. As an algebra, it is Z 1,Z 2,\mathbb{Z}\langle Z_1, Z_2, \dots \rangle, the free algebra in countably many indeterminants over \mathbb{Z}.
  2. The comultiplication is given by ΔZ n= i+j=nZ iZ j\Delta Z_n = \sum_{i + j = n} Z_i \otimes Z_j, where Z 0=1Z_0 = 1.
  3. The counit is ϵ(Z n)=0\epsilon(Z_n) = 0 for n1n \ge 1.
  4. The antipode is ι(Z n)= wt(α)=n(1) length(α)Z α\iota(Z_n) = \sum_{wt(\alpha) = n} (-1)^{length(\alpha)} Z_\alpha, where α=[α 1,dotsc,α k]\alpha = [\alpha_1, \dotsc, \alpha_k] is a word in {1,2,}\{1,2,\dots\} with length(α)=klength(\alpha) = k and wt(α)=α iwt(\alpha) = \sum \alpha_i.
  5. The degree of Z nZ_n is nn.

Properties

  1. The object NSymm\NSymm represents a functor from not-necessarily-commutative rings to groups given by sending BB to formal power series in BB with leading term 11, B1+tB[[t]]B \mapsto 1 + t B[\![t]\!].

  2. It is dual to the Hopf algebra of quasi-symmetric functions.

  3. The Hopf algebra of symmetric functions is a quotient of NSymm\NSymm. The quotient mapping is given by sending Z iZ_i to the iith symmetric function.

References

Full research articles

  • G. Duchamp, F. Hivert, J.-Y. Thibon, Noncommutative symmetric functions VI: free quasi-symmetric functions and related algebras, Internat. J. Alg. Comput. 12 (2002), 671–717.
  • I. M. Gelfand, D. Krob, A. Lascoux, B. Leclerc, V. S. Retakh, J.-Y. Thibon, Noncommutative symmetric functions, Adv. in Math. 112 (1995), 218–348, hep-th/9407124
  • Jean-Christophe Novelli, Jean-Yves Thibon, Noncommutative symmetric functions and Lagrange inversion, math.CO/0512570; Noncommutative symmetric functions and an amazing matrix arxiv/1109.1184
  • Lenny Tevlin, Noncommutative Monomial Symmetric Functions, Formal Power Series and Algebraic Combinatorics Nankai University, Tianjin, China, 2007, proceedings pdf
  • D. Krob, J.-Y. Thibon, Noncommutative symmetric functions IV: Quantum linear groups and Hecke algebras at q=0q = 0, pdf

Long surveys and lecture notes

  • Michael Hazewinkel, Symmetric functions, noncommutative symmetric functions and quasisymmetric functions, pdf
  • V. Retakh and R. Wilson, Advanced Course on Quasideterminants and Universal Localization: pdf (see the part Factorization of Noncommutative Polynomials and Noncommutative Symmetric Functions)

Expositions/short summaries

  • Mike Zabrocki, Non-commutative symmetric functions II: Combinatorics and coinvariants, slides from a talk pdf, III: A representation theoretical approach pdf
  • Lenny Tevlin, Introduction to quasisymmetric and noncommutative symmetric functions, slides, Fields Institute 2010 pdf

Revised on June 5, 2013 17:56:34 by Andrew Stacey (192.76.7.205)