[論文レビュー] Structure of the Malvenuto-Reutenauer Hopf algebra of permutations (Extended Abstract)

Marcelo Aguiar, Frank Sottile|ArXiv.org|Mar 11, 2002

Advanced Combinatorial Mathematics参考文献 15被引用数 5

ひとこと要約

本稿は、対称群の弱順序を用いたモビウス逆算を通じて関連する新しい単項基底を導入することで、置換のマルヴェンート＝ルーテナウルホップ代数の包括的な構造的解析を提供する。代数は余自由なコモジュールとしての性質を示し、その余極フィルトレーションとアンチポードを明示的に計算し、原始的元を同定する。さらに、この代数は準同型関数のホップ代数上でのクロス積として分解可能であり、積の構造定数はパーミュタホンの面として幾何的に解釈可能である。

ABSTRACT

We analyze the structure of the Malvenuto-Reutenauer Hopf algebra of permutations in detail. We give explicit formulas for its antipode, prove that it is a cofree coalgebra, determine its primitive elements and its coradical filtration and show that it decomposes as a crossed product over the Hopf algebra of quasi-symmetric functions. We also describe the structure constants of the multiplication as a certain number of facets of the permutahedron. Our results reveal a close relationship between the structure of this Hopf algebra and the weak order on the symmetric groups.

研究の動機と目的

• 置換のマルヴェンート＝ルーテナウルホップ代数の代数的および組合的構造を詳細に理解すること。
• 弱順序に基づくモビウス逆算を通じて、対称群上に新しい単項基底を導入・分析すること。
• 代数のコモジュール構造、特にその余極フィルトレーションと原始的元を特徴づけること。
• ホップ代数を準同型関数の代数上でのクロス積として記述すること。
• 積の構造定数をパーミュタホンの面として幾何的・組合的解釈すること。

提案手法

• 対称群の弱順序におけるモビウス逆算を通じて、マルヴェンート＝ルーテナウルホップ代数の新しい単項基底 {M_u} を導入する。
• コプロダクトを記述するための主要な組合的道具として、グローバルディセントを定義し、コプロダクトをグローバルディセント位置で置換を分割することで与える。
• パーミュタホンの1次スケルトンを弱順序のハッセ図として解釈し、構造定数を特定のパーミュタホンの面の数として解釈する。
• グローバルディセント数に基づく下位順序イデアルによって定まるフィルトレーションが余極フィルトレーションに対応することを示すことにより、代数が階数付きコモジュールとして余自由であることを証明する。
• セクション写像 Z を通じて、準同型関数のホップ代数からマルヴェンート＝ルーテナウル代数への準同型を構成し、クロス積分解を可能にする。
• ブラットナー＝コーエン＝モンゴメリーの定理を用い、マルヴェンート＝ルーテナウル代数を A#σQSym として実現する。ここで A はディセント写像の左ホップ核である。

実験結果

リサーチクエスチョン

• RQ1 マルヴェンート＝ルーテナウルホップ代数は、新しい基底を用いてどのように代数的・組合的に分解可能か？
• RQ2 マルヴェンート＝ルーテナウル代数におけるアンチポードの明確な構造は何か？また、弱順序とどのように関係しているか？
• RQ3 代数の余極フィルトレーションは、対称群内の組合的構造とどのように対応するか？
• RQ4 積の構造定数の幾何的意味は何か？特にパーミュタホンの面としての解釈は？
• RQ5 マルヴェンート＝ルーテナウル代数は、準同型関数のホップ代数上でのクロス積として表現可能か？

主な発見

• マルヴェンート＝ルーテナウルホップ代数は、階数付きコモジュールとして余自由であり、余極フィルトレーションはグローバルディセント数による対称群のフィルトレーションに対応する。
• 原始的元の空間は、グローバルディセントをもたない u に対する単項基底要素 M_u によって線形に張られる。
• 単項基底における積の構造定数は非負整数であり、それは、頂点 (u,v) が w よりも近い、かつその面内で他の頂点よりも近い位置にある (p,q)-型のパーミュタホン Π_{p+q-1} の面の数に等しい。
• 単項基底におけるアンチポードは明示的に計算されており、置換の反転とグローバルディセント構造を含む公式が得られている。
• ディセント写像 D: SSym → QSym は、u が閉じている（すなわち Des(u) = GDes(u)）場合に M_u を M_{GDes(u)} に写し、それ以外の場合は 0 に写す。
• マルヴェンート＝ルーテナウル代数は A#σQSym として分解可能であり、ここで A はディセント写像の左ホップ核であり、dim A_n = n! - ∑_{k=0}^{n-1} k! である。