[论文解读] Induce/restrict matrices for exceptional Weyl groups

Dean Alvis|ArXiv.org|Jun 19, 2005

Advanced Algebra and Geometry参考文献 8被引用 29

一句话总结

本文为例外Weyl群（E6、E7、E8、F4、G2）提供了全面的诱导/限制矩阵，计算了从极大抛物子群诱导的特征标分解为不可约特征标。利用扩展Dynkin图的组合数据，作者构建了显式表格，将Littlewood-Richardson法则推广至例外类型，从而支持代数群表示理论中的通用次数计算与Springer对应关系。

ABSTRACT

This manuscript contains tables giving the multiplicities with which irreducible characters of exceptional Weyl groups appear in characters induced from certain reflection subgroups containing maximal parabolic subgroups.

研究动机与目标

• 为例外Weyl群的极大抛物子群的诱导特征标分解为不可约特征标提供系统化方法。
• 提供显式表格（诱导/限制矩阵），推广例外类型的Littlewood-Richardson法则，此前此类法则在例外类型中尚不存在。
• 支持表示论中的应用，特别是有限李型群的通用次数计算，以及单连通表示的Springer对应关系。
• 为例外Weyl群中的特征标诱导与限制提供完整参考，填补其特征标理论非系统化发展的空白。

提出的方法

• 该方法利用例外根系的扩展Dynkin图，识别极大抛物子群W₀ ⊂ W，其中W为E6、E7、E8、F4或G2型的Weyl群。
• 通过循环结构（A型）和带符号分拆（B/C型）对W和W₀的共轭类进行参数化，实现群元素的分类。
• 使用标准记号标记W和W₀的不可约特征标，并通过诱导映射IndW_{W₀}ϕ计算诱导特征标。
• 通过计算每个W的不可约特征标在每个W₀的不可约特征标诱导特征标中的重数，构建诱导/限制矩阵。
• 计算内积表以验证正交性，并分析诱导表示之间的交织数。
• 该方法依赖已知的特征标表和根系的组合数据，未引入超越标准特征标理论的新理论框架。

实验结果

研究问题

• RQ1 如何为例外Weyl群系统化计算从极大抛物子群诱导的特征标分解为不可约特征标？
• RQ2 W(E6)、W(E7)、W(E8)、W(F4)和W(G2)的诱导/限制矩阵结构如何？与经典类型相比有何异同？
• RQ3 这些矩阵在计算有限李型群的通用次数方面能发挥多大作用？
• RQ4 不同抛物子群的诱导特征标之间如何通过内积和交织数相互关联？
• RQ5 这些矩阵能否用于验证或支持例外类型中的Springer对应关系？

主要发现

• 本文为所有例外Weyl群的极大抛物子群提供了89张诱导/限制矩阵表格，涵盖从W(A1) ⊂ W(G2)到W(D8) ⊂ W(E8)的所有情形。
• 对于每个W及其极大抛物子群W₀，矩阵明确列出了每个W的不可约特征标在W₀的每个不可约特征标诱导特征标中的重数。
• W(E6)、W(E7)和W(E8)的表格包括从A₄A₂、D₅A₁、E₆、D₈、A₈、A₇A₁、A₅A₂A₁、A₄A₄、D₅A₃、E₆A₂、E₇A₁、D₇、A₇、A₆A₁、A₄A₂A₁、A₄A₃、D₅A₂、E₆A₁和E₇等子群的诱导。
• 所有例外Weyl群的交织数表格（例如，(IndW_{W₀}1, IndW_{W₁}1)W）均已计算，提供了诱导正则特征标的内积数据。
• 利用这些矩阵计算了Weyl群的通用次数，这些次数在有限李型群不可约特征标次数公式中至关重要。
• 数据验证并扩展了Springer对应关系中的已知结果，特别是在单连通表示与特殊表示的语境下。