[論文レビュー] Generalized graded Hecke algebra for complex reflection group of type G(r,1,n)

C. Dezelee|ArXiv.org|May 15, 2006

Advanced Algebra and Geometry被引用数 10

ひとこと要約

本稿は、型 $ G(r,1,n) $ の複素反射群に対して一般化された階付きヘッケ代数 $ \mathbb{H}_k(r,n) $ を導入し、シンプレクティック反射代数 $ \mathcal{H}(G,k) $ の部分代数として実現する。PBW定理を確立し、中心を計算し、ワイル群に関する既知の結果に還元することで、主系列モジュールの不変性基準を証明する。不変性はパrameter $ k $、表現 $ \tau $、および特徴 $ \gamma $ に依存する。主な貢献は、特定の集合 $ P_\varpi({}^\sigma\!\nu) $ の消失条件を用いた、これらのモジュールの完全な不変性基準の確立である。

ABSTRACT

We study the representation theory of a generalized graded Hecke algebra associated to a complex reflection group of type G(r,1,n), defined by Ram and Shepler. We use a realization of this algebra in the corresponding symplectic reflection algebra to prove a PBW theorem. We define principal series modules and prove an irreducibility criterion for them.

研究の動機と目的

• 型 $ G(r,1,n) $ の複素反射群に対する一般化された階付きヘッケ代数 $ \mathbb{H}_k(r,n) $ を定義し、研究すること。これは、ワイル群に対する既存の構成を拡張するものである。
• シンプレクティック反射代数 $ \mathcal{H}(G,k) $ の部分代数として $ \mathbb{H}_k(r,n) $ を実現し、表現論的道具の転送を可能にする。
• 最大可換部分代数 $ \mathcal{C} \simeq \mathcal{P}^G \otimes Z(\mathbb{C}G) $ からの誘導を用いて、$ \mathbb{H}_k(r,n) $ 上の主系列モジュールを定義する。
• これらの主系列モジュールの完全な不変性基準を確立し、その構造がパrameter $ k $、$ \tau $、および $ \gamma $ とどのように関連するかを明らかにする。
• 不変性問題を、文字のねじれと置換作用を用いて、既知の結果が得られているワイル群上の階付きヘッケ代数の問題に還元する。

提案手法

• シンプレクティック反射代数 $ \mathcal{H}(G,k) $ の可換な元の族を用いて、$ \mathbb{H}_k(r,n) $ を $ \mathcal{H}(G,k) $ の部分代数として定義し、PBW性質を保証する。
• $ \mathbb{H}_k(r,n) $ に対してPBW定理を証明する。これは、$ \mathcal{P} \otimes \mathbb{C}G $ としてのベクトル空間としての同型を示し、シンプレクティック反射代数からの関係式を導出することによって行う。
• $ \mathbb{H}_k(r,n) $ の中心 $ Z_k(r,n) $ を計算し、その最大可換部分代数 $ \mathcal{C} \simeq \mathcal{P}^G \otimes Z(\mathbb{C}G) $ を特定する。この部分代数は主系列モジュールをパrameter化する。
• 特徴 $ \gamma \otimes \tau $ の $ \mathcal{C} $-モジュールからの誘導により、主系列モジュール $ M_k(\gamma \otimes \tau) $ を構成する。これにより、すべての不可約 $ \mathbb{H}_k(r,n) $-モジュールがこのようなモジュールの商であることが保証される。
• $ \mathbb{H}_k(r,n) $-モジュール $ E_1(\tilde{\nu}) $ と $ \mathbb{H}_{\text{gr}}(\varpi) $-モジュール $ M({}^\sigma\!\nu) $ の間に同型を確立し、不変性問題を、ワイル群上の階付きヘッケ代数のよく理解された場合に還元する。
• 置換 $ \sigma \in S_n $ と集合 $ P_\varpi({}^\sigma\!\nu) = \{(i,j) \in S_n(\mu_\varpi) : \nu(D_i - D_j) = \pm r\bar{k}_0\} $ を用いて、不変性基準を定義する。

実験結果

リサーチクエスチョン

• RQ1 型 $ G(r,1,n) $ の複素反射群に対する一般化された階付きヘッケ代数を、シンプレクティック反射代数内に実現できるか。
• RQ2 この一般化されたヘッケ代数上の主系列モジュールの構造は何か。また、最大可換部分代数からの誘導によってどのように構成できるか。
• RQ3 $ \mathbb{H}_k(r,n) $ 上の主系列モジュールが不変であるための条件は何か。
• RQ4 これらのモジュールの不変性は、パrameter $ k $、表現 $ \tau $、および特徴 $ \gamma $ とどのように関連するか。
• RQ5 文字のねじれと群作用を用いて、不変性問題をワイル群上の階付きヘッケ代数の問題に還元できるか。

主な発見

• $ \mathbb{H}_k(r,n) $ はベクトル空間として $ \mathcal{P} \otimes \mathbb{C}G $ に同型であり、PBW定理を満たす。これにより、群代数の平坦な変形であることが保証される。
• $ \mathbb{H}_k(r,n) $ の中心 $ Z_k(r,n) $ は $ \mathcal{P}^G \otimes Z(\mathbb{C}G) $ に同型であり、この部分代数 $ \mathcal{C} $ は主系列モジュールをパrameter化する。
• すべての不可約 $ \mathbb{H}_k(r,n) $-モジュールは、特徴 $ \gamma \otimes \tau $ の $ \mathcal{C} $-モジュールからの誘導によって得られる主系列モジュール $ M_k(\gamma \otimes \tau) $ の商である。
• $ M_k(\tilde{\nu}) $ が不変であるための必要十分条件は、集合 $ P_\varpi({}^\sigma\!\nu) $ が空集合であることである。ここで $ P_\varpi({}^\sigma\!\nu) = \{(i,j) \in S_n(\mu_\varpi) : \nu(D_i - D_j) = \pm r\bar{k}_0\} $ である。
• $ M_k(\tilde{\nu}) $ の不変性は、シンプレクティック反射代数埋め込みによって誘導される同型を通じて、階付きヘッケ代数 $ \mathbb{H}_{\text{gr}}(\varpi) $ 上の $ M({}^\sigma\!\nu) $ の不変性と同値である。
• $ S_n $ の作用に関して不変性基準が不変であるため、$ M_k(\tilde{\nu}) $ が不変であるための必要十分条件は、すべての $ w \in S_n $ に対して $ M_k({}^w\!\tilde{\nu}) $ が不変であることであり、これは $ P_\varpi({}^\sigma\!\nu) = \emptyset $ であることと同値である。