[論文レビュー] Blocks and families for cyclotomic Hecke algebras

Maria Chlouveraki|arXiv (Cornell University)|Jul 9, 2008

Advanced Algebra and Geometry参考文献 38被引用数 9

ひとこと要約

本稿は、複素反射群に付随する巡回的ヘッケ代数のための、ルアキエールブロック（一般化されたキャラクター族）を決定する包括的な枠組みを確立する。本研究では、本質的超平面を通じたブロックの半連続性と特殊化パラメータの特定化を用い、既存のアルゴリズム的制限を克服し、非素数べきパラメータに対しても有効な統一的メソッドを提供する。このメソッドは、既約キャラクターからの組合せ的データとローレンツ多項式への特殊化に基づく。

ABSTRACT

The families of characters, defined by Lusztig for Weyl groups, play an important role in the representation theory of finite reductive groups. The definition of Rouquier for the families of characters in terms of blocks of the Hecke algebra has made possible the generalization of this notion to the case of complex reflection groups. In this article, we study the Rouquier blocks of the cyclotomic Hecke algebras and we show that they depend on numerical data determined by the generic Hecke algebra. Moreover, we provide the algorithm and the results of their determination for all exceptional complex reflection groups.

研究の動機と目的

• ウェイル群からすべての複素反射群へとキャラクター族の概念を一般化すること。
• タイプ $G(de,e,r)$ の群において、非素数べきパラメータに対して失敗していた従来のアルゴリズムの制限を解消すること。
• 半連続性の性質と本質的超平面を用いた、ルアキエールブロックを一様に計算する方法を確立すること。
• すべての複素反射群（例外的群および無限系列を含む）に対して、ルアキエールブロックの完全かつ修正済みの分類を提供すること。
• 非コックスター設定におけるカジダン＝ルシュチギ基底およびユニポテンツキャラクター族の将来的な一般化の基盤を築くこと。

提案手法

• 本手法は、ルアキエールブロックの半連続性に依拠しており、ブロックはパラメータ $n_i$ が属する本質的超平面にのみ依存する。
• 本質的超平面は、複素反射群 $W$ の数値的不変量によって定義され、各超平面 $H$ は既約キャラクターの集合をブロック $\mathcal{B}(H)$ に分割する。
• 与えられた巡回的特殊化 $v_i \mapsto y^{n_i}$ に対するルアキエールブロックは、整数 $n_i$ を含む本質的超平面に対応するブロック $\mathcal{B}(H)$ の最小の和集合である。
• 本手法は、バターン群代数の商として定義される一般ヘッケ代数 $\mathcal{H}(W)$ を用い、$v_i \mapsto y^{n_i}$ による特殊化によって巡回的ヘッケ代数に導く。
• シュール要素は、$\Phi_1$ の積を含む明示的公式により計算され、パラメータの正規化によって $K = \mathbb{Q}(\zeta_n)$ 上で代数が分裂半単純になる。
• 群 $G(de,e,2)$ の場合、歪み付き対称代数とパラメータの $f$ 乗根を用いることで、$e$ が奇数・偶数の両方のケースで一貫性を保証する。

実験結果

リサーチクエスチョン

• RQ1 ウェイル群からすべての複素反射群へとキャラクター族の概念をどのように一般化できるか？
• RQ2 パrameter $d$ が素数べきでない場合に、巡回的ヘッケ代数のルアキエールブロックを計算する正しいアルゴリズム的手法は何か？
• RQ3 巡回的ヘッケ代数のルアキエールブロックは、特殊化パラメータ $n_i$ にどのように依存するか？
• RQ4 本質的超平面は、巡回的ヘッケ代数におけるブロック構造を決定する上で果たす役割は何か？
• RQ5 ブロックの半連続性の性質を用いて、すべての複素反射群にわたる過去の計算結果を統一的かつ修正可能にできるか？

主な発見

• 巡回的ヘッケ代数のルアキエールブロックは、特殊化パラメータ $n_i$ を含む本質的超平面によって完全に決定され、それらの超平面に対応するブロック $\mathcal{B}(H)$ の最小の和集合として得られる。
• $G(de,e,r)$ 群におけるアルゴリズムは、素数べきに限らないすべての $d$ に対して修正され一般化され、従来の研究で知られていた失敗を解消した。
• $G(n,1,r)$ に対して、既約キャラクター $\chi_\lambda$ のシュール要素は、$x$, $u_s$, および $\Phi_1$-多項式の積を含む明確な公式で与えられ、明示的な指数 $a_L$ と $b_L$ を持つ。
• $n = de/2$ である $G(2n,2,2)$ に対して、1次および2次キャラクターのシュール要素は、$\Phi_1$-因数分解と正規化されたパラメータ $\mathcal{X}_i, \mathcal{Y}_j, \mathcal{Z}_k$ を用いて明示的に計算された。
• $K(\mathcal{X}_i, \mathcal{Y}_j, \mathcal{Z}_k)\mathcal{H}(G(2n,2,2))$ は分裂半単純であることが確認され、シュール要素の正規化および因数分解の正しさが裏付けられた。
• 巡回的ヘッケ代数、カジダン＝ルシュチギセル、シェレドニク代数の間で観察される半連続性の性質は、これらの分野に深く、まだ説明のつかない構造的関係を示唆している。