[论文解读] Quiver Presentations for Descent Algebras of Exceptional Type

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

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

一句话总结

本论文为例外型及非晶系型有限考克斯eter群的下降代数提供了带关系的 quiver 表示，包括 $E_6$、$E_7$、$E_8$、$F_4$、$H_3$、$H_4$ 和 $I_2(m)$。通过在 GAP 中使用 ZigZag 包实现的组合框架，作者计算了 quiver 结构、广义本原模、Loewy 序列和 Cartan 矩阵，首次系统地给出了这些下降代数的 quiver 表示，并通过计算广义本原模的 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)$.

研究动机与目标

• 系统计算有限考克斯eter群中例外型或非晶系型的下降代数的 quiver 表示。
• 将此前仅知于类型 $A_n$ 和 $B_n$ 的 quiver 表示扩展至剩余的例外型与非晶系型。
• 通过计算广义本原模的 Loewy 序列，验证这些代数的 Loewy 长度上界。
• 为每类群提供明确的数据，包括 quiver 图、关系、Cartan 矩阵及模的分解。
• 通过计算工具（特别是基于 GAP 的 ZigZag 包）使结果可访问。

提出的方法

• 本文应用先前工作中开发的组合算法，计算考克斯eter群下降代数的 quiver 表示。
• 该方法使用下降类基 $y_K = igcup_{w ext{ 满足 } ilde{D}(w) = S ackslash K} w^{-1}$ 和共轭类基 $e_L$ 来确定代数的结构。
• quiver 的顶点对应于单个反射子集的共轭类，箭头由双陪集交集的结构常数 $a_{JKL}$ 决定。
• quiver 中的关系源自下降代数中的代数关系，特别是乘法规则 $x_J x_K = igsum_L a_{JKL} x_L$。
• 通过 quiver 和关系计算广义本原模及其 Loewy 序列，并与已知结果对比验证 Loewy 长度。
• Cartan 矩阵作为投影模之间同态空间维数的矩阵被计算，反映了代数的表示理论。

实验结果

研究问题

• RQ1 考克斯eter群类型 $E_6$ 的下降代数的 quiver 结构及其关系是什么？
• RQ2 考克斯eter群 $H_4$ 的广义本原模及其 Loewy 序列呈现何种形态？
• RQ3 $E_8$ 的下降代数的 Cartan 矩阵是什么？它如何反映代数的表示类型？
• RQ4 对于哪些例外型或非晶系型考克斯eter群，其下降代数是路径代数（即无关系）？
• RQ5 最长元素 $w_0$ 的中心性如何影响下降代数在偶数秩与奇数秩分量上的分解？

主要发现

• 经验证，$F_4$ 的下降代数是无关系的路径代数，其 quiver 表示中无任何关系。
• 对于 $H_3$，quiver 有 10 个顶点和 16 条箭头，其关系反映了群的结构与共轭类。
• $E_8$ 的广义本原模具有 Loewy 长度 7，与 Bonnafé 和 Pfeiffer 建立的上界一致。
• $E_8$ 的 Cartan 矩阵为 $23 \times 23$ 矩阵，元素最大达 15，反映出其模范畴的复杂性。
• 当 $m$ 为偶数时，$I_2(m)$ 的下降代数是交换的；当 $m$ 为奇数时则不是，与结论部分的分类一致。
• $H_4$ 的下降代数的 quiver 有 14 个顶点和 28 条箭头，具有非平凡关系，其 Loewy 序列确认了 Loewy 长度为 5。