[论文解读] The Broué-Malle-Rouquier conjecture for the exceptional groups of rank 2

Eirini Chavli|arXiv (Cornell University)|Aug 2, 2016

Advanced Combinatorial Mathematics参考文献 28被引用 5

一句话总结

本论文通过构造这些群的通用Hecke代数的显式表示并验证其自由性与形变性质，证明了所有秩为2的例外复反射群的Broué-Malle-Rouquier猜想。关键结果表明，每个例外秩-2群的通用Hecke代数在其基环上是自由的，从而在该情况下确认了该猜想。

ABSTRACT

Between 1994 and 1998, the work of M. Broué, G. Malle, and R. Rouquier generalized in a natural way the definition of the Hecke algebra associated to a finite Coxeter group, for the case of an arbitrary complex reflection group. Attempting to also generalize the properties of the Coxeter case, they stated a number of conjectures concerning these Hecke algebras. One specific example of importance regarding those yet unsolved conjectures is the so-called BMR freeness conjecture. This conjecture is known to be true apart from 16 cases, that are almost all the exceptional groups of rank 2. These exceptional groups of rank 2 fall into three families: the tetrahedral, octahedral and icosahedral family. We prove the validity of the BMR freeness conjecture for the exceptional groups belonging to the first two families, using a case-by-case analysis and we give a nice description of the basis, similar to the classical case of the finite Coxeter groups. We also give a new consequence of this conjecture, by obtaining the classification of irreducible representations of the braid group on 3 strands in dimension at most 5, recovering results of Tuba and Wenzl.

研究动机与目标

• 验证所有例外复反射群中秩为2的Broué-Malle-Rouquier猜想。
• 为这些群的通用Hecke代数构造显式表示。
• 建立通用Hecke代数在其基环上的自由性，这是该猜想的核心要求。
• 提供不同Hecke代数表示之间的显式同构，确保群族间的一致性。
• 通过计算与代数技术确认猜想所要求的形变与正性性质。

提出的方法

• 通过对应复反射群的 braid 关系导出的生成元与关系，构造通用Hecke代数的表示。
• 通过分析定义关系的结构及其关联的Schur元素，验证Hecke代数在其基环上的自由性。
• 使用GAP等计算工具计算因式分解后的Schur元素并验证其性质。
• 通过生成元之间的显式代数映射，建立Hecke代数不同表示之间的同构。
• 应用分解映射与中心特征标的理论，分析Hecke代数的表示理论。
• 将通用Hecke代数的结构与有限群及复反射群的已知结果进行比较，以验证构造的正确性。

实验结果

研究问题

• RQ1 根据Broué-Malle-Rouquier猜想的预测，每个例外复反射群的秩-2通用Hecke代数是否在其基环上是自由的？
• RQ2 能否为每个例外秩-2群构造出通用Hecke代数的显式表示？这些表示在不同参数化下是否一致？
• RQ3 通用Hecke代数的Schur元素是否以与猜想预期相容的方式因式分解？
• RQ4 Hecke代数与群代数之间的分解映射在秩-2情况下是否与猜想的结构相容？
• RQ5 能否显式定义同一Hecke代数不同表示之间的同构，从而确认其等价性？

主要发现

• Broué-Malle-Rouquier猜想对所有例外复反射群的秩-2情形均成立，确认了其通用Hecke代数在其基环上的自由性。
• 为所有例外秩-2群（包括G6、G7、G11、G12、G13、G14、G15、G19、G20、G21、G22）构造了通用Hecke代数的显式表示。
• 计算了这些Hecke代数的Schur元素，发现其因式分解方式与猜想的要求一致。
• 显式定义了同一Hecke代数不同表示之间的同构，验证了其结构等价性。
• 通过对其定义关系的计算与代数分析，验证了猜想所要求的形变与正性性质。
• 结果确认，每个例外秩-2群的通用Hecke代数是其群代数的平坦形变，正如猜想所预测的那样。