[論文レビュー] Weak Bruhat order on the set of faces of the permutahedra

Patricia Palacios, Marı́a Ronco|ArXiv.org|Apr 20, 2004

Advanced Combinatorial Mathematics参考文献 3被引用数 8

ひとこと要約

この論文は、コクセター群から、そのパラボリック部分群の右剰余類の集合へ弱ブルハート順序を拡張し、パーミュタヘドロンの面に新たな半順序を定義する。この順序が、平面根付き木の張るベクトル空間に双分岐三重代数構造を誘導することを示し、弱ブルハート順序と一般化されたシャッフルを用いて、自由双分岐三重代数の組み合わせ的実現を提供する。

ABSTRACT

We extend the weak Bruhat order of a finite Coxeter group to the set of its coclasses, modulo parabolic standard subgroups. We use this order to describe associative algebra structures on the vector spaces spanned by the faces of permutahedra on one side, and on the vector space spanned by the planar rooted trees, on the other one.

研究の動機と目的

• コクセター群 W における弱ブルハート順序を、そのパラボリック部分群の右剰余類の集合へ拡張し、パーミュタヘドロンの面に新たな半順序を形成すること。
• 一般化された弱ブルハート順序を用いて、これらの剰余類によって張られるベクトル空間に双分岐三重代数構造を定義すること。
• 剰余類の半順序集合から、n+1 個の葉を持つ平面根付き木の集合へ自然な全射 Γ を構成し、木の集合に半順序を誘導することにより、自由双分岐三重代数構造を実現すること。
• 誘導された平面根付き木上の構造が、既存の文献で定義された自由双分岐三重代数構造と一致することを示すこと。
• 剰余類および木の代数における結合的積が、弱ブルハート順序および一般化されたシャッフルから導かれる三つの演算を用いて記述できることを示すこと。

提案手法

• 長さ加法的因子分解を用いて、群 W の弱ブルハート順序を拡張し、右剰余類 WJ∘w の集合に半順序 ≤B を定義する。
• 各剰余類を {1,…,n} から {1,…,r} への全射写像として表現することで、poset 構造の組み合わせ的記述を可能にする。
• poset 構造と双分岐三重代数の三つの演算（succ, ·, prec, *）をモデル化するため、一般化シャッフル集合 SH(n0,…,nr) を導入する。
• 自然な全射 Γ: Pn → Tn を構成し、Pn 上の拡張された弱ブルハート順序を、n+1 個の葉を持つ平面根付き木の集合 Tn 上の半順序に引き継ぐ。
• Tn 上の誘導順序を用いて、木の分解における弱ブルハート順序条件に基づき、k[T∞] 上の結合的積を定義する。
• 再帰的検証により順序関係および積の公式を確認し、k[T∞] 上の得られた代数的構造が、先行研究で定義された自由双分岐三重代数構造と一致することを証明する。

実験結果

リサーチクエスチョン

• RQ1 コクセター群 W における弱ブルハート順序を、そのパラボリック部分群の右剰余類の集合へどのように拡張できるか？
• RQ2 拡張された順序の下で、これらの剰余類によって張られるベクトル空間にどのような代数的構造が現れるか？
• RQ3 平面根付き木に誘導された順序は、剰余類の半順序集合における弱ブルハート順序とどのように関係するか？
• RQ4 平面根付き木上の自由双分岐三重代数における結合的積を、弱ブルハート順序を用いて明示的に記述できるか？
• RQ5 得られた平面根付き木上の双分岐三重代数構造は、他の組み合わせ的構成によって事前に定義されたものと同型か？

主な発見

• 右剰余類 WJ∘w の集合における拡張された弱ブルハート順序は、W 上の標準的弱順序を一般化する半順序を形成する。
• poset Pn によって張られるベクトル空間 k[P∞] は、弱ブルハート順序および一般化されたシャッフルから導かれる三つの演算によって定義される双分岐三重代数構造を有する。
• 全射 Γ: Pn → Tn は、Pn 上の拡張された弱ブルハート順序を、n+1 個の葉を持つ平面根付き木の集合 Tn 上の半順序に写像する。
• Tn 上の誘導順序により、k[T∞] 上に自由双分岐三重代数構造を構成でき、これは [LR3] および [LR4] で定義された構造と一致する。
• k[T∞] 上の結合的積は、弱ブルハート順序の区間の和として明示的に記述できる：t≺z = ∑w に対して ⋁(t⁰,…,tᵏ⁻¹,tᵏ/z) ≤B w ≤B tackslash z。
• 本論文は、逆像における順序を保つ隣接置換によって定義される順序 ≤C が、Tn 上に一貫した順序を誘導し、チャポトンが定義した代数的構造と同一の構造を支えることを確認している。