[論文レビュー] 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

ひとこと要約

この論文は、弱順序におけるモビウス反転を用いて群代数の新しい基底を導入することで、結合的オペラッドと対称群上の弱順序の間に深い関係を確立する。この基底においてオペラッド的合成は弱順序の区間の和として表れ、コラディカルフィルトレーションがオペラッドフィルトレーションであることを示し、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.

研究の動機と目的

• 対称群の群代数における結合的オペラッドの非対称オペラッド構造を理解すること。
• 対称群上の弱順序がオペラッド構造とどのように作用するかを調査すること。
• マルヴェヌート＝ルーテナールホップ代数の原始的元の空間が部分オペラッドをなすかどうかを特定すること。
• 新しい群代数の基底においてダイニクのイドムポテンの明示的表現を導出すること。
• 平面上の2分木や降順集合によって定義される商写像が、区間に基づく合成を持つ非対称オペラッド商をもたらすかどうかを示すこと。

提案手法

• 弱順序におけるモビウス反転を用いて $ 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)]$ の和として表されることを証明する。
• 弱順序の構造とシャッフルを用いて、合成のサポートを置換パターンの観点から記述する。
• 各成分がオペラッド的合成に関して閉じていることを示すことで、マルヴェヌート＝ルーテナールホップ代数のコラディカルフィルトレーションがオペラッドフィルトレーションであることを証明する。
• 平面上の2分木と降順集合を用いて非対称オペラッド商を構成し、そのオペラッド構造が区間に基づいていることを示す。
• 帰納法と演算 $ \{x,y\} = x \circ_1 y - y \circ_1 x $ を用いて、ダイニクのイドムポテン $ \theta_n $ の閉じた表現を $ \sum_{\sigma \in S_n, \sigma(1)=1} M_\sigma $ として導出する。

実験結果

リサーチクエスチョン

• RQ1 結合的オペラッドの構造は、対称群代数のモビウス反転基底においてどのように現れるか？
• RQ2 マルヴェヌート＝ルーテナールホップ代数の原始的元は、結合的オペラッドの作用に関して閉じているか？
• RQ3 置換から平面上の2分木や降順集合への商写像に非対称オペラッド構造を導入できるか？
• RQ4 $ M_\sigma $-基底においてダイニクのイドムポテンの明示的形は何か？
• RQ5 リー・オペラッドは、結合的オペラッドのコラディカルフィルトレーションの部分オペラッドか？

主な発見

• オペラッド的合成 $ M_\sigma \circ_i M_\tau $ は弱順序における区間 $[\sigma \circ_i \tau, \sigma \circ_i \tau \cdot \text{inv}(\tau)]$ の和として表れる。
• マルヴェヌート＝ルーテナールホップ代数のコラディカルフィルトレーションはオペラッドフィルトレーションであり、各成分がオペラッド的合成に関して閉じていることを意味する。
• 結合的オペラッドにおける原始的元の空間は非対称部分オペラッドであり、リー・オペラッドがコラディカルフィルトレーションの部分オペラッドであることが確認された。
• ダイニクのイドムポテン $ \theta_n $ は明示的に $ \sum_{\sigma \in S_n, \sigma(1)=1} M_\sigma $ で与えられ、1を固定する置換の和として単純な形で表される。
• 降順写像による結合的オペラッドの商は、弱順序における区間の和として構造写像を持つ非対称オペラッドである。
• 降順商写像のホップ核は、結合的オペラッドの非対称部分オペラッドである。