[論文レビュー] On the cyclotomic Hecke algebras of complex reflection groups

Maria Chlouveraki|ArXiv.org|Oct 3, 2007

Advanced Algebra and Geometry被引用数 12

ひとこと要約

本稿は、Rouquierのブロック理論を用いて、複素反射群の巡回的ヘッケ代数における文字族の一般化された枠組みを確立し、古典的なLusztigの族の概念をコックスター群でない群へと拡張する。この枠組みにより、適切な係数環上の巡回的ヘッケ代数のブロックと正確に一致する文字族が得られ、Spetsesにおける単純表現の特徴付けを一様に行い、これまでの分解行列における不整合を解消する。

ABSTRACT

Following the definition of Rouquier for the "families of characters" of a Weyl group and its generalization to the case of complex reflection groups, already appeared in the works of Broue-Kim and Malle-Rouquier, we show that these "families" depend on a numerical datum of the group, its "essential hyperplanes". Using this characterization, we provide the algorithm and the results of the determination of the Rouquier blocks of the cyclotomic Hecke algebras of all exceptional complex reflection groups.

研究の動機と目的

• ウェイル群からすべての複素反射群へ、Lusztigの文字族の概念を一般化すること。
• 複素反射群の巡回的ヘッケ代数における既存の分解行列の不整合を解消すること。
• 数体上の巡回的ヘッケ代数のブロックを用いた一様な文字族の定義を提供すること。
• G5、G13、G9、G10、G32、G34、G36などの群における既知の誤りを是正することで、この枠組みを検証すること。
• Spetsesにおける単純文字の定義の基盤を築くこと。

提案手法

• 本稿は、係数環上のヘッケ代数におけるRouquierのブロック理論を用い、巡回的ヘッケ代数のブロックとして文字族を定義する。
• パラメータを変数yの累乗へ写像するモルフィズムを用いて一般化ヘッケ代数を特殊化し、Z_K[y, y^{-1}] 上の巡回的ヘッケ代数を得る。
• 代数のシュール要素は、巡回多項式とブラッド群の正則部分集合上でのモノドロミー情報から計算される。
• この枠組みは、対称化トレースの存在とTitsの変形定理に依拠し、特殊化後の半単純性を保証する。
• 特定の群（例：G32、G34、G36）に理論を適用し、分解体上のシュール要素の明示的因数分解により結果を検証する。
• 新しいブロックに基づく定義を用いて、以前に発表された分解行列に対する是正を体系的に行う。

実験結果

リサーチクエスチョン

• RQ1 巡回的ヘッケ代数の複素反射群における文字族は、特にコックスター型でない群に対しても一貫して定義可能か？
• RQ2 数体上の巡回的ヘッケ代数のブロックは、ウェイル群と同様にLusztig風の文字族に対応するか？
• RQ3 G5の巡回的ヘッケ代数についてp=3のときの正しい分解行列は何か？ かつ、以前の主張とはどのように異なるか？
• RQ4 分解体上で巡回的ヘッケ代数のシュール要素をどのように因数分解すれば、ブロック構造の検証が可能か？
• RQ5 G9、G10、G34、G36のヘッケ代数の正しいブロック分解は何か？ かつ、それらは過去の誤りをどのように是正するか？

主な発見

• 複素反射群の文字族は、適切な係数環上のその巡回的ヘッケ代数のブロックに正確に一致する。これは、ウェイル群に対するRouquierの結果を一般化する。
• G32について、巡回的ヘッケ代数の分解体はQ(ζ3)(X0,X1,X2)であり、シュール要素は理論が予測するように因数分解される。
• G5のp=3における分解行列が是正された：1次および2次文字は同じ3ブロックに属さず、以前の主張とは矛盾する。
• G13のp=2について、従来の分解行列は無効である。2次および4次文字は同じ2ブロックに属さない。
• G9およびG10のブロック分解が是正された：元のブロック構造は誤りであり、新たな正確なブロック構造が提示された。
• G34およびG36について、タイプM(Z2)の2つの欠落した族が特定され、分類に追加され、過去の欠落を是正した。