[論文レビュー] A Quiver Presentation for Solomon's Descent Algebra

Götz Pfeiffer|ArXiv.org|Sep 25, 2007

Advanced Combinatorial Mathematics参考文献 13被引用数 4

ひとこと要約

本稿では、有限コクセター群 W のソロモンの降下代数 Σ(W) について、単純反射の冪集合のハッセ図のパス代数の部分代数の商として構成することにより、クーヴィア表示を提示する。主な貢献は、Σ(W) のクーヴィア表示を計算するアルゴリズム的手法であり、Aₙ、Bₙ、Dₙ 型および例外型に対して明示的な結果が得られており、差分作用素とパスおよびストリート上のモノイド作用が用いられている。

ABSTRACT

The descent algebra $Σ(W)$ is a subalgebra of the group algebra $\Q W$ of a finite Coxeter group $W$, which supports a homomorphism with nilpotent kernel and commutative image in the character ring of $W$. Thus $Σ(W)$ is a basic algebra, and as such it has a presentation as a quiver with relations. Here we construct $Σ(W)$ as a quotient of a subalgebra of the path algebra of the Hasse diagram of the Boolean lattice of all subsets of $S$, the set of simple reflections in $W$. From this construction we obtain some general information about the quiver of $Σ(W)$ and an algorithm for the construction of a quiver presentation for the descent algebra $Σ(W)$ of any given finite Coxeter group $W$.

研究の動機と目的

• 任意の有限コクセター群 W に対して、ソロモンの降下代数 Σ(W) のクーヴィア表示を構成する一般的でアルゴリズム的な方法を提供すること。
• 降下代数を単純反射の冪集合のハッセ図に関連付ける幾何的・組合せ論的枠組みを確立すること。
• 従来、対称群（Aₙ 型）に限られていた降下代数のクーヴィアに関する既知の結果を、Bₙ、Dₙ 型および例外型を含むすべての有限コクセター群に拡張すること。
• 差分作用素を用いて降下代数をパス代数の部分代数の商として形式化し、体系的な計算を可能にすること。
• Aₙ、Bₙ、Dₙ 型および例外的ケースにおいて、Σ(W) の明示的なクーヴィア表示と関係式を提供し、GAP を用いた計算的検証を実施すること。

提案手法

• 単純反射の冪集合 P(S) を逆包含順序で整列したハッセ図のパス代数 A を構成し、自由モノイド S* を用いて「アリーブ」と呼ばれるパスを生成する。
• コクセター群 W による P(S) 上の部分的作用を定義し、これにより A の部分代数 Ξ を誘導する。アリーブの軌道が「ストリート」となっており、Ξ の基底をなす。
• A に差分作用素 Δ を導入し、Ξ から A₀（A の次数ゼロ成分）への全射を実現する。A₀ は Σ(W) と同一視される。
• Δ が Ξ から Σ(W) への反準同型写像であることを示し、主要定理（定理 9.5）により Σ(W) ≅ A₀ の同型を確立する。
• ストリートおよびそのプレフィックス・サフィックスの構造を用いて、二つの根付きフォレストを定義し、Ξ を射影的でない完全分解型モジュールに分解する。
• パス同値性に基づく形状・ストリート・関係の組合せ論を用いた、クーヴィア表示を計算するアルゴリズム（アルゴリズム 11.1）を開発する。

実験結果

リサーチクエスチョン

• RQ1 任意の有限コクセター群 W に対して、降下代数 Σ(W) のクーヴィア表示を体系的に構成する方法は何か？
• RQ2 単純反射の冪集合のハッセ図は、Σ(W) の構造をどのように符号化しているか？
• RQ3 モノイド作用とアリーブ・ストリート上のパス代数は、Σ(W) の射影的でない完全分解型モジュールとどのように関係しているか？
• RQ4 さまざまなタイプの有限コクセター群における Σ(W) のクーヴィアの一般的構造的性質は何か？
• RQ5 差分作用素 Δ を用いて Σ(W) をパス代数の部分代数の商としてどのように実現できるか？また、その結果得られる関係式は何か？

主な発見

• 降下代数 Σ(W) は、A の部分代数 Ξ から A₀ への反準同型写像 Δ を通じて、パス代数 A の次数ゼロ成分 A₀ と同型である。
• D₆ 型では、Σ(W) のクーヴィアは 26 頂点と 22 辺を持ち、特定の頂点ペア間に複数の辺が存在し、パス同値性を含む 3 つの特定の関係が存在する。
• n が奇数の Dₙ 型では、クーヴィアの辺は、n をちょうど一つの奇数部を持つ分割に対応する形状の間でのみ存在し、特定の統合または削除ルールに従う。
• クーヴィア表示を計算するアルゴリズムは GAP に実装され、Aₙ、Bₙ、Dₙ 型および例外型に対して検証されており、明示的な例が提示されている。
• 部分代数 Ξ がパス代数であると予想されており、これはストリートの集合に二つの根付きフォレストが存在することによって裏付けられている。
• クーヴィアの関係は、代数内のパス同値性から生じており、たとえば D₆ 型では (4→14→26) = -2(4→15→26) のような関係が存在し、Σ(W) 内の非自明な関係を反映している。