[論文レビュー] On category O for the rational Cherednik algebra of G(m,1,n): the almost semisimple case

Richard Vale|ArXiv.org|Jun 21, 2006

Algebraic structures and combinatorial models参考文献 10被引用数 7

ひとこと要約

本稿は、KZ関手が単純モジュールを分離するという条件下で、複素反射群 G(m,1,n) の有理Cherednik代数のカテゴリカル・𝒪の構造を決定する。この条件が成立するとき、カテゴリカル・𝒪は完全に記述可能であり、主な結果として、Ariki-Koike代数は、単純モジュールがちょうど |Irrep(W)|−1 個であるという性質によって、同型を除いて一意に決定されることを示す。

ABSTRACT

We determine the structure of category $\cO$ for the rational Cherednik algebra of $G(m,1,n)$ in the case where the $\KZ$ functor satisfies a condition called \emph{separating simples}. As a consequence, we show that the property of having exactly $N-1$ simple modules, where $N$ is the number of simple modules of $G(m,1,n)$, determines the Ariki-Koike algebra up to isomorphism.

研究の動機と目的

• KZ関手に関する明確で内在的な条件の下で、G(m,1,n) の有理Cherednik代数のカテゴリカル・𝒪の完全な記述を提供すること。
• m=1 の場合（S_n）の結果を G(m,1,n) の設定に一般化し、特にKZ関手が単純モジュールを分離するときのカテゴリカル・𝒪の構造理論を拡張すること。
• Ariki-Koike代数に含まれる単純モジュールの個数、特に |Irrep(W)|−1 個という性質が、その代数の同型型を一意に特徴づけることを確立すること。
• Ariki-Koike代数の唯一の非半単純ブロックが、パラメータ κ および群パラメータ m に依存しないことを示すこと。
• m=1 の場合における主ブロックの構造を G(m,1,n) の設定に拡張し、対称群の設定における既知の結果と整合することを確認すること。

提案手法

• KZ関手が単純モジュールを分離するという性質を、カテゴリカル・𝒪の構造分類の主要な条件として用いる。
• Dunkl表現を用いて、有理Cherednik代数を正則領域上の微分作用素の部分代数として実現する。
• 最高重量カテゴリ構造とBGG双対性を用いて、カテゴリカル・𝒪における射影的・標準的モジュールを分析する。
• 射影的対象のKZ像の自己準同型代数を分析し、構造定数がパラメータ κ に依存しないことを示す。
• 射影被覆間の準同型をスケーリングすることで、κ および m に依存しない一様な関係式の集合を導出する。
• [BEG03b] および [Val] の既知の結果を活用し、m=1 の場合への構造の拡張と整合性の確認を行う。

実験結果

リサーチクエスチョン

• RQ1 有理Cherednik代数の G(m,1,n) におけるカテゴリカル・𝒪が完全に記述可能となるためのKZ関手に関する条件は何か？
• RQ2 Ariki-Koike代数における単純モジュールの個数は、その同型型とどのように関係するか？
• RQ3 Ariki-Koike代数の唯一の非半単純ブロックの構造が、パラメータ κ および群パラメータ m に依存しないことを示せるか？
• RQ4 ちょうど |Irrep(W)|−1 個の単純モジュールを持つという性質が、Ariki-Koike代数の同型型をどれほど一意に特徴づけるか？
• RQ5 m=1 の場合における主ブロックの構造は、同じ条件下で G(m,1,n) の設定に拡張可能か？

主な発見

• KZ関手が単純モジュールを分離するとき、G(m,1,n) の有理Cherednik代数のカテゴリカル・𝒪は、[BEG03b] の m=1 の場合と同様に完全に記述可能である。
• カテゴリカル・𝒪における射影的対象のKZ像の自己準同型代数の構造定数は、パラメータ κ に依存しない。
• Ariki-Koike代数の唯一の非半単純ブロックは、Hecke代数 ℋ_{1/n}(S_n) の主ブロックと同型であり、m や κ に依存しない。
• Ariki-Koike代数は、単純モジュールがちょうど |Irrep(W)|−1 個であるという性質によって、同型を除いて一意に決定される。
• 唯一の非半単純ブロックにおける射影的モジュールの合成系列は対称的である：P_i は L_{i−1}、L_i、L_{i+1} を重複度1で含む。
• 単純モジュール L_i と L_j 間の Ext^1 空間は、|i−j|=1 のとき1次元であり、それ以外の場合は0である。