[论文解读] 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

一句话总结

本文对置换的Malvenuto-Reutenauer霍普夫代数进行了全面的结构分析，通过莫比乌斯反演引入了一种与弱序相关的新型单项基。研究证明该代数作为余代数是余自由的，显式计算了其对极元和余滤子层，识别出原始元素，并表明该代数可分解为对称函数霍普夫代数上的交叉积，其乘法结构常数具有几何意义，即作为排列多面体面的计数。

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.

研究动机与目标

• 提供对置换的Malvenuto-Reutenauer霍普夫代数的代数与组合学的深入理解。
• 通过在对称群的弱序上使用莫比乌斯反演，引入并分析一种新的单项基。
• 刻画该代数的余代数结构，包括其余滤子层与原始元素。
• 描述该霍普夫代数作为对称函数代数上的交叉积。
• 以排列多面体面的几何-组合解释乘法结构常数。

提出的方法

• 通过在对称群的弱序上使用莫比乌斯反演，为Malvenuto-Reutenauer霍普夫代数引入新的单项基{M_u}。
• 将全局下降定义为描述余乘法的关键组合工具，其中余乘法通过在全局下降位置分割置换来实现。
• 将排列多面体的1-骨架视为弱序的哈斯图，将结构常数解释为特定排列多面体面的计数。
• 通过证明余滤子层对应于由全局下降数定义的下理想，证明该代数作为分次余代数是余自由的。
• 通过截面映射Z，建立从对称函数霍普夫代数到Malvenuto-Reutenauer代数的同态，从而实现交叉积分解。
• 使用Blattner-Cohen-Montgomery定理，将Malvenuto-Reutenauer代数实现为交叉积A#σQSym，其中A为下降映射的左霍普夫核。

实验结果

研究问题

• RQ1 如何通过新基对Malvenuto-Reutenauer霍普夫代数进行代数与组合学的分解？
• RQ2 Malvenuto-Reutenauer代数中的对极元的精确结构是什么？其与弱序有何关系？
• RQ3 该代数的余滤子层如何对应对称群中的组合结构？
• RQ4 乘法中单项基的结构常数具有何种几何意义？
• RQ5 Malvenuto-Reutenauer代数能否表示为对称函数霍普夫代数上的交叉积？

主要发现

• Malvenuto-Reutenauer霍普夫代数作为分次余代数是余自由的，其余滤子层对应于按全局下降数对对称群进行的滤子层。
• 原始元素空间由满足无全局下降的单项基元素M_u线性张成。
• 在单项基中乘法的结构常数是非负整数，等于排列多面体Π_{p+q-1}中类型为(p,q)的面的个数，其中指定顶点(u,v)位于w之下，且比该面中其他任何顶点更接近w。
• 在单项基中，对极元被显式计算，其公式涉及置换的反转与全局下降结构。
• 下降映射D: SSym → QSym将M_u映射为M_{GDes(u)}（若u是闭的，即Des(u) = GDes(u)），否则映射为零。
• Malvenuto-Reutenauer代数可分解为交叉积A#σQSym，其中A为下降映射的左霍普夫核，且dim A_n = n! - ∑_{k=0}^{n-1} k!。