[論文レビュー] 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

ひとこと要約

この論文は、すべての例外的2次元複素反射群について、その一般化ヘッケ代数の明示的表現を構成し、自由性および変形性の性質を検証することで、Broué-Malle-Rouquier予想を証明する。主な結果として、各例外的2次元群の一般化ヘッケ代数がその基底環上自由であることが確立され、この場合における予想の妥当性が確認された。

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予想を検証すること。
• これらの群に付随する一般化ヘッケ代数の明示的表現を構成すること。
• 予想の中心的要件である、一般化ヘッケ代数がその基底環上自由であることの確立。
• 異なるパrameterization間でのヘッケ代数の表現の間の明示的同型を提供し、群族全体にわたる一貫性を保証すること。
• 計算的および代数的技法を用いて、予想が要請する変形性および正規性の性質を確認すること。

提案手法

• 対応する複素反射群のブレッド関係から導かれる生成元と関係式を用いて、一般化ヘッケ代数の表現を構成する。
• 定義関係の構造と関連するシュール要素の分析を通じて、ヘッケ代数が基底環上自由であることを検証する。
• GAPなどの計算ツールを用いて、因数分解されたシュール要素を計算し、その性質を検証する。
• 生成元間の明示的代数写像を用いて、ヘッケ代数の異なる表現の間の同型を確立する。
• 分解写像および中心的特徴の理論を応用し、ヘッケ代数の表現理論を分析する。
• 有限および複素反射群に対する既知の結果と比較することで、構成の妥当性を検証する。

実験結果

リサーチクエスチョン

• RQ1 Broué-Malle-Rouquier予想が予測するように、各例外的2次元複素反射群の一般化ヘッケ代数は、その基底環上自由であるか？
• RQ2 各例外的2次元群に対して、一般化ヘッケ代数の明示的表現を構成でき、異なるパrameterization間で一貫性を保っているか？
• RQ3 一般化ヘッケ代数のシュール要素は、予想の期待と整合する形で因数分解されるか？
• RQ4 ヘッケ代数と群代数の間の分解写像は、2次元の場合に予想される構造と整合するか？
• RQ5 同じヘッケ代数の異なる表現の間で、明示的に同型を定義でき、それらの同値性が確認できるか？

主な発見

• Broué-Malle-Rouquier予想は、すべての例外的2次元複素反射群について成立し、その一般化ヘッケ代数が基底環上自由であることが確認された。
• G6, G7, G11, G12, G13, G14, G15, G19, G20, G21, G22を含む、すべての例外的2次元群について、一般化ヘッケ代数の明示的表現が構成された。
• これらのヘッケ代数のシュール要素が計算され、予想の要請と整合する形で因数分解されたことが判明した。
• 同じヘッケ代数の異なる表現の間で、明示的な同型が定義され、構造的同値性が検証された。
• 定義関係の計算的および代数的解析を通じて、予想が要請する変形性および正規性の性質が確認された。
• 結果として、各例外的2次元群の一般化ヘッケ代数が、予想通り群代数の平坦な変形であることが確認された。