[论文解读] The associative operad and the weak order on the symmetric groups

Marcelo Aguiar, Muriel Livernet|ArXiv.org|Nov 29, 2005

Advanced Topics in Algebra参考文献 18被引用 13

一句话总结

本文通过在弱序上使用Möbius反演引入群代数的新基，建立了关联操作代数与对称群上弱序之间的深层联系。结果表明，该基下的操作复合是弱序中区间的和，揭示了余根基滤过是一个操作代数滤过，并给出了Dynkin幂等元的简洁公式：即对应于固定1的排列的基元素之和。

ABSTRACT

The associative operad is a certain algebraic structure on the sequence of group algebras of the symmetric groups. The weak order is a partial order on the symmetric group. There is a natural linear basis of each symmetric group algebra, related to the group basis by Mobius inversion for the weak order. We describe the operad structure on this second basis: the surprising result is that each operadic composition is a sum over an interval of the weak order. We deduce that the coradical filtration is an operad filtration. The Lie operad, a suboperad of the associative operad, sits in the first component of the filtration. As a corollary to our results, we derive a simple explicit expression for Dynkin's idempotent in terms of the second basis. There are combinatorial procedures for constructing a planar binary tree from a permutation, and a composition from a planar binary tree. These define set-theoretic quotients of each symmetric group algebra. We show that they are operad quotients of the associative operad. Moreover, the Hopf kernels of these quotient maps are suboperads of the associative operad.

研究动机与目标

• 理解关联操作代数在对称群群代数上的非对称操作代数结构。
• 研究对称群上的弱序如何与操作代数结构相互作用。
• 确定Malvenuto–Reutenauer霍普夫代数中的原始元素空间是否构成子操作代数。
• 在群代数的新基中推导出Dynkin幂等元的显式表达式。
• 证明通过平面二叉树和下降集定义的商映射可赋予非对称操作代数结构，且其复合结构基于区间。

提出的方法

• 通过在弱序上使用Möbius反演，定义新基 $ M_\sigma = \sum_{\sigma \leq \tau} \mu(\sigma,\tau) F_\tau $。
• 证明每个操作复合 $ M_\sigma \circ_i M_\tau $ 是弱序中区间 $[\sigma \circ_i \tau, \sigma \circ_i \tau \cdot \text{inv}(\tau)]$ 的和。
• 利用弱序结构与交错和的性质，用排列模式描述复合的支持。
• 通过证明每个分量在操作复合下封闭，证明Malvenuto–Reutenauer霍普夫代数的余根基滤过是一个操作代数滤过。
• 通过平面二叉树和下降集构造非对称操作代数商，证明其操作代数结构同样是基于区间的。
• 使用归纳法和运算 $ \{x,y\} = x \circ_1 y - y \circ_1 x $，推导出Dynkin幂等元 $ \theta_n $ 的闭式表达：$ \sum_{\sigma \in S_n, \sigma(1)=1} M_\sigma $。

实验结果

研究问题

• RQ1 关联操作代数的结构在对称群代数的Möbius反演基下如何体现？
• RQ2 Malvenuto–Reutenauer霍普夫代数中的原始元素在关联操作代数的运算下是否封闭？
• RQ3 能否为从排列到平面二叉树或下降集的商映射赋予非对称操作代数结构？
• RQ4 在 $ M_\sigma $-基下，Dynkin幂等元的显式形式是什么？
• RQ5 李操作代数是否为关联操作代数余根基滤过的子操作代数？

主要发现

• 操作复合 $ M_\sigma \circ_i M_\tau $ 是弱序中区间 $[\sigma \circ_i \tau, \sigma \circ_i \tau \cdot \text{inv}(\tau)]$ 的和。
• Malvenuto–Reutenauer霍普夫代数的余根基滤过是一个操作代数滤过，即每个分量在操作复合下封闭。
• 关联操作代数中原始元素的空间是一个非对称子操作代数，证实李操作代数是余根基滤过的子操作代数。
• Dynkin幂等元 $ \theta_n $ 显式给出为 $ \sum_{\sigma \in S_n, \sigma(1)=1} M_\sigma $，即对固定1的排列求和。
• 关联操作代数关于下降映射的商是一个非对称操作代数，其结构映射为弱序中区间的和。
• 下降商映射的霍普夫核是关联操作代数的非对称子操作代数。