[論文レビュー] Parabolic induction and restriction functors for rational Cherednik algebras

Roman Bezrukavnikov, Pavel Etingof|ArXiv.org|Mar 25, 2008

Algebraic structures and combinatorial models参考文献 2被引用数 11

ひとこと要約

本稿は、有理Cherednik代数における放物的誘導および制限函手を導入し、放物的部分代数が完全代数に埋め込まれないという障害を、$ b \in \mathfrak{h}_{\text{reg}}^{W'} $ に依存するパラメータを導入することで克服する。これらの函手は完全かつ随伴的であり、$ b $ において非自明なモノドロミーを示し、$ c \notin \frac{1}{2} + \mathbb{Z} $ の条件を課さずに Gordon-Staffordの定理を証明し、有限次元表現を分類し、$ S_n $ における Okounkov の非球面的表現に関する予想を確認する。主な貢献は、Cherednik代数の文脈において、幾何的かつパラメータ依存的な放物的函手の一般化を提供し、表現論に深い応用をもたらす点にある。

ABSTRACT

We introduce parabolic induction and restriction functors for rational Cherednik algebras, and study their basic properties. Then we discuss applications of these functors to representation theory of rational Cherednik algebras. In particular, we prove the Gordon-Stafford theorem about Morita equivalence of the rational Cherednik algebra for type A and its spherical subalgebra, without the assumption that c is not a half-integer, which was required up to now. Also, we classify representations from category O over the rational Cherednik algebras of type A which do not contain an S_n-invariant vector, and confirm a conjecture of Okounkov and the first author on the number of such representations. In the second version we have added a result on the simplicity of the spherical Cherednik algebra of type A for -1

研究の動機と目的

• 放物的部分代数の自然な埋め込みが存在しない有理Cherednik代数へのヘッケ代数からの放物的誘導および制限函手の一般化を達成する。
• パラメータ $ b \in \mathfrak{h}_{\text{reg}}^{W'} $ に依存する函手を定義し、非自明なモノドロミーを捉え、$ b $ を超えて一意的な同型が存在しないようにする。
• これらの函手を用いて、$ c \notin \frac{1}{2} + \mathbb{Z} $ の制限を除いて Gordon-Stafford の定理を証明し、有理Cherednik代数の有限次元表現を分類する。
• $ W = S_n $ の場合に、カテゴリ $ \mathcal{O} $ における非球面的表現の数に関する Okounkov の予想を確認する。

提案手法

• パラメータ $ b \in \mathfrak{h}_{\text{reg}}^{W'} $ に依存する放物的誘導および制限函手 $ \text{Res}_b $ および $ \text{Ind}_b $ を、$ \mathcal{O}_c(W,\mathfrak{h})_0 $ から $ \mathcal{O}_c(W',\mathfrak{h}')_0 $ へ定義する。
• これらの函手が完全かつ随伴的であり、$ b $ を超えて同型が一意的でないため、パラメータ空間において非自明なモノドロミーを示すことを示す。
• これらの函手を用いて、$ H_c(W,\mathfrak{h}) $ のWhittakerモジュールのカテゴリと $ \mathcal{O}_c(W_\lambda,\mathfrak{h})_0 $ のカテゴリとの関係を確立し、カテゴリの同値性を確立する。
• これらの函手を用いて、$ W = S_n $ の場合に $ c \notin \frac{1}{2} + \mathbb{Z} $ の条件を除いて Gordon-Stafford の定理を証明する。
• これらの函手を用いて、$ S_n $ における $ \mathcal{O} $ の非自明な非球面的表現の数を計算し、$ c = -r/m $ の場合に $ m $-正則でない分割の数と一致することを示す。
• 付録を通じて、退化DAHAにこの枠組みを適用し、退化DAHAの有限次元表現が、安定化部分群における有理Cherednik代数の有限次元表現の直和に同値であることを示す。

実験結果

リサーチクエスチョン

• RQ1 放物的部分代数の自然な埋め込みがないにもかかわらず、有理Cherednik代数への放物的誘導および制限函手を一般化することは可能か？
• RQ2 パラメータ $ b \in \mathfrak{h}_{\text{reg}}^{W'} $ はこれらの函手の定義において果たす役割は何か？モノドロミーはどのように生じるか？
• RQ3 これらの函手を用いて、$ c \notin \frac{1}{2} + \mathbb{Z} $ の制限を除いて Gordon-Stafford の定理を証明することは可能か？
• RQ4 $ S_n $ の有理Cherednik代数におけるカテゴリ $ \mathcal{O} $ の非自明な非球面的表現の数は何か？また、$ c $ に依存するか？
• RQ5 退化DAHAの有限次元表現は、安定化部分群における有理Cherednik代数の表現とどのように関係するか？

主な発見

• 放物的誘導および制限函手 $ \text{Res}_b $ および $ \text{Ind}_b $ は完全かつ随伴的であり、$ b $ を超えて同型が一意的でないため、パラメータ空間において非自明なモノドロミーを示す。
• $ H_c(W,\mathfrak{h}) $ のWhittakerモジュールのカテゴリは $ \mathcal{O}_c(W_\lambda,\mathfrak{h})_0 $ と同値であり、これらのモジュールに幾何的解釈を与える。
• Gordon-Stafford の定理は、$ c \notin \frac{1}{2} + \mathbb{Z} $ の条件を除いて再証明され、$ H_c(S_n,\mathbb{C}^{n-1}) $ がすべての $ c $ に対して、$ \frac{1}{2} + \mathbb{Z} $ に属さない場合、その球面的部分代数とモリタ同値であることが示された。
• $ W = S_n $ の場合、$ c = -r/m $ で $ 2 \leq m \leq n $、$ 0 < r < m $、$ \gcd(r,m) = 1 $ を満たすとき、$ \mathcal{O} $ における非自明な非球面的表現の数は、$ m $-正則でない分割の数に等しく、Okounkov と Bezrukavnikov の予想を確認した。
• $ -1 < c < 0 $ のとき、球面的Cherednik代数 $ A_c(S_n) $ は単純である。これは非球面的表現の分類の結果である。
• 退化DAHAの有限次元表現は、$ \Sigma' $ の軌道代表元 $ x $ に関する $ FD(H_{c_x}(W_x,\mathfrak{h})) $ の直和と同値であり、これは任意の滑らかな群作用に一般化された結果である。