[論文レビュー] Quiver Presentations for Descent Algebras of Exceptional Type

Götz Pfeiffer|ArXiv.org|Oct 15, 2008

Algebraic structures and combinatorial models参考文献 10被引用数 4

ひとこと要約

この論文は、$E_6$、$E_7$、$E_8$、$F_4$、$H_3$、$H_4$、$I_2(m)$ を含む、例外型および非晶質格子型の有限コックスター群の降下代数について、関係を伴うクーヴィー表示を提示する。GAPにおけるZigZagパッケージを介して実装された組合せ的枠組みを用いて、著者たちはクーヴィー構造、射影的非分解モジュール、Loewy系列、およびカルタン行列を計算し、これらの降下代数について初めて体系的なクーヴィー表示を提供するとともに、Loewy長さに関する既知の上限の検証を実施した。

ABSTRACT

The descent algebra of a finite Coxeter group $W$ is a basic algebra, and as such it has a presentation as quiver with relations. In recent work, we have developed a combinatorial framework which allows us to systematically compute such a quiver presentation for a Coxeter group of a given type. In this article, we use that framework to determine quiver presentations for the descent algebras of the Coxeter groups of exceptional or non-crystallographic type, i.e., of type $E_6$, $E_7$, $E_8$, $F_4$, $H_3$, $H_4$ or $I_2(m)$.

研究の動機と目的

• 例外的または非晶質格子型の有限コックスター群の降下代数について、体系的にクーヴィー表示を計算すること。
• 従来、$A_n$ 型および $B_n$ 型でのみ知られていたクーヴィー表示を、残りの例外的および非晶質格子型に拡張すること。
• 射影的非分解モジュールの計算されたLoewy系列を用いて、これらの代数のLoewy長さの上限を検証すること。
• 各群型について、クーヴィー図、関係、カルタン行列、およびモジュール分解を含む明示的なデータを提供すること。
• 特にGAPベースのZigZagパッケージを用いた計算ツールを通じて、結果を容易にアクセス可能にすること。

提案手法

• 論文は、先行研究で開発された組合せ的アルゴリズムを用いて、コックスター群の降下代数のクーヴィー表示を計算する。
• この方法は、降下類 $y_K = igcup_{w ext{ が } ilde{D}(w) = S ackslash K ext{ を満たす}} w^{-1}$ の基底と、共役類基底 $e_L$ を用いて代数の構造を特定する。
• クーヴィーの頂点は単純反射の部分集合の共役類に対応し、矢印は二重共役類の交差から得られる構造定数 $a_{JKL}$ によって決定される。
• クーヴィーの関係は、降下代数内の代数的関係、特に積則 $x_J x_K = igsum_L a_{JKL} x_L$ から導かれる。
• 射影的非分解モジュールおよびそのLoewy系列は、クーヴィーと関係を用いて計算され、Loewy長さは既知の結果と照合される。
• カルタン行列は、射影モジュール間の準同型の次元の行列として計算され、代数の表現理論を反映する。

実験結果

リサーチクエスチョン

• RQ1 コックスター群の $E_6$ 型降下代数のクーヴィー構造（関係付き）はどのようなものか？
• RQ2 $H_4$ の降下代数について、射影的非分解モジュールおよびそのLoewy系列はどのように見えるか？
• RQ3 $E_8$ の降下代数のカルタン行列は何か？ そして、これは代数の表現型をどのように反映するか？
• RQ4 どの例外的または非晶質格子型コックスター群について、降下代数がパス代数（すなわち、関係がない）となるか？
• RQ5 最長元 $w_0$ の中心性は、降下代数の偶数次元および奇数次元成分への分解にどのように影響するか？

主な発見

• $F_4$ の降下代数は、クーヴィー表示に関係がないことから、パス代数であることが確認された。
• $H_3$ については、クーヴィーが10個の頂点と16本の矢印を持ち、群の構造と共役類を反映した関係を持つ。
• $E_8$ の射影的非分解モジュールのLoewy長さは7であり、BonnaféとPfeifferが確立した上限と一致する。
• $E_8$ のカルタン行列は $23 \times 23$ 行列であり、要素の最大値が15に達し、そのモジュール圏の複雑さを反映している。
• $m$ が偶数の $I_2(m)$ の降下代数は可換であるが、$m$ が奇数の場合はそうでない。これは結論的 remarks における分類と一致する。
• $H_4$ の降下代数のクーヴィーは14個の頂点と28本の矢印を持ち、非自明な関係を持つ。そのLoewy系列はLoewy長さが5であることを確認している。