[論文レビュー] The Hopf algebras of non-commutative symmetric functions and quasi-symmetric functions are free and cofree

Nantel Bergeron, Mike Zabrocki|arXiv (Cornell University)|Sep 12, 2005

Advanced Combinatorial Mathematics被引用数 2

ひとこと要約

本稿では、非可換対称関数および非可換変数における準対称関数のホップ代数が、両方とも自由かつ余自由であることを確立している。著者らは、集合分割および集合順序付き分割に新たな順序を導入することで、積と余積の規則が単純なモノミアル基底を定義し、明示的な組合せ的構成を通じて、これらの代数の背後にある自由および余自由構造を明らかにしている。

ABSTRACT

Abstract. We uncover the structure of the space of symmetric functions in non-commutative variables by showing that the underlined Hopf algebra is both free and co-free. We also introduce the Hopf algebra of quasi-symmetric functions in non-commutative variables and define the product and coproduct on the monomial basis of this space and show that this Hopf algebra is free and cofree. In the process of looking for bases which generate the space we define orders on the set partitions and set compositions which allow us to define bases which have simple and natural rules for the product of basis elements. 1.

研究の動機と目的

• 非可換対称関数の代数的構造を解明し、その背後にあるホップ代数が、グレーディング付き連結ホップ代数として自由かつ余自由であることを証明すること。
• 非可換変数における準対称関数のホップ代数を定義し、その性質を検討すること。
• 集合分割および集合順序付き分割における順序を用いて、自然な積と余積の規則を持つ明示的なモノミアル基底を構成すること。
• 非可換対称関数および準対称関数のホップ代数が、グレーディング付き連結ホップ代数として自由かつ余自由であることを確立すること。
• これらの非可換関数空間における代数的演算を簡略化する組合せ的枠組みを提供すること。

提案手法

• 集合分割および集合順序付き分割に部分順序を導入し、非可換対称関数の正規基底を定義する。
• 非可換変数における準対称関数のモノミアル基底における積および余積の演算を定義する。
• 定義された順序の組合せ的性質を用いて、乗法および余乗法の単純で自然な規則を導出する。
• 非可換対称関数と準対称関数の間の双対性を応用し、自由性および余自由性を分析する。
• グレーディング付き連結ホップ代数の構造を活用して、両代数が自由かつ余自由であることを証明する。
• 双対基底の存在および前リーマン代数構造の存在を活用して、ホップ代数の自由および余自由性を確認する。

実験結果

リサーチクエスチョン

• RQ1 非可換対称関数のホップ代数は、グレーディング付き連結ホップ代数として自由かつ余自由であるか？
• RQ2 非可換変数における準対称関数のモノミアル基底を、積と余積の規則が単純となるように定義できるか？
• RQ3 集合分割や集合順序付き分割のような組合せ的構造は、これらの非可換関数代数の自然な基底を支えることができるか？
• RQ4 集合分割および集合順序付き分割における順序は、自由および余自由なホップ代数構造の構成をどのように支援するか？
• RQ5 非可換変数における非可換対称関数と準対称関数のホップ代数構造の間にはどのような関係があるか？

主な発見

• 非可換対称関数のホップ代数は、グレーディング付き連結ホップ代数として自由かつ余自由である。
• 非可換変数における準対称関数のホップ代数も自由かつ余自由である。
• 特定の順序付けを施した集合順序付き分割を用いて、非可換変数における準対称関数のモノミアル基底が定義され、積と余積の規則が単純化される。
• 準対称関数のモノミアル基底における積と余積は明示的に定義されており、ホップ代数構造と整合的であることが示された。
• 集合分割および集合順序付き分割における組合せ的順序は、自然な代数的演算を持つ基底を体系的に生成する方法を提供する。
• 非可換対称関数と非可換変数における準対称関数の間の双対性は、両代数の自由性および余自由性を支持する。